Trace number 4107957

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12052_5-unsat.opb
MD5SUM2ff183c8695f0992ee4ac0210b2026e7
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 variables37752
Total number of constraints131628
Number of constraints which are clauses131008
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints620
Minimum length of a constraint1
Maximum length of a constraint96
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 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 531
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T00:57:11+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-4107957-1466290631.opb"]
0.00/0.01	c use --random-gen="3503955575 977874488 1433092893 387394948 2837880445 700478263 2709680010 1283768461 3914662776 3335261699 4000116170 790684684 3090862100 2756345828 2387780088 1367368020 80291899 363880695 3828946516 3517464458 3249627708 1188091827 1494531359 3441046314 2259035604 3272731543 2709091437 2248046103 4031465434 1929192654 1581196987 1303411425 3194636051 3350934062 2007221880 584965042 4003279804 3131820406 2016005257 2696637064 537076206 2504173574 4183012802 686102979 3655541836 254850950 3282832972 838059816 3833305957 2656496903 3757095360 3252813500 3516478952 1978745640 40371871 561346881 916241196 647918875 3708204504 3918557013 2283447609 63741107 2619346182 931584231 3177966588 2423329544 1580802503 3015130627 4183643053 989741545 1271805973 4099689356 2942884211 3785863620 202219990 655485223 2354306147 2933068450 1619113316 2790271476 1161465092 2375417752 895481677 3973051300 312865818 3034626075 2229518593 824227448 311508835 3629472200 1935940711 685826006 159287774 4091302792 2316726925 2400525075 3841017368 1394571769 3428759887 3278506271 3630548166 860851783 2766769002 211983637 2633886441 1491686420 2554416291 2816470679 4166313716 3241029064 2123915302 398880399 1658244171 1253392504 1774149253 2126756909 1823890896 3435242922 2375673846 4217960443 2052868852 2769083195 284953930 2478183455 614667311 180871490 2316920270 3776355191 3034973890 2198482108 2763350847 3728532486 4211821313 113292434 3186568579 2931522159 3837816953 1038560793 2330211921 1114818239 761631477 2270208099 2829404977 641182378 2142880370 1955020708 3580991059 3749266257 1873782649 78298387 131301619 1939401898 1580399092 1728500584 3160887498 2630418716 79373974 835984173 1743328491 1914138937 681631748 3975933996 3209871519 2034642454 2376137142 637787568 3845933794 1847997792 1552755970 3829085071 3675622904 3607627916 3047809624 3302734961 2104124605 2843102832 3840816045 303330145 4245336807 2409187420 3307628269 1553599638 1322604406 515706160 2931920226 2160304172 3264400594 162998772 1509317862 529844124 3921470557 105394637 1169709747 3340804802 2361282022 269900670 1500594270 2706684537 61274764 929412864 32920601 2665125721 2576639201 2703270324 1294946073 3182162050 4263531316 1849936915 4012325202 2359158842 2828857767 4123336455 2422728442 1184238180 3959019965 3466504816 2537475572 1539019547 176405611 4101084608 438450508 699465231 1808011273 631821817 1935405782 2580553172 1248097093 1275601988 2577798221 3147035538 3675593753 681786811 3758229798 760721116 3019246756 3889972942 3129916380 809703879 3899927749 3707465090 2045059465 1259630706 1936484491 3035539158 1772703850 143046313 4122513698 3218242996 2720488228 813030803 2283821143 2903534114 654197853 3416168342 4265170589 880779351 255 362436" option to reproduce the execution
0.69/0.78	c #vars 37752
0.69/0.78	c #constraints 131628
1.89/1.93	c Solving starts ...
1.89/1.93	c ============================[ Search Statistics ]============================
1.89/1.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.93	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.93	c =============================================================================
1.99/2.08	c  0.0s |       0 |        0 |        0 |    37073      0 |    22500 |        0
2.30/2.31	c  0.2s |       1 |      169 |      100 |    37073      0 |    22500 |    29699
2.49/2.55	c  0.5s |       2 |      435 |      250 |    40781      0 |    22500 |    29699
2.99/3.06	c  1.0s |       3 |      784 |      475 |    44860      0 |    22500 |    29699
3.69/3.76	c  1.7s |       4 |     1249 |      813 |    49347      0 |    22500 |    29699
4.39/4.47	c  2.4s |       5 |     2025 |     1320 |    54282      0 |    22500 |    29699
5.79/5.84	c  3.8s |       6 |     2980 |     2081 |    65683      0 |    22500 |    29699
7.79/7.88	c  5.8s |       6 |     4659 |     3181 |    65683      0 |    22500 |    29699
7.89/7.95	c  5.9s |       7 |     4699 |     3223 |    72252      0 |    22500 |    29699
9.99/10.08	c  8.0s |       7 |     6553 |     4523 |    72252      0 |    22500 |    29699
10.68/10.75	c  8.7s |       8 |     7056 |     4936 |    79478      0 |    22500 |    29699
12.79/12.82	c 10.7s |       8 |     8489 |     5936 |    79478      0 |    22500 |    29699
14.88/14.97	c 12.9s |       8 |     9903 |     6936 |    79478      0 |    22500 |    29699
16.18/16.28	c 14.2s |       9 |    10673 |     7506 |    87426      0 |    22500 |    29699
18.38/18.42	c 16.3s |       9 |    12373 |     8706 |    87426      0 |    22536 |    29825
20.58/20.60	c 18.5s |       9 |    13828 |     9806 |    87426      0 |    22536 |    29825
22.58/22.62	c 20.5s |       9 |    15310 |    10906 |    87426      0 |    22536 |    29825
23.38/23.43	c 21.4s |      10 |    15869 |    11361 |    96169      0 |    22536 |    29825
25.48/25.52	c 23.4s |      10 |    17404 |    12461 |    96169      0 |    22536 |    29825
27.59/27.62	c 25.5s |      10 |    18964 |    13561 |    96169      0 |    22536 |    29825
29.58/29.69	c 27.6s |      10 |    20465 |    14661 |    96169      0 |    22536 |    29825
31.78/31.80	c 29.7s |      10 |    21628 |    15561 |    96169      0 |    22536 |    29825
33.88/33.94	c 31.9s |      10 |    22861 |    16561 |    96169      0 |    22536 |    29825
35.08/35.16	c 33.1s |      11 |    23605 |    17144 |   105786      0 |    22536 |    29825
37.28/37.33	c 35.3s |      11 |    25024 |    18244 |   105786      0 |    22536 |    29825
39.38/39.43	c 37.4s |      11 |    26144 |    19144 |   105786      0 |    22536 |    29825
41.58/41.64	c 39.6s |      11 |    27278 |    20044 |   105786      0 |    22536 |    29825
43.68/43.77	c 41.7s |      11 |    28456 |    21044 |   105786      0 |    22536 |    29825
45.99/46.00	c 43.9s |      11 |    29828 |    22144 |   105786      0 |    22536 |    29825
48.19/48.20	c 46.1s |      11 |    31007 |    23044 |   105786      0 |    22536 |    29825
50.29/50.39	c 48.3s |      11 |    32168 |    23944 |   105786      0 |    22536 |    29825
52.39/52.44	c 50.4s |      11 |    33251 |    24844 |   105786      0 |    22536 |    29825
54.49/54.55	c 52.5s |      11 |    34262 |    25644 |   105786      0 |    22536 |    29825
54.89/55.00	c 52.9s |      12 |    34479 |    25819 |   116365      0 |    22536 |    29825
57.09/57.14	c 55.1s |      12 |    35904 |    26719 |   116365      0 |    22536 |    29825
59.09/59.19	c 57.1s |      12 |    37661 |    27919 |   116365      0 |    22536 |    29825
61.28/61.37	c 59.3s |      12 |    38983 |    28919 |   116365      0 |    22536 |    29825
63.38/63.47	c 61.4s |      12 |    40333 |    29919 |   116365      0 |    22536 |    29825
65.58/65.62	c 63.5s |      12 |    41541 |    30819 |   116365      0 |    22536 |    29825
67.78/67.84	c 65.8s |      12 |    42854 |    31719 |   116365      0 |    22536 |    29825
69.98/70.04	c 68.0s |      12 |    44012 |    32619 |   116365      0 |    22536 |    29825
72.18/72.20	c 70.1s |      12 |    45029 |    33419 |   116365      0 |    22536 |    29825
74.28/74.36	c 72.3s |      12 |    46308 |    34319 |   116365      0 |    22536 |    29825
76.38/76.41	c 74.3s |      12 |    47473 |    35219 |   116365      0 |    22536 |    29825
78.58/78.65	c 76.6s |      12 |    48664 |    36119 |   116365      0 |    22536 |    29825
80.78/80.83	c 78.8s |      12 |    49943 |    37119 |   116365      0 |    22536 |    29825
82.78/82.88	c 80.8s |      12 |    51032 |    37919 |   116365      0 |    22536 |    29825
84.88/84.92	c 82.8s |      12 |    52063 |    38719 |   128002      0 |    22536 |    29825
85.08/85.19	c 83.1s |      13 |    52200 |    38832 |   128002      0 |    22536 |    29825
87.38/87.42	c 85.3s |      13 |    53247 |    39632 |   128002      0 |    22536 |    29825
89.58/89.68	c 87.6s |      13 |    54271 |    40432 |   128002      0 |    22536 |    29825
91.58/91.69	c 89.6s |      13 |    55541 |    41332 |   128002      0 |    22536 |    29825
93.68/93.70	c 91.6s |      13 |    56552 |    42132 |   128002      0 |    22536 |    29825
95.79/95.84	c 93.8s |      13 |    57742 |    42932 |   128002      0 |    22536 |    29825
97.89/97.95	c 95.9s |      13 |    59002 |    43832 |   128002      0 |    22536 |    29825
99.98/100.08	c 98.0s |      13 |    60137 |    44632 |   128002      0 |    22536 |    29825
102.08/102.18	c  100s |      13 |    61221 |    45432 |   128002      0 |    22536 |    29825
104.18/104.25	c  102s |      13 |    62127 |    46132 |   128002      0 |    22536 |    29825
106.48/106.56	c  104s |      13 |    62993 |    46832 |   128002      0 |    22536 |    29825
108.78/108.83	c  106s |      13 |    64179 |    47632 |   128002      0 |    22536 |    29825
111.08/111.12	c  109s |      13 |    65424 |    48532 |   128002      0 |    22536 |    29825
113.28/113.33	c  111s |      13 |    66456 |    49332 |   128002      0 |    22536 |    29825
115.48/115.54	c  113s |      13 |    67533 |    50132 |   128002      0 |    22536 |    29825
117.78/117.84	c  115s |      13 |    68746 |    51032 |   128002      0 |    22536 |    29825
119.98/120.03	c  117s |      13 |    69669 |    51732 |   128002      0 |    22536 |    29825
122.08/122.14	c  120s |      13 |    70420 |    52332 |   128002      0 |    22536 |    29825
124.28/124.30	c  122s |      13 |    71454 |    53032 |   128002      0 |    22536 |    29825
126.48/126.58	c  124s |      13 |    72592 |    53832 |   128002      0 |    22536 |    29825
128.57/128.68	c  126s |      13 |    73481 |    54532 |   128002      0 |    22536 |    29825
130.77/130.84	c  128s |      13 |    74771 |    55432 |   128002      0 |    22536 |    29825
132.77/132.88	c  130s |      13 |    75839 |    56232 |   128002      0 |    22536 |    29825
134.87/134.96	c  132s |      13 |    76889 |    57032 |   128002      0 |    22536 |    29825
137.07/137.16	c  135s |      13 |    78090 |    57932 |   128002      0 |    22536 |    29825
138.37/138.44	c  136s |      14 |    78590 |    58352 |   140803      0 |    22536 |    29825
140.37/140.47	c  138s |      14 |    79436 |    58952 |   140803      0 |    22536 |    29825
142.67/142.72	c  140s |      14 |    80397 |    59652 |   140803      0 |    22536 |    29825
144.97/145.02	c  142s |      14 |    81326 |    60352 |   140803      0 |    22536 |    29825
147.17/147.28	c  145s |      14 |    82345 |    61152 |   140803      0 |    22536 |    29825
149.17/149.29	c  147s |      14 |    83382 |    61952 |   140803      0 |    22536 |    29825
151.27/151.34	c  149s |      14 |    84649 |    62952 |   140803      0 |    22536 |    29825
153.27/153.39	c  151s |      14 |    85746 |    63852 |   140803      0 |    22536 |    29825
155.47/155.55	c  153s |      14 |    86844 |    64752 |   140803      0 |    22536 |    29825
157.67/157.76	c  155s |      14 |    87979 |    65652 |   140803      0 |    22536 |    29825
159.87/159.96	c  157s |      14 |    89045 |    66452 |   140803      0 |    22536 |    29825
161.87/161.96	c  159s |      14 |    89938 |    67152 |   140803      0 |    22536 |    29825
163.97/164.07	c  161s |      14 |    90803 |    67852 |   140803      0 |    22536 |    29825
166.07/166.17	c  164s |      14 |    91897 |    68652 |   140803      0 |    22536 |    29825
168.27/168.36	c  166s |      14 |    92956 |    69452 |   140803      0 |    22536 |    29825
170.57/170.63	c  168s |      14 |    93845 |    70152 |   140803      0 |    22536 |    29825
172.56/172.68	c  170s |      14 |    94711 |    70852 |   140803      0 |    22536 |    29825
174.66/174.77	c  172s |      14 |    95534 |    71552 |   140803      0 |    22536 |    29825
176.86/176.91	c  174s |      14 |    96410 |    72252 |   140803      0 |    22536 |    29825
178.86/178.94	c  176s |      14 |    97306 |    72952 |   140803      0 |    22536 |    29825
181.16/181.28	c  179s |      14 |    98158 |    73652 |   140803      0 |    22536 |    29825
183.46/183.59	c  181s |      14 |    98848 |    74252 |   140803      0 |    22536 |    29825
185.76/185.88	c  183s |      14 |    99647 |    74852 |   140803      0 |    22536 |    29825
188.07/188.17	c  186s |      14 |   100501 |    75552 |   140803      0 |    22536 |    29825
190.16/190.21	c  188s |      14 |   101225 |    76152 |   140803      0 |    22536 |    29825
192.16/192.26	c  190s |      14 |   102051 |    76852 |   140803      0 |    22536 |    29825
194.26/194.39	c  192s |      14 |   102793 |    77452 |   140803      0 |    22536 |    29825
196.56/196.65	c  194s |      14 |   103419 |    77952 |   140803      0 |    22536 |    29825
198.66/198.73	c  196s |      14 |   104024 |    78452 |   140803      0 |    22536 |    29825
200.76/200.80	c  198s |      14 |   104707 |    79052 |   140803      0 |    22536 |    29825
203.06/203.11	c  201s |      14 |   105402 |    79652 |   140803      0 |    22536 |    29825
205.46/205.52	c  203s |      14 |   106096 |    80252 |   140803      0 |    22536 |    29825
207.56/207.64	c  205s |      14 |   106679 |    80752 |   140803      0 |    22536 |    29825
209.66/209.72	c  207s |      14 |   107324 |    81252 |   140803      0 |    22536 |    29825
211.66/211.75	c  209s |      14 |   107839 |    81652 |   140803      0 |    22536 |    29825
214.06/214.19	c  212s |      14 |   108514 |    82152 |   140803      0 |    22536 |    29825
216.66/216.72	c  214s |      14 |   109140 |    82652 |   140803      0 |    22536 |    29825
218.65/218.78	c  216s |      14 |   109718 |    83052 |   140803      0 |    22536 |    29825
220.95/221.10	c  219s |      14 |   110463 |    83552 |   140803      0 |    22536 |    29825
223.26/223.37	c  221s |      14 |   111276 |    84052 |   140803      0 |    22536 |    29825
225.46/225.55	c  223s |      14 |   112139 |    84652 |   140803      0 |    22536 |    29825
227.76/227.86	c  225s |      14 |   112830 |    85152 |   140803      0 |    22536 |    29825
229.96/230.08	c  227s |      14 |   113504 |    85652 |   140803      0 |    22536 |    29825
232.25/232.30	c  230s |      14 |   114207 |    86152 |   140803      0 |    22536 |    29825
234.36/234.40	c  232s |      14 |   114698 |    86552 |   140803      0 |    22536 |    29825
236.56/236.68	c  234s |      14 |   115346 |    87052 |   154884      0 |    22536 |    29825
239.05/239.11	c  237s |      14 |   116018 |    87552 |   154884      0 |    22536 |    29825
239.45/239.52	c  237s |      15 |   116142 |    87632 |   154884      0 |    22536 |    29825
241.65/241.79	c  239s |      15 |   117003 |    88232 |   154884      0 |    22536 |    29825
243.95/244.06	c  241s |      15 |   118018 |    89032 |   154884      0 |    22536 |    29825
245.95/246.09	c  244s |      15 |   118877 |    89732 |   154884      0 |    22536 |    29825
248.05/248.17	c  246s |      15 |   119785 |    90432 |   154884      0 |    22536 |    29825
250.15/250.20	c  248s |      15 |   120612 |    91132 |   154884      0 |    22536 |    29825
252.25/252.32	c  250s |      15 |   121344 |    91732 |   154884      0 |    22536 |    29825
254.35/254.47	c  252s |      15 |   122168 |    92332 |   154884      0 |    22536 |    29825
256.45/256.52	c  254s |      15 |   122995 |    93032 |   154884      0 |    22536 |    29825
258.65/258.73	c  256s |      15 |   123956 |    93832 |   154884      0 |    22536 |    29825
260.85/260.95	c  258s |      15 |   124802 |    94532 |   154884      0 |    22536 |    29825
262.95/263.03	c  260s |      15 |   125600 |    95132 |   154884      0 |    22536 |    29825
265.25/265.32	c  263s |      15 |   126481 |    95832 |   154884      0 |    22536 |    29825
267.45/267.58	c  265s |      15 |   127351 |    96432 |   154884      0 |    22536 |    29825
269.75/269.84	c  267s |      15 |   128273 |    97032 |   154884      0 |    22536 |    29825
271.75/271.86	c  269s |      15 |   128939 |    97532 |   154884      0 |    22536 |    29825
274.05/274.13	c  272s |      15 |   129838 |    98132 |   154884      0 |    22536 |    29825
276.45/276.52	c  274s |      15 |   130659 |    98732 |   154884      0 |    22536 |    29825
278.84/278.90	c  276s |      15 |   131435 |    99332 |   154884      0 |    22536 |    29825
280.84/280.92	c  278s |      15 |   132058 |    99832 |   154884      0 |    22536 |    29825
283.24/283.30	c  281s |      15 |   132999 |   100432 |   154884      0 |    22536 |    29825
285.64/285.75	c  283s |      15 |   133687 |   100932 |   154884      0 |    22536 |    29825
287.94/288.03	c  285s |      15 |   134562 |   101532 |   154884      0 |    22536 |    29825
290.24/290.35	c  288s |      15 |   135301 |   102032 |   154884      0 |    22536 |    29825
292.24/292.37	c  290s |      15 |   135959 |   102532 |   154884      0 |    22536 |    29825
294.64/294.71	c  292s |      15 |   136778 |   103132 |   154884      0 |    22536 |    29825
296.84/296.95	c  294s |      15 |   137406 |   103632 |   154884      0 |    22536 |    29825
299.15/299.27	c  297s |      15 |   138060 |   104132 |   154884      0 |    22536 |    29825
301.45/301.56	c  299s |      15 |   138816 |   104732 |   154884      0 |    22536 |    29825
303.74/303.81	c  301s |      15 |   139580 |   105332 |   154884      0 |    22536 |    29825
306.04/306.11	c  304s |      15 |   140340 |   105932 |   154884      0 |    22536 |    29825
308.14/308.25	c  306s |      15 |   141038 |   106432 |   154884      0 |    22536 |    29825
310.44/310.55	c  308s |      15 |   141743 |   106932 |   154884      0 |    22536 |    29825
312.45/312.55	c  310s |      15 |   142447 |   107432 |   154884      0 |    22536 |    29825
314.55/314.68	c  312s |      15 |   143123 |   107932 |   154884      0 |    22536 |    29825
316.94/317.07	c  314s |      15 |   143789 |   108432 |   154884      0 |    22536 |    29825
319.24/319.34	c  317s |      15 |   144535 |   108932 |   154884      0 |    22542 |    29846
321.25/321.35	c  319s |      15 |   145281 |   109432 |   154884      0 |    22542 |    29846
323.64/323.75	c  321s |      15 |   145906 |   109932 |   154884      0 |    22542 |    29846
325.74/325.86	c  323s |      15 |   146650 |   110532 |   154884      0 |    22542 |    29846
327.84/327.95	c  325s |      15 |   147418 |   111132 |   154884      0 |    22542 |    29846
330.04/330.18	c  328s |      15 |   148131 |   111732 |   154884      0 |    22542 |    29846
332.24/332.35	c  330s |      15 |   148864 |   112332 |   154884      0 |    22542 |    29846
334.34/334.46	c  332s |      15 |   149522 |   112832 |   154884      0 |    22542 |    29846
336.43/336.52	c  334s |      15 |   150174 |   113332 |   154884      0 |    22542 |    29846
338.74/338.81	c  336s |      15 |   150809 |   113832 |   154884      0 |    22542 |    29846
340.83/340.98	c  338s |      15 |   151426 |   114332 |   154884      0 |    22542 |    29846
343.24/343.40	c  341s |      15 |   152158 |   114932 |   154884      0 |    22542 |    29846
345.63/345.72	c  343s |      15 |   152767 |   115432 |   154884      0 |    22542 |    29846
347.93/348.03	c  345s |      15 |   153543 |   116032 |   154884      0 |    22542 |    29846
350.33/350.44	c  348s |      15 |   154140 |   116532 |   154884      0 |    22542 |    29846
352.73/352.83	c  350s |      15 |   154876 |   117132 |   154884      0 |    22542 |    29846
355.03/355.11	c  353s |      15 |   155499 |   117632 |   154884      0 |    22542 |    29846
357.03/357.12	c  355s |      15 |   156108 |   118132 |   154884      0 |    22542 |    29846
359.13/359.25	c  357s |      15 |   156803 |   118632 |   154884      0 |    22542 |    29846
361.23/361.38	c  359s |      15 |   157568 |   119132 |   154884      0 |    22542 |    29846
363.63/363.70	c  361s |      15 |   158411 |   119732 |   154884      0 |    22542 |    29846
365.63/365.71	c  363s |      15 |   159169 |   120232 |   154884      0 |    22542 |    29846
367.73/367.89	c  365s |      15 |   159922 |   120832 |   154884      0 |    22542 |    29846
369.93/370.05	c  367s |      15 |   160620 |   121332 |   154884      0 |    22542 |    29846
372.13/372.22	c  370s |      15 |   161362 |   121832 |   154884      0 |    22542 |    29846
374.23/374.36	c  372s |      15 |   161960 |   122332 |   154884      0 |    22542 |    29846
376.33/376.47	c  374s |      15 |   162652 |   122832 |   154884      0 |    22542 |    29846
378.34/378.50	c  376s |      15 |   163320 |   123332 |   154884      0 |    22542 |    29846
380.73/380.81	c  378s |      15 |   163960 |   123832 |   154884      0 |    22542 |    29846
383.03/383.14	c  381s |      15 |   164526 |   124332 |   154884      0 |    22542 |    29846
385.33/385.49	c  383s |      15 |   165129 |   124832 |   154884      0 |    22542 |    29846
387.53/387.63	c  385s |      15 |   165751 |   125332 |   154884      0 |    22542 |    29846
389.73/389.87	c  387s |      15 |   166389 |   125832 |   154884      0 |    22542 |    29846
392.23/392.30	c  390s |      15 |   167145 |   126432 |   154884      0 |    22542 |    29846
394.33/394.49	c  392s |      15 |   167777 |   126932 |   154884      0 |    22542 |    29846
396.73/396.89	c  394s |      15 |   168352 |   127432 |   154884      0 |    22542 |    29846
398.82/398.97	c  396s |      15 |   168947 |   127932 |   154884      0 |    22542 |    29846
401.22/401.30	c  399s |      15 |   169542 |   128432 |   154884      0 |    22542 |    29846
403.32/403.46	c  401s |      15 |   170155 |   128932 |   154884      0 |    22542 |    29846
405.52/405.67	c  403s |      15 |   170767 |   129432 |   154884      0 |    22542 |    29846
408.03/408.15	c  406s |      15 |   171414 |   129932 |   154884      0 |    22542 |    29846
410.33/410.42	c  408s |      15 |   172108 |   130432 |   154884      0 |    22542 |    29846
412.43/412.56	c  410s |      15 |   172819 |   130932 |   170373      0 |    22542 |    29846
414.63/414.76	c  412s |      15 |   173493 |   131432 |   170373      0 |    22542 |    29846
415.12/415.20	c  413s |      16 |   173652 |   131552 |   170373      0 |    22542 |    29846
417.12/417.29	c  415s |      16 |   174489 |   132052 |   170373      0 |    22542 |    29846
419.32/419.48	c  417s |      16 |   175414 |   132652 |   170373      0 |    22542 |    29846
421.52/421.63	c  419s |      16 |   176426 |   133252 |   170373      0 |    22542 |    29846
423.82/423.94	c  421s |      16 |   177364 |   133952 |   170373      0 |    22542 |    29846
425.92/426.07	c  423s |      16 |   178209 |   134652 |   170373      0 |    22542 |    29846
428.02/428.18	c  426s |      16 |   179120 |   135352 |   170373      0 |    22542 |    29846
430.32/430.47	c  428s |      16 |   179912 |   135952 |   170373      0 |    22542 |    29846
432.42/432.56	c  430s |      16 |   180794 |   136652 |   170373      0 |    22542 |    29846
434.53/434.62	c  432s |      16 |   181850 |   137452 |   170373      0 |    22542 |    29846
436.73/436.87	c  434s |      16 |   182694 |   138152 |   170373      0 |    22542 |    29846
438.93/439.07	c  436s |      16 |   183464 |   138752 |   170373      0 |    22542 |    29846
440.92/441.10	c  439s |      16 |   184085 |   139252 |   170373      0 |    22542 |    29846
443.22/443.34	c  441s |      16 |   184982 |   139952 |   170373      0 |    22542 |    29846
445.32/445.46	c  443s |      16 |   185732 |   140552 |   170373      0 |    22542 |    29846
447.62/447.75	c  445s |      16 |   186640 |   141252 |   170373      0 |    22542 |    29846
449.92/450.07	c  447s |      16 |   187380 |   141852 |   170373      0 |    22542 |    29846
452.22/452.31	c  450s |      16 |   188129 |   142452 |   170373      0 |    22542 |    29846
454.52/454.62	c  452s |      16 |   188863 |   143052 |   170373      0 |    22542 |    29846
456.82/456.98	c  454s |      16 |   189590 |   143652 |   170373      0 |    22542 |    29846
459.12/459.21	c  457s |      16 |   190299 |   144252 |   170373      0 |    22542 |    29846
461.11/461.27	c  459s |      16 |   190887 |   144752 |   170373      0 |    22542 |    29846
463.22/463.39	c  461s |      16 |   191513 |   145252 |   170373      0 |    22542 |    29846
465.32/465.47	c  463s |      16 |   192270 |   145852 |   170373      0 |    22542 |    29846
467.52/467.65	c  465s |      16 |   193024 |   146452 |   170373      0 |    22542 |    29846
469.51/469.65	c  467s |      16 |   193660 |   146952 |   170373      0 |    22542 |    29846
471.82/471.94	c  469s |      16 |   194444 |   147552 |   170373      0 |    22542 |    29846
474.02/474.14	c  472s |      16 |   195222 |   148152 |   170373      0 |    22542 |    29846
476.11/476.23	c  474s |      16 |   195972 |   148752 |   170373      0 |    22542 |    29846
478.42/478.58	c  476s |      16 |   196693 |   149352 |   170373      0 |    22542 |    29846
480.51/480.61	c  478s |      16 |   197282 |   149852 |   170373      0 |    22542 |    29846
482.71/482.81	c  480s |      16 |   197976 |   150452 |   170373      0 |    22542 |    29846
484.82/484.95	c  482s |      16 |   198575 |   150952 |   170373      0 |    22542 |    29846
487.02/487.11	c  485s |      16 |   199060 |   151352 |   170373      0 |    22542 |    29846
489.02/489.18	c  487s |      16 |   199522 |   151752 |   170373      0 |    22542 |    29846
491.42/491.57	c  489s |      16 |   200110 |   152252 |   170373      0 |    22542 |    29846
493.83/493.98	c  491s |      16 |   200714 |   152752 |   170373      0 |    22542 |    29846
496.03/496.19	c  494s |      16 |   201338 |   153252 |   170373      0 |    22542 |    29846
498.12/498.24	c  496s |      16 |   201926 |   153752 |   170373      0 |    22542 |    29846
500.22/500.36	c  498s |      16 |   202557 |   154252 |   170373      0 |    22542 |    29846
502.32/502.49	c  500s |      16 |   203154 |   154752 |   170373      0 |    22542 |    29846
504.62/504.78	c  502s |      16 |   203735 |   155252 |   170373      0 |    22542 |    29846
506.72/506.81	c  504s |      16 |   204354 |   155752 |   170373      0 |    22542 |    29846
508.82/508.95	c  506s |      16 |   204985 |   156252 |   170373      0 |    22542 |    29846
511.02/511.13	c  509s |      16 |   205603 |   156752 |   170373      0 |    22542 |    29846
513.42/513.56	c  511s |      16 |   206344 |   157352 |   170373      0 |    22542 |    29846
515.71/515.83	c  513s |      16 |   206953 |   157852 |   170373      0 |    22542 |    29846
517.71/517.86	c  515s |      16 |   207579 |   158352 |   170373      0 |    22542 |    29846
520.11/520.24	c  518s |      16 |   208318 |   158952 |   170373      0 |    22542 |    29846
522.11/522.27	c  520s |      16 |   208881 |   159452 |   170373      0 |    22542 |    29846
524.21/524.36	c  522s |      16 |   209502 |   159952 |   170373      0 |    22542 |    29846
526.71/526.82	c  524s |      16 |   210214 |   160552 |   170373      0 |    22542 |    29846
529.12/529.23	c  527s |      16 |   210932 |   161152 |   170373      0 |    22542 |    29846
531.41/531.58	c  529s |      16 |   211694 |   161752 |   170373      0 |    22542 |    29846
533.91/534.05	c  531s |      16 |   212321 |   162252 |   170373      0 |    22542 |    29846
536.31/536.41	c  534s |      16 |   212894 |   162752 |   170373      0 |    22542 |    29846
538.51/538.66	c  536s |      16 |   213523 |   163252 |   170373      0 |    22542 |    29846
540.51/540.68	c  538s |      16 |   213984 |   163652 |   170373      0 |    22542 |    29846
542.71/542.81	c  540s |      16 |   214464 |   164052 |   170373      0 |    22542 |    29846
544.91/545.07	c  542s |      16 |   215094 |   164552 |   170373      0 |    22542 |    29846
547.11/547.23	c  545s |      16 |   215551 |   164952 |   170373      0 |    22542 |    29846
549.41/549.54	c  547s |      16 |   216022 |   165352 |   170373      0 |    22542 |    29846
551.71/551.83	c  549s |      16 |   216746 |   165952 |   170373      0 |    22542 |    29846
553.81/553.94	c  551s |      16 |   217428 |   166452 |   170373      0 |    22542 |    29846
555.91/556.01	c  553s |      16 |   217932 |   166852 |   170373      0 |    22542 |    29846
558.21/558.39	c  556s |      16 |   218501 |   167352 |   170373      0 |    22542 |    29846
560.30/560.49	c  558s |      16 |   219141 |   167852 |   170373      0 |    22542 |    29846
562.60/562.71	c  560s |      16 |   219782 |   168352 |   170373      0 |    22542 |    29846
564.70/564.85	c  562s |      16 |   220378 |   168852 |   170373      0 |    22542 |    29846
566.90/567.00	c  564s |      16 |   220990 |   169352 |   170373      0 |    22542 |    29846
569.10/569.28	c  567s |      16 |   221647 |   169852 |   170373      0 |    22542 |    29846
571.30/571.47	c  569s |      16 |   222260 |   170352 |   170373      0 |    22542 |    29846
573.60/573.70	c  571s |      16 |   222893 |   170852 |   170373      0 |    22542 |    29846
575.90/576.03	c  573s |      16 |   223450 |   171352 |   170373      0 |    22542 |    29846
578.20/578.32	c  576s |      16 |   224024 |   171852 |   170373      0 |    22542 |    29846
580.60/580.78	c  578s |      16 |   224635 |   172352 |   170373      0 |    22542 |    29846
583.01/583.17	c  581s |      16 |   225221 |   172852 |   170373      0 |    22542 |    29846
585.40/585.50	c  583s |      16 |   225815 |   173352 |   170373      0 |    22542 |    29846
587.50/587.63	c  585s |      16 |   226540 |   173852 |   170373      0 |    22542 |    29846
590.10/590.23	c  588s |      16 |   227261 |   174352 |   170373      0 |    22542 |    29846
592.20/592.34	c  590s |      16 |   227819 |   174752 |   170373      0 |    22542 |    29846
594.50/594.63	c  592s |      16 |   228586 |   175252 |   170373      0 |    22542 |    29846
596.90/597.02	c  594s |      16 |   229091 |   175652 |   170373      0 |    22542 |    29846
599.20/599.39	c  597s |      16 |   229560 |   176052 |   170373      0 |    22542 |    29846
601.50/601.66	c  599s |      16 |   230035 |   176452 |   170373      0 |    22542 |    29846
603.60/603.75	c  601s |      16 |   230553 |   176852 |   170373      0 |    22542 |    29846
605.90/606.04	c  603s |      16 |   231081 |   177252 |   170373      0 |    22542 |    29846
608.20/608.40	c  606s |      16 |   231613 |   177652 |   170373      0 |    22542 |    29846
610.50/610.68	c  608s |      16 |   232133 |   178052 |   170373      0 |    22542 |    29846
613.09/613.26	c  611s |      16 |   232604 |   178452 |   170373      0 |    22542 |    29846
615.39/615.56	c  613s |      16 |   233111 |   178852 |   170373      0 |    22542 |    29846
617.59/617.78	c  615s |      16 |   233638 |   179252 |   170373      0 |    22542 |    29846
619.79/619.95	c  617s |      16 |   234153 |   179652 |   170373      0 |    22542 |    29846
621.99/622.16	c  620s |      16 |   234626 |   180052 |   170373      0 |    22542 |    29846
624.19/624.32	c  622s |      16 |   235258 |   180552 |   170373      0 |    22542 |    29846
626.29/626.49	c  624s |      16 |   235850 |   181052 |   170373      0 |    22542 |    29846
628.39/628.59	c  626s |      16 |   236486 |   181552 |   170373      0 |    22542 |    29846
630.79/630.99	c  628s |      16 |   237104 |   182052 |   170373      0 |    22542 |    29846
632.99/633.11	c  631s |      16 |   237589 |   182452 |   170373      0 |    22542 |    29846
635.29/635.44	c  633s |      16 |   238243 |   182952 |   170373      0 |    22542 |    29846
637.69/637.83	c  635s |      16 |   238841 |   183452 |   170373      0 |    22542 |    29846
639.99/640.12	c  638s |      16 |   239291 |   183852 |   170373      0 |    22542 |    29846
641.99/642.15	c  640s |      16 |   239802 |   184252 |   170373      0 |    22542 |    29846
644.39/644.56	c  642s |      16 |   240416 |   184752 |   170373      0 |    22542 |    29846
646.80/646.91	c  644s |      16 |   240931 |   185152 |   170373      0 |    22542 |    29846
649.00/649.19	c  647s |      16 |   241440 |   185552 |   170373      0 |    22542 |    29846
651.29/651.42	c  649s |      16 |   241927 |   185952 |   170373      0 |    22542 |    29846
653.99/654.13	c  652s |      16 |   242448 |   186352 |   170373      0 |    22542 |    29846
656.39/656.51	c  654s |      16 |   243049 |   186752 |   170373      0 |    22542 |    29846
658.59/658.71	c  656s |      16 |   243569 |   187152 |   170373      0 |    22542 |    29846
660.69/660.83	c  658s |      16 |   244081 |   187552 |   170373      0 |    22542 |    29846
662.89/663.03	c  660s |      16 |   244576 |   187952 |   170373      0 |    22542 |    29846
664.99/665.14	c  663s |      16 |   245105 |   188352 |   170373      0 |    22542 |    29846
667.09/667.24	c  665s |      16 |   245594 |   188752 |   170373      0 |    22542 |    29846
669.29/669.47	c  667s |      16 |   246099 |   189152 |   170373      0 |    22542 |    29846
671.68/671.86	c  669s |      16 |   246727 |   189652 |   170373      0 |    22542 |    29846
674.08/674.30	c  672s |      16 |   247306 |   190152 |   170373      0 |    22542 |    29846
676.39/676.57	c  674s |      16 |   247796 |   190552 |   170373      0 |    22542 |    29846
678.59/678.79	c  676s |      16 |   248281 |   190952 |   170373      0 |    22542 |    29846
680.89/681.04	c  678s |      16 |   248786 |   191352 |   170373      0 |    22542 |    29846
683.28/683.44	c  681s |      16 |   249250 |   191752 |   170373      0 |    22542 |    29846
685.68/685.85	c  683s |      16 |   249719 |   192152 |   170373      0 |    22542 |    29846
688.08/688.28	c  686s |      16 |   250161 |   192552 |   170373      0 |    22542 |    29846
690.08/690.28	c  688s |      16 |   250693 |   192952 |   170373      0 |    22542 |    29846
692.68/692.81	c  690s |      16 |   251173 |   193352 |   170373      0 |    22542 |    29846
695.19/695.37	c  693s |      16 |   251665 |   193752 |   170373      0 |    22542 |    29846
697.58/697.79	c  695s |      16 |   252148 |   194152 |   170373      0 |    22542 |    29846
700.08/700.23	c  698s |      16 |   252653 |   194552 |   170373      0 |    22542 |    29846
702.68/702.88	c  700s |      16 |   253185 |   194952 |   170373      0 |    22542 |    29846
705.09/705.26	c  703s |      16 |   253678 |   195352 |   170373      0 |    22542 |    29846
707.38/707.51	c  705s |      16 |   254199 |   195752 |   170373      0 |    22542 |    29846
709.58/709.71	c  707s |      16 |   254738 |   196152 |   187411      0 |    22542 |    29846
711.98/712.15	c  710s |      16 |   255254 |   196552 |   187411      0 |    22542 |    29846
714.28/714.44	c  712s |      16 |   255746 |   196952 |   187411      0 |    22542 |    29846
716.38/716.53	c  714s |      16 |   256252 |   197352 |   187411      0 |    22542 |    29846
716.78/716.96	c  714s |      17 |   256343 |   197432 |   187411      0 |    22542 |    29846
719.28/719.40	c  717s |      17 |   256759 |   197732 |   187411      0 |    22542 |    29846
721.78/721.90	c  719s |      17 |   257205 |   198132 |   187411      0 |    22542 |    29846
724.08/724.29	c  722s |      17 |   257663 |   198532 |   187411      0 |    22542 |    29846
726.58/726.72	c  724s |      17 |   258168 |   198932 |   187411      0 |    22542 |    29846
728.88/729.08	c  727s |      17 |   258662 |   199332 |   187411      0 |    22542 |    29846
731.38/731.60	c  729s |      17 |   259184 |   199732 |   187411      0 |    22542 |    29846
733.47/733.67	c  731s |      17 |   259688 |   200132 |   187411      0 |    22542 |    29846
735.57/735.76	c  733s |      17 |   260034 |   200432 |   187411      0 |    22542 |    29846
737.87/738.05	c  735s |      17 |   260584 |   200832 |   187411      0 |    22542 |    29846
739.97/740.10	c  738s |      17 |   260931 |   201132 |   187411      0 |    22542 |    29846
742.48/742.69	c  740s |      17 |   261396 |   201532 |   187411      0 |    22542 |    29846
744.87/745.04	c  742s |      17 |   261902 |   201932 |   187411      0 |    22542 |    29846
747.37/747.59	c  745s |      17 |   262489 |   202432 |   187411      0 |    22542 |    29846
749.67/749.87	c  747s |      17 |   262939 |   202832 |   187411      0 |    22542 |    29846
752.07/752.20	c  750s |      17 |   263412 |   203232 |   187411      0 |    22542 |    29846
754.17/754.34	c  752s |      17 |   263869 |   203632 |   187411      0 |    22542 |    29846
756.27/756.49	c  754s |      17 |   264371 |   204032 |   187411      0 |    22542 |    29846
758.67/758.85	c  756s |      17 |   264870 |   204432 |   187411      0 |    22542 |    29846
760.97/761.16	c  759s |      17 |   265341 |   204832 |   187411      0 |    22542 |    29846
763.38/763.52	c  761s |      17 |   265809 |   205232 |   187411      0 |    22542 |    29846
765.67/765.84	c  763s |      17 |   266356 |   205632 |   187411      0 |    22542 |    29846
768.07/768.28	c  766s |      17 |   266928 |   206032 |   187411      0 |    22542 |    29846
770.47/770.67	c  768s |      17 |   267435 |   206432 |   187411      0 |    22542 |    29846
772.86/773.06	c  770s |      17 |   267930 |   206832 |   187411      0 |    22542 |    29846
774.96/775.14	c  773s |      17 |   268515 |   207232 |   187411      0 |    22542 |    29846
777.06/777.25	c  775s |      17 |   269156 |   207632 |   187411      0 |    22542 |    29846
779.26/779.49	c  777s |      17 |   269905 |   208132 |   187411      0 |    22542 |    29846
781.97/782.15	c  780s |      17 |   270574 |   208532 |   187411      0 |    22542 |    29846
784.06/784.27	c  782s |      17 |   271011 |   208832 |   187411      0 |    22542 |    29846
786.47/786.65	c  784s |      17 |   271522 |   209232 |   187411      0 |    22542 |    29846
788.86/789.01	c  786s |      17 |   272186 |   209732 |   187411      0 |    22542 |    29846
791.46/791.61	c  789s |      17 |   272846 |   210232 |   187411      0 |    22542 |    29846
793.86/794.01	c  791s |      17 |   273467 |   210732 |   187411      0 |    22542 |    29846
796.16/796.39	c  794s |      17 |   274084 |   211232 |   187411      0 |    22542 |    29846
798.46/798.68	c  796s |      17 |   274728 |   211732 |   187411      0 |    22542 |    29846
800.85/801.01	c  798s |      17 |   275348 |   212232 |   187411      0 |    22542 |    29846
802.96/803.15	c  801s |      17 |   275986 |   212732 |   187411      0 |    22542 |    29846
805.06/805.29	c  803s |      17 |   276555 |   213232 |   187411      0 |    22542 |    29846
807.26/807.42	c  805s |      17 |   277166 |   213732 |   187411      0 |    22542 |    29846
809.46/809.68	c  807s |      17 |   277677 |   214132 |   187411      0 |    22542 |    29846
811.94/812.18	c  810s |      17 |   278267 |   214632 |   187411      0 |    22542 |    29846
814.44/814.65	c  812s |      17 |   278875 |   215132 |   187411      0 |    22542 |    29846
816.84/817.04	c  814s |      17 |   279530 |   215632 |   187411      0 |    22542 |    29846
818.94/819.10	c  817s |      17 |   280009 |   216032 |   187411      0 |    22542 |    29846
820.94/821.13	c  819s |      17 |   280532 |   216432 |   187411      0 |    22542 |    29846
823.34/823.58	c  821s |      17 |   281134 |   216932 |   187411      0 |    22542 |    29846
825.55/825.78	c  823s |      17 |   281632 |   217332 |   187411      0 |    22542 |    29846
827.65/827.83	c  825s |      17 |   282122 |   217732 |   187411      0 |    22542 |    29846
829.65/829.86	c  827s |      17 |   282599 |   218132 |   187411      0 |    22542 |    29846
833.34/833.58	c  831s |      17 |   283203 |   218632 |   187411      1 |    22542 |    29846
835.44/835.64	c  833s |      17 |   283705 |   219032 |   187411      1 |    22542 |    29846
837.54/837.72	c  835s |      17 |   284590 |   219732 |   187411      1 |    22542 |    29846
839.54/839.76	c  837s |      17 |   285649 |   220532 |   187411      1 |    22542 |    29846
841.84/842.01	c  839s |      17 |   286685 |   221332 |   187411      1 |    22542 |    29846
844.04/844.22	c  842s |      17 |   287569 |   222032 |   187411      1 |    22542 |    29846
846.04/846.28	c  844s |      17 |   288441 |   222732 |   187411      1 |    22542 |    29846
848.24/848.41	c  846s |      17 |   289304 |   223432 |   187411      1 |    22542 |    29846
850.64/850.80	c  848s |      17 |   290293 |   224032 |   187411      1 |    22542 |    29846
852.93/853.10	c  851s |      17 |   291009 |   224532 |   187411      1 |    22542 |    29846
855.23/855.41	c  853s |      17 |   291885 |   225132 |   187411      1 |    22542 |    29846
857.23/857.45	c  855s |      17 |   292556 |   225632 |   187411      1 |    22542 |    29846
859.33/859.56	c  857s |      17 |   293205 |   226132 |   187411      1 |    22542 |    29846
861.63/861.81	c  859s |      17 |   293857 |   226632 |   187411      1 |    22542 |    29846
863.73/863.96	c  861s |      17 |   294530 |   227132 |   187411      1 |    22542 |    29846
865.93/866.12	c  864s |      17 |   295190 |   227632 |   187411      1 |    22542 |    29846
868.13/868.36	c  866s |      17 |   295849 |   228132 |   187411      1 |    22542 |    29846
870.23/870.43	c  868s |      17 |   296461 |   228632 |   187411      1 |    22542 |    29846
872.32/872.55	c  870s |      17 |   296949 |   229032 |   187411      1 |    22542 |    29846
874.72/874.93	c  872s |      17 |   297603 |   229532 |   187411      1 |    22542 |    29846
877.22/877.41	c  875s |      17 |   298244 |   230032 |   187411      1 |    22542 |    29846
879.42/879.68	c  877s |      17 |   298752 |   230432 |   187411      1 |    22542 |    29846
881.82/882.04	c  879s |      17 |   299367 |   230932 |   187411      1 |    22542 |    29846
883.81/884.05	c  881s |      17 |   299849 |   231332 |   187411      1 |    22542 |    29846
886.31/886.59	c  884s |      17 |   300504 |   231832 |   187411      1 |    22542 |    29846
888.51/888.72	c  886s |      17 |   301025 |   232232 |   187411      1 |    22542 |    29846
890.71/890.93	c  888s |      17 |   301656 |   232732 |   187411      1 |    22542 |    29846
893.12/893.31	c  891s |      17 |   302205 |   233132 |   187411      1 |    22542 |    29846
895.22/895.48	c  893s |      17 |   302883 |   233632 |   187411      1 |    22542 |    29846
897.31/897.53	c  895s |      17 |   303523 |   234132 |   187411      1 |    22542 |    29846
899.41/899.66	c  897s |      17 |   304125 |   234632 |   187411      1 |    22542 |    29846
901.92/902.11	c  900s |      17 |   304845 |   235232 |   187411      1 |    22542 |    29846
904.11/904.31	c  902s |      17 |   305618 |   235832 |   187411      1 |    22542 |    29846
906.21/906.46	c  904s |      17 |   306218 |   236332 |   187411      1 |    22542 |    29846
908.31/908.51	c  906s |      17 |   306876 |   236832 |   187411      1 |    22542 |    29846
910.41/910.63	c  908s |      17 |   307638 |   237432 |   187411      1 |    22542 |    29846
912.40/912.66	c  910s |      17 |   308390 |   238032 |   187411      1 |    22542 |    29846
914.70/914.96	c  912s |      17 |   309155 |   238632 |   187411      1 |    22542 |    29846
917.10/917.33	c  915s |      17 |   309831 |   239232 |   187411      1 |    22542 |    29846
919.30/919.58	c  917s |      17 |   310568 |   239832 |   187411      1 |    22542 |    29846
921.70/921.95	c  919s |      17 |   311314 |   240432 |   187411      1 |    22542 |    29846
923.80/924.05	c  921s |      17 |   312061 |   241032 |   187411      1 |    22542 |    29846
926.00/926.23	c  924s |      17 |   312685 |   241532 |   187411      1 |    22542 |    29846
928.30/928.55	c  926s |      17 |   313416 |   242132 |   187411      1 |    22542 |    29846
930.40/930.66	c  928s |      17 |   314002 |   242632 |   187411      1 |    22542 |    29846
932.39/932.69	c  930s |      17 |   314755 |   243132 |   187411      1 |    22542 |    29846
934.59/934.82	c  932s |      17 |   315450 |   243632 |   187411      1 |    22542 |    29846
936.59/936.84	c  934s |      17 |   316200 |   244132 |   187411      1 |    22542 |    29846
938.59/938.89	c  936s |      17 |   316717 |   244532 |   187411      1 |    22542 |    29846
940.99/941.23	c  939s |      17 |   317430 |   245132 |   187411      1 |    22542 |    29846
943.09/943.32	c  941s |      17 |   318118 |   245632 |   187411      1 |    22542 |    29846
945.09/945.36	c  943s |      17 |   318640 |   246032 |   187411      1 |    22542 |    29846
947.09/947.39	c  945s |      17 |   319176 |   246432 |   187411      1 |    22542 |    29846
949.39/949.66	c  947s |      17 |   319774 |   246932 |   187411      1 |    22542 |    29846
951.48/951.72	c  949s |      17 |   320397 |   247432 |   187411      1 |    22542 |    29846
953.59/953.89	c  951s |      17 |   321007 |   247932 |   187411      1 |    22542 |    29846
956.18/956.43	c  954s |      17 |   321608 |   248432 |   187411      1 |    22542 |    29846
958.48/958.72	c  956s |      17 |   322225 |   248932 |   187411      1 |    22542 |    29846
960.68/960.95	c  958s |      17 |   322866 |   249432 |   187411      1 |    22542 |    29846
962.87/963.13	c  961s |      17 |   323428 |   249932 |   187411      1 |    22542 |    29846
964.97/965.27	c  963s |      17 |   324027 |   250432 |   187411      1 |    22542 |    29846
966.97/967.28	c  965s |      17 |   324500 |   250832 |   187411      1 |    22542 |    29846
969.27/969.57	c  967s |      17 |   325096 |   251332 |   187411      1 |    22542 |    29846
971.57/971.85	c  969s |      17 |   325754 |   251832 |   187411      1 |    22542 |    29846
974.07/974.32	c  972s |      17 |   326507 |   252432 |   187411      1 |    22542 |    29846
976.27/976.52	c  974s |      17 |   327028 |   252832 |   187411      1 |    22542 |    29846
978.47/978.75	c  976s |      17 |   327601 |   253232 |   187411      1 |    22542 |    29846
980.67/980.90	c  978s |      17 |   328169 |   253632 |   187411      1 |    22542 |    29846
983.06/983.40	c  981s |      17 |   328775 |   254132 |   187411      1 |    22542 |    29846
985.37/985.67	c  983s |      17 |   329278 |   254532 |   187411      1 |    22542 |    29846
988.16/988.40	c  986s |      17 |   329938 |   255032 |   187411      1 |    22542 |    29846
990.26/990.56	c  988s |      17 |   330461 |   255432 |   187411      1 |    22542 |    29846
992.25/992.56	c  990s |      17 |   330955 |   255832 |   187411      1 |    22542 |    29846
994.45/994.78	c  992s |      17 |   331575 |   256332 |   187411      1 |    22542 |    29846
996.75/997.03	c  994s |      17 |   332082 |   256732 |   187411      1 |    22542 |    29846
999.35/999.63	c  997s |      17 |   332673 |   257232 |   187411      1 |    22542 |    29846
1001.45/1001.70	c  999s |      17 |   333201 |   257632 |   187411      1 |    22542 |    29846
1003.45/1003.76	c 1001s |      17 |   333701 |   258032 |   187411      1 |    22542 |    29846
1005.85/1006.18	c 1004s |      17 |   334368 |   258532 |   187411      1 |    22542 |    29846
1007.95/1008.22	c 1006s |      17 |   334869 |   258932 |   187411      1 |    22542 |    29846
1010.05/1010.36	c 1008s |      17 |   335394 |   259332 |   187411      1 |    22542 |    29846
1012.25/1012.50	c 1010s |      17 |   335931 |   259732 |   187411      1 |    22542 |    29846
1014.34/1014.63	c 1012s |      17 |   336450 |   260132 |   187411      1 |    22542 |    29846
1016.44/1016.70	c 1014s |      17 |   337012 |   260532 |   187411      1 |    22542 |    29846
1018.64/1018.99	c 1016s |      17 |   337587 |   260932 |   187411      1 |    22542 |    29846
1020.94/1021.23	c 1019s |      17 |   338109 |   261332 |   187411      1 |    22542 |    29846
1023.44/1023.71	c 1021s |      17 |   338767 |   261832 |   187411      1 |    22542 |    29846
1025.74/1026.00	c 1023s |      17 |   339374 |   262332 |   187411      1 |    22542 |    29846
1028.13/1028.46	c 1026s |      17 |   339974 |   262832 |   187411      1 |    22542 |    29846
1030.44/1030.77	c 1028s |      17 |   340524 |   263232 |   187411      1 |    22542 |    29846
1033.03/1033.30	c 1031s |      17 |   341076 |   263632 |   187411      1 |    22542 |    29846
1035.13/1035.43	c 1033s |      17 |   341555 |   264032 |   187411      1 |    22542 |    29846
1037.63/1037.90	c 1035s |      17 |   342073 |   264432 |   187411      1 |    22542 |    29846
1039.63/1039.96	c 1037s |      17 |   342567 |   264832 |   187411      1 |    22542 |    29846
1041.73/1042.09	c 1040s |      17 |   343072 |   265232 |   187411      1 |    22542 |    29846
1044.03/1044.34	c 1042s |      17 |   343613 |   265632 |   187411      1 |    22542 |    29846
1046.43/1046.76	c 1044s |      17 |   344208 |   266132 |   187411      1 |    22542 |    29846
1048.73/1049.06	c 1046s |      17 |   344903 |   266632 |   187411      1 |    22542 |    29846
1050.93/1051.22	c 1049s |      17 |   345490 |   267032 |   187411      1 |    22542 |    29846
1053.02/1053.31	c 1051s |      17 |   346031 |   267432 |   187411      1 |    22542 |    29846
1055.42/1055.79	c 1053s |      17 |   346524 |   267832 |   187411      1 |    22542 |    29846
1057.52/1057.80	c 1055s |      17 |   347029 |   268232 |   187411      1 |    22542 |    29846
1059.82/1060.13	c 1058s |      17 |   347539 |   268632 |   187411      1 |    22542 |    29846
1061.81/1062.13	c 1060s |      17 |   348022 |   269032 |   187411      1 |    22542 |    29846
1063.91/1064.22	c 1062s |      17 |   348621 |   269532 |   187411      1 |    22542 |    29846
1066.11/1066.48	c 1064s |      17 |   349222 |   270032 |   187411      1 |    22542 |    29846
1068.31/1068.67	c 1066s |      17 |   349796 |   270532 |   187411      1 |    22542 |    29846
1070.51/1070.83	c 1068s |      17 |   350355 |   271032 |   187411      1 |    22542 |    29846
1072.51/1072.86	c 1070s |      17 |   350816 |   271432 |   187411      1 |    22542 |    29846
1074.51/1074.86	c 1072s |      17 |   351312 |   271832 |   187411      1 |    22542 |    29846
1076.71/1077.03	c 1074s |      17 |   351940 |   272332 |   187411      1 |    22542 |    29846
1079.01/1079.35	c 1077s |      17 |   352584 |   272832 |   187411      1 |    22542 |    29846
1081.11/1081.49	c 1079s |      17 |   353054 |   273232 |   187411      1 |    22542 |    29846
1083.50/1083.84	c 1081s |      17 |   353674 |   273732 |   187411      1 |    22542 |    29846
1086.00/1086.32	c 1084s |      17 |   354248 |   274232 |   187411      1 |    22542 |    29846
1088.50/1088.85	c 1086s |      17 |   354757 |   274632 |   187411      1 |    22542 |    29846
1090.70/1091.03	c 1088s |      17 |   355243 |   275032 |   187411      1 |    22542 |    29846
1092.80/1093.11	c 1091s |      17 |   355737 |   275432 |   187411      1 |    22542 |    29846
1095.10/1095.42	c 1093s |      17 |   356338 |   275932 |   187411      1 |    22542 |    29846
1097.10/1097.43	c 1095s |      17 |   356789 |   276332 |   187411      1 |    22542 |    29846
1099.19/1099.56	c 1097s |      17 |   357242 |   276732 |   187411      1 |    22542 |    29846
1101.29/1101.60	c 1099s |      17 |   357709 |   277132 |   187411      1 |    22542 |    29846
1103.69/1104.02	c 1101s |      17 |   358333 |   277632 |   187411      1 |    22542 |    29846
1106.30/1106.67	c 1104s |      17 |   358876 |   278032 |   187411      1 |    22542 |    29846
1108.79/1109.17	c 1107s |      17 |   359414 |   278432 |   187411      1 |    22542 |    29846
1111.38/1111.72	c 1109s |      17 |   359924 |   278832 |   187411      1 |    22542 |    29846
1113.38/1113.79	c 1111s |      17 |   360425 |   279232 |   187411      1 |    22542 |    29846
1115.88/1116.23	c 1114s |      17 |   361038 |   279732 |   187411      1 |    22542 |    29846
1118.08/1118.46	c 1116s |      17 |   361662 |   280232 |   187411      1 |    22542 |    29846
1120.59/1120.93	c 1118s |      17 |   362267 |   280732 |   187411      1 |    22542 |    29846
1122.78/1123.11	c 1121s |      17 |   362726 |   281132 |   187411      1 |    22542 |    29846
1124.98/1125.35	c 1123s |      17 |   363193 |   281532 |   187411      1 |    22542 |    29846
1127.28/1127.63	c 1125s |      17 |   363651 |   281932 |   187411      1 |    22542 |    29846
1129.88/1130.22	c 1128s |      17 |   364124 |   282332 |   187411      1 |    22542 |    29846
1132.17/1132.53	c 1130s |      17 |   364623 |   282732 |   187411      1 |    22542 |    29846
1134.47/1134.85	c 1132s |      17 |   365144 |   283132 |   187411      1 |    22542 |    29846
1136.67/1137.08	c 1134s |      17 |   365660 |   283532 |   187411      1 |    22542 |    29846
1138.77/1139.19	c 1137s |      17 |   366125 |   283932 |   187411      1 |    22542 |    29846
1140.97/1141.33	c 1139s |      17 |   366586 |   284332 |   187411      1 |    22542 |    29846
1143.16/1143.58	c 1141s |      17 |   367079 |   284732 |   187411      1 |    22542 |    29846
1145.76/1146.10	c 1144s |      17 |   367532 |   285132 |   187411      1 |    22542 |    29846
1148.26/1148.69	c 1146s |      17 |   368005 |   285532 |   187411      1 |    22542 |    29846
1150.37/1150.76	c 1148s |      17 |   368372 |   285832 |   187411      1 |    22542 |    29846
1152.76/1153.13	c 1151s |      17 |   368855 |   286232 |   187411      1 |    22542 |    29846
1155.16/1155.58	c 1153s |      17 |   369351 |   286632 |   187411      1 |    22542 |    29846
1157.56/1157.95	c 1155s |      17 |   369860 |   287032 |   187411      1 |    22542 |    29846
1159.76/1160.15	c 1158s |      17 |   370229 |   287332 |   187411      1 |    22542 |    29846
1161.95/1162.34	c 1160s |      17 |   370574 |   287632 |   187411      1 |    22542 |    29846
1164.25/1164.64	c 1162s |      17 |   371043 |   288032 |   187411      1 |    22542 |    29846
1166.45/1166.87	c 1164s |      17 |   371521 |   288432 |   187411      1 |    22542 |    29846
1168.85/1169.21	c 1167s |      17 |   371972 |   288832 |   187411      1 |    22542 |    29846
1171.16/1171.52	c 1169s |      17 |   372450 |   289232 |   187411      1 |    22542 |    29846
1173.25/1173.63	c 1171s |      17 |   372791 |   289532 |   187411      1 |    22542 |    29846
1175.75/1176.12	c 1174s |      17 |   373261 |   289932 |   187411      1 |    22542 |    29846
1178.25/1178.60	c 1176s |      17 |   373696 |   290332 |   187411      1 |    22542 |    29846
1180.55/1180.97	c 1178s |      17 |   374168 |   290732 |   187411      1 |    22542 |    29846
1182.64/1183.04	c 1180s |      17 |   374511 |   291032 |   187411      1 |    22542 |    29846
1184.84/1185.27	c 1183s |      17 |   374846 |   291332 |   187411      1 |    22542 |    29846
1187.24/1187.62	c 1185s |      17 |   375424 |   291732 |   187411      1 |    22542 |    29846
1189.44/1189.83	c 1187s |      17 |   375991 |   292132 |   187411      1 |    22542 |    29846
1191.74/1192.15	c 1190s |      17 |   376410 |   292432 |   187411      1 |    22542 |    29846
1193.94/1194.35	c 1192s |      17 |   376819 |   292732 |   187411      1 |    22542 |    29846
1196.14/1196.56	c 1194s |      17 |   377198 |   293032 |   187411      1 |    22542 |    29846
1198.24/1198.68	c 1196s |      17 |   377584 |   293332 |   187411      1 |    22542 |    29846
1200.44/1200.88	c 1198s |      17 |   377953 |   293632 |   187411      1 |    22542 |    29846
1202.73/1203.18	c 1201s |      17 |   378471 |   294032 |   187411      1 |    22542 |    29846
1204.93/1205.31	c 1203s |      17 |   378931 |   294432 |   206153      1 |    22542 |    29846
1207.63/1208.02	c 1205s |      17 |   379516 |   294832 |   206153      1 |    22542 |    29846
1210.13/1210.50	c 1208s |      17 |   380073 |   295232 |   206153      1 |    22542 |    29846
1212.32/1212.70	c 1210s |      17 |   380580 |   295632 |   206153      1 |    22542 |    29846
1214.42/1214.87	c 1212s |      17 |   381122 |   296032 |   206153      1 |    22542 |    29846
1215.62/1216.05	c 1213s |      18 |   381400 |   296252 |   206153      1 |    22542 |    29846
1217.92/1218.39	c 1216s |      18 |   381756 |   296452 |   206153      1 |    22542 |    29846
1220.63/1221.00	c 1218s |      18 |   382155 |   296752 |   206153      1 |    22542 |    29846
1222.62/1223.09	c 1221s |      18 |   382530 |   297052 |   206153      1 |    22542 |    29846
1225.13/1225.50	c 1223s |      18 |   382989 |   297452 |   206153      1 |    22542 |    29846
1227.23/1227.70	c 1225s |      18 |   383482 |   297752 |   206153      1 |    22542 |    29846
1229.82/1230.24	c 1228s |      18 |   384090 |   298152 |   206153      1 |    22542 |    29846
1232.21/1232.68	c 1230s |      18 |   384646 |   298552 |   206153      1 |    22542 |    29846
1234.42/1234.81	c 1232s |      18 |   385028 |   298852 |   206153      1 |    22542 |    29846
1237.01/1237.49	c 1235s |      18 |   385498 |   299252 |   206153      1 |    22542 |    29846
1239.61/1240.03	c 1237s |      18 |   385981 |   299652 |   206153      1 |    22542 |    29846
1242.11/1242.50	c 1240s |      18 |   386496 |   300052 |   206153      1 |    22542 |    29846
1244.11/1244.59	c 1242s |      18 |   386864 |   300352 |   206153      1 |    22542 |    29846
1246.41/1246.85	c 1244s |      18 |   387378 |   300752 |   206153      1 |    22542 |    29846
1248.61/1249.07	c 1246s |      18 |   387880 |   301152 |   206153      1 |    22542 |    29846
1250.71/1251.17	c 1249s |      18 |   388419 |   301552 |   206153      1 |    22542 |    29846
1253.10/1253.50	c 1251s |      18 |   388912 |   301952 |   206153      1 |    22542 |    29846
1255.20/1255.61	c 1253s |      18 |   389312 |   302252 |   206153      1 |    22542 |    29846
1257.90/1258.33	c 1256s |      18 |   389811 |   302652 |   206153      1 |    22542 |    29846
1260.10/1260.59	c 1258s |      18 |   390163 |   302952 |   206153      1 |    22542 |    29846
1262.59/1263.03	c 1260s |      18 |   390516 |   303252 |   206153      1 |    22542 |    29846
1264.79/1265.21	c 1263s |      18 |   390866 |   303552 |   206153      1 |    22542 |    29846
1266.90/1267.38	c 1265s |      18 |   391223 |   303852 |   206153      1 |    22542 |    29846
1269.10/1269.56	c 1267s |      18 |   391597 |   304152 |   206153      1 |    22542 |    29846
1271.20/1271.68	c 1269s |      18 |   392007 |   304452 |   206153      1 |    22542 |    29846
1273.39/1273.84	c 1271s |      18 |   392415 |   304752 |   206153      1 |    22542 |    29846
1275.59/1276.01	c 1273s |      18 |   392766 |   305052 |   206153      1 |    22542 |    29846
1277.69/1278.12	c 1276s |      18 |   393114 |   305352 |   206153      1 |    22542 |    29846
1279.69/1280.13	c 1278s |      18 |   393470 |   305652 |   206153      1 |    22542 |    29846
1281.98/1282.49	c 1280s |      18 |   393852 |   305952 |   206153      1 |    22542 |    29846
1284.28/1284.76	c 1282s |      18 |   394203 |   306252 |   206153      1 |    22542 |    29846
1286.38/1286.88	c 1284s |      18 |   394569 |   306552 |   206153      1 |    22542 |    29846
1288.68/1289.16	c 1287s |      18 |   394961 |   306852 |   206153      1 |    22542 |    29846
1290.88/1291.40	c 1289s |      18 |   395342 |   307152 |   206153      1 |    22542 |    29846
1293.57/1294.02	c 1291s |      18 |   395815 |   307552 |   206153      1 |    22542 |    29846
1295.88/1296.33	c 1294s |      18 |   396177 |   307852 |   206153      1 |    22542 |    29846
1297.87/1298.36	c 1296s |      18 |   396570 |   308152 |   206153      1 |    22542 |    29846
1299.88/1300.40	c 1298s |      18 |   396975 |   308452 |   206153      1 |    22542 |    29846
1302.08/1302.57	c 1300s |      18 |   397369 |   308752 |   206153      1 |    22542 |    29846
1304.57/1305.02	c 1302s |      18 |   397880 |   309152 |   206153      1 |    22542 |    29846
1306.77/1307.20	c 1305s |      18 |   398223 |   309452 |   206153      1 |    22542 |    29846
1308.77/1309.23	c 1307s |      18 |   398601 |   309752 |   206153      1 |    22542 |    29846
1311.36/1311.82	c 1309s |      18 |   399180 |   310152 |   206153      1 |    22542 |    29846
1313.46/1313.93	c 1311s |      18 |   399573 |   310452 |   206153      1 |    22542 |    29846
1316.06/1316.53	c 1314s |      18 |   400078 |   310852 |   206153      1 |    22542 |    29846
1318.06/1318.54	c 1316s |      18 |   400433 |   311152 |   206153      1 |    22542 |    29846
1320.67/1321.12	c 1319s |      18 |   400893 |   311552 |   206153      1 |    22542 |    29846
1322.66/1323.17	c 1321s |      18 |   401232 |   311852 |   206153      1 |    22542 |    29846
1325.07/1325.58	c 1323s |      18 |   401704 |   312252 |   206153      1 |    22542 |    29846
1327.37/1327.89	c 1325s |      18 |   402102 |   312552 |   206153      1 |    22542 |    29846
1330.06/1330.50	c 1328s |      18 |   402464 |   312852 |   206153      1 |    22542 |    29846
1332.86/1333.39	c 1331s |      18 |   402870 |   313152 |   206153      1 |    22542 |    29846
1335.26/1335.74	c 1333s |      18 |   403362 |   313552 |   206153      1 |    22542 |    29846
1337.46/1337.92	c 1335s |      18 |   403742 |   313852 |   206153      1 |    22542 |    29846
1339.46/1339.93	c 1337s |      18 |   404107 |   314152 |   206153      1 |    22542 |    29846
1342.05/1342.50	c 1340s |      18 |   404606 |   314552 |   206153      1 |    22542 |    29846
1344.65/1345.18	c 1343s |      18 |   405143 |   314952 |   206153      1 |    22542 |    29846
1347.06/1347.54	c 1345s |      18 |   405514 |   315252 |   206153      1 |    22542 |    29846
1349.36/1349.82	c 1347s |      18 |   405897 |   315552 |   206153      1 |    22542 |    29846
1351.74/1352.20	c 1350s |      18 |   406279 |   315852 |   206153      1 |    22542 |    29846
1353.85/1354.31	c 1352s |      18 |   406659 |   316152 |   206153      1 |    22542 |    29846
1356.14/1356.66	c 1354s |      18 |   407028 |   316452 |   206153      1 |    22542 |    29846
1358.34/1358.88	c 1356s |      18 |   407497 |   316852 |   206153      1 |    22542 |    29846
1360.64/1361.10	c 1359s |      18 |   407984 |   317252 |   206153      1 |    22542 |    29846
1363.14/1363.65	c 1361s |      18 |   408444 |   317652 |   206153      1 |    22542 |    29846
1365.64/1366.18	c 1364s |      18 |   408903 |   318052 |   206153      1 |    22542 |    29846
1367.95/1368.48	c 1366s |      18 |   409382 |   318452 |   206153      1 |    22542 |    29846
1370.25/1370.76	c 1368s |      18 |   409742 |   318752 |   206153      1 |    22542 |    29846
1372.53/1373.09	c 1371s |      18 |   410182 |   319152 |   206153      1 |    22542 |    29846
1375.23/1375.72	c 1373s |      18 |   410665 |   319552 |   206153      1 |    22542 |    29846
1377.43/1377.95	c 1375s |      18 |   411091 |   319852 |   206153      1 |    22542 |    29846
1379.63/1380.18	c 1378s |      18 |   411442 |   320152 |   206153      1 |    22542 |    29846
1382.34/1382.86	c 1380s |      18 |   411912 |   320552 |   206153      1 |    22542 |    29846
1384.44/1384.91	c 1382s |      18 |   412308 |   320852 |   206153      1 |    22542 |    29846
1387.03/1387.57	c 1385s |      18 |   412862 |   321252 |   206153      1 |    22542 |    29846
1389.53/1390.06	c 1387s |      18 |   413353 |   321652 |   206153      1 |    22542 |    29846
1392.13/1392.66	c 1390s |      18 |   413839 |   322052 |   206153      1 |    22542 |    29846
1394.12/1394.67	c 1392s |      18 |   414213 |   322352 |   206153      1 |    22542 |    29846
1396.53/1397.08	c 1395s |      18 |   414716 |   322752 |   206153      1 |    22542 |    29846
1399.02/1399.50	c 1397s |      18 |   415198 |   323152 |   206153      1 |    22542 |    29846
1401.52/1402.06	c 1399s |      18 |   415748 |   323552 |   206153      1 |    22542 |    29846
1403.92/1404.42	c 1402s |      18 |   416267 |   323952 |   206153      1 |    22542 |    29846
1405.92/1406.49	c 1404s |      18 |   416800 |   324352 |   206153      1 |    22542 |    29846
1408.41/1408.91	c 1406s |      18 |   417340 |   324752 |   206153      1 |    22542 |    29846
1410.71/1411.25	c 1409s |      18 |   417844 |   325152 |   206153      1 |    22542 |    29846
1413.12/1413.66	c 1411s |      18 |   418358 |   325552 |   206153      1 |    22542 |    29846
1415.61/1416.11	c 1414s |      18 |   418853 |   325952 |   206153      1 |    22542 |    29846
1417.61/1418.12	c 1416s |      18 |   419330 |   326352 |   206153      1 |    22542 |    29846
1420.41/1420.94	c 1418s |      18 |   419832 |   326752 |   206153      1 |    22542 |    29846
1422.70/1423.21	c 1421s |      18 |   420403 |   327152 |   206153      1 |    22542 |    29846
1424.70/1425.29	c 1423s |      18 |   420793 |   327452 |   206153      1 |    22542 |    29846
1427.31/1427.81	c 1425s |      18 |   421313 |   327852 |   206153      1 |    22542 |    29846
1429.61/1430.15	c 1428s |      18 |   421712 |   328152 |   206153      1 |    22542 |    29846
1432.10/1432.61	c 1430s |      18 |   422073 |   328452 |   206153      1 |    22542 |    29846
1434.30/1434.89	c 1432s |      18 |   422447 |   328752 |   206153      1 |    22542 |    29846
1436.70/1437.28	c 1435s |      18 |   422952 |   329152 |   206153      1 |    22542 |    29846
1438.90/1439.46	c 1437s |      18 |   423432 |   329552 |   206153      1 |    22542 |    29846
1441.20/1441.78	c 1439s |      18 |   423906 |   329952 |   206153      1 |    22542 |    29846
1443.40/1443.97	c 1441s |      18 |   424360 |   330352 |   206153      1 |    22542 |    29846
1445.40/1445.98	c 1443s |      18 |   424712 |   330652 |   206153      1 |    22542 |    29846
1447.70/1448.24	c 1446s |      18 |   425185 |   331052 |   206153      1 |    22542 |    29846
1450.30/1450.88	c 1448s |      18 |   425658 |   331452 |   206153      1 |    22542 |    29846
1452.40/1452.93	c 1450s |      18 |   426013 |   331752 |   206153      1 |    22542 |    29846
1454.39/1454.95	c 1452s |      18 |   426355 |   332052 |   206153      1 |    22542 |    29846
1456.49/1457.02	c 1454s |      18 |   426745 |   332352 |   206153      1 |    22542 |    29846
1458.60/1459.11	c 1457s |      18 |   427235 |   332752 |   206153      1 |    22542 |    29846
1460.99/1461.51	c 1459s |      18 |   427726 |   333152 |   206153      1 |    22542 |    29846
1463.70/1464.23	c 1462s |      18 |   428190 |   333552 |   206153      1 |    22542 |    29846
1465.80/1466.39	c 1464s |      18 |   428557 |   333852 |   206153      1 |    22542 |    29846
1468.00/1468.56	c 1466s |      18 |   428913 |   334152 |   206153      1 |    22542 |    29846
1470.49/1471.04	c 1468s |      18 |   429382 |   334552 |   206153      1 |    22542 |    29846
1472.69/1473.22	c 1471s |      18 |   429760 |   334852 |   206153      1 |    22542 |    29846
1474.89/1475.47	c 1473s |      18 |   430122 |   335152 |   206153      1 |    22542 |    29846
1476.99/1477.56	c 1475s |      18 |   430485 |   335452 |   206153      1 |    22542 |    29846
1479.49/1480.04	c 1477s |      18 |   430854 |   335752 |   206153      1 |    22542 |    29846
1481.49/1482.09	c 1480s |      18 |   431235 |   336052 |   206153      1 |    22542 |    29846
1483.99/1484.58	c 1482s |      18 |   431590 |   336352 |   206153      1 |    22542 |    29846
1486.39/1486.99	c 1484s |      18 |   431954 |   336652 |   206153      1 |    22542 |    29846
1489.09/1489.67	c 1487s |      18 |   432459 |   337052 |   206153      1 |    22542 |    29846
1491.99/1492.52	c 1490s |      18 |   432941 |   337452 |   206153      1 |    22542 |    29846
1494.79/1495.38	c 1493s |      18 |   433310 |   337752 |   206153      1 |    22542 |    29846
1497.09/1497.63	c 1495s |      18 |   433671 |   338052 |   206153      1 |    22542 |    29846
1499.39/1499.95	c 1497s |      18 |   434047 |   338352 |   206153      1 |    22542 |    29846
1501.59/1502.13	c 1500s |      18 |   434452 |   338652 |   206153      1 |    22542 |    29846
1504.39/1504.95	c 1502s |      18 |   434826 |   338952 |   206153      1 |    22542 |    29846
1506.99/1507.51	c 1505s |      18 |   435191 |   339252 |   206153      1 |    22542 |    29846
1509.49/1510.08	c 1508s |      18 |   435545 |   339552 |   206153      1 |    22542 |    29846
1511.99/1512.56	c 1510s |      18 |   435923 |   339852 |   206153      1 |    22542 |    29846
1514.29/1514.83	c 1512s |      18 |   436303 |   340152 |   206153      1 |    22542 |    29846
1516.78/1517.33	c 1515s |      18 |   436638 |   340452 |   206153      1 |    22542 |    29846
1518.98/1519.54	c 1517s |      18 |   436978 |   340752 |   206153      1 |    22542 |    29846
1521.48/1522.04	c 1519s |      18 |   437334 |   341052 |   206153      1 |    22542 |    29846
1523.88/1524.47	c 1522s |      18 |   437670 |   341352 |   206153      1 |    22542 |    29846
1526.18/1526.80	c 1524s |      18 |   438022 |   341652 |   206153      1 |    22542 |    29846
1528.38/1528.93	c 1526s |      18 |   438393 |   341952 |   206153      1 |    22542 |    29846
1530.48/1531.00	c 1528s |      18 |   438769 |   342252 |   206153      1 |    22542 |    29846
1532.89/1533.47	c 1531s |      18 |   439265 |   342652 |   206153      1 |    22542 |    29846
1535.28/1535.89	c 1533s |      18 |   439746 |   343052 |   206153      1 |    22542 |    29846
1537.48/1538.01	c 1535s |      18 |   440097 |   343352 |   206153      1 |    22542 |    29846
1540.08/1540.66	c 1538s |      18 |   440532 |   343752 |   206153      1 |    22542 |    29846
1542.28/1542.82	c 1540s |      18 |   440891 |   344052 |   206153      1 |    22542 |    29846
1544.28/1544.88	c 1542s |      18 |   441264 |   344352 |   206153      1 |    22542 |    29846
1546.38/1546.90	c 1544s |      18 |   441626 |   344652 |   206153      1 |    22542 |    29846
1548.78/1549.33	c 1547s |      18 |   442112 |   345052 |   206153      1 |    22542 |    29846
1551.38/1551.92	c 1549s |      18 |   442571 |   345452 |   206153      1 |    22542 |    29846
1553.48/1554.04	c 1551s |      18 |   443012 |   345852 |   206153      1 |    22542 |    29846
1556.08/1556.63	c 1554s |      18 |   443115 |   345952 |   206153      2 |    22542 |    29846
1558.18/1558.72	c 1556s |      18 |   443491 |   346252 |   206153      2 |    22542 |    29846
1560.38/1560.98	c 1558s |      18 |   443881 |   346552 |   206153      2 |    22542 |    29846
1562.47/1563.01	c 1560s |      18 |   444129 |   346752 |   206153      2 |    22542 |    29846
1565.07/1565.69	c 1563s |      18 |   444600 |   347152 |   206153      2 |    22542 |    29846
1567.37/1567.98	c 1565s |      18 |   445081 |   347552 |   206153      2 |    22542 |    29846
1569.47/1570.02	c 1567s |      18 |   445541 |   347952 |   206153      2 |    22542 |    29846
1571.48/1572.05	c 1569s |      18 |   446023 |   348352 |   206153      2 |    22542 |    29846
1573.47/1574.06	c 1571s |      18 |   446487 |   348752 |   206153      2 |    22542 |    29846
1575.57/1576.13	c 1574s |      18 |   446944 |   349152 |   206153      2 |    22542 |    29846
1577.77/1578.37	c 1576s |      18 |   447426 |   349552 |   206153      2 |    22542 |    29846
1579.97/1580.53	c 1578s |      18 |   447903 |   349952 |   206153      2 |    22542 |    29846
1581.97/1582.58	c 1580s |      18 |   448237 |   350252 |   206153      2 |    22542 |    29846
1584.47/1585.07	c 1582s |      18 |   448680 |   350652 |   206153      2 |    22542 |    29846
1586.78/1587.40	c 1585s |      18 |   449189 |   351052 |   206153      2 |    22542 |    29846
1589.27/1589.86	c 1587s |      18 |   449773 |   351552 |   206153      2 |    22542 |    29846
1591.77/1592.32	c 1590s |      18 |   450362 |   352052 |   206153      2 |    22542 |    29846
1593.87/1594.47	c 1592s |      18 |   450827 |   352452 |   206153      2 |    22542 |    29846
1596.17/1596.77	c 1594s |      18 |   451281 |   352852 |   206153      2 |    22542 |    29846
1598.47/1599.02	c 1596s |      18 |   451746 |   353252 |   206153      2 |    22542 |    29846
1600.77/1601.35	c 1599s |      18 |   452211 |   353652 |   206153      2 |    22542 |    29846
1602.78/1603.39	c 1601s |      18 |   452674 |   354052 |   206153      2 |    22542 |    29846
1605.08/1605.60	c 1603s |      18 |   453124 |   354452 |   206153      2 |    22542 |    29846
1607.07/1607.64	c 1605s |      18 |   453565 |   354852 |   206153      2 |    22542 |    29846
1609.17/1609.79	c 1607s |      18 |   454015 |   355252 |   206153      2 |    22542 |    29846
1611.57/1612.10	c 1610s |      18 |   454471 |   355652 |   206153      2 |    22542 |    29846
1613.77/1614.36	c 1612s |      18 |   454910 |   356052 |   206153      2 |    22542 |    29846
1615.87/1616.46	c 1614s |      18 |   455392 |   356452 |   206153      2 |    22542 |    29846
1618.07/1618.64	c 1616s |      18 |   456017 |   356952 |   206153      2 |    22542 |    29846
1620.27/1620.87	c 1618s |      18 |   456499 |   357352 |   206153      2 |    22542 |    29846
1622.67/1623.24	c 1621s |      18 |   456957 |   357752 |   206153      2 |    22542 |    29846
1624.97/1625.57	c 1623s |      18 |   457393 |   358152 |   206153      2 |    22542 |    29846
1627.37/1627.97	c 1625s |      18 |   457847 |   358552 |   206153      2 |    22542 |    29846
1629.47/1630.08	c 1628s |      18 |   458194 |   358852 |   206153      2 |    22542 |    29846
1631.88/1632.44	c 1630s |      18 |   458555 |   359152 |   206153      2 |    22542 |    29846
1634.08/1634.61	c 1632s |      18 |   458934 |   359452 |   206153      2 |    22542 |    29846
1636.47/1637.09	c 1635s |      18 |   459285 |   359752 |   206153      2 |    22542 |    29846
1638.77/1639.33	c 1637s |      18 |   459705 |   360052 |   206153      2 |    22542 |    29846
1641.47/1642.05	c 1639s |      18 |   460212 |   360452 |   206153      2 |    22542 |    29846
1644.08/1644.69	c 1642s |      18 |   460686 |   360852 |   206153      2 |    22542 |    29846
1646.67/1647.29	c 1645s |      18 |   461218 |   361252 |   206153      2 |    22542 |    29846
1649.07/1649.64	c 1647s |      18 |   461714 |   361652 |   206153      2 |    22542 |    29846
1651.47/1652.05	c 1649s |      18 |   462250 |   362052 |   206153      2 |    22542 |    29846
1653.77/1654.31	c 1652s |      18 |   462737 |   362452 |   206153      2 |    22542 |    29846
1655.77/1656.34	c 1654s |      18 |   463092 |   362752 |   206153      2 |    22542 |    29846
1657.97/1658.59	c 1656s |      18 |   463554 |   363152 |   206153      2 |    22542 |    29846
1660.37/1660.90	c 1658s |      18 |   464043 |   363552 |   206153      2 |    22542 |    29846
1662.77/1663.32	c 1661s |      18 |   464554 |   363952 |   206153      2 |    22542 |    29846
1665.07/1665.62	c 1663s |      18 |   465002 |   364352 |   206153      2 |    22542 |    29846
1667.76/1668.33	c 1666s |      18 |   465470 |   364752 |   206153      2 |    22542 |    29846
1670.06/1670.61	c 1668s |      18 |   465994 |   365152 |   206153      2 |    22542 |    29846
1672.16/1672.75	c 1670s |      18 |   466511 |   365552 |   206153      2 |    22542 |    29846
1674.26/1674.86	c 1672s |      18 |   466996 |   365952 |   206153      2 |    22542 |    29846
1676.36/1676.94	c 1674s |      18 |   467511 |   366352 |   206153      2 |    22542 |    29846
1678.66/1679.26	c 1677s |      18 |   467966 |   366752 |   206153      2 |    22542 |    29846
1681.16/1681.74	c 1679s |      18 |   468476 |   367152 |   206153      2 |    22542 |    29846
1683.67/1684.26	c 1682s |      18 |   468946 |   367552 |   206153      2 |    22542 |    29846
1686.46/1687.00	c 1684s |      18 |   469390 |   367952 |   206153      2 |    22542 |    29846
1688.86/1689.42	c 1687s |      18 |   469867 |   368352 |   206153      2 |    22542 |    29846
1691.06/1691.66	c 1689s |      18 |   470346 |   368752 |   206153      2 |    22542 |    29846
1693.16/1693.74	c 1691s |      18 |   470714 |   369052 |   206153      2 |    22542 |    29846
1695.26/1695.83	c 1693s |      18 |   471055 |   369352 |   206153      2 |    22542 |    29846
1697.97/1698.51	c 1696s |      18 |   471561 |   369752 |   206153      2 |    22542 |    29846
1699.96/1700.60	c 1698s |      18 |   471896 |   370052 |   206153      2 |    22542 |    29846
1702.06/1702.65	c 1700s |      18 |   472265 |   370352 |   206153      2 |    22542 |    29846
1704.16/1704.71	c 1702s |      18 |   472641 |   370652 |   206153      2 |    22542 |    29846
1706.66/1707.27	c 1705s |      18 |   473164 |   371052 |   206153      2 |    22542 |    29846
1709.36/1709.91	c 1707s |      18 |   473666 |   371452 |   206153      2 |    22542 |    29846
1711.66/1712.29	c 1710s |      18 |   474046 |   371752 |   206153      2 |    22542 |    29846
1714.06/1714.60	c 1712s |      18 |   474384 |   372052 |   206153      2 |    22542 |    29846
1716.26/1716.86	c 1714s |      18 |   474727 |   372352 |   206153      2 |    22542 |    29846
1718.76/1719.39	c 1717s |      18 |   475061 |   372652 |   206153      2 |    22542 |    29846
1720.96/1721.51	c 1719s |      18 |   475449 |   372952 |   206153      2 |    22542 |    29846
1723.66/1724.25	c 1722s |      18 |   475983 |   373352 |   206153      2 |    22542 |    29846
1726.15/1726.78	c 1724s |      18 |   476394 |   373652 |   206153      2 |    22542 |    29846
1728.35/1728.94	c 1726s |      18 |   476794 |   373952 |   206153      2 |    22542 |    29846
1730.86/1731.45	c 1729s |      18 |   477158 |   374252 |   206153      2 |    22542 |    29846
1733.95/1734.52	c 1732s |      18 |   477712 |   374552 |   206153      2 |    22542 |    29846
1735.95/1736.54	c 1734s |      18 |   478400 |   375052 |   206153      2 |    22542 |    29846
1738.05/1738.67	c 1736s |      18 |   479094 |   375552 |   206153      2 |    22542 |    29846
1740.15/1740.71	c 1738s |      18 |   479607 |   375952 |   206153      2 |    22542 |    29846
1742.55/1743.10	c 1741s |      18 |   480184 |   376452 |   206153      2 |    22542 |    29846
1744.75/1745.33	c 1743s |      18 |   480804 |   376952 |   206153      2 |    22542 |    29846
1747.05/1747.63	c 1745s |      18 |   481428 |   377452 |   206153      2 |    22542 |    29846
1749.35/1749.95	c 1747s |      18 |   482029 |   377952 |   206153      2 |    22542 |    29846
1751.45/1752.02	c 1749s |      18 |   482539 |   378352 |   206153      2 |    22542 |    29846
1753.55/1754.18	c 1752s |      18 |   483094 |   378752 |   206153      2 |    22542 |    29846
1755.75/1756.31	c 1754s |      18 |   483581 |   379152 |   206153      2 |    22542 |    29846
1758.15/1758.70	c 1756s |      18 |   484226 |   379652 |   206153      2 |    22542 |    29846
1760.25/1760.83	c 1758s |      18 |   484699 |   380052 |   206153      2 |    22542 |    29846
1762.76/1763.37	c 1761s |      18 |   485345 |   380552 |   206153      2 |    22542 |    29846
1764.96/1765.59	c 1763s |      18 |   485964 |   381052 |   206153      2 |    22542 |    29846
1767.26/1767.84	c 1765s |      18 |   486576 |   381552 |   206153      2 |    22542 |    29846
1769.25/1769.87	c 1767s |      18 |   487050 |   381952 |   206153      2 |    22542 |    29846
1771.55/1772.14	c 1770s |      18 |   487666 |   382452 |   206153      2 |    22542 |    29846
1773.55/1774.17	c 1772s |      18 |   488148 |   382852 |   206153      2 |    22542 |    29846
1775.65/1776.21	c 1774s |      18 |   488479 |   383152 |   206153      2 |    22542 |    29846
1778.05/1778.67	c 1776s |      18 |   488992 |   383552 |   206153      2 |    22542 |    29846
1780.15/1780.79	c 1778s |      18 |   489591 |   383952 |   206153      2 |    22542 |    29846
1782.35/1782.98	c 1780s |      18 |   490084 |   384352 |   206153      2 |    22542 |    29846
1784.54/1785.16	c 1783s |      18 |   490624 |   384752 |   206153      2 |    22542 |    29846
1786.64/1787.24	c 1785s |      18 |   491210 |   385152 |   206153      2 |    22542 |    29846
1788.84/1789.45	c 1787s |      18 |   491738 |   385552 |   206153      2 |    22542 |    29846
1791.04/1791.69	c 1789s |      18 |   492268 |   385952 |   206153      2 |    22542 |    29846
1793.24/1793.88	c 1791s |      18 |   492768 |   386352 |   206153      2 |    22542 |    29846
1795.64/1796.25	c 1794s |      18 |   493267 |   386752 |   206153      2 |    22542 |    29846
1797.95/1798.59	c 1796s |      18 |   493794 |   387152 |   206153      2 |    22542 |    29846

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.18 2.11 2/179 31392
/proc/meminfo: memFree=29392916/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 2962 0 0 0 0 0 0 0 20 0 4 0 31109703 809955328 3323 33554432000 4194304 16246674 140735413051776 140735413051200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 198511 3332 441 2943 0 195405 0
[pid=31392/tid=31393] ppid=31389 vsize=809404 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 828829696 3392 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=813500 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 833024000 3410 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=817596 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31109703 837218304 3425 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.20 2.18 2.11 2/179 31392
/proc/meminfo: memFree=29392916/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 28027 0 0 0 5 4 0 0 20 0 4 0 31109703 1333334016 28327 33554432000 4194304 16246674 140735413051776 140735413051088 7391492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 325521 28344 801 2943 0 322415 0
[pid=31392/tid=31393] ppid=31389 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1333334016 28355 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1333334016 28365 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1333334016 28377 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200618 s]
/proc/loadavg: 2.20 2.18 2.11 2/179 31392
/proc/meminfo: memFree=29392916/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 49383 0 0 0 12 7 0 0 20 0 4 0 31109703 1343819776 50193 33554432000 4194304 16246674 140735413051776 140735413051088 13967416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 328081 50193 801 2943 0 324975 0
[pid=31392/tid=31393] ppid=31389 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1343819776 50193 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1343819776 50193 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1343819776 50193 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30052 s]
/proc/loadavg: 2.20 2.18 2.11 2/179 31392
/proc/meminfo: memFree=29392916/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 56883 0 0 0 21 8 0 0 20 0 4 0 31109703 1343819776 57693 33554432000 4194304 16246674 140735413051776 140735413051088 7371247 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 328081 57693 801 2943 0 324975 0
[pid=31392/tid=31393] ppid=31389 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1343819776 57693 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1343819776 57693 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1343819776 57693 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700447 s]
/proc/loadavg: 2.20 2.18 2.11 2/179 31392
/proc/meminfo: memFree=29392916/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 65156 0 0 0 59 10 0 0 20 0 4 0 31109703 1344868352 65966 33554432000 4194304 16246674 140735413051776 140735413034768 7364254 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 328337 65966 802 2943 0 325231 0
[pid=31392/tid=31393] ppid=31389 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1344868352 65966 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1344868352 65966 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1344868352 65966 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.18 2.18 2.11 3/183 31396
/proc/meminfo: memFree=29012532/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1332804 CPUtime=1.48 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 133157 0 0 0 127 21 0 0 20 0 4 0 31109703 1364791296 133967 33554432000 4194304 16246674 140735413051776 140735413034768 5900929 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 333201 133967 840 2943 0 330095 0
[pid=31392/tid=31393] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 133967 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 133967 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 133967 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1332804

