Trace number 4117085

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.08 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-2.opb
MD5SUM326ac17ed003b145465711c7acb057a9
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 variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-27T01:05:08+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-4117085-1466982308.opb"]
0.00/0.01	c use --random-gen="1799444716 3145290284 2662414349 4239577260 537297192 2261062242 4179504220 2825914462 1400017880 3534920854 631901535 1937939950 1826457862 935557377 2669299326 41730321 3410637319 2918684381 4158973986 2469305925 91887769 1112559249 1546490873 852586597 785619017 193091860 3013835461 563565295 1869098659 849481397 1874987242 1515054123 395469318 1647042873 3387161599 625761224 644999898 2783222589 1847947661 3693672685 4043328184 59781949 3987203362 1332426137 753324264 3105314255 2218835552 2456752906 1510510943 3578499859 3111781648 607530916 2238935993 2233721228 1462143699 1490874542 3230405196 3100601654 1108116125 1989349716 3276706818 3473394439 1346963228 4169250041 997726179 1130298221 2402985345 2071522413 3981907621 4131051930 3956238558 2461742330 3990113876 3191983992 2168890559 1059306004 2197275506 2286860098 2767185100 642488957 673907733 2167171308 2006342321 3234498615 2352606651 1372359534 1977448192 245058870 2036233602 1220949760 470481514 1879627891 4247260586 3661058565 3306561095 1197376353 3202247517 2531581019 1294895913 1441512531 4215515877 425118186 4036059637 317747334 597929811 1068531002 865847143 3722962062 4288059662 708093471 2958687273 984676634 315367752 162446455 3938682859 3127337660 4235413424 215495681 1093292544 381940255 3611866760 3423320664 1355038011 2786218455 4024361583 411813636 1160514502 1726684369 1140608207 1536754988 4084656934 1821995682 3713089431 3215170214 3327261662 2230972046 1902040005 1952068379 3350125571 3114063609 1922013567 3335181878 754040712 2628071608 1153650420 127632278 1936428805 276462347 2412189636 2230798047 4236653820 4139393399 2361984437 4187575415 2362297870 3146178749 3127192554 3432947477 1622158249 4074505020 2057478034 1567506631 2125722092 4058122665 4233910011 3245420046 2654169739 3515403762 1346738996 433096119 3321566470 131769142 3714407478 3271464959 2673596268 1226205800 2351883273 3301763582 1853270788 3091119953 187052389 2409401431 2763944771 3943342879 3037528009 3671037683 3923226949 1447123147 2615407971 3264686950 2842538894 539942371 206400931 2280869017 2721883503 1155164549 2111848848 2279219660 1364742725 1792122929 3581593993 1379920233 314879786 3908270732 3600944987 4220441088 2371519077 2108470557 2942484563 280115393 3560667792 878289371 1987936903 1703328737 2197556445 2553309222 284254379 610062086 3543889227 534346491 4195072829 3994584675 4290021411 2742045336 2230329556 1919684014 901152030 308665915 487835450 4165273597 565731802 994246322 1476089893 1063577642 2657553648 2646183134 3019109175 3224838290 1674483211 2137340379 3325019109 2393953404 1000643190 1892772765 3817442327 1859269486 3492342858 2591897213 1786317221 2663177592 3222169693 2732134459 748324421 3311502023 680455580 2874974482 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9536
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      902 |        0
0.29/0.35	c  0.1s |       1 |      489 |      100 |     4565      0 |      902 |      944
0.39/0.45	c  0.2s |       2 |     2352 |      250 |     5022      0 |      902 |      944
0.49/0.57	c  0.3s |       3 |     3707 |      475 |     5525      0 |      902 |      944
0.89/0.90	c  0.6s |       4 |     5228 |      813 |     6078      0 |      902 |      944
1.29/1.30	c  1.0s |       5 |     7346 |     1320 |     6686      0 |      902 |      944
1.69/1.70	c  1.4s |       6 |    14157 |     2081 |     8091      0 |      904 |      944
2.79/2.81	c  2.5s |       7 |    16532 |     3223 |     8901      0 |      904 |      944
4.19/4.26	c  4.0s |       8 |    22561 |     4936 |     9792      0 |      904 |      944
6.19/6.28	c  6.0s |       8 |    27559 |     7036 |     9792      0 |      904 |      944
6.70/6.76	c  6.5s |       9 |    28177 |     7506 |    10772      0 |      904 |      944
8.80/8.81	c  8.5s |       9 |    35692 |     9906 |    10772      0 |      904 |      944
10.29/10.37	c 10.1s |      10 |    37996 |    11361 |    11850      0 |      904 |      944
12.39/12.41	c 12.1s |      10 |    45000 |    13661 |    11850      0 |      904 |      944
14.49/14.50	c 14.2s |      10 |    50281 |    15661 |    11850      1 |      904 |      944
16.50/16.56	c 16.3s |      10 |    51710 |    16861 |    11850      1 |      904 |      944
16.99/17.02	c 16.7s |      11 |    52047 |    17144 |    13036      1 |      904 |      944
19.09/19.10	c 18.8s |      11 |    58123 |    18744 |    13036      1 |      904 |      944
21.09/21.15	c 20.9s |      11 |    59133 |    19544 |    13036      1 |      904 |      944
23.20/23.22	c 22.9s |      11 |    60733 |    20744 |    13036      1 |      904 |      944
25.30/25.38	c 25.1s |      11 |    62735 |    22044 |    13036      1 |      904 |      944
27.39/27.47	c 27.2s |      11 |    64097 |    23044 |    13036      1 |      904 |      944
29.39/29.48	c 29.2s |      11 |    65396 |    24044 |    13036      1 |      904 |      944
31.49/31.50	c 31.2s |      11 |    66304 |    24744 |    13036      2 |      904 |      944
33.48/33.58	c 33.3s |      11 |    67479 |    25644 |    13036      2 |      904 |      944
33.88/33.92	c 33.6s |      12 |    67694 |    25819 |    14340      2 |      904 |      944
35.88/35.99	c 35.7s |      12 |    72650 |    27919 |    14340      2 |      904 |      944
37.98/38.07	c 37.8s |      12 |    74687 |    29519 |    14340      2 |      904 |      944
40.18/40.21	c 39.9s |      12 |    76397 |    30819 |    14340      2 |      904 |      944
42.28/42.34	c 42.1s |      12 |    78084 |    32119 |    14340      2 |      904 |      944
44.38/44.41	c 44.1s |      12 |    79402 |    33219 |    14340      2 |      904 |      944
46.48/46.56	c 46.3s |      12 |    80477 |    34119 |    14340      3 |      904 |      944
48.78/48.82	c 48.5s |      12 |    81500 |    35019 |    14340      3 |      904 |      944
50.88/50.90	c 50.6s |      12 |    83976 |    36519 |    14340      3 |      904 |      944
52.79/52.90	c 52.6s |      12 |    85822 |    37919 |    14340      3 |      904 |      944
54.28/54.35	c 54.1s |      13 |    87009 |    38832 |    15775      3 |      904 |      944
56.28/56.40	c 56.1s |      13 |    92681 |    40632 |    15775      3 |      905 |      944
58.48/58.55	c 58.3s |      13 |    94390 |    42032 |    15775      3 |      905 |      944
60.49/60.56	c 60.3s |      13 |    95737 |    43132 |    15775      3 |      905 |      944
62.48/62.58	c 62.3s |      13 |    97019 |    44132 |    15775      4 |      905 |      944
64.58/64.63	c 64.4s |      13 |   101531 |    46032 |    15775      4 |      905 |      944
66.77/66.83	c 66.6s |      13 |   102990 |    47232 |    15775      4 |      905 |      944
68.77/68.87	c 68.6s |      13 |   104039 |    48132 |    15775      4 |      905 |      944
70.88/70.97	c 70.7s |      13 |   105243 |    49132 |    15775      4 |      905 |      944
73.18/73.25	c 73.0s |      13 |   106394 |    50032 |    15775      4 |      905 |      944
75.28/75.33	c 75.1s |      13 |   107495 |    50932 |    15775      4 |      905 |      944
77.38/77.45	c 77.2s |      13 |   109458 |    52132 |    15775      4 |      905 |      944
79.58/79.63	c 79.4s |      13 |   110689 |    53132 |    15775      4 |      905 |      944
81.58/81.66	c 81.4s |      13 |   111496 |    53832 |    15775      5 |      905 |      944
83.59/83.66	c 83.4s |      13 |   112688 |    54732 |    15775      5 |      905 |      944
85.58/85.69	c 85.4s |      13 |   113881 |    55632 |    15775      5 |      905 |      944
87.68/87.71	c 87.4s |      13 |   114842 |    56432 |    15775      5 |      905 |      944
89.78/89.88	c 89.6s |      13 |   115972 |    57332 |    15775      5 |      905 |      944
91.78/91.88	c 91.6s |      13 |   117158 |    58132 |    17353      5 |      905 |      944
92.28/92.39	c 92.1s |      14 |   117475 |    58352 |    17353      5 |      905 |      944
94.48/94.55	c 94.3s |      14 |   123368 |    60252 |    17353      5 |      905 |      944
96.58/96.65	c 96.4s |      14 |   125164 |    61652 |    17353      5 |      905 |      944
98.58/98.66	c 98.4s |      14 |   126543 |    62752 |    17353      5 |      905 |      944
100.78/100.85	c  100s |      14 |   128422 |    63852 |    17353      6 |      905 |      944
102.78/102.86	c  102s |      14 |   137353 |    66352 |    17353      6 |      905 |      944
104.88/104.98	c  104s |      14 |   139052 |    67552 |    17353      6 |      905 |      944
107.07/107.11	c  106s |      14 |   140316 |    68552 |    17353      6 |      905 |      944
109.17/109.27	c  108s |      14 |   141461 |    69552 |    17353      6 |      905 |      944
111.37/111.47	c  111s |      14 |   142388 |    70352 |    17353      6 |      905 |      944
113.57/113.62	c  113s |      14 |   143425 |    71152 |    17353      6 |      905 |      944
115.67/115.78	c  115s |      14 |   144503 |    72052 |    17353      6 |      905 |      944
117.87/117.97	c  117s |      14 |   145436 |    72852 |    17353      6 |      905 |      944
119.88/120.00	c  119s |      14 |   147161 |    74152 |    17353      6 |      905 |      944
121.97/122.07	c  121s |      14 |   148432 |    75352 |    17353      7 |      905 |      944
124.07/124.12	c  123s |      14 |   149797 |    76652 |    17353      7 |      905 |      944
126.17/126.22	c  125s |      14 |   150984 |    77752 |    17353      7 |      905 |      944
128.17/128.22	c  127s |      14 |   152090 |    78752 |    17353      7 |      905 |      944
130.17/130.22	c  129s |      14 |   153163 |    79752 |    17353      7 |      905 |      944
132.27/132.31	c  132s |      14 |   154138 |    80652 |    17353      7 |      905 |      944
134.47/134.52	c  134s |      14 |   155253 |    81652 |    17353      7 |      905 |      944
136.57/136.66	c  136s |      14 |   156248 |    82552 |    17353      7 |      905 |      944
138.58/138.67	c  138s |      14 |   157117 |    83352 |    17353      7 |      905 |      944
140.67/140.72	c  140s |      14 |   158979 |    84752 |    17353      7 |      905 |      944
142.67/142.76	c  142s |      14 |   160264 |    85752 |    17353      8 |      905 |      944
144.77/144.87	c  144s |      14 |   161846 |    87052 |    19089      8 |      905 |      944
145.87/145.90	c  145s |      15 |   162545 |    87632 |    19089      8 |      905 |      944
147.87/147.98	c  147s |      15 |   167303 |    89432 |    19089      8 |      905 |      944
150.07/150.10	c  149s |      15 |   169184 |    90832 |    19089      8 |      905 |      944
152.06/152.12	c  151s |      15 |   170216 |    91732 |    19089      8 |      905 |      944
154.16/154.25	c  153s |      15 |   171487 |    92832 |    19089      8 |      905 |      944
156.36/156.45	c  156s |      15 |   172506 |    93732 |    19089      8 |      905 |      944
158.56/158.60	c  158s |      15 |   173794 |    94832 |    19089      8 |      905 |      944
160.57/160.64	c  160s |      15 |   175004 |    95832 |    19089      8 |      905 |      944
162.56/162.65	c  162s |      15 |   175957 |    96632 |    19089      8 |      905 |      944
164.66/164.76	c  164s |      15 |   176666 |    97232 |    19089      9 |      905 |      944
166.96/167.00	c  166s |      15 |   177595 |    98032 |    19089      9 |      905 |      944
168.96/169.03	c  168s |      15 |   178410 |    98732 |    19089      9 |      905 |      944
170.97/171.03	c  170s |      15 |   179125 |    99332 |    19089      9 |      905 |      944
173.17/173.26	c  172s |      15 |   180013 |   100132 |    19089      9 |      905 |      944
175.27/175.30	c  175s |      15 |   181355 |   101132 |    19089      9 |      905 |      944
177.37/177.45	c  177s |      15 |   182374 |   102032 |    19089      9 |      905 |      944
179.47/179.51	c  179s |      15 |   183454 |   102932 |    19089      9 |      905 |      944
181.67/181.72	c  181s |      15 |   184356 |   103732 |    19089      9 |      905 |      944
183.78/183.88	c  183s |      15 |   185139 |   104432 |    19089      9 |      905 |      944
185.97/186.01	c  185s |      15 |   186054 |   105232 |    19089      9 |      905 |      944
187.96/188.08	c  187s |      15 |   186828 |   105932 |    19089      9 |      905 |      944
190.06/190.12	c  189s |      15 |   187461 |   106532 |    19089      9 |      905 |      944
192.47/192.51	c  192s |      15 |   188221 |   107232 |    19089      9 |      905 |      944
194.46/194.54	c  194s |      15 |   188896 |   107832 |    19089      9 |      905 |      944
196.46/196.56	c  196s |      15 |   189474 |   108332 |    19089     10 |      905 |      944
198.56/198.67	c  198s |      15 |   190544 |   109232 |    19089     10 |      905 |      944
200.76/200.80	c  200s |      15 |   191462 |   110032 |    19089     10 |      905 |      944
202.96/203.08	c  202s |      15 |   192340 |   110832 |    19089     10 |      905 |      944
205.16/205.25	c  204s |      15 |   193108 |   111532 |    19089     10 |      905 |      944
207.26/207.34	c  207s |      15 |   193751 |   112132 |    19089     10 |      905 |      944
209.46/209.55	c  209s |      15 |   194527 |   112832 |    19089     10 |      905 |      944
211.56/211.65	c  211s |      15 |   195180 |   113432 |    19089     10 |      905 |      944
213.76/213.83	c  213s |      15 |   196002 |   114132 |    19089     10 |      905 |      944
215.86/215.94	c  215s |      15 |   196907 |   114932 |    19089     10 |      905 |      944
217.96/218.06	c  217s |      15 |   197666 |   115632 |    19089     10 |      905 |      944
220.26/220.37	c  220s |      15 |   198571 |   116432 |    19089     10 |      905 |      944
222.36/222.47	c  222s |      15 |   199216 |   117032 |    19089     10 |      905 |      944
224.47/224.59	c  224s |      15 |   199857 |   117632 |    19089     10 |      905 |      944
226.57/226.65	c  226s |      15 |   200511 |   118232 |    19089     10 |      905 |      944
228.87/228.97	c  228s |      15 |   201192 |   118832 |    19089     10 |      905 |      944
230.97/231.04	c  230s |      15 |   201720 |   119332 |    19089     10 |      905 |      944
233.06/233.19	c  232s |      15 |   202412 |   119932 |    19089     11 |      905 |      944
235.37/235.41	c  235s |      15 |   203303 |   120732 |    19089     11 |      905 |      944
237.45/237.58	c  237s |      15 |   204179 |   121532 |    19089     11 |      905 |      944
239.77/239.87	c  239s |      15 |   205042 |   122332 |    19089     11 |      905 |      944
241.97/242.07	c  241s |      15 |   205802 |   123032 |    19089     11 |      905 |      944
244.35/244.43	c  244s |      15 |   206548 |   123732 |    19089     11 |      905 |      944
246.46/246.52	c  246s |      15 |   207187 |   124332 |    19089     11 |      905 |      944
248.66/248.78	c  248s |      15 |   207975 |   125032 |    19089     11 |      905 |      944
251.15/251.23	c  250s |      15 |   208750 |   125732 |    19089     11 |      905 |      944
253.45/253.54	c  253s |      15 |   209521 |   126432 |    19089     11 |      905 |      944
255.75/255.86	c  255s |      15 |   210163 |   127032 |    19089     11 |      905 |      944
258.15/258.21	c  257s |      15 |   210930 |   127732 |    19089     11 |      905 |      944
260.55/260.62	c  260s |      15 |   211568 |   128332 |    19089     11 |      905 |      944
262.75/262.85	c  262s |      15 |   212099 |   128832 |    19089     11 |      905 |      944
265.16/265.25	c  264s |      15 |   212737 |   129432 |    19089     11 |      905 |      944
267.45/267.58	c  267s |      15 |   213367 |   130032 |    19089     11 |      905 |      944
269.65/269.75	c  269s |      15 |   213889 |   130532 |    19089     11 |      905 |      944
271.76/271.82	c  271s |      15 |   214425 |   131032 |    20998     11 |      905 |      944
274.15/274.29	c  274s |      15 |   214964 |   131532 |    20998     11 |      905 |      944
274.25/274.39	c  274s |      16 |   214983 |   131552 |    20998     11 |      905 |      944
276.45/276.50	c  276s |      16 |   221097 |   133352 |    20998     12 |      905 |      944
278.45/278.52	c  278s |      16 |   226235 |   135552 |    20998     12 |      905 |      944
280.56/280.62	c  280s |      16 |   230192 |   137352 |    20998     12 |      905 |      944
282.66/282.74	c  282s |      16 |   233825 |   139252 |    20998     12 |      905 |      944
284.86/284.95	c  284s |      16 |   235620 |   140552 |    20998     12 |      905 |      944
286.95/287.08	c  286s |      16 |   236923 |   141552 |    20998     12 |      905 |      944
289.15/289.26	c  288s |      16 |   238018 |   142452 |    20998     12 |      905 |      944
291.24/291.37	c  291s |      16 |   240155 |   143752 |    20998     12 |      905 |      944
293.44/293.50	c  293s |      16 |   241779 |   144752 |    20998     13 |      905 |      944
295.44/295.55	c  295s |      16 |   243451 |   145852 |    20998     13 |      905 |      944
297.44/297.55	c  297s |      16 |   244914 |   146852 |    20998     13 |      905 |      944
299.54/299.63	c  299s |      16 |   246453 |   147952 |    20998     13 |      905 |      944
301.64/301.79	c  301s |      16 |   248087 |   149052 |    20998     13 |      905 |      944
303.85/303.94	c  303s |      16 |   249336 |   149952 |    20998     13 |      905 |      944
305.95/306.03	c  305s |      16 |   250524 |   150852 |    20998     13 |      905 |      944
307.96/308.09	c  307s |      16 |   251712 |   151752 |    20998     13 |      905 |      944
310.04/310.13	c  309s |      16 |   252562 |   152452 |    20998     13 |      905 |      944
312.36/312.46	c  312s |      16 |   253612 |   153252 |    20998     13 |      905 |      944
314.56/314.70	c  314s |      16 |   254712 |   154052 |    20998     13 |      905 |      944
316.75/316.87	c  316s |      16 |   255680 |   154752 |    20998     13 |      905 |      944
318.95/319.06	c  318s |      16 |   256589 |   155452 |    20998     13 |      905 |      944
321.15/321.21	c  320s |      16 |   257458 |   156152 |    20998     13 |      905 |      944
323.35/323.44	c  323s |      16 |   258203 |   156752 |    20998     14 |      905 |      944
325.55/325.61	c  325s |      16 |   259083 |   157452 |    20998     14 |      905 |      944
327.85/327.92	c  327s |      16 |   259770 |   158052 |    20998     14 |      905 |      944
329.95/330.02	c  329s |      16 |   260662 |   158752 |    20998     14 |      905 |      944
332.15/332.23	c  331s |      16 |   261625 |   159552 |    20998     14 |      905 |      944
334.45/334.52	c  334s |      16 |   262628 |   160352 |    20998     14 |      905 |      944
336.65/336.72	c  336s |      16 |   263577 |   161152 |    20998     14 |      905 |      944
338.75/338.84	c  338s |      16 |   264452 |   161852 |    20998     14 |      905 |      944
341.05/341.14	c  340s |      16 |   265264 |   162552 |    20998     14 |      905 |      944
343.15/343.23	c  342s |      16 |   265953 |   163152 |    20998     14 |      905 |      944
345.23/345.39	c  345s |      16 |   266796 |   163852 |    20998     14 |      905 |      944
347.33/347.45	c  347s |      16 |   267668 |   164552 |    20998     14 |      905 |      944
349.43/349.52	c  349s |      16 |   268420 |   165152 |    20998     14 |      905 |      944
351.63/351.76	c  351s |      16 |   269176 |   165752 |    20998     14 |      905 |      944
354.03/354.11	c  353s |      16 |   269893 |   166352 |    20998     14 |      905 |      944
356.24/356.31	c  356s |      16 |   270467 |   166852 |    20998     14 |      905 |      944
358.34/358.45	c  358s |      16 |   271062 |   167352 |    20998     14 |      905 |      944
360.64/360.71	c  360s |      16 |   271640 |   167852 |    20998     14 |      905 |      944
363.34/363.49	c  363s |      16 |   272369 |   168452 |    20998     15 |      905 |      944
365.64/365.70	c  365s |      16 |   273021 |   169052 |    20998     15 |      905 |      944
367.84/367.92	c  367s |      16 |   273734 |   169652 |    20998     15 |      905 |      944
370.14/370.27	c  369s |      16 |   274534 |   170352 |    20998     15 |      905 |      944
372.44/372.56	c  372s |      16 |   275226 |   170952 |    20998     15 |      905 |      944
374.44/374.58	c  374s |      16 |   275801 |   171452 |    20998     15 |      905 |      944
376.64/376.76	c  376s |      16 |   276494 |   172052 |    20998     15 |      905 |      944
379.14/379.20	c  378s |      16 |   277309 |   172752 |    20998     15 |      905 |      944
381.34/381.42	c  381s |      16 |   277878 |   173252 |    20998     15 |      905 |      944
383.63/383.76	c  383s |      16 |   278530 |   173852 |    20998     15 |      905 |      944
385.63/385.77	c  385s |      16 |   278976 |   174252 |    20998     15 |      905 |      944
388.13/388.20	c  387s |      16 |   279526 |   174752 |    20998     15 |      905 |      944
390.23/390.31	c  390s |      16 |   280170 |   175252 |    20998     15 |      905 |      944
392.23/392.32	c  392s |      16 |   280735 |   175752 |    20998     15 |      905 |      944
394.63/394.75	c  394s |      16 |   281316 |   176252 |    20998     15 |      905 |      944
396.93/397.09	c  396s |      16 |   282010 |   176852 |    20998     15 |      905 |      944
399.03/399.11	c  398s |      16 |   282578 |   177352 |    20998     15 |      905 |      944
401.13/401.27	c  400s |      16 |   283201 |   177852 |    20998     15 |      905 |      944
403.53/403.61	c  403s |      16 |   284070 |   178552 |    20998     15 |      905 |      944
405.63/405.75	c  405s |      16 |   284780 |   179152 |    20998     15 |      905 |      944
407.73/407.88	c  407s |      16 |   285438 |   179652 |    20998     15 |      905 |      944
410.03/410.17	c  409s |      16 |   286176 |   180252 |    20998     15 |      905 |      944
412.23/412.34	c  412s |      16 |   286640 |   180652 |    20998     16 |      905 |      944
414.32/414.45	c  414s |      16 |   287349 |   181252 |    20998     16 |      905 |      944
416.42/416.56	c  416s |      16 |   288087 |   181852 |    20998     16 |      905 |      944
418.62/418.74	c  418s |      16 |   288944 |   182552 |    20998     16 |      905 |      944
420.62/420.79	c  420s |      16 |   289660 |   183152 |    20998     16 |      905 |      944
422.82/422.94	c  422s |      16 |   290368 |   183752 |    20998     16 |      905 |      944
424.83/424.96	c  424s |      16 |   291090 |   184352 |    20998     16 |      905 |      944
426.93/427.05	c  426s |      16 |   291650 |   184852 |    20998     16 |      905 |      944
428.94/429.10	c  428s |      16 |   292229 |   185352 |    20998     16 |      905 |      944
431.03/431.11	c  430s |      16 |   292810 |   185852 |    20998     16 |      905 |      944
433.03/433.17	c  432s |      16 |   293376 |   186352 |    20998     16 |      905 |      944
435.23/435.38	c  435s |      16 |   294128 |   186952 |    20998     16 |      905 |      944
437.63/437.70	c  437s |      16 |   294726 |   187452 |    20998     16 |      905 |      944
439.94/440.03	c  439s |      16 |   295322 |   187952 |    20998     16 |      905 |      944
442.13/442.24	c  441s |      16 |   296061 |   188552 |    20998     16 |      905 |      944
444.33/444.46	c  444s |      16 |   296783 |   189152 |    20998     16 |      905 |      944
446.63/446.76	c  446s |      16 |   297497 |   189752 |    20998     16 |      905 |      944
448.73/448.83	c  448s |      16 |   298075 |   190252 |    20998     16 |      905 |      944
450.72/450.86	c  450s |      16 |   298787 |   190852 |    20998     16 |      905 |      944
453.13/453.27	c  452s |      16 |   299374 |   191352 |    20998     16 |      905 |      944
455.43/455.56	c  455s |      16 |   299946 |   191852 |    20998     16 |      905 |      944
457.72/457.89	c  457s |      16 |   300525 |   192352 |    20998     16 |      905 |      944
459.83/459.93	c  459s |      16 |   300844 |   192652 |    20998     17 |      905 |      944
461.93/462.05	c  461s |      16 |   301559 |   193252 |    20998     17 |      905 |      944
464.13/464.25	c  463s |      16 |   302257 |   193852 |    20998     17 |      905 |      944
466.43/466.59	c  466s |      16 |   303124 |   194552 |    20998     17 |      905 |      944
468.63/468.77	c  468s |      16 |   304016 |   195252 |    20998     17 |      905 |      944
470.61/470.78	c  470s |      16 |   304730 |   195852 |    20998     17 |      905 |      944
472.93/473.04	c  472s |      16 |   305642 |   196552 |    23098     17 |      905 |      944
475.01/475.17	c  474s |      16 |   306358 |   197152 |    23098     17 |      905 |      944
475.91/476.04	c  475s |      17 |   306701 |   197432 |    23098     17 |      905 |      944
478.02/478.10	c  477s |      17 |   313761 |   199132 |    23098     17 |      905 |      944
480.12/480.24	c  479s |      17 |   316480 |   200432 |    23098     17 |      905 |      944
482.22/482.38	c  482s |      17 |   317793 |   201332 |    23098     17 |      905 |      944
484.42/484.54	c  484s |      17 |   319303 |   202332 |    23098     17 |      905 |      944
486.42/486.55	c  486s |      17 |   320917 |   203332 |    23098     17 |      905 |      944
488.62/488.77	c  488s |      17 |   323653 |   204632 |    23098     17 |      905 |      944
490.72/490.84	c  490s |      17 |   325991 |   205832 |    23098     17 |      905 |      944
493.42/493.50	c  493s |      17 |   327405 |   206832 |    23098     18 |      905 |      944
495.42/495.52	c  495s |      17 |   329835 |   208032 |    23098     18 |      905 |      944
497.52/497.63	c  497s |      17 |   332685 |   209532 |    23098     18 |      905 |      944
499.72/499.84	c  499s |      17 |   334531 |   210732 |    23098     18 |      905 |      944
501.82/501.95	c  501s |      17 |   335957 |   211632 |    23098     18 |      905 |      944
503.92/504.06	c  503s |      17 |   337518 |   212632 |    23098     18 |      905 |      944
506.12/506.22	c  505s |      17 |   338886 |   213632 |    23098     18 |      905 |      944
508.22/508.38	c  508s |      17 |   339943 |   214432 |    23098     18 |      905 |      944
510.32/510.43	c  510s |      17 |   341021 |   215232 |    23098     18 |      905 |      944
512.52/512.63	c  512s |      17 |   342277 |   216132 |    23098     18 |      905 |      944
514.61/514.73	c  514s |      17 |   343349 |   216932 |    23098     18 |      905 |      944
516.71/516.88	c  516s |      17 |   344410 |   217732 |    23098     18 |      905 |      944
518.91/519.02	c  518s |      17 |   345437 |   218532 |    23098     18 |      905 |      944
521.01/521.19	c  520s |      17 |   346676 |   219432 |    23098     18 |      905 |      944
523.11/523.29	c  523s |      17 |   347586 |   220132 |    23098     19 |      905 |      944
525.31/525.40	c  525s |      17 |   348855 |   221132 |    23098     19 |      905 |      944
527.41/527.56	c  527s |      17 |   350038 |   222032 |    23098     19 |      905 |      944
529.41/529.57	c  529s |      17 |   351117 |   222832 |    23098     19 |      905 |      944
531.61/531.77	c  531s |      17 |   352333 |   223732 |    23098     19 |      905 |      944
533.71/533.81	c  533s |      17 |   353207 |   224432 |    23098     19 |      905 |      944
535.81/535.97	c  535s |      17 |   353967 |   225032 |    23098     19 |      905 |      944
537.82/537.98	c  537s |      17 |   354881 |   225732 |    23098     19 |      905 |      944
540.02/540.11	c  539s |      17 |   355758 |   226432 |    23098     19 |      905 |      944
542.32/542.49	c  542s |      17 |   356600 |   227132 |    23098     19 |      905 |      944
544.42/544.58	c  544s |      17 |   357479 |   227832 |    23098     19 |      905 |      944
546.51/546.61	c  546s |      17 |   358197 |   228432 |    23098     19 |      905 |      944
548.61/548.75	c  548s |      17 |   358936 |   229032 |    23098     19 |      905 |      944
550.91/551.04	c  550s |      17 |   359757 |   229732 |    23098     19 |      905 |      944
553.00/553.14	c  552s |      17 |   360529 |   230332 |    23098     19 |      905 |      944
555.00/555.19	c  554s |      17 |   361171 |   230832 |    23098     19 |      905 |      944
557.40/557.54	c  557s |      17 |   361808 |   231332 |    23098     19 |      905 |      944
559.60/559.70	c  559s |      17 |   362586 |   231932 |    23098     19 |      905 |      944
561.80/561.96	c  561s |      17 |   363304 |   232532 |    23098     19 |      905 |      944
564.70/564.82	c  564s |      17 |   364065 |   233132 |    23098     20 |      905 |      944
566.70/566.90	c  566s |      17 |   364793 |   233732 |    23098     20 |      905 |      944
568.90/569.09	c  568s |      17 |   365875 |   234532 |    23098     20 |      905 |      944
571.20/571.36	c  571s |      17 |   366712 |   235232 |    23098     20 |      905 |      944
573.30/573.48	c  573s |      17 |   367673 |   235932 |    23098     20 |      905 |      944
575.60/575.70	c  575s |      17 |   368564 |   236632 |    23098     20 |      905 |      944
577.90/578.04	c  577s |      17 |   369273 |   237232 |    23098     20 |      905 |      944
579.90/580.08	c  579s |      17 |   370000 |   237832 |    23098     20 |      905 |      944
582.30/582.48	c  582s |      17 |   370677 |   238432 |    23098     20 |      905 |      944
584.50/584.62	c  584s |      17 |   371364 |   239032 |    23098     20 |      905 |      944
586.50/586.69	c  586s |      17 |   371958 |   239532 |    23098     20 |      905 |      944
588.60/588.72	c  588s |      17 |   372583 |   240032 |    23098     20 |      905 |      944
591.00/591.18	c  590s |      17 |   373286 |   240632 |    23098     20 |      905 |      944
593.29/593.43	c  593s |      17 |   373913 |   241132 |    23098     20 |      905 |      944
595.49/595.62	c  595s |      17 |   374493 |   241632 |    23098     20 |      905 |      944
597.70/597.84	c  597s |      17 |   375043 |   242132 |    23098     20 |      905 |      944
600.00/600.15	c  599s |      17 |   375621 |   242632 |    23098     20 |      905 |      944
602.10/602.21	c  601s |      17 |   376083 |   243032 |    23098     20 |      905 |      944
604.40/604.58	c  604s |      17 |   376645 |   243532 |    23098     20 |      905 |      944
606.50/606.65	c  606s |      17 |   377114 |   243932 |    23098     20 |      905 |      944
609.00/609.11	c  608s |      17 |   377709 |   244432 |    23098     20 |      905 |      944
611.40/611.53	c  611s |      17 |   378295 |   244932 |    23098     20 |      905 |      944
613.71/613.87	c  613s |      17 |   378908 |   245432 |    23098     20 |      905 |      944
616.20/616.33	c  616s |      17 |   379667 |   246032 |    23098     20 |      905 |      944
618.21/618.34	c  618s |      17 |   380042 |   246332 |    23098     21 |      905 |      944
620.50/620.68	c  620s |      17 |   380785 |   246932 |    23098     21 |      905 |      944
622.61/622.74	c  622s |      17 |   381659 |   247632 |    23098     21 |      905 |      944
624.90/625.05	c  624s |      17 |   382372 |   248232 |    23098     21 |      905 |      944
627.01/627.17	c  626s |      17 |   383232 |   248932 |    23098     21 |      905 |      944
629.40/629.51	c  629s |      17 |   383962 |   249532 |    23098     21 |      905 |      944
631.89/632.06	c  631s |      17 |   384689 |   250132 |    23098     21 |      905 |      944
633.89/634.07	c  633s |      17 |   385400 |   250732 |    23098     21 |      905 |      944
635.99/636.16	c  635s |      17 |   386002 |   251232 |    23098     21 |      905 |      944
638.19/638.35	c  638s |      17 |   386708 |   251832 |    23098     21 |      905 |      944
640.59/640.76	c  640s |      17 |   387487 |   252532 |    23098     21 |      905 |      944
642.69/642.83	c  642s |      17 |   388093 |   253032 |    23098     21 |      905 |      944
645.09/645.25	c  644s |      17 |   388773 |   253632 |    23098     21 |      905 |      944
647.59/647.70	c  647s |      17 |   389346 |   254132 |    23098     21 |      905 |      944
649.89/650.06	c  649s |      17 |   389944 |   254632 |    23098     21 |      905 |      944
652.09/652.25	c  651s |      17 |   390700 |   255232 |    23098     21 |      905 |      944
654.29/654.45	c  654s |      17 |   391302 |   255732 |    23098     21 |      905 |      944
656.60/656.79	c  656s |      17 |   391902 |   256232 |    23098     21 |      905 |      944
658.99/659.19	c  658s |      17 |   392498 |   256732 |    23098     21 |      905 |      944
661.49/661.64	c  661s |      17 |   393081 |   257232 |    23098     21 |      905 |      944
663.89/664.06	c  663s |      17 |   393644 |   257732 |    23098     21 |      905 |      944
665.98/666.10	c  665s |      17 |   394098 |   258132 |    23098     21 |      905 |      944
668.08/668.25	c  667s |      17 |   394571 |   258532 |    23098     21 |      905 |      944
670.19/670.31	c  670s |      17 |   395041 |   258932 |    23098     21 |      905 |      944
672.49/672.62	c  672s |      17 |   395392 |   259232 |    23098     22 |      905 |      944
674.79/674.91	c  674s |      17 |   396096 |   259832 |    23098     22 |      905 |      944
676.99/677.10	c  676s |      17 |   396712 |   260332 |    23098     22 |      905 |      944
678.99/679.19	c  678s |      17 |   397193 |   260732 |    23098     22 |      905 |      944
681.09/681.21	c  680s |      17 |   397771 |   261232 |    23098     22 |      905 |      944
683.10/683.23	c  682s |      17 |   398359 |   261732 |    23098     22 |      905 |      944
685.09/685.25	c  684s |      17 |   398802 |   262132 |    23098     22 |      905 |      944
687.09/687.26	c  686s |      17 |   399254 |   262532 |    23098     22 |      905 |      944
689.39/689.53	c  689s |      17 |   399833 |   263032 |    23098     22 |      905 |      944
691.49/691.68	c  691s |      17 |   400440 |   263532 |    23098     22 |      905 |      944
693.89/694.10	c  693s |      17 |   401031 |   264032 |    23098     22 |      905 |      944
696.09/696.28	c  696s |      17 |   401499 |   264432 |    23098     22 |      905 |      944
698.29/698.42	c  698s |      17 |   402083 |   264932 |    23098     22 |      905 |      944
700.49/700.62	c  700s |      17 |   402790 |   265532 |    23098     22 |      905 |      944
702.49/702.63	c  702s |      17 |   403657 |   266232 |    23098     22 |      905 |      944
704.68/704.87	c  704s |      17 |   404476 |   266932 |    23098     22 |      905 |      944
706.98/707.19	c  706s |      17 |   405334 |   267632 |    23098     22 |      905 |      944
709.39/709.55	c  709s |      17 |   406135 |   268332 |    23098     22 |      905 |      944
711.88/712.04	c  711s |      17 |   406845 |   268932 |    23098     22 |      905 |      944
714.08/714.23	c  713s |      17 |   407573 |   269532 |    23098     22 |      905 |      944
716.18/716.31	c  716s |      17 |   408305 |   270132 |    23098     22 |      905 |      944
718.19/718.34	c  718s |      17 |   408878 |   270632 |    23098     22 |      905 |      944
720.18/720.37	c  720s |      17 |   409630 |   271232 |    23098     22 |      905 |      944
722.38/722.50	c  722s |      17 |   410359 |   271832 |    23098     22 |      905 |      944
724.58/724.74	c  724s |      17 |   411056 |   272432 |    23098     22 |      905 |      944
726.88/727.05	c  726s |      17 |   411630 |   272932 |    23098     23 |      905 |      944
728.88/729.05	c  728s |      17 |   412698 |   273732 |    23098     23 |      905 |      944
730.98/731.11	c  730s |      17 |   413879 |   274632 |    23098     23 |      905 |      944
733.08/733.25	c  732s |      17 |   414894 |   275432 |    23098     23 |      905 |      944
735.38/735.57	c  735s |      17 |   415875 |   276232 |    23098     23 |      905 |      944
737.48/737.67	c  737s |      17 |   416723 |   276932 |    23098     23 |      905 |      944
739.78/739.99	c  739s |      17 |   417740 |   277732 |    23098     23 |      905 |      944
741.97/742.12	c  741s |      17 |   418594 |   278432 |    23098     23 |      905 |      944
744.07/744.28	c  744s |      17 |   419525 |   279132 |    23098     23 |      905 |      944
746.37/746.52	c  746s |      17 |   420362 |   279832 |    23098     23 |      905 |      944
748.47/748.61	c  748s |      17 |   421075 |   280432 |    23098     23 |      905 |      944
750.47/750.63	c  750s |      17 |   421774 |   281032 |    23098     23 |      905 |      944
752.76/752.91	c  752s |      17 |   422494 |   281632 |    23098     23 |      905 |      944
755.16/755.34	c  755s |      17 |   423341 |   282332 |    23098     23 |      905 |      944
757.46/757.64	c  757s |      17 |   424020 |   282932 |    23098     23 |      905 |      944
759.46/759.65	c  759s |      17 |   424591 |   283432 |    23098     23 |      905 |      944
761.46/761.68	c  761s |      17 |   425180 |   283932 |    23098     23 |      905 |      944
763.56/763.75	c  763s |      17 |   425779 |   284432 |    23098     23 |      905 |      944
765.86/766.05	c  765s |      17 |   426356 |   284932 |    23098     23 |      905 |      944
768.16/768.35	c  768s |      17 |   426946 |   285432 |    23098     23 |      905 |      944
770.36/770.53	c  770s |      17 |   427547 |   285932 |    23098     24 |      905 |      944
772.55/772.74	c  772s |      17 |   428212 |   286532 |    23098     24 |      905 |      944
774.85/775.00	c  774s |      17 |   428914 |   287132 |    23098     24 |      905 |      944
776.95/777.16	c  776s |      17 |   429677 |   287732 |    23098     24 |      905 |      944
779.25/779.41	c  779s |      17 |   430579 |   288432 |    23098     24 |      905 |      944
781.55/781.72	c  781s |      17 |   431458 |   289132 |    23098     24 |      905 |      944
783.64/783.88	c  783s |      17 |   432315 |   289832 |    23098     24 |      905 |      944
785.75/785.93	c  785s |      17 |   433096 |   290432 |    23098     24 |      905 |      944
787.85/788.08	c  787s |      17 |   433995 |   291132 |    23098     24 |      905 |      944
789.95/790.19	c  789s |      17 |   434734 |   291732 |    23098     24 |      905 |      944
792.25/792.46	c  792s |      17 |   435616 |   292432 |    23098     24 |      905 |      944
794.55/794.72	c  794s |      17 |   436468 |   293132 |    23098     24 |      905 |      944
796.95/797.10	c  796s |      17 |   437329 |   293832 |    23098     24 |      905 |      944
799.05/799.23	c  798s |      17 |   438038 |   294432 |    25408     24 |      905 |      944
801.15/801.38	c  801s |      17 |   438750 |   295032 |    25408     24 |      905 |      944
803.55/803.78	c  803s |      17 |   439431 |   295632 |    25408     24 |      905 |      944
805.75/805.96	c  805s |      17 |   440005 |   296132 |    25408     24 |      905 |      944
806.26/806.47	c  806s |      18 |   440168 |   296252 |    25408     24 |      905 |      944
808.25/808.49	c  808s |      18 |   452086 |   298552 |    25408     24 |      905 |      944
810.35/810.52	c  810s |      18 |   455024 |   300452 |    25408     24 |      905 |      944
812.35/812.59	c  812s |      18 |   456299 |   301452 |    25408     25 |      905 |      944
814.45/814.67	c  814s |      18 |   457614 |   302552 |    25408     25 |      905 |      944
816.55/816.75	c  816s |      18 |   458899 |   303652 |    25408     25 |      905 |      944
818.75/818.93	c  818s |      18 |   460081 |   304652 |    25408     25 |      905 |      944
820.85/821.08	c  820s |      18 |   461393 |   305752 |    25408     25 |      905 |      944
823.04/823.20	c  822s |      18 |   462623 |   306752 |    25408     25 |      905 |      944
825.04/825.26	c  824s |      18 |   463658 |   307652 |    25408     25 |      905 |      944
827.15/827.39	c  827s |      18 |   464796 |   308652 |    25408     25 |      905 |      944
829.25/829.44	c  829s |      18 |   465830 |   309552 |    25408     25 |      905 |      944
831.45/831.61	c  831s |      18 |   466742 |   310352 |    25408     25 |      905 |      944
833.44/833.62	c  833s |      18 |   469610 |   311552 |    25408     25 |      905 |      944
835.44/835.67	c  835s |      18 |   472780 |   313052 |    25408     25 |      905 |      944
837.64/837.81	c  837s |      18 |   476557 |   314452 |    25408     25 |      905 |      944
839.64/839.85	c  839s |      18 |   483000 |   315952 |    25408     26 |      905 |      944
841.74/841.94	c  841s |      18 |   485639 |   317452 |    25408     26 |      905 |      944
843.83/844.06	c  843s |      18 |   487217 |   318652 |    25408     26 |      905 |      944
846.03/846.23	c  845s |      18 |   488505 |   319652 |    25408     26 |      905 |      944
848.05/848.29	c  848s |      18 |   489815 |   320652 |    25408     26 |      905 |      944
850.33/850.55	c  850s |      18 |   490874 |   321552 |    25408     26 |      905 |      944
852.34/852.55	c  852s |      18 |   491817 |   322352 |    25408     26 |      905 |      944
854.43/854.62	c  854s |      18 |   492762 |   323152 |    25408     26 |      905 |      944
856.63/856.83	c  856s |      18 |   493525 |   323852 |    25408     26 |      905 |      944
858.73/858.93	c  858s |      18 |   494367 |   324552 |    25408     26 |      905 |      944
860.93/861.12	c  860s |      18 |   495162 |   325252 |    25408     26 |      905 |      944
863.22/863.40	c  863s |      18 |   495980 |   325952 |    25408     26 |      905 |      944
865.42/865.67	c  865s |      18 |   496760 |   326652 |    25408     26 |      905 |      944
867.62/867.81	c  867s |      18 |   497564 |   327352 |    25408     26 |      905 |      944
869.93/870.11	c  869s |      18 |   498519 |   328052 |    25408     26 |      905 |      944
872.02/872.25	c  871s |      18 |   499864 |   328952 |    25408     26 |      905 |      944
874.33/874.55	c  874s |      18 |   500967 |   329752 |    25408     27 |      905 |      944
876.42/876.61	c  876s |      18 |   502620 |   330752 |    25408     27 |      905 |      944
878.42/878.65	c  878s |      18 |   504043 |   331652 |    25408     27 |      905 |      944
880.42/880.66	c  880s |      18 |   506006 |   332752 |    25408     27 |      905 |      944
882.62/882.80	c  882s |      18 |   507295 |   333752 |    25408     27 |      905 |      944
884.82/885.00	c  884s |      18 |   508371 |   334652 |    25408     27 |      905 |      944
886.92/887.10	c  886s |      18 |   509701 |   335652 |    25408     27 |      905 |      944
888.92/889.13	c  888s |      18 |   510799 |   336552 |    25408     27 |      905 |      944
891.01/891.28	c  891s |      18 |   511976 |   337452 |    25408     27 |      905 |      944
893.21/893.45	c  893s |      18 |   512995 |   338252 |    25408     27 |      905 |      944
895.41/895.62	c  895s |      18 |   514072 |   339052 |    25408     27 |      905 |      944
897.52/897.75	c  897s |      18 |   515211 |   339952 |    25408     27 |      905 |      944
899.62/899.90	c  899s |      18 |   516258 |   340752 |    25408     27 |      905 |      944
901.92/902.12	c  901s |      18 |   517257 |   341552 |    25408     27 |      905 |      944
903.91/904.17	c  903s |      18 |   518302 |   342352 |    25408     27 |      905 |      944
906.11/906.30	c  906s |      18 |   519327 |   343152 |    25408     27 |      905 |      944
908.31/908.53	c  908s |      18 |   520186 |   343852 |    25408     27 |      905 |      944
910.41/910.60	c  910s |      18 |   520790 |   344352 |    25408     28 |      905 |      944
912.61/912.88	c  912s |      18 |   521732 |   345152 |    25408     28 |      905 |      944
914.80/915.08	c  914s |      18 |   522766 |   345952 |    25408     28 |      905 |      944
916.90/917.18	c  916s |      18 |   523455 |   346552 |    25408     28 |      905 |      944
919.20/919.40	c  919s |      18 |   524169 |   347152 |    25408     28 |      905 |      944
921.20/921.44	c  921s |      18 |   525039 |   347852 |    25408     28 |      905 |      944
923.30/923.57	c  923s |      18 |   525831 |   348552 |    25408     28 |      905 |      944
925.40/925.64	c  925s |      18 |   526520 |   349152 |    25408     28 |      905 |      944
927.50/927.76	c  927s |      18 |   527207 |   349752 |    25408     28 |      905 |      944
929.70/929.98	c  929s |      18 |   527871 |   350352 |    25408     28 |      905 |      944
931.90/932.13	c  931s |      18 |   528554 |   350952 |    25408     28 |      905 |      944
934.20/934.46	c  934s |      18 |   529268 |   351552 |    25408     28 |      905 |      944
936.50/936.79	c  936s |      18 |   529965 |   352152 |    25408     28 |      905 |      944
938.70/938.99	c  938s |      18 |   530691 |   352752 |    25408     28 |      905 |      944
940.80/941.04	c  940s |      18 |   531557 |   353452 |    25408     28 |      905 |      944
943.09/943.30	c  943s |      18 |   532250 |   354052 |    25408     28 |      905 |      944
945.29/945.50	c  945s |      18 |   532972 |   354652 |    25408     28 |      905 |      944
947.49/947.72	c  947s |      18 |   533662 |   355252 |    25408     28 |      905 |      944
949.59/949.82	c  949s |      18 |   534407 |   355852 |    25408     28 |      905 |      944
951.79/952.07	c  951s |      18 |   535244 |   356552 |    25408     28 |      905 |      944
953.99/954.21	c  953s |      18 |   535963 |   357152 |    25408     28 |      905 |      944
956.09/956.39	c  956s |      18 |   536645 |   357752 |    25408     28 |      905 |      944
958.19/958.40	c  958s |      18 |   537199 |   358252 |    25408     28 |      905 |      944
960.20/960.44	c  960s |      18 |   537652 |   358652 |    25408     29 |      905 |      944
962.48/962.79	c  962s |      18 |   538346 |   359252 |    25408     29 |      905 |      944
964.68/964.93	c  964s |      18 |   539035 |   359852 |    25408     29 |      905 |      944
966.98/967.21	c  966s |      18 |   539725 |   360452 |    25408     29 |      905 |      944
968.99/969.28	c  969s |      18 |   540440 |   361052 |    25408     29 |      905 |      944
971.48/971.70	c  971s |      18 |   541093 |   361652 |    25408     29 |      905 |      944
973.48/973.76	c  973s |      18 |   541815 |   362252 |    25408     29 |      905 |      944
975.49/975.76	c  975s |      18 |   542407 |   362752 |    25408     29 |      905 |      944
977.79/978.02	c  977s |      18 |   543223 |   363452 |    25408     29 |      905 |      944
979.89/980.19	c  979s |      18 |   543902 |   364052 |    25408     29 |      905 |      944
981.97/982.25	c  981s |      18 |   544470 |   364552 |    25408     29 |      905 |      944
983.97/984.27	c  983s |      18 |   545034 |   365052 |    25408     29 |      905 |      944
986.17/986.43	c  986s |      18 |   545725 |   365652 |    25408     29 |      905 |      944
988.27/988.51	c  988s |      18 |   546263 |   366152 |    25408     29 |      905 |      944
990.37/990.61	c  990s |      18 |   546853 |   366652 |    25408     29 |      905 |      944
992.37/992.66	c  992s |      18 |   547419 |   367152 |    25408     29 |      905 |      944
994.48/994.71	c  994s |      18 |   547970 |   367652 |    25408     29 |      905 |      944
996.58/996.85	c  996s |      18 |   548525 |   368152 |    25408     29 |      905 |      944
998.88/999.18	c  998s |      18 |   549101 |   368652 |    25408     29 |      905 |      944
1000.97/1001.25	c 1000s |      18 |   549656 |   369152 |    25408     29 |      905 |      944
1003.08/1003.38	c 1003s |      18 |   550227 |   369652 |    25408     29 |      905 |      944
1005.28/1005.51	c 1005s |      18 |   550797 |   370152 |    25408     29 |      905 |      944
1007.48/1007.75	c 1007s |      18 |   551332 |   370652 |    25408     29 |      905 |      944
1009.87/1010.14	c 1009s |      18 |   551908 |   371152 |    25408     29 |      905 |      944
1012.07/1012.39	c 1012s |      18 |   552478 |   371652 |    25408     29 |      905 |      944
1014.37/1014.65	c 1014s |      18 |   553048 |   372152 |    25408     29 |      905 |      944
1016.57/1016.88	c 1016s |      18 |   553618 |   372652 |    25408     29 |      905 |      944
1018.77/1019.09	c 1018s |      18 |   554062 |   373052 |    25408     30 |      905 |      944
1020.87/1021.15	c 1020s |      18 |   554774 |   373652 |    25408     30 |      905 |      944
1023.16/1023.43	c 1023s |      18 |   555440 |   374252 |    25408     30 |      905 |      944
1025.26/1025.58	c 1025s |      18 |   556126 |   374852 |    25408     30 |      905 |      944
1027.36/1027.69	c 1027s |      18 |   556979 |   375552 |    25408     30 |      905 |      944
1029.56/1029.89	c 1029s |      18 |   557849 |   376252 |    25408     30 |      905 |      944
1031.76/1032.07	c 1031s |      18 |   558539 |   376852 |    25408     30 |      905 |      944
1033.96/1034.26	c 1033s |      18 |   559224 |   377452 |    25408     30 |      905 |      944
1036.35/1036.60	c 1036s |      18 |   559930 |   378052 |    25408     30 |      905 |      944
1038.45/1038.71	c 1038s |      18 |   560506 |   378552 |    25408     30 |      905 |      944
1040.75/1041.04	c 1040s |      18 |   561192 |   379152 |    25408     30 |      905 |      944
1042.95/1043.27	c 1042s |      18 |   561890 |   379752 |    25408     30 |      905 |      944
1045.35/1045.60	c 1045s |      18 |   562544 |   380352 |    25408     30 |      905 |      944
1047.65/1047.93	c 1047s |      18 |   563226 |   380952 |    25408     30 |      905 |      944
1049.95/1050.29	c 1050s |      18 |   563930 |   381552 |    25408     30 |      905 |      944
1052.14/1052.47	c 1052s |      18 |   564629 |   382152 |    25408     30 |      905 |      944
1054.44/1054.72	c 1054s |      18 |   565324 |   382752 |    25408     30 |      905 |      944
1056.74/1057.02	c 1056s |      18 |   566043 |   383352 |    25408     30 |      905 |      944
1058.84/1059.17	c 1058s |      18 |   566612 |   383852 |    25408     30 |      905 |      944
1061.14/1061.46	c 1061s |      18 |   567162 |   384352 |    25408     30 |      905 |      944
1063.13/1063.47	c 1063s |      18 |   567605 |   384752 |    25408     30 |      905 |      944
1065.53/1065.86	c 1065s |      18 |   568272 |   385352 |    25408     30 |      905 |      944
1067.84/1068.15	c 1067s |      18 |   568854 |   385852 |    25408     30 |      905 |      944
1069.93/1070.28	c 1070s |      18 |   569429 |   386352 |    25408     30 |      905 |      944
1072.03/1072.39	c 1072s |      18 |   569866 |   386752 |    25408     30 |      905 |      944
1074.44/1074.77	c 1074s |      18 |   570295 |   387152 |    25408     31 |      905 |      944
1076.64/1076.92	c 1076s |      18 |   570967 |   387752 |    25408     31 |      905 |      944
1078.73/1079.04	c 1078s |      18 |   571612 |   388352 |    25408     31 |      905 |      944
1081.04/1081.36	c 1081s |      18 |   572264 |   388952 |    25408     31 |      905 |      944
1083.23/1083.55	c 1083s |      18 |   572916 |   389552 |    25408     31 |      905 |      944
1085.32/1085.68	c 1085s |      18 |   573616 |   390152 |    25408     31 |      905 |      944
1087.52/1087.88	c 1087s |      18 |   574444 |   390852 |    25408     31 |      905 |      944
1089.62/1089.90	c 1089s |      18 |   575170 |   391452 |    25408     31 |      905 |      944
1091.82/1092.18	c 1091s |      18 |   575858 |   392052 |    25408     31 |      905 |      944
1094.01/1094.35	c 1094s |      18 |   576553 |   392652 |    25408     31 |      905 |      944
1096.21/1096.58	c 1096s |      18 |   577243 |   393252 |    25408     31 |      905 |      944
1098.31/1098.65	c 1098s |      18 |   577925 |   393852 |    25408     31 |      905 |      944
1100.61/1100.94	c 1100s |      18 |   578616 |   394452 |    25408     31 |      905 |      944
1102.91/1103.26	c 1102s |      18 |   579283 |   395052 |    25408     31 |      905 |      944
1105.22/1105.52	c 1105s |      18 |   579817 |   395552 |    25408     31 |      905 |      944
1107.61/1107.91	c 1107s |      18 |   580376 |   396052 |    25408     31 |      905 |      944
1109.91/1110.21	c 1109s |      18 |   580925 |   396552 |    25408     31 |      905 |      944
1112.20/1112.55	c 1112s |      18 |   581591 |   397152 |    25408     31 |      905 |      944
1114.30/1114.64	c 1114s |      18 |   582166 |   397652 |    25408     31 |      905 |      944
1116.40/1116.72	c 1116s |      18 |   582722 |   398152 |    25408     31 |      905 |      944
1118.41/1118.75	c 1118s |      18 |   583278 |   398652 |    25408     31 |      905 |      944
1120.50/1120.89	c 1120s |      18 |   583831 |   399152 |    25408     31 |      905 |      944
1122.99/1123.35	c 1123s |      18 |   584391 |   399652 |    25408     31 |      905 |      944
1125.20/1125.52	c 1125s |      18 |   584962 |   400152 |    25408     31 |      905 |      944
1127.21/1127.58	c 1127s |      18 |   585526 |   400652 |    25408     31 |      905 |      944
1129.60/1129.99	c 1129s |      18 |   586090 |   401152 |    25408     31 |      905 |      944
1132.09/1132.48	c 1132s |      18 |   586524 |   401552 |    25408     32 |      905 |      944
1134.29/1134.65	c 1134s |      18 |   587325 |   402252 |    25408     32 |      905 |      944
1136.59/1136.91	c 1136s |      18 |   588125 |   402952 |    25408     32 |      905 |      944
1138.59/1138.91	c 1138s |      18 |   588803 |   403552 |    25408     32 |      905 |      944
1140.79/1141.13	c 1140s |      18 |   589472 |   404152 |    25408     32 |      905 |      944
1142.89/1143.20	c 1142s |      18 |   590179 |   404752 |    25408     32 |      905 |      944
1145.09/1145.42	c 1145s |      18 |   590839 |   405352 |    25408     32 |      905 |      944
1147.39/1147.76	c 1147s |      18 |   591507 |   405952 |    25408     32 |      905 |      944
1149.39/1149.76	c 1149s |      18 |   592084 |   406452 |    25408     32 |      905 |      944
1151.58/1151.92	c 1151s |      18 |   592850 |   407052 |    25408     32 |      905 |      944
1153.69/1154.04	c 1153s |      18 |   593708 |   407752 |    25408     32 |      905 |      944
1155.89/1156.22	c 1155s |      18 |   594693 |   408552 |    25408     32 |      905 |      944
1157.99/1158.31	c 1158s |      18 |   595560 |   409252 |    25408     32 |      905 |      944
1160.19/1160.51	c 1160s |      18 |   596369 |   409952 |    25408     32 |      905 |      944
1162.17/1162.52	c 1162s |      18 |   597057 |   410552 |    25408     32 |      905 |      944
1164.37/1164.77	c 1164s |      18 |   597745 |   411152 |    25408     32 |      905 |      944
1166.47/1166.81	c 1166s |      18 |   598422 |   411752 |    25408     32 |      905 |      944
1168.67/1169.09	c 1168s |      18 |   599283 |   412452 |    25408     32 |      905 |      944
1170.77/1171.19	c 1170s |      18 |   599953 |   413052 |    25408     32 |      905 |      944
1172.86/1173.29	c 1173s |      18 |   600693 |   413652 |    25408     32 |      905 |      944
1175.16/1175.51	c 1175s |      18 |   601413 |   414252 |    25408     32 |      905 |      944
1177.56/1177.93	c 1177s |      18 |   602107 |   414852 |    25408     32 |      905 |      944
1179.66/1180.07	c 1179s |      18 |   602696 |   415352 |    25408     32 |      905 |      944
1181.86/1182.20	c 1181s |      18 |   603294 |   415852 |    25408     32 |      905 |      944
1183.96/1184.34	c 1184s |      18 |   603723 |   416252 |    25408     33 |      905 |      944
1185.96/1186.35	c 1186s |      18 |   604281 |   416752 |    25408     33 |      905 |      944
1188.06/1188.46	c 1188s |      18 |   604960 |   417352 |    25408     33 |      905 |      944
1190.05/1190.46	c 1190s |      18 |   605497 |   417852 |    25408     33 |      905 |      944
1192.25/1192.65	c 1192s |      18 |   606163 |   418452 |    25408     33 |      905 |      944
1194.45/1194.82	c 1194s |      18 |   606849 |   419052 |    25408     33 |      905 |      944
1196.56/1196.91	c 1196s |      18 |   607528 |   419652 |    25408     33 |      905 |      944
1198.55/1198.98	c 1198s |      18 |   608234 |   420252 |    25408     33 |      905 |      944
1200.65/1201.02	c 1200s |      18 |   608921 |   420852 |    25408     33 |      905 |      944
1203.05/1203.44	c 1203s |      18 |   609628 |   421452 |    25408     33 |      905 |      944
1205.25/1205.65	c 1205s |      18 |   610171 |   421952 |    25408     33 |      905 |      944
1207.24/1207.68	c 1207s |      18 |   610894 |   422552 |    25408     33 |      905 |      944
1209.24/1209.69	c 1209s |      18 |   611592 |   423152 |    25408     33 |      905 |      944
1211.44/1211.88	c 1211s |      18 |   612321 |   423752 |    25408     33 |      905 |      944
1213.53/1213.90	c 1213s |      18 |   613021 |   424352 |    25408     33 |      905 |      944
1215.53/1215.95	c 1215s |      18 |   613590 |   424852 |    25408     33 |      905 |      944
1217.73/1218.10	c 1217s |      18 |   614153 |   425352 |    25408     33 |      905 |      944
1220.03/1220.44	c 1220s |      18 |   614864 |   425952 |    25408     33 |      905 |      944
1222.23/1222.60	c 1222s |      18 |   615570 |   426552 |    25408     33 |      905 |      944
1224.53/1224.98	c 1224s |      18 |   616230 |   427152 |    25408     33 |      905 |      944
1226.73/1227.19	c 1226s |      18 |   616808 |   427652 |    25408     33 |      905 |      944
1228.93/1229.39	c 1229s |      18 |   617489 |   428252 |    25408     33 |      905 |      944
1231.13/1231.55	c 1231s |      18 |   618203 |   428852 |    25408     33 |      905 |      944
1233.62/1234.01	c 1233s |      18 |   618923 |   429452 |    25408     33 |      905 |      944
1235.72/1236.16	c 1235s |      18 |   619474 |   429952 |    25408     33 |      905 |      944
1237.72/1238.17	c 1237s |      18 |   619932 |   430352 |    25408     34 |      905 |      944
1240.12/1240.53	c 1240s |      18 |   620702 |   431052 |    25408     34 |      905 |      944
1242.11/1242.54	c 1242s |      18 |   621384 |   431652 |    25408     34 |      905 |      944
1244.11/1244.58	c 1244s |      18 |   622063 |   432252 |    25408     34 |      905 |      944
1246.32/1246.77	c 1246s |      18 |   622729 |   432852 |    25408     34 |      905 |      944
1248.52/1248.94	c 1248s |      18 |   623375 |   433452 |    25408     34 |      905 |      944
1250.62/1251.03	c 1250s |      18 |   623912 |   433952 |    25408     34 |      905 |      944
1252.62/1253.06	c 1252s |      18 |   624778 |   434652 |    25408     34 |      905 |      944
1254.91/1255.30	c 1255s |      18 |   625714 |   435452 |    25408     34 |      905 |      944
1256.92/1257.37	c 1257s |      18 |   626531 |   436152 |    25408     34 |      905 |      944
1259.01/1259.47	c 1259s |      18 |   627252 |   436752 |    25408     34 |      905 |      944
1261.32/1261.78	c 1261s |      18 |   628085 |   437452 |    25408     34 |      905 |      944
1263.41/1263.83	c 1263s |      18 |   628950 |   438152 |    25408     34 |      905 |      944
1265.60/1266.02	c 1265s |      18 |   629771 |   438852 |    25408     34 |      905 |      944
1267.60/1268.07	c 1267s |      18 |   630487 |   439452 |    25408     34 |      905 |      944
1269.70/1270.11	c 1269s |      18 |   631174 |   440052 |    25408     34 |      905 |      944
1271.70/1272.14	c 1271s |      18 |   631902 |   440652 |    25408     34 |      905 |      944
1273.80/1274.25	c 1273s |      18 |   632616 |   441252 |    25408     34 |      905 |      944
1276.00/1276.47	c 1276s |      18 |   633311 |   441852 |    27949     34 |      905 |      944
1278.20/1278.68	c 1278s |      18 |   634011 |   442452 |    27949     34 |      905 |      944
1280.50/1280.94	c 1280s |      18 |   634690 |   443052 |    27949     34 |      905 |      944
1282.79/1283.20	c 1282s |      18 |   635372 |   443652 |    27949     34 |      905 |      944
1284.89/1285.31	c 1285s |      18 |   635917 |   444152 |    27949     34 |      905 |      944
1286.09/1286.53	c 1286s |      19 |   636313 |   444482 |    27949     34 |      905 |      944
1288.09/1288.57	c 1288s |      19 |   643236 |   445382 |    27949     35 |      905 |      944
1290.09/1290.58	c 1290s |      19 |   651133 |   447882 |    27949     35 |      905 |      944
1292.10/1292.59	c 1292s |      19 |   652853 |   449482 |    27949     35 |      905 |      944
1294.19/1294.66	c 1294s |      19 |   655237 |   451382 |    27949     35 |      905 |      944
1296.29/1296.73	c 1296s |      19 |   659430 |   453582 |    27949     35 |      905 |      944
1298.28/1298.75	c 1298s |      19 |   661103 |   454982 |    27949     35 |      905 |      944
1300.28/1300.77	c 1300s |      19 |   662684 |   456282 |    27949     35 |      905 |      944
1302.48/1302.95	c 1302s |      19 |   664227 |   457582 |    27949     35 |      905 |      944
1304.58/1305.05	c 1304s |      19 |   665517 |   458682 |    27949     35 |      905 |      944
1306.78/1307.27	c 1306s |      19 |   666695 |   459682 |    27949     35 |      905 |      944
1308.78/1309.27	c 1308s |      19 |   667848 |   460682 |    27949     35 |      905 |      944
1311.18/1311.66	c 1311s |      19 |   669004 |   461682 |    27949     36 |      905 |      944
1313.17/1313.67	c 1313s |      19 |   670069 |   462582 |    27949     36 |      905 |      944
1315.28/1315.71	c 1315s |      19 |   671710 |   463782 |    27949     36 |      905 |      944
1317.27/1317.78	c 1317s |      19 |   673316 |   464982 |    27949     36 |      905 |      944
1319.47/1320.00	c 1319s |      19 |   674653 |   466082 |    27949     36 |      905 |      944
1321.56/1322.05	c 1321s |      19 |   675774 |   466982 |    27949     36 |      905 |      944
1323.56/1324.07	c 1323s |      19 |   676882 |   467882 |    27949     36 |      905 |      944
1325.66/1326.18	c 1325s |      19 |   677983 |   468782 |    27949     36 |      905 |      944
1327.76/1328.22	c 1327s |      19 |   679146 |   469782 |    27949     36 |      905 |      944
1329.96/1330.44	c 1330s |      19 |   680184 |   470682 |    27949     36 |      905 |      944
1332.16/1332.66	c 1332s |      19 |   681108 |   471482 |    27949     36 |      905 |      944
1334.36/1334.83	c 1334s |      19 |   681915 |   472182 |    27949     36 |      905 |      944
1336.46/1336.93	c 1336s |      19 |   682877 |   472982 |    27949     36 |      905 |      944
1338.56/1339.04	c 1338s |      19 |   683852 |   473782 |    27949     36 |      905 |      944
1340.66/1341.13	c 1340s |      19 |   684542 |   474382 |    27949     36 |      905 |      944
1342.66/1343.18	c 1342s |      19 |   685396 |   475082 |    27949     36 |      905 |      944
1344.96/1345.41	c 1345s |      19 |   686317 |   475882 |    27949     36 |      905 |      944
1347.25/1347.72	c 1347s |      19 |   687122 |   476582 |    27949     36 |      905 |      944
1349.26/1349.75	c 1349s |      19 |   687833 |   477182 |    27949     36 |      905 |      944
1351.46/1351.97	c 1351s |      19 |   688649 |   477882 |    27949     37 |      905 |      944
1353.65/1354.20	c 1353s |      19 |   689581 |   478682 |    27949     37 |      905 |      944
1355.74/1356.29	c 1356s |      19 |   690393 |   479382 |    27949     37 |      905 |      944
1357.94/1358.49	c 1358s |      19 |   691465 |   480282 |    27949     37 |      905 |      944
1360.25/1360.75	c 1360s |      19 |   692415 |   481082 |    27949     37 |      905 |      944
1362.45/1362.96	c 1362s |      19 |   693398 |   481882 |    27949     37 |      905 |      944
1364.75/1365.21	c 1364s |      19 |   694362 |   482682 |    27949     37 |      905 |      944
1366.95/1367.45	c 1367s |      19 |   695175 |   483382 |    27949     37 |      905 |      944
1369.05/1369.52	c 1369s |      19 |   695856 |   483982 |    27949     37 |      905 |      944
1371.25/1371.75	c 1371s |      19 |   696653 |   484682 |    27949     37 |      905 |      944
1373.54/1374.07	c 1373s |      19 |   697454 |   485382 |    27949     37 |      905 |      944
1375.74/1376.27	c 1375s |      19 |   698294 |   486082 |    27949     37 |      905 |      944
1377.94/1378.42	c 1378s |      19 |   699112 |   486782 |    27949     37 |      905 |      944
1380.04/1380.52	c 1380s |      19 |   699990 |   487482 |    27949     37 |      905 |      944
1382.13/1382.68	c 1382s |      19 |   700835 |   488182 |    27949     37 |      905 |      944
1384.23/1384.76	c 1384s |      19 |   701663 |   488882 |    27949     37 |      905 |      944
1386.33/1386.85	c 1386s |      19 |   702426 |   489482 |    27949     37 |      905 |      944
1388.53/1389.04	c 1388s |      19 |   703142 |   490082 |    27949     37 |      905 |      944
1390.73/1391.29	c 1391s |      19 |   704027 |   490782 |    27949     37 |      905 |      944
1392.93/1393.40	c 1393s |      19 |   704679 |   491382 |    27949     37 |      905 |      944
1394.93/1395.48	c 1395s |      19 |   705242 |   491882 |    27949     37 |      905 |      944
1397.33/1397.85	c 1397s |      19 |   705943 |   492482 |    27949     37 |      905 |      944
1399.94/1400.43	c 1400s |      19 |   706633 |   493082 |    27949     38 |      905 |      944
1402.14/1402.67	c 1402s |      19 |   707555 |   493882 |    27949     38 |      905 |      944
1404.34/1404.86	c 1404s |      19 |   708475 |   494682 |    27949     38 |      905 |      944
1406.44/1406.94	c 1406s |      19 |   709271 |   495382 |    27949     38 |      905 |      944
1408.63/1409.13	c 1408s |      19 |   710185 |   496182 |    27949     38 |      905 |      944
1410.62/1411.13	c 1410s |      19 |   710858 |   496782 |    27949     38 |      905 |      944
1412.82/1413.36	c 1413s |      19 |   711636 |   497482 |    27949     38 |      905 |      944
1415.12/1415.61	c 1415s |      19 |   712434 |   498182 |    27949     38 |      905 |      944
1417.22/1417.75	c 1417s |      19 |   713124 |   498782 |    27949     38 |      905 |      944
1419.52/1420.04	c 1419s |      19 |   713920 |   499482 |    27949     38 |      905 |      944
1421.62/1422.15	c 1421s |      19 |   714863 |   500282 |    27949     38 |      905 |      944
1423.72/1424.27	c 1423s |      19 |   715699 |   500982 |    27949     38 |      905 |      944
1426.02/1426.57	c 1426s |      19 |   716517 |   501682 |    27949     38 |      905 |      944
1428.12/1428.66	c 1428s |      19 |   717089 |   502182 |    27949     38 |      905 |      944
1430.52/1431.04	c 1430s |      19 |   717759 |   502782 |    27949     38 |      905 |      944
1432.72/1433.24	c 1432s |      19 |   718447 |   503382 |    27949     38 |      905 |      944
1435.03/1435.54	c 1435s |      19 |   719129 |   503982 |    27949     38 |      905 |      944
1437.33/1437.81	c 1437s |      19 |   719825 |   504582 |    27949     38 |      905 |      944
1439.62/1440.10	c 1439s |      19 |   720513 |   505182 |    27949     38 |      905 |      944
1441.73/1442.21	c 1441s |      19 |   721056 |   505682 |    27949     38 |      905 |      944
1443.72/1444.27	c 1443s |      19 |   721643 |   506182 |    27949     38 |      905 |      944
1446.13/1446.68	c 1446s |      19 |   722331 |   506782 |    27949     38 |      905 |      944
1448.33/1448.82	c 1448s |      19 |   722882 |   507282 |    27949     38 |      905 |      944
1450.53/1451.05	c 1450s |      19 |   723427 |   507782 |    27949     38 |      905 |      944
1452.82/1453.33	c 1453s |      19 |   724009 |   508282 |    27949     38 |      905 |      944
1454.83/1455.40	c 1455s |      19 |   724607 |   508782 |    27949     39 |      905 |      944
1457.22/1457.73	c 1457s |      19 |   725519 |   509582 |    27949     39 |      905 |      944
1459.42/1459.91	c 1459s |      19 |   726431 |   510382 |    27949     39 |      905 |      944
1461.53/1462.08	c 1461s |      19 |   727209 |   511082 |    27949     39 |      905 |      944
1463.82/1464.36	c 1464s |      19 |   728146 |   511882 |    27949     39 |      905 |      944
1466.12/1466.64	c 1466s |      19 |   729106 |   512682 |    27949     39 |      905 |      944
1468.21/1468.76	c 1468s |      19 |   729779 |   513282 |    27949     39 |      905 |      944
1470.41/1470.96	c 1470s |      19 |   730576 |   513982 |    27949     39 |      905 |      944
1472.61/1473.10	c 1472s |      19 |   731250 |   514582 |    27949     39 |      905 |      944
1474.62/1475.14	c 1474s |      19 |   731908 |   515182 |    27949     39 |      905 |      944
1476.71/1477.29	c 1477s |      19 |   732574 |   515782 |    27949     39 |      905 |      944
1479.02/1479.52	c 1479s |      19 |   733267 |   516382 |    27949     39 |      905 |      944
1481.01/1481.57	c 1481s |      19 |   734112 |   517082 |    27949     39 |      905 |      944
1483.31/1483.84	c 1483s |      19 |   734794 |   517682 |    27949     39 |      905 |      944
1485.51/1486.07	c 1485s |      19 |   735482 |   518282 |    27949     39 |      905 |      944
1487.71/1488.27	c 1487s |      19 |   736195 |   518882 |    27949     39 |      905 |      944
1489.91/1490.46	c 1490s |      19 |   736887 |   519482 |    27949     39 |      905 |      944
1492.11/1492.65	c 1492s |      19 |   737601 |   520082 |    27949     39 |      905 |      944
1494.42/1494.91	c 1494s |      19 |   738283 |   520682 |    27949     39 |      905 |      944
1496.62/1497.13	c 1496s |      19 |   738975 |   521282 |    27949     39 |      905 |      944
1498.92/1499.45	c 1499s |      19 |   739672 |   521882 |    27949     39 |      905 |      944
1501.02/1501.57	c 1501s |      19 |   740364 |   522482 |    27949     39 |      905 |      944
1503.41/1503.91	c 1503s |      19 |   741186 |   523182 |    27949     39 |      905 |      944
1505.42/1505.95	c 1505s |      19 |   741767 |   523682 |    27949     39 |      905 |      944
1507.62/1508.14	c 1507s |      19 |   742464 |   524282 |    27949     39 |      905 |      944
1509.71/1510.22	c 1509s |      19 |   743071 |   524782 |    27949     40 |      905 |      944
1512.02/1512.53	c 1512s |      19 |   743863 |   525482 |    27949     40 |      905 |      944
1514.22/1514.75	c 1514s |      19 |   744781 |   526282 |    27949     40 |      905 |      944
1516.31/1516.82	c 1516s |      19 |   745458 |   526882 |    27949     40 |      905 |      944
1518.51/1519.04	c 1518s |      19 |   746415 |   527682 |    27949     40 |      905 |      944
1520.61/1521.16	c 1520s |      19 |   747195 |   528382 |    27949     40 |      905 |      944
1522.71/1523.29	c 1523s |      19 |   747962 |   529082 |    27949     40 |      905 |      944
1524.81/1525.37	c 1525s |      19 |   748822 |   529782 |    27949     40 |      905 |      944
1527.10/1527.60	c 1527s |      19 |   749770 |   530582 |    27949     40 |      905 |      944
1529.30/1529.80	c 1529s |      19 |   750559 |   531282 |    27949     40 |      905 |      944
1531.41/1531.95	c 1531s |      19 |   751341 |   531982 |    27949     40 |      905 |      944
1533.71/1534.21	c 1533s |      19 |   752125 |   532682 |    27949     40 |      905 |      944
1535.81/1536.39	c 1536s |      19 |   752815 |   533282 |    27949     40 |      905 |      944
1537.91/1538.49	c 1538s |      19 |   753490 |   533882 |    27949     40 |      905 |      944
1540.31/1540.80	c 1540s |      19 |   754168 |   534482 |    27949     40 |      905 |      944
1542.41/1542.99	c 1542s |      19 |   754883 |   535082 |    27949     40 |      905 |      944
1544.71/1545.22	c 1544s |      19 |   755432 |   535582 |    27949     40 |      905 |      944
1547.01/1547.52	c 1547s |      19 |   756103 |   536182 |    27949     40 |      905 |      944
1549.31/1549.89	c 1549s |      19 |   756779 |   536782 |    27949     40 |      905 |      944
1551.81/1552.32	c 1552s |      19 |   757442 |   537382 |    27949     40 |      905 |      944
1554.11/1554.61	c 1554s |      19 |   758122 |   537982 |    27949     40 |      905 |      944
1556.51/1557.01	c 1556s |      19 |   758810 |   538582 |    27949     40 |      905 |      944
1558.81/1559.37	c 1559s |      19 |   759505 |   539182 |    27949     40 |      905 |      944
1561.01/1561.57	c 1561s |      19 |   760069 |   539682 |    27949     40 |      905 |      944
1563.72/1564.26	c 1563s |      19 |   760763 |   540282 |    27949     41 |      905 |      944
1565.81/1566.31	c 1566s |      19 |   761715 |   541082 |    27949     41 |      905 |      944
1568.01/1568.59	c 1568s |      19 |   762648 |   541882 |    27949     41 |      905 |      944
1570.11/1570.60	c 1570s |      19 |   763452 |   542582 |    27949     41 |      905 |      944
1572.11/1572.68	c 1572s |      19 |   764258 |   543282 |    27949     41 |      905 |      944
1574.21/1574.78	c 1574s |      19 |   765076 |   543982 |    27949     41 |      905 |      944
1576.41/1576.96	c 1576s |      19 |   765867 |   544682 |    27949     41 |      905 |      944
1578.61/1579.15	c 1578s |      19 |   766667 |   545382 |    27949     41 |      905 |      944
1580.60/1581.15	c 1580s |      19 |   767364 |   545982 |    27949     41 |      905 |      944
1582.60/1583.18	c 1582s |      19 |   768049 |   546582 |    27949     41 |      905 |      944
1584.80/1585.35	c 1585s |      19 |   768864 |   547282 |    27949     41 |      905 |      944
1587.10/1587.64	c 1587s |      19 |   769665 |   547982 |    27949     41 |      905 |      944
1589.11/1589.67	c 1589s |      19 |   770357 |   548582 |    27949     41 |      905 |      944
1591.31/1591.83	c 1591s |      19 |   771025 |   549182 |    27949     41 |      905 |      944
1593.41/1593.94	c 1593s |      19 |   771565 |   549682 |    27949     41 |      905 |      944
1595.50/1596.07	c 1595s |      19 |   772241 |   550282 |    27949     41 |      905 |      944
1597.50/1598.09	c 1597s |      19 |   772932 |   550882 |    27949     41 |      905 |      944
1599.80/1600.31	c 1600s |      19 |   773613 |   551482 |    27949     41 |      905 |      944
1602.10/1602.70	c 1602s |      19 |   774289 |   552082 |    27949     41 |      905 |      944
1604.30/1604.81	c 1604s |      19 |   774840 |   552582 |    27949     41 |      905 |      944
1606.30/1606.82	c 1606s |      19 |   775399 |   553082 |    27949     41 |      905 |      944
1608.50/1609.02	c 1608s |      19 |   776066 |   553682 |    27949     41 |      905 |      944
1610.50/1611.02	c 1610s |      19 |   776633 |   554182 |    27949     41 |      905 |      944
1612.70/1613.27	c 1612s |      19 |   777482 |   554882 |    27949     41 |      905 |      944
1615.10/1615.60	c 1615s |      19 |   778202 |   555482 |    27949     41 |      905 |      944
1617.20/1617.72	c 1617s |      19 |   778801 |   555982 |    27949     42 |      905 |      944
1619.30/1619.87	c 1619s |      19 |   779767 |   556782 |    27949     42 |      905 |      944
1621.60/1622.11	c 1621s |      19 |   780558 |   557482 |    27949     42 |      905 |      944
1623.80/1624.30	c 1624s |      19 |   781503 |   558282 |    27949     42 |      905 |      944
1625.80/1626.34	c 1626s |      19 |   782344 |   558982 |    27949     42 |      905 |      944
1627.90/1628.46	c 1628s |      19 |   783008 |   559582 |    27949     42 |      905 |      944
1630.10/1630.66	c 1630s |      19 |   783680 |   560182 |    27949     42 |      905 |      944
1632.20/1632.74	c 1632s |      19 |   784579 |   560882 |    27949     42 |      905 |      944
1634.30/1634.83	c 1634s |      19 |   785534 |   561682 |    27949     42 |      905 |      944
1636.50/1637.08	c 1636s |      19 |   786500 |   562482 |    27949     42 |      905 |      944
1638.61/1639.12	c 1638s |      19 |   787320 |   563182 |    27949     42 |      905 |      944
1640.71/1641.22	c 1640s |      19 |   788130 |   563882 |    27949     42 |      905 |      944
1642.91/1643.46	c 1643s |      19 |   788926 |   564582 |    27949     42 |      905 |      944
1645.10/1645.70	c 1645s |      19 |   789748 |   565282 |    27949     42 |      905 |      944
1647.31/1647.83	c 1647s |      19 |   790639 |   565982 |    27949     42 |      905 |      944
1649.39/1650.00	c 1649s |      19 |   791467 |   566682 |    27949     42 |      905 |      944
1651.49/1652.04	c 1651s |      19 |   792302 |   567382 |    27949     42 |      905 |      944
1653.59/1654.11	c 1653s |      19 |   793025 |   567982 |    27949     42 |      905 |      944
1655.89/1656.43	c 1656s |      19 |   793695 |   568582 |    27949     42 |      905 |      944
1657.99/1658.51	c 1658s |      19 |   794373 |   569182 |    27949     42 |      905 |      944
1659.99/1660.55	c 1660s |      19 |   795068 |   569782 |    27949     42 |      905 |      944
1662.09/1662.63	c 1662s |      19 |   795647 |   570282 |    27949     42 |      905 |      944
1664.39/1664.93	c 1664s |      19 |   796301 |   570882 |    27949     42 |      905 |      944
1666.39/1666.99	c 1666s |      19 |   796877 |   571382 |    27949     42 |      905 |      944
1668.49/1669.01	c 1668s |      19 |   797466 |   571882 |    27949     43 |      905 |      944
1670.50/1671.05	c 1670s |      19 |   798263 |   572582 |    27949     43 |      905 |      944
1672.49/1673.07	c 1672s |      19 |   799056 |   573282 |    27949     43 |      905 |      944
1674.69/1675.22	c 1674s |      19 |   799839 |   573982 |    27949     43 |      905 |      944
1676.89/1677.40	c 1677s |      19 |   800602 |   574682 |    27949     43 |      905 |      944
1678.99/1679.55	c 1679s |      19 |   801400 |   575382 |    27949     43 |      905 |      944
1681.29/1681.81	c 1681s |      19 |   802326 |   576182 |    27949     43 |      905 |      944
1683.49/1684.08	c 1683s |      19 |   803226 |   576982 |    27949     43 |      905 |      944
1685.69/1686.29	c 1686s |      19 |   804015 |   577682 |    27949     43 |      905 |      944
1687.79/1688.35	c 1688s |      19 |   804685 |   578282 |    27949     43 |      905 |      944
1689.89/1690.49	c 1690s |      19 |   805376 |   578882 |    27949     43 |      905 |      944
1691.98/1692.58	c 1692s |      19 |   806049 |   579482 |    27949     43 |      905 |      944
1694.38/1694.90	c 1694s |      19 |   806840 |   580182 |    27949     43 |      905 |      944
1696.48/1697.01	c 1696s |      19 |   807531 |   580782 |    27949     43 |      905 |      944
1698.68/1699.24	c 1698s |      19 |   808200 |   581382 |    27949     43 |      905 |      944
1700.78/1701.36	c 1701s |      19 |   808746 |   581882 |    27949     43 |      905 |      944
1703.08/1703.60	c 1703s |      19 |   809418 |   582482 |    27949     43 |      905 |      944
1705.18/1705.73	c 1705s |      19 |   810126 |   583082 |    27949     43 |      905 |      944
1707.18/1707.76	c 1707s |      19 |   810845 |   583682 |    27949     43 |      905 |      944
1709.28/1709.83	c 1709s |      19 |   811593 |   584282 |    27949     43 |      905 |      944
1711.38/1711.91	c 1711s |      19 |   812306 |   584882 |    27949     43 |      905 |      944
1713.58/1714.17	c 1713s |      19 |   813032 |   585482 |    27949     43 |      905 |      944
1715.59/1716.18	c 1715s |      19 |   813593 |   585982 |    27949     43 |      905 |      944
1717.98/1718.50	c 1718s |      19 |   814427 |   586682 |    27949     43 |      905 |      944
1719.99/1720.57	c 1720s |      19 |   815139 |   587282 |    27949     43 |      905 |      944
1722.19/1722.73	c 1722s |      19 |   815827 |   587882 |    27949     44 |      905 |      944
1724.29/1724.83	c 1724s |      19 |   816838 |   588682 |    27949     44 |      905 |      944
1726.38/1726.91	c 1726s |      19 |   817827 |   589482 |    27949     44 |      905 |      944
1728.48/1729.01	c 1728s |      19 |   818791 |   590282 |    27949     44 |      905 |      944
1730.68/1731.21	c 1730s |      19 |   819748 |   591082 |    27949     44 |      905 |      944
1732.78/1733.30	c 1733s |      19 |   820583 |   591782 |    27949     44 |      905 |      944
1734.88/1735.47	c 1735s |      19 |   821418 |   592482 |    27949     44 |      905 |      944
1737.18/1737.72	c 1737s |      19 |   822225 |   593182 |    27949     44 |      905 |      944
1739.28/1739.85	c 1739s |      19 |   823064 |   593882 |    27949     44 |      905 |      944
1741.58/1742.15	c 1741s |      19 |   823856 |   594582 |    27949     44 |      905 |      944
1743.78/1744.32	c 1744s |      19 |   824572 |   595182 |    27949     44 |      905 |      944
1745.98/1746.56	c 1746s |      19 |   825390 |   595882 |    27949     44 |      905 |      944
1748.18/1748.72	c 1748s |      19 |   826073 |   596482 |    27949     44 |      905 |      944
1750.28/1750.88	c 1750s |      19 |   826892 |   597182 |    27949     44 |      905 |      944
1752.48/1753.05	c 1752s |      19 |   827559 |   597782 |    27949     44 |      905 |      944
1754.48/1755.05	c 1754s |      19 |   828231 |   598382 |    27949     44 |      905 |      944
1756.68/1757.30	c 1757s |      19 |   828932 |   598982 |    27949     44 |      905 |      944
1758.87/1759.42	c 1759s |      19 |   829638 |   599582 |    27949     44 |      905 |      944
1761.07/1761.64	c 1761s |      19 |   830461 |   600282 |    27949     44 |      905 |      944
1763.27/1763.84	c 1763s |      19 |   831169 |   600882 |    27949     44 |      905 |      944
1765.37/1765.96	c 1765s |      19 |   831743 |   601382 |    27949     44 |      905 |      944
1767.37/1767.97	c 1767s |      19 |   832321 |   601882 |    27949     44 |      905 |      944
1769.67/1770.21	c 1769s |      19 |   832902 |   602382 |    27949     44 |      905 |      944
1771.77/1772.33	c 1772s |      19 |   833452 |   602882 |    27949     44 |      905 |      944
1773.97/1774.56	c 1774s |      19 |   834041 |   603382 |    27949     45 |      905 |      944
1776.08/1776.61	c 1776s |      19 |   834830 |   604082 |    27949     45 |      905 |      944
1778.28/1778.89	c 1778s |      19 |   835650 |   604782 |    27949     45 |      905 |      944
1780.38/1780.98	c 1780s |      19 |   836485 |   605482 |    27949     45 |      905 |      944
1782.58/1783.11	c 1782s |      19 |   837308 |   606182 |    27949     45 |      905 |      944
1784.67/1785.25	c 1784s |      19 |   838130 |   606882 |    27949     45 |      905 |      944
1786.98/1787.56	c 1787s |      19 |   838947 |   607582 |    27949     45 |      905 |      944
1789.07/1789.60	c 1789s |      19 |   839638 |   608182 |    27949     45 |      905 |      944
1791.17/1791.77	c 1791s |      19 |   840455 |   608882 |    27949     45 |      905 |      944
1793.27/1793.80	c 1793s |      19 |   841265 |   609582 |    27949     45 |      905 |      944
1795.37/1795.96	c 1795s |      19 |   842078 |   610282 |    27949     45 |      905 |      944
1797.37/1797.98	c 1797s |      19 |   842772 |   610882 |    27949     45 |      905 |      944
1799.47/1800.06	c 1799s |      19 |   847221 |   612982 |    27949     45 |      905 |      944

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

