Trace number 4116405

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-6.opb
MD5SUMd31ee2a1ee22cc14c8f96bf686217001
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9456
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T22:16:38+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-4116405-1466972198.opb"]
0.00/0.01	c use --random-gen="4063943245 2038362850 3124061842 1536455983 4203029730 1089432443 2335825803 3523075681 2813665858 3544236567 3570471491 2183060840 3876054813 3728252736 1982746358 2383236052 1071989585 825029956 1047070095 2056417570 53205309 743785472 624756430 4234102501 1491777278 121805 755050824 2447344533 431764820 57157387 73199004 750795789 3964794759 1740492899 471171700 2944979769 1745750389 1438768966 2307433908 3801334103 503439709 644481089 350966517 2489466745 1928927420 727766771 3451766474 3843966060 136674834 1655522798 1622203647 397823914 2258924590 1600908601 1142364779 2945335187 2841684810 5278799 2839185380 110792804 3838230971 462853470 1366832783 537698063 370341206 2729126487 1931254262 1852758583 780267532 1543890624 1328544770 2203824389 1808576448 3648012182 3479522657 2125345033 4152899561 2578698862 317870049 1344356316 2938359885 1635071543 899554762 3535194815 2024316756 1520208091 2516047741 1606305870 1939028663 3707893525 2506349358 4077339211 2066962614 3882308151 404184746 1485955195 250981211 901365871 1407004356 2318049352 2026004755 198733379 2556617045 2991444824 3645571114 1913155474 4263327450 3750776597 1450098632 3722509233 1214141057 1434577998 3153890491 3851123491 1206016909 4020760098 1376047761 2521758581 2229916387 2081332902 691758423 2342121371 1199975008 2786853803 4240985100 283843147 1986213804 4100774160 3986173227 3699965598 2151491253 3510438501 3590553625 3206374922 1275793539 2460290979 1718876210 2148716407 3476486713 3387166140 3153050336 606468300 2612969539 1250669648 4046017998 3195867867 1705589023 29794333 2037258708 3379340014 1693373461 132178755 166506489 1650013576 1712116033 2872591749 1940244342 1364269063 3955526376 4244867317 760161827 2777898037 635301219 1811750455 3634182427 109614183 2788349496 1617143573 2335438548 618858150 234635712 1933703915 11901545 130396593 83775039 4158804332 3169706409 4114244791 3438572431 90485879 149108711 116144097 4172649181 4118358173 3954960509 656054148 2564711448 1404728592 2732927290 1162234113 2370179234 412533007 3214038778 569606772 1237668210 2810851174 2567912642 3820204096 2239992932 4136767864 211128534 1155603855 764367351 1182818145 2738300850 1553485938 2966597041 416600876 2222508253 2554822975 910190206 3869176941 1240671245 2461736454 4268923018 1044632112 2506826986 2271489748 65337234 1005126909 3197048804 3732011968 1426890110 537963231 3808501182 666734544 1844698109 2840050066 1947919522 556665424 836407594 1752445542 4101393982 1146143122 1024384476 2347028602 1274469107 3104699631 2143856320 2504678835 1583785279 474144564 3136714180 2384711432 1878181184 2954352592 3117567418 1431173048 1867360120 3003535784 3715114334 2263846575 3488390748 3290278462 3381120702 2976952094 255 362436" option to reproduce the execution
0.08/0.12	c #vars 4288
0.08/0.12	c #constraints 9456
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      598 |        0
0.29/0.36	c  0.1s |       1 |     1447 |      100 |     4565      0 |      598 |      318
0.39/0.44	c  0.2s |       2 |     2407 |      250 |     5022      0 |      598 |      318
0.49/0.57	c  0.3s |       3 |     3943 |      475 |     5525      0 |      598 |      318
0.78/0.81	c  0.5s |       4 |     5079 |      813 |     6078      0 |      598 |      318
1.10/1.20	c  0.9s |       5 |     9126 |     1320 |     6686      0 |      600 |      318
1.68/1.75	c  1.5s |       6 |    14121 |     2081 |     8091      0 |      600 |      318
2.89/2.97	c  2.7s |       7 |    17939 |     3223 |     8901      0 |      600 |      318
4.09/4.12	c  3.8s |       8 |    25166 |     4936 |     9792      0 |      600 |      318
6.09/6.14	c  5.9s |       8 |    29472 |     6836 |     9792      0 |      600 |      318
6.99/7.06	c  6.8s |       9 |    30218 |     7506 |    10772      0 |      600 |      318
9.09/9.13	c  8.9s |       9 |    36003 |     9406 |    10772      0 |      600 |      318
11.10/11.16	c 10.9s |       9 |    37516 |    10606 |    10772      0 |      600 |      318
12.49/12.57	c 12.3s |      10 |    38432 |    11361 |    11850      0 |      600 |      318
14.59/14.60	c 14.3s |      10 |    50256 |    14261 |    11850      0 |      600 |      318
16.59/16.69	c 16.4s |      10 |    52965 |    15761 |    11850      1 |      600 |      318
18.58/18.69	c 18.4s |      11 |    54959 |    17144 |    13036      1 |      600 |      318
20.68/20.73	c 20.5s |      11 |    63313 |    19444 |    13036      1 |      600 |      318
22.78/22.85	c 22.6s |      11 |    67495 |    21344 |    13036      1 |      600 |      318
24.88/24.94	c 24.7s |      11 |    71843 |    23644 |    13036      1 |      600 |      318
26.98/27.06	c 26.8s |      11 |    74285 |    25244 |    13036      2 |      600 |      318
27.88/27.98	c 27.7s |      12 |    75061 |    25819 |    14340      2 |      600 |      318
29.98/30.06	c 29.8s |      12 |    85613 |    28519 |    14340      2 |      600 |      318
31.99/32.09	c 31.8s |      12 |    87781 |    30219 |    14340      2 |      600 |      318
34.19/34.22	c 33.9s |      12 |    89612 |    31519 |    14340      2 |      600 |      318
36.29/36.31	c 36.0s |      12 |    91265 |    32819 |    14340      2 |      600 |      318
38.28/38.35	c 38.1s |      12 |    92619 |    33919 |    14340      3 |      600 |      318
40.38/40.46	c 40.2s |      12 |    94047 |    35119 |    14340      3 |      600 |      318
42.48/42.57	c 42.3s |      12 |    95287 |    36219 |    14340      3 |      600 |      318
44.49/44.58	c 44.3s |      12 |    96497 |    37219 |    14340      3 |      600 |      318
46.59/46.69	c 46.4s |      12 |    97720 |    38219 |    14340      3 |      600 |      318
48.09/48.12	c 47.8s |      13 |    98450 |    38832 |    15775      3 |      600 |      318
50.19/50.21	c 49.9s |      13 |   111760 |    41532 |    15775      3 |      600 |      318
52.19/52.26	c 52.0s |      13 |   119444 |    43932 |    15775      4 |      600 |      318
54.29/54.31	c 54.0s |      13 |   128583 |    46632 |    15775      4 |      600 |      318
56.29/56.38	c 56.1s |      13 |   131149 |    48332 |    15775      4 |      600 |      318
58.40/58.47	c 58.2s |      13 |   133299 |    49732 |    15775      4 |      600 |      318
60.49/60.55	c 60.3s |      13 |   134737 |    50832 |    15775      4 |      600 |      318
62.69/62.74	c 62.5s |      13 |   136146 |    51932 |    15775      4 |      600 |      318
64.89/64.99	c 64.7s |      13 |   137373 |    52932 |    15775      5 |      600 |      318
66.98/67.00	c 66.7s |      13 |   138483 |    53832 |    15775      5 |      600 |      318
69.08/69.17	c 68.9s |      13 |   139540 |    54732 |    15775      5 |      600 |      318
71.18/71.25	c 71.0s |      13 |   145365 |    56432 |    15775      5 |      600 |      318
73.38/73.42	c 73.1s |      13 |   147401 |    57832 |    15775      5 |      600 |      318
74.48/74.54	c 74.3s |      14 |   148016 |    58352 |    17353      5 |      600 |      318
76.58/76.63	c 76.4s |      14 |   154439 |    60452 |    17353      5 |      600 |      318
78.68/78.73	c 78.5s |      14 |   156515 |    62052 |    17353      5 |      600 |      318
80.68/80.75	c 80.5s |      14 |   159234 |    63752 |    17353      5 |      600 |      318
82.68/82.78	c 82.5s |      14 |   165803 |    65852 |    17353      6 |      600 |      318
84.79/84.88	c 84.6s |      14 |   167928 |    67352 |    17353      6 |      600 |      318
86.89/86.97	c 86.7s |      14 |   168941 |    68252 |    17353      6 |      600 |      318
88.98/89.04	c 88.8s |      14 |   170027 |    69252 |    17353      6 |      600 |      318
90.98/91.04	c 90.8s |      14 |   171162 |    70152 |    17353      6 |      600 |      318
93.07/93.18	c 92.9s |      14 |   173420 |    71552 |    17353      6 |      600 |      318
95.27/95.33	c 95.1s |      14 |   175174 |    72652 |    17353      6 |      600 |      318
97.37/97.49	c 97.2s |      14 |   177024 |    73852 |    17353      6 |      600 |      318
99.57/99.69	c 99.4s |      14 |   178366 |    74852 |    17353      7 |      600 |      318
101.67/101.73	c  101s |      14 |   180222 |    76052 |    17353      7 |      600 |      318
103.77/103.89	c  103s |      14 |   181984 |    77252 |    17353      7 |      600 |      318
105.97/106.01	c  105s |      14 |   184726 |    78852 |    17353      7 |      600 |      318
108.07/108.14	c  107s |      14 |   186641 |    80052 |    17353      7 |      600 |      318
110.17/110.28	c  110s |      14 |   188103 |    81152 |    17353      7 |      600 |      318
112.28/112.38	c  112s |      14 |   189549 |    82152 |    17353      7 |      600 |      318
114.38/114.46	c  114s |      14 |   191202 |    83252 |    17353      7 |      600 |      318
116.47/116.50	c  116s |      14 |   192567 |    84252 |    17353      7 |      600 |      318
118.47/118.50	c  118s |      14 |   193578 |    85052 |    17353      8 |      600 |      318
120.57/120.60	c  120s |      14 |   195123 |    86252 |    17353      8 |      600 |      318
122.77/122.83	c  122s |      14 |   196509 |    87352 |    19089      8 |      600 |      318
123.37/123.43	c  123s |      15 |   196873 |    87632 |    19089      8 |      600 |      318
125.38/125.45	c  125s |      15 |   211024 |    90032 |    19089      8 |      600 |      318
127.37/127.49	c  127s |      15 |   216324 |    91932 |    19089      8 |      600 |      318
129.57/129.67	c  129s |      15 |   218600 |    93432 |    19089      8 |      600 |      318
131.77/131.89	c  131s |      15 |   220134 |    94632 |    19089      8 |      600 |      318
134.07/134.18	c  133s |      15 |   221476 |    95732 |    19089      8 |      600 |      318
136.27/136.32	c  136s |      15 |   222429 |    96532 |    19089      9 |      600 |      318
138.36/138.49	c  138s |      15 |   223126 |    97132 |    19089      9 |      600 |      318
140.66/140.78	c  140s |      15 |   224022 |    97932 |    19089      9 |      600 |      318
142.66/142.78	c  142s |      15 |   224791 |    98632 |    19089      9 |      600 |      318
144.76/144.85	c  144s |      15 |   225581 |    99332 |    19089      9 |      600 |      318
146.76/146.86	c  146s |      15 |   226383 |   100032 |    19089      9 |      600 |      318
148.87/148.93	c  148s |      15 |   227315 |   100832 |    19089      9 |      600 |      318
151.17/151.21	c  150s |      15 |   228429 |   101732 |    19089      9 |      600 |      318
153.37/153.45	c  153s |      15 |   229237 |   102432 |    19089      9 |      600 |      318
155.57/155.67	c  155s |      15 |   230166 |   103232 |    19089      9 |      600 |      318
157.67/157.74	c  157s |      15 |   230816 |   103832 |    19089      9 |      600 |      318
159.97/160.01	c  159s |      15 |   231480 |   104432 |    19089      9 |      600 |      318
162.07/162.10	c  161s |      15 |   232019 |   104932 |    19089      9 |      600 |      318
164.07/164.19	c  163s |      15 |   232563 |   105432 |    19089      9 |      600 |      318
166.27/166.35	c  166s |      15 |   233224 |   106032 |    19089      9 |      600 |      318
168.28/168.40	c  168s |      15 |   233911 |   106632 |    19089      9 |      600 |      318
170.37/170.44	c  170s |      15 |   234628 |   107232 |    19089      9 |      600 |      318
172.67/172.79	c  172s |      15 |   235423 |   107932 |    19089      9 |      600 |      318
174.97/175.06	c  174s |      15 |   236257 |   108632 |    19089     10 |      600 |      318
177.17/177.22	c  176s |      15 |   237196 |   109432 |    19089     10 |      600 |      318
179.46/179.58	c  179s |      15 |   238117 |   110232 |    19089     10 |      600 |      318
181.66/181.74	c  181s |      15 |   238865 |   110932 |    19089     10 |      600 |      318
183.67/183.78	c  183s |      15 |   239526 |   111532 |    19089     10 |      600 |      318
185.97/186.03	c  185s |      15 |   240339 |   112232 |    19089     10 |      600 |      318
188.07/188.14	c  187s |      15 |   240983 |   112832 |    19089     10 |      600 |      318
190.27/190.35	c  190s |      15 |   241660 |   113432 |    19089     10 |      600 |      318
192.36/192.48	c  192s |      15 |   242317 |   114032 |    19089     10 |      600 |      318
194.77/194.81	c  194s |      15 |   242958 |   114632 |    19089     10 |      600 |      318
196.87/196.94	c  196s |      15 |   243604 |   115232 |    19089     10 |      600 |      318
198.96/199.06	c  198s |      15 |   244133 |   115732 |    19089     10 |      600 |      318
201.27/201.34	c  201s |      15 |   244676 |   116232 |    19089     10 |      600 |      318
203.57/203.61	c  203s |      15 |   245360 |   116832 |    19089     10 |      600 |      318
205.67/205.71	c  205s |      15 |   245893 |   117332 |    19089     10 |      600 |      318
207.97/208.06	c  207s |      15 |   246411 |   117832 |    19089     10 |      600 |      318
210.26/210.36	c  210s |      15 |   246943 |   118332 |    19089     10 |      600 |      318
212.46/212.50	c  212s |      15 |   247475 |   118832 |    19089     10 |      600 |      318
214.57/214.62	c  214s |      15 |   247912 |   119232 |    19089     11 |      600 |      318
216.77/216.85	c  216s |      15 |   248557 |   119832 |    19089     11 |      600 |      318
218.86/218.97	c  218s |      15 |   249083 |   120332 |    19089     11 |      600 |      318
221.16/221.22	c  220s |      15 |   249719 |   120932 |    19089     11 |      600 |      318
223.15/223.28	c  223s |      15 |   250386 |   121532 |    19089     11 |      600 |      318
225.25/225.30	c  225s |      15 |   250920 |   122032 |    19089     11 |      600 |      318
227.55/227.64	c  227s |      15 |   251556 |   122632 |    19089     11 |      600 |      318
229.86/230.00	c  229s |      15 |   252218 |   123232 |    19089     11 |      600 |      318
232.06/232.14	c  231s |      15 |   252890 |   123832 |    19089     11 |      600 |      318
234.36/234.49	c  234s |      15 |   253659 |   124532 |    19089     11 |      600 |      318
236.56/236.69	c  236s |      15 |   254304 |   125132 |    19089     11 |      600 |      318
238.95/239.00	c  238s |      15 |   254947 |   125732 |    19089     11 |      600 |      318
241.35/241.42	c  241s |      15 |   255563 |   126332 |    19089     11 |      600 |      318
243.65/243.79	c  243s |      15 |   256203 |   126932 |    19089     11 |      600 |      318
245.95/246.08	c  245s |      15 |   256842 |   127532 |    19089     11 |      600 |      318
248.35/248.44	c  248s |      15 |   257501 |   128132 |    19089     11 |      600 |      318
250.45/250.56	c  250s |      15 |   258055 |   128632 |    19089     11 |      600 |      318
252.75/252.88	c  252s |      15 |   258607 |   129132 |    19089     11 |      600 |      318
254.85/254.96	c  254s |      15 |   259034 |   129532 |    19089     11 |      600 |      318
257.36/257.47	c  257s |      15 |   259558 |   130032 |    19089     11 |      600 |      318
259.56/259.70	c  259s |      15 |   259981 |   130432 |    19089     12 |      600 |      318
261.86/261.96	c  261s |      15 |   260739 |   131132 |    20998     12 |      600 |      318
263.35/263.45	c  263s |      16 |   261182 |   131552 |    20998     12 |      600 |      318
265.45/265.50	c  265s |      16 |   271448 |   133852 |    20998     12 |      600 |      318
267.45/267.53	c  267s |      16 |   277815 |   135952 |    20998     12 |      600 |      318
269.46/269.54	c  269s |      16 |   284040 |   138152 |    20998     12 |      600 |      318
271.55/271.64	c  271s |      16 |   290879 |   140352 |    20998     12 |      600 |      318
273.55/273.65	c  273s |      16 |   294541 |   142052 |    20998     12 |      600 |      318
275.55/275.67	c  275s |      16 |   295873 |   143152 |    20998     12 |      600 |      318
277.75/277.80	c  277s |      16 |   296723 |   143852 |    20998     13 |      600 |      318
279.75/279.84	c  279s |      16 |   298549 |   145052 |    20998     13 |      600 |      318
281.75/281.86	c  281s |      16 |   299942 |   146052 |    20998     13 |      600 |      318
283.85/283.94	c  283s |      16 |   301273 |   147052 |    20998     13 |      600 |      318
285.95/286.06	c  285s |      16 |   302436 |   147952 |    20998     13 |      600 |      318
288.15/288.28	c  288s |      16 |   303565 |   148852 |    20998     13 |      600 |      318
290.24/290.34	c  290s |      16 |   304512 |   149652 |    20998     13 |      600 |      318
292.34/292.41	c  292s |      16 |   305321 |   150352 |    20998     13 |      600 |      318
294.54/294.66	c  294s |      16 |   306277 |   151152 |    20998     13 |      600 |      318
296.74/296.82	c  296s |      16 |   307155 |   151852 |    20998     13 |      600 |      318
298.84/298.99	c  298s |      16 |   307968 |   152552 |    20998     13 |      600 |      318
301.04/301.15	c  300s |      16 |   308799 |   153252 |    20998     13 |      600 |      318
303.14/303.24	c  302s |      16 |   309496 |   153852 |    20998     13 |      600 |      318
305.24/305.30	c  305s |      16 |   310186 |   154452 |    20998     13 |      600 |      318
307.44/307.58	c  307s |      16 |   310969 |   155152 |    20998     13 |      600 |      318
309.44/309.59	c  309s |      16 |   311683 |   155752 |    20998     14 |      600 |      318
311.65/311.79	c  311s |      16 |   312487 |   156452 |    20998     14 |      600 |      318
313.75/313.86	c  313s |      16 |   313159 |   157052 |    20998     14 |      600 |      318
315.85/315.90	c  315s |      16 |   313832 |   157652 |    20998     14 |      600 |      318
317.96/318.05	c  317s |      16 |   314636 |   158352 |    20998     14 |      600 |      318
320.24/320.30	c  320s |      16 |   315454 |   159052 |    20998     14 |      600 |      318
322.25/322.38	c  322s |      16 |   316095 |   159652 |    20998     14 |      600 |      318
324.55/324.65	c  324s |      16 |   316782 |   160252 |    20998     14 |      600 |      318
326.65/326.75	c  326s |      16 |   317478 |   160852 |    20998     14 |      600 |      318
328.85/328.93	c  328s |      16 |   318133 |   161452 |    20998     14 |      600 |      318
330.84/330.93	c  330s |      16 |   318710 |   161952 |    20998     14 |      600 |      318
332.94/333.09	c  332s |      16 |   319444 |   162552 |    20998     14 |      600 |      318
335.34/335.50	c  335s |      16 |   320135 |   163152 |    20998     14 |      600 |      318
337.75/337.88	c  337s |      16 |   320805 |   163752 |    20998     14 |      600 |      318
340.04/340.16	c  339s |      16 |   321381 |   164252 |    20998     14 |      600 |      318
342.64/342.73	c  342s |      16 |   321948 |   164752 |    20998     14 |      600 |      318
344.64/344.77	c  344s |      16 |   322527 |   165252 |    20998     14 |      600 |      318
346.84/346.95	c  346s |      16 |   323074 |   165752 |    20998     14 |      600 |      318
349.24/349.31	c  349s |      16 |   323621 |   166252 |    20998     14 |      600 |      318
351.24/351.32	c  351s |      16 |   324065 |   166652 |    20998     14 |      600 |      318
353.54/353.66	c  353s |      16 |   324610 |   167152 |    20998     14 |      600 |      318
355.94/356.06	c  355s |      16 |   325032 |   167552 |    20998     15 |      600 |      318
358.24/358.32	c  358s |      16 |   325690 |   168152 |    20998     15 |      600 |      318
360.44/360.59	c  360s |      16 |   326358 |   168752 |    20998     15 |      600 |      318
362.83/362.94	c  362s |      16 |   327029 |   169352 |    20998     15 |      600 |      318
365.03/365.17	c  364s |      16 |   327563 |   169852 |    20998     15 |      600 |      318
367.34/367.46	c  367s |      16 |   328214 |   170452 |    20998     15 |      600 |      318
369.43/369.53	c  369s |      16 |   328904 |   171052 |    20998     15 |      600 |      318
371.53/371.64	c  371s |      16 |   329485 |   171552 |    20998     15 |      600 |      318
373.73/373.88	c  373s |      16 |   330382 |   172252 |    20998     15 |      600 |      318
376.14/376.23	c  375s |      16 |   331086 |   172852 |    20998     15 |      600 |      318
378.23/378.33	c  378s |      16 |   331785 |   173452 |    20998     15 |      600 |      318
380.43/380.56	c  380s |      16 |   332505 |   174052 |    20998     15 |      600 |      318
382.53/382.65	c  382s |      16 |   333108 |   174552 |    20998     15 |      600 |      318
384.53/384.68	c  384s |      16 |   333678 |   175052 |    20998     15 |      600 |      318
386.83/386.96	c  386s |      16 |   334401 |   175652 |    20998     15 |      600 |      318
388.83/388.99	c  388s |      16 |   334954 |   176152 |    20998     15 |      600 |      318
391.02/391.19	c  390s |      16 |   335549 |   176652 |    20998     15 |      600 |      318
393.12/393.27	c  392s |      16 |   336144 |   177152 |    20998     15 |      600 |      318
395.42/395.53	c  395s |      16 |   336744 |   177652 |    20998     15 |      600 |      318
397.62/397.70	c  397s |      16 |   337331 |   178152 |    20998     15 |      600 |      318
399.72/399.86	c  399s |      16 |   337914 |   178652 |    20998     15 |      600 |      318
402.12/402.30	c  402s |      16 |   338457 |   179152 |    20998     15 |      600 |      318
404.22/404.38	c  404s |      16 |   338774 |   179452 |    20998     16 |      600 |      318
406.22/406.39	c  406s |      16 |   339339 |   179952 |    20998     16 |      600 |      318
408.32/408.42	c  408s |      16 |   339881 |   180452 |    20998     16 |      600 |      318
410.32/410.46	c  410s |      16 |   340429 |   180952 |    20998     16 |      600 |      318
412.53/412.61	c  412s |      16 |   340975 |   181452 |    20998     16 |      600 |      318
414.82/414.91	c  414s |      16 |   341803 |   182152 |    20998     16 |      600 |      318
417.02/417.11	c  416s |      16 |   342621 |   182852 |    20998     16 |      600 |      318
419.03/419.19	c  418s |      16 |   343317 |   183452 |    20998     16 |      600 |      318
421.32/421.43	c  421s |      16 |   343997 |   184052 |    20998     16 |      600 |      318
423.42/423.55	c  423s |      16 |   344701 |   184652 |    20998     16 |      600 |      318
425.51/425.67	c  425s |      16 |   345261 |   185152 |    20998     16 |      600 |      318
427.82/427.97	c  427s |      16 |   345952 |   185752 |    20998     16 |      600 |      318
430.02/430.11	c  429s |      16 |   346528 |   186252 |    20998     16 |      600 |      318
432.11/432.21	c  431s |      16 |   347081 |   186752 |    20998     16 |      600 |      318
434.31/434.50	c  434s |      16 |   347630 |   187252 |    20998     16 |      600 |      318
436.41/436.50	c  436s |      16 |   348220 |   187752 |    20998     16 |      600 |      318
438.41/438.57	c  438s |      16 |   348765 |   188252 |    20998     16 |      600 |      318
440.60/440.78	c  440s |      16 |   349340 |   188752 |    20998     16 |      600 |      318
442.70/442.89	c  442s |      16 |   349780 |   189152 |    20998     16 |      600 |      318
445.10/445.20	c  444s |      16 |   350350 |   189652 |    20998     16 |      600 |      318
447.50/447.64	c  447s |      16 |   350898 |   190152 |    20998     16 |      600 |      318
449.91/450.07	c  449s |      16 |   351460 |   190652 |    20998     16 |      600 |      318
452.40/452.55	c  452s |      16 |   352023 |   191152 |    20998     16 |      600 |      318
454.90/455.00	c  454s |      16 |   352466 |   191552 |    20998     17 |      600 |      318
457.10/457.23	c  456s |      16 |   353116 |   192152 |    20998     17 |      600 |      318
459.30/459.45	c  459s |      16 |   353783 |   192752 |    20998     17 |      600 |      318
461.40/461.56	c  461s |      16 |   354455 |   193352 |    20998     17 |      600 |      318
463.70/463.85	c  463s |      16 |   355111 |   193952 |    20998     17 |      600 |      318
465.90/466.07	c  465s |      16 |   355795 |   194552 |    20998     17 |      600 |      318
468.01/468.13	c  467s |      16 |   356338 |   195052 |    20998     17 |      600 |      318
470.21/470.30	c  470s |      16 |   357035 |   195652 |    20998     17 |      600 |      318
472.30/472.44	c  472s |      16 |   357752 |   196252 |    23098     17 |      600 |      318
474.40/474.55	c  474s |      16 |   358294 |   196752 |    23098     17 |      600 |      318
476.70/476.84	c  476s |      16 |   358982 |   197352 |    23098     17 |      600 |      318
476.90/477.09	c  476s |      17 |   359070 |   197432 |    23098     17 |      600 |      318
479.00/479.16	c  478s |      17 |   364592 |   198932 |    23098     17 |      600 |      318
481.20/481.36	c  481s |      17 |   366471 |   200332 |    23098     17 |      600 |      318
483.40/483.53	c  483s |      17 |   367680 |   201332 |    23098     17 |      600 |      318
485.50/485.63	c  485s |      17 |   369312 |   202632 |    23098     17 |      600 |      318
487.60/487.72	c  487s |      17 |   370547 |   203632 |    23098     17 |      600 |      318
489.70/489.89	c  489s |      17 |   372386 |   205032 |    23098     17 |      600 |      318
491.79/491.93	c  491s |      17 |   373220 |   205732 |    23098     18 |      600 |      318
493.90/494.06	c  493s |      17 |   374148 |   206532 |    23098     18 |      600 |      318
496.19/496.35	c  496s |      17 |   375025 |   207332 |    23098     18 |      600 |      318
498.30/498.44	c  498s |      17 |   375799 |   208032 |    23098     18 |      600 |      318
500.39/500.51	c  500s |      17 |   378546 |   209232 |    23098     18 |      600 |      318
502.48/502.68	c  502s |      17 |   380197 |   210432 |    23098     18 |      600 |      318
504.58/504.72	c  504s |      17 |   381788 |   211532 |    23098     18 |      600 |      318
506.58/506.76	c  506s |      17 |   383048 |   212532 |    23098     18 |      600 |      318
508.58/508.79	c  508s |      17 |   384416 |   213532 |    23098     18 |      600 |      318
510.68/510.86	c  510s |      17 |   385406 |   214332 |    23098     18 |      600 |      318
512.88/513.08	c  512s |      17 |   386798 |   215432 |    23098     18 |      600 |      318
514.88/515.09	c  514s |      17 |   387900 |   216332 |    23098     18 |      600 |      318
517.18/517.34	c  517s |      17 |   388953 |   217232 |    23098     18 |      600 |      318
519.28/519.45	c  519s |      17 |   389937 |   218032 |    23098     18 |      600 |      318
521.29/521.46	c  521s |      17 |   390742 |   218732 |    23098     18 |      600 |      318
523.38/523.54	c  523s |      17 |   391424 |   219332 |    23098     19 |      600 |      318
525.48/525.63	c  525s |      17 |   392345 |   220132 |    23098     19 |      600 |      318
527.58/527.79	c  527s |      17 |   393249 |   220932 |    23098     19 |      600 |      318
529.78/529.94	c  529s |      17 |   394214 |   221732 |    23098     19 |      600 |      318
531.88/532.05	c  531s |      17 |   395012 |   222432 |    23098     19 |      600 |      318
533.98/534.20	c  533s |      17 |   395834 |   223132 |    23098     19 |      600 |      318
536.18/536.32	c  536s |      17 |   396623 |   223832 |    23098     19 |      600 |      318
538.48/538.66	c  538s |      17 |   397418 |   224532 |    23098     19 |      600 |      318
540.58/540.73	c  540s |      17 |   398287 |   225232 |    23098     19 |      600 |      318
542.78/542.95	c  542s |      17 |   399218 |   226032 |    23098     19 |      600 |      318
544.98/545.12	c  544s |      17 |   400000 |   226732 |    23098     19 |      600 |      318
547.18/547.32	c  547s |      17 |   400816 |   227432 |    23098     19 |      600 |      318
549.28/549.42	c  549s |      17 |   401647 |   228132 |    23098     19 |      600 |      318
551.48/551.68	c  551s |      17 |   402442 |   228832 |    23098     19 |      600 |      318
553.57/553.72	c  553s |      17 |   403093 |   229432 |    23098     19 |      600 |      318
555.87/556.04	c  555s |      17 |   403740 |   230032 |    23098     19 |      600 |      318
557.97/558.16	c  557s |      17 |   404316 |   230532 |    23098     19 |      600 |      318
560.07/560.20	c  559s |      17 |   405004 |   231132 |    23098     19 |      600 |      318
562.27/562.43	c  562s |      17 |   405672 |   231732 |    23098     19 |      600 |      318
565.07/565.24	c  564s |      17 |   406487 |   232432 |    23098     20 |      600 |      318
567.17/567.35	c  567s |      17 |   407358 |   233232 |    23098     20 |      600 |      318
569.27/569.49	c  569s |      17 |   408115 |   233932 |    23098     20 |      600 |      318
571.47/571.66	c  571s |      17 |   408889 |   234632 |    23098     20 |      600 |      318
573.78/573.92	c  573s |      17 |   409645 |   235332 |    23098     20 |      600 |      318
575.88/576.08	c  575s |      17 |   410425 |   236032 |    23098     20 |      600 |      318
578.18/578.34	c  578s |      17 |   411207 |   236732 |    23098     20 |      600 |      318
580.28/580.47	c  580s |      17 |   411843 |   237332 |    23098     20 |      600 |      318
582.38/582.55	c  582s |      17 |   412490 |   237932 |    23098     20 |      600 |      318
584.48/584.61	c  584s |      17 |   413186 |   238532 |    23098     20 |      600 |      318
586.48/586.66	c  586s |      17 |   413848 |   239132 |    23098     20 |      600 |      318
588.78/588.99	c  588s |      17 |   414518 |   239732 |    23098     20 |      600 |      318
591.08/591.22	c  590s |      17 |   415066 |   240232 |    23098     20 |      600 |      318
593.38/593.57	c  593s |      17 |   415718 |   240832 |    23098     20 |      600 |      318
595.78/595.91	c  595s |      17 |   416439 |   241432 |    23098     20 |      600 |      318
598.08/598.28	c  598s |      17 |   417115 |   242032 |    23098     20 |      600 |      318
600.28/600.42	c  600s |      17 |   417779 |   242632 |    23098     20 |      600 |      318
602.48/602.60	c  602s |      17 |   418478 |   243232 |    23098     20 |      600 |      318
604.68/604.80	c  604s |      17 |   419149 |   243832 |    23098     20 |      600 |      318
606.97/607.14	c  606s |      17 |   419831 |   244432 |    23098     20 |      600 |      318
609.07/609.23	c  608s |      17 |   420469 |   245032 |    23098     20 |      600 |      318
611.87/612.07	c  611s |      17 |   421131 |   245632 |    23098     21 |      600 |      318
613.97/614.15	c  613s |      17 |   421931 |   246332 |    23098     21 |      600 |      318
616.17/616.30	c  616s |      17 |   422724 |   247032 |    23098     21 |      600 |      318
618.27/618.46	c  618s |      17 |   423575 |   247732 |    23098     21 |      600 |      318
620.57/620.70	c  620s |      17 |   424347 |   248432 |    23098     21 |      600 |      318
622.87/623.03	c  622s |      17 |   425129 |   249132 |    23098     21 |      600 |      318
625.07/625.28	c  625s |      17 |   425760 |   249732 |    23098     21 |      600 |      318
627.37/627.55	c  627s |      17 |   426380 |   250332 |    23098     21 |      600 |      318
629.47/629.63	c  629s |      17 |   426915 |   250832 |    23098     21 |      600 |      318
631.57/631.73	c  631s |      17 |   427601 |   251432 |    23098     21 |      600 |      318
633.67/633.82	c  633s |      17 |   428143 |   251932 |    23098     21 |      600 |      318
635.68/635.88	c  635s |      17 |   428699 |   252432 |    23098     21 |      600 |      318
638.17/638.31	c  638s |      17 |   429340 |   253032 |    23098     21 |      600 |      318
640.27/640.44	c  640s |      17 |   429873 |   253532 |    23098     21 |      600 |      318
642.57/642.79	c  642s |      17 |   430536 |   254132 |    23098     21 |      600 |      318
644.77/644.98	c  644s |      17 |   431062 |   254632 |    23098     21 |      600 |      318
647.06/647.25	c  646s |      17 |   431593 |   255132 |    23098     21 |      600 |      318
649.06/649.29	c  649s |      17 |   432129 |   255632 |    23098     21 |      600 |      318
651.36/651.52	c  651s |      17 |   432664 |   256132 |    23098     21 |      600 |      318
653.66/653.89	c  653s |      17 |   433191 |   256632 |    23098     21 |      600 |      318
655.76/655.90	c  655s |      17 |   433605 |   257032 |    23098     21 |      600 |      318
658.16/658.40	c  658s |      17 |   434127 |   257532 |    23098     21 |      600 |      318
660.66/660.85	c  660s |      17 |   434661 |   258032 |    23098     21 |      600 |      318
663.17/663.34	c  663s |      17 |   435183 |   258532 |    23098     21 |      600 |      318
665.86/666.06	c  665s |      17 |   435612 |   258932 |    23098     22 |      600 |      318
667.96/668.14	c  667s |      17 |   436302 |   259532 |    23098     22 |      600 |      318
670.15/670.37	c  670s |      17 |   437084 |   260232 |    23098     22 |      600 |      318
672.25/672.45	c  672s |      17 |   437901 |   260932 |    23098     22 |      600 |      318
674.45/674.65	c  674s |      17 |   438662 |   261632 |    23098     22 |      600 |      318
676.46/676.68	c  676s |      17 |   439325 |   262232 |    23098     22 |      600 |      318
678.66/678.88	c  678s |      17 |   439961 |   262832 |    23098     22 |      600 |      318
680.76/681.01	c  680s |      17 |   440611 |   263432 |    23098     22 |      600 |      318
682.96/683.15	c  682s |      17 |   441248 |   264032 |    23098     22 |      600 |      318
685.15/685.32	c  685s |      17 |   441909 |   264632 |    23098     22 |      600 |      318
687.45/687.64	c  687s |      17 |   442556 |   265232 |    23098     22 |      600 |      318
689.65/689.89	c  689s |      17 |   443081 |   265732 |    23098     22 |      600 |      318
691.85/692.06	c  691s |      17 |   443611 |   266232 |    23098     22 |      600 |      318
693.95/694.14	c  693s |      17 |   444159 |   266732 |    23098     22 |      600 |      318
696.04/696.27	c  695s |      17 |   444757 |   267232 |    23098     22 |      600 |      318
698.14/698.38	c  698s |      17 |   445492 |   267832 |    23098     22 |      600 |      318
700.54/700.77	c  700s |      17 |   446161 |   268432 |    23098     22 |      600 |      318
702.53/702.77	c  702s |      17 |   446728 |   268932 |    23098     22 |      600 |      318
704.94/705.15	c  704s |      17 |   447378 |   269532 |    23098     22 |      600 |      318
707.14/707.33	c  707s |      17 |   447942 |   270032 |    23098     22 |      600 |      318
709.44/709.62	c  709s |      17 |   448483 |   270532 |    23098     22 |      600 |      318
711.72/711.94	c  711s |      17 |   449023 |   271032 |    23098     22 |      600 |      318
713.83/714.01	c  713s |      17 |   449587 |   271532 |    23098     22 |      600 |      318
716.62/716.86	c  716s |      17 |   450268 |   272132 |    23098     23 |      600 |      318
718.82/719.00	c  718s |      17 |   451051 |   272832 |    23098     23 |      600 |      318
720.92/721.14	c  720s |      17 |   451806 |   273532 |    23098     23 |      600 |      318
723.22/723.41	c  723s |      17 |   452550 |   274232 |    23098     23 |      600 |      318
725.42/725.66	c  725s |      17 |   453320 |   274932 |    23098     23 |      600 |      318
727.52/727.70	c  727s |      17 |   453976 |   275532 |    23098     23 |      600 |      318
729.72/729.91	c  729s |      17 |   454618 |   276132 |    23098     23 |      600 |      318
731.81/732.04	c  731s |      17 |   455270 |   276732 |    23098     23 |      600 |      318
734.01/734.27	c  733s |      17 |   456049 |   277432 |    23098     23 |      600 |      318
736.21/736.40	c  736s |      17 |   456693 |   278032 |    23098     23 |      600 |      318
738.41/738.61	c  738s |      17 |   457316 |   278632 |    23098     23 |      600 |      318
740.60/740.85	c  740s |      17 |   457970 |   279232 |    23098     23 |      600 |      318
742.70/742.94	c  742s |      17 |   458497 |   279732 |    23098     23 |      600 |      318
744.90/745.14	c  744s |      17 |   459163 |   280332 |    23098     23 |      600 |      318
747.20/747.41	c  747s |      17 |   459801 |   280932 |    23098     23 |      600 |      318
749.50/749.71	c  749s |      17 |   460325 |   281432 |    23098     23 |      600 |      318
751.79/752.01	c  751s |      17 |   460980 |   282032 |    23098     23 |      600 |      318
753.89/754.10	c  753s |      17 |   461525 |   282532 |    23098     23 |      600 |      318
755.89/756.17	c  755s |      17 |   462076 |   283032 |    23098     23 |      600 |      318
757.99/758.20	c  757s |      17 |   462612 |   283532 |    23098     23 |      600 |      318
760.29/760.50	c  760s |      17 |   463139 |   284032 |    23098     23 |      600 |      318
762.49/762.74	c  762s |      17 |   463692 |   284532 |    23098     23 |      600 |      318
764.59/764.82	c  764s |      17 |   464270 |   285032 |    23098     23 |      600 |      318
766.89/767.15	c  766s |      17 |   464714 |   285432 |    23098     24 |      600 |      318
768.99/769.21	c  768s |      17 |   465354 |   286032 |    23098     24 |      600 |      318
771.28/771.53	c  771s |      17 |   465976 |   286632 |    23098     24 |      600 |      318
773.48/773.73	c  773s |      17 |   466622 |   287232 |    23098     24 |      600 |      318
775.68/775.90	c  775s |      17 |   467259 |   287832 |    23098     24 |      600 |      318
777.68/777.99	c  777s |      17 |   467926 |   288432 |    23098     24 |      600 |      318
779.98/780.25	c  779s |      17 |   468562 |   289032 |    23098     24 |      600 |      318
782.28/782.59	c  782s |      17 |   469201 |   289632 |    23098     24 |      600 |      318
784.77/785.03	c  784s |      17 |   469846 |   290232 |    23098     24 |      600 |      318
786.77/787.05	c  786s |      17 |   470527 |   290832 |    23098     24 |      600 |      318
789.07/789.36	c  789s |      17 |   471362 |   291532 |    23098     24 |      600 |      318
791.07/791.38	c  791s |      17 |   472024 |   292132 |    23098     24 |      600 |      318
793.17/793.49	c  793s |      17 |   472697 |   292732 |    23098     24 |      600 |      318
795.56/795.84	c  795s |      17 |   473345 |   293332 |    23098     24 |      600 |      318
797.66/797.90	c  797s |      17 |   473871 |   293832 |    23098     24 |      600 |      318
799.96/800.26	c  799s |      17 |   474518 |   294432 |    25408     24 |      600 |      318
802.26/802.56	c  802s |      17 |   475190 |   295032 |    25408     24 |      600 |      318
804.46/804.70	c  804s |      17 |   475871 |   295632 |    25408     24 |      600 |      318
806.46/806.74	c  806s |      17 |   476428 |   296132 |    25408     24 |      600 |      318
806.96/807.22	c  806s |      18 |   476553 |   296252 |    25408     24 |      600 |      318
808.96/809.26	c  808s |      18 |   483175 |   297952 |    25408     24 |      600 |      318
811.05/811.31	c  811s |      18 |   485283 |   299552 |    25408     24 |      600 |      318
813.65/814.00	c  813s |      18 |   486811 |   300852 |    25408     25 |      600 |      318
815.85/816.17	c  815s |      18 |   488397 |   302152 |    25408     25 |      600 |      318
818.05/818.35	c  818s |      18 |   489649 |   303252 |    25408     25 |      600 |      318
820.04/820.35	c  820s |      18 |   491377 |   304452 |    25408     25 |      600 |      318
822.04/822.36	c  822s |      18 |   498033 |   306452 |    25408     25 |      600 |      318
824.24/824.50	c  824s |      18 |   501013 |   308252 |    25408     25 |      600 |      318
826.24/826.56	c  826s |      18 |   503100 |   309652 |    25408     25 |      600 |      318
828.24/828.59	c  828s |      18 |   505460 |   310952 |    25408     25 |      600 |      318
830.34/830.66	c  830s |      18 |   511207 |   312752 |    25408     25 |      600 |      318
832.33/832.70	c  832s |      18 |   512869 |   313952 |    25408     25 |      600 |      318
834.43/834.74	c  834s |      18 |   514569 |   314952 |    25408     26 |      600 |      318
836.43/836.79	c  836s |      18 |   516776 |   316252 |    25408     26 |      600 |      318
838.53/838.86	c  838s |      18 |   519195 |   317652 |    25408     26 |      600 |      318
840.73/841.04	c  840s |      18 |   520491 |   318652 |    25408     26 |      600 |      318
842.73/843.04	c  842s |      18 |   521536 |   319552 |    25408     26 |      600 |      318
844.83/845.15	c  844s |      18 |   522638 |   320452 |    25408     26 |      600 |      318
847.03/847.36	c  847s |      18 |   523626 |   321252 |    25408     26 |      600 |      318
849.12/849.44	c  849s |      18 |   524582 |   322052 |    25408     26 |      600 |      318
851.13/851.47	c  851s |      18 |   525378 |   322752 |    25408     26 |      600 |      318
853.22/853.51	c  853s |      18 |   526068 |   323352 |    25408     26 |      600 |      318
855.32/855.65	c  855s |      18 |   526742 |   323952 |    25408     26 |      600 |      318
857.52/857.84	c  857s |      18 |   527663 |   324752 |    25408     26 |      600 |      318
859.62/859.95	c  859s |      18 |   529447 |   325752 |    25408     26 |      600 |      318
861.81/862.14	c  861s |      18 |   530636 |   326652 |    25408     26 |      600 |      318
864.01/864.32	c  864s |      18 |   531925 |   327552 |    25408     26 |      600 |      318
866.01/866.33	c  866s |      18 |   532950 |   328352 |    25408     26 |      600 |      318
868.31/868.67	c  868s |      18 |   534061 |   329152 |    25408     27 |      600 |      318
870.50/870.80	c  870s |      18 |   535222 |   330052 |    25408     27 |      600 |      318
872.60/872.95	c  872s |      18 |   536321 |   330952 |    25408     27 |      600 |      318
874.70/875.01	c  874s |      18 |   537299 |   331752 |    25408     27 |      600 |      318
876.70/877.07	c  876s |      18 |   538100 |   332452 |    25408     27 |      600 |      318
878.80/879.11	c  878s |      18 |   538908 |   333152 |    25408     27 |      600 |      318
881.00/881.32	c  881s |      18 |   539949 |   333952 |    25408     27 |      600 |      318
883.01/883.39	c  883s |      18 |   541115 |   334852 |    25408     27 |      600 |      318
885.10/885.47	c  885s |      18 |   542286 |   335752 |    25408     27 |      600 |      318
887.20/887.52	c  887s |      18 |   543358 |   336552 |    25408     27 |      600 |      318
889.20/889.59	c  889s |      18 |   544315 |   337252 |    25408     27 |      600 |      318
891.19/891.60	c  891s |      18 |   545202 |   337952 |    25408     27 |      600 |      318
893.39/893.75	c  893s |      18 |   546041 |   338652 |    25408     27 |      600 |      318
895.49/895.86	c  895s |      18 |   546929 |   339352 |    25408     27 |      600 |      318
897.59/897.96	c  897s |      18 |   547960 |   340152 |    25408     27 |      600 |      318
899.89/900.21	c  899s |      18 |   548947 |   340952 |    25408     27 |      600 |      318
902.18/902.50	c  902s |      18 |   549810 |   341652 |    25408     27 |      600 |      318
904.18/904.51	c  904s |      18 |   550659 |   342352 |    25408     27 |      600 |      318
906.28/906.60	c  906s |      18 |   551476 |   343052 |    25408     27 |      600 |      318
908.39/908.79	c  908s |      18 |   552084 |   343552 |    25408     28 |      600 |      318
910.48/910.87	c  910s |      18 |   552878 |   344252 |    25408     28 |      600 |      318
912.57/912.92	c  912s |      18 |   553741 |   344952 |    25408     28 |      600 |      318
914.58/914.96	c  914s |      18 |   554749 |   345752 |    25408     28 |      600 |      318
916.68/917.05	c  916s |      18 |   555715 |   346552 |    25408     28 |      600 |      318
918.68/919.07	c  918s |      18 |   556744 |   347352 |    25408     28 |      600 |      318
920.77/921.19	c  920s |      18 |   557613 |   348052 |    25408     28 |      600 |      318
922.87/923.29	c  923s |      18 |   558462 |   348752 |    25408     28 |      600 |      318
924.97/925.32	c  925s |      18 |   559288 |   349452 |    25408     28 |      600 |      318
926.98/927.35	c  927s |      18 |   560116 |   350152 |    25408     28 |      600 |      318
929.28/929.63	c  929s |      18 |   560915 |   350852 |    25408     28 |      600 |      318
931.47/931.86	c  931s |      18 |   561609 |   351452 |    25408     28 |      600 |      318
933.76/934.19	c  933s |      18 |   562439 |   352152 |    25408     28 |      600 |      318
935.87/936.21	c  935s |      18 |   563159 |   352752 |    25408     28 |      600 |      318
937.97/938.37	c  938s |      18 |   563850 |   353352 |    25408     28 |      600 |      318
940.06/940.50	c  940s |      18 |   564558 |   353952 |    25408     28 |      600 |      318
942.37/942.71	c  942s |      18 |   565282 |   354552 |    25408     28 |      600 |      318
944.57/944.92	c  944s |      18 |   565821 |   355052 |    25408     28 |      600 |      318
946.77/947.19	c  946s |      18 |   566545 |   355652 |    25408     28 |      600 |      318
948.86/949.29	c  949s |      18 |   567129 |   356152 |    25408     28 |      600 |      318
951.26/951.66	c  951s |      18 |   567797 |   356752 |    25408     28 |      600 |      318
953.46/953.89	c  953s |      18 |   568361 |   357252 |    25408     28 |      600 |      318
955.56/955.99	c  955s |      18 |   568831 |   357652 |    25408     29 |      600 |      318
957.76/958.15	c  957s |      18 |   569823 |   358252 |    25408     29 |      600 |      318
960.05/960.48	c  960s |      18 |   570741 |   359052 |    25408     29 |      600 |      318
962.25/962.61	c  962s |      18 |   572237 |   359952 |    25408     29 |      600 |      318
964.24/964.68	c  964s |      18 |   573236 |   360752 |    25408     29 |      600 |      318
966.34/966.70	c  966s |      18 |   574230 |   361552 |    25408     29 |      600 |      318
968.64/969.01	c  968s |      18 |   575142 |   362352 |    25408     29 |      600 |      318
970.73/971.13	c  970s |      18 |   575986 |   363052 |    25408     29 |      600 |      318
972.93/973.38	c  973s |      18 |   576937 |   363852 |    25408     29 |      600 |      318
974.93/975.38	c  975s |      18 |   577597 |   364452 |    25408     29 |      600 |      318
977.03/977.43	c  977s |      18 |   588675 |   366552 |    25408     29 |      600 |      318
979.13/979.52	c  979s |      18 |   594826 |   368452 |    25408     29 |      600 |      318
981.13/981.59	c  981s |      18 |   599586 |   370152 |    25408     29 |      600 |      318
983.23/983.66	c  983s |      18 |   601252 |   371152 |    25408     29 |      600 |      318
985.24/985.67	c  985s |      18 |   602036 |   371752 |    25408     30 |      600 |      318
987.43/987.84	c  987s |      18 |   603827 |   372952 |    25408     30 |      600 |      318
989.42/989.88	c  989s |      18 |   604936 |   373852 |    25408     30 |      600 |      318
991.52/991.95	c  991s |      18 |   605735 |   374552 |    25408     30 |      600 |      318
993.62/994.02	c  993s |      18 |   607197 |   375552 |    25408     30 |      600 |      318
995.82/996.22	c  995s |      18 |   608579 |   376552 |    25408     30 |      600 |      318
997.82/998.27	c  997s |      18 |   609769 |   377452 |    25408     30 |      600 |      318
999.92/1000.30	c 1000s |      18 |   610792 |   378252 |    25408     30 |      600 |      318
1002.02/1002.45	c 1002s |      18 |   611850 |   379052 |    25408     30 |      600 |      318
1004.22/1004.67	c 1004s |      18 |   612812 |   379852 |    25408     30 |      600 |      318
1006.42/1006.87	c 1006s |      18 |   613771 |   380652 |    25408     30 |      600 |      318
1008.62/1009.07	c 1008s |      18 |   614592 |   381352 |    25408     30 |      600 |      318
1010.82/1011.23	c 1010s |      18 |   615434 |   382052 |    25408     30 |      600 |      318
1012.83/1013.26	c 1012s |      18 |   616119 |   382652 |    25408     30 |      600 |      318
1015.12/1015.57	c 1015s |      18 |   617155 |   383452 |    25408     30 |      600 |      318
1017.13/1017.59	c 1017s |      18 |   617985 |   384152 |    25408     30 |      600 |      318
1019.33/1019.76	c 1019s |      18 |   618830 |   384852 |    25408     30 |      600 |      318
1021.52/1021.94	c 1021s |      18 |   619687 |   385552 |    25408     30 |      600 |      318
1023.62/1024.10	c 1023s |      18 |   620579 |   386252 |    25408     31 |      600 |      318
1025.72/1026.12	c 1025s |      18 |   621643 |   387052 |    25408     31 |      600 |      318
1027.92/1028.36	c 1028s |      18 |   622803 |   387952 |    25408     31 |      600 |      318
1030.02/1030.44	c 1030s |      18 |   623787 |   388752 |    25408     31 |      600 |      318
1032.22/1032.62	c 1032s |      18 |   624774 |   389552 |    25408     31 |      600 |      318
1034.32/1034.71	c 1034s |      18 |   625630 |   390252 |    25408     31 |      600 |      318
1036.32/1036.72	c 1036s |      18 |   626448 |   390952 |    25408     31 |      600 |      318
1038.32/1038.76	c 1038s |      18 |   627132 |   391552 |    25408     31 |      600 |      318
1040.42/1040.88	c 1040s |      18 |   627900 |   392152 |    25408     31 |      600 |      318
1042.62/1043.00	c 1042s |      18 |   628740 |   392852 |    25408     31 |      600 |      318
1044.92/1045.30	c 1045s |      18 |   629546 |   393552 |    25408     31 |      600 |      318
1047.02/1047.49	c 1047s |      18 |   630292 |   394152 |    25408     31 |      600 |      318
1049.22/1049.67	c 1049s |      18 |   631029 |   394752 |    25408     31 |      600 |      318
1051.23/1051.70	c 1051s |      18 |   631763 |   395352 |    25408     31 |      600 |      318
1053.32/1053.79	c 1053s |      18 |   632513 |   395952 |    25408     31 |      600 |      318
1055.42/1055.83	c 1055s |      18 |   634236 |   396852 |    25408     31 |      600 |      318
1057.52/1057.90	c 1057s |      18 |   636987 |   398052 |    25408     31 |      600 |      318
1059.61/1060.01	c 1059s |      18 |   638416 |   399052 |    25408     31 |      600 |      318
1062.22/1062.65	c 1062s |      18 |   640437 |   400152 |    25408     32 |      600 |      318
1064.21/1064.67	c 1064s |      18 |   646695 |   401752 |    25408     32 |      600 |      318
1066.31/1066.71	c 1066s |      18 |   650276 |   403252 |    25408     32 |      600 |      318
1068.31/1068.78	c 1068s |      18 |   652121 |   404452 |    25408     32 |      600 |      318
1070.31/1070.79	c 1070s |      18 |   653946 |   405652 |    25408     32 |      600 |      318
1072.41/1072.89	c 1072s |      18 |   656114 |   406952 |    25408     32 |      600 |      318
1074.61/1075.07	c 1074s |      18 |   657583 |   408052 |    25408     32 |      600 |      318
1076.81/1077.24	c 1076s |      18 |   658718 |   408952 |    25408     32 |      600 |      318
1078.91/1079.34	c 1079s |      18 |   659899 |   409852 |    25408     32 |      600 |      318
1081.11/1081.55	c 1081s |      18 |   661095 |   410752 |    25408     32 |      600 |      318
1083.31/1083.78	c 1083s |      18 |   662208 |   411652 |    25408     32 |      600 |      318
1085.42/1085.88	c 1085s |      18 |   663017 |   412352 |    25408     32 |      600 |      318
1087.52/1087.95	c 1087s |      18 |   663834 |   413052 |    25408     32 |      600 |      318
1089.51/1089.95	c 1089s |      18 |   664707 |   413752 |    25408     32 |      600 |      318
1091.61/1092.08	c 1091s |      18 |   665538 |   414452 |    25408     32 |      600 |      318
1093.91/1094.33	c 1094s |      18 |   666223 |   415052 |    25408     33 |      600 |      318
1095.91/1096.39	c 1096s |      18 |   667196 |   415852 |    25408     33 |      600 |      318
1098.11/1098.58	c 1098s |      18 |   668113 |   416652 |    25408     33 |      600 |      318
1100.20/1100.61	c 1100s |      18 |   668960 |   417352 |    25408     33 |      600 |      318
1102.30/1102.78	c 1102s |      18 |   669782 |   418052 |    25408     33 |      600 |      318
1104.40/1104.86	c 1104s |      18 |   670992 |   418952 |    25408     33 |      600 |      318
1106.50/1106.94	c 1106s |      18 |   671969 |   419752 |    25408     33 |      600 |      318
1108.52/1108.98	c 1108s |      18 |   672791 |   420452 |    25408     33 |      600 |      318
1110.62/1111.08	c 1110s |      18 |   673649 |   421152 |    25408     33 |      600 |      318
1112.61/1113.09	c 1112s |      18 |   674497 |   421852 |    25408     33 |      600 |      318
1114.81/1115.25	c 1114s |      18 |   675535 |   422652 |    25408     33 |      600 |      318
1116.81/1117.26	c 1116s |      18 |   676367 |   423352 |    25408     33 |      600 |      318
1118.91/1119.35	c 1119s |      18 |   677226 |   424052 |    25408     33 |      600 |      318
1121.11/1121.55	c 1121s |      18 |   678037 |   424752 |    25408     33 |      600 |      318
1123.11/1123.59	c 1123s |      18 |   678735 |   425352 |    25408     33 |      600 |      318
1125.31/1125.76	c 1125s |      18 |   679403 |   425952 |    25408     33 |      600 |      318
1127.51/1127.97	c 1127s |      18 |   680097 |   426552 |    25408     33 |      600 |      318
1129.81/1130.25	c 1129s |      18 |   680930 |   427252 |    25408     33 |      600 |      318
1131.90/1132.39	c 1132s |      18 |   681632 |   427852 |    25408     33 |      600 |      318
1134.10/1134.51	c 1134s |      18 |   682340 |   428452 |    25408     33 |      600 |      318
1136.70/1137.16	c 1136s |      18 |   683052 |   429052 |    25408     34 |      600 |      318
1138.90/1139.32	c 1139s |      18 |   684012 |   429852 |    25408     34 |      600 |      318
1141.00/1141.41	c 1141s |      18 |   684868 |   430552 |    25408     34 |      600 |      318
1143.10/1143.54	c 1143s |      18 |   685678 |   431252 |    25408     34 |      600 |      318
1145.40/1145.80	c 1145s |      18 |   686481 |   431952 |    25408     34 |      600 |      318
1147.70/1148.16	c 1147s |      18 |   687276 |   432652 |    25408     34 |      600 |      318
1150.10/1150.53	c 1150s |      18 |   688111 |   433352 |    25408     34 |      600 |      318
1152.20/1152.62	c 1152s |      18 |   688907 |   434052 |    25408     34 |      600 |      318
1154.40/1154.89	c 1154s |      18 |   689721 |   434752 |    25408     34 |      600 |      318
1156.50/1156.91	c 1156s |      18 |   690299 |   435252 |    25408     34 |      600 |      318
1158.50/1158.95	c 1158s |      18 |   690863 |   435752 |    25408     34 |      600 |      318
1160.60/1161.07	c 1160s |      18 |   691461 |   436252 |    25408     34 |      600 |      318
1162.80/1163.21	c 1162s |      18 |   692203 |   436852 |    25408     34 |      600 |      318
1165.00/1165.46	c 1165s |      18 |   692777 |   437352 |    25408     34 |      600 |      318
1167.20/1167.67	c 1167s |      18 |   693345 |   437852 |    25408     34 |      600 |      318
1169.30/1169.78	c 1169s |      18 |   693933 |   438352 |    25408     34 |      600 |      318
1171.70/1172.11	c 1171s |      18 |   694637 |   438952 |    25408     34 |      600 |      318
1174.00/1174.42	c 1174s |      18 |   695444 |   439652 |    25408     34 |      600 |      318
1176.00/1176.44	c 1176s |      18 |   695999 |   440152 |    25408     34 |      600 |      318
1178.10/1178.55	c 1178s |      18 |   696563 |   440652 |    25408     34 |      600 |      318
1180.30/1180.75	c 1180s |      18 |   697157 |   441152 |    25408     34 |      600 |      318
1182.70/1183.12	c 1182s |      18 |   697745 |   441652 |    27949     34 |      600 |      318
1185.00/1185.46	c 1185s |      18 |   698311 |   442152 |    27949     34 |      600 |      318
1187.29/1187.76	c 1187s |      18 |   698907 |   442652 |    27949     34 |      600 |      318
1189.39/1189.85	c 1189s |      18 |   699373 |   443052 |    27949     34 |      600 |      318
1191.69/1192.11	c 1191s |      18 |   699932 |   443552 |    27949     34 |      600 |      318
1193.79/1194.20	c 1193s |      18 |   700518 |   444052 |    27949     34 |      600 |      318
1195.79/1196.29	c 1196s |      18 |   700976 |   444452 |    27949     34 |      600 |      318
1195.99/1196.42	c 1196s |      19 |   701022 |   444482 |    27949     34 |      600 |      318
1198.09/1198.51	c 1198s |      19 |   703278 |   445082 |    27949     35 |      600 |      318
1200.09/1200.54	c 1200s |      19 |   720197 |   447882 |    27949     35 |      600 |      318
1202.19/1202.63	c 1202s |      19 |   722799 |   449882 |    27949     35 |      600 |      318
1204.29/1204.72	c 1204s |      19 |   724627 |   451482 |    27949     35 |      600 |      318
1206.30/1206.78	c 1206s |      19 |   726261 |   452882 |    27949     35 |      600 |      318
1208.39/1208.82	c 1208s |      19 |   727621 |   454082 |    27949     35 |      600 |      318
1210.49/1210.96	c 1210s |      19 |   730274 |   455682 |    27949     35 |      600 |      318
1212.59/1213.03	c 1212s |      19 |   732079 |   457082 |    27949     35 |      600 |      318
1214.59/1215.04	c 1214s |      19 |   733495 |   458282 |    27949     35 |      600 |      318
1216.59/1217.04	c 1216s |      19 |   734657 |   459282 |    27949     35 |      600 |      318
1218.68/1219.11	c 1218s |      19 |   735794 |   460282 |    27949     35 |      600 |      318
1220.78/1221.28	c 1221s |      19 |   736753 |   461082 |    27949     36 |      600 |      318
1222.89/1223.37	c 1223s |      19 |   737927 |   462082 |    27949     36 |      600 |      318
1224.99/1225.50	c 1225s |      19 |   739119 |   463082 |    27949     36 |      600 |      318
1227.08/1227.60	c 1227s |      19 |   740291 |   464082 |    27949     36 |      600 |      318
1229.28/1229.71	c 1229s |      19 |   741308 |   464982 |    27949     36 |      600 |      318
1231.28/1231.72	c 1231s |      19 |   742205 |   465782 |    27949     36 |      600 |      318
1233.38/1233.86	c 1233s |      19 |   743119 |   466582 |    27949     36 |      600 |      318
1235.48/1235.94	c 1235s |      19 |   744142 |   467482 |    27949     36 |      600 |      318
1237.48/1238.00	c 1237s |      19 |   745064 |   468282 |    27949     36 |      600 |      318
1239.68/1240.15	c 1239s |      19 |   745838 |   468982 |    27949     36 |      600 |      318
1241.78/1242.21	c 1241s |      19 |   746612 |   469682 |    27949     36 |      600 |      318
1243.88/1244.37	c 1244s |      19 |   747376 |   470382 |    27949     36 |      600 |      318
1246.19/1246.64	c 1246s |      19 |   748142 |   471082 |    27949     36 |      600 |      318
1248.49/1248.93	c 1248s |      19 |   748903 |   471782 |    27949     36 |      600 |      318
1250.69/1251.18	c 1250s |      19 |   749677 |   472482 |    27949     36 |      600 |      318
1252.89/1253.39	c 1253s |      19 |   750607 |   473282 |    27949     36 |      600 |      318
1255.09/1255.56	c 1255s |      19 |   751860 |   474182 |    27949     36 |      600 |      318
1257.39/1257.81	c 1257s |      19 |   752795 |   474982 |    27949     36 |      600 |      318
1259.59/1260.04	c 1259s |      19 |   753758 |   475782 |    27949     36 |      600 |      318
1261.89/1262.31	c 1262s |      19 |   754738 |   476582 |    27949     36 |      600 |      318
1263.99/1264.43	c 1264s |      19 |   755560 |   477282 |    27949     37 |      600 |      318
1266.09/1266.55	c 1266s |      19 |   756706 |   478282 |    27949     37 |      600 |      318
1268.29/1268.70	c 1268s |      19 |   757747 |   479182 |    27949     37 |      600 |      318
1270.38/1270.81	c 1270s |      19 |   758771 |   480082 |    27949     37 |      600 |      318
1272.39/1272.82	c 1272s |      19 |   759699 |   480882 |    27949     37 |      600 |      318
1274.49/1274.98	c 1274s |      19 |   760611 |   481682 |    27949     37 |      600 |      318
1276.79/1277.24	c 1276s |      19 |   761497 |   482482 |    27949     37 |      600 |      318
1278.78/1279.29	c 1279s |      19 |   762303 |   483182 |    27949     37 |      600 |      318
1280.98/1281.43	c 1281s |      19 |   763106 |   483882 |    27949     37 |      600 |      318
1282.98/1283.48	c 1283s |      19 |   763768 |   484482 |    27949     37 |      600 |      318
1285.28/1285.72	c 1285s |      19 |   764526 |   485182 |    27949     37 |      600 |      318
1287.28/1287.79	c 1287s |      19 |   765172 |   485782 |    27949     37 |      600 |      318
1289.48/1289.98	c 1289s |      19 |   765986 |   486482 |    27949     37 |      600 |      318
1291.68/1292.17	c 1291s |      19 |   766776 |   487182 |    27949     37 |      600 |      318
1293.88/1294.39	c 1294s |      19 |   767586 |   487882 |    27949     37 |      600 |      318
1295.98/1296.40	c 1296s |      19 |   768284 |   488482 |    27949     37 |      600 |      318
1297.98/1298.41	c 1298s |      19 |   768946 |   489082 |    27949     37 |      600 |      318
1299.98/1300.42	c 1300s |      19 |   769622 |   489682 |    27949     37 |      600 |      318
1302.18/1302.68	c 1302s |      19 |   770288 |   490282 |    27949     37 |      600 |      318
1304.48/1304.98	c 1304s |      19 |   770947 |   490882 |    27949     37 |      600 |      318
1306.68/1307.12	c 1306s |      19 |   771910 |   491582 |    27949     37 |      600 |      318
1308.98/1309.45	c 1309s |      19 |   772720 |   492282 |    27949     37 |      600 |      318
1310.98/1311.48	c 1311s |      19 |   773409 |   492882 |    27949     38 |      600 |      318
1313.18/1313.68	c 1313s |      19 |   774410 |   493782 |    27949     38 |      600 |      318
1315.48/1315.93	c 1315s |      19 |   775454 |   494682 |    27949     38 |      600 |      318
1317.67/1318.13	c 1317s |      19 |   776310 |   495482 |    27949     38 |      600 |      318
1319.68/1320.20	c 1319s |      19 |   777388 |   496382 |    27949     38 |      600 |      318
1321.78/1322.29	c 1322s |      19 |   778299 |   497182 |    27949     38 |      600 |      318
1323.87/1324.32	c 1324s |      19 |   779113 |   497882 |    27949     38 |      600 |      318
1325.87/1326.37	c 1326s |      19 |   779905 |   498582 |    27949     38 |      600 |      318
1327.87/1328.39	c 1328s |      19 |   780589 |   499182 |    27949     38 |      600 |      318
1330.07/1330.53	c 1330s |      19 |   781382 |   499882 |    27949     38 |      600 |      318
1332.37/1332.88	c 1332s |      19 |   782134 |   500582 |    27949     38 |      600 |      318
1334.47/1334.91	c 1334s |      19 |   782793 |   501182 |    27949     38 |      600 |      318
1336.67/1337.15	c 1336s |      19 |   783591 |   501882 |    27949     38 |      600 |      318
1338.77/1339.22	c 1338s |      19 |   784246 |   502482 |    27949     38 |      600 |      318
1340.77/1341.22	c 1340s |      19 |   784929 |   503082 |    27949     38 |      600 |      318
1343.07/1343.50	c 1343s |      19 |   785738 |   503782 |    27949     38 |      600 |      318
1345.17/1345.65	c 1345s |      19 |   786399 |   504382 |    27949     38 |      600 |      318
1347.27/1347.78	c 1347s |      19 |   787068 |   504982 |    27949     38 |      600 |      318
1349.47/1349.92	c 1349s |      19 |   787749 |   505582 |    27949     38 |      600 |      318
1351.87/1352.33	c 1352s |      19 |   788512 |   506282 |    27949     38 |      600 |      318
1353.87/1354.39	c 1354s |      19 |   789212 |   506882 |    27949     38 |      600 |      318
1356.17/1356.61	c 1356s |      19 |   789886 |   507482 |    27949     38 |      600 |      318
1358.27/1358.74	c 1358s |      19 |   790547 |   508082 |    27949     38 |      600 |      318
1360.47/1360.92	c 1360s |      19 |   791196 |   508682 |    27949     39 |      600 |      318
1362.67/1363.13	c 1362s |      19 |   792078 |   509482 |    27949     39 |      600 |      318
1364.87/1365.32	c 1365s |      19 |   792990 |   510282 |    27949     39 |      600 |      318
1366.88/1367.38	c 1367s |      19 |   793774 |   510982 |    27949     39 |      600 |      318
1369.18/1369.69	c 1369s |      19 |   794672 |   511782 |    27949     39 |      600 |      318
1371.38/1371.88	c 1371s |      19 |   795446 |   512482 |    27949     39 |      600 |      318
1373.48/1373.97	c 1373s |      19 |   796226 |   513182 |    27949     39 |      600 |      318
1375.57/1376.03	c 1375s |      19 |   797010 |   513882 |    27949     39 |      600 |      318
1377.77/1378.25	c 1377s |      19 |   797806 |   514582 |    27949     39 |      600 |      318
1379.97/1380.40	c 1380s |      19 |   798564 |   515282 |    27949     39 |      600 |      318
1381.96/1382.46	c 1382s |      19 |   799222 |   515882 |    27949     39 |      600 |      318
1384.06/1384.56	c 1384s |      19 |   799885 |   516482 |    27949     39 |      600 |      318
1386.16/1386.64	c 1386s |      19 |   800537 |   517082 |    27949     39 |      600 |      318
1388.36/1388.82	c 1388s |      19 |   801340 |   517782 |    27949     39 |      600 |      318
1390.66/1391.14	c 1390s |      19 |   802104 |   518482 |    27949     39 |      600 |      318
1392.76/1393.29	c 1393s |      19 |   802757 |   519082 |    27949     39 |      600 |      318
1394.96/1395.43	c 1395s |      19 |   803399 |   519682 |    27949     39 |      600 |      318
1396.96/1397.44	c 1397s |      19 |   804061 |   520282 |    27949     39 |      600 |      318
1399.26/1399.77	c 1399s |      19 |   804704 |   520882 |    27949     39 |      600 |      318
1401.36/1401.81	c 1401s |      19 |   805239 |   521382 |    27949     39 |      600 |      318
1403.56/1404.07	c 1403s |      19 |   805910 |   521982 |    27949     39 |      600 |      318
1405.86/1406.31	c 1406s |      19 |   806561 |   522582 |    27949     39 |      600 |      318
1407.96/1408.47	c 1408s |      19 |   807252 |   523182 |    27949     39 |      600 |      318
1410.36/1410.82	c 1410s |      19 |   807940 |   523782 |    27949     40 |      600 |      318
1412.36/1412.87	c 1412s |      19 |   808715 |   524482 |    27949     40 |      600 |      318
1414.56/1415.09	c 1414s |      19 |   809599 |   525282 |    27949     40 |      600 |      318
1416.86/1417.34	c 1417s |      19 |   810461 |   526082 |    27949     40 |      600 |      318
1418.96/1419.45	c 1419s |      19 |   811222 |   526782 |    27949     40 |      600 |      318
1421.06/1421.54	c 1421s |      19 |   811985 |   527482 |    27949     40 |      600 |      318
1423.16/1423.70	c 1423s |      19 |   812771 |   528182 |    27949     40 |      600 |      318
1425.27/1425.77	c 1425s |      19 |   813545 |   528882 |    27949     40 |      600 |      318
1427.56/1428.00	c 1427s |      19 |   814322 |   529582 |    27949     40 |      600 |      318
1429.57/1430.09	c 1429s |      19 |   814971 |   530182 |    27949     40 |      600 |      318
1431.77/1432.25	c 1431s |      19 |   815764 |   530882 |    27949     40 |      600 |      318
1433.86/1434.30	c 1434s |      19 |   816433 |   531482 |    27949     40 |      600 |      318
1435.86/1436.33	c 1436s |      19 |   817088 |   532082 |    27949     40 |      600 |      318
1438.16/1438.67	c 1438s |      19 |   817872 |   532782 |    27949     40 |      600 |      318
1440.36/1440.88	c 1440s |      19 |   818532 |   533382 |    27949     40 |      600 |      318
1442.55/1443.05	c 1442s |      19 |   819183 |   533982 |    27949     40 |      600 |      318
1444.75/1445.27	c 1444s |      19 |   819858 |   534582 |    27949     40 |      600 |      318
1447.05/1447.59	c 1447s |      19 |   820533 |   535182 |    27949     40 |      600 |      318
1449.15/1449.61	c 1449s |      19 |   821215 |   535782 |    27949     40 |      600 |      318
1451.25/1451.79	c 1451s |      19 |   821900 |   536382 |    27949     40 |      600 |      318
1453.45/1453.90	c 1453s |      19 |   822436 |   536882 |    27949     40 |      600 |      318
1455.65/1456.16	c 1455s |      19 |   823096 |   537482 |    27949     40 |      600 |      318
1457.65/1458.18	c 1457s |      19 |   823635 |   537982 |    27949     40 |      600 |      318
1459.85/1460.38	c 1460s |      19 |   824302 |   538582 |    27949     40 |      600 |      318
1461.95/1462.41	c 1462s |      19 |   824845 |   539082 |    27949     40 |      600 |      318
1464.05/1464.57	c 1464s |      19 |   825298 |   539482 |    27949     41 |      600 |      318
1466.25/1466.75	c 1466s |      19 |   826057 |   540182 |    27949     41 |      600 |      318
1468.35/1468.89	c 1468s |      19 |   826835 |   540882 |    27949     41 |      600 |      318
1470.65/1471.15	c 1470s |      19 |   827602 |   541582 |    27949     41 |      600 |      318
1472.85/1473.32	c 1473s |      19 |   828394 |   542282 |    27949     41 |      600 |      318
1475.05/1475.59	c 1475s |      19 |   829146 |   542982 |    27949     41 |      600 |      318
1477.35/1477.83	c 1477s |      19 |   829944 |   543682 |    27949     41 |      600 |      318
1479.45/1479.94	c 1479s |      19 |   830597 |   544282 |    27949     41 |      600 |      318
1481.65/1482.15	c 1481s |      19 |   831360 |   544982 |    27949     41 |      600 |      318
1484.05/1484.51	c 1484s |      19 |   832120 |   545682 |    27949     41 |      600 |      318
1486.05/1486.52	c 1486s |      19 |   832778 |   546282 |    27949     41 |      600 |      318
1488.25/1488.77	c 1488s |      19 |   833577 |   546982 |    27949     41 |      600 |      318
1490.55/1491.02	c 1490s |      19 |   834370 |   547682 |    27949     41 |      600 |      318
1492.75/1493.29	c 1493s |      19 |   835021 |   548282 |    27949     41 |      600 |      318
1495.05/1495.54	c 1495s |      19 |   835670 |   548882 |    27949     41 |      600 |      318
1497.25/1497.72	c 1497s |      19 |   836316 |   549482 |    27949     41 |      600 |      318
1499.35/1499.82	c 1499s |      19 |   836992 |   550082 |    27949     41 |      600 |      318
1501.44/1501.94	c 1501s |      19 |   837627 |   550682 |    27949     41 |      600 |      318
1503.54/1504.05	c 1503s |      19 |   838278 |   551282 |    27949     41 |      600 |      318
1505.55/1506.06	c 1505s |      19 |   838800 |   551782 |    27949     41 |      600 |      318
1507.75/1508.22	c 1507s |      19 |   839486 |   552382 |    27949     41 |      600 |      318
1510.04/1510.53	c 1510s |      19 |   840291 |   553082 |    27949     41 |      600 |      318
1512.15/1512.65	c 1512s |      19 |   840983 |   553682 |    27949     41 |      600 |      318
1514.25/1514.80	c 1514s |      19 |   841815 |   554382 |    27949     41 |      600 |      318
1516.45/1517.00	c 1516s |      19 |   842475 |   554982 |    27949     41 |      600 |      318
1518.54/1519.08	c 1518s |      19 |   843148 |   555582 |    27949     42 |      600 |      318
1520.74/1521.27	c 1520s |      19 |   844036 |   556382 |    27949     42 |      600 |      318
1523.05/1523.56	c 1523s |      19 |   844938 |   557182 |    27949     42 |      600 |      318
1525.04/1525.58	c 1525s |      19 |   845755 |   557882 |    27949     42 |      600 |      318
1527.14/1527.63	c 1527s |      19 |   846688 |   558682 |    27949     42 |      600 |      318
1529.14/1529.65	c 1529s |      19 |   847501 |   559382 |    27949     42 |      600 |      318
1531.34/1531.85	c 1531s |      19 |   848405 |   560182 |    27949     42 |      600 |      318
1533.44/1533.95	c 1533s |      19 |   849191 |   560882 |    27949     42 |      600 |      318
1535.64/1536.10	c 1535s |      19 |   849990 |   561582 |    27949     42 |      600 |      318
1537.64/1538.19	c 1537s |      19 |   850643 |   562182 |    27949     42 |      600 |      318
1539.84/1540.33	c 1540s |      19 |   851429 |   562882 |    27949     42 |      600 |      318
1541.94/1542.44	c 1542s |      19 |   852248 |   563582 |    27949     42 |      600 |      318
1544.05/1544.53	c 1544s |      19 |   853060 |   564282 |    27949     42 |      600 |      318
1546.25/1546.76	c 1546s |      19 |   853863 |   564982 |    27949     42 |      600 |      318
1548.45/1548.99	c 1548s |      19 |   854859 |   565782 |    27949     42 |      600 |      318
1550.74/1551.26	c 1550s |      19 |   855784 |   566582 |    27949     42 |      600 |      318
1552.85/1553.31	c 1553s |      19 |   856580 |   567282 |    27949     42 |      600 |      318
1554.83/1555.38	c 1555s |      19 |   857494 |   568082 |    27949     42 |      600 |      318
1557.03/1557.59	c 1557s |      19 |   858440 |   568882 |    27949     42 |      600 |      318
1559.13/1559.62	c 1559s |      19 |   859299 |   569582 |    27949     42 |      600 |      318
1561.13/1561.67	c 1561s |      19 |   860082 |   570282 |    27949     42 |      600 |      318
1563.53/1564.01	c 1563s |      19 |   860777 |   570882 |    27949     43 |      600 |      318
1565.63/1566.18	c 1565s |      19 |   862226 |   571882 |    27949     43 |      600 |      318
1567.73/1568.29	c 1568s |      19 |   863475 |   572882 |    27949     43 |      600 |      318
1570.03/1570.54	c 1570s |      19 |   864542 |   573782 |    27949     43 |      600 |      318
1572.13/1572.66	c 1572s |      19 |   865594 |   574682 |    27949     43 |      600 |      318
1574.33/1574.88	c 1574s |      19 |   866516 |   575482 |    27949     43 |      600 |      318
1576.53/1577.09	c 1576s |      19 |   867609 |   576382 |    27949     43 |      600 |      318
1578.53/1579.09	c 1578s |      19 |   868580 |   577182 |    27949     43 |      600 |      318
1580.83/1581.32	c 1581s |      19 |   869522 |   577982 |    27949     43 |      600 |      318
1583.03/1583.50	c 1583s |      19 |   870304 |   578682 |    27949     43 |      600 |      318
1585.23/1585.71	c 1585s |      19 |   871073 |   579382 |    27949     43 |      600 |      318
1587.23/1587.77	c 1587s |      19 |   871879 |   580082 |    27949     43 |      600 |      318
1589.53/1590.04	c 1589s |      19 |   872824 |   580882 |    27949     43 |      600 |      318
1591.53/1592.09	c 1591s |      19 |   873636 |   581582 |    27949     43 |      600 |      318
1593.83/1594.38	c 1594s |      19 |   874576 |   582382 |    27949     43 |      600 |      318
1596.03/1596.55	c 1596s |      19 |   875377 |   583082 |    27949     43 |      600 |      318
1598.33/1598.87	c 1598s |      19 |   876184 |   583782 |    27949     43 |      600 |      318
1600.53/1601.08	c 1600s |      19 |   877019 |   584482 |    27949     43 |      600 |      318
1602.73/1603.27	c 1602s |      19 |   877933 |   585282 |    27949     43 |      600 |      318
1605.03/1605.50	c 1605s |      19 |   878759 |   585982 |    27949     43 |      600 |      318
1607.23/1607.75	c 1607s |      19 |   879470 |   586582 |    27949     44 |      600 |      318
1609.23/1609.79	c 1609s |      19 |   880362 |   587382 |    27949     44 |      600 |      318
1611.43/1611.94	c 1611s |      19 |   881248 |   588182 |    27949     44 |      600 |      318
1613.63/1614.19	c 1613s |      19 |   882150 |   588982 |    27949     44 |      600 |      318
1615.83/1616.37	c 1616s |      19 |   882935 |   589682 |    27949     44 |      600 |      318
1617.93/1618.44	c 1618s |      19 |   883719 |   590382 |    27949     44 |      600 |      318
1620.13/1620.67	c 1620s |      19 |   884494 |   591082 |    27949     44 |      600 |      318
1622.23/1622.72	c 1622s |      19 |   885319 |   591782 |    27949     44 |      600 |      318
1624.43/1624.92	c 1624s |      19 |   886076 |   592482 |    27949     44 |      600 |      318
1626.54/1627.09	c 1626s |      19 |   886851 |   593182 |    27949     44 |      600 |      318
1628.64/1629.13	c 1628s |      19 |   887511 |   593782 |    27949     44 |      600 |      318
1630.63/1631.14	c 1630s |      19 |   888161 |   594382 |    27949     44 |      600 |      318
1632.73/1633.21	c 1632s |      19 |   888818 |   594982 |    27949     44 |      600 |      318
1634.73/1635.27	c 1634s |      19 |   889534 |   595582 |    27949     44 |      600 |      318
1636.83/1637.36	c 1637s |      19 |   890210 |   596182 |    27949     44 |      600 |      318
1638.92/1639.40	c 1639s |      19 |   890884 |   596782 |    27949     44 |      600 |      318
1640.92/1641.45	c 1641s |      19 |   891588 |   597382 |    27949     44 |      600 |      318
1643.03/1643.55	c 1643s |      19 |   892521 |   598082 |    27949     44 |      600 |      318
1645.32/1645.85	c 1645s |      19 |   893433 |   598882 |    27949     44 |      600 |      318
1647.52/1648.04	c 1647s |      19 |   894297 |   599582 |    27949     44 |      600 |      318
1649.72/1650.20	c 1649s |      19 |   895151 |   600282 |    27949     44 |      600 |      318
1651.73/1652.27	c 1651s |      19 |   895955 |   600982 |    27949     44 |      600 |      318
1653.82/1654.30	c 1654s |      19 |   896637 |   601582 |    27949     44 |      600 |      318
1655.92/1656.47	c 1656s |      19 |   897483 |   602282 |    27949     44 |      600 |      318
1658.12/1658.60	c 1658s |      19 |   898192 |   602882 |    27949     45 |      600 |      318
1660.12/1660.69	c 1660s |      19 |   899104 |   603682 |    27949     45 |      600 |      318
1662.42/1662.91	c 1662s |      19 |   900110 |   604582 |    27949     45 |      600 |      318
1664.62/1665.17	c 1664s |      19 |   901003 |   605382 |    27949     45 |      600 |      318
1666.82/1667.32	c 1667s |      19 |   901880 |   606182 |    27949     45 |      600 |      318
1669.02/1669.52	c 1669s |      19 |   902762 |   606982 |    27949     45 |      600 |      318
1671.02/1671.55	c 1671s |      19 |   903565 |   607682 |    27949     45 |      600 |      318
1673.32/1673.83	c 1673s |      19 |   904452 |   608482 |    27949     45 |      600 |      318
1675.52/1676.03	c 1675s |      19 |   905399 |   609282 |    27949     45 |      600 |      318
1677.62/1678.10	c 1677s |      19 |   906194 |   609982 |    27949     45 |      600 |      318
1679.72/1680.23	c 1679s |      19 |   906971 |   610682 |    27949     45 |      600 |      318
1681.92/1682.45	c 1682s |      19 |   907749 |   611382 |    27949     45 |      600 |      318
1684.22/1684.77	c 1684s |      19 |   908485 |   612082 |    27949     45 |      600 |      318
1686.52/1687.03	c 1686s |      19 |   909350 |   612782 |    27949     45 |      600 |      318
1688.62/1689.15	c 1688s |      19 |   910169 |   613482 |    27949     45 |      600 |      318
1690.92/1691.40	c 1691s |      19 |   910957 |   614182 |    27949     45 |      600 |      318
1693.11/1693.66	c 1693s |      19 |   911764 |   614882 |    27949     45 |      600 |      318
1695.51/1696.03	c 1695s |      19 |   912535 |   615582 |    27949     45 |      600 |      318
1697.61/1698.19	c 1697s |      19 |   913202 |   616182 |    27949     45 |      600 |      318
1699.71/1700.20	c 1699s |      19 |   913854 |   616782 |    27949     45 |      600 |      318
1702.11/1702.61	c 1702s |      19 |   914688 |   617482 |    27949     45 |      600 |      318
1704.81/1705.30	c 1705s |      19 |   915349 |   618082 |    27949     46 |      600 |      318
1706.91/1707.42	c 1707s |      19 |   916256 |   618882 |    27949     46 |      600 |      318
1709.11/1709.67	c 1709s |      19 |   917170 |   619682 |    27949     46 |      600 |      318
1711.31/1711.88	c 1711s |      19 |   917924 |   620382 |    27949     46 |      600 |      318
1713.61/1714.15	c 1713s |      19 |   918804 |   621182 |    27949     46 |      600 |      318
1715.81/1716.32	c 1716s |      19 |   919712 |   621982 |    27949     46 |      600 |      318
1717.91/1718.43	c 1718s |      19 |   920490 |   622682 |    27949     46 |      600 |      318
1720.02/1720.56	c 1720s |      19 |   921279 |   623382 |    27949     46 |      600 |      318
1722.31/1722.86	c 1722s |      19 |   922039 |   624082 |    27949     46 |      600 |      318
1724.61/1725.17	c 1724s |      19 |   922673 |   624682 |    27949     46 |      600 |      318
1727.01/1727.50	c 1727s |      19 |   923456 |   625382 |    27949     46 |      600 |      318
1729.41/1729.91	c 1729s |      19 |   924111 |   625982 |    27949     46 |      600 |      318
1731.41/1731.95	c 1731s |      19 |   924649 |   626482 |    27949     46 |      600 |      318
1733.71/1734.21	c 1733s |      19 |   925415 |   627182 |    27949     46 |      600 |      318
1735.81/1736.38	c 1736s |      19 |   926085 |   627782 |    27949     46 |      600 |      318
1738.21/1738.79	c 1738s |      19 |   926744 |   628382 |    27949     46 |      600 |      318
1740.31/1740.81	c 1740s |      19 |   927295 |   628882 |    27949     46 |      600 |      318
1742.31/1742.83	c 1742s |      19 |   927841 |   629382 |    27949     46 |      600 |      318
1744.31/1744.85	c 1744s |      19 |   928385 |   629882 |    27949     46 |      600 |      318
1746.61/1747.15	c 1746s |      19 |   928911 |   630382 |    27949     46 |      600 |      318
1749.01/1749.55	c 1749s |      19 |   929436 |   630882 |    27949     46 |      600 |      318
1751.41/1751.92	c 1751s |      19 |   929976 |   631382 |    27949     46 |      600 |      318
1753.71/1754.24	c 1753s |      19 |   930684 |   631982 |    27949     46 |      600 |      318
1755.91/1756.46	c 1756s |      19 |   931243 |   632482 |    27949     46 |      600 |      318
1758.21/1758.78	c 1758s |      19 |   931937 |   633082 |    27949     46 |      600 |      318
1761.01/1761.54	c 1761s |      19 |   932572 |   633682 |    27949     47 |      600 |      318
1763.11/1763.66	c 1763s |      19 |   933320 |   634382 |    27949     47 |      600 |      318
1765.21/1765.74	c 1765s |      19 |   934098 |   635082 |    27949     47 |      600 |      318
1767.32/1767.81	c 1767s |      19 |   934906 |   635782 |    27949     47 |      600 |      318
1769.52/1770.05	c 1769s |      19 |   935683 |   636482 |    27949     47 |      600 |      318
1771.72/1772.22	c 1771s |      19 |   936447 |   637182 |    27949     47 |      600 |      318
1773.71/1774.24	c 1773s |      19 |   937103 |   637782 |    27949     47 |      600 |      318
1776.02/1776.55	c 1776s |      19 |   937873 |   638482 |    27949     47 |      600 |      318
1778.11/1778.71	c 1778s |      19 |   938531 |   639082 |    27949     47 |      600 |      318
1780.21/1780.79	c 1780s |      19 |   939162 |   639682 |    27949     47 |      600 |      318
1782.51/1783.07	c 1782s |      19 |   939836 |   640282 |    27949     47 |      600 |      318
1784.82/1785.33	c 1785s |      19 |   940634 |   640982 |    27949     47 |      600 |      318
1787.21/1787.70	c 1787s |      19 |   941404 |   641682 |    27949     47 |      600 |      318
1789.22/1789.77	c 1789s |      19 |   942062 |   642282 |    27949     47 |      600 |      318
1791.31/1791.90	c 1791s |      19 |   942729 |   642882 |    27949     47 |      600 |      318
1793.62/1794.20	c 1793s |      19 |   943390 |   643482 |    27949     47 |      600 |      318
1795.92/1796.43	c 1796s |      19 |   944045 |   644082 |    27949     47 |      600 |      318
1798.01/1798.54	c 1798s |      19 |   944702 |   644682 |    27949     47 |      600 |      318

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/261 4090
/proc/meminfo: memFree=30820636/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1044924 CPUtime=0 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 3955 0 0 0 0 0 0 0 20 0 4 0 30258018 1070002176 4316 33554432000 4194304 16246674 140733927681248 140733927664240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 261999 4326 441 2943 0 258893 0
[pid=4090/tid=4091] ppid=4087 vsize=1094076 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1120333824 4508 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1099196 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1125576704 4528 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1104316 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1130819584 4544 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100137 s]
/proc/loadavg: 2.00 2.01 2.00 3/261 4090
/proc/meminfo: memFree=30820636/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1220164 CPUtime=0.08 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 28466 0 0 0 5 3 0 0 20 0 4 0 30258018 1249447936 28765 33554432000 4194304 16246674 140733927681248 140733927680560 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 305041 28765 801 2943 0 301935 0
[pid=4090/tid=4091] ppid=4087 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1249447936 28765 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1249447936 28765 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1249447936 28765 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200514 s]
/proc/loadavg: 2.00 2.01 2.00 3/261 4090
/proc/meminfo: memFree=30820636/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 48673 0 0 0 13 6 0 0 20 0 4 0 30258018 1332285440 48972 33554432000 4194304 16246674 140733927681248 140733927680560 6953919 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 325265 48972 842 2943 0 322159 0
[pid=4090/tid=4091] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 48972 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 48972 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 48972 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30051 s]
/proc/loadavg: 2.00 2.01 2.00 3/261 4090
/proc/meminfo: memFree=30820636/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 54458 0 0 0 23 6 0 0 20 0 4 0 30258018 1332285440 54757 33554432000 4194304 16246674 140733927681248 140733927680560 5675357 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 325265 54763 882 2943 0 322159 0
[pid=4090/tid=4091] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 54767 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 54771 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 54774 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700396 s]
/proc/loadavg: 2.00 2.01 2.00 3/261 4090
/proc/meminfo: memFree=30820636/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 106111 0 0 0 56 13 0 0 20 0 4 0 30258018 1332285440 106410 33554432000 4194304 16246674 140733927681248 140733927663168 6021007 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 325265 106416 882 2943 0 322159 0
[pid=4090/tid=4091] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 106420 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 106423 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 106426 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/265 4094
/proc/meminfo: memFree=30188016/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1301060 CPUtime=1.49 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 208782 0 0 0 121 28 0 0 20 0 4 0 30258018 1332285440 209082 33554432000 4194304 16246674 140733927681248 140733927663168 13954518 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 325265 209084 882 2943 0 322159 0
[pid=4090/tid=4091] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 209084 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 209084 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1332285440 209084 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.00 2.01 2.00 3/265 4094
/proc/meminfo: memFree=29742236/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1313348 CPUtime=3.09 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 269523 0 0 0 273 36 0 0 20 0 4 0 30258018 1344868352 269822 33554432000 4194304 16246674 140733927681248 140733927663168 12415740 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 328337 269822 889 2943 0 325231 0
[pid=4090/tid=4091] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269822 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269822 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269822 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.00 3/265 4094
/proc/meminfo: memFree=29741552/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1313348 CPUtime=6.29 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 269525 0 0 0 593 36 0 0 20 0 4 0 30258018 1344868352 269824 33554432000 4194304 16246674 140733927681248 140733927663168 5722683 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 328337 269824 891 2943 0 325231 0
[pid=4090/tid=4091] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269824 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269824 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269824 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/265 4094
/proc/meminfo: memFree=29740972/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1313348 CPUtime=12.69 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 269525 0 0 0 1233 36 0 0 20 0 4 0 30258018 1344868352 269824 33554432000 4194304 16246674 140733927681248 140733927663168 13943664 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 328337 269824 891 2943 0 325231 0
[pid=4090/tid=4091] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269824 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269824 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269824 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.00 3/265 4094
/proc/meminfo: memFree=29714928/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1313348 CPUtime=25.48 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 269526 0 0 0 2512 36 0 0 20 0 4 0 30258018 1344868352 269825 33554432000 4194304 16246674 140733927681248 140733927663168 5712705 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 328337 269825 892 2943 0 325231 0
[pid=4090/tid=4091] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269825 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269825 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269825 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/265 4094
/proc/meminfo: memFree=29714640/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1313348 CPUtime=51.09 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 269526 0 0 0 5072 37 0 0 20 0 4 0 30258018 1344868352 269825 33554432000 4194304 16246674 140733927681248 140733927663168 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 328337 269825 892 2943 0 325231 0
[pid=4090/tid=4091] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269825 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269825 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1344868352 269825 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/265 4095
/proc/meminfo: memFree=29709552/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1318468 CPUtime=102.28 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 270698 0 0 0 10191 37 0 0 20 0 4 0 30258018 1350111232 270997 33554432000 4194304 16246674 140733927681248 140733927663168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 329617 270997 892 2943 0 326511 0
[pid=4090/tid=4091] ppid=4087 vsize=1318468 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1350111232 270997 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1318468 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1350111232 270997 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1318468 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1350111232 270997 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.04 2.09 2.04 3/265 4175
/proc/meminfo: memFree=29721448/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1361.87 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275460 0 0 0 136139 48 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 5545993 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.01 2.07 2.03 3/266 4180
/proc/meminfo: memFree=29719552/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1421.87 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275460 0 0 0 142139 48 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 12478324 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.18 2.11 2.04 3/265 4181
/proc/meminfo: memFree=29719800/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1481.85 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275460 0 0 0 148137 48 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 5822761 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.06 2.08 2.04 3/266 4183
/proc/meminfo: memFree=29719132/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1541.85 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275460 0 0 0 154137 48 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/265 4184
/proc/meminfo: memFree=29717368/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1601.83 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275460 0 0 0 160134 49 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.09 2.09 2.04 3/265 4185
/proc/meminfo: memFree=29717580/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1661.82 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275460 0 0 0 166133 49 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 13954191 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.08 2.08 2.04 3/265 4187
/proc/meminfo: memFree=29717352/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1721.81 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275460 0 0 0 172132 49 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 5677817 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.03 2.07 2.03 3/265 4188
/proc/meminfo: memFree=29716936/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1781.81 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275460 0 0 0 178131 50 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 6012131 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.06 2.03 3/265 4188
/proc/meminfo: memFree=29716936/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1800 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275461 0 0 0 179950 50 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 12483345 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.06 2.03 3/265 4188
/proc/meminfo: memFree=29716936/32872528 swapFree=7556/7556
[pid=4090] ppid=4087 vsize=1335876 CPUtime=1800 cores=4-7,12-15
/proc/4090/stat : 4090 (toysat) R 4087 4090 32495 0 -1 4202496 275461 0 0 0 179950 50 0 0 20 0 4 0 30258018 1367937024 275713 33554432000 4194304 16246674 140733927681248 140733927663168 12483345 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/4090/statm: 333969 275713 892 2943 0 330863 0
[pid=4090/tid=4091] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4091/stat : 4091 (toysat) S 4087 4090 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=4090/tid=4092] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4092/stat : 4092 (toysat) S 4087 4090 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=4090/tid=4093] ppid=4087 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/4090/task/4093/stat : 4093 (toysat) S 4087 4090 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30258019 1367937024 275713 33554432000 4194304 16246674 140733927681248 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.51
CPU system time (s): 0.500923
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.500923
maximum resident set size= 1102852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275461
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= 318
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74797 second user time and 9.73152 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 22:16:38
IDJOB=4116405
IDBENCH=109466
IDSOLVER=2542
FILE ID=node132/4116405-1466972198
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= d31ee2a1ee22cc14c8f96bf686217001
RANDOM SEED=1946392447

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30820660 kB
Buffers:           54680 kB
Cached:           185716 kB
SwapCached:         1780 kB
Active:          1157820 kB
Inactive:         176752 kB
Active(anon):    1094388 kB
Inactive(anon):     1700 kB
Active(file):      63432 kB
Inactive(file):   175052 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098640 kB
Dirty:             17056 kB
Writeback:             0 kB
AnonPages:       1085724 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             571740 kB
SReclaimable:      12144 kB
SUnreclaim:       559596 kB
KernelStack:        2184 kB
PageTables:         6268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1243156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 22:46:39