Trace number 4107838

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.1 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12016_4-sat.opb
MD5SUM142eb7aa6e3fc22a3161df6b33ced1a2
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48642
Total number of constraints155800
Number of constraints which are clauses155000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints800
Minimum length of a constraint1
Maximum length of a constraint120
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 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 684
Number of bits of the biggest sum of numbers10
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-19T00:35:05+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-4107838-1466289305.opb"]
0.00/0.01	c use --random-gen="3961971561 814967623 3877228602 4033996749 250250551 3283980646 724078645 549574497 3410595720 2371868555 1538106267 1599395834 2032439463 1129837588 3971162276 3396241192 2756121796 3849961927 260716417 2959775599 1568152823 3841539778 1696527976 2729969489 1210538953 913129065 2008891603 976848066 677531522 3478319986 2847218932 3204529045 944045687 814002847 1487609673 2013187849 2849981553 1370589557 3364543988 3202109805 1690292702 2162087832 1699318011 3179321177 3115995965 2252042017 1540992504 3233533088 2058555196 3007275284 323938246 2904391098 293501548 2323889862 2730168490 4150558715 2021630901 2323813873 2397493873 1748246080 3562038193 3452648035 131996683 3092921199 1853495536 1494786385 2056423750 2293299351 94870179 2279751441 629018142 1351827251 1324143043 3525518404 2299370346 1754210934 2657832254 2250598809 1782754363 3785555156 4135534832 769717856 2515349542 2222204507 1420620589 1726993408 514159277 27413092 4142177224 989873914 3198300806 1193853219 888986222 3155533884 2879723668 4279276050 115550130 1181451990 45955587 1021968832 3382273230 2730315394 119598323 3684309779 2137686895 2012379987 368132766 152393697 149984914 2594495184 2830794564 317459722 3163748445 3032808976 1175037546 1703374245 3580989474 1837272538 1279659011 1150358916 696767165 1074807199 2140561733 1168418351 1794479355 90852620 3635440011 3617456425 3398085566 4069957608 434252601 2644329045 1489614163 80863675 1635521601 4000996813 479177809 2250723147 2834431030 2154040288 1979360382 1042907472 1371204197 3958401008 2301527800 2342986062 2468462516 200415236 3185001666 1694743372 3564861847 3186566103 17438800 2340033174 2476077328 3986723722 2694220872 2840550935 598915142 571283944 2828342055 426839500 3182312141 887499960 2246624708 4039487466 876360596 3815923156 1638755343 2033087887 1288329716 790420129 699141043 2461967030 2084685508 2317831380 976833379 2555295647 328246189 2120076793 151295245 691157703 1376915311 3282847862 403506643 3415864106 3828459118 2323190902 2041151099 2852254379 2172492732 3277465209 1401101852 4025764944 1021315419 1955645567 2310635594 1762276337 3163049201 2528072861 2299276368 986340958 533752221 3077360922 1881706372 1772225092 1503109100 113721894 1379400250 3844788599 455674684 2303762592 3590190461 2222867833 313500911 3877905614 4096831443 1426379002 1963458664 3351422796 1119348759 1630748990 137834368 4269353593 4001177259 2209474686 4224104061 4291945746 2945231664 1208206760 3250648696 3398030427 932250221 3588631746 361447236 4170830155 2818756028 2131224392 3730554459 738714040 1214524733 3921399105 52120950 2864796565 63319803 3462140762 3305221220 3580892310 1800719082 4268529819 479408333 3160825205 3717370246 305212281 2946548831 1569353476 255 362436" option to reproduce the execution
0.89/0.94	c #vars 48642
0.89/0.94	c #constraints 155800
2.79/2.89	c Solving starts ...
2.79/2.89	c ============================[ Search Statistics ]============================
3.09/3.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.25	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.25	c =============================================================================
3.09/3.25	c  0.0s |       0 |        0 |        0 |    55802      0 |    14902 |        0
3.09/3.32	c  0.2s |       1 |      178 |      100 |    55802      0 |    14902 |    17357
3.49/3.57	c  0.5s |       2 |      503 |      250 |    61383      0 |    14902 |    17357
3.89/3.93	c  0.9s |       3 |      957 |      475 |    67522      0 |    14902 |    17357
4.49/4.55	c  1.5s |       4 |     1625 |      813 |    74275      0 |    14902 |    17357
5.39/5.43	c  2.4s |       5 |     2534 |     1320 |    81703      0 |    14902 |    17357
6.39/6.44	c  3.4s |       6 |     3618 |     2081 |    98862      0 |    14902 |    17357
8.58/8.66	c  5.6s |       6 |     4821 |     2981 |    98862      0 |    14902 |    17357
9.28/9.33	c  6.3s |       7 |     5188 |     3223 |   108749      0 |    14902 |    17357
11.38/11.41	c  8.3s |       7 |     7240 |     4623 |   108749      0 |    14902 |    17357
11.88/11.96	c  8.9s |       8 |     7611 |     4936 |   119624      0 |    14902 |    17357
13.88/13.98	c 10.9s |       8 |     9216 |     5836 |   119624      0 |    14902 |    17357
15.98/16.08	c 13.0s |       8 |    10501 |     6836 |   119624      0 |    14902 |    17357
17.58/17.67	c 14.6s |       9 |    11332 |     7506 |   131587      0 |    14902 |    17357
19.58/19.68	c 16.6s |       9 |    12711 |     8506 |   131587      0 |    14902 |    17357
21.68/21.71	c 18.6s |       9 |    13927 |     9506 |   131587      0 |    14902 |    17357
23.68/23.73	c 20.7s |       9 |    15260 |    10606 |   131587      0 |    14902 |    17357
25.28/25.37	c 22.3s |      10 |    16155 |    11361 |   144746      0 |    14902 |    17357
27.38/27.42	c 24.3s |      10 |    17317 |    12161 |   144746      0 |    14902 |    17357
29.38/29.46	c 26.4s |      10 |    19515 |    13661 |   144746      0 |    14902 |    17357
31.58/31.61	c 28.5s |      10 |    21457 |    15061 |   144746      0 |    14902 |    17357
33.68/33.76	c 30.7s |      10 |    23206 |    16461 |   144746      0 |    14902 |    17357
34.78/34.86	c 31.8s |      11 |    24057 |    17144 |   159221      0 |    14902 |    17357
36.88/36.94	c 33.9s |      11 |    25670 |    18344 |   159221      0 |    14902 |    17357
38.98/39.03	c 36.0s |      11 |    27099 |    19544 |   159221      0 |    14902 |    17357
41.08/41.15	c 38.1s |      11 |    28598 |    20744 |   159221      0 |    14902 |    17357
43.18/43.23	c 40.2s |      11 |    30080 |    21944 |   159221      0 |    14902 |    17357
45.29/45.34	c 42.3s |      11 |    31615 |    23144 |   159221      0 |    14902 |    17357
47.38/47.47	c 44.4s |      11 |    32973 |    24244 |   159221      0 |    14902 |    17357
49.68/49.71	c 46.6s |      11 |    34188 |    25244 |   159221      0 |    14902 |    17357
50.88/50.97	c 47.9s |      12 |    34859 |    25819 |   175144      0 |    14902 |    17357
53.08/53.15	c 50.1s |      12 |    36685 |    27219 |   175144      0 |    14902 |    17357
55.28/55.36	c 52.3s |      12 |    37985 |    28319 |   175144      0 |    14902 |    17357
57.38/57.44	c 54.4s |      12 |    39308 |    29319 |   175144      0 |    14902 |    17357
59.48/59.57	c 56.5s |      12 |    40466 |    30219 |   175144      0 |    14902 |    17357
61.69/61.73	c 58.7s |      12 |    41766 |    31219 |   175144      0 |    14902 |    17357
63.78/63.80	c 60.7s |      12 |    42815 |    32119 |   175144      0 |    14902 |    17357
65.88/65.91	c 62.8s |      12 |    43879 |    33019 |   175144      0 |    14902 |    17357
68.08/68.13	c 65.1s |      12 |    45082 |    34019 |   175144      0 |    14902 |    17357
70.18/70.29	c 67.2s |      12 |    46135 |    34819 |   175144      0 |    14902 |    17357
72.28/72.34	c 69.3s |      12 |    47141 |    35519 |   175144      0 |    14902 |    17357
74.38/74.43	c 71.4s |      12 |    48210 |    36319 |   175144      0 |    14902 |    17357
76.38/76.48	c 73.4s |      12 |    49241 |    37119 |   175144      0 |    14902 |    17357
78.48/78.54	c 75.5s |      12 |    50407 |    38019 |   175144      0 |    14902 |    17357
80.49/80.58	c 77.5s |      12 |    51413 |    38819 |   192659      0 |    14902 |    17357
80.58/80.64	c 77.6s |      13 |    51432 |    38832 |   192659      0 |    14902 |    17357
82.59/82.69	c 79.6s |      13 |    52901 |    39932 |   192659      0 |    14902 |    17357
84.68/84.78	c 81.7s |      13 |    54410 |    41132 |   192659      0 |    14902 |    17357
86.78/86.85	c 83.8s |      13 |    55804 |    42232 |   192659      0 |    14902 |    17357
88.88/88.92	c 85.8s |      13 |    57076 |    43232 |   192659      0 |    14902 |    17357
90.98/91.02	c 87.9s |      13 |    58421 |    44332 |   192659      0 |    14902 |    17357
93.08/93.16	c 90.1s |      13 |    59580 |    45332 |   192659      0 |    14902 |    17357
95.18/95.21	c 92.1s |      13 |    60679 |    46232 |   192659      0 |    14902 |    17357
97.28/97.38	c 94.3s |      13 |    61780 |    47132 |   192659      0 |    14902 |    17357
99.48/99.58	c 96.5s |      13 |    63006 |    48132 |   192659      0 |    14902 |    17357
101.58/101.65	c 98.6s |      13 |    63952 |    48932 |   192659      0 |    14902 |    17357
103.68/103.74	c  100s |      13 |    64949 |    49732 |   192659      0 |    14902 |    17357
105.87/105.93	c  102s |      13 |    66029 |    50632 |   192659      0 |    14902 |    17357
107.98/108.07	c  104s |      13 |    67037 |    51432 |   192659      0 |    14902 |    17357
110.08/110.10	c  107s |      13 |    68065 |    52232 |   192659      0 |    14902 |    17357
112.07/112.15	c  109s |      13 |    69033 |    53032 |   192659      0 |    14902 |    17357
114.37/114.45	c  111s |      13 |    69990 |    53832 |   192659      0 |    14902 |    17357
116.57/116.65	c  113s |      13 |    70934 |    54632 |   192659      0 |    14902 |    17357
118.67/118.74	c  115s |      13 |    71799 |    55332 |   192659      0 |    14902 |    17357
120.87/120.95	c  117s |      13 |    72820 |    56232 |   192659      0 |    14902 |    17357
123.07/123.19	c  120s |      13 |    73829 |    57032 |   192659      0 |    14902 |    17357
125.27/125.31	c  122s |      13 |    74641 |    57732 |   192659      0 |    14902 |    17357
127.17/127.26	c  124s |      14 |    75384 |    58352 |   211925      0 |    14902 |    17357
129.27/129.39	c  126s |      14 |    76840 |    59152 |   211925      0 |    14902 |    17357
131.47/131.56	c  128s |      14 |    78157 |    60152 |   211925      0 |    14902 |    17357
133.67/133.77	c  130s |      14 |    79426 |    61152 |   211925      0 |    14902 |    17357
135.67/135.79	c  132s |      14 |    80640 |    62152 |   211925      0 |    14902 |    17357
137.97/138.01	c  134s |      14 |    81765 |    63052 |   211925      0 |    14902 |    17357
140.07/140.13	c  137s |      14 |    82854 |    63952 |   211925      0 |    14902 |    17357
142.07/142.19	c  139s |      14 |    83824 |    64752 |   211925      0 |    14902 |    17357
144.27/144.33	c  141s |      14 |    84951 |    65652 |   211925      0 |    14902 |    17357
146.37/146.49	c  143s |      14 |    85932 |    66452 |   211925      0 |    14902 |    17357
148.57/148.67	c  145s |      14 |    86860 |    67252 |   211925      0 |    14902 |    17357
150.57/150.67	c  147s |      14 |    87709 |    67952 |   211925      0 |    14902 |    17357
152.87/152.91	c  149s |      14 |    88803 |    68852 |   211925      0 |    14902 |    17357
154.87/154.94	c  151s |      14 |    89794 |    69652 |   211925      0 |    14902 |    17357
156.87/156.99	c  153s |      14 |    90772 |    70452 |   211925      0 |    14902 |    17357
159.06/159.12	c  156s |      14 |    91705 |    71252 |   211925      0 |    14902 |    17357
161.26/161.34	c  158s |      14 |    92644 |    72052 |   211925      0 |    14902 |    17357
163.36/163.41	c  160s |      14 |    93613 |    72852 |   211925      0 |    14902 |    17357
165.46/165.57	c  162s |      14 |    94447 |    73552 |   211925      0 |    14902 |    17357
167.76/167.85	c  164s |      14 |    95304 |    74252 |   211925      0 |    14902 |    17357
169.96/170.01	c  166s |      14 |    96152 |    74952 |   211925      0 |    14902 |    17357
172.06/172.15	c  169s |      14 |    96969 |    75652 |   211925      0 |    14902 |    17357
174.36/174.41	c  171s |      14 |    97810 |    76352 |   211925      0 |    14902 |    17357
176.56/176.64	c  173s |      14 |    98781 |    77152 |   211925      0 |    14902 |    17357
178.56/178.64	c  175s |      14 |    99591 |    77852 |   211925      0 |    14902 |    17357
180.66/180.73	c  177s |      14 |   100416 |    78552 |   211925      0 |    14902 |    17357
182.86/182.92	c  179s |      14 |   101275 |    79252 |   211925      0 |    14902 |    17357
184.87/184.97	c  181s |      14 |   102148 |    79952 |   211925      0 |    14902 |    17357
187.07/187.19	c  184s |      14 |   103154 |    80752 |   211925      0 |    14902 |    17357
189.46/189.55	c  186s |      14 |   103963 |    81452 |   211925      0 |    14902 |    17357
191.76/191.83	c  188s |      14 |   104860 |    82152 |   211925      0 |    14902 |    17357
194.06/194.15	c  191s |      14 |   105569 |    82752 |   211925      0 |    14902 |    17357
196.36/196.45	c  193s |      14 |   106424 |    83452 |   211925      0 |    14902 |    17357
198.46/198.56	c  195s |      14 |   107196 |    84052 |   211925      0 |    14902 |    17357
200.56/200.60	c  197s |      14 |   107926 |    84652 |   211925      0 |    14902 |    17357
202.66/202.74	c  199s |      14 |   108643 |    85252 |   211925      0 |    14902 |    17357
204.86/204.90	c  201s |      14 |   109388 |    85852 |   211925      0 |    14902 |    17357
207.16/207.25	c  204s |      14 |   110257 |    86552 |   211925      0 |    14902 |    17357
209.36/209.47	c  206s |      14 |   110951 |    87152 |   233118      0 |    14902 |    17357
211.26/211.33	c  208s |      15 |   111503 |    87632 |   233118      0 |    14902 |    17357
213.36/213.40	c  210s |      15 |   111973 |    87932 |   233118      0 |    14902 |    17357
215.36/215.41	c  212s |      15 |   112528 |    88332 |   233118      0 |    14902 |    17357
217.36/217.44	c  214s |      15 |   113105 |    88732 |   233118      0 |    14902 |    17357
219.75/219.85	c  216s |      15 |   113784 |    89232 |   233118      0 |    14902 |    17357
221.95/222.07	c  218s |      15 |   115012 |    89932 |   233118      0 |    14902 |    17357
224.25/224.33	c  221s |      15 |   116184 |    90732 |   233118      0 |    14902 |    17357
226.25/226.37	c  223s |      15 |   117128 |    91432 |   233118      0 |    14902 |    17357
228.35/228.43	c  225s |      15 |   118204 |    92232 |   233118      0 |    14902 |    17357
230.35/230.44	c  227s |      15 |   119155 |    92932 |   233118      0 |    14902 |    17357
232.65/232.74	c  229s |      15 |   120098 |    93632 |   233118      0 |    14902 |    17357
234.95/235.00	c  231s |      15 |   121478 |    94532 |   233118      0 |    14902 |    17357
237.15/237.22	c  234s |      15 |   122468 |    95232 |   233118      0 |    14902 |    17357
239.45/239.57	c  236s |      15 |   123617 |    96032 |   233118      0 |    14902 |    17357
241.65/241.79	c  238s |      15 |   124465 |    96632 |   233118      0 |    14902 |    17357
243.95/244.07	c  240s |      15 |   125336 |    97332 |   233118      0 |    14902 |    17357
246.15/246.24	c  243s |      15 |   126094 |    97932 |   233118      0 |    14902 |    17357
248.35/248.41	c  245s |      15 |   126685 |    98432 |   233118      0 |    14902 |    17357
250.55/250.70	c  247s |      15 |   127418 |    99032 |   233118      0 |    14902 |    17357
252.95/253.04	c  249s |      15 |   128184 |    99632 |   233118      0 |    14902 |    17357
255.36/255.43	c  252s |      15 |   128911 |   100232 |   233118      0 |    14902 |    17357
257.45/257.57	c  254s |      15 |   129689 |   100832 |   233118      0 |    14902 |    17357
259.85/259.94	c  256s |      15 |   130469 |   101432 |   233118      0 |    14902 |    17357
262.05/262.11	c  259s |      15 |   131239 |   102032 |   233118      0 |    14902 |    17357
264.45/264.57	c  261s |      15 |   131942 |   102632 |   233118      0 |    14902 |    17357
266.55/266.62	c  263s |      15 |   132540 |   103132 |   233118      0 |    14902 |    17357
268.75/268.84	c  265s |      15 |   133223 |   103632 |   233118      0 |    14902 |    17357
270.85/270.91	c  267s |      15 |   133890 |   104132 |   233118      0 |    14902 |    17357
273.25/273.30	c  270s |      15 |   134755 |   104732 |   233118      0 |    14902 |    17357
275.25/275.33	c  272s |      15 |   135428 |   105232 |   233118      0 |    14902 |    17357
277.64/277.79	c  274s |      15 |   136146 |   105832 |   233118      0 |    14902 |    17357
279.84/279.93	c  276s |      15 |   136735 |   106332 |   233118      0 |    14902 |    17357
282.14/282.27	c  279s |      15 |   137564 |   106932 |   233118      0 |    14902 |    17357
284.34/284.49	c  281s |      15 |   138353 |   107532 |   233118      0 |    14902 |    17357
286.64/286.74	c  283s |      15 |   139011 |   108032 |   233118      0 |    14902 |    17357
288.84/288.91	c  285s |      15 |   139652 |   108532 |   233118      0 |    14902 |    17357
291.04/291.18	c  288s |      15 |   140508 |   109132 |   233118      0 |    14902 |    17357
293.24/293.32	c  290s |      15 |   141201 |   109632 |   233118      0 |    14902 |    17357
295.54/295.66	c  292s |      15 |   142061 |   110232 |   233118      0 |    14902 |    17357
297.74/297.87	c  294s |      15 |   142791 |   110832 |   233118      0 |    14902 |    17357
299.84/299.93	c  296s |      15 |   143423 |   111332 |   233118      0 |    14902 |    17357
301.94/302.06	c  298s |      15 |   143919 |   111732 |   233118      0 |    14902 |    17357
304.04/304.19	c  301s |      15 |   144477 |   112132 |   233118      0 |    14902 |    17357
306.14/306.21	c  303s |      15 |   144966 |   112532 |   233118      0 |    14902 |    17357
308.24/308.30	c  305s |      15 |   145517 |   112932 |   233118      0 |    14902 |    17357
310.25/310.35	c  307s |      15 |   146192 |   113432 |   233118      0 |    14902 |    17357
312.55/312.67	c  309s |      15 |   146989 |   114032 |   233118      0 |    14902 |    17357
314.94/315.05	c  311s |      15 |   147627 |   114532 |   233118      0 |    14902 |    17357
317.34/317.40	c  314s |      15 |   148256 |   115032 |   233118      0 |    14902 |    17357
319.74/319.80	c  316s |      15 |   148934 |   115532 |   233118      0 |    14902 |    17357
322.24/322.30	c  319s |      15 |   149560 |   116032 |   233118      0 |    14902 |    17357
324.54/324.65	c  321s |      15 |   150067 |   116432 |   233118      0 |    14902 |    17357
326.64/326.75	c  323s |      15 |   150582 |   116832 |   233118      0 |    14902 |    17357
328.74/328.84	c  325s |      15 |   151071 |   117232 |   233118      0 |    14902 |    17357
331.24/331.36	c  328s |      15 |   151799 |   117732 |   233118      0 |    14902 |    17357
333.74/333.87	c  330s |      15 |   152460 |   118232 |   233118      0 |    14902 |    17357
335.84/335.91	c  332s |      15 |   152963 |   118632 |   233118      0 |    14902 |    17357
338.24/338.31	c  335s |      15 |   153619 |   119132 |   233118      0 |    14902 |    17357
340.44/340.54	c  337s |      15 |   154257 |   119632 |   233118      0 |    14902 |    17357
342.53/342.62	c  339s |      15 |   154853 |   120132 |   233118      0 |    14902 |    17357
344.73/344.85	c  341s |      15 |   155610 |   120732 |   233118      0 |    14902 |    17357
347.03/347.10	c  344s |      15 |   156398 |   121332 |   233118      0 |    14902 |    17357
349.03/349.16	c  346s |      15 |   157002 |   121832 |   233118      0 |    14902 |    17357
351.23/351.35	c  348s |      15 |   157671 |   122332 |   233118      0 |    14902 |    17357
353.63/353.71	c  350s |      15 |   158304 |   122832 |   233118      0 |    14902 |    17357
355.63/355.71	c  352s |      15 |   158800 |   123232 |   233118      0 |    14902 |    17357
357.93/358.08	c  355s |      15 |   159430 |   123732 |   233118      0 |    14902 |    17357
360.43/360.51	c  357s |      15 |   160024 |   124232 |   233118      0 |    14902 |    17357
362.43/362.58	c  359s |      15 |   160496 |   124632 |   233118      0 |    14902 |    17357
364.53/364.65	c  361s |      15 |   160982 |   125032 |   233118      0 |    14902 |    17357
366.63/366.72	c  363s |      15 |   161456 |   125432 |   233118      0 |    14902 |    17357
368.83/368.99	c  365s |      15 |   162290 |   126032 |   233118      0 |    14902 |    17357
371.23/371.35	c  368s |      15 |   162886 |   126532 |   233118      0 |    14902 |    17357
373.53/373.66	c  370s |      15 |   163577 |   127032 |   233118      0 |    14902 |    17357
375.53/375.67	c  372s |      15 |   164094 |   127432 |   233118      0 |    14902 |    17357
378.03/378.12	c  375s |      15 |   164724 |   127932 |   233118      0 |    14902 |    17357
380.33/380.48	c  377s |      15 |   165337 |   128432 |   233118      0 |    14902 |    17357
382.43/382.57	c  379s |      15 |   165855 |   128832 |   233118      0 |    14902 |    17357
384.83/384.95	c  381s |      15 |   166458 |   129332 |   233118      0 |    14902 |    17357
386.83/386.96	c  383s |      15 |   166927 |   129732 |   233118      0 |    14902 |    17357
389.23/389.33	c  386s |      15 |   167552 |   130232 |   233118      0 |    14902 |    17357
391.23/391.35	c  388s |      15 |   168020 |   130632 |   233118      0 |    14902 |    17357
393.73/393.82	c  390s |      15 |   168610 |   131132 |   256430      0 |    14902 |    17357
395.63/395.76	c  392s |      16 |   169138 |   131552 |   256430      0 |    14902 |    17357
397.83/397.92	c  394s |      16 |   170206 |   132052 |   256430      0 |    14902 |    17357
399.83/399.99	c  396s |      16 |   171285 |   132852 |   256430      0 |    14902 |    17357
402.03/402.13	c  399s |      16 |   172322 |   133652 |   256430      0 |    14902 |    17357
404.23/404.34	c  401s |      16 |   173358 |   134452 |   256430      0 |    14902 |    17357
406.43/406.55	c  403s |      16 |   174405 |   135252 |   256430      0 |    14902 |    17357
408.72/408.81	c  405s |      16 |   175497 |   136052 |   256430      0 |    14902 |    17357
410.72/410.88	c  407s |      16 |   176401 |   136752 |   256430      0 |    14902 |    17357
412.92/413.06	c  409s |      16 |   177435 |   137552 |   256430      0 |    14902 |    17357
415.02/415.13	c  412s |      16 |   178288 |   138252 |   256430      0 |    14902 |    17357
417.32/417.43	c  414s |      16 |   179292 |   139052 |   256430      0 |    14902 |    17357
419.52/419.64	c  416s |      16 |   180174 |   139752 |   256430      0 |    14902 |    17357
421.62/421.75	c  418s |      16 |   181048 |   140452 |   256430      0 |    14902 |    17357
423.82/423.94	c  420s |      16 |   181940 |   141152 |   256430      0 |    14902 |    17357
425.92/426.08	c  423s |      16 |   182864 |   141852 |   256430      0 |    14902 |    17357
428.22/428.32	c  425s |      16 |   183786 |   142552 |   256430      0 |    14902 |    17357
430.42/430.52	c  427s |      16 |   184704 |   143252 |   256430      0 |    14902 |    17357
432.62/432.74	c  429s |      16 |   185578 |   143952 |   256430      0 |    14902 |    17357
434.92/435.03	c  431s |      16 |   186432 |   144652 |   256430      0 |    14902 |    17357
437.12/437.26	c  434s |      16 |   187165 |   145252 |   256430      0 |    14902 |    17357
439.22/439.30	c  436s |      16 |   187857 |   145852 |   256430      0 |    14902 |    17357
441.22/441.38	c  438s |      16 |   188555 |   146452 |   256430      0 |    14902 |    17357
443.32/443.50	c  440s |      16 |   189263 |   147052 |   256430      0 |    14902 |    17357
445.52/445.62	c  442s |      16 |   189960 |   147652 |   256430      0 |    14902 |    17357
447.62/447.79	c  444s |      16 |   190674 |   148252 |   256430      0 |    14902 |    17357
449.71/449.88	c  446s |      16 |   191377 |   148852 |   256430      0 |    14902 |    17357
451.81/451.97	c  448s |      16 |   192103 |   149452 |   256430      0 |    14902 |    17357
454.01/454.15	c  451s |      16 |   192791 |   150052 |   256430      0 |    14902 |    17357
456.41/456.51	c  453s |      16 |   193501 |   150652 |   256430      0 |    14902 |    17357
458.72/458.84	c  455s |      16 |   194197 |   151252 |   256430      0 |    14902 |    17357
460.81/460.91	c  457s |      16 |   194923 |   151852 |   256430      0 |    14902 |    17357
463.01/463.10	c  460s |      16 |   195784 |   152552 |   256430      0 |    14902 |    17357
465.11/465.29	c  462s |      16 |   196668 |   153252 |   256430      0 |    14902 |    17357
467.31/467.40	c  464s |      16 |   197379 |   153852 |   256430      0 |    14902 |    17357
469.31/469.42	c  466s |      16 |   197954 |   154352 |   256430      0 |    14902 |    17357
471.41/471.50	c  468s |      16 |   198728 |   154952 |   256430      0 |    14902 |    17357
473.71/473.80	c  470s |      16 |   199555 |   155652 |   256430      0 |    14902 |    17357
475.70/475.80	c  472s |      16 |   200338 |   156252 |   256430      0 |    14902 |    17357
477.80/477.96	c  474s |      16 |   201069 |   156852 |   256430      0 |    14902 |    17357
480.00/480.11	c  477s |      16 |   201806 |   157452 |   256430      0 |    14902 |    17357
482.00/482.15	c  479s |      16 |   202534 |   158052 |   256430      0 |    14902 |    17357
484.40/484.50	c  481s |      16 |   203364 |   158752 |   256430      0 |    14902 |    17357
486.70/486.83	c  483s |      16 |   204207 |   159452 |   256430      0 |    14902 |    17357
488.80/488.99	c  485s |      16 |   204928 |   160052 |   256430      0 |    14902 |    17357
491.20/491.31	c  488s |      16 |   205643 |   160652 |   256430      0 |    14902 |    17357
493.50/493.69	c  490s |      16 |   206377 |   161252 |   256430      0 |    14902 |    17357
495.79/495.91	c  492s |      16 |   206985 |   161752 |   256430      0 |    14902 |    17357
498.19/498.33	c  495s |      16 |   207675 |   162352 |   256430      0 |    14902 |    17357
500.29/500.41	c  497s |      16 |   208252 |   162852 |   256430      0 |    14902 |    17357
502.49/502.60	c  499s |      16 |   208861 |   163352 |   256430      0 |    14902 |    17357
504.69/504.88	c  501s |      16 |   209443 |   163852 |   256430      0 |    14902 |    17357
506.99/507.16	c  504s |      16 |   210033 |   164352 |   256430      0 |    14902 |    17357
509.29/509.44	c  506s |      16 |   210624 |   164852 |   256430      0 |    14902 |    17357
511.39/511.54	c  508s |      16 |   211202 |   165352 |   256430      0 |    14902 |    17357
513.69/513.88	c  510s |      16 |   211911 |   165952 |   256430      0 |    14902 |    17357
516.08/516.28	c  513s |      16 |   212578 |   166552 |   256430      0 |    14902 |    17357
518.38/518.50	c  515s |      16 |   213139 |   167052 |   256430      0 |    14902 |    17357
520.39/520.51	c  517s |      16 |   213728 |   167552 |   256430      0 |    14902 |    17357
522.68/522.85	c  519s |      16 |   214462 |   168152 |   256430      0 |    14902 |    17357
525.08/525.21	c  522s |      16 |   215146 |   168752 |   256430      0 |    14902 |    17357
527.28/527.47	c  524s |      16 |   215688 |   169252 |   256430      0 |    14902 |    17357
529.38/529.59	c  526s |      16 |   216340 |   169752 |   256430      0 |    14902 |    17357
531.48/531.60	c  528s |      16 |   217137 |   170352 |   256430      0 |    14902 |    17357
533.48/533.64	c  530s |      16 |   217893 |   170952 |   256430      0 |    14902 |    17357
535.68/535.82	c  532s |      16 |   218622 |   171552 |   256430      0 |    14902 |    17357
537.98/538.15	c  535s |      16 |   219453 |   172252 |   256430      0 |    14902 |    17357
540.27/540.45	c  537s |      16 |   220207 |   172852 |   256430      0 |    14902 |    17357
542.67/542.83	c  539s |      16 |   220942 |   173452 |   256430      0 |    14902 |    17357
544.67/544.89	c  541s |      16 |   221680 |   174052 |   256430      0 |    14902 |    17357
546.97/547.14	c  544s |      16 |   222412 |   174652 |   256430      0 |    14902 |    17357
549.27/549.44	c  546s |      16 |   223127 |   175252 |   256430      0 |    14902 |    17357
551.47/551.68	c  548s |      16 |   223669 |   175752 |   256430      0 |    14902 |    17357
554.06/554.20	c  551s |      16 |   224335 |   176352 |   256430      0 |    14902 |    17357
556.06/556.25	c  553s |      16 |   224904 |   176852 |   256430      0 |    14902 |    17357
558.36/558.58	c  555s |      16 |   225653 |   177452 |   256430      0 |    14902 |    17357
560.56/560.71	c  557s |      16 |   226226 |   177952 |   256430      0 |    14902 |    17357
562.76/562.97	c  559s |      16 |   226801 |   178452 |   256430      0 |    14902 |    17357
564.86/565.02	c  561s |      16 |   227420 |   178952 |   256430      0 |    14902 |    17357
566.96/567.14	c  564s |      16 |   228014 |   179452 |   256430      0 |    14902 |    17357
568.96/569.19	c  566s |      16 |   228588 |   179952 |   256430      0 |    14902 |    17357
571.06/571.29	c  568s |      16 |   229170 |   180452 |   256430      0 |    14902 |    17357
573.35/573.55	c  570s |      16 |   229908 |   181052 |   256430      0 |    14902 |    17357
575.55/575.71	c  572s |      16 |   230506 |   181552 |   256430      0 |    14902 |    17357
577.96/578.13	c  575s |      16 |   231075 |   182052 |   256430      0 |    14902 |    17357
580.16/580.34	c  577s |      16 |   231671 |   182552 |   256430      0 |    14902 |    17357
582.56/582.79	c  579s |      16 |   232410 |   183152 |   256430      0 |    14902 |    17357
584.76/584.95	c  581s |      16 |   233018 |   183652 |   256430      0 |    14902 |    17357
587.06/587.28	c  584s |      16 |   233657 |   184152 |   256430      0 |    14902 |    17357
589.26/589.50	c  586s |      16 |   234143 |   184552 |   256430      0 |    14902 |    17357
591.46/591.63	c  588s |      16 |   234628 |   184952 |   256430      0 |    14902 |    17357
593.66/593.83	c  590s |      16 |   235231 |   185452 |   256430      0 |    14902 |    17357
595.65/595.85	c  592s |      16 |   235684 |   185852 |   256430      0 |    14902 |    17357
598.05/598.22	c  595s |      16 |   236284 |   186352 |   256430      0 |    14902 |    17357
600.25/600.42	c  597s |      16 |   236913 |   186852 |   256430      0 |    14902 |    17357
602.55/602.71	c  599s |      16 |   237659 |   187452 |   256430      0 |    14902 |    17357
604.75/604.90	c  601s |      16 |   238262 |   187952 |   256430      0 |    14902 |    17357
606.75/606.97	c  603s |      16 |   238892 |   188452 |   256430      0 |    14902 |    17357
609.05/609.20	c  606s |      16 |   239512 |   188952 |   256430      0 |    14902 |    17357
611.35/611.52	c  608s |      16 |   240128 |   189452 |   256430      0 |    14902 |    17357
613.44/613.65	c  610s |      16 |   240747 |   189952 |   256430      0 |    14902 |    17357
615.44/615.69	c  612s |      16 |   241249 |   190352 |   256430      0 |    14902 |    17357
617.64/617.83	c  614s |      16 |   241733 |   190752 |   256430      0 |    14902 |    17357
620.04/620.29	c  617s |      16 |   242328 |   191252 |   256430      0 |    14902 |    17357
622.24/622.48	c  619s |      16 |   242828 |   191652 |   256430      0 |    14902 |    17357
624.54/624.74	c  621s |      16 |   243312 |   192052 |   256430      0 |    14902 |    17357
626.54/626.75	c  623s |      16 |   243789 |   192452 |   256430      0 |    14902 |    17357
628.64/628.83	c  625s |      16 |   244279 |   192852 |   256430      0 |    14902 |    17357
630.94/631.17	c  628s |      16 |   244724 |   193252 |   256430      0 |    14902 |    17357
633.14/633.38	c  630s |      16 |   245166 |   193652 |   256430      0 |    14902 |    17357
635.33/635.56	c  632s |      16 |   245673 |   194052 |   256430      0 |    14902 |    17357
637.63/637.88	c  634s |      16 |   246140 |   194452 |   256430      0 |    14902 |    17357
639.73/639.94	c  636s |      16 |   246599 |   194852 |   256430      0 |    14902 |    17357
641.73/641.98	c  638s |      16 |   247083 |   195252 |   256430      0 |    14902 |    17357
643.93/644.15	c  641s |      16 |   247538 |   195652 |   256430      0 |    14902 |    17357
645.92/646.16	c  643s |      16 |   248013 |   196052 |   256430      0 |    14902 |    17357
648.02/648.27	c  645s |      16 |   248481 |   196452 |   282073      0 |    14902 |    17357
650.22/650.49	c  647s |      16 |   248951 |   196852 |   282073      0 |    14902 |    17357
652.62/652.86	c  649s |      16 |   249582 |   197352 |   282073      0 |    14902 |    17357
653.12/653.31	c  650s |      17 |   249676 |   197432 |   282073      0 |    14902 |    17357
655.63/655.82	c  652s |      17 |   250126 |   197732 |   282073      0 |    14902 |    17357
657.92/658.16	c  655s |      17 |   250774 |   198232 |   282073      0 |    14902 |    17357
660.32/660.56	c  657s |      17 |   251460 |   198732 |   282073      0 |    14902 |    17357
662.72/662.95	c  659s |      17 |   252137 |   199232 |   282073      0 |    14902 |    17357
664.71/664.99	c  661s |      17 |   252675 |   199632 |   282073      0 |    14902 |    17357
666.91/667.10	c  664s |      17 |   253168 |   200032 |   282073      0 |    14902 |    17357
669.01/669.25	c  666s |      17 |   253910 |   200532 |   282073      0 |    14902 |    17357
671.21/671.45	c  668s |      17 |   254411 |   200932 |   282073      0 |    14902 |    17357
673.41/673.64	c  670s |      17 |   254911 |   201332 |   282073      0 |    14902 |    17357
675.61/675.83	c  672s |      17 |   255419 |   201732 |   282073      0 |    14902 |    17357
678.21/678.40	c  675s |      17 |   256116 |   202232 |   282073      0 |    14902 |    17357
680.82/681.05	c  677s |      17 |   256790 |   202732 |   282073      0 |    14902 |    17357
682.91/683.19	c  680s |      17 |   257258 |   203132 |   282073      0 |    14902 |    17357
685.11/685.37	c  682s |      17 |   257768 |   203532 |   282073      0 |    14902 |    17357
687.31/687.51	c  684s |      17 |   258272 |   203932 |   282073      0 |    14902 |    17357
689.41/689.69	c  686s |      17 |   258864 |   204332 |   282073      0 |    14902 |    17357
691.91/692.15	c  689s |      17 |   259364 |   204732 |   282073      0 |    14902 |    17357
694.40/694.63	c  691s |      17 |   259837 |   205132 |   282073      0 |    14902 |    17357
696.60/696.85	c  693s |      17 |   260319 |   205532 |   282073      0 |    14902 |    17357
699.00/699.28	c  696s |      17 |   260811 |   205932 |   282073      0 |    14902 |    17357
701.20/701.49	c  698s |      17 |   261293 |   206332 |   282073      0 |    14902 |    17357
703.30/703.54	c  700s |      17 |   261778 |   206732 |   282073      0 |    14902 |    17357
705.80/706.04	c  702s |      17 |   262264 |   207132 |   282073      0 |    14902 |    17357
707.90/708.14	c  705s |      17 |   262803 |   207532 |   282073      0 |    14902 |    17357
710.40/710.62	c  707s |      17 |   263263 |   207932 |   282073      0 |    14902 |    17357
713.10/713.30	c  710s |      17 |   263879 |   208432 |   282073      0 |    14902 |    17357
715.29/715.54	c  712s |      17 |   264380 |   208832 |   282073      0 |    14902 |    17357
717.89/718.12	c  715s |      17 |   265014 |   209332 |   282073      0 |    14902 |    17357
719.89/720.13	c  717s |      17 |   265520 |   209732 |   282073      0 |    14902 |    17357
721.99/722.22	c  719s |      17 |   266009 |   210132 |   282073      0 |    14902 |    17357
724.39/724.66	c  721s |      17 |   266637 |   210632 |   282073      0 |    14902 |    17357
726.49/726.72	c  723s |      17 |   267177 |   211032 |   282073      0 |    14902 |    17357
728.69/728.90	c  725s |      17 |   267654 |   211432 |   282073      0 |    14902 |    17357
730.89/731.14	c  728s |      17 |   268147 |   211832 |   282073      0 |    14902 |    17357
733.19/733.49	c  730s |      17 |   268620 |   212232 |   282073      0 |    14902 |    17357
735.79/736.02	c  732s |      17 |   269067 |   212632 |   282073      0 |    14902 |    17357
738.28/738.53	c  735s |      17 |   269707 |   213132 |   282073      0 |    14902 |    17357
740.38/740.60	c  737s |      17 |   270204 |   213532 |   282073      0 |    14902 |    17357
742.68/742.95	c  739s |      17 |   270687 |   213932 |   282073      0 |    14902 |    17357
745.08/745.37	c  742s |      17 |   271153 |   214332 |   282073      0 |    14902 |    17357
747.58/747.83	c  744s |      17 |   271635 |   214732 |   282073      0 |    14902 |    17357
750.08/750.36	c  747s |      17 |   272117 |   215132 |   282073      0 |    14902 |    17357
752.47/752.72	c  749s |      17 |   272656 |   215532 |   282073      0 |    14902 |    17357
754.77/755.03	c  751s |      17 |   273145 |   215932 |   282073      0 |    14902 |    17357
756.97/757.29	c  754s |      17 |   273637 |   216332 |   282073      0 |    14902 |    17357
759.17/759.49	c  756s |      17 |   274114 |   216732 |   282073      0 |    14902 |    17357
761.67/761.93	c  758s |      17 |   274581 |   217132 |   282073      0 |    14902 |    17357
764.26/764.50	c  761s |      17 |   275050 |   217532 |   282073      0 |    14902 |    17357
766.76/767.00	c  763s |      17 |   275539 |   217932 |   282073      0 |    14902 |    17357
769.06/769.39	c  766s |      17 |   276005 |   218332 |   282073      0 |    14902 |    17357
771.16/771.42	c  768s |      17 |   276351 |   218632 |   282073      0 |    14902 |    17357
773.56/773.88	c  770s |      17 |   276826 |   219032 |   282073      0 |    14902 |    17357
775.96/776.24	c  773s |      17 |   277349 |   219432 |   282073      0 |    14902 |    17357
778.06/778.31	c  775s |      17 |   277751 |   219732 |   282073      0 |    14902 |    17357
780.06/780.32	c  777s |      17 |   278089 |   220032 |   282073      0 |    14902 |    17357
782.76/783.01	c  779s |      17 |   278566 |   220432 |   282073      0 |    14902 |    17357
785.16/785.46	c  782s |      17 |   279011 |   220832 |   282073      0 |    14902 |    17357
787.66/787.92	c  784s |      17 |   279485 |   221232 |   282073      0 |    14902 |    17357
789.76/790.01	c  786s |      17 |   279841 |   221532 |   282073      0 |    14902 |    17357
791.76/792.09	c  789s |      17 |   280197 |   221832 |   282073      0 |    14902 |    17357
794.35/794.67	c  791s |      17 |   280658 |   222232 |   282073      0 |    14902 |    17357
796.85/797.19	c  794s |      17 |   281137 |   222632 |   282073      0 |    14902 |    17357
799.66/799.91	c  796s |      17 |   281599 |   223032 |   282073      0 |    14902 |    17357
801.95/802.28	c  799s |      17 |   282073 |   223432 |   282073      0 |    14902 |    17357
804.55/804.80	c  801s |      17 |   282519 |   223832 |   282073      0 |    14902 |    17357
806.65/806.90	c  803s |      17 |   282864 |   224132 |   282073      0 |    14902 |    17357
808.65/808.99	c  805s |      17 |   283210 |   224432 |   282073      0 |    14902 |    17357
810.84/811.11	c  808s |      17 |   283555 |   224732 |   282073      0 |    14902 |    17357
812.85/813.11	c  810s |      17 |   283894 |   225032 |   282073      0 |    14902 |    17357
814.84/815.12	c  812s |      17 |   284241 |   225332 |   282073      0 |    14902 |    17357
816.84/817.16	c  814s |      17 |   284599 |   225632 |   282073      0 |    14902 |    17357
819.24/819.58	c  816s |      17 |   285071 |   226032 |   282073      0 |    14902 |    17357
821.84/822.18	c  819s |      17 |   285578 |   226432 |   282073      0 |    14902 |    17357
824.53/824.80	c  821s |      17 |   286079 |   226832 |   282073      0 |    14902 |    17357
827.04/827.32	c  824s |      17 |   286526 |   227232 |   282073      0 |    14902 |    17357
829.13/829.44	c  826s |      17 |   286872 |   227532 |   282073      0 |    14902 |    17357
831.23/831.59	c  828s |      17 |   287402 |   227932 |   282073      0 |    14902 |    17357
833.43/833.77	c  830s |      17 |   287900 |   228332 |   282073      0 |    14902 |    17357
836.02/836.35	c  833s |      17 |   288375 |   228732 |   282073      0 |    14902 |    17357
838.52/838.90	c  835s |      17 |   288857 |   229132 |   282073      0 |    14902 |    17357
840.72/841.03	c  837s |      17 |   289245 |   229432 |   282073      0 |    14902 |    17357
842.82/843.10	c  840s |      17 |   289606 |   229732 |   282073      0 |    14902 |    17357
845.12/845.48	c  842s |      17 |   290136 |   230132 |   282073      0 |    14902 |    17357
847.72/848.05	c  844s |      17 |   290629 |   230532 |   282073      0 |    14902 |    17357
850.32/850.64	c  847s |      17 |   291133 |   230932 |   282073      0 |    14902 |    17357
852.82/853.10	c  850s |      17 |   291605 |   231332 |   282073      0 |    14902 |    17357
855.31/855.67	c  852s |      17 |   292071 |   231732 |   282073      0 |    14902 |    17357
857.71/858.01	c  854s |      17 |   292580 |   232132 |   282073      0 |    14902 |    17357
860.21/860.59	c  857s |      17 |   293093 |   232532 |   282073      0 |    14902 |    17357
862.32/862.62	c  859s |      17 |   293493 |   232832 |   282073      0 |    14902 |    17357
864.60/864.90	c  861s |      17 |   293987 |   233232 |   282073      0 |    14902 |    17357
866.61/866.94	c  863s |      17 |   294399 |   233532 |   282073      0 |    14902 |    17357
868.70/869.05	c  865s |      17 |   294751 |   233832 |   282073      0 |    14902 |    17357
870.80/871.10	c  868s |      17 |   295089 |   234132 |   282073      0 |    14902 |    17357
873.00/873.34	c  870s |      17 |   295436 |   234432 |   282073      0 |    14902 |    17357
875.10/875.49	c  872s |      17 |   295788 |   234732 |   282073      0 |    14902 |    17357
877.70/878.01	c  874s |      17 |   296302 |   235132 |   282073      0 |    14902 |    17357
880.30/880.63	c  877s |      17 |   296780 |   235532 |   282073      0 |    14902 |    17357
882.49/882.80	c  879s |      17 |   297120 |   235832 |   282073      0 |    14902 |    17357
884.49/884.81	c  881s |      17 |   297460 |   236132 |   282073      0 |    14902 |    17357
886.50/886.89	c  883s |      17 |   297823 |   236432 |   282073      0 |    14902 |    17357
888.60/888.91	c  885s |      17 |   298170 |   236732 |   282073      0 |    14902 |    17357
891.09/891.44	c  888s |      17 |   298704 |   237132 |   282073      0 |    14902 |    17357
893.10/893.48	c  890s |      17 |   299934 |   237832 |   282073      0 |    14902 |    17357
895.19/895.58	c  892s |      17 |   300798 |   238532 |   282073      0 |    14902 |    17357
897.28/897.66	c  894s |      17 |   301666 |   239232 |   282073      0 |    14902 |    17357
899.38/899.79	c  896s |      17 |   302701 |   240032 |   282073      0 |    14902 |    17357
901.58/901.99	c  898s |      17 |   303563 |   240732 |   282073      0 |    14902 |    17357
903.88/904.30	c  901s |      17 |   304422 |   241432 |   282073      0 |    14902 |    17357
906.28/906.63	c  903s |      17 |   305287 |   242132 |   282073      0 |    14902 |    17357
908.68/909.00	c  905s |      17 |   306130 |   242832 |   282073      0 |    14902 |    17357
910.78/911.12	c  908s |      17 |   306965 |   243532 |   282073      0 |    14902 |    17357
912.98/913.30	c  910s |      17 |   307768 |   244232 |   282073      0 |    14902 |    17357
915.08/915.45	c  912s |      17 |   308594 |   244932 |   282073      0 |    14902 |    17357
917.28/917.66	c  914s |      17 |   309412 |   245632 |   282073      0 |    14902 |    17357
919.38/919.74	c  916s |      17 |   310261 |   246332 |   282073      0 |    14902 |    17357
921.68/922.04	c  918s |      17 |   311142 |   247032 |   282073      0 |    14902 |    17357
923.97/924.30	c  921s |      17 |   312014 |   247732 |   282073      0 |    14902 |    17357
925.97/926.38	c  923s |      17 |   312596 |   248232 |   282073      0 |    14902 |    17357
928.17/928.59	c  925s |      17 |   313303 |   248832 |   282073      0 |    14902 |    17357
930.47/930.83	c  927s |      17 |   314152 |   249532 |   282073      0 |    14902 |    17357
932.46/932.89	c  929s |      17 |   314858 |   250132 |   282073      0 |    14902 |    17357
934.66/935.06	c  931s |      17 |   315580 |   250732 |   282073      0 |    14902 |    17357
936.66/937.08	c  934s |      17 |   316179 |   251232 |   282073      0 |    14902 |    17357
939.06/939.48	c  936s |      17 |   316890 |   251832 |   282073      0 |    14902 |    17357
941.26/941.65	c  938s |      17 |   317471 |   252332 |   282073      0 |    14902 |    17357
943.36/943.76	c  940s |      17 |   318033 |   252832 |   282073      0 |    14902 |    17357
945.55/945.98	c  942s |      17 |   318594 |   253332 |   282073      0 |    14902 |    17357
947.85/948.27	c  945s |      17 |   319159 |   253832 |   282073      0 |    14902 |    17357
950.16/950.57	c  947s |      17 |   319722 |   254332 |   282073      0 |    14902 |    17357
952.55/952.93	c  949s |      17 |   320292 |   254832 |   282073      0 |    14902 |    17357
954.65/955.06	c  951s |      17 |   320887 |   255332 |   282073      0 |    14902 |    17357
956.75/957.19	c  954s |      17 |   321464 |   255832 |   282073      0 |    14902 |    17357
958.85/959.29	c  956s |      17 |   322046 |   256332 |   282073      0 |    14902 |    17357
960.94/961.35	c  958s |      17 |   322613 |   256832 |   282073      0 |    14902 |    17357
963.36/963.71	c  960s |      17 |   323361 |   257432 |   282073      0 |    14902 |    17357
965.56/965.92	c  962s |      17 |   323926 |   257932 |   282073      0 |    14902 |    17357
967.95/968.30	c  965s |      17 |   324595 |   258532 |   282073      0 |    14902 |    17357
970.06/970.49	c  967s |      17 |   325147 |   259032 |   282073      0 |    14902 |    17357
972.16/972.52	c  969s |      17 |   325747 |   259532 |   282073      0 |    14902 |    17357
974.35/974.77	c  971s |      17 |   326303 |   260032 |   282073      0 |    14902 |    17357
976.45/976.82	c  973s |      17 |   326916 |   260532 |   282073      0 |    14902 |    17357
978.75/979.15	c  976s |      17 |   327510 |   261032 |   282073      0 |    14902 |    17357
980.85/981.24	c  978s |      17 |   327981 |   261432 |   282073      0 |    14902 |    17357
982.95/983.31	c  980s |      17 |   328580 |   261932 |   282073      0 |    14902 |    17357
985.24/985.62	c  982s |      17 |   329151 |   262432 |   282073      0 |    14902 |    17357
987.65/988.03	c  984s |      17 |   329731 |   262932 |   282073      0 |    14902 |    17357
989.85/990.21	c  987s |      17 |   330301 |   263432 |   282073      0 |    14902 |    17357
992.05/992.42	c  989s |      17 |   330897 |   263932 |   282073      0 |    14902 |    17357
994.44/994.80	c  991s |      17 |   331606 |   264532 |   282073      0 |    14902 |    17357
996.74/997.16	c  994s |      17 |   332197 |   265032 |   282073      0 |    14902 |    17357
998.94/999.39	c  996s |      17 |   332765 |   265532 |   282073      0 |    14902 |    17357
1001.34/1001.71	c  998s |      17 |   333359 |   266032 |   282073      0 |    14902 |    17357
1003.74/1004.11	c 1001s |      17 |   333935 |   266532 |   282073      0 |    14902 |    17357
1005.94/1006.32	c 1003s |      17 |   334532 |   267032 |   282073      0 |    14902 |    17357
1008.24/1008.68	c 1005s |      17 |   335216 |   267632 |   282073      0 |    14902 |    17357
1010.54/1010.94	c 1007s |      17 |   335793 |   268132 |   282073      0 |    14902 |    17357
1012.84/1013.28	c 1010s |      17 |   336371 |   268632 |   282073      0 |    14902 |    17357
1015.14/1015.56	c 1012s |      17 |   336959 |   269132 |   282073      0 |    14902 |    17357
1017.34/1017.80	c 1014s |      17 |   337573 |   269632 |   282073      0 |    14902 |    17357
1019.73/1020.14	c 1017s |      17 |   338137 |   270132 |   282073      0 |    14902 |    17357
1021.93/1022.38	c 1019s |      17 |   338731 |   270632 |   282073      0 |    14902 |    17357
1024.32/1024.70	c 1021s |      17 |   339348 |   271132 |   282073      0 |    14902 |    17357
1026.52/1026.97	c 1023s |      17 |   339962 |   271632 |   282073      0 |    14902 |    17357
1029.02/1029.42	c 1026s |      17 |   340550 |   272132 |   282073      0 |    14902 |    17357
1031.32/1031.75	c 1028s |      17 |   341157 |   272632 |   282073      0 |    14902 |    17357
1033.42/1033.86	c 1030s |      17 |   341760 |   273132 |   282073      0 |    14902 |    17357
1035.62/1036.07	c 1033s |      17 |   342315 |   273632 |   282073      0 |    14902 |    17357
1038.02/1038.42	c 1035s |      17 |   342873 |   274132 |   282073      0 |    14902 |    17357
1040.33/1040.77	c 1037s |      17 |   343405 |   274632 |   282073      0 |    14902 |    17357
1042.82/1043.21	c 1040s |      17 |   343982 |   275132 |   282073      0 |    14902 |    17357
1044.91/1045.35	c 1042s |      17 |   344579 |   275632 |   282073      0 |    14902 |    17357
1047.02/1047.46	c 1044s |      17 |   345172 |   276132 |   282073      0 |    14902 |    17357
1049.22/1049.61	c 1046s |      17 |   345751 |   276632 |   282073      0 |    14902 |    17357
1051.32/1051.77	c 1048s |      17 |   346344 |   277132 |   282073      0 |    14902 |    17357
1053.81/1054.20	c 1051s |      17 |   347024 |   277732 |   282073      0 |    14902 |    17357
1056.21/1056.62	c 1053s |      17 |   347728 |   278332 |   282073      0 |    14902 |    17357
1058.51/1058.90	c 1055s |      17 |   348287 |   278832 |   282073      0 |    14902 |    17357
1060.61/1061.08	c 1058s |      17 |   348841 |   279332 |   282073      0 |    14902 |    17357
1063.01/1063.43	c 1060s |      17 |   349432 |   279832 |   282073      0 |    14902 |    17357
1065.20/1065.68	c 1062s |      17 |   350004 |   280332 |   282073      0 |    14902 |    17357
1067.50/1067.93	c 1064s |      17 |   350628 |   280832 |   282073      0 |    14902 |    17357
1069.80/1070.22	c 1067s |      17 |   351216 |   281332 |   282073      0 |    14902 |    17357
1072.31/1072.77	c 1069s |      17 |   351809 |   281832 |   282073      0 |    14902 |    17357
1074.90/1075.34	c 1072s |      17 |   352393 |   282332 |   282073      0 |    14902 |    17357
1077.10/1077.58	c 1074s |      17 |   352847 |   282732 |   282073      0 |    14902 |    17357
1079.60/1080.03	c 1076s |      17 |   353428 |   283232 |   282073      0 |    14902 |    17357
1082.00/1082.42	c 1079s |      17 |   353996 |   283732 |   282073      0 |    14902 |    17357
1084.50/1084.93	c 1081s |      17 |   354594 |   284232 |   282073      0 |    14902 |    17357
1086.50/1086.95	c 1083s |      17 |   355051 |   284632 |   282073      0 |    14902 |    17357
1088.60/1089.10	c 1086s |      17 |   355508 |   285032 |   282073      0 |    14902 |    17357
1090.80/1091.22	c 1088s |      17 |   355966 |   285432 |   282073      0 |    14902 |    17357
1092.89/1093.34	c 1090s |      17 |   356426 |   285832 |   282073      0 |    14902 |    17357
1095.09/1095.56	c 1092s |      17 |   356920 |   286232 |   282073      0 |    14902 |    17357
1097.29/1097.71	c 1094s |      17 |   357383 |   286632 |   282073      0 |    14902 |    17357
1099.49/1099.96	c 1096s |      17 |   357826 |   287032 |   282073      0 |    14902 |    17357
1101.79/1102.28	c 1099s |      17 |   358281 |   287432 |   282073      0 |    14902 |    17357
1104.10/1104.56	c 1101s |      17 |   358756 |   287832 |   282073      0 |    14902 |    17357
1106.19/1106.70	c 1103s |      17 |   359236 |   288232 |   282073      0 |    14902 |    17357
1108.39/1108.85	c 1105s |      17 |   359717 |   288632 |   282073      0 |    14902 |    17357
1110.49/1110.91	c 1107s |      17 |   360159 |   289032 |   282073      0 |    14902 |    17357
1112.49/1112.98	c 1109s |      17 |   360613 |   289432 |   282073      0 |    14902 |    17357
1114.59/1115.08	c 1112s |      17 |   361066 |   289832 |   282073      0 |    14902 |    17357
1116.79/1117.25	c 1114s |      17 |   361544 |   290232 |   282073      0 |    14902 |    17357
1119.19/1119.68	c 1116s |      17 |   362093 |   290732 |   282073      0 |    14902 |    17357
1121.39/1121.85	c 1118s |      17 |   362526 |   291132 |   282073      0 |    14902 |    17357
1123.69/1124.10	c 1121s |      17 |   362992 |   291532 |   282073      0 |    14902 |    17357
1126.09/1126.55	c 1123s |      17 |   363451 |   291932 |   282073      0 |    14902 |    17357
1128.49/1128.90	c 1125s |      17 |   363908 |   292332 |   282073      0 |    14902 |    17357
1131.09/1131.53	c 1128s |      17 |   364365 |   292732 |   282073      0 |    14902 |    17357
1133.48/1133.97	c 1130s |      17 |   364815 |   293132 |   282073      0 |    14902 |    17357
1135.99/1136.46	c 1133s |      17 |   365268 |   293532 |   282073      0 |    14902 |    17357
1138.38/1138.87	c 1135s |      17 |   365725 |   293932 |   282073      0 |    14902 |    17357
1140.98/1141.40	c 1138s |      17 |   366166 |   294332 |   310281      0 |    14902 |    17357
1143.28/1143.75	c 1140s |      17 |   366620 |   294732 |   310281      0 |    14902 |    17357
1145.58/1146.05	c 1142s |      17 |   367076 |   295132 |   310281      0 |    14902 |    17357
1147.88/1148.35	c 1145s |      17 |   367519 |   295532 |   310281      0 |    14902 |    17357
1150.48/1150.91	c 1147s |      17 |   367976 |   295932 |   310281      0 |    14902 |    17357
1152.38/1152.86	c 1149s |      18 |   368357 |   296252 |   310281      0 |    14902 |    17357
1154.48/1154.98	c 1151s |      18 |   368796 |   296452 |   310281      0 |    14902 |    17357
1156.78/1157.20	c 1154s |      18 |   369463 |   296952 |   310281      0 |    14902 |    17357
1159.19/1159.64	c 1156s |      18 |   370247 |   297552 |   310281      0 |    14902 |    17357
1161.48/1161.99	c 1158s |      18 |   370967 |   298152 |   310281      0 |    14902 |    17357
1163.59/1164.01	c 1160s |      18 |   371717 |   298752 |   310281      0 |    14902 |    17357
1165.88/1166.30	c 1163s |      18 |   372473 |   299352 |   310281      0 |    14902 |    17357
1167.99/1168.47	c 1165s |      18 |   373254 |   299952 |   310281      0 |    14902 |    17357
1170.19/1170.61	c 1167s |      18 |   373987 |   300552 |   310281      0 |    14902 |    17357
1172.18/1172.63	c 1169s |      18 |   374721 |   301152 |   310281      0 |    14902 |    17357
1174.38/1174.89	c 1171s |      18 |   375443 |   301752 |   310281      0 |    14902 |    17357
1176.58/1177.09	c 1174s |      18 |   376210 |   302352 |   310281      0 |    14902 |    17357
1178.78/1179.29	c 1176s |      18 |   376939 |   302952 |   310281      0 |    14902 |    17357
1181.18/1181.67	c 1178s |      18 |   377651 |   303552 |   310281      0 |    14902 |    17357
1183.18/1183.69	c 1180s |      18 |   378396 |   304152 |   310281      0 |    14902 |    17357
1185.68/1186.13	c 1183s |      18 |   379111 |   304752 |   310281      0 |    14902 |    17357
1187.78/1188.26	c 1185s |      18 |   379583 |   305152 |   310281      0 |    14902 |    17357
1189.88/1190.32	c 1187s |      18 |   380361 |   305752 |   310281      0 |    14902 |    17357
1191.88/1192.38	c 1189s |      18 |   380952 |   306252 |   310281      0 |    14902 |    17357
1194.18/1194.70	c 1191s |      18 |   381695 |   306852 |   310281      0 |    14902 |    17357
1196.48/1196.92	c 1193s |      18 |   382348 |   307352 |   310281      0 |    14902 |    17357
1198.68/1199.13	c 1196s |      18 |   382997 |   307852 |   310281      0 |    14902 |    17357
1201.07/1201.50	c 1198s |      18 |   383613 |   308352 |   310281      0 |    14902 |    17357
1203.08/1203.60	c 1200s |      18 |   384242 |   308852 |   310281      0 |    14902 |    17357
1205.17/1205.65	c 1202s |      18 |   384723 |   309252 |   310281      0 |    14902 |    17357
1207.48/1207.95	c 1204s |      18 |   385343 |   309752 |   310281      0 |    14902 |    17357
1209.87/1210.37	c 1207s |      18 |   385916 |   310252 |   310281      0 |    14902 |    17357
1212.17/1212.60	c 1209s |      18 |   386581 |   310752 |   310281      0 |    14902 |    17357
1214.37/1214.84	c 1211s |      18 |   387153 |   311252 |   310281      0 |    14902 |    17357
1216.67/1217.16	c 1214s |      18 |   387726 |   311752 |   310281      0 |    14902 |    17357
1219.07/1219.55	c 1216s |      18 |   388498 |   312352 |   310281      0 |    14902 |    17357
1221.37/1221.85	c 1218s |      18 |   389076 |   312852 |   310281      0 |    14902 |    17357
1223.77/1224.20	c 1221s |      18 |   389681 |   313352 |   310281      0 |    14902 |    17357
1226.07/1226.53	c 1223s |      18 |   390308 |   313852 |   310281      0 |    14902 |    17357
1228.27/1228.73	c 1225s |      18 |   391119 |   314452 |   310281      0 |    14902 |    17357
1230.47/1230.93	c 1227s |      18 |   391773 |   314952 |   310281      0 |    14902 |    17357
1232.78/1233.24	c 1230s |      18 |   392393 |   315452 |   310281      0 |    14902 |    17357
1235.17/1235.66	c 1232s |      18 |   392982 |   315952 |   310281      0 |    14902 |    17357
1237.57/1238.00	c 1234s |      18 |   393594 |   316452 |   310281      0 |    14902 |    17357
1239.57/1240.08	c 1237s |      18 |   394092 |   316852 |   310281      0 |    14902 |    17357
1241.68/1242.14	c 1239s |      18 |   394575 |   317252 |   310281      0 |    14902 |    17357
1243.67/1244.15	c 1241s |      18 |   395122 |   317652 |   310281      0 |    14902 |    17357
1246.17/1246.63	c 1243s |      18 |   395716 |   318152 |   310281      0 |    14902 |    17357
1248.37/1248.85	c 1245s |      18 |   396198 |   318552 |   310281      0 |    14902 |    17357
1250.67/1251.12	c 1248s |      18 |   396679 |   318952 |   310281      0 |    14902 |    17357
1252.77/1253.28	c 1250s |      18 |   397142 |   319352 |   310281      0 |    14902 |    17357
1255.27/1255.70	c 1252s |      18 |   397743 |   319852 |   310281      0 |    14902 |    17357
1257.46/1257.96	c 1254s |      18 |   398379 |   320352 |   310281      0 |    14902 |    17357
1259.86/1260.32	c 1257s |      18 |   399026 |   320852 |   310281      0 |    14902 |    17357
1261.86/1262.35	c 1259s |      18 |   399509 |   321252 |   310281      0 |    14902 |    17357
1264.26/1264.74	c 1261s |      18 |   400140 |   321752 |   310281      0 |    14902 |    17357
1266.36/1266.89	c 1263s |      18 |   400620 |   322152 |   310281      0 |    14902 |    17357
1268.76/1269.25	c 1266s |      18 |   401218 |   322652 |   310281      0 |    14902 |    17357
1271.06/1271.54	c 1268s |      18 |   401865 |   323152 |   310281      0 |    14902 |    17357
1273.36/1273.83	c 1270s |      18 |   402350 |   323552 |   310281      0 |    14902 |    17357
1275.36/1275.86	c 1272s |      18 |   402824 |   323952 |   310281      0 |    14902 |    17357
1277.66/1278.12	c 1275s |      18 |   403497 |   324452 |   310281      0 |    14902 |    17357
1279.86/1280.32	c 1277s |      18 |   403963 |   324852 |   310281      0 |    14902 |    17357
1282.06/1282.53	c 1279s |      18 |   404608 |   325352 |   310281      0 |    14902 |    17357
1284.57/1285.10	c 1282s |      18 |   405259 |   325852 |   310281      0 |    14902 |    17357
1286.67/1287.18	c 1284s |      18 |   405743 |   326252 |   310281      0 |    14902 |    17357
1289.16/1289.69	c 1286s |      18 |   406351 |   326752 |   310281      0 |    14902 |    17357
1291.36/1291.85	c 1288s |      18 |   406975 |   327252 |   310281      0 |    14902 |    17357
1293.46/1293.99	c 1290s |      18 |   407592 |   327752 |   310281      0 |    14902 |    17357
1295.56/1296.00	c 1292s |      18 |   408070 |   328152 |   310281      0 |    14902 |    17357
1297.86/1298.36	c 1295s |      18 |   408665 |   328652 |   310281      0 |    14902 |    17357
1299.96/1300.41	c 1297s |      18 |   409142 |   329052 |   310281      0 |    14902 |    17357
1302.16/1302.61	c 1299s |      18 |   409767 |   329552 |   310281      0 |    14902 |    17357
1304.56/1305.00	c 1301s |      18 |   410462 |   330152 |   310281      0 |    14902 |    17357
1306.96/1307.42	c 1304s |      18 |   411038 |   330652 |   310281      0 |    14902 |    17357
1309.36/1309.80	c 1306s |      18 |   411636 |   331152 |   310281      0 |    14902 |    17357
1311.75/1312.24	c 1309s |      18 |   412261 |   331652 |   310281      0 |    14902 |    17357
1314.05/1314.50	c 1311s |      18 |   412844 |   332152 |   310281      0 |    14902 |    17357
1316.05/1316.55	c 1313s |      18 |   413484 |   332652 |   310281      0 |    14902 |    17357
1318.45/1318.98	c 1315s |      18 |   414216 |   333252 |   310281      0 |    14902 |    17357
1320.76/1321.27	c 1318s |      18 |   414903 |   333752 |   310281      0 |    14902 |    17357
1322.85/1323.33	c 1320s |      18 |   415577 |   334252 |   310281      0 |    14902 |    17357
1325.05/1325.57	c 1322s |      18 |   416227 |   334752 |   310281      0 |    14902 |    17357
1327.25/1327.75	c 1324s |      18 |   416856 |   335252 |   310281      0 |    14902 |    17357
1329.35/1329.85	c 1326s |      18 |   417478 |   335752 |   310281      0 |    14902 |    17357
1331.65/1332.16	c 1329s |      18 |   418100 |   336252 |   310281      0 |    14902 |    17357
1333.75/1334.26	c 1331s |      18 |   418711 |   336752 |   310281      0 |    14902 |    17357
1335.95/1336.42	c 1333s |      18 |   419352 |   337252 |   310281      0 |    14902 |    17357
1338.05/1338.55	c 1335s |      18 |   419854 |   337652 |   310281      0 |    14902 |    17357
1340.15/1340.67	c 1337s |      18 |   420473 |   338152 |   310281      0 |    14902 |    17357
1342.55/1343.06	c 1339s |      18 |   421085 |   338652 |   310281      0 |    14902 |    17357
1344.75/1345.20	c 1342s |      18 |   421732 |   339152 |   310281      0 |    14902 |    17357
1347.05/1347.57	c 1344s |      18 |   422358 |   339652 |   310281      0 |    14902 |    17357
1349.35/1349.87	c 1346s |      18 |   422979 |   340152 |   310281      0 |    14902 |    17357
1351.55/1352.05	c 1348s |      18 |   423646 |   340652 |   310281      0 |    14902 |    17357
1353.95/1354.41	c 1351s |      18 |   424336 |   341152 |   310281      0 |    14902 |    17357
1356.15/1356.63	c 1353s |      18 |   424856 |   341552 |   310281      0 |    14902 |    17357
1358.55/1359.03	c 1355s |      18 |   425515 |   342052 |   310281      0 |    14902 |    17357
1360.75/1361.22	c 1358s |      18 |   426158 |   342552 |   310281      0 |    14902 |    17357
1362.74/1363.23	c 1360s |      18 |   426680 |   342952 |   310281      0 |    14902 |    17357
1365.14/1365.66	c 1362s |      18 |   427298 |   343452 |   310281      0 |    14902 |    17357
1367.44/1367.95	c 1364s |      18 |   427920 |   343952 |   310281      0 |    14902 |    17357
1369.44/1369.97	c 1366s |      18 |   428378 |   344352 |   310281      0 |    14902 |    17357
1371.54/1372.06	c 1368s |      18 |   428977 |   344852 |   310281      0 |    14902 |    17357
1373.74/1374.27	c 1371s |      18 |   429464 |   345252 |   310281      0 |    14902 |    17357
1375.75/1376.28	c 1373s |      18 |   429917 |   345652 |   310281      0 |    14902 |    17357
1377.84/1378.39	c 1375s |      18 |   430372 |   346052 |   310281      0 |    14902 |    17357
1379.94/1380.49	c 1377s |      18 |   430839 |   346452 |   310281      0 |    14902 |    17357
1382.45/1382.96	c 1379s |      18 |   431287 |   346852 |   310281      0 |    14902 |    17357
1384.55/1385.08	c 1382s |      18 |   431767 |   347252 |   310281      0 |    14902 |    17357
1386.64/1387.12	c 1384s |      18 |   432250 |   347652 |   310281      0 |    14902 |    17357
1388.95/1389.50	c 1386s |      18 |   432883 |   348152 |   310281      0 |    14902 |    17357
1391.34/1391.87	c 1388s |      18 |   433504 |   348652 |   310281      0 |    14902 |    17357
1393.74/1394.27	c 1391s |      18 |   434136 |   349152 |   310281      0 |    14902 |    17357
1395.84/1396.32	c 1393s |      18 |   434595 |   349552 |   310281      0 |    14902 |    17357
1397.85/1398.34	c 1395s |      18 |   435048 |   349952 |   310281      0 |    14902 |    17357
1400.14/1400.66	c 1397s |      18 |   435673 |   350452 |   310281      0 |    14902 |    17357
1402.34/1402.87	c 1399s |      18 |   436146 |   350852 |   310281      0 |    14902 |    17357
1404.34/1404.88	c 1401s |      18 |   436616 |   351252 |   310281      0 |    14902 |    17357
1406.74/1407.28	c 1404s |      18 |   437204 |   351752 |   310281      0 |    14902 |    17357
1408.74/1409.30	c 1406s |      18 |   437730 |   352152 |   310281      0 |    14902 |    17357
1410.94/1411.46	c 1408s |      18 |   438207 |   352552 |   310281      0 |    14902 |    17357
1412.94/1413.46	c 1410s |      18 |   438702 |   352952 |   310281      0 |    14902 |    17357
1415.24/1415.76	c 1412s |      18 |   439185 |   353352 |   310281      0 |    14902 |    17357
1418.04/1418.54	c 1415s |      18 |   439313 |   353452 |   310281      1 |    14902 |    17357
1420.14/1420.66	c 1417s |      18 |   439655 |   353752 |   310281      1 |    14902 |    17357
1422.43/1422.98	c 1419s |      18 |   440320 |   354252 |   310281      1 |    14902 |    17357
1424.63/1425.15	c 1422s |      18 |   440935 |   354752 |   310281      1 |    14902 |    17357
1426.93/1427.42	c 1424s |      18 |   441590 |   355252 |   310281      1 |    14902 |    17357
1429.13/1429.60	c 1426s |      18 |   442232 |   355752 |   310281      1 |    14902 |    17357
1431.33/1431.80	c 1428s |      18 |   442839 |   356252 |   310281      1 |    14902 |    17357
1433.54/1434.08	c 1431s |      18 |   443434 |   356752 |   310281      1 |    14902 |    17357
1435.74/1436.20	c 1433s |      18 |   444072 |   357252 |   310281      1 |    14902 |    17357
1438.04/1438.51	c 1435s |      18 |   444829 |   357852 |   310281      1 |    14902 |    17357
1440.04/1440.57	c 1437s |      18 |   445458 |   358352 |   310281      1 |    14902 |    17357
1442.23/1442.76	c 1439s |      18 |   446122 |   358852 |   310281      1 |    14902 |    17357
1444.33/1444.82	c 1441s |      18 |   446624 |   359252 |   310281      1 |    14902 |    17357
1446.83/1447.31	c 1444s |      18 |   447220 |   359752 |   310281      1 |    14902 |    17357
1449.44/1449.96	c 1446s |      18 |   447582 |   360052 |   310281      1 |    14902 |    17357
1451.74/1452.28	c 1449s |      18 |   448181 |   360552 |   310281      1 |    14902 |    17357
1453.84/1454.39	c 1451s |      18 |   448844 |   361052 |   310281      1 |    14902 |    17357
1456.14/1456.68	c 1453s |      18 |   449461 |   361552 |   310281      1 |    14902 |    17357
1458.24/1458.77	c 1455s |      18 |   450080 |   362052 |   310281      1 |    14902 |    17357
1460.63/1461.12	c 1458s |      18 |   450657 |   362552 |   310281      1 |    14902 |    17357
1462.74/1463.22	c 1460s |      18 |   451251 |   363052 |   310281      1 |    14902 |    17357
1465.03/1465.56	c 1462s |      18 |   451822 |   363552 |   310281      1 |    14902 |    17357
1467.23/1467.75	c 1464s |      18 |   452439 |   364052 |   310281      1 |    14902 |    17357
1469.73/1470.22	c 1467s |      18 |   453050 |   364552 |   310281      1 |    14902 |    17357
1472.13/1472.68	c 1469s |      18 |   453649 |   365052 |   310281      1 |    14902 |    17357
1474.53/1475.06	c 1471s |      18 |   454219 |   365552 |   310281      1 |    14902 |    17357
1476.73/1477.25	c 1474s |      18 |   454710 |   365952 |   310281      1 |    14902 |    17357
1478.73/1479.28	c 1476s |      18 |   455168 |   366352 |   310281      1 |    14902 |    17357
1480.83/1481.30	c 1478s |      18 |   455646 |   366752 |   310281      1 |    14902 |    17357
1483.13/1483.70	c 1480s |      18 |   456247 |   367252 |   310281      1 |    14902 |    17357
1485.83/1486.35	c 1483s |      18 |   456849 |   367752 |   310281      1 |    14902 |    17357
1487.93/1488.49	c 1485s |      18 |   457304 |   368152 |   310281      1 |    14902 |    17357
1490.43/1490.96	c 1487s |      18 |   457960 |   368652 |   310281      1 |    14902 |    17357
1492.63/1493.19	c 1490s |      18 |   458432 |   369052 |   310281      1 |    14902 |    17357
1495.02/1495.56	c 1492s |      18 |   459054 |   369552 |   310281      1 |    14902 |    17357
1497.22/1497.80	c 1494s |      18 |   459513 |   369952 |   310281      1 |    14902 |    17357
1499.52/1500.08	c 1497s |      18 |   459951 |   370352 |   310281      1 |    14902 |    17357
1501.82/1502.32	c 1499s |      18 |   460460 |   370752 |   310281      1 |    14902 |    17357
1503.82/1504.37	c 1501s |      18 |   460947 |   371152 |   310281      1 |    14902 |    17357
1506.22/1506.79	c 1503s |      18 |   461553 |   371652 |   310281      1 |    14902 |    17357
1508.72/1509.28	c 1506s |      18 |   462194 |   372152 |   310281      1 |    14902 |    17357
1510.92/1511.49	c 1508s |      18 |   462688 |   372552 |   310281      1 |    14902 |    17357
1513.12/1513.63	c 1510s |      18 |   463182 |   372952 |   310281      1 |    14902 |    17357
1515.43/1515.97	c 1512s |      18 |   463787 |   373452 |   310281      1 |    14902 |    17357
1517.63/1518.20	c 1515s |      18 |   464246 |   373852 |   310281      1 |    14902 |    17357
1519.93/1520.47	c 1517s |      18 |   464720 |   374252 |   310281      1 |    14902 |    17357
1522.03/1522.56	c 1519s |      18 |   465252 |   374652 |   310281      1 |    14902 |    17357
1524.33/1524.89	c 1521s |      18 |   465814 |   375152 |   310281      1 |    14902 |    17357
1526.53/1527.05	c 1523s |      18 |   466307 |   375552 |   310281      1 |    14902 |    17357
1528.73/1529.24	c 1526s |      18 |   466779 |   375952 |   310281      1 |    14902 |    17357
1531.02/1531.54	c 1528s |      18 |   467267 |   376352 |   310281      1 |    14902 |    17357
1533.22/1533.76	c 1530s |      18 |   467748 |   376752 |   310281      1 |    14902 |    17357
1535.23/1535.77	c 1532s |      18 |   468240 |   377152 |   310281      1 |    14902 |    17357
1537.62/1538.19	c 1535s |      18 |   468722 |   377552 |   310281      1 |    14902 |    17357
1539.92/1540.46	c 1537s |      18 |   469202 |   377952 |   310281      1 |    14902 |    17357
1542.22/1542.71	c 1539s |      18 |   469672 |   378352 |   310281      1 |    14902 |    17357
1544.62/1545.18	c 1542s |      18 |   470145 |   378752 |   310281      1 |    14902 |    17357
1546.92/1547.48	c 1544s |      18 |   470595 |   379152 |   310281      1 |    14902 |    17357
1549.32/1549.81	c 1546s |      18 |   471074 |   379552 |   310281      1 |    14902 |    17357
1551.62/1552.16	c 1549s |      18 |   471535 |   379952 |   310281      1 |    14902 |    17357
1554.12/1554.67	c 1551s |      18 |   471997 |   380352 |   310281      1 |    14902 |    17357
1556.51/1557.05	c 1553s |      18 |   472481 |   380752 |   310281      1 |    14902 |    17357
1558.81/1559.37	c 1556s |      18 |   472966 |   381152 |   310281      1 |    14902 |    17357
1561.31/1561.80	c 1558s |      18 |   473575 |   381652 |   310281      1 |    14902 |    17357
1563.61/1564.16	c 1561s |      18 |   474201 |   382152 |   310281      1 |    14902 |    17357
1566.02/1566.54	c 1563s |      18 |   474829 |   382652 |   310281      1 |    14902 |    17357
1568.41/1569.00	c 1565s |      18 |   475415 |   383152 |   310281      1 |    14902 |    17357
1571.01/1571.58	c 1568s |      18 |   475997 |   383652 |   310281      1 |    14902 |    17357
1573.21/1573.72	c 1570s |      18 |   476521 |   384052 |   310281      1 |    14902 |    17357
1575.21/1575.76	c 1572s |      18 |   476983 |   384452 |   310281      1 |    14902 |    17357
1577.41/1577.94	c 1574s |      18 |   477419 |   384852 |   310281      1 |    14902 |    17357
1579.51/1580.07	c 1576s |      18 |   477898 |   385252 |   310281      1 |    14902 |    17357
1581.71/1582.26	c 1579s |      18 |   478363 |   385652 |   310281      1 |    14902 |    17357
1584.11/1584.67	c 1581s |      18 |   478856 |   386052 |   310281      1 |    14902 |    17357
1586.41/1586.90	c 1583s |      18 |   479311 |   386452 |   310281      1 |    14902 |    17357
1588.51/1589.05	c 1585s |      18 |   479777 |   386852 |   310281      1 |    14902 |    17357
1590.81/1591.36	c 1588s |      18 |   480266 |   387252 |   310281      1 |    14902 |    17357
1593.11/1593.65	c 1590s |      18 |   480747 |   387652 |   310281      1 |    14902 |    17357
1595.41/1595.96	c 1592s |      18 |   481203 |   388052 |   310281      1 |    14902 |    17357
1597.92/1598.41	c 1595s |      18 |   481663 |   388452 |   310281      1 |    14902 |    17357
1600.31/1600.84	c 1597s |      18 |   482160 |   388852 |   310281      1 |    14902 |    17357
1602.71/1603.22	c 1600s |      18 |   482652 |   389252 |   310281      1 |    14902 |    17357
1605.21/1605.76	c 1602s |      18 |   483139 |   389652 |   310281      1 |    14902 |    17357
1607.31/1607.87	c 1604s |      18 |   483643 |   390052 |   310281      1 |    14902 |    17357
1609.71/1610.25	c 1607s |      18 |   484128 |   390452 |   310281      1 |    14902 |    17357
1612.31/1612.85	c 1609s |      18 |   484717 |   390952 |   310281      1 |    14902 |    17357
1614.41/1614.92	c 1611s |      18 |   485237 |   391352 |   310281      1 |    14902 |    17357
1616.41/1616.98	c 1613s |      18 |   485732 |   391752 |   310281      1 |    14902 |    17357
1618.51/1619.07	c 1615s |      18 |   486227 |   392152 |   310281      1 |    14902 |    17357
1620.60/1621.14	c 1618s |      18 |   486700 |   392552 |   310281      1 |    14902 |    17357
1622.90/1623.47	c 1620s |      18 |   487180 |   392952 |   310281      1 |    14902 |    17357
1625.30/1625.84	c 1622s |      18 |   487650 |   393352 |   310281      1 |    14902 |    17357
1628.00/1628.54	c 1625s |      18 |   488090 |   393752 |   310281      1 |    14902 |    17357
1630.70/1631.25	c 1628s |      18 |   488560 |   394152 |   310281      1 |    14902 |    17357
1633.30/1633.87	c 1630s |      18 |   489029 |   394552 |   310281      1 |    14902 |    17357
1635.70/1636.23	c 1633s |      18 |   489515 |   394952 |   310281      1 |    14902 |    17357
1638.00/1638.56	c 1635s |      18 |   490025 |   395352 |   310281      1 |    14902 |    17357
1640.30/1640.85	c 1637s |      18 |   490499 |   395752 |   310281      1 |    14902 |    17357
1642.60/1643.10	c 1640s |      18 |   490992 |   396152 |   310281      1 |    14902 |    17357
1644.90/1645.40	c 1642s |      18 |   491487 |   396552 |   310281      1 |    14902 |    17357
1647.10/1647.67	c 1644s |      18 |   491961 |   396952 |   310281      1 |    14902 |    17357
1649.61/1650.14	c 1647s |      18 |   492453 |   397352 |   310281      1 |    14902 |    17357
1652.00/1652.57	c 1649s |      18 |   492967 |   397752 |   310281      1 |    14902 |    17357
1654.20/1654.73	c 1651s |      18 |   493471 |   398152 |   310281      1 |    14902 |    17357
1656.50/1657.08	c 1654s |      18 |   493946 |   398552 |   310281      1 |    14902 |    17357
1659.11/1659.61	c 1656s |      18 |   494437 |   398952 |   310281      1 |    14902 |    17357
1661.21/1661.78	c 1658s |      18 |   494914 |   399352 |   310281      1 |    14902 |    17357
1663.81/1664.31	c 1661s |      18 |   495418 |   399752 |   310281      1 |    14902 |    17357
1666.11/1666.69	c 1663s |      18 |   495917 |   400152 |   310281      1 |    14902 |    17357
1668.31/1668.81	c 1665s |      18 |   496424 |   400552 |   310281      1 |    14902 |    17357
1670.41/1670.96	c 1667s |      18 |   496922 |   400952 |   310281      1 |    14902 |    17357
1672.60/1673.13	c 1670s |      18 |   497429 |   401352 |   310281      1 |    14902 |    17357
1675.10/1675.62	c 1672s |      18 |   497924 |   401752 |   310281      1 |    14902 |    17357
1677.40/1677.94	c 1674s |      18 |   498370 |   402152 |   310281      1 |    14902 |    17357
1679.80/1680.30	c 1677s |      18 |   498834 |   402552 |   310281      1 |    14902 |    17357
1682.30/1682.88	c 1679s |      18 |   499288 |   402952 |   310281      1 |    14902 |    17357
1684.50/1685.09	c 1682s |      18 |   499777 |   403352 |   310281      1 |    14902 |    17357
1686.80/1687.39	c 1684s |      18 |   500263 |   403752 |   310281      1 |    14902 |    17357
1689.21/1689.80	c 1686s |      18 |   500731 |   404152 |   310281      1 |    14902 |    17357
1691.51/1692.06	c 1688s |      18 |   501185 |   404552 |   310281      1 |    14902 |    17357
1693.61/1694.14	c 1691s |      18 |   501654 |   404952 |   310281      1 |    14902 |    17357
1695.81/1696.33	c 1693s |      18 |   502141 |   405352 |   310281      1 |    14902 |    17357
1698.20/1698.70	c 1695s |      18 |   502615 |   405752 |   310281      1 |    14902 |    17357
1700.40/1700.95	c 1697s |      18 |   503064 |   406152 |   310281      1 |    14902 |    17357
1702.90/1703.49	c 1700s |      18 |   503526 |   406552 |   310281      1 |    14902 |    17357
1705.50/1706.09	c 1703s |      18 |   503985 |   406952 |   310281      1 |    14902 |    17357
1708.20/1708.70	c 1705s |      18 |   504460 |   407352 |   310281      1 |    14902 |    17357
1710.30/1710.82	c 1707s |      18 |   504797 |   407652 |   310281      1 |    14902 |    17357
1712.90/1713.44	c 1710s |      18 |   505249 |   408052 |   310281      1 |    14902 |    17357
1714.90/1715.46	c 1712s |      18 |   505587 |   408352 |   310281      1 |    14902 |    17357
1717.60/1718.12	c 1715s |      18 |   506074 |   408752 |   310281      1 |    14902 |    17357
1720.00/1720.55	c 1717s |      18 |   506545 |   409152 |   310281      1 |    14902 |    17357
1722.50/1723.06	c 1719s |      18 |   506998 |   409552 |   310281      1 |    14902 |    17357
1724.90/1725.49	c 1722s |      18 |   507466 |   409952 |   310281      1 |    14902 |    17357
1727.60/1728.20	c 1725s |      18 |   507916 |   410352 |   310281      1 |    14902 |    17357
1730.10/1730.67	c 1727s |      18 |   508391 |   410752 |   310281      1 |    14902 |    17357
1732.40/1732.93	c 1729s |      18 |   508862 |   411152 |   310281      1 |    14902 |    17357
1734.70/1735.25	c 1732s |      18 |   509337 |   411552 |   310281      1 |    14902 |    17357
1737.39/1737.92	c 1734s |      18 |   509788 |   411952 |   310281      1 |    14902 |    17357
1739.90/1740.47	c 1737s |      18 |   510267 |   412352 |   310281      1 |    14902 |    17357
1742.39/1742.94	c 1739s |      18 |   510712 |   412752 |   310281      1 |    14902 |    17357
1744.69/1745.23	c 1742s |      18 |   511044 |   413052 |   310281      1 |    14902 |    17357
1746.79/1747.34	c 1744s |      18 |   511369 |   413352 |   310281      1 |    14902 |    17357
1749.09/1749.61	c 1746s |      18 |   511695 |   413652 |   310281      1 |    14902 |    17357
1751.19/1751.75	c 1748s |      18 |   512038 |   413952 |   310281      1 |    14902 |    17357
1753.49/1754.04	c 1750s |      18 |   512371 |   414252 |   310281      1 |    14902 |    17357
1755.69/1756.27	c 1753s |      18 |   512715 |   414552 |   310281      1 |    14902 |    17357
1757.99/1758.50	c 1755s |      18 |   513066 |   414852 |   310281      1 |    14902 |    17357
1759.99/1760.53	c 1757s |      18 |   513420 |   415152 |   310281      1 |    14902 |    17357
1762.39/1762.97	c 1759s |      18 |   513873 |   415552 |   310281      1 |    14902 |    17357
1764.59/1765.16	c 1762s |      18 |   514199 |   415852 |   310281      1 |    14902 |    17357
1766.69/1767.23	c 1764s |      18 |   514567 |   416152 |   310281      1 |    14902 |    17357
1769.29/1769.82	c 1766s |      18 |   515030 |   416552 |   310281      1 |    14902 |    17357
1771.80/1772.39	c 1769s |      18 |   515496 |   416952 |   310281      1 |    14902 |    17357
1773.79/1774.40	c 1771s |      18 |   515843 |   417252 |   310281      1 |    14902 |    17357
1775.99/1776.52	c 1773s |      18 |   516152 |   417552 |   310281      1 |    14902 |    17357
1777.99/1778.54	c 1775s |      18 |   516489 |   417852 |   310281      1 |    14902 |    17357
1780.49/1781.06	c 1777s |      18 |   516946 |   418252 |   310281      1 |    14902 |    17357
1782.79/1783.38	c 1780s |      18 |   517399 |   418652 |   310281      1 |    14902 |    17357
1784.89/1785.44	c 1782s |      18 |   517748 |   418952 |   310281      1 |    14902 |    17357
1786.99/1787.52	c 1784s |      18 |   518089 |   419252 |   310281      1 |    14902 |    17357
1789.09/1789.64	c 1786s |      18 |   518426 |   419552 |   310281      1 |    14902 |    17357
1791.68/1792.22	c 1789s |      18 |   518898 |   419952 |   310281      1 |    14902 |    17357
1794.28/1794.84	c 1791s |      18 |   519362 |   420352 |   310281      1 |    14902 |    17357
1796.58/1797.10	c 1794s |      18 |   519838 |   420752 |   310281      1 |    14902 |    17357
1798.78/1799.32	c 1796s |      18 |   520325 |   421152 |   310281      1 |    14902 |    17357

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