[startup+3.10043 s]
/proc/loadavg: 2.18 2.18 2.11 3/183 31396
/proc/meminfo: memFree=28676360/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1332804 CPUtime=3.09 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 228735 0 0 0 275 34 0 0 20 0 4 0 31109703 1364791296 229545 33554432000 4194304 16246674 140735413051776 140735413033664 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 333201 229551 885 2943 0 330095 0
[pid=31392/tid=31393] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 229554 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 229558 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 229560 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1332804

[startup+6.30044 s]
/proc/loadavg: 2.17 2.17 2.11 3/183 31396
/proc/meminfo: memFree=28294728/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1332804 CPUtime=6.29 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 273876 0 0 0 591 38 0 0 20 0 4 0 31109703 1364791296 274686 33554432000 4194304 16246674 140735413051776 140735413033664 12483204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 333201 274686 892 2943 0 330095 0
[pid=31392/tid=31393] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274686 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274686 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274686 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1332804

[startup+12.7004 s]
/proc/loadavg: 2.15 2.17 2.11 3/183 31396
/proc/meminfo: memFree=28295308/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1332804 CPUtime=12.68 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 273876 0 0 0 1230 38 0 0 20 0 4 0 31109703 1364791296 274686 33554432000 4194304 16246674 140735413051776 140735413033664 6022377 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 333201 274686 892 2943 0 330095 0
[pid=31392/tid=31393] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274686 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274686 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274686 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1332804