pid=4959
running on 8 cores: 4-7,12-15

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.00 2.02 2.01 3/261 4962
/proc/meminfo: memFree=31821956/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1147324 CPUtime=0 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 4352 0 0 0 0 0 0 0 20 0 4 0 31269007 1174859776 4713 33554432000 4194304 16246674 140736856509488 140736856508912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 287343 4723 441 2943 0 284237 0
[pid=4962/tid=4963] ppid=4959 vsize=1169852 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1197928448 4802 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1173948 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1202122752 4816 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1178044 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1206317056 4835 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0

[startup+0.100083 s]
/proc/loadavg: 2.00 2.02 2.01 3/261 4962
/proc/meminfo: memFree=31821956/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 28467 0 0 0 5 4 0 0 20 0 4 0 31269007 1249447936 28765 33554432000 4194304 16246674 140736856509488 140736856508800 4220912 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 305041 28765 801 2943 0 301935 0
[pid=4962/tid=4963] ppid=4959 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1249447936 28765 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1249447936 28765 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1249447936 28765 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200496 s]
/proc/loadavg: 2.00 2.02 2.01 3/261 4962
/proc/meminfo: memFree=31821956/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 48674 0 0 0 13 6 0 0 20 0 4 0 31269007 1332285440 48972 33554432000 4194304 16246674 140736856509488 140736856508800 13943600 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 325265 48972 842 2943 0 322159 0
[pid=4962/tid=4963] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 48972 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 48972 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 48972 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300464 s]
/proc/loadavg: 2.00 2.02 2.01 3/261 4962
/proc/meminfo: memFree=31821956/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 54638 0 0 0 22 7 0 0 20 0 4 0 31269007 1332285440 54936 33554432000 4194304 16246674 140736856509488 140736856508800 5602147 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 325265 54941 882 2943 0 322159 0
[pid=4962/tid=4963] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 54944 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 54947 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 54950 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700372 s]
/proc/loadavg: 2.00 2.02 2.01 3/261 4962
/proc/meminfo: memFree=31821956/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 105843 0 0 0 54 15 0 0 20 0 4 0 31269007 1332285440 106141 33554432000 4194304 16246674 140736856509488 140736856491392 13954518 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 325265 106148 882 2943 0 322159 0
[pid=4962/tid=4963] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 106153 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 106157 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1332285440 106161 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=30586952/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1312324 CPUtime=1.49 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 183579 0 0 0 123 26 0 0 20 0 4 0 31269007 1343819776 183877 33554432000 4194304 16246674 140736856509488 140736856508800 5530784 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 328081 183877 889 2943 0 324975 0
[pid=4962/tid=4963] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 183877 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 183877 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 183877 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10042 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=30062540/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 269261 0 0 0 272 37 0 0 20 0 4 0 31269007 1343819776 269559 33554432000 4194304 16246674 140736856509488 140736856491392 5545721 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 328081 269559 889 2943 0 324975 0
[pid=4962/tid=4963] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269559 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269559 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269559 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30041 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=29735620/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 269268 0 0 0 592 37 0 0 20 0 4 0 31269007 1343819776 269566 33554432000 4194304 16246674 140736856509488 140736856492488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 328081 269566 889 2943 0 324975 0
[pid=4962/tid=4963] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269566 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269566 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269566 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=29735580/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 269270 0 0 0 1232 37 0 0 20 0 4 0 31269007 1343819776 269568 33554432000 4194304 16246674 140736856509488 140736856491392 5599925 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 328081 269568 891 2943 0 324975 0
[pid=4962/tid=4963] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269568 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269568 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269568 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=29736428/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1312324 CPUtime=25.49 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 269271 0 0 0 2512 37 0 0 20 0 4 0 31269007 1343819776 269569 33554432000 4194304 16246674 140736856509488 140736856491392 5546005 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 328081 269569 892 2943 0 324975 0
[pid=4962/tid=4963] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269569 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269569 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269569 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/265 4966
/proc/meminfo: memFree=29736452/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1312324 CPUtime=51.08 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 269271 0 0 0 5071 37 0 0 20 0 4 0 31269007 1343819776 269569 33554432000 4194304 16246674 140736856509488 140736856491392 5711720 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 328081 269569 892 2943 0 324975 0
[pid=4962/tid=4963] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269569 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269569 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1343819776 269569 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/265 4967
/proc/meminfo: memFree=29725732/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1320516 CPUtime=102.29 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 271133 0 0 0 10191 38 0 0 20 0 4 0 31269007 1352208384 271431 33554432000 4194304 16246674 140736856509488 140736856491392 6020668 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 330129 271431 892 2943 0 327023 0
[pid=4962/tid=4963] ppid=4959 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1352208384 271431 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1352208384 271431 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1352208384 271431 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1320516


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