pid=11536
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.08 2.06 3/179 11539
/proc/meminfo: memFree=29947824/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 2771 0 0 0 0 0 0 0 20 0 4 0 30980637 759623680 3642 33554432000 4194304 16246674 140734872250304 140734872249728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 186223 3651 441 2943 0 183117 0
[pid=11539/tid=11540] ppid=11536 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 777449472 3710 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 781643776 3724 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30980637 785838080 3742 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.10 2.08 2.06 3/179 11539
/proc/meminfo: memFree=29947824/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 27775 0 0 0 5 4 0 0 20 0 4 0 30980637 1333334016 28584 33554432000 4194304 16246674 140734872250304 140734872249616 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 325521 28601 801 2943 0 322415 0
[pid=11539/tid=11540] ppid=11536 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1333334016 28611 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1333334016 28623 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1333334016 28634 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200523 s]
/proc/loadavg: 2.10 2.08 2.06 3/179 11539
/proc/meminfo: memFree=29947824/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 49446 0 0 0 11 7 0 0 20 0 4 0 30980637 1344868352 50766 33554432000 4194304 16246674 140734872250304 140734872249616 7376643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 328337 50766 801 2943 0 325231 0
[pid=11539/tid=11540] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 50766 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 50766 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 50766 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300491 s]
/proc/loadavg: 2.10 2.08 2.06 3/179 11539
/proc/meminfo: memFree=29947824/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 54218 0 0 0 21 8 0 0 20 0 4 0 30980637 1344868352 55538 33554432000 4194304 16246674 140734872250304 140734872249616 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 328337 55538 801 2943 0 325231 0
[pid=11539/tid=11540] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 55538 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 55538 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 55538 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700404 s]
/proc/loadavg: 2.10 2.08 2.06 3/179 11539
/proc/meminfo: memFree=29947824/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 68407 0 0 0 59 10 0 0 20 0 4 0 30980637 1344868352 69727 33554432000 4194304 16246674 140734872250304 140734872248128 7852933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 328337 69727 802 2943 0 325231 0
[pid=11539/tid=11540] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 69727 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 69727 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1344868352 69727 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.09 2.08 2.06 3/183 11543
/proc/meminfo: memFree=29624572/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 150006 0 0 0 126 23 0 0 20 0 4 0 30980637 1351159808 151327 33554432000 4194304 16246674 140734872250304 140734872232192 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 329873 151335 838 2943 0 326767 0
[pid=11539/tid=11540] ppid=11536 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1351159808 151340 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1351159808 151346 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1351159808 151350 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.10042 s]
/proc/loadavg: 2.09 2.08 2.06 3/183 11543
/proc/meminfo: memFree=28861476/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1321540 CPUtime=3.09 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 270844 0 0 0 268 41 0 0 20 0 4 0 30980637 1353256960 272164 33554432000 4194304 16246674 140734872250304 140734872249616 5991592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 330385 272164 866 2943 0 327279 0
[pid=11539/tid=11540] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272164 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272164 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272164 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1321540

