Trace number 4078829

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_7-unsat.opb
MD5SUMdcebcc122dcddcac4192e5e5bf5bd3e3
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 variables24684
Total number of constraints81656
Number of constraints which are clauses81252
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 745
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T06:20:50+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-4078829-1465273250.opb"]
0.00/0.01	c use --random-gen="4095571282 3995869511 4205540449 959345587 1012491317 329034256 1271902223 3039754813 2721654829 2495505085 1083405056 4271600900 3083455970 4157446562 3871765231 1419094276 3945354486 3635350566 180876602 653132780 3660361679 3248528306 4262301381 2867592913 2460225673 434978416 2599676782 3892946767 2864298891 2088198937 473141104 2539137906 3611466220 720670725 615979854 628760412 3247509969 1941963225 1760170529 3855529436 4065491615 1279405135 4279494041 895341621 890175303 861507128 3052860533 1335072767 683660510 665361219 1561923709 3473742035 1497770797 361926396 776273791 4198777828 2485103810 1576207623 3216637806 484819959 3812894659 3533879491 295498050 1136231903 4136677400 3292392794 3590159161 2732632941 768603713 1637029764 2411846063 787546561 2340318804 2156800322 1435176306 1744828559 3988853693 610972234 147680803 1068636352 1544720412 647524507 1095233936 1498667102 1201099652 496727567 371924386 4275672213 3269143869 1698096906 1617694570 3336928241 1810474873 693000194 2282788753 3727168662 523653179 3729321574 3243994459 2357498764 2667759668 2813677199 659833742 4244302468 3881494433 1528854397 3695374559 451232459 705402107 4034157749 2754351327 1959232168 527012370 1427525275 2325829483 1491908781 3299598146 3288999871 4180445699 995362865 2386758282 676804161 2030241899 1272788271 3548163438 4090719387 2489706876 2023230619 1314276192 768820797 1285429021 3631472349 1068876822 2697837716 708407537 3640288610 1284152258 1683771040 1938784009 1149995457 70625217 3332933031 2055322617 377029702 4038788220 74243122 3991583848 3153049271 258485842 2770215916 1081789765 451432311 2585869464 1441133749 2807749896 3903469624 13218510 4025809334 3593149188 3573289076 590231950 2535757704 2684891998 845994684 4266074282 1808903367 634166212 1949054142 1988987685 3085111323 2036064426 4068730955 2577026395 2384043818 3963474508 350098011 2472196421 850073463 624000971 1580590789 2956192886 3514276643 1949558264 811956133 4287448095 3094323514 4050177842 3264366189 1577404116 970313798 1226072731 126773104 4216452391 3163870492 547220757 3872766799 2061812238 2704351471 3607690283 3906541256 2676678791 1059221597 2773521441 495804569 3493670541 2637210977 3015296634 3485873322 3491638625 3940202020 3879735386 874426158 2881298080 2710159495 2447997417 2298978402 2839826216 65902831 3184442901 4041292191 926425011 3021637464 1080988299 434607317 738190103 1500298697 1065749844 4094976442 3530380783 4206049119 1295984853 3569315404 1323372150 2758944423 1043557946 2209402738 3044241348 1046572082 1821757842 1079102896 202450419 3460829819 1232007618 435771996 1965973687 1390022704 1537173037 1975444344 427652629 2293775804 543784725 2062603801 1001826325 690767396 866150950 29634912 255 362436" option to reproduce the execution
0.49/0.52	c #vars 24684
0.49/0.52	c #constraints 81656
1.20/1.25	c Solving starts ...
1.20/1.25	c ============================[ Search Statistics ]============================
1.20/1.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.25	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.25	c =============================================================================
1.20/1.25	c  0.0s |       0 |        0 |        0 |    21510      0 |    17251 |        0
1.39/1.40	c  0.1s |       1 |      191 |      100 |    21510      0 |    17251 |    21068
1.59/1.68	c  0.4s |       2 |      545 |      250 |    23662      0 |    17251 |    21068
1.99/2.04	c  0.8s |       3 |      953 |      475 |    26029      0 |    17251 |    21068
2.78/2.84	c  1.6s |       4 |     1547 |      813 |    28632      0 |    17251 |    21068
3.58/3.64	c  2.4s |       5 |     2252 |     1320 |    31496      0 |    17251 |    21068
4.78/4.80	c  3.6s |       6 |     3425 |     2081 |    38111      0 |    17251 |    21068
6.48/6.52	c  5.3s |       7 |     5002 |     3223 |    41923      0 |    17251 |    21068
8.48/8.55	c  7.3s |       7 |     7324 |     4723 |    41923      0 |    17251 |    21068
8.79/8.82	c  7.6s |       8 |     7667 |     4936 |    46116      0 |    17251 |    21068
10.88/10.90	c  9.6s |       8 |     9661 |     6436 |    46116      0 |    17251 |    21068
12.48/12.52	c 11.3s |       9 |    11047 |     7506 |    50728      0 |    17251 |    21068
14.58/14.62	c 13.4s |       9 |    13130 |     9206 |    50728      0 |    17251 |    21068
16.68/16.73	c 15.5s |       9 |    14792 |    10606 |    50728      0 |    17251 |    21068
18.08/18.10	c 16.9s |      10 |    15672 |    11361 |    55801      0 |    17251 |    21068
20.18/20.25	c 19.0s |      10 |    17149 |    12461 |    55801      0 |    17251 |    21068
22.38/22.43	c 21.2s |      10 |    18446 |    13561 |    55801      0 |    17251 |    21068
24.58/24.61	c 23.4s |      10 |    19673 |    14561 |    55801      0 |    17251 |    21068
26.58/26.62	c 25.4s |      10 |    21239 |    15761 |    55801      0 |    17251 |    21068
28.69/28.73	c 27.5s |      10 |    22687 |    16861 |    55801      0 |    17251 |    21068
29.18/29.29	c 28.0s |      11 |    23062 |    17144 |    61382      0 |    17251 |    21068
31.38/31.46	c 30.2s |      11 |    24730 |    18244 |    61382      0 |    17251 |    21068
33.38/33.46	c 32.2s |      11 |    25958 |    19244 |    61382      0 |    17251 |    21068
35.58/35.66	c 34.4s |      11 |    27166 |    20244 |    61382      0 |    17251 |    21068
37.78/37.81	c 36.6s |      11 |    28402 |    21244 |    61382      0 |    17251 |    21068
39.88/39.96	c 38.7s |      11 |    29537 |    22144 |    61382      0 |    17251 |    21068
42.08/42.19	c 40.9s |      11 |    30599 |    23044 |    61382      0 |    17251 |    21068
44.18/44.22	c 43.0s |      11 |    31510 |    23844 |    61382      0 |    17251 |    21068
46.38/46.47	c 45.2s |      11 |    32566 |    24744 |    61382      0 |    17251 |    21068
48.58/48.67	c 47.4s |      11 |    33642 |    25644 |    61382      0 |    17251 |    21068
48.98/49.08	c 47.8s |      12 |    33867 |    25819 |    67521      0 |    17251 |    21068
51.18/51.23	c 50.0s |      12 |    35383 |    26819 |    67521      0 |    17251 |    21068
53.38/53.48	c 52.2s |      12 |    36744 |    27819 |    67521      0 |    17251 |    21068
55.48/55.52	c 54.3s |      12 |    38045 |    28819 |    67521      0 |    17251 |    21068
57.68/57.75	c 56.5s |      12 |    39271 |    29819 |    67521      0 |    17251 |    21068
59.67/59.78	c 58.5s |      12 |    40406 |    30719 |    67521      0 |    17251 |    21068
61.87/61.90	c 60.6s |      12 |    41553 |    31619 |    67521      0 |    17251 |    21068
63.88/63.98	c 62.7s |      12 |    42697 |    32519 |    67521      0 |    17251 |    21068
65.98/66.09	c 64.8s |      12 |    43851 |    33419 |    67521      0 |    17251 |    21068
68.18/68.26	c 67.0s |      12 |    44965 |    34319 |    67521      0 |    17251 |    21068
70.17/70.29	c 69.0s |      12 |    45980 |    35119 |    67521      0 |    17251 |    21068
72.27/72.36	c 71.1s |      12 |    47084 |    36019 |    67521      0 |    17251 |    21068
74.47/74.54	c 73.3s |      12 |    48252 |    36919 |    67521      0 |    17251 |    21068
76.57/76.65	c 75.4s |      12 |    49354 |    37819 |    67521      0 |    17251 |    21068
78.77/78.80	c 77.5s |      12 |    50343 |    38619 |    74274      0 |    17251 |    21068
79.28/79.38	c 78.1s |      13 |    50596 |    38832 |    74274      0 |    17251 |    21068
81.48/81.51	c 80.3s |      13 |    51725 |    39632 |    74274      0 |    17251 |    21068
83.47/83.54	c 82.3s |      13 |    52848 |    40432 |    74274      0 |    17251 |    21068
85.57/85.65	c 84.4s |      13 |    54045 |    41332 |    74274      0 |    17251 |    21068
87.57/87.66	c 86.4s |      13 |    55066 |    42132 |    74274      0 |    17251 |    21068
89.77/89.89	c 88.6s |      13 |    56062 |    42932 |    74274      0 |    17251 |    21068
91.87/91.90	c 90.6s |      13 |    56904 |    43632 |    74274      0 |    17251 |    21068
94.07/94.16	c 92.9s |      13 |    57862 |    44432 |    74274      0 |    17251 |    21068
96.17/96.23	c 95.0s |      13 |    58710 |    45132 |    74274      0 |    17251 |    21068
98.37/98.45	c 97.2s |      13 |    59536 |    45832 |    74274      0 |    17251 |    21068
100.77/100.80	c 99.6s |      13 |    60579 |    46632 |    74274      0 |    17251 |    21068
102.97/103.00	c  101s |      13 |    61432 |    47332 |    74274      0 |    17251 |    21068
105.07/105.12	c  103s |      13 |    62498 |    48132 |    74274      0 |    17251 |    21068
107.17/107.22	c  105s |      13 |    63368 |    48832 |    74274      0 |    17251 |    21068
109.37/109.41	c  108s |      13 |    64236 |    49532 |    74274      0 |    17251 |    21068
111.57/111.68	c  110s |      13 |    65311 |    50332 |    74274      0 |    17251 |    21068
113.77/113.84	c  112s |      13 |    66192 |    51032 |    74274      0 |    17251 |    21068
115.87/115.93	c  114s |      13 |    66951 |    51632 |    74274      0 |    17251 |    21068
117.87/117.98	c  116s |      13 |    67529 |    52132 |    74274      0 |    17251 |    21068
120.06/120.10	c  118s |      13 |    68242 |    52732 |    74274      0 |    17251 |    21068
122.26/122.31	c  121s |      13 |    69095 |    53432 |    74274      0 |    17251 |    21068
124.27/124.36	c  123s |      13 |    69813 |    54032 |    74274      0 |    17251 |    21068
126.26/126.38	c  125s |      13 |    70517 |    54632 |    74274      0 |    17251 |    21068
128.56/128.67	c  127s |      13 |    71382 |    55332 |    74274      0 |    17251 |    21068
130.87/130.94	c  129s |      13 |    72068 |    55932 |    74274      0 |    17251 |    21068
132.96/133.05	c  131s |      13 |    72869 |    56532 |    74274      0 |    17251 |    21068
135.16/135.21	c  133s |      13 |    73647 |    57132 |    74274      0 |    17251 |    21068
137.26/137.30	c  136s |      13 |    74404 |    57732 |    74274      0 |    17251 |    21068
139.36/139.40	c  138s |      13 |    75168 |    58332 |    81702      0 |    17251 |    21068
139.36/139.49	c  138s |      14 |    75190 |    58352 |    81702      0 |    17251 |    21068
141.76/141.80	c  140s |      14 |    75837 |    58852 |    81702      0 |    17251 |    21068
144.08/144.12	c  142s |      14 |    76708 |    59552 |    81702      0 |    17251 |    21068
146.17/146.28	c  145s |      14 |    77455 |    60152 |    81702      0 |    17251 |    21068
148.48/148.57	c  147s |      14 |    78145 |    60752 |    81702      0 |    17251 |    21068
150.68/150.72	c  149s |      14 |    78868 |    61352 |    81702      0 |    17251 |    21068
152.77/152.81	c  151s |      14 |    79604 |    61952 |    81702      0 |    17251 |    21068
155.08/155.19	c  153s |      14 |    80380 |    62552 |    81702      0 |    17251 |    21068
157.28/157.32	c  156s |      14 |    81121 |    63152 |    81702      0 |    17251 |    21068
159.37/159.48	c  158s |      14 |    81830 |    63752 |    81702      0 |    17251 |    21068
161.57/161.70	c  160s |      14 |    82425 |    64252 |    81702      0 |    17251 |    21068
163.97/164.02	c  162s |      14 |    83046 |    64752 |    81702      0 |    17251 |    21068
165.97/166.05	c  164s |      14 |    83659 |    65252 |    81702      0 |    17251 |    21068
168.17/168.24	c  166s |      14 |    84256 |    65752 |    81702      0 |    17251 |    21068
170.27/170.37	c  169s |      14 |    84855 |    66252 |    81702      0 |    17251 |    21068
172.37/172.50	c  171s |      14 |    85455 |    66752 |    81702      0 |    17251 |    21068
174.67/174.78	c  173s |      14 |    86189 |    67352 |    81702      0 |    17251 |    21068
176.97/177.01	c  175s |      14 |    86773 |    67852 |    81702      0 |    17251 |    21068
178.96/179.04	c  177s |      14 |    87261 |    68252 |    81702      0 |    17251 |    21068
181.26/181.38	c  180s |      14 |    87877 |    68752 |    81702      0 |    17251 |    21068
183.46/183.57	c  182s |      14 |    88444 |    69252 |    81702      0 |    17251 |    21068
185.97/186.06	c  184s |      14 |    89027 |    69752 |    81702      0 |    17251 |    21068
188.36/188.42	c  187s |      14 |    89645 |    70252 |    81702      0 |    17251 |    21068
190.37/190.49	c  189s |      14 |    90116 |    70652 |    81702      0 |    17251 |    21068
192.86/192.96	c  191s |      14 |    90680 |    71152 |    81702      0 |    17251 |    21068
195.06/195.18	c  193s |      14 |    91341 |    71652 |    81702      0 |    17251 |    21068
197.36/197.48	c  196s |      14 |    91918 |    72152 |    81702      0 |    17251 |    21068
199.56/199.69	c  198s |      14 |    92519 |    72652 |    81702      0 |    17251 |    21068
201.76/201.84	c  200s |      14 |    92965 |    73052 |    81702      0 |    17251 |    21068
203.76/203.85	c  202s |      14 |    93606 |    73552 |    81702      0 |    17251 |    21068
205.86/205.96	c  204s |      14 |    94244 |    74052 |    81702      0 |    17251 |    21068
208.16/208.22	c  206s |      14 |    94880 |    74552 |    81702      0 |    17251 |    21068
210.36/210.48	c  209s |      14 |    95512 |    75052 |    81702      0 |    17251 |    21068
212.96/213.00	c  211s |      14 |    96119 |    75552 |    81702      0 |    17251 |    21068
215.06/215.14	c  213s |      14 |    96569 |    75952 |    81702      0 |    17251 |    21068
217.16/217.22	c  215s |      14 |    97219 |    76452 |    81702      0 |    17251 |    21068
219.46/219.50	c  218s |      14 |    97789 |    76952 |    81702      0 |    17251 |    21068
221.66/221.76	c  220s |      14 |    98366 |    77452 |    81702      0 |    17251 |    21068
224.06/224.16	c  222s |      14 |    98986 |    77952 |    81702      0 |    17251 |    21068
226.46/226.56	c  225s |      14 |    99536 |    78452 |    81702      0 |    17251 |    21068
228.66/228.76	c  227s |      14 |   100163 |    78952 |    81702      0 |    17251 |    21068
230.66/230.79	c  229s |      14 |   100800 |    79452 |    81702      0 |    17251 |    21068
232.86/232.93	c  231s |      14 |   101543 |    80052 |    81702      0 |    17251 |    21068
234.86/234.95	c  233s |      14 |   102176 |    80552 |    81702      0 |    17251 |    21068
237.06/237.19	c  235s |      14 |   102831 |    81052 |    81702      0 |    17251 |    21068
239.26/239.34	c  238s |      14 |   103438 |    81552 |    81702      0 |    17251 |    21068
241.56/241.68	c  240s |      14 |   104070 |    82052 |    81702      0 |    17251 |    21068
243.85/243.91	c  242s |      14 |   104626 |    82552 |    81702      0 |    17251 |    21068
246.15/246.20	c  244s |      14 |   105258 |    83052 |    81702      0 |    17251 |    21068
248.15/248.26	c  247s |      14 |   105756 |    83452 |    81702      0 |    17251 |    21068
250.45/250.51	c  249s |      14 |   106377 |    83952 |    81702      0 |    17251 |    21068
252.65/252.78	c  251s |      14 |   106983 |    84452 |    81702      0 |    17251 |    21068
254.85/254.93	c  253s |      14 |   107559 |    84952 |    81702      0 |    17251 |    21068
257.15/257.24	c  255s |      14 |   108235 |    85452 |    81702      0 |    17251 |    21068
259.35/259.40	c  258s |      14 |   108891 |    85952 |    81702      0 |    17251 |    21068
261.65/261.78	c  260s |      14 |   109502 |    86452 |    81702      0 |    17251 |    21068
263.75/263.87	c  262s |      14 |   109961 |    86852 |    81702      0 |    17251 |    21068
266.26/266.37	c  265s |      14 |   110577 |    87352 |    89873      0 |    17251 |    21068
267.85/267.91	c  266s |      15 |   110935 |    87632 |    89873      0 |    17251 |    21068
270.25/270.30	c  269s |      15 |   111568 |    88032 |    89873      0 |    17251 |    21068
272.35/272.44	c  271s |      15 |   112290 |    88532 |    89873      0 |    17251 |    21068
274.55/274.64	c  273s |      15 |   112887 |    89032 |    89873      0 |    17251 |    21068
276.85/276.97	c  275s |      15 |   113550 |    89532 |    89873      0 |    17251 |    21068
279.25/279.31	c  278s |      15 |   114261 |    90132 |    89873      0 |    17251 |    21068
281.45/281.54	c  280s |      15 |   114880 |    90632 |    89873      0 |    17251 |    21068
283.86/283.98	c  282s |      15 |   115469 |    91132 |    89873      0 |    17251 |    21068
285.96/286.05	c  284s |      15 |   116125 |    91632 |    89873      0 |    17251 |    21068
288.05/288.15	c  286s |      15 |   116749 |    92132 |    89873      0 |    17251 |    21068
290.25/290.34	c  289s |      15 |   117400 |    92632 |    89873      0 |    17251 |    21068
292.55/292.67	c  291s |      15 |   118062 |    93132 |    89873      0 |    17251 |    21068
294.65/294.70	c  293s |      15 |   118529 |    93532 |    89873      0 |    17251 |    21068
296.65/296.76	c  295s |      15 |   119011 |    93932 |    89873      0 |    17251 |    21068
299.15/299.21	c  297s |      15 |   119630 |    94432 |    89873      0 |    17251 |    21068
301.15/301.23	c  299s |      15 |   120123 |    94832 |    89873      0 |    17251 |    21068
303.45/303.50	c  302s |      15 |   120753 |    95332 |    89873      0 |    17251 |    21068
305.65/305.75	c  304s |      15 |   121369 |    95832 |    89873      0 |    17251 |    21068
307.75/307.80	c  306s |      15 |   121872 |    96232 |    89873      0 |    17251 |    21068
309.74/309.82	c  308s |      15 |   122388 |    96632 |    89873      0 |    17251 |    21068
311.94/312.00	c  310s |      15 |   122878 |    97032 |    89873      0 |    17251 |    21068
314.24/314.37	c  313s |      15 |   123494 |    97532 |    89873      0 |    17251 |    21068
316.44/316.58	c  315s |      15 |   124097 |    98032 |    89873      0 |    17251 |    21068
318.84/318.97	c  317s |      15 |   124734 |    98532 |    89873      0 |    17251 |    21068
321.04/321.13	c  319s |      15 |   125228 |    98932 |    89873      0 |    17251 |    21068
323.04/323.15	c  321s |      15 |   125684 |    99332 |    89873      0 |    17251 |    21068
325.44/325.58	c  324s |      15 |   126280 |    99832 |    89873      0 |    17251 |    21068
327.54/327.68	c  326s |      15 |   126786 |   100232 |    89873      0 |    17251 |    21068
329.64/329.73	c  328s |      15 |   127279 |   100632 |    89873      0 |    17251 |    21068
331.84/331.98	c  330s |      15 |   127767 |   101032 |    89873      0 |    17251 |    21068
333.94/334.05	c  332s |      15 |   128250 |   101432 |    89873      0 |    17251 |    21068
336.14/336.25	c  334s |      15 |   128718 |   101832 |    89873      0 |    17251 |    21068
338.44/338.58	c  337s |      15 |   129334 |   102332 |    89873      0 |    17251 |    21068
340.54/340.61	c  339s |      15 |   129839 |   102732 |    89873      0 |    17251 |    21068
342.94/343.02	c  341s |      15 |   130645 |   103332 |    89873      0 |    17251 |    21068
345.14/345.26	c  344s |      15 |   131253 |   103832 |    89873      0 |    17251 |    21068
347.24/347.37	c  346s |      15 |   131740 |   104232 |    89873      0 |    17251 |    21068
349.24/349.39	c  348s |      15 |   132258 |   104632 |    89873      0 |    17251 |    21068
351.54/351.64	c  350s |      15 |   132857 |   105132 |    89873      0 |    17251 |    21068
353.84/353.92	c  352s |      15 |   133643 |   105732 |    89873      0 |    17251 |    21068
356.13/356.25	c  354s |      15 |   134307 |   106232 |    89873      0 |    17251 |    21068
358.13/358.25	c  357s |      15 |   134773 |   106632 |    89873      0 |    17251 |    21068
360.33/360.40	c  359s |      15 |   135242 |   107032 |    89873      0 |    17251 |    21068
362.33/362.47	c  361s |      15 |   135845 |   107532 |    89873      0 |    17251 |    21068
364.63/364.72	c  363s |      15 |   136443 |   108032 |    89873      0 |    17251 |    21068
366.73/366.83	c  365s |      15 |   137031 |   108532 |    89873      0 |    17251 |    21068
369.03/369.15	c  367s |      15 |   137638 |   109032 |    89873      0 |    17251 |    21068
371.23/371.36	c  370s |      15 |   138256 |   109532 |    89873      0 |    17251 |    21068
373.63/373.74	c  372s |      15 |   139008 |   110132 |    89873      0 |    17251 |    21068
375.93/376.02	c  374s |      15 |   139619 |   110632 |    89873      0 |    17251 |    21068
378.03/378.17	c  376s |      15 |   140265 |   111132 |    89873      0 |    17251 |    21068
380.13/380.25	c  378s |      15 |   140622 |   111432 |    89873      1 |    17251 |    21068
382.23/382.37	c  381s |      15 |   141708 |   112232 |    89873      1 |    17251 |    21068
384.33/384.44	c  383s |      15 |   142587 |   112932 |    89873      1 |    17251 |    21068
386.53/386.68	c  385s |      15 |   143683 |   113732 |    89873      1 |    17251 |    21068
388.63/388.76	c  387s |      15 |   144449 |   114332 |    89873      1 |    17251 |    21068
390.63/390.77	c  389s |      15 |   145167 |   114932 |    89873      1 |    17251 |    21068
392.93/393.05	c  391s |      15 |   146208 |   115732 |    89873      1 |    17251 |    21068
395.13/395.28	c  394s |      15 |   147081 |   116432 |    89873      1 |    17251 |    21068
397.33/397.40	c  396s |      15 |   147838 |   117032 |    89873      1 |    17251 |    21068
399.33/399.42	c  398s |      15 |   148611 |   117632 |    89873      1 |    17251 |    21068
401.43/401.59	c  400s |      15 |   149337 |   118232 |    89873      1 |    17251 |    21068
403.52/403.69	c  402s |      15 |   150093 |   118832 |    89873      1 |    17251 |    21068
405.72/405.89	c  404s |      15 |   150848 |   119432 |    89873      1 |    17251 |    21068
407.92/408.09	c  406s |      15 |   151538 |   120032 |    89873      1 |    17251 |    21068
410.12/410.21	c  408s |      15 |   152295 |   120632 |    89873      1 |    17251 |    21068
412.32/412.44	c  411s |      15 |   153027 |   121232 |    89873      1 |    17251 |    21068
414.63/414.77	c  413s |      15 |   153753 |   121832 |    89873      1 |    17251 |    21068
416.62/416.78	c  415s |      15 |   154332 |   122332 |    89873      1 |    17251 |    21068
418.72/418.85	c  417s |      15 |   154913 |   122832 |    89873      1 |    17251 |    21068
421.12/421.23	c  419s |      15 |   155603 |   123432 |    89873      1 |    17251 |    21068
423.12/423.26	c  422s |      15 |   156246 |   123932 |    89873      1 |    17251 |    21068
425.12/425.28	c  424s |      15 |   156879 |   124432 |    89873      1 |    17251 |    21068
427.52/427.61	c  426s |      15 |   157454 |   124932 |    89873      1 |    17251 |    21068
429.52/429.61	c  428s |      15 |   158077 |   125432 |    89873      1 |    17251 |    21068
431.92/432.04	c  430s |      15 |   158796 |   126032 |    89873      1 |    17251 |    21068
434.12/434.26	c  433s |      15 |   159393 |   126532 |    89873      1 |    17251 |    21068
436.22/436.33	c  435s |      15 |   159978 |   127032 |    89873      1 |    17251 |    21068
438.32/438.43	c  437s |      15 |   160597 |   127532 |    89873      1 |    17251 |    21068
440.42/440.59	c  439s |      15 |   161652 |   128332 |    89873      1 |    17251 |    21068
442.62/442.78	c  441s |      15 |   162330 |   128832 |    89873      1 |    17251 |    21068
444.82/444.92	c  443s |      15 |   162966 |   129332 |    89873      1 |    17251 |    21068
447.22/447.34	c  446s |      15 |   163582 |   129832 |    89873      1 |    17251 |    21068
449.62/449.76	c  448s |      15 |   164340 |   130432 |    89873      1 |    17251 |    21068
451.72/451.87	c  450s |      15 |   164993 |   130932 |    98861      1 |    17251 |    21068
453.92/454.00	c  452s |      15 |   165608 |   131432 |    98861      1 |    17251 |    21068
454.52/454.64	c  453s |      16 |   165746 |   131552 |    98861      1 |    17251 |    21068
456.62/456.74	c  455s |      16 |   166466 |   132052 |    98861      1 |    17251 |    21068
458.73/458.89	c  457s |      16 |   167230 |   132652 |    98861      1 |    17251 |    21068
461.12/461.26	c  460s |      16 |   168169 |   133352 |    98861      1 |    17251 |    21068
463.13/463.29	c  462s |      16 |   169064 |   133952 |    98861      1 |    17251 |    21068
465.33/465.43	c  464s |      16 |   170038 |   134652 |    98861      1 |    17251 |    21068
467.43/467.57	c  466s |      16 |   171016 |   135352 |    98861      1 |    17251 |    21068
469.63/469.75	c  468s |      16 |   171986 |   136052 |    98861      1 |    17251 |    21068
471.72/471.83	c  470s |      16 |   172741 |   136552 |    98861      1 |    17251 |    21068
473.82/473.93	c  472s |      16 |   173462 |   137052 |    98861      1 |    17251 |    21068
476.02/476.16	c  474s |      16 |   174285 |   137652 |    98861      1 |    17251 |    21068
478.11/478.28	c  477s |      16 |   175290 |   138352 |    98861      1 |    17251 |    21068
480.41/480.59	c  479s |      16 |   176358 |   139152 |    98861      1 |    17251 |    21068
482.71/482.81	c  481s |      16 |   177426 |   139952 |    98861      1 |    17251 |    21068
484.81/484.91	c  483s |      16 |   178370 |   140652 |    98861      1 |    17251 |    21068
486.81/486.95	c  485s |      16 |   179130 |   141252 |    98861      1 |    17251 |    21068
488.81/488.95	c  487s |      16 |   180162 |   142052 |    98861      1 |    17251 |    21068
491.11/491.25	c  490s |      16 |   181290 |   142952 |    98861      1 |    17251 |    21068
493.41/493.50	c  492s |      16 |   182287 |   143752 |    98861      1 |    17251 |    21068
495.61/495.76	c  494s |      16 |   183188 |   144452 |    98861      1 |    17251 |    21068
497.91/498.00	c  496s |      16 |   184049 |   145152 |    98861      1 |    17251 |    21068
500.01/500.14	c  498s |      16 |   184925 |   145852 |    98861      1 |    17251 |    21068
502.01/502.15	c  500s |      16 |   185729 |   146452 |    98861      1 |    17251 |    21068
504.31/504.41	c  503s |      16 |   186655 |   147152 |    98861      1 |    17251 |    21068
506.41/506.58	c  505s |      16 |   187597 |   147852 |    98861      1 |    17251 |    21068
508.71/508.82	c  507s |      16 |   188501 |   148552 |    98861      1 |    17251 |    21068
510.81/510.97	c  509s |      16 |   189233 |   149152 |    98861      1 |    17251 |    21068
513.01/513.13	c  511s |      16 |   189970 |   149752 |    98861      1 |    17251 |    21068
515.11/515.20	c  513s |      16 |   190575 |   150252 |    98861      1 |    17251 |    21068
517.21/517.31	c  516s |      16 |   191334 |   150852 |    98861      1 |    17251 |    21068
519.31/519.47	c  518s |      16 |   192126 |   151452 |    98861      1 |    17251 |    21068
521.70/521.81	c  520s |      16 |   193181 |   152152 |    98861      1 |    17251 |    21068
524.10/524.21	c  522s |      16 |   193937 |   152752 |    98861      1 |    17251 |    21068
526.10/526.24	c  524s |      16 |   194718 |   153352 |    98861      1 |    17251 |    21068
528.20/528.38	c  527s |      16 |   195473 |   153952 |    98861      1 |    17251 |    21068
530.30/530.43	c  529s |      16 |   196202 |   154552 |    98861      1 |    17251 |    21068
532.60/532.78	c  531s |      16 |   196947 |   155152 |    98861      1 |    17251 |    21068
535.00/535.12	c  533s |      16 |   197664 |   155752 |    98861      1 |    17251 |    21068
537.30/537.42	c  536s |      16 |   198433 |   156352 |    98861      1 |    17251 |    21068
539.60/539.74	c  538s |      16 |   199170 |   156952 |    98861      1 |    17251 |    21068
541.91/542.07	c  540s |      16 |   199936 |   157552 |    98861      1 |    17251 |    21068
544.21/544.35	c  543s |      16 |   200671 |   158152 |    98861      1 |    17251 |    21068
546.41/546.55	c  545s |      16 |   201236 |   158652 |    98861      1 |    17251 |    21068
548.92/549.02	c  547s |      16 |   201968 |   159252 |    98861      1 |    17251 |    21068
550.91/551.09	c  549s |      16 |   202595 |   159752 |    98861      1 |    17251 |    21068
553.01/553.19	c  551s |      16 |   203184 |   160252 |    98861      1 |    17251 |    21068
555.11/555.26	c  554s |      16 |   203769 |   160752 |    98861      1 |    17251 |    21068
557.51/557.60	c  556s |      16 |   204568 |   161352 |    98861      1 |    17251 |    21068
559.61/559.74	c  558s |      16 |   205194 |   161852 |    98861      1 |    17251 |    21068
561.81/561.97	c  560s |      16 |   205947 |   162452 |    98861      1 |    17251 |    21068
564.11/564.25	c  563s |      16 |   206712 |   163052 |    98861      1 |    17251 |    21068
566.51/566.70	c  565s |      16 |   207446 |   163652 |    98861      1 |    17251 |    21068
568.81/568.95	c  567s |      16 |   208100 |   164152 |    98861      1 |    17251 |    21068
571.21/571.31	c  570s |      16 |   208824 |   164752 |    98861      1 |    17251 |    21068
573.20/573.36	c  572s |      16 |   209436 |   165252 |    98861      1 |    17251 |    21068
575.31/575.49	c  574s |      16 |   210021 |   165752 |    98861      1 |    17251 |    21068
577.51/577.63	c  576s |      16 |   210635 |   166252 |    98861      1 |    17251 |    21068
579.50/579.63	c  578s |      16 |   211236 |   166752 |    98861      1 |    17251 |    21068
581.60/581.72	c  580s |      16 |   211871 |   167252 |    98861      1 |    17251 |    21068
583.90/584.03	c  582s |      16 |   212503 |   167752 |    98861      1 |    17251 |    21068
585.90/586.07	c  584s |      16 |   213125 |   168252 |    98861      1 |    17251 |    21068
588.10/588.28	c  587s |      16 |   213744 |   168752 |    98861      1 |    17251 |    21068
590.50/590.63	c  589s |      16 |   214341 |   169252 |    98861      1 |    17251 |    21068
592.60/592.76	c  591s |      16 |   214975 |   169752 |    98861      1 |    17251 |    21068
594.90/595.01	c  593s |      16 |   215564 |   170252 |    98861      1 |    17251 |    21068
597.00/597.11	c  595s |      16 |   216188 |   170752 |    98861      1 |    17251 |    21068
599.10/599.21	c  597s |      16 |   216808 |   171252 |    98861      1 |    17251 |    21068
601.30/601.46	c  600s |      16 |   217607 |   171852 |    98861      1 |    17251 |    21068
603.40/603.52	c  602s |      16 |   218227 |   172352 |    98861      1 |    17251 |    21068
605.80/605.90	c  604s |      16 |   219006 |   172952 |    98861      1 |    17251 |    21068
607.80/607.98	c  606s |      16 |   219652 |   173452 |    98861      1 |    17251 |    21068
610.00/610.14	c  608s |      16 |   220255 |   173952 |    98861      1 |    17251 |    21068
612.30/612.48	c  611s |      16 |   220916 |   174452 |    98861      1 |    17251 |    21068
614.40/614.55	c  613s |      16 |   221584 |   174952 |    98861      1 |    17251 |    21068
616.60/616.79	c  615s |      16 |   222262 |   175452 |    98861      1 |    17251 |    21068
619.70/619.87	c  618s |      16 |   222901 |   175952 |    98861      2 |    17251 |    21068
621.89/622.05	c  620s |      16 |   223725 |   176552 |    98861      2 |    17251 |    21068
624.29/624.43	c  623s |      16 |   224493 |   177152 |    98861      2 |    17251 |    21068
626.69/626.80	c  625s |      16 |   225248 |   177752 |    98861      2 |    17251 |    21068
628.99/629.16	c  627s |      16 |   225934 |   178352 |    98861      2 |    17251 |    21068
631.30/631.42	c  630s |      16 |   226668 |   178952 |    98861      2 |    17251 |    21068
633.69/633.83	c  632s |      16 |   227363 |   179552 |    98861      2 |    17251 |    21068
635.80/635.94	c  634s |      16 |   227992 |   180052 |    98861      2 |    17251 |    21068
637.90/638.05	c  636s |      16 |   228576 |   180552 |    98861      2 |    17251 |    21068
640.20/640.39	c  639s |      16 |   229332 |   181152 |    98861      2 |    17251 |    21068
642.59/642.74	c  641s |      16 |   230043 |   181752 |    98861      2 |    17251 |    21068
644.69/644.89	c  643s |      16 |   230653 |   182252 |    98861      2 |    17251 |    21068
647.29/647.42	c  646s |      16 |   231228 |   182752 |    98861      2 |    17251 |    21068
649.49/649.65	c  648s |      16 |   231789 |   183252 |    98861      2 |    17251 |    21068
651.89/652.00	c  650s |      16 |   232505 |   183852 |    98861      2 |    17251 |    21068
654.29/654.47	c  653s |      16 |   233107 |   184352 |    98861      2 |    17251 |    21068
656.49/656.62	c  655s |      16 |   233647 |   184852 |    98861      2 |    17251 |    21068
658.69/658.83	c  657s |      16 |   234239 |   185352 |    98861      2 |    17251 |    21068
660.89/661.02	c  659s |      16 |   234837 |   185852 |    98861      2 |    17251 |    21068
663.09/663.25	c  661s |      16 |   235447 |   186352 |    98861      2 |    17251 |    21068
665.18/665.36	c  664s |      16 |   236029 |   186852 |    98861      2 |    17251 |    21068
667.48/667.63	c  666s |      16 |   236677 |   187352 |    98861      2 |    17251 |    21068
669.89/670.06	c  668s |      16 |   237269 |   187852 |    98861      2 |    17251 |    21068
672.28/672.40	c  671s |      16 |   237859 |   188352 |    98861      2 |    17251 |    21068
674.38/674.50	c  673s |      16 |   238313 |   188752 |    98861      2 |    17251 |    21068
676.78/676.94	c  675s |      16 |   238910 |   189252 |    98861      2 |    17251 |    21068
678.98/679.17	c  677s |      16 |   239777 |   189852 |    98861      2 |    17251 |    21068
681.08/681.20	c  679s |      16 |   240412 |   190352 |    98861      2 |    17251 |    21068
683.38/683.52	c  682s |      16 |   241169 |   190952 |    98861      2 |    17251 |    21068
685.58/685.71	c  684s |      16 |   241913 |   191552 |    98861      2 |    17251 |    21068
687.58/687.78	c  686s |      16 |   242696 |   192152 |    98861      2 |    17251 |    21068
689.69/689.87	c  688s |      16 |   243474 |   192752 |    98861      2 |    17251 |    21068
691.79/691.96	c  690s |      16 |   244190 |   193352 |    98861      2 |    17251 |    21068
694.09/694.27	c  693s |      16 |   245089 |   194052 |    98861      2 |    17251 |    21068
696.38/696.54	c  695s |      16 |   246086 |   194752 |    98861      2 |    17251 |    21068
698.58/698.72	c  697s |      16 |   246882 |   195352 |    98861      2 |    17251 |    21068
700.69/700.89	c  699s |      16 |   247991 |   196252 |   108748      2 |    17251 |    21068
702.79/702.98	c  701s |      16 |   249064 |   197152 |   108748      2 |    17251 |    21068
703.58/703.71	c  702s |      17 |   249417 |   197432 |   108748      2 |    17251 |    21068
705.58/705.75	c  704s |      17 |   249896 |   197732 |   108748      2 |    17251 |    21068
707.88/708.07	c  706s |      17 |   250594 |   198232 |   108748      2 |    17251 |    21068
709.98/710.15	c  708s |      17 |   251256 |   198732 |   108748      2 |    17251 |    21068
712.18/712.35	c  711s |      17 |   252015 |   199332 |   108748      2 |    17251 |    21068
714.18/714.39	c  713s |      17 |   252620 |   199832 |   108748      2 |    17251 |    21068
716.48/716.65	c  715s |      17 |   253323 |   200432 |   108748      2 |    17251 |    21068
718.78/718.93	c  717s |      17 |   254079 |   201032 |   108748      2 |    17251 |    21068
720.98/721.17	c  719s |      17 |   254824 |   201632 |   108748      2 |    17251 |    21068
723.28/723.49	c  722s |      17 |   255601 |   202232 |   108748      2 |    17251 |    21068
725.67/725.89	c  724s |      17 |   256342 |   202832 |   108748      2 |    17251 |    21068
728.18/728.32	c  727s |      17 |   257087 |   203432 |   108748      2 |    17251 |    21068
730.47/730.62	c  729s |      17 |   257722 |   203932 |   108748      2 |    17251 |    21068
732.48/732.65	c  731s |      17 |   258329 |   204432 |   108748      2 |    17251 |    21068
734.47/734.67	c  733s |      17 |   258945 |   204932 |   108748      2 |    17251 |    21068
736.57/736.79	c  735s |      17 |   259569 |   205432 |   108748      2 |    17251 |    21068
738.87/739.01	c  737s |      17 |   260302 |   206032 |   108748      2 |    17251 |    21068
740.97/741.18	c  739s |      17 |   260995 |   206632 |   108748      2 |    17251 |    21068
743.37/743.52	c  742s |      17 |   261970 |   207332 |   108748      2 |    17251 |    21068
745.57/745.77	c  744s |      17 |   262701 |   207932 |   108748      2 |    17251 |    21068
747.77/747.95	c  746s |      17 |   263469 |   208532 |   108748      2 |    17251 |    21068
750.07/750.28	c  749s |      17 |   264188 |   209132 |   108748      2 |    17251 |    21068
752.37/752.58	c  751s |      17 |   264921 |   209732 |   108748      2 |    17251 |    21068
754.86/755.00	c  753s |      17 |   265661 |   210332 |   108748      2 |    17251 |    21068
757.16/757.39	c  756s |      17 |   266402 |   210932 |   108748      2 |    17251 |    21068
759.36/759.58	c  758s |      17 |   267056 |   211432 |   108748      2 |    17251 |    21068
761.66/761.84	c  760s |      17 |   267649 |   211932 |   108748      2 |    17251 |    21068
763.76/763.96	c  762s |      17 |   268273 |   212432 |   108748      2 |    17251 |    21068
765.86/766.03	c  764s |      17 |   268843 |   212932 |   108748      2 |    17251 |    21068
767.96/768.18	c  766s |      17 |   269421 |   213432 |   108748      2 |    17251 |    21068
770.35/770.57	c  769s |      17 |   270002 |   213932 |   108748      2 |    17251 |    21068
772.55/772.79	c  771s |      17 |   270592 |   214432 |   108748      2 |    17251 |    21068
774.95/775.16	c  773s |      17 |   271181 |   214932 |   108748      2 |    17251 |    21068
777.35/777.51	c  776s |      17 |   271798 |   215432 |   108748      2 |    17251 |    21068
779.35/779.53	c  778s |      17 |   272241 |   215832 |   108748      2 |    17251 |    21068
781.86/782.00	c  780s |      17 |   272792 |   216332 |   108748      2 |    17251 |    21068
783.96/784.15	c  782s |      17 |   273278 |   216732 |   108748      2 |    17251 |    21068
786.16/786.39	c  785s |      17 |   273903 |   217232 |   108748      2 |    17251 |    21068
788.36/788.52	c  787s |      17 |   274376 |   217632 |   108748      2 |    17251 |    21068
790.45/790.69	c  789s |      17 |   274963 |   218132 |   108748      2 |    17251 |    21068
792.55/792.73	c  791s |      17 |   275549 |   218632 |   108748      2 |    17251 |    21068
794.55/794.79	c  793s |      17 |   276150 |   219132 |   108748      2 |    17251 |    21068
796.75/796.97	c  795s |      17 |   276748 |   219632 |   108748      2 |    17251 |    21068
799.05/799.25	c  798s |      17 |   277565 |   220232 |   108748      2 |    17251 |    21068
801.25/801.46	c  800s |      17 |   278408 |   220832 |   108748      2 |    17251 |    21068
803.65/803.80	c  802s |      17 |   279135 |   221432 |   108748      2 |    17251 |    21068
805.75/805.97	c  804s |      17 |   279906 |   222032 |   108748      2 |    17251 |    21068
808.05/808.20	c  806s |      17 |   280831 |   222732 |   108748      2 |    17251 |    21068
810.15/810.31	c  809s |      17 |   281600 |   223332 |   108748      2 |    17251 |    21068
812.35/812.50	c  811s |      17 |   282362 |   223932 |   108748      2 |    17251 |    21068
814.65/814.80	c  813s |      17 |   283129 |   224532 |   108748      2 |    17251 |    21068
816.65/816.81	c  815s |      17 |   283898 |   225132 |   108748      2 |    17251 |    21068
818.75/818.90	c  817s |      17 |   284517 |   225632 |   108748      2 |    17251 |    21068
820.95/821.17	c  819s |      17 |   285197 |   226132 |   108748      2 |    17251 |    21068
823.45/823.60	c  822s |      17 |   285779 |   226632 |   108748      2 |    17251 |    21068
825.45/825.64	c  824s |      17 |   286239 |   227032 |   108748      2 |    17251 |    21068
827.75/827.91	c  826s |      17 |   286828 |   227532 |   108748      2 |    17251 |    21068
829.94/830.16	c  828s |      17 |   287434 |   228032 |   108748      2 |    17251 |    21068
832.34/832.54	c  831s |      17 |   288048 |   228532 |   108748      2 |    17251 |    21068
834.54/834.76	c  833s |      17 |   288673 |   229032 |   108748      2 |    17251 |    21068
836.84/837.04	c  835s |      17 |   289284 |   229532 |   108748      2 |    17251 |    21068
838.94/839.19	c  837s |      17 |   289764 |   229932 |   108748      2 |    17251 |    21068
841.04/841.24	c  839s |      17 |   290246 |   230332 |   108748      2 |    17251 |    21068
843.14/843.30	c  842s |      17 |   290722 |   230732 |   108748      2 |    17251 |    21068
845.34/845.51	c  844s |      17 |   291363 |   231232 |   108748      2 |    17251 |    21068
847.54/847.72	c  846s |      17 |   291952 |   231732 |   108748      2 |    17251 |    21068
849.54/849.75	c  848s |      17 |   292420 |   232132 |   108748      2 |    17251 |    21068
852.04/852.24	c  850s |      17 |   293052 |   232632 |   108748      2 |    17251 |    21068
854.44/854.65	c  853s |      17 |   293648 |   233132 |   108748      2 |    17251 |    21068
856.64/856.90	c  855s |      17 |   294225 |   233632 |   108748      2 |    17251 |    21068
858.84/859.09	c  857s |      17 |   294695 |   234032 |   108748      2 |    17251 |    21068
861.33/861.51	c  860s |      17 |   295275 |   234532 |   108748      2 |    17251 |    21068
863.73/863.98	c  862s |      17 |   295954 |   235032 |   108748      2 |    17251 |    21068
865.93/866.17	c  864s |      17 |   296483 |   235432 |   108748      2 |    17251 |    21068
868.33/868.52	c  867s |      17 |   297203 |   235932 |   108748      2 |    17251 |    21068
870.33/870.57	c  869s |      17 |   297726 |   236332 |   108748      2 |    17251 |    21068
872.43/872.66	c  871s |      17 |   298208 |   236732 |   108748      2 |    17251 |    21068
874.63/874.84	c  873s |      17 |   298698 |   237132 |   108748      2 |    17251 |    21068
876.73/876.98	c  875s |      17 |   299218 |   237532 |   108748      2 |    17251 |    21068
878.84/879.05	c  877s |      17 |   299689 |   237932 |   108748      2 |    17251 |    21068
880.94/881.12	c  879s |      17 |   300173 |   238332 |   108748      2 |    17251 |    21068
883.03/883.21	c  881s |      17 |   300677 |   238732 |   108748      2 |    17251 |    21068
885.13/885.30	c  884s |      17 |   301155 |   239132 |   108748      2 |    17251 |    21068
887.13/887.34	c  886s |      17 |   301625 |   239532 |   108748      2 |    17251 |    21068
889.33/889.52	c  888s |      17 |   302088 |   239932 |   108748      2 |    17251 |    21068
891.82/892.06	c  890s |      17 |   302674 |   240432 |   108748      2 |    17251 |    21068
894.42/894.64	c  893s |      17 |   303274 |   240932 |   108748      2 |    17251 |    21068
896.92/897.11	c  895s |      17 |   303878 |   241432 |   108748      2 |    17251 |    21068
899.12/899.30	c  898s |      17 |   304353 |   241832 |   108748      2 |    17251 |    21068
901.32/901.51	c  900s |      17 |   304814 |   242232 |   108748      2 |    17251 |    21068
903.52/903.76	c  902s |      17 |   305304 |   242632 |   108748      2 |    17251 |    21068
905.72/906.00	c  904s |      17 |   305795 |   243032 |   108748      2 |    17251 |    21068
908.22/908.41	c  907s |      17 |   306305 |   243432 |   108748      2 |    17251 |    21068
910.62/910.87	c  909s |      17 |   306751 |   243832 |   108748      2 |    17251 |    21068
912.71/912.99	c  911s |      17 |   307217 |   244232 |   108748      2 |    17251 |    21068
915.02/915.25	c  913s |      17 |   307727 |   244632 |   108748      2 |    17251 |    21068
917.51/917.70	c  916s |      17 |   308175 |   245032 |   108748      2 |    17251 |    21068
920.20/920.43	c  919s |      17 |   308407 |   245232 |   108748      3 |    17251 |    21068
922.20/922.47	c  921s |      17 |   308912 |   245632 |   108748      3 |    17251 |    21068
924.60/924.86	c  923s |      17 |   309659 |   246232 |   108748      3 |    17251 |    21068
926.90/927.13	c  925s |      17 |   310161 |   246632 |   108748      3 |    17251 |    21068
929.31/929.51	c  928s |      17 |   310759 |   247132 |   108748      3 |    17251 |    21068
931.50/931.72	c  930s |      17 |   311369 |   247632 |   108748      3 |    17251 |    21068
933.70/933.91	c  932s |      17 |   311992 |   248132 |   108748      3 |    17251 |    21068
935.90/936.18	c  934s |      17 |   312593 |   248632 |   108748      3 |    17251 |    21068
938.10/938.31	c  937s |      17 |   313261 |   249132 |   108748      3 |    17251 |    21068
940.19/940.42	c  939s |      17 |   313884 |   249632 |   108748      3 |    17251 |    21068
942.29/942.53	c  941s |      17 |   314507 |   250132 |   108748      3 |    17251 |    21068
944.49/944.76	c  943s |      17 |   315115 |   250632 |   108748      3 |    17251 |    21068
946.90/947.12	c  945s |      17 |   315725 |   251132 |   108748      3 |    17251 |    21068
949.10/949.37	c  948s |      17 |   316356 |   251632 |   108748      3 |    17251 |    21068
951.39/951.61	c  950s |      17 |   316968 |   252132 |   108748      3 |    17251 |    21068
954.98/955.29	c  954s |      17 |   317492 |   252532 |   108748      3 |    17251 |    21068
957.18/957.43	c  956s |      17 |   318274 |   253132 |   108748      3 |    17251 |    21068
959.29/959.54	c  958s |      17 |   318991 |   253732 |   108748      3 |    17251 |    21068
961.49/961.76	c  960s |      17 |   319761 |   254332 |   108748      3 |    17251 |    21068
963.69/963.97	c  962s |      17 |   320530 |   254932 |   108748      3 |    17251 |    21068
965.89/966.18	c  964s |      17 |   321348 |   255532 |   108748      3 |    17251 |    21068
967.99/968.26	c  967s |      17 |   322186 |   256232 |   108748      3 |    17251 |    21068
970.10/970.32	c  969s |      17 |   323146 |   256932 |   108748      3 |    17251 |    21068
972.30/972.54	c  971s |      17 |   324021 |   257632 |   108748      3 |    17251 |    21068
974.49/974.71	c  973s |      17 |   324764 |   258232 |   108748      3 |    17251 |    21068
976.69/976.98	c  975s |      17 |   325629 |   258932 |   108748      3 |    17251 |    21068
978.79/979.10	c  977s |      17 |   326529 |   259632 |   108748      3 |    17251 |    21068
980.99/981.21	c  979s |      17 |   327327 |   260232 |   108748      3 |    17251 |    21068
983.29/983.57	c  982s |      17 |   328177 |   260932 |   108748      3 |    17251 |    21068
985.39/985.67	c  984s |      17 |   328925 |   261532 |   108748      3 |    17251 |    21068
987.59/987.84	c  986s |      17 |   329667 |   262132 |   108748      3 |    17251 |    21068
989.68/989.91	c  988s |      17 |   330429 |   262732 |   108748      3 |    17251 |    21068
991.99/992.26	c  991s |      17 |   331280 |   263432 |   108748      3 |    17251 |    21068
994.29/994.59	c  993s |      17 |   332127 |   264132 |   108748      3 |    17251 |    21068
996.49/996.72	c  995s |      17 |   332855 |   264732 |   108748      3 |    17251 |    21068
998.88/999.11	c  997s |      17 |   333611 |   265332 |   108748      3 |    17251 |    21068
1001.08/1001.39	c 1000s |      17 |   334336 |   265932 |   108748      3 |    17251 |    21068
1003.48/1003.78	c 1002s |      17 |   335114 |   266532 |   108748      3 |    17251 |    21068
1005.68/1005.99	c 1004s |      17 |   335836 |   267132 |   108748      3 |    17251 |    21068
1008.08/1008.36	c 1007s |      17 |   336580 |   267732 |   108748      3 |    17251 |    21068
1010.07/1010.39	c 1009s |      17 |   337177 |   268232 |   108748      3 |    17251 |    21068
1012.27/1012.52	c 1011s |      17 |   337780 |   268732 |   108748      3 |    17251 |    21068
1014.27/1014.55	c 1013s |      17 |   338390 |   269232 |   108748      3 |    17251 |    21068
1016.28/1016.59	c 1015s |      17 |   339007 |   269732 |   108748      3 |    17251 |    21068
1018.67/1018.93	c 1017s |      17 |   339717 |   270332 |   108748      3 |    17251 |    21068
1020.68/1020.99	c 1019s |      17 |   340368 |   270832 |   108748      3 |    17251 |    21068
1022.97/1023.26	c 1022s |      17 |   340988 |   271332 |   108748      3 |    17251 |    21068
1025.08/1025.34	c 1024s |      17 |   341612 |   271832 |   108748      3 |    17251 |    21068
1027.07/1027.36	c 1026s |      17 |   342224 |   272332 |   108748      3 |    17251 |    21068
1029.17/1029.40	c 1028s |      17 |   342862 |   272832 |   108748      3 |    17251 |    21068
1031.26/1031.59	c 1030s |      17 |   343603 |   273432 |   108748      3 |    17251 |    21068
1033.56/1033.82	c 1032s |      17 |   344216 |   273932 |   108748      3 |    17251 |    21068
1035.86/1036.10	c 1034s |      17 |   344855 |   274432 |   108748      3 |    17251 |    21068
1037.96/1038.25	c 1036s |      17 |   345524 |   274932 |   108748      3 |    17251 |    21068
1040.06/1040.32	c 1039s |      17 |   346174 |   275432 |   108748      3 |    17251 |    21068
1042.26/1042.59	c 1041s |      17 |   346919 |   276032 |   108748      3 |    17251 |    21068
1044.36/1044.63	c 1043s |      17 |   347547 |   276532 |   108748      3 |    17251 |    21068
1046.56/1046.88	c 1045s |      17 |   348145 |   277032 |   108748      3 |    17251 |    21068
1048.96/1049.25	c 1047s |      17 |   348738 |   277532 |   108748      3 |    17251 |    21068
1051.26/1051.52	c 1050s |      17 |   349350 |   278032 |   108748      3 |    17251 |    21068
1053.56/1053.81	c 1052s |      17 |   349952 |   278532 |   108748      3 |    17251 |    21068
1055.76/1056.06	c 1054s |      17 |   350556 |   279032 |   108748      3 |    17251 |    21068
1058.06/1058.38	c 1057s |      17 |   351187 |   279532 |   108748      3 |    17251 |    21068
1060.35/1060.69	c 1059s |      17 |   351804 |   280032 |   108748      3 |    17251 |    21068
1062.75/1063.01	c 1061s |      17 |   352410 |   280532 |   108748      3 |    17251 |    21068
1064.95/1065.28	c 1064s |      17 |   353031 |   281032 |   108748      3 |    17251 |    21068
1067.35/1067.60	c 1066s |      17 |   353636 |   281532 |   108748      3 |    17251 |    21068
1069.65/1069.92	c 1068s |      17 |   354257 |   282032 |   108748      3 |    17251 |    21068
1072.14/1072.48	c 1071s |      17 |   354861 |   282532 |   108748      3 |    17251 |    21068
1074.64/1074.99	c 1073s |      17 |   355481 |   283032 |   108748      3 |    17251 |    21068
1077.04/1077.35	c 1076s |      17 |   356082 |   283532 |   108748      3 |    17251 |    21068
1079.54/1079.85	c 1078s |      17 |   356673 |   284032 |   108748      3 |    17251 |    21068
1081.94/1082.29	c 1081s |      17 |   357320 |   284532 |   108748      3 |    17251 |    21068
1084.14/1084.42	c 1083s |      17 |   357773 |   284932 |   108748      3 |    17251 |    21068
1086.24/1086.60	c 1085s |      17 |   358253 |   285332 |   108748      3 |    17251 |    21068
1088.44/1088.78	c 1087s |      17 |   358737 |   285732 |   108748      3 |    17251 |    21068
1090.63/1090.91	c 1089s |      17 |   359210 |   286132 |   108748      3 |    17251 |    21068
1092.73/1093.08	c 1091s |      17 |   359664 |   286532 |   108748      3 |    17251 |    21068
1094.83/1095.11	c 1093s |      17 |   360188 |   286932 |   108748      3 |    17251 |    21068
1097.03/1097.39	c 1096s |      17 |   360651 |   287332 |   108748      3 |    17251 |    21068
1099.53/1099.80	c 1098s |      17 |   361244 |   287832 |   108748      3 |    17251 |    21068
1101.83/1102.13	c 1100s |      17 |   361688 |   288232 |   108748      3 |    17251 |    21068
1104.03/1104.40	c 1103s |      17 |   362160 |   288632 |   108748      3 |    17251 |    21068
1106.13/1106.47	c 1105s |      17 |   362645 |   289032 |   108748      3 |    17251 |    21068
1108.43/1108.77	c 1107s |      17 |   363262 |   289532 |   108748      3 |    17251 |    21068
1110.73/1111.08	c 1109s |      17 |   363717 |   289932 |   108748      3 |    17251 |    21068
1113.03/1113.38	c 1112s |      17 |   364212 |   290332 |   108748      3 |    17251 |    21068
1115.42/1115.75	c 1114s |      17 |   364731 |   290732 |   108748      3 |    17251 |    21068
1117.72/1118.03	c 1116s |      17 |   365217 |   291132 |   108748      3 |    17251 |    21068
1119.82/1120.19	c 1118s |      17 |   365694 |   291532 |   108748      3 |    17251 |    21068
1122.22/1122.56	c 1121s |      17 |   366307 |   292032 |   108748      3 |    17251 |    21068
1124.52/1124.84	c 1123s |      17 |   366772 |   292432 |   108748      3 |    17251 |    21068
1126.82/1127.17	c 1125s |      17 |   367398 |   292932 |   108748      3 |    17251 |    21068
1128.82/1129.19	c 1127s |      17 |   367883 |   293332 |   108748      3 |    17251 |    21068
1131.11/1131.42	c 1130s |      17 |   368381 |   293732 |   108748      3 |    17251 |    21068
1133.51/1133.86	c 1132s |      17 |   368881 |   294132 |   108748      3 |    17251 |    21068
1135.71/1136.06	c 1134s |      17 |   369335 |   294532 |   119623      3 |    17251 |    21068
1137.81/1138.11	c 1136s |      17 |   369809 |   294932 |   119623      3 |    17251 |    21068
1139.90/1140.27	c 1139s |      17 |   370268 |   295332 |   119623      3 |    17251 |    21068
1142.20/1142.52	c 1141s |      17 |   370721 |   295732 |   119623      3 |    17251 |    21068
1144.40/1144.74	c 1143s |      17 |   371156 |   296132 |   119623      3 |    17251 |    21068
1145.10/1145.43	c 1144s |      18 |   371287 |   296252 |   119623      3 |    17251 |    21068
1147.11/1147.48	c 1146s |      18 |   371775 |   296552 |   119623      3 |    17251 |    21068
1149.60/1149.91	c 1148s |      18 |   372355 |   297052 |   119623      3 |    17251 |    21068
1151.80/1152.13	c 1150s |      18 |   372974 |   297552 |   119623      3 |    17251 |    21068
1153.90/1154.28	c 1153s |      18 |   373533 |   298052 |   119623      3 |    17251 |    21068
1156.20/1156.59	c 1155s |      18 |   374104 |   298552 |   119623      3 |    17251 |    21068
1158.30/1158.67	c 1157s |      18 |   374715 |   299052 |   119623      3 |    17251 |    21068
1160.39/1160.75	c 1159s |      18 |   375280 |   299552 |   119623      3 |    17251 |    21068
1162.79/1163.17	c 1161s |      18 |   375859 |   300052 |   119623      3 |    17251 |    21068
1165.19/1165.57	c 1164s |      18 |   376353 |   300452 |   119623      3 |    17251 |    21068
1167.59/1167.96	c 1166s |      18 |   376988 |   300952 |   119623      3 |    17251 |    21068
1169.98/1170.36	c 1169s |      18 |   377778 |   301552 |   119623      3 |    17251 |    21068
1172.48/1172.84	c 1171s |      18 |   378413 |   302052 |   119623      3 |    17251 |    21068
1174.49/1174.89	c 1173s |      18 |   379010 |   302552 |   119623      3 |    17251 |    21068
1176.69/1177.05	c 1175s |      18 |   379564 |   303052 |   119623      3 |    17251 |    21068
1178.68/1179.09	c 1177s |      18 |   380328 |   303652 |   119623      3 |    17251 |    21068
1180.98/1181.35	c 1180s |      18 |   380931 |   304152 |   119623      3 |    17251 |    21068
1183.08/1183.42	c 1182s |      18 |   381420 |   304552 |   119623      3 |    17251 |    21068
1185.08/1185.44	c 1184s |      18 |   381882 |   304952 |   119623      3 |    17251 |    21068
1187.18/1187.57	c 1186s |      18 |   382484 |   305452 |   119623      3 |    17251 |    21068
1189.18/1189.59	c 1188s |      18 |   383059 |   305952 |   119623      3 |    17251 |    21068
1191.57/1191.95	c 1190s |      18 |   383658 |   306452 |   119623      3 |    17251 |    21068
1193.97/1194.33	c 1193s |      18 |   384267 |   306952 |   119623      3 |    17251 |    21068
1196.37/1196.74	c 1195s |      18 |   384833 |   307452 |   119623      3 |    17251 |    21068
1198.68/1199.06	c 1197s |      18 |   385445 |   307952 |   119623      3 |    17251 |    21068
1201.07/1201.42	c 1200s |      18 |   386013 |   308452 |   119623      3 |    17251 |    21068
1203.17/1203.58	c 1202s |      18 |   386629 |   308952 |   119623      3 |    17251 |    21068
1205.56/1205.90	c 1204s |      18 |   387226 |   309452 |   119623      3 |    17251 |    21068
1207.96/1208.38	c 1207s |      18 |   387847 |   309952 |   119623      3 |    17251 |    21068
1210.26/1210.67	c 1209s |      18 |   388476 |   310452 |   119623      3 |    17251 |    21068
1212.36/1212.73	c 1211s |      18 |   389082 |   310952 |   119623      3 |    17251 |    21068
1214.56/1214.95	c 1213s |      18 |   389703 |   311452 |   119623      3 |    17251 |    21068
1216.76/1217.14	c 1215s |      18 |   390337 |   311952 |   119623      3 |    17251 |    21068
1218.96/1219.37	c 1218s |      18 |   390968 |   312452 |   119623      3 |    17251 |    21068
1221.05/1221.48	c 1220s |      18 |   391520 |   312952 |   119623      3 |    17251 |    21068
1223.45/1223.86	c 1222s |      18 |   392123 |   313452 |   119623      3 |    17251 |    21068
1225.95/1226.32	c 1225s |      18 |   392693 |   313952 |   119623      3 |    17251 |    21068
1228.05/1228.43	c 1227s |      18 |   393160 |   314352 |   119623      3 |    17251 |    21068
1230.45/1230.82	c 1229s |      18 |   393743 |   314852 |   119623      3 |    17251 |    21068
1232.45/1232.87	c 1231s |      18 |   394206 |   315252 |   119623      3 |    17251 |    21068
1234.55/1234.95	c 1233s |      18 |   394674 |   315652 |   119623      3 |    17251 |    21068
1236.85/1237.25	c 1235s |      18 |   395294 |   316152 |   119623      3 |    17251 |    21068
1238.95/1239.37	c 1238s |      18 |   395770 |   316552 |   119623      3 |    17251 |    21068
1241.35/1241.71	c 1240s |      18 |   396219 |   316952 |   119623      3 |    17251 |    21068
1243.35/1243.75	c 1242s |      18 |   396674 |   317352 |   119623      3 |    17251 |    21068
1245.35/1245.79	c 1244s |      18 |   397156 |   317752 |   119623      3 |    17251 |    21068
1247.55/1247.98	c 1246s |      18 |   397681 |   318152 |   119623      3 |    17251 |    21068
1249.65/1250.09	c 1248s |      18 |   398168 |   318552 |   119623      3 |    17251 |    21068
1251.74/1252.18	c 1250s |      18 |   398656 |   318952 |   119623      3 |    17251 |    21068
1253.94/1254.38	c 1253s |      18 |   399107 |   319352 |   119623      3 |    17251 |    21068
1256.04/1256.47	c 1255s |      18 |   399566 |   319752 |   119623      3 |    17251 |    21068
1258.05/1258.48	c 1257s |      18 |   400030 |   320152 |   119623      3 |    17251 |    21068
1260.24/1260.67	c 1259s |      18 |   400493 |   320552 |   119623      3 |    17251 |    21068
1263.84/1264.26	c 1263s |      18 |   400953 |   320952 |   119623      4 |    17251 |    21068
1266.04/1266.44	c 1265s |      18 |   401421 |   321352 |   119623      4 |    17251 |    21068
1268.14/1268.59	c 1267s |      18 |   401897 |   321752 |   119623      4 |    17251 |    21068
1270.53/1270.96	c 1269s |      18 |   402496 |   322252 |   119623      4 |    17251 |    21068
1272.73/1273.19	c 1271s |      18 |   402953 |   322652 |   119623      4 |    17251 |    21068
1275.03/1275.47	c 1274s |      18 |   403437 |   323052 |   119623      4 |    17251 |    21068
1277.23/1277.67	c 1276s |      18 |   404059 |   323552 |   119623      4 |    17251 |    21068
1279.43/1279.84	c 1278s |      18 |   404677 |   324052 |   119623      4 |    17251 |    21068
1281.73/1282.12	c 1280s |      18 |   405304 |   324552 |   119623      4 |    17251 |    21068
1283.92/1284.30	c 1283s |      18 |   405930 |   325052 |   119623      4 |    17251 |    21068
1286.02/1286.46	c 1285s |      18 |   406517 |   325552 |   119623      4 |    17251 |    21068
1288.42/1288.81	c 1287s |      18 |   407325 |   326152 |   119623      4 |    17251 |    21068
1290.52/1290.99	c 1289s |      18 |   407985 |   326652 |   119623      4 |    17251 |    21068
1292.92/1293.35	c 1292s |      18 |   408595 |   327152 |   119623      4 |    17251 |    21068
1295.32/1295.71	c 1294s |      18 |   409242 |   327652 |   119623      4 |    17251 |    21068
1297.42/1297.82	c 1296s |      18 |   409717 |   328052 |   119623      4 |    17251 |    21068
1299.92/1300.36	c 1299s |      18 |   410343 |   328552 |   119623      4 |    17251 |    21068
1302.51/1302.95	c 1301s |      18 |   411009 |   329052 |   119623      4 |    17251 |    21068
1304.61/1305.00	c 1303s |      18 |   411495 |   329452 |   119623      4 |    17251 |    21068
1306.61/1307.00	c 1305s |      18 |   411962 |   329852 |   119623      4 |    17251 |    21068
1308.62/1309.01	c 1307s |      18 |   412421 |   330252 |   119623      4 |    17251 |    21068
1310.61/1311.06	c 1309s |      18 |   412902 |   330652 |   119623      4 |    17251 |    21068
1312.81/1313.26	c 1312s |      18 |   413537 |   331152 |   119623      4 |    17251 |    21068
1315.01/1315.48	c 1314s |      18 |   414204 |   331652 |   119623      4 |    17251 |    21068
1317.42/1317.89	c 1316s |      18 |   414817 |   332152 |   119623      4 |    17251 |    21068
1319.51/1319.94	c 1318s |      18 |   415302 |   332552 |   119623      4 |    17251 |    21068
1321.91/1322.39	c 1321s |      18 |   415889 |   333052 |   119623      4 |    17251 |    21068
1324.51/1324.92	c 1323s |      18 |   416475 |   333552 |   119623      4 |    17251 |    21068
1326.91/1327.31	c 1326s |      18 |   417095 |   334052 |   119623      4 |    17251 |    21068
1329.11/1329.55	c 1328s |      18 |   417726 |   334552 |   119623      4 |    17251 |    21068
1331.40/1331.89	c 1330s |      18 |   418315 |   335052 |   119623      4 |    17251 |    21068
1333.50/1333.96	c 1332s |      18 |   418794 |   335452 |   119623      4 |    17251 |    21068
1335.70/1336.18	c 1334s |      18 |   419244 |   335852 |   119623      4 |    17251 |    21068
1337.90/1338.36	c 1337s |      18 |   419714 |   336252 |   119623      4 |    17251 |    21068
1340.39/1340.80	c 1339s |      18 |   420354 |   336752 |   119623      4 |    17251 |    21068
1342.80/1343.25	c 1341s |      18 |   420954 |   337252 |   119623      4 |    17251 |    21068
1345.09/1345.51	c 1344s |      18 |   421543 |   337752 |   119623      4 |    17251 |    21068
1347.20/1347.69	c 1346s |      18 |   422137 |   338252 |   119623      4 |    17251 |    21068
1349.59/1350.01	c 1348s |      18 |   422755 |   338752 |   119623      4 |    17251 |    21068
1351.69/1352.16	c 1350s |      18 |   423244 |   339152 |   119623      4 |    17251 |    21068
1353.89/1354.36	c 1353s |      18 |   423702 |   339552 |   119623      4 |    17251 |    21068
1356.09/1356.57	c 1355s |      18 |   424175 |   339952 |   119623      4 |    17251 |    21068
1358.19/1358.69	c 1357s |      18 |   424637 |   340352 |   119623      4 |    17251 |    21068
1360.58/1361.03	c 1359s |      18 |   425106 |   340752 |   119623      4 |    17251 |    21068
1362.59/1363.04	c 1361s |      18 |   425596 |   341152 |   119623      4 |    17251 |    21068
1364.69/1365.14	c 1363s |      18 |   426078 |   341552 |   119623      4 |    17251 |    21068
1367.28/1367.72	c 1366s |      18 |   426704 |   342052 |   119623      4 |    17251 |    21068
1369.38/1369.80	c 1368s |      18 |   427159 |   342452 |   119623      4 |    17251 |    21068
1371.58/1372.04	c 1370s |      18 |   427615 |   342852 |   119623      4 |    17251 |    21068
1373.68/1374.19	c 1372s |      18 |   428082 |   343252 |   119623      4 |    17251 |    21068
1375.98/1376.43	c 1375s |      18 |   428533 |   343652 |   119623      4 |    17251 |    21068
1378.28/1378.71	c 1377s |      18 |   429013 |   344052 |   119623      4 |    17251 |    21068
1380.47/1380.91	c 1379s |      18 |   429491 |   344452 |   119623      4 |    17251 |    21068
1382.67/1383.17	c 1381s |      18 |   429994 |   344852 |   119623      4 |    17251 |    21068
1384.87/1385.35	c 1384s |      18 |   430501 |   345252 |   119623      4 |    17251 |    21068
1387.37/1387.84	c 1386s |      18 |   431151 |   345752 |   119623      4 |    17251 |    21068
1389.47/1389.99	c 1388s |      18 |   431635 |   346152 |   119623      4 |    17251 |    21068
1391.67/1392.12	c 1390s |      18 |   432120 |   346552 |   119623      4 |    17251 |    21068
1394.08/1394.59	c 1393s |      18 |   432590 |   346952 |   119623      4 |    17251 |    21068
1396.59/1397.00	c 1395s |      18 |   433083 |   347352 |   119623      4 |    17251 |    21068
1398.68/1399.16	c 1397s |      18 |   433589 |   347752 |   119623      4 |    17251 |    21068
1400.88/1401.31	c 1400s |      18 |   434068 |   348152 |   119623      4 |    17251 |    21068
1403.08/1403.53	c 1402s |      18 |   434541 |   348552 |   119623      4 |    17251 |    21068
1405.38/1405.89	c 1404s |      18 |   434996 |   348952 |   119623      4 |    17251 |    21068
1407.88/1408.34	c 1407s |      18 |   435453 |   349352 |   119623      4 |    17251 |    21068
1410.28/1410.75	c 1409s |      18 |   435916 |   349752 |   119623      4 |    17251 |    21068
1412.58/1413.01	c 1411s |      18 |   436376 |   350152 |   119623      4 |    17251 |    21068
1414.68/1415.16	c 1413s |      18 |   436866 |   350552 |   119623      4 |    17251 |    21068
1416.97/1417.47	c 1416s |      18 |   437349 |   350952 |   119623      4 |    17251 |    21068
1419.37/1419.82	c 1418s |      18 |   437831 |   351352 |   119623      4 |    17251 |    21068
1421.57/1422.05	c 1420s |      18 |   438316 |   351752 |   119623      4 |    17251 |    21068
1424.08/1424.53	c 1423s |      18 |   438783 |   352152 |   119623      4 |    17251 |    21068
1426.38/1426.88	c 1425s |      18 |   439266 |   352552 |   119623      4 |    17251 |    21068
1428.77/1429.29	c 1428s |      18 |   439710 |   352952 |   119623      4 |    17251 |    21068
1431.37/1431.89	c 1430s |      18 |   440157 |   353352 |   119623      4 |    17251 |    21068
1433.57/1434.00	c 1432s |      18 |   440509 |   353652 |   119623      4 |    17251 |    21068
1435.87/1436.37	c 1435s |      18 |   440982 |   354052 |   119623      4 |    17251 |    21068
1438.17/1438.68	c 1437s |      18 |   441440 |   354452 |   119623      4 |    17251 |    21068
1440.47/1441.00	c 1439s |      18 |   441908 |   354852 |   119623      4 |    17251 |    21068
1442.97/1443.41	c 1442s |      18 |   442365 |   355252 |   119623      4 |    17251 |    21068
1445.47/1445.97	c 1444s |      18 |   442865 |   355652 |   119623      4 |    17251 |    21068
1447.77/1448.26	c 1447s |      18 |   443326 |   356052 |   119623      4 |    17251 |    21068
1450.17/1450.68	c 1449s |      18 |   443942 |   356552 |   119623      4 |    17251 |    21068
1452.68/1453.19	c 1451s |      18 |   444405 |   356952 |   119623      4 |    17251 |    21068
1455.07/1455.58	c 1454s |      18 |   444850 |   357352 |   119623      4 |    17251 |    21068
1457.47/1457.94	c 1456s |      18 |   445332 |   357752 |   119623      4 |    17251 |    21068
1459.67/1460.16	c 1458s |      18 |   445777 |   358152 |   119623      4 |    17251 |    21068
1461.97/1462.47	c 1461s |      18 |   446238 |   358552 |   119623      4 |    17251 |    21068
1464.27/1464.71	c 1463s |      18 |   446713 |   358952 |   119623      4 |    17251 |    21068
1466.57/1467.09	c 1465s |      18 |   447186 |   359352 |   119623      4 |    17251 |    21068
1468.77/1469.26	c 1468s |      18 |   447629 |   359752 |   119623      4 |    17251 |    21068
1471.17/1471.65	c 1470s |      18 |   448090 |   360152 |   119623      4 |    17251 |    21068
1473.67/1474.16	c 1472s |      18 |   448533 |   360552 |   119623      4 |    17251 |    21068
1475.87/1476.32	c 1475s |      18 |   448902 |   360852 |   119623      4 |    17251 |    21068
1478.37/1478.81	c 1477s |      18 |   449381 |   361252 |   119623      4 |    17251 |    21068
1480.86/1481.39	c 1480s |      18 |   449820 |   361652 |   119623      4 |    17251 |    21068
1483.26/1483.77	c 1482s |      18 |   450292 |   362052 |   119623      4 |    17251 |    21068
1485.26/1485.78	c 1484s |      18 |   450647 |   362352 |   119623      4 |    17251 |    21068
1487.87/1488.33	c 1487s |      18 |   451089 |   362752 |   119623      4 |    17251 |    21068
1490.36/1490.85	c 1489s |      18 |   451543 |   363152 |   119623      4 |    17251 |    21068
1492.66/1493.12	c 1491s |      18 |   452011 |   363552 |   119623      4 |    17251 |    21068
1495.26/1495.78	c 1494s |      18 |   452451 |   363952 |   119623      4 |    17251 |    21068
1497.36/1497.87	c 1496s |      18 |   452790 |   364252 |   119623      4 |    17251 |    21068
1499.46/1499.92	c 1498s |      18 |   453138 |   364552 |   119623      4 |    17251 |    21068
1501.46/1501.92	c 1500s |      18 |   453477 |   364852 |   119623      4 |    17251 |    21068
1504.06/1504.50	c 1503s |      18 |   453956 |   365252 |   119623      4 |    17251 |    21068
1506.06/1506.53	c 1505s |      18 |   454304 |   365552 |   119623      4 |    17251 |    21068
1508.06/1508.56	c 1507s |      18 |   454642 |   365852 |   119623      4 |    17251 |    21068
1510.66/1511.19	c 1509s |      18 |   455137 |   366252 |   119623      4 |    17251 |    21068
1513.36/1513.81	c 1512s |      18 |   455582 |   366652 |   119623      4 |    17251 |    21068
1515.37/1515.83	c 1514s |      18 |   455915 |   366952 |   119623      4 |    17251 |    21068
1517.86/1518.30	c 1517s |      18 |   456383 |   367352 |   119623      4 |    17251 |    21068
1520.26/1520.79	c 1519s |      18 |   456883 |   367752 |   119623      4 |    17251 |    21068
1522.86/1523.34	c 1522s |      18 |   457365 |   368152 |   119623      4 |    17251 |    21068
1524.86/1525.35	c 1524s |      18 |   457702 |   368452 |   119623      4 |    17251 |    21068
1526.96/1527.47	c 1526s |      18 |   458181 |   368852 |   119623      4 |    17251 |    21068
1529.46/1529.93	c 1528s |      18 |   458661 |   369252 |   119623      4 |    17251 |    21068
1531.76/1532.25	c 1531s |      18 |   459030 |   369552 |   119623      4 |    17251 |    21068
1534.16/1534.61	c 1533s |      18 |   459519 |   369952 |   119623      4 |    17251 |    21068
1536.46/1536.93	c 1535s |      18 |   460009 |   370352 |   119623      4 |    17251 |    21068
1538.96/1539.45	c 1538s |      18 |   460478 |   370752 |   119623      4 |    17251 |    21068
1541.25/1541.71	c 1540s |      18 |   460968 |   371152 |   119623      4 |    17251 |    21068
1543.65/1544.11	c 1542s |      18 |   461423 |   371552 |   119623      4 |    17251 |    21068
1546.16/1546.61	c 1545s |      18 |   461855 |   371952 |   119623      4 |    17251 |    21068
1548.55/1549.08	c 1547s |      18 |   462325 |   372352 |   119623      4 |    17251 |    21068
1551.05/1551.58	c 1550s |      18 |   462780 |   372752 |   119623      4 |    17251 |    21068
1553.65/1554.13	c 1552s |      18 |   463267 |   373152 |   119623      4 |    17251 |    21068
1555.95/1556.49	c 1555s |      18 |   463745 |   373552 |   119623      4 |    17251 |    21068
1558.65/1559.12	c 1557s |      18 |   464214 |   373952 |   119623      4 |    17251 |    21068
1561.15/1561.60	c 1560s |      18 |   464649 |   374352 |   119623      4 |    17251 |    21068
1563.15/1563.68	c 1562s |      18 |   464996 |   374652 |   119623      4 |    17251 |    21068
1565.65/1566.16	c 1564s |      18 |   465476 |   375052 |   119623      4 |    17251 |    21068
1568.16/1568.65	c 1567s |      18 |   465921 |   375452 |   119623      4 |    17251 |    21068
1570.15/1570.69	c 1569s |      18 |   466270 |   375752 |   119623      4 |    17251 |    21068
1572.66/1573.16	c 1571s |      18 |   466718 |   376152 |   119623      4 |    17251 |    21068
1575.25/1575.77	c 1574s |      18 |   467194 |   376552 |   119623      4 |    17251 |    21068
1577.95/1578.40	c 1577s |      18 |   467657 |   376952 |   119623      4 |    17251 |    21068
1580.05/1580.50	c 1579s |      18 |   468020 |   377252 |   119623      4 |    17251 |    21068
1582.05/1582.57	c 1581s |      18 |   468370 |   377552 |   119623      4 |    17251 |    21068
1584.05/1584.59	c 1583s |      18 |   468710 |   377852 |   119623      4 |    17251 |    21068
1586.25/1586.75	c 1585s |      18 |   469052 |   378152 |   119623      4 |    17251 |    21068
1588.25/1588.77	c 1587s |      18 |   469398 |   378452 |   119623      4 |    17251 |    21068
1590.35/1590.81	c 1589s |      18 |   469752 |   378752 |   119623      4 |    17251 |    21068
1592.85/1593.37	c 1592s |      18 |   470210 |   379152 |   119623      4 |    17251 |    21068
1595.55/1596.01	c 1594s |      18 |   470683 |   379552 |   119623      4 |    17251 |    21068
1598.05/1598.59	c 1597s |      18 |   471140 |   379952 |   119623      4 |    17251 |    21068
1600.55/1601.06	c 1599s |      18 |   471616 |   380352 |   119623      4 |    17251 |    21068
1602.95/1603.48	c 1602s |      18 |   472096 |   380752 |   119623      4 |    17251 |    21068
1605.45/1606.00	c 1604s |      18 |   472542 |   381152 |   119623      4 |    17251 |    21068
1607.85/1608.38	c 1607s |      18 |   473018 |   381552 |   119623      4 |    17251 |    21068
1609.95/1610.40	c 1609s |      18 |   473359 |   381852 |   119623      4 |    17251 |    21068
1611.94/1612.45	c 1611s |      18 |   473706 |   382152 |   119623      4 |    17251 |    21068
1613.94/1614.48	c 1613s |      18 |   474053 |   382452 |   119623      4 |    17251 |    21068
1616.55/1617.04	c 1615s |      18 |   474544 |   382852 |   119623      4 |    17251 |    21068
1618.75/1619.24	c 1617s |      18 |   474877 |   383152 |   119623      4 |    17251 |    21068
1620.84/1621.31	c 1620s |      18 |   475223 |   383452 |   119623      4 |    17251 |    21068
1623.44/1623.98	c 1622s |      18 |   475707 |   383852 |   119623      4 |    17251 |    21068
1626.14/1626.61	c 1625s |      18 |   476178 |   384252 |   119623      4 |    17251 |    21068
1628.14/1628.67	c 1627s |      18 |   476541 |   384552 |   119623      4 |    17251 |    21068
1630.74/1631.24	c 1629s |      18 |   477003 |   384952 |   119623      4 |    17251 |    21068
1633.15/1633.68	c 1632s |      18 |   477342 |   385252 |   119623      4 |    17251 |    21068
1635.35/1635.84	c 1634s |      18 |   477693 |   385552 |   119623      4 |    17251 |    21068
1637.45/1637.94	c 1636s |      18 |   478028 |   385852 |   119623      4 |    17251 |    21068
1640.04/1640.54	c 1639s |      18 |   478512 |   386252 |   119623      4 |    17251 |    21068
1642.34/1642.82	c 1641s |      18 |   478840 |   386552 |   119623      4 |    17251 |    21068
1644.94/1645.50	c 1644s |      18 |   479306 |   386952 |   119623      4 |    17251 |    21068
1647.74/1648.20	c 1646s |      18 |   479768 |   387352 |   119623      4 |    17251 |    21068
1649.94/1650.42	c 1649s |      18 |   480129 |   387652 |   119623      4 |    17251 |    21068
1652.04/1652.58	c 1651s |      18 |   480470 |   387952 |   119623      4 |    17251 |    21068
1654.24/1654.79	c 1653s |      18 |   480822 |   388252 |   119623      4 |    17251 |    21068
1656.34/1656.89	c 1655s |      18 |   481180 |   388552 |   119623      4 |    17251 |    21068
1658.64/1659.14	c 1657s |      18 |   481516 |   388852 |   119623      4 |    17251 |    21068
1660.64/1661.18	c 1659s |      18 |   481883 |   389152 |   119623      4 |    17251 |    21068
1663.14/1663.64	c 1662s |      18 |   482347 |   389552 |   119623      4 |    17251 |    21068
1665.64/1666.18	c 1664s |      18 |   482827 |   389952 |   119623      4 |    17251 |    21068
1667.94/1668.47	c 1667s |      18 |   483296 |   390352 |   119623      4 |    17251 |    21068
1670.44/1670.91	c 1669s |      18 |   483789 |   390752 |   119623      4 |    17251 |    21068
1672.74/1673.28	c 1672s |      18 |   484265 |   391152 |   119623      4 |    17251 |    21068
1674.94/1675.49	c 1674s |      18 |   484486 |   391352 |   119623      5 |    17251 |    21068
1677.33/1677.80	c 1676s |      18 |   484845 |   391652 |   119623      5 |    17251 |    21068
1681.93/1682.44	c 1681s |      18 |   485296 |   392052 |   119623      5 |    17251 |    21068
1687.23/1687.71	c 1686s |      18 |   485735 |   392452 |   119623      5 |    17251 |    21068
1689.53/1690.09	c 1688s |      18 |   486227 |   392852 |   119623      5 |    17251 |    21068
1691.83/1692.39	c 1691s |      18 |   486694 |   393252 |   119623      5 |    17251 |    21068
1694.23/1694.75	c 1693s |      18 |   487143 |   393652 |   119623      5 |    17251 |    21068
1696.63/1697.13	c 1695s |      18 |   487615 |   394052 |   119623      5 |    17251 |    21068
1698.92/1699.45	c 1698s |      18 |   488083 |   394452 |   119623      5 |    17251 |    21068
1701.12/1701.62	c 1700s |      18 |   488530 |   394852 |   119623      5 |    17251 |    21068
1704.82/1705.37	c 1704s |      18 |   488895 |   395152 |   119623      5 |    17251 |    21068
1707.02/1707.50	c 1706s |      18 |   489146 |   395352 |   119623      5 |    17251 |    21068
1709.03/1709.55	c 1708s |      18 |   489623 |   395752 |   119623      5 |    17251 |    21068
1711.23/1711.76	c 1710s |      18 |   490271 |   396252 |   119623      5 |    17251 |    21068
1713.72/1714.24	c 1712s |      18 |   490864 |   396752 |   119623      5 |    17251 |    21068
1715.82/1716.36	c 1715s |      18 |   491311 |   397152 |   119623      5 |    17251 |    21068
1718.12/1718.62	c 1717s |      18 |   491793 |   397552 |   119623      5 |    17251 |    21068
1720.32/1720.83	c 1719s |      18 |   492227 |   397952 |   119623      5 |    17251 |    21068
1722.72/1723.25	c 1721s |      18 |   492711 |   398352 |   119623      5 |    17251 |    21068
1724.82/1725.30	c 1724s |      18 |   493180 |   398752 |   119623      5 |    17251 |    21068
1726.82/1727.33	c 1726s |      18 |   493679 |   399152 |   119623      5 |    17251 |    21068
1729.02/1729.55	c 1728s |      18 |   494153 |   399552 |   119623      5 |    17251 |    21068
1731.12/1731.65	c 1730s |      18 |   494680 |   399952 |   119623      5 |    17251 |    21068
1733.32/1733.83	c 1732s |      18 |   495179 |   400352 |   119623      5 |    17251 |    21068
1735.42/1735.92	c 1734s |      18 |   495688 |   400752 |   119623      5 |    17251 |    21068
1737.72/1738.23	c 1736s |      18 |   496179 |   401152 |   119623      5 |    17251 |    21068
1740.02/1740.52	c 1739s |      18 |   496642 |   401552 |   119623      5 |    17251 |    21068
1742.22/1742.78	c 1741s |      18 |   497281 |   402052 |   119623      5 |    17251 |    21068
1744.52/1745.01	c 1743s |      18 |   497786 |   402452 |   119623      5 |    17251 |    21068
1746.52/1747.06	c 1745s |      18 |   498305 |   402852 |   119623      5 |    17251 |    21068
1748.62/1749.20	c 1747s |      18 |   498753 |   403252 |   119623      5 |    17251 |    21068
1750.91/1751.45	c 1750s |      18 |   499243 |   403652 |   119623      5 |    17251 |    21068
1753.41/1753.91	c 1752s |      18 |   499860 |   404152 |   119623      5 |    17251 |    21068
1755.51/1756.09	c 1754s |      18 |   500368 |   404552 |   119623      5 |    17251 |    21068
1757.81/1758.31	c 1757s |      18 |   500856 |   404952 |   119623      5 |    17251 |    21068
1759.91/1760.49	c 1759s |      18 |   501333 |   405352 |   119623      5 |    17251 |    21068
1762.31/1762.84	c 1761s |      18 |   501847 |   405752 |   119623      5 |    17251 |    21068
1764.61/1765.11	c 1763s |      18 |   502336 |   406152 |   119623      5 |    17251 |    21068
1766.71/1767.23	c 1765s |      18 |   502831 |   406552 |   119623      5 |    17251 |    21068
1769.11/1769.60	c 1768s |      18 |   503320 |   406952 |   119623      5 |    17251 |    21068
1771.41/1771.96	c 1770s |      18 |   503793 |   407352 |   119623      5 |    17251 |    21068
1773.71/1774.24	c 1772s |      18 |   504268 |   407752 |   119623      5 |    17251 |    21068
1776.02/1776.58	c 1775s |      18 |   504724 |   408152 |   119623      5 |    17251 |    21068
1778.51/1779.03	c 1777s |      18 |   505215 |   408552 |   119623      5 |    17251 |    21068
1780.52/1781.04	c 1779s |      18 |   505618 |   408852 |   119623      5 |    17251 |    21068
1783.01/1783.51	c 1782s |      18 |   506098 |   409252 |   119623      5 |    17251 |    21068
1785.41/1785.91	c 1784s |      18 |   506589 |   409652 |   119623      5 |    17251 |    21068
1787.71/1788.22	c 1786s |      18 |   507062 |   410052 |   119623      5 |    17251 |    21068
1790.11/1790.68	c 1789s |      18 |   507536 |   410452 |   119623      5 |    17251 |    21068
1792.41/1792.97	c 1791s |      18 |   508077 |   410852 |   119623      5 |    17251 |    21068
1795.01/1795.55	c 1794s |      18 |   508542 |   411252 |   119623      5 |    17251 |    21068
1797.11/1797.64	c 1796s |      18 |   508875 |   411552 |   119623      5 |    17251 |    21068
1799.11/1799.68	c 1798s |      18 |   509216 |   411852 |   119623      5 |    17251 |    21068

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

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.26 2.19 4/180 6896
/proc/meminfo: memFree=29014076/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=594364 CPUtime=0 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 2195 0 0 0 0 0 0 0 20 0 4 0 109258598 608628736 2045 33554432000 4194304 16246674 140733694355008 140733694354432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6896/statm: 148847 2052 441 2943 0 145741 0
[pid=6896/tid=6897] ppid=6893 vsize=600508 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 614920192 2068 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=600508 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 614920192 2068 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=600508 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109258599 614920192 2072 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.29 2.26 2.19 4/180 6896
/proc/meminfo: memFree=29014076/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 25400 0 0 0 5 4 0 0 20 0 4 0 109258598 1333334016 25188 33554432000 4194304 16246674 140733694355008 140733694354320 8057278 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6896/statm: 325521 25202 801 2943 0 322415 0
[pid=6896/tid=6897] ppid=6893 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1333334016 25213 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1333334016 25225 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1333334016 25235 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200463 s]
/proc/loadavg: 2.29 2.26 2.19 4/180 6896
/proc/meminfo: memFree=29014076/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 47359 0 0 0 12 7 0 0 20 0 4 0 109258598 1342771200 47657 33554432000 4194304 16246674 140733694355008 140733694354320 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6896/statm: 327825 47663 801 2943 0 324719 0
[pid=6896/tid=6897] ppid=6893 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1342771200 47667 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1342771200 47672 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1342771200 47677 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300466 s]
/proc/loadavg: 2.29 2.26 2.19 4/180 6896
/proc/meminfo: memFree=29014076/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 54700 0 0 0 21 8 0 0 20 0 4 0 109258598 1344868352 54998 33554432000 4194304 16246674 140733694355008 140733694352832 8058611 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 328337 54998 801 2943 0 325231 0
[pid=6896/tid=6897] ppid=6893 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1344868352 54998 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1344868352 54998 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1344868352 54998 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700389 s]
/proc/loadavg: 2.29 2.26 2.19 4/180 6896
/proc/meminfo: memFree=29014076/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 69257 0 0 0 58 10 0 0 20 0 4 0 109258598 1344868352 69555 33554432000 4194304 16246674 140733694355008 140733694352832 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 328337 69563 837 2943 0 325231 0
[pid=6896/tid=6897] ppid=6893 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1344868352 69567 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1344868352 69573 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1344868352 69578 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.29 2.26 2.19 4/184 6900
/proc/meminfo: memFree=28529612/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1318468 CPUtime=1.49 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 122193 0 0 0 130 19 0 0 20 0 4 0 109258598 1350111232 122491 33554432000 4194304 16246674 140733694355008 140733694354320 6837016 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 329617 122491 882 2943 0 326511 0
[pid=6896/tid=6897] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 122491 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 122491 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 122491 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10039 s]
/proc/loadavg: 2.29 2.26 2.19 4/184 6900
/proc/meminfo: memFree=28206336/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1318468 CPUtime=3.08 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 270290 0 0 0 270 38 0 0 20 0 4 0 109258598 1350111232 270588 33554432000 4194304 16246674 140733694355008 140733694336896 5823549 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 329617 270588 885 2943 0 326511 0
[pid=6896/tid=6897] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270588 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270588 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270588 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1318468