/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/265 4997
/proc/meminfo: memFree=29688816/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1301.88 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275598 0 0 0 130138 50 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 13943664 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/265 4998
/proc/meminfo: memFree=29688736/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1361.84 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275642 0 0 0 136134 50 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 5822428 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/265 4999
/proc/meminfo: memFree=29688936/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1421.83 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275648 0 0 0 142133 50 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 5722540 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/265 5001
/proc/meminfo: memFree=29688816/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1481.81 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275648 0 0 0 148131 50 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 5723568 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.15 2.11 2.04 3/266 5005
/proc/meminfo: memFree=29689116/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1541.82 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275648 0 0 0 154131 51 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856492488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.05 2.09 2.03 3/265 5006
/proc/meminfo: memFree=29688892/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1601.8 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275648 0 0 0 160129 51 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 5677043 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/265 5007
/proc/meminfo: memFree=29688776/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1661.79 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275648 0 0 0 166128 51 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 5822252 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/265 5008
/proc/meminfo: memFree=29688652/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1721.78 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275648 0 0 0 172127 51 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 12874809 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/265 5010
/proc/meminfo: memFree=29688684/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1781.77 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275648 0 0 0 178126 51 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 5717462 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.08 2.03 3/265 5010
/proc/meminfo: memFree=29688812/32872528 swapFree=7556/7556
[pid=4962] ppid=4959 vsize=1336900 CPUtime=1800.07 cores=4-7,12-15
/proc/4962/stat : 4962 (toysat) R 4959 4962 4307 0 -1 4202496 275648 0 0 0 179956 51 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140736856491392 5711404 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4962/statm: 334225 275821 892 2943 0 331119 0
[pid=4962/tid=4963] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4963/stat : 4963 (toysat) S 4959 4962 4307 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371234368752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0
[pid=4962/tid=4964] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4964/stat : 4964 (toysat) S 4959 4962 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371223878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0
[pid=4962/tid=4965] ppid=4959 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/4962/task/4965/stat : 4965 (toysat) S 4959 4962 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269007 1368985600 275821 33554432000 4194304 16246674 140736856509488 140371141061808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1336900

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.57
CPU system time (s): 0.515921
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.515921
maximum resident set size= 1103284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275648
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= 396
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97694 second user time and 11.3923 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-27 01:05:08
IDJOB=4117085
IDBENCH=109551
IDSOLVER=2542
FILE ID=node132/4117085-1466982308
RUNJOBID= node132-1466982308-4930
PBS_JOBID= 19976380
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117085-1466982308/watcher-4117085-1466982308 -o /tmp/evaluation-result-4117085-1466982308/solver-4117085-1466982308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466982308-4930 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117085-1466982308.opb

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

MD5SUM BENCH= 326ac17ed003b145465711c7acb057a9
RANDOM SEED=1909798426

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31853632 kB
Buffers:           62256 kB
Cached:           195876 kB
SwapCached:         1768 kB
Active:           112244 kB
Inactive:         187724 kB
Active(anon):      43020 kB
Inactive(anon):     1700 kB
Active(file):      69224 kB
Inactive(file):   186024 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098652 kB
Dirty:             33896 kB
Writeback:             0 kB
AnonPages:         46000 kB
Mapped:             8940 kB
Shmem:                 0 kB
Slab:             573356 kB
SReclaimable:      13188 kB
SUnreclaim:       560168 kB
KernelStack:        2104 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1135680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71496 MiB
End job on node132 at 2016-06-27 01:35:09