[startup+6.30041 s]
/proc/loadavg: 2.08 2.08 2.06 3/183 11543
/proc/meminfo: memFree=28860292/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1321540 CPUtime=6.29 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 271056 0 0 0 588 41 0 0 20 0 4 0 30980637 1353256960 272376 33554432000 4194304 16246674 140734872250304 140734872232192 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 330385 272376 888 2943 0 327279 0
[pid=11539/tid=11540] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272376 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272376 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272376 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1321540

[startup+12.7004 s]
/proc/loadavg: 2.08 2.08 2.06 4/183 11543
/proc/meminfo: memFree=28859472/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1321540 CPUtime=12.68 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 271058 0 0 0 1227 41 0 0 20 0 4 0 30980637 1353256960 272378 33554432000 4194304 16246674 140734872250304 140734872233304 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 330385 272378 888 2943 0 327279 0
[pid=11539/tid=11540] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272378 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272378 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272378 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1321540

[startup+25.5075 s]
/proc/loadavg: 2.06 2.07 2.06 3/183 11543
/proc/meminfo: memFree=28846176/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1321540 CPUtime=25.49 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 271062 0 0 0 2508 41 0 0 20 0 4 0 30980637 1353256960 272382 33554432000 4194304 16246674 140734872250304 140734872232192 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 330385 272382 891 2943 0 327279 0
[pid=11539/tid=11540] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272382 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272382 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272382 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1004 s]
/proc/loadavg: 2.04 2.06 2.06 3/183 11543
/proc/meminfo: memFree=28832208/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1321540 CPUtime=51.08 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 271062 0 0 0 5067 41 0 0 20 0 4 0 30980637 1353256960 272382 33554432000 4194304 16246674 140734872250304 140734872232192 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 330385 272382 891 2943 0 327279 0
[pid=11539/tid=11540] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272382 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272382 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272382 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.05 4/183 11544
/proc/meminfo: memFree=28822456/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1321540 CPUtime=102.28 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 271063 0 0 0 10186 42 0 0 20 0 4 0 30980637 1353256960 272383 33554432000 4194304 16246674 140734872250304 140734872232192 5515850 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 330385 272383 891 2943 0 327279 0
[pid=11539/tid=11540] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272383 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272383 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272383 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272384 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/183 11672
/proc/meminfo: memFree=29033268/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1321540 CPUtime=1361.85 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 271470 0 0 0 136141 44 0 0 20 0 4 0 30980637 1353256960 272384 33554432000 4194304 16246674 140734872250304 140734872232192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 330385 272384 892 2943 0 327279 0
[pid=11539/tid=11540] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272384 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272384 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1353256960 272384 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/183 11673
/proc/meminfo: memFree=29005904/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1349188 CPUtime=1421.83 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 278383 0 0 0 142138 45 0 0 20 0 4 0 30980637 1381568512 279297 33554432000 4194304 16246674 140734872250304 140734872232192 5553629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 337297 279297 893 2943 0 334191 0
[pid=11539/tid=11540] ppid=11536 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1381568512 279297 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1381568512 279297 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1381568512 279297 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.03 3/183 11675
/proc/meminfo: memFree=28928064/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1427012 CPUtime=1481.83 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 297839 0 0 0 148135 48 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140734872232192 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 356753 298753 893 2943 0 353647 0
[pid=11539/tid=11540] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1427012

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.03 3/184 11679
/proc/meminfo: memFree=28861824/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1427012 CPUtime=1541.82 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 297839 0 0 0 154134 48 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140734872232192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 356753 298753 893 2943 0 353647 0
[pid=11539/tid=11540] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1427012

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/184 11703
/proc/meminfo: memFree=28861268/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1427012 CPUtime=1601.81 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 297839 0 0 0 160133 48 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140734872232192 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 356753 298753 893 2943 0 353647 0
[pid=11539/tid=11540] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1427012