[startup+6.30039 s]
/proc/loadavg: 2.35 2.27 2.19 3/184 6900
/proc/meminfo: memFree=27931828/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1318468 CPUtime=6.28 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 270296 0 0 0 590 38 0 0 20 0 4 0 109258598 1350111232 270594 33554432000 4194304 16246674 140733694355008 140733694336896 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 329617 270594 889 2943 0 326511 0
[pid=6896/tid=6897] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.32 2.26 2.19 3/183 6900
/proc/meminfo: memFree=27932016/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1318468 CPUtime=12.68 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 270296 0 0 0 1230 38 0 0 20 0 4 0 109258598 1350111232 270594 33554432000 4194304 16246674 140733694355008 140733694336896 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 329617 270594 889 2943 0 326511 0
[pid=6896/tid=6897] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.25 2.25 2.19 3/182 6900
/proc/meminfo: memFree=27931600/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1318468 CPUtime=25.48 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 270296 0 0 0 2510 38 0 0 20 0 4 0 109258598 1350111232 270594 33554432000 4194304 16246674 140733694355008 140733694336896 5722604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 329617 270594 889 2943 0 326511 0
[pid=6896/tid=6897] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270594 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.16 2.23 2.18 3/182 6900
/proc/meminfo: memFree=27931196/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 270298 0 0 0 5070 38 0 0 20 0 4 0 109258598 1350111232 270596 33554432000 4194304 16246674 140733694355008 140733694336896 5823694 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 329617 270596 891 2943 0 326511 0
[pid=6896/tid=6897] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270596 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270596 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270596 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.14 2.21 2.18 3/183 6902
/proc/meminfo: memFree=27931080/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 270299 0 0 0 10190 38 0 0 20 0 4 0 109258598 1350111232 270597 33554432000 4194304 16246674 140733694355008 140733694336896 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 329617 270597 892 2943 0 326511 0
[pid=6896/tid=6897] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270597 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270597 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1350111232 270597 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1376836