[startup+25.5005 s]
/proc/loadavg: 2.27 2.19 2.12 3/183 31396
/proc/meminfo: memFree=28295956/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1332804 CPUtime=25.48 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 273877 0 0 0 2510 38 0 0 20 0 4 0 31109703 1364791296 274687 33554432000 4194304 16246674 140735413051776 140735413034776 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 333201 274687 892 2943 0 330095 0
[pid=31392/tid=31393] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274687 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274687 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274687 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1332804

[startup+51.1005 s]
/proc/loadavg: 2.24 2.19 2.12 3/183 31396
/proc/meminfo: memFree=28292612/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1332804 CPUtime=51.09 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 273877 0 0 0 5070 39 0 0 20 0 4 0 31109703 1364791296 274687 33554432000 4194304 16246674 140735413051776 140735413033664 5675184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 333201 274687 892 2943 0 330095 0
[pid=31392/tid=31393] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274687 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274687 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274687 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1332804

[startup+102.301 s]
/proc/loadavg: 2.14 2.18 2.11 3/183 31397
/proc/meminfo: memFree=28289392/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1332804 CPUtime=102.28 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 273878 0 0 0 10189 39 0 0 20 0 4 0 31109703 1364791296 274688 33554432000 4194304 16246674 140735413051776 140735413033664 12483664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 333201 274688 892 2943 0 330095 0
[pid=31392/tid=31393] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274688 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274688 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1364791296 274688 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1332804


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