[startup+1662.31 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 11704
/proc/meminfo: memFree=28860696/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1427012 CPUtime=1661.81 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 297839 0 0 0 166132 49 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140734872232192 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 356753 298753 893 2943 0 353647 0
[pid=11539/tid=11540] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1427012

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/183 11705
/proc/meminfo: memFree=28860840/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1427012 CPUtime=1721.8 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 297839 0 0 0 172131 49 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140734872232192 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 356753 298753 893 2943 0 353647 0
[pid=11539/tid=11540] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1427012

[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.02 3/183 11707
/proc/meminfo: memFree=28860436/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1427012 CPUtime=1781.79 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 297839 0 0 0 178130 49 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140734872232192 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 356753 298753 893 2943 0 353647 0
[pid=11539/tid=11540] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1427012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.06 2.04 2.02 3/183 11708
/proc/meminfo: memFree=28859776/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1427012 CPUtime=1800.08 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 297839 0 0 0 179959 49 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140734872232192 5721972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 356753 298753 893 2943 0 353647 0
[pid=11539/tid=11540] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1427012

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

[startup+1800.6 s]
/proc/loadavg: 2.06 2.04 2.02 3/183 11708
/proc/meminfo: memFree=28859776/32872528 swapFree=526336/559040
[pid=11539] ppid=11536 vsize=1427012 CPUtime=1800.08 cores=1,3,5,7
/proc/11539/stat : 11539 (toysat) R 11536 11539 10280 0 -1 4202496 297839 0 0 0 179959 49 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140734872232192 5721972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11539/statm: 356753 298753 893 2943 0 353647 0
[pid=11539/tid=11540] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11540/stat : 11540 (toysat) S 11536 11539 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140308077587696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11539/tid=11541] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11541/stat : 11541 (toysat) S 11536 11539 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307991604464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11539/tid=11542] ppid=11536 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/11539/task/11542/stat : 11542 (toysat) S 11536 11539 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30980637 1461260288 298753 33554432000 4194304 16246674 140734872250304 140307981130928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1427012

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1799.6
CPU system time (s): 0.492925
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1427012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.492925
maximum resident set size= 1195012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297839
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= 430
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74828 second user time and 6.89995 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-19 00:35:05
IDJOB=4107838
IDBENCH=73562
IDSOLVER=2542
FILE ID=node106/4107838-1466289305
RUNJOBID= node106-1466277111-10297
PBS_JOBID= 19918270
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12016_4-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107838-1466289305/watcher-4107838-1466289305 -o /tmp/evaluation-result-4107838-1466289305/solver-4107838-1466289305 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107838-1466289305.opb

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

MD5SUM BENCH= 142eb7aa6e3fc22a3161df6b33ced1a2
RANDOM SEED=368318657

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29948616 kB
Buffers:          112356 kB
Cached:           234140 kB
SwapCached:         1736 kB
Active:          1384460 kB
Inactive:         233104 kB
Active(anon):    1269964 kB
Inactive(anon):     3048 kB
Active(file):     114496 kB
Inactive(file):   230056 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             21420 kB
Writeback:             0 kB
AnonPages:       1831044 kB
Mapped:            10956 kB
Shmem:                 0 kB
Slab:             613884 kB
SReclaimable:      57468 kB
SUnreclaim:       556416 kB
KernelStack:        1520 kB
PageTables:         8056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1972040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71660 MiB
End job on node106 at 2016-06-19 01:05:06