[startup+1362.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 7127
/proc/meminfo: memFree=27908520/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1361.88 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285229 0 0 0 136145 43 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1376836

[startup+1422.3 s]
/proc/loadavg: 2.13 2.22 2.18 3/183 7128
/proc/meminfo: memFree=27907996/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1421.88 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 142144 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1376836

[startup+1482.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 7130
/proc/meminfo: memFree=27907268/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1481.86 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 148142 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1376836

[startup+1542.31 s]
/proc/loadavg: 2.23 2.22 2.18 4/183 7131
/proc/meminfo: memFree=27907076/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1541.86 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 154142 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1376836

[startup+1602.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/183 7132
/proc/meminfo: memFree=27907572/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1601.85 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 160141 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1376836

[startup+1662.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 7133
/proc/meminfo: memFree=27907476/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1661.84 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 166140 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1376836

[startup+1722.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 7134
/proc/meminfo: memFree=27907308/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1721.82 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 172138 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5677179 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1376836

[startup+1782.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/184 7139
/proc/meminfo: memFree=27907240/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1781.81 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 178137 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1376836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.22 2.18 3/184 7140
/proc/meminfo: memFree=27907104/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1800.01 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 179957 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1376836

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.22 2.18 3/184 7140
/proc/meminfo: memFree=27907104/32872528 swapFree=15644/1722384
[pid=6896] ppid=6893 vsize=1376836 CPUtime=1800.01 cores=0,2,4,6
/proc/6896/stat : 6896 (toysat) R 6893 6896 4315 0 -1 4202496 285250 0 0 0 179957 44 0 0 20 0 4 0 109258598 1409880064 285446 33554432000 4194304 16246674 140733694355008 140733694336896 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6896/statm: 344209 285446 892 2943 0 341103 0
[pid=6896/tid=6897] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6897/stat : 6897 (toysat) S 6893 6896 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634020429040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6896/tid=6898] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6898/stat : 6898 (toysat) S 6893 6896 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139634009939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6896/tid=6899] ppid=6893 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/6896/task/6899/stat : 6899 (toysat) S 6893 6896 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109258599 1409880064 285446 33554432000 4194304 16246674 140733694355008 139633999465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1376836

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.58
CPU system time (s): 0.449931
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1376836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.449931
maximum resident set size= 1141784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285250
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= 373
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6103 second user time and 6.89095 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 06:20:50
IDJOB=4078829
IDBENCH=73968
IDSOLVER=2542
FILE ID=node120/4078829-1465273250
RUNJOBID= node120-1465256721-4331
PBS_JOBID= 19843284
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_7-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078829-1465273250/watcher-4078829-1465273250 -o /tmp/evaluation-result-4078829-1465273250/solver-4078829-1465273250 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078829-1465273250.opb

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

MD5SUM BENCH= dcebcc122dcddcac4192e5e5bf5bd3e3
RANDOM SEED=1966337540

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29014076 kB
Buffers:          103380 kB
Cached:           129964 kB
SwapCached:         1476 kB
Active:          1269568 kB
Inactive:         115572 kB
Active(anon):    1150668 kB
Inactive(anon):     3252 kB
Active(file):     118900 kB
Inactive(file):   112320 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             19092 kB
Writeback:             0 kB
AnonPages:       2872872 kB
Mapped:            12052 kB
Shmem:                 0 kB
Slab:             615388 kB
SReclaimable:      59312 kB
SUnreclaim:       556076 kB
KernelStack:        1456 kB
PageTables:         9740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3019032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 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= 71696 MiB
End job on node120 at 2016-06-07 06:50:51