/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1375812

[startup+1302.3 s]
/proc/loadavg: 2.19 2.22 2.17 3/183 31500
/proc/meminfo: memFree=28476088/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1375812 CPUtime=1301.87 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 284929 0 0 0 130144 43 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 140735413033664 12483187 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 343953 285366 893 2943 0 340847 0
[pid=31392/tid=31393] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1375812

[startup+1362.3 s]
/proc/loadavg: 2.19 2.21 2.17 3/183 31502
/proc/meminfo: memFree=28475976/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1375812 CPUtime=1361.84 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 284952 0 0 0 136141 43 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 140735413033664 5677164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 343953 285366 893 2943 0 340847 0
[pid=31392/tid=31393] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1375812

[startup+1422.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/184 31506
/proc/meminfo: memFree=28475520/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1375812 CPUtime=1421.81 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 284993 0 0 0 142138 43 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 140735413033664 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 343953 285366 893 2943 0 340847 0
[pid=31392/tid=31393] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1375812

[startup+1482.3 s]
/proc/loadavg: 2.15 2.20 2.17 3/183 31507
/proc/meminfo: memFree=28475756/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1375812 CPUtime=1481.79 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 285000 0 0 0 148136 43 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 140735413033664 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 343953 285366 893 2943 0 340847 0
[pid=31392/tid=31393] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1375812

[startup+1542.31 s]
/proc/loadavg: 2.18 2.19 2.17 3/183 31508
/proc/meminfo: memFree=28475776/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1375812 CPUtime=1541.79 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 285000 0 0 0 154136 43 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 140735413033664 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 343953 285366 893 2943 0 340847 0
[pid=31392/tid=31393] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1408831488 285366 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1375812

[startup+1602.3 s]
/proc/loadavg: 2.33 2.23 2.19 4/183 31509
/proc/meminfo: memFree=28471968/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1378884 CPUtime=1601.78 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 285845 0 0 0 160134 44 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 140735413033664 5823355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 344721 286211 893 2943 0 341615 0
[pid=31392/tid=31393] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1378884

[startup+1662.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/182 31510
/proc/meminfo: memFree=28471528/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1378884 CPUtime=1661.77 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 285845 0 0 0 166133 44 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 140735413033664 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 344721 286211 893 2943 0 341615 0
[pid=31392/tid=31393] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1378884

[startup+1722.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 31512
/proc/meminfo: memFree=28472140/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1378884 CPUtime=1721.76 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 285845 0 0 0 172132 44 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 140735413033664 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 344721 286211 893 2943 0 341615 0
[pid=31392/tid=31393] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1378884

[startup+1782.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 31513
/proc/meminfo: memFree=28471400/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1378884 CPUtime=1781.75 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 285845 0 0 0 178131 44 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 140735413033664 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 344721 286211 893 2943 0 341615 0
[pid=31392/tid=31393] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1378884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 31513
/proc/meminfo: memFree=28471908/32872528 swapFree=1191052/1305516
[pid=31392] ppid=31389 vsize=1378884 CPUtime=1800.04 cores=1,3,5,7
/proc/31392/stat : 31392 (toysat) R 31389 31392 26736 0 -1 4202496 285845 0 0 0 179960 44 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 140735413033664 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31392/statm: 344721 286211 893 2943 0 341615 0
[pid=31392/tid=31393] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31393/stat : 31393 (toysat) S 31389 31392 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842293837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31392/tid=31394] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31394/stat : 31394 (toysat) S 31389 31392 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842283347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31392/tid=31395] ppid=31389 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/31392/task/31395/stat : 31395 (toysat) S 31389 31392 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31109703 1411977216 286211 33554432000 4194304 16246674 140735413051776 139842272873648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1378884

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.61
CPU system time (s): 0.442932
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1378884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.442932
maximum resident set size= 1144844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285845
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= 480
involuntary context switches= 1975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3904 second user time and 19.0641 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-19 00:57:11
IDJOB=4107957
IDBENCH=74340
IDSOLVER=2542
FILE ID=node127/4107957-1466290631
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 2ff183c8695f0992ee4ac0210b2026e7
RANDOM SEED=2047549662

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29393296 kB
Buffers:           12012 kB
Cached:            90916 kB
SwapCached:          500 kB
Active:          1396576 kB
Inactive:          38068 kB
Active(anon):    1329524 kB
Inactive(anon):     4180 kB
Active(file):      67052 kB
Inactive(file):    33888 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             20172 kB
Writeback:             0 kB
AnonPages:       2636332 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             602952 kB
SReclaimable:      46916 kB
SUnreclaim:       556036 kB
KernelStack:        1440 kB
PageTables:         9168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2780112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1435648 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 node127 at 2016-06-19 01:27:12