Trace number 4078830

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-07T06:23:52+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-4078830-1465273432.opb"]
0.00/0.01	c use --random-gen="2980818036 3448819533 2050725669 4168052283 271575511 3060152956 2674641755 62237804 3579676190 31255144 1129516419 3595277779 3437874000 99193648 3180881525 3252687454 1049156730 3893979414 3064224116 2969500611 2891572855 1233209521 4205205974 4108017432 2902482098 336285981 384834075 1347511338 1620928404 1427824739 266661972 1839909122 1151915794 29808370 3768163860 2430234406 3881657244 3157517554 3360850955 1925035961 1852735301 2272462312 1716524099 1914078626 1924291422 3496434224 2657049284 1911406414 1603080374 3418055018 3102355104 1596011554 3954204677 2491242303 673407817 3653651630 1250188696 2549301563 830858802 2241147771 1107445723 4255557183 2772500995 3862608392 1418492875 3135595464 2140809371 211731628 3066040258 371240412 2298129922 2910647717 3855985775 3591021880 2970972125 1323321482 87595070 156427736 3777966434 1630356018 1427722846 4191753417 1866222357 2081818400 1191486053 3737043776 4209277389 3307458220 1406648302 3931147689 2931102081 2950591506 591174529 1427554771 3628954890 1652391819 640995456 765916261 724019854 2603524791 1770273192 3214293612 3772005196 773078312 3836540673 169826283 3887758845 3773385945 121287620 3336058436 3823149408 978290497 979690452 560751531 164314118 105234507 2738052695 292892290 68758479 3021864673 487663591 3469808723 373919184 1601226969 3146650361 3877148008 1223218861 4286703110 140727147 1565191243 3225138359 304244596 1855710403 768238701 1768935069 4105194020 233752113 1779264918 593790427 2000245854 2630855566 2050898441 823871488 3614393017 3013327 1654049913 2208464660 3429461603 4276415308 1113380412 3064971887 435508775 646879578 2692185918 270041296 2582917846 3143789342 2089452997 2744037075 2214485660 3544289084 3265979825 672684270 3586007274 908648705 2540161402 2528836063 2804080170 793028263 1576575571 1018092608 529331194 1928328805 3016291945 2006861354 2955484305 1679323205 2656015827 4057817504 2895818821 1866854372 3527027633 3396871064 3133380905 2338099766 2309211965 2557294066 3999218632 1225094987 4135873511 3889102566 1912352535 2731181206 1338591047 1159131243 3886240071 2272218344 1866444808 892061021 3822125970 2189834805 3580330697 660576130 2876035711 2411745964 2649504715 1526673279 3601621223 3299834147 3349769611 3064892859 3880829883 423840514 3430094760 1201776173 3718213816 1728296330 3434598770 1743455917 3021866653 314176255 2269731269 375006515 690978251 1832162330 3801059522 3342514793 309204641 3775515151 937141380 3871474991 3220440030 280827465 2896987739 439654989 3943494008 4015277278 3879105738 185604208 792467337 3326396758 3870242709 3236551222 2502801986 2037432934 2409956291 3382478170 3987485479 3826434197 3634410432 3347496512 3500148137 2785937845 4028751175 2330019417 617713021 255 362436" option to reproduce the execution
0.49/0.51	c #vars 25410
0.49/0.51	c #constraints 83992
1.20/1.21	c Solving starts ...
1.20/1.21	c ============================[ Search Statistics ]============================
1.20/1.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.21	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.21	c =============================================================================
1.20/1.22	c  0.0s |       0 |        0 |        0 |    20903      0 |    18304 |        0
1.29/1.38	c  0.2s |       1 |      183 |      100 |    20903      0 |    18304 |    19827
1.49/1.56	c  0.3s |       2 |      410 |      250 |    22994      0 |    18304 |    19827
1.79/1.88	c  0.7s |       3 |      821 |      475 |    25294      0 |    18304 |    19827
2.39/2.48	c  1.3s |       4 |     1310 |      813 |    27824      0 |    18304 |    19827
3.09/3.14	c  1.9s |       5 |     1956 |     1320 |    30607      0 |    18304 |    19827
3.89/3.92	c  2.7s |       6 |     2984 |     2081 |    37035      0 |    18304 |    19827
5.39/5.42	c  4.2s |       7 |     4584 |     3223 |    40739      0 |    18304 |    19827
7.19/7.26	c  6.0s |       8 |     6832 |     4936 |    44813      0 |    18304 |    19827
9.29/9.32	c  8.1s |       8 |     8706 |     6236 |    44813      0 |    18304 |    19827
11.29/11.39	c 10.2s |       8 |    10244 |     7436 |    44813      0 |    18304 |    19827
11.49/11.54	c 10.3s |       9 |    10321 |     7506 |    49295      0 |    18304 |    19827
13.58/13.62	c 12.4s |       9 |    12309 |     9106 |    49295      0 |    18304 |    19827
15.68/15.76	c 14.5s |       9 |    14344 |    10406 |    49295      0 |    18304 |    19827
17.78/17.81	c 16.6s |      10 |    15824 |    11361 |    54225      0 |    18304 |    19827
19.79/19.86	c 18.6s |      10 |    17488 |    12561 |    54225      0 |    18304 |    19827
21.78/21.89	c 20.7s |      10 |    19795 |    14161 |    54225      0 |    18304 |    19827
23.88/23.99	c 22.8s |      10 |    21634 |    15561 |    54225      0 |    18304 |    19827
25.98/26.03	c 24.8s |      10 |    23405 |    16761 |    54225      0 |    18304 |    19827
26.68/26.73	c 25.5s |      11 |    23955 |    17144 |    59648      0 |    18304 |    19827
28.69/28.76	c 27.5s |      11 |    25855 |    18444 |    59648      0 |    18304 |    19827
30.79/30.82	c 29.6s |      11 |    27602 |    19844 |    59648      0 |    18304 |    19827
32.88/32.91	c 31.7s |      11 |    29251 |    21144 |    59648      0 |    18304 |    19827
34.98/35.06	c 33.8s |      11 |    30977 |    22444 |    59648      0 |    18304 |    19827
37.08/37.17	c 36.0s |      11 |    32295 |    23544 |    59648      0 |    18304 |    19827
39.18/39.29	c 38.1s |      11 |    33591 |    24544 |    59648      0 |    18304 |    19827
41.28/41.37	c 40.2s |      11 |    35066 |    25644 |    59648      0 |    18304 |    19827
41.68/41.70	c 40.5s |      12 |    35288 |    25819 |    65613      0 |    18304 |    19827
43.69/43.75	c 42.5s |      12 |    36732 |    26819 |    65613      0 |    18304 |    19827
45.79/45.87	c 44.7s |      12 |    38273 |    28019 |    65613      0 |    18304 |    19827
47.89/47.98	c 46.8s |      12 |    39747 |    29119 |    65613      0 |    18304 |    19827
49.99/50.03	c 48.8s |      12 |    41173 |    30319 |    65613      0 |    18304 |    19827
52.09/52.12	c 50.9s |      12 |    42511 |    31419 |    65613      0 |    18304 |    19827
54.18/54.27	c 53.1s |      12 |    43845 |    32419 |    65613      0 |    18304 |    19827
56.28/56.30	c 55.1s |      12 |    44975 |    33319 |    65613      0 |    18304 |    19827
58.39/58.48	c 57.3s |      12 |    46351 |    34319 |    65613      0 |    18304 |    19827
60.68/60.71	c 59.5s |      12 |    47674 |    35319 |    65613      0 |    18304 |    19827
62.79/62.86	c 61.6s |      12 |    48711 |    36119 |    65613      0 |    18304 |    19827
64.78/64.88	c 63.7s |      12 |    49597 |    36819 |    65613      0 |    18304 |    19827
66.88/66.95	c 65.7s |      12 |    50490 |    37519 |    65613      0 |    18304 |    19827
69.08/69.15	c 67.9s |      12 |    51501 |    38319 |    65613      0 |    18304 |    19827
70.58/70.61	c 69.4s |      13 |    52164 |    38832 |    72175      0 |    18304 |    19827
72.59/72.70	c 71.5s |      13 |    53577 |    39832 |    72175      0 |    18304 |    19827
74.68/74.75	c 73.5s |      13 |    54820 |    40832 |    72175      0 |    18304 |    19827
76.88/76.94	c 75.7s |      13 |    56048 |    41832 |    72175      0 |    18304 |    19827
79.08/79.12	c 77.9s |      13 |    57264 |    42832 |    72175      0 |    18304 |    19827
81.18/81.24	c 80.0s |      13 |    58450 |    43832 |    72175      0 |    18304 |    19827
83.28/83.35	c 82.1s |      13 |    59553 |    44732 |    72175      0 |    18304 |    19827
85.28/85.39	c 84.2s |      13 |    60701 |    45632 |    72175      0 |    18304 |    19827
87.37/87.45	c 86.2s |      13 |    61889 |    46532 |    72175      0 |    18304 |    19827
89.57/89.60	c 88.4s |      13 |    62966 |    47432 |    72175      0 |    18304 |    19827
91.57/91.67	c 90.5s |      13 |    63987 |    48232 |    72175      0 |    18304 |    19827
93.67/93.71	c 92.5s |      13 |    64929 |    49032 |    72175      0 |    18304 |    19827
95.87/95.94	c 94.7s |      13 |    65932 |    49832 |    72175      0 |    18304 |    19827
97.98/98.03	c 96.8s |      13 |    66936 |    50632 |    72175      0 |    18304 |    19827
99.97/100.03	c 98.8s |      13 |    67868 |    51432 |    72175      0 |    18304 |    19827
102.17/102.24	c  101s |      13 |    68701 |    52132 |    72175      0 |    18304 |    19827
104.27/104.31	c  103s |      13 |    69542 |    52832 |    72175      0 |    18304 |    19827
106.48/106.58	c  105s |      13 |    70555 |    53532 |    72175      0 |    18304 |    19827
108.58/108.61	c  107s |      13 |    71313 |    54132 |    72175      0 |    18304 |    19827
110.88/110.92	c  109s |      13 |    72196 |    54832 |    72175      0 |    18304 |    19827
113.07/113.18	c  111s |      13 |    73036 |    55532 |    72175      0 |    18304 |    19827
115.17/115.20	c  113s |      13 |    73750 |    56132 |    72175      0 |    18304 |    19827
117.47/117.54	c  116s |      13 |    74625 |    56832 |    72175      0 |    18304 |    19827
119.47/119.55	c  118s |      13 |    75385 |    57432 |    72175      0 |    18304 |    19827
121.77/121.83	c  120s |      13 |    76216 |    58132 |    79393      0 |    18304 |    19827
122.47/122.54	c  121s |      14 |    76517 |    58352 |    79393      0 |    18304 |    19827
124.57/124.64	c  123s |      14 |    77427 |    58952 |    79393      0 |    18304 |    19827
126.77/126.85	c  125s |      14 |    78536 |    59652 |    79393      0 |    18304 |    19827
128.87/128.91	c  127s |      14 |    79645 |    60452 |    79393      0 |    18304 |    19827
130.88/130.95	c  129s |      14 |    80663 |    61252 |    79393      0 |    18304 |    19827
132.97/133.04	c  131s |      14 |    81690 |    62052 |    79393      0 |    18304 |    19827
135.07/135.19	c  133s |      14 |    82788 |    62852 |    79393      0 |    18304 |    19827
137.17/137.29	c  136s |      14 |    83796 |    63652 |    79393      0 |    18304 |    19827
139.17/139.29	c  138s |      14 |    84899 |    64452 |    79393      0 |    18304 |    19827
141.37/141.40	c  140s |      14 |    85919 |    65252 |    79393      0 |    18304 |    19827
143.37/143.45	c  142s |      14 |    86987 |    66052 |    79393      0 |    18304 |    19827
145.66/145.71	c  144s |      14 |    87962 |    66852 |    79393      0 |    18304 |    19827
147.96/148.07	c  146s |      14 |    88952 |    67652 |    79393      0 |    18304 |    19827
150.16/150.27	c  149s |      14 |    90067 |    68452 |    79393      0 |    18304 |    19827
152.26/152.36	c  151s |      14 |    91011 |    69152 |    79393      0 |    18304 |    19827
154.36/154.47	c  153s |      14 |    91925 |    69852 |    79393      0 |    18304 |    19827
156.66/156.75	c  155s |      14 |    92794 |    70552 |    79393      0 |    18304 |    19827
158.76/158.81	c  157s |      14 |    93521 |    71152 |    79393      0 |    18304 |    19827
160.96/161.08	c  159s |      14 |    94271 |    71752 |    79393      0 |    18304 |    19827
163.27/163.32	c  162s |      14 |    95006 |    72352 |    79393      0 |    18304 |    19827
165.27/165.32	c  164s |      14 |    95780 |    72952 |    79393      0 |    18304 |    19827
167.47/167.52	c  166s |      14 |    96539 |    73552 |    79393      0 |    18304 |    19827
169.77/169.81	c  168s |      14 |    97252 |    74152 |    79393      0 |    18304 |    19827
172.06/172.10	c  170s |      14 |    98045 |    74752 |    79393      0 |    18304 |    19827
174.36/174.41	c  173s |      14 |    98773 |    75352 |    79393      0 |    18304 |    19827
176.46/176.54	c  175s |      14 |    99385 |    75852 |    79393      0 |    18304 |    19827
178.56/178.68	c  177s |      14 |   100145 |    76452 |    79393      0 |    18304 |    19827
180.96/181.01	c  179s |      14 |   100882 |    77052 |    79393      0 |    18304 |    19827
183.16/183.23	c  182s |      14 |   101671 |    77652 |    79393      0 |    18304 |    19827
185.46/185.59	c  184s |      14 |   102432 |    78252 |    79393      0 |    18304 |    19827
187.66/187.78	c  186s |      14 |   103096 |    78752 |    79393      0 |    18304 |    19827
189.96/190.01	c  188s |      14 |   103843 |    79352 |    79393      0 |    18304 |    19827
192.16/192.29	c  191s |      14 |   104619 |    79952 |    79393      0 |    18304 |    19827
194.56/194.65	c  193s |      14 |   105391 |    80552 |    79393      0 |    18304 |    19827
196.76/196.88	c  195s |      14 |   106113 |    81152 |    79393      0 |    18304 |    19827
198.96/199.08	c  197s |      14 |   106842 |    81752 |    79393      0 |    18304 |    19827
201.16/201.25	c  200s |      14 |   107459 |    82252 |    79393      0 |    18304 |    19827
203.26/203.30	c  202s |      14 |   108081 |    82752 |    79393      0 |    18304 |    19827
205.56/205.65	c  204s |      14 |   108858 |    83352 |    79393      0 |    18304 |    19827
207.56/207.69	c  206s |      14 |   109516 |    83852 |    79393      0 |    18304 |    19827
209.66/209.76	c  208s |      14 |   110149 |    84352 |    79393      0 |    18304 |    19827
211.86/211.95	c  210s |      14 |   110742 |    84852 |    79393      0 |    18304 |    19827
214.16/214.20	c  212s |      14 |   111456 |    85452 |    79393      0 |    18304 |    19827
216.15/216.26	c  215s |      14 |   112065 |    85952 |    79393      0 |    18304 |    19827
218.55/218.69	c  217s |      14 |   112653 |    86452 |    79393      0 |    18304 |    19827
221.06/221.12	c  219s |      14 |   113240 |    86952 |    79393      0 |    18304 |    19827
223.36/223.42	c  222s |      14 |   113872 |    87452 |    87333      0 |    18304 |    19827
224.05/224.17	c  222s |      15 |   114134 |    87632 |    87333      0 |    18304 |    19827
226.15/226.20	c  224s |      15 |   114804 |    88032 |    87333      0 |    18304 |    19827
228.36/228.49	c  227s |      15 |   115985 |    88832 |    87333      0 |    18304 |    19827
230.66/230.71	c  229s |      15 |   116971 |    89632 |    87333      0 |    18304 |    19827
232.66/232.77	c  231s |      15 |   117856 |    90332 |    87333      0 |    18304 |    19827
235.06/235.15	c  233s |      15 |   118815 |    91032 |    87333      0 |    18304 |    19827
237.46/237.52	c  236s |      15 |   119760 |    91732 |    87333      0 |    18304 |    19827
239.66/239.75	c  238s |      15 |   120651 |    92332 |    87333      0 |    18304 |    19827
241.85/241.99	c  240s |      15 |   121622 |    93032 |    87333      0 |    18304 |    19827
244.16/244.20	c  242s |      15 |   122588 |    93732 |    87333      0 |    18304 |    19827
246.25/246.37	c  245s |      15 |   123597 |    94432 |    87333      0 |    18304 |    19827
248.25/248.39	c  247s |      15 |   124428 |    95032 |    87333      0 |    18304 |    19827
250.35/250.48	c  249s |      15 |   125238 |    95632 |    87333      0 |    18304 |    19827
252.55/252.65	c  251s |      15 |   126063 |    96332 |    87333      0 |    18304 |    19827
254.85/254.92	c  253s |      15 |   126867 |    96932 |    87333      0 |    18304 |    19827
256.85/256.99	c  255s |      15 |   127762 |    97532 |    87333      0 |    18304 |    19827
259.15/259.23	c  258s |      15 |   128627 |    98232 |    87333      0 |    18304 |    19827
261.25/261.36	c  260s |      15 |   129413 |    98832 |    87333      0 |    18304 |    19827
263.55/263.68	c  262s |      15 |   130359 |    99532 |    87333      0 |    18304 |    19827
265.55/265.69	c  264s |      15 |   131116 |   100132 |    87333      0 |    18304 |    19827
267.55/267.69	c  266s |      15 |   131834 |   100632 |    87333      0 |    18304 |    19827
269.75/269.87	c  268s |      15 |   132556 |   101232 |    87333      0 |    18304 |    19827
272.15/272.21	c  270s |      15 |   133376 |   101832 |    87333      0 |    18304 |    19827
274.15/274.29	c  273s |      15 |   134052 |   102332 |    87333      0 |    18304 |    19827
276.64/276.72	c  275s |      15 |   134879 |   102932 |    87333      0 |    18304 |    19827
279.04/279.11	c  277s |      15 |   135473 |   103432 |    87333      0 |    18304 |    19827
281.24/281.38	c  280s |      15 |   136120 |   103932 |    87333      0 |    18304 |    19827
283.54/283.68	c  282s |      15 |   137104 |   104632 |    87333      0 |    18304 |    19827
286.05/286.13	c  284s |      15 |   137771 |   105132 |    87333      0 |    18304 |    19827
288.34/288.49	c  287s |      15 |   138503 |   105632 |    87333      0 |    18304 |    19827
290.54/290.64	c  289s |      15 |   139206 |   106132 |    87333      0 |    18304 |    19827
292.74/292.81	c  291s |      15 |   139865 |   106632 |    87333      0 |    18304 |    19827
294.75/294.85	c  293s |      15 |   140395 |   107032 |    87333      0 |    18304 |    19827
297.06/297.19	c  295s |      15 |   141171 |   107632 |    87333      0 |    18304 |    19827
299.35/299.44	c  298s |      15 |   141825 |   108132 |    87333      0 |    18304 |    19827
301.55/301.64	c  300s |      15 |   142474 |   108632 |    87333      0 |    18304 |    19827
303.85/303.92	c  302s |      15 |   143132 |   109132 |    87333      0 |    18304 |    19827
305.95/306.07	c  304s |      15 |   143766 |   109632 |    87333      0 |    18304 |    19827
308.15/308.22	c  307s |      15 |   144139 |   109932 |    87333      1 |    18304 |    19827
310.15/310.23	c  309s |      15 |   144809 |   110432 |    87333      1 |    18304 |    19827
312.15/312.26	c  311s |      15 |   145421 |   110932 |    87333      1 |    18304 |    19827
314.35/314.43	c  313s |      15 |   146178 |   111532 |    87333      1 |    18304 |    19827
316.64/316.74	c  315s |      15 |   146992 |   112132 |    87333      1 |    18304 |    19827
318.95/319.01	c  317s |      15 |   147767 |   112732 |    87333      1 |    18304 |    19827
321.25/321.32	c  320s |      15 |   148590 |   113332 |    87333      1 |    18304 |    19827
323.35/323.43	c  322s |      15 |   149310 |   113932 |    87333      1 |    18304 |    19827
325.44/325.51	c  324s |      15 |   150105 |   114532 |    87333      1 |    18304 |    19827
327.64/327.73	c  326s |      15 |   150963 |   115132 |    87333      1 |    18304 |    19827
329.95/330.06	c  328s |      15 |   151724 |   115732 |    87333      1 |    18304 |    19827
332.04/332.14	c  330s |      15 |   152384 |   116232 |    87333      1 |    18304 |    19827
334.24/334.35	c  333s |      15 |   153004 |   116732 |    87333      1 |    18304 |    19827
336.24/336.38	c  335s |      15 |   153661 |   117232 |    87333      1 |    18304 |    19827
338.44/338.55	c  337s |      15 |   154267 |   117732 |    87333      1 |    18304 |    19827
340.64/340.70	c  339s |      15 |   154874 |   118232 |    87333      1 |    18304 |    19827
342.74/342.87	c  341s |      15 |   155747 |   118832 |    87333      1 |    18304 |    19827
344.94/345.00	c  343s |      15 |   156474 |   119432 |    87333      1 |    18304 |    19827
346.94/347.02	c  345s |      15 |   157086 |   119932 |    87333      1 |    18304 |    19827
348.94/349.09	c  347s |      15 |   157753 |   120432 |    87333      1 |    18304 |    19827
351.14/351.27	c  350s |      15 |   158382 |   120932 |    87333      1 |    18304 |    19827
353.44/353.53	c  352s |      15 |   159150 |   121532 |    87333      1 |    18304 |    19827
355.44/355.54	c  354s |      15 |   159815 |   122032 |    87333      1 |    18304 |    19827
357.64/357.72	c  356s |      15 |   160402 |   122532 |    87333      1 |    18304 |    19827
359.74/359.80	c  358s |      15 |   160989 |   123032 |    87333      1 |    18304 |    19827
361.74/361.81	c  360s |      15 |   161602 |   123532 |    87333      1 |    18304 |    19827
364.04/364.14	c  362s |      15 |   162368 |   124132 |    87333      1 |    18304 |    19827
366.43/366.56	c  365s |      15 |   163103 |   124732 |    87333      1 |    18304 |    19827
368.54/368.65	c  367s |      15 |   163725 |   125232 |    87333      1 |    18304 |    19827
370.64/370.72	c  369s |      15 |   164373 |   125732 |    87333      1 |    18304 |    19827
372.63/372.79	c  371s |      15 |   164984 |   126232 |    87333      1 |    18304 |    19827
374.73/374.84	c  373s |      15 |   165656 |   126732 |    87333      1 |    18304 |    19827
377.13/377.24	c  376s |      15 |   166264 |   127232 |    87333      1 |    18304 |    19827
379.23/379.38	c  378s |      15 |   166873 |   127732 |    87333      1 |    18304 |    19827
381.43/381.56	c  380s |      15 |   167505 |   128232 |    87333      1 |    18304 |    19827
383.94/384.02	c  382s |      15 |   168173 |   128732 |    87333      1 |    18304 |    19827
386.14/386.28	c  385s |      15 |   168798 |   129232 |    87333      1 |    18304 |    19827
388.43/388.50	c  387s |      15 |   169486 |   129732 |    87333      1 |    18304 |    19827
390.44/390.52	c  389s |      15 |   170152 |   130232 |    87333      1 |    18304 |    19827
392.64/392.77	c  391s |      15 |   170793 |   130732 |    96067      1 |    18304 |    19827
394.63/394.77	c  393s |      15 |   171358 |   131132 |    96067      1 |    18304 |    19827
396.63/396.75	c  395s |      16 |   171868 |   131552 |    96067      1 |    18304 |    19827
398.93/399.03	c  397s |      16 |   172834 |   132152 |    96067      1 |    18304 |    19827
401.13/401.27	c  400s |      16 |   173980 |   132952 |    96067      1 |    18304 |    19827
403.33/403.45	c  402s |      16 |   175446 |   133852 |    96067      1 |    18304 |    19827
405.63/405.76	c  404s |      16 |   176616 |   134652 |    96067      1 |    18304 |    19827
407.83/407.91	c  406s |      16 |   177598 |   135352 |    96067      1 |    18304 |    19827
410.13/410.25	c  409s |      16 |   178464 |   136052 |    96067      1 |    18304 |    19827
412.23/412.32	c  411s |      16 |   179194 |   136652 |    96067      1 |    18304 |    19827
414.43/414.54	c  413s |      16 |   180109 |   137352 |    96067      1 |    18304 |    19827
416.52/416.61	c  415s |      16 |   180889 |   137952 |    96067      1 |    18304 |    19827
418.82/418.94	c  417s |      16 |   181784 |   138652 |    96067      1 |    18304 |    19827
421.02/421.12	c  419s |      16 |   182736 |   139352 |    96067      1 |    18304 |    19827
423.22/423.33	c  422s |      16 |   183536 |   139952 |    96067      1 |    18304 |    19827
425.42/425.55	c  424s |      16 |   184292 |   140552 |    96067      1 |    18304 |    19827
427.52/427.61	c  426s |      16 |   184888 |   141052 |    96067      1 |    18304 |    19827
429.62/429.72	c  428s |      16 |   185705 |   141652 |    96067      1 |    18304 |    19827
431.92/432.00	c  430s |      16 |   186456 |   142252 |    96067      1 |    18304 |    19827
433.92/434.04	c  432s |      16 |   187088 |   142752 |    96067      1 |    18304 |    19827
436.02/436.18	c  434s |      16 |   187678 |   143252 |    96067      1 |    18304 |    19827
438.32/438.49	c  437s |      16 |   188418 |   143852 |    96067      1 |    18304 |    19827
440.62/440.76	c  439s |      16 |   189194 |   144452 |    96067      1 |    18304 |    19827
442.93/443.02	c  441s |      16 |   190017 |   145052 |    96067      1 |    18304 |    19827
444.92/445.02	c  443s |      16 |   190645 |   145552 |    96067      1 |    18304 |    19827
447.22/447.30	c  446s |      16 |   191220 |   146052 |    96067      1 |    18304 |    19827
449.42/449.53	c  448s |      16 |   191869 |   146552 |    96067      1 |    18304 |    19827
451.72/451.85	c  450s |      16 |   192490 |   147052 |    96067      1 |    18304 |    19827
454.02/454.13	c  452s |      16 |   193072 |   147552 |    96067      1 |    18304 |    19827
456.43/456.51	c  455s |      16 |   193679 |   148052 |    96067      1 |    18304 |    19827
458.63/458.77	c  457s |      16 |   194278 |   148552 |    96067      1 |    18304 |    19827
460.83/461.00	c  459s |      16 |   194889 |   149052 |    96067      1 |    18304 |    19827
463.03/463.11	c  461s |      16 |   195504 |   149552 |    96067      1 |    18304 |    19827
465.12/465.21	c  463s |      16 |   196103 |   150052 |    96067      1 |    18304 |    19827
467.22/467.35	c  466s |      16 |   196714 |   150552 |    96067      1 |    18304 |    19827
469.52/469.60	c  468s |      16 |   197319 |   151052 |    96067      1 |    18304 |    19827
471.62/471.77	c  470s |      16 |   197916 |   151552 |    96067      1 |    18304 |    19827
473.82/473.92	c  472s |      16 |   198931 |   152252 |    96067      1 |    18304 |    19827
475.92/476.00	c  474s |      16 |   199770 |   152852 |    96067      1 |    18304 |    19827
478.12/478.22	c  477s |      16 |   200541 |   153452 |    96067      1 |    18304 |    19827
480.32/480.43	c  479s |      16 |   201471 |   154152 |    96067      1 |    18304 |    19827
482.42/482.54	c  481s |      16 |   202424 |   154852 |    96067      1 |    18304 |    19827
484.72/484.83	c  483s |      16 |   203324 |   155552 |    96067      1 |    18304 |    19827
486.72/486.85	c  485s |      16 |   203992 |   156052 |    96067      1 |    18304 |    19827
489.02/489.13	c  487s |      16 |   204607 |   156552 |    96067      1 |    18304 |    19827
491.02/491.17	c  489s |      16 |   205435 |   157152 |    96067      1 |    18304 |    19827
493.42/493.50	c  492s |      16 |   206060 |   157652 |    96067      1 |    18304 |    19827
495.51/495.66	c  494s |      16 |   206700 |   158152 |    96067      1 |    18304 |    19827
497.61/497.76	c  496s |      16 |   207293 |   158652 |    96067      1 |    18304 |    19827
499.61/499.79	c  498s |      16 |   207965 |   159152 |    96067      1 |    18304 |    19827
501.91/502.09	c  500s |      16 |   208544 |   159652 |    96067      1 |    18304 |    19827
504.41/504.50	c  503s |      16 |   209324 |   160252 |    96067      1 |    18304 |    19827
506.81/506.95	c  505s |      16 |   209981 |   160752 |    96067      1 |    18304 |    19827
508.91/509.01	c  507s |      16 |   210493 |   161152 |    96067      1 |    18304 |    19827
511.11/511.27	c  510s |      16 |   211162 |   161652 |    96067      1 |    18304 |    19827
513.21/513.37	c  512s |      16 |   211654 |   162052 |    96067      1 |    18304 |    19827
515.51/515.61	c  514s |      16 |   212318 |   162552 |    96067      1 |    18304 |    19827
517.81/517.92	c  516s |      16 |   212961 |   163052 |    96067      1 |    18304 |    19827
520.01/520.13	c  518s |      16 |   213447 |   163452 |    96067      1 |    18304 |    19827
522.21/522.39	c  521s |      16 |   213936 |   163852 |    96067      1 |    18304 |    19827
524.41/524.55	c  523s |      16 |   214496 |   164252 |    96067      1 |    18304 |    19827
526.51/526.68	c  525s |      16 |   215045 |   164652 |    96067      1 |    18304 |    19827
528.71/528.86	c  527s |      16 |   215539 |   165052 |    96067      1 |    18304 |    19827
530.71/530.86	c  529s |      16 |   216064 |   165452 |    96067      1 |    18304 |    19827
533.11/533.24	c  532s |      16 |   216573 |   165852 |    96067      1 |    18304 |    19827
535.11/535.29	c  534s |      16 |   217095 |   166252 |    96067      1 |    18304 |    19827
537.51/537.64	c  536s |      16 |   217793 |   166752 |    96067      1 |    18304 |    19827
539.81/539.95	c  538s |      16 |   218419 |   167252 |    96067      1 |    18304 |    19827
542.21/542.39	c  541s |      16 |   219046 |   167752 |    96067      1 |    18304 |    19827
544.61/544.76	c  543s |      16 |   219721 |   168252 |    96067      1 |    18304 |    19827
547.00/547.15	c  545s |      16 |   220319 |   168752 |    96067      1 |    18304 |    19827
549.50/549.62	c  548s |      16 |   220813 |   169152 |    96067      1 |    18304 |    19827
551.70/551.81	c  550s |      16 |   221466 |   169652 |    96067      1 |    18304 |    19827
553.90/554.01	c  552s |      16 |   222112 |   170152 |    96067      1 |    18304 |    19827
556.00/556.16	c  554s |      16 |   222754 |   170652 |    96067      1 |    18304 |    19827
558.20/558.31	c  557s |      16 |   223400 |   171152 |    96067      1 |    18304 |    19827
560.20/560.33	c  559s |      16 |   223908 |   171552 |    96067      1 |    18304 |    19827
562.20/562.38	c  561s |      16 |   224433 |   171952 |    96067      1 |    18304 |    19827
564.31/564.44	c  563s |      16 |   224918 |   172352 |    96067      1 |    18304 |    19827
566.51/566.70	c  565s |      16 |   225401 |   172752 |    96067      1 |    18304 |    19827
568.90/569.06	c  567s |      16 |   225908 |   173152 |    96067      1 |    18304 |    19827
571.20/571.31	c  570s |      16 |   226403 |   173552 |    96067      1 |    18304 |    19827
573.30/573.44	c  572s |      16 |   226647 |   173752 |    96067      2 |    18304 |    19827
575.31/575.45	c  574s |      16 |   227147 |   174152 |    96067      2 |    18304 |    19827
577.30/577.48	c  576s |      16 |   227734 |   174652 |    96067      2 |    18304 |    19827
579.30/579.48	c  578s |      16 |   228273 |   175052 |    96067      2 |    18304 |    19827
581.40/581.50	c  580s |      16 |   228749 |   175452 |    96067      2 |    18304 |    19827
583.40/583.52	c  582s |      16 |   229264 |   175852 |    96067      2 |    18304 |    19827
585.90/586.00	c  584s |      16 |   229876 |   176352 |    96067      2 |    18304 |    19827
588.10/588.22	c  587s |      16 |   230491 |   176852 |    96067      2 |    18304 |    19827
590.40/590.58	c  589s |      16 |   231294 |   177452 |    96067      2 |    18304 |    19827
592.70/592.86	c  591s |      16 |   231955 |   177952 |    96067      2 |    18304 |    19827
594.70/594.88	c  593s |      16 |   232511 |   178352 |    96067      2 |    18304 |    19827
597.10/597.30	c  596s |      16 |   233160 |   178852 |    96067      2 |    18304 |    19827
599.60/599.72	c  598s |      16 |   233791 |   179352 |    96067      2 |    18304 |    19827
602.00/602.10	c  600s |      16 |   234401 |   179852 |    96067      2 |    18304 |    19827
604.40/604.53	c  603s |      16 |   234990 |   180352 |    96067      2 |    18304 |    19827
607.00/607.10	c  605s |      16 |   235613 |   180852 |    96067      2 |    18304 |    19827
609.10/609.28	c  608s |      16 |   236148 |   181252 |    96067      2 |    18304 |    19827
611.20/611.30	c  610s |      16 |   236652 |   181652 |    96067      2 |    18304 |    19827
613.30/613.47	c  612s |      16 |   237117 |   182052 |    96067      2 |    18304 |    19827
615.40/615.56	c  614s |      16 |   237647 |   182452 |    96067      2 |    18304 |    19827
617.70/617.88	c  616s |      16 |   238107 |   182852 |    96067      2 |    18304 |    19827
619.99/620.17	c  618s |      16 |   238615 |   183252 |    96067      2 |    18304 |    19827
622.39/622.50	c  621s |      16 |   239130 |   183652 |    96067      2 |    18304 |    19827
624.80/624.90	c  623s |      16 |   239603 |   184052 |    96067      2 |    18304 |    19827
626.79/626.95	c  625s |      16 |   240138 |   184452 |    96067      2 |    18304 |    19827
629.29/629.49	c  628s |      16 |   240806 |   184952 |    96067      2 |    18304 |    19827
631.79/631.90	c  630s |      16 |   241431 |   185452 |    96067      2 |    18304 |    19827
634.09/634.27	c  633s |      16 |   242122 |   185952 |    96067      2 |    18304 |    19827
636.29/636.43	c  635s |      16 |   242782 |   186452 |    96067      2 |    18304 |    19827
638.39/638.52	c  637s |      16 |   243327 |   186852 |    96067      2 |    18304 |    19827
640.49/640.61	c  639s |      16 |   243857 |   187252 |    96067      2 |    18304 |    19827
642.69/642.89	c  641s |      16 |   244475 |   187752 |    96067      2 |    18304 |    19827
644.79/644.95	c  643s |      16 |   245038 |   188152 |    96067      2 |    18304 |    19827
646.80/646.97	c  645s |      16 |   245540 |   188552 |    96067      2 |    18304 |    19827
648.90/649.03	c  647s |      16 |   246024 |   188952 |    96067      2 |    18304 |    19827
651.20/651.32	c  650s |      16 |   246499 |   189352 |    96067      2 |    18304 |    19827
653.59/653.75	c  652s |      16 |   247132 |   189852 |    96067      2 |    18304 |    19827
655.79/655.99	c  654s |      16 |   247625 |   190252 |    96067      2 |    18304 |    19827
658.09/658.23	c  657s |      16 |   248094 |   190652 |    96067      2 |    18304 |    19827
660.19/660.37	c  659s |      16 |   248609 |   191052 |    96067      2 |    18304 |    19827
662.39/662.51	c  661s |      16 |   249110 |   191452 |    96067      2 |    18304 |    19827
664.79/664.95	c  663s |      16 |   249603 |   191852 |    96067      2 |    18304 |    19827
667.39/667.50	c  666s |      16 |   250097 |   192252 |    96067      2 |    18304 |    19827
669.79/669.96	c  668s |      16 |   250579 |   192652 |    96067      2 |    18304 |    19827
672.09/672.27	c  671s |      16 |   251034 |   193052 |    96067      2 |    18304 |    19827
674.48/674.68	c  673s |      16 |   251513 |   193452 |    96067      2 |    18304 |    19827
676.98/677.16	c  675s |      16 |   252013 |   193852 |    96067      2 |    18304 |    19827
679.48/679.65	c  678s |      16 |   252507 |   194252 |    96067      2 |    18304 |    19827
681.89/682.08	c  680s |      16 |   253021 |   194652 |    96067      2 |    18304 |    19827
684.29/684.43	c  683s |      16 |   253618 |   195152 |    96067      2 |    18304 |    19827
686.79/686.99	c  685s |      16 |   254096 |   195552 |    96067      2 |    18304 |    19827
689.19/689.35	c  688s |      16 |   254622 |   195952 |    96067      2 |    18304 |    19827
691.79/691.93	c  690s |      16 |   255134 |   196352 |   105674      2 |    18304 |    19827
693.99/694.17	c  692s |      16 |   255706 |   196752 |   105674      2 |    18304 |    19827
696.59/696.75	c  695s |      16 |   256222 |   197152 |   105674      2 |    18304 |    19827
698.59/698.71	c  697s |      17 |   256564 |   197432 |   105674      2 |    18304 |    19827
700.78/700.95	c  699s |      17 |   257129 |   197732 |   105674      2 |    18304 |    19827
702.89/703.01	c  701s |      17 |   257860 |   198232 |   105674      2 |    18304 |    19827
704.88/705.03	c  703s |      17 |   258644 |   198832 |   105674      2 |    18304 |    19827
707.08/707.25	c  706s |      17 |   259446 |   199432 |   105674      2 |    18304 |    19827
709.39/709.55	c  708s |      17 |   260221 |   200032 |   105674      2 |    18304 |    19827
711.48/711.60	c  710s |      17 |   260831 |   200532 |   105674      2 |    18304 |    19827
713.58/713.74	c  712s |      17 |   261667 |   201132 |   105674      2 |    18304 |    19827
715.78/715.93	c  714s |      17 |   262483 |   201732 |   105674      2 |    18304 |    19827
718.19/718.37	c  717s |      17 |   263298 |   202332 |   105674      2 |    18304 |    19827
720.28/720.48	c  719s |      17 |   263958 |   202832 |   105674      2 |    18304 |    19827
722.59/722.72	c  721s |      17 |   264742 |   203432 |   105674      2 |    18304 |    19827
724.68/724.80	c  723s |      17 |   265371 |   203932 |   105674      2 |    18304 |    19827
726.78/726.93	c  725s |      17 |   266117 |   204532 |   105674      2 |    18304 |    19827
729.08/729.25	c  728s |      17 |   266907 |   205132 |   105674      2 |    18304 |    19827
731.58/731.70	c  730s |      17 |   267595 |   205632 |   105674      2 |    18304 |    19827
733.68/733.84	c  732s |      17 |   268110 |   206032 |   105674      2 |    18304 |    19827
735.88/736.04	c  734s |      17 |   268664 |   206432 |   105674      2 |    18304 |    19827
737.88/738.10	c  736s |      17 |   269327 |   206932 |   105674      2 |    18304 |    19827
740.38/740.57	c  739s |      17 |   270002 |   207432 |   105674      2 |    18304 |    19827
742.68/742.85	c  741s |      17 |   270970 |   208132 |   105674      2 |    18304 |    19827
745.08/745.24	c  744s |      17 |   271822 |   208832 |   105674      2 |    18304 |    19827
747.27/747.49	c  746s |      17 |   272511 |   209332 |   105674      2 |    18304 |    19827
749.77/749.96	c  748s |      17 |   273199 |   209832 |   105674      2 |    18304 |    19827
751.97/752.15	c  750s |      17 |   273802 |   210332 |   105674      2 |    18304 |    19827
754.07/754.29	c  753s |      17 |   274280 |   210732 |   105674      2 |    18304 |    19827
756.17/756.35	c  755s |      17 |   275108 |   211332 |   105674      2 |    18304 |    19827
758.47/758.65	c  757s |      17 |   275952 |   211932 |   105674      2 |    18304 |    19827
760.66/760.87	c  759s |      17 |   276721 |   212532 |   105674      2 |    18304 |    19827
762.76/762.92	c  761s |      17 |   277426 |   213032 |   105674      2 |    18304 |    19827
764.96/765.13	c  763s |      17 |   278464 |   213732 |   105674      2 |    18304 |    19827
766.96/767.15	c  765s |      17 |   279100 |   214232 |   105674      2 |    18304 |    19827
769.16/769.36	c  768s |      17 |   279756 |   214732 |   105674      2 |    18304 |    19827
771.26/771.43	c  770s |      17 |   280255 |   215132 |   105674      2 |    18304 |    19827
773.46/773.68	c  772s |      17 |   280884 |   215632 |   105674      2 |    18304 |    19827
775.86/776.07	c  774s |      17 |   281514 |   216132 |   105674      2 |    18304 |    19827
778.15/778.35	c  777s |      17 |   282146 |   216632 |   105674      2 |    18304 |    19827
780.15/780.35	c  779s |      17 |   282817 |   217132 |   105674      2 |    18304 |    19827
782.25/782.46	c  781s |      17 |   283476 |   217632 |   105674      2 |    18304 |    19827
784.26/784.49	c  783s |      17 |   284010 |   218032 |   105674      2 |    18304 |    19827
786.35/786.59	c  785s |      17 |   284708 |   218532 |   105674      2 |    18304 |    19827
788.85/789.01	c  787s |      17 |   285323 |   219032 |   105674      2 |    18304 |    19827
791.04/791.22	c  790s |      17 |   286027 |   219532 |   105674      2 |    18304 |    19827
793.24/793.43	c  792s |      17 |   286667 |   220032 |   105674      2 |    18304 |    19827
795.25/795.47	c  794s |      17 |   287308 |   220532 |   105674      2 |    18304 |    19827
797.54/797.77	c  796s |      17 |   287929 |   221032 |   105674      2 |    18304 |    19827
799.64/799.89	c  798s |      17 |   288551 |   221532 |   105674      2 |    18304 |    19827
801.64/801.89	c  800s |      17 |   289025 |   221932 |   105674      2 |    18304 |    19827
804.04/804.30	c  803s |      17 |   289688 |   222432 |   105674      2 |    18304 |    19827
806.14/806.31	c  805s |      17 |   290202 |   222832 |   105674      2 |    18304 |    19827
808.53/808.73	c  807s |      17 |   290963 |   223432 |   105674      2 |    18304 |    19827
810.93/811.16	c  809s |      17 |   291574 |   223932 |   105674      2 |    18304 |    19827
813.23/813.46	c  812s |      17 |   292282 |   224432 |   105674      2 |    18304 |    19827
815.63/815.86	c  814s |      17 |   292954 |   224932 |   105674      2 |    18304 |    19827
818.03/818.29	c  817s |      17 |   293585 |   225432 |   105674      2 |    18304 |    19827
820.23/820.49	c  819s |      17 |   294230 |   225932 |   105674      2 |    18304 |    19827
822.64/822.83	c  821s |      17 |   295001 |   226532 |   105674      2 |    18304 |    19827
824.84/825.06	c  823s |      17 |   295658 |   227032 |   105674      2 |    18304 |    19827
827.14/827.39	c  826s |      17 |   296263 |   227532 |   105674      2 |    18304 |    19827
829.53/829.77	c  828s |      17 |   296879 |   228032 |   105674      2 |    18304 |    19827
831.63/831.87	c  830s |      17 |   297615 |   228632 |   105674      2 |    18304 |    19827
834.13/834.38	c  833s |      17 |   298365 |   229232 |   105674      2 |    18304 |    19827
837.03/837.22	c  836s |      17 |   298976 |   229732 |   105674      2 |    18304 |    19827
839.23/839.41	c  838s |      17 |   299479 |   230132 |   105674      2 |    18304 |    19827
841.52/841.72	c  840s |      17 |   300104 |   230632 |   105674      2 |    18304 |    19827
843.72/843.92	c  842s |      17 |   300636 |   231032 |   105674      2 |    18304 |    19827
845.83/846.02	c  844s |      17 |   301181 |   231432 |   105674      2 |    18304 |    19827
848.12/848.36	c  847s |      17 |   301684 |   231832 |   105674      2 |    18304 |    19827
850.52/850.74	c  849s |      17 |   302345 |   232332 |   105674      2 |    18304 |    19827
853.02/853.21	c  851s |      17 |   302956 |   232832 |   105674      2 |    18304 |    19827
855.02/855.26	c  854s |      17 |   303444 |   233232 |   105674      2 |    18304 |    19827
857.01/857.28	c  856s |      17 |   303942 |   233632 |   105674      2 |    18304 |    19827
859.21/859.47	c  858s |      17 |   304421 |   234032 |   105674      2 |    18304 |    19827
861.31/861.53	c  860s |      17 |   304908 |   234432 |   105674      2 |    18304 |    19827
863.71/863.91	c  862s |      17 |   305568 |   234932 |   105674      2 |    18304 |    19827
866.11/866.39	c  865s |      17 |   306204 |   235432 |   105674      2 |    18304 |    19827
868.40/868.64	c  867s |      17 |   306849 |   235932 |   105674      2 |    18304 |    19827
870.90/871.12	c  869s |      17 |   307485 |   236432 |   105674      2 |    18304 |    19827
873.40/873.63	c  872s |      17 |   307987 |   236832 |   105674      2 |    18304 |    19827
875.80/876.07	c  874s |      17 |   308612 |   237332 |   105674      2 |    18304 |    19827
878.30/878.54	c  877s |      17 |   309105 |   237732 |   105674      2 |    18304 |    19827
880.70/880.93	c  879s |      17 |   309572 |   238132 |   105674      2 |    18304 |    19827
883.21/883.41	c  882s |      17 |   310056 |   238532 |   105674      2 |    18304 |    19827
885.30/885.51	c  884s |      17 |   310550 |   238932 |   105674      2 |    18304 |    19827
887.60/887.85	c  886s |      17 |   311048 |   239332 |   105674      2 |    18304 |    19827
889.99/890.29	c  889s |      17 |   311540 |   239732 |   105674      2 |    18304 |    19827
892.29/892.52	c  891s |      17 |   312038 |   240132 |   105674      2 |    18304 |    19827
894.29/894.53	c  893s |      17 |   312727 |   240632 |   105674      2 |    18304 |    19827
896.29/896.60	c  895s |      17 |   313252 |   241032 |   105674      2 |    18304 |    19827
898.49/898.71	c  897s |      17 |   313728 |   241432 |   105674      2 |    18304 |    19827
900.58/900.81	c  899s |      17 |   314248 |   241832 |   105674      2 |    18304 |    19827
902.58/902.83	c  901s |      17 |   314500 |   242032 |   105674      3 |    18304 |    19827
904.69/904.92	c  903s |      17 |   315142 |   242532 |   105674      3 |    18304 |    19827
906.68/906.93	c  905s |      17 |   315660 |   242932 |   105674      3 |    18304 |    19827
908.78/909.08	c  907s |      17 |   316514 |   243632 |   105674      3 |    18304 |    19827
911.08/911.38	c  910s |      17 |   317272 |   244232 |   105674      3 |    18304 |    19827
913.38/913.64	c  912s |      17 |   318003 |   244832 |   105674      3 |    18304 |    19827
915.58/915.80	c  914s |      17 |   318732 |   245432 |   105674      3 |    18304 |    19827
917.68/917.90	c  916s |      17 |   319376 |   245932 |   105674      3 |    18304 |    19827
919.88/920.11	c  918s |      17 |   320204 |   246532 |   105674      3 |    18304 |    19827
922.18/922.40	c  921s |      17 |   320968 |   247132 |   105674      3 |    18304 |    19827
924.38/924.67	c  923s |      17 |   321747 |   247732 |   105674      3 |    18304 |    19827
926.57/926.83	c  925s |      17 |   322450 |   248232 |   105674      3 |    18304 |    19827
928.77/929.08	c  927s |      17 |   323176 |   248832 |   105674      3 |    18304 |    19827
931.27/931.50	c  930s |      17 |   324075 |   249532 |   105674      3 |    18304 |    19827
933.57/933.85	c  932s |      17 |   324863 |   250132 |   105674      3 |    18304 |    19827
935.77/936.09	c  934s |      17 |   325763 |   250832 |   105674      3 |    18304 |    19827
938.07/938.32	c  937s |      17 |   326791 |   251632 |   105674      3 |    18304 |    19827
940.56/940.80	c  939s |      17 |   327581 |   252232 |   105674      3 |    18304 |    19827
942.76/943.09	c  941s |      17 |   328249 |   252732 |   105674      3 |    18304 |    19827
945.16/945.42	c  944s |      17 |   329017 |   253332 |   105674      3 |    18304 |    19827
947.35/947.66	c  946s |      17 |   329425 |   253632 |   105674      3 |    18304 |    19827
949.55/949.81	c  948s |      17 |   330188 |   254232 |   105674      3 |    18304 |    19827
951.75/952.09	c  950s |      17 |   330824 |   254732 |   105674      3 |    18304 |    19827
953.85/954.10	c  952s |      17 |   331337 |   255132 |   105674      3 |    18304 |    19827
955.85/956.16	c  954s |      17 |   331977 |   255632 |   105674      3 |    18304 |    19827
958.05/958.32	c  957s |      17 |   332578 |   256132 |   105674      3 |    18304 |    19827
960.45/960.70	c  959s |      17 |   333232 |   256632 |   105674      3 |    18304 |    19827
962.74/963.01	c  961s |      17 |   333899 |   257132 |   105674      3 |    18304 |    19827
965.04/965.34	c  964s |      17 |   334509 |   257632 |   105674      3 |    18304 |    19827
967.04/967.35	c  966s |      17 |   335011 |   258032 |   105674      3 |    18304 |    19827
969.04/969.39	c  968s |      17 |   335520 |   258432 |   105674      3 |    18304 |    19827
971.45/971.79	c  970s |      17 |   336160 |   258932 |   105674      3 |    18304 |    19827
973.55/973.85	c  972s |      17 |   336665 |   259332 |   105674      3 |    18304 |    19827
975.65/975.95	c  974s |      17 |   337216 |   259732 |   105674      3 |    18304 |    19827
977.85/978.10	c  976s |      17 |   337708 |   260132 |   105674      3 |    18304 |    19827
979.85/980.13	c  978s |      17 |   338228 |   260532 |   105674      3 |    18304 |    19827
981.94/982.22	c  981s |      17 |   338786 |   260932 |   105674      3 |    18304 |    19827
984.14/984.41	c  983s |      17 |   339285 |   261332 |   105674      3 |    18304 |    19827
986.45/986.71	c  985s |      17 |   339826 |   261732 |   105674      3 |    18304 |    19827
988.65/988.97	c  987s |      17 |   340362 |   262132 |   105674      3 |    18304 |    19827
990.95/991.27	c  990s |      17 |   340859 |   262532 |   105674      3 |    18304 |    19827
993.24/993.53	c  992s |      17 |   341341 |   262932 |   105674      3 |    18304 |    19827
995.64/995.92	c  994s |      17 |   341881 |   263332 |   105674      3 |    18304 |    19827
998.13/998.49	c  997s |      17 |   342430 |   263732 |   105674      3 |    18304 |    19827
1000.23/1000.59	c  999s |      17 |   342932 |   264132 |   105674      3 |    18304 |    19827
1002.53/1002.86	c 1001s |      17 |   343457 |   264532 |   105674      3 |    18304 |    19827
1004.63/1004.90	c 1003s |      17 |   343968 |   264932 |   105674      3 |    18304 |    19827
1006.93/1007.27	c 1006s |      17 |   344498 |   265332 |   105674      3 |    18304 |    19827
1009.13/1009.46	c 1008s |      17 |   345095 |   265832 |   105674      3 |    18304 |    19827
1011.53/1011.88	c 1010s |      17 |   345786 |   266332 |   105674      3 |    18304 |    19827
1013.93/1014.21	c 1012s |      17 |   346499 |   266832 |   105674      3 |    18304 |    19827
1016.24/1016.52	c 1015s |      17 |   347297 |   267432 |   105674      3 |    18304 |    19827
1018.44/1018.79	c 1017s |      17 |   348020 |   267932 |   105674      3 |    18304 |    19827
1020.64/1020.97	c 1019s |      17 |   348601 |   268332 |   105674      3 |    18304 |    19827
1023.03/1023.31	c 1022s |      17 |   349107 |   268732 |   105674      3 |    18304 |    19827
1025.13/1025.43	c 1024s |      17 |   349663 |   269132 |   105674      3 |    18304 |    19827
1027.42/1027.73	c 1026s |      17 |   350149 |   269532 |   105674      3 |    18304 |    19827
1029.43/1029.76	c 1028s |      17 |   350676 |   269932 |   105674      3 |    18304 |    19827
1031.82/1032.14	c 1030s |      17 |   351195 |   270332 |   105674      3 |    18304 |    19827
1034.02/1034.35	c 1033s |      17 |   351767 |   270732 |   105674      3 |    18304 |    19827
1036.22/1036.59	c 1035s |      17 |   352481 |   271232 |   105674      3 |    18304 |    19827
1038.52/1038.87	c 1037s |      17 |   353155 |   271732 |   105674      3 |    18304 |    19827
1040.82/1041.18	c 1039s |      17 |   353804 |   272232 |   105674      3 |    18304 |    19827
1043.22/1043.52	c 1042s |      17 |   354283 |   272632 |   105674      3 |    18304 |    19827
1045.22/1045.53	c 1044s |      17 |   354762 |   273032 |   105674      3 |    18304 |    19827
1047.42/1047.73	c 1046s |      17 |   355237 |   273432 |   105674      3 |    18304 |    19827
1049.82/1050.19	c 1048s |      17 |   355839 |   273932 |   105674      3 |    18304 |    19827
1051.92/1052.23	c 1051s |      17 |   356320 |   274332 |   105674      3 |    18304 |    19827
1054.62/1054.92	c 1053s |      17 |   356993 |   274832 |   105674      3 |    18304 |    19827
1056.61/1056.99	c 1055s |      17 |   357363 |   275132 |   105674      3 |    18304 |    19827
1058.81/1059.13	c 1057s |      17 |   357729 |   275432 |   105674      3 |    18304 |    19827
1060.81/1061.15	c 1059s |      17 |   358091 |   275732 |   105674      3 |    18304 |    19827
1063.31/1063.61	c 1062s |      17 |   358577 |   276132 |   105674      3 |    18304 |    19827
1065.41/1065.73	c 1064s |      17 |   359104 |   276532 |   105674      3 |    18304 |    19827
1067.71/1068.04	c 1066s |      17 |   359682 |   276932 |   105674      3 |    18304 |    19827
1069.81/1070.17	c 1068s |      17 |   360292 |   277432 |   105674      3 |    18304 |    19827
1072.11/1072.49	c 1071s |      17 |   360955 |   277932 |   105674      3 |    18304 |    19827
1074.41/1074.71	c 1073s |      17 |   361624 |   278432 |   105674      3 |    18304 |    19827
1076.50/1076.90	c 1075s |      17 |   362161 |   278832 |   105674      3 |    18304 |    19827
1078.60/1078.99	c 1077s |      17 |   362710 |   279232 |   105674      3 |    18304 |    19827
1080.70/1081.05	c 1079s |      17 |   363093 |   279532 |   105674      3 |    18304 |    19827
1083.00/1083.31	c 1082s |      17 |   363479 |   279832 |   105674      3 |    18304 |    19827
1085.41/1085.80	c 1084s |      17 |   364092 |   280232 |   105674      3 |    18304 |    19827
1087.89/1088.20	c 1086s |      17 |   364646 |   280632 |   105674      3 |    18304 |    19827
1090.19/1090.59	c 1089s |      17 |   365171 |   281032 |   105674      3 |    18304 |    19827
1092.39/1092.78	c 1091s |      17 |   365885 |   281532 |   105674      3 |    18304 |    19827
1094.79/1095.11	c 1093s |      17 |   366644 |   282132 |   105674      3 |    18304 |    19827
1096.89/1097.21	c 1095s |      17 |   367432 |   282732 |   105674      3 |    18304 |    19827
1099.09/1099.47	c 1098s |      17 |   368136 |   283332 |   105674      3 |    18304 |    19827
1101.39/1101.75	c 1100s |      17 |   368755 |   283832 |   105674      3 |    18304 |    19827
1103.59/1103.95	c 1102s |      17 |   369356 |   284332 |   105674      3 |    18304 |    19827
1105.59/1105.95	c 1104s |      17 |   370021 |   284832 |   105674      3 |    18304 |    19827
1107.58/1107.97	c 1106s |      17 |   370819 |   285432 |   105674      3 |    18304 |    19827
1109.69/1110.07	c 1108s |      17 |   371587 |   286032 |   105674      3 |    18304 |    19827
1111.79/1112.13	c 1110s |      17 |   372354 |   286632 |   105674      3 |    18304 |    19827
1113.99/1114.35	c 1113s |      17 |   373335 |   287432 |   105674      3 |    18304 |    19827
1116.08/1116.44	c 1115s |      17 |   374288 |   288232 |   105674      3 |    18304 |    19827
1118.07/1118.48	c 1117s |      17 |   375187 |   288932 |   105674      3 |    18304 |    19827
1120.47/1120.81	c 1119s |      17 |   376009 |   289432 |   105674      3 |    18304 |    19827
1122.88/1123.28	c 1122s |      17 |   376541 |   289832 |   105674      3 |    18304 |    19827
1125.47/1125.82	c 1124s |      17 |   377087 |   290232 |   105674      3 |    18304 |    19827
1127.87/1128.25	c 1127s |      17 |   377616 |   290632 |   105674      3 |    18304 |    19827
1130.37/1130.72	c 1129s |      17 |   378250 |   291132 |   105674      3 |    18304 |    19827
1132.46/1132.88	c 1131s |      17 |   378599 |   291432 |   105674      3 |    18304 |    19827
1134.56/1134.96	c 1133s |      17 |   378947 |   291732 |   105674      3 |    18304 |    19827
1136.76/1137.17	c 1135s |      17 |   379452 |   292132 |   105674      3 |    18304 |    19827
1138.96/1139.38	c 1138s |      17 |   379918 |   292532 |   105674      3 |    18304 |    19827
1141.06/1141.46	c 1140s |      17 |   380377 |   292832 |   105674      3 |    18304 |    19827
1143.36/1143.74	c 1142s |      17 |   381211 |   293432 |   105674      3 |    18304 |    19827
1145.66/1146.05	c 1144s |      17 |   382012 |   294032 |   105674      3 |    18304 |    19827
1148.25/1148.60	c 1147s |      17 |   382757 |   294532 |   116242      3 |    18304 |    19827
1150.37/1150.73	c 1149s |      17 |   383406 |   294932 |   116242      3 |    18304 |    19827
1152.57/1152.95	c 1151s |      17 |   383910 |   295332 |   116242      3 |    18304 |    19827
1154.86/1155.29	c 1154s |      17 |   384431 |   295732 |   116242      3 |    18304 |    19827
1156.96/1157.30	c 1156s |      17 |   384915 |   296132 |   116242      3 |    18304 |    19827
1157.56/1157.96	c 1156s |      18 |   385066 |   296252 |   116242      3 |    18304 |    19827
1159.66/1160.02	c 1158s |      18 |   385422 |   296452 |   116242      3 |    18304 |    19827
1162.16/1162.53	c 1161s |      18 |   385977 |   296852 |   116242      3 |    18304 |    19827
1164.56/1164.91	c 1163s |      18 |   386513 |   297252 |   116242      3 |    18304 |    19827
1167.05/1167.41	c 1166s |      18 |   387049 |   297652 |   116242      3 |    18304 |    19827
1169.15/1169.55	c 1168s |      18 |   387651 |   298052 |   116242      3 |    18304 |    19827
1171.55/1171.99	c 1170s |      18 |   388306 |   298552 |   116242      3 |    18304 |    19827
1173.95/1174.36	c 1173s |      18 |   388958 |   299052 |   116242      3 |    18304 |    19827
1176.45/1176.82	c 1175s |      18 |   389469 |   299452 |   116242      3 |    18304 |    19827
1178.85/1179.29	c 1178s |      18 |   390032 |   299852 |   116242      3 |    18304 |    19827
1181.44/1181.86	c 1180s |      18 |   390515 |   300252 |   116242      3 |    18304 |    19827
1184.04/1184.46	c 1183s |      18 |   391054 |   300652 |   116242      3 |    18304 |    19827
1186.65/1187.04	c 1185s |      18 |   391551 |   301052 |   116242      3 |    18304 |    19827
1189.24/1189.61	c 1188s |      18 |   392089 |   301452 |   116242      3 |    18304 |    19827
1191.64/1192.06	c 1190s |      18 |   392598 |   301852 |   116242      3 |    18304 |    19827
1194.14/1194.55	c 1193s |      18 |   393149 |   302252 |   116242      3 |    18304 |    19827
1196.14/1196.58	c 1195s |      18 |   393552 |   302552 |   116242      3 |    18304 |    19827
1198.33/1198.70	c 1197s |      18 |   393954 |   302852 |   116242      3 |    18304 |    19827
1200.43/1200.85	c 1199s |      18 |   394370 |   303152 |   116242      3 |    18304 |    19827
1202.93/1203.30	c 1202s |      18 |   394874 |   303552 |   116242      3 |    18304 |    19827
1205.43/1205.80	c 1204s |      18 |   395426 |   303952 |   116242      3 |    18304 |    19827
1207.93/1208.38	c 1207s |      18 |   395966 |   304352 |   116242      3 |    18304 |    19827
1210.13/1210.52	c 1209s |      18 |   396366 |   304652 |   116242      3 |    18304 |    19827
1212.63/1213.00	c 1211s |      18 |   396901 |   305052 |   116242      3 |    18304 |    19827
1215.23/1215.63	c 1214s |      18 |   397416 |   305452 |   116242      3 |    18304 |    19827
1217.72/1218.17	c 1216s |      18 |   397976 |   305852 |   116242      3 |    18304 |    19827
1219.82/1220.21	c 1218s |      18 |   398397 |   306152 |   116242      3 |    18304 |    19827
1222.43/1222.80	c 1221s |      18 |   398971 |   306552 |   116242      3 |    18304 |    19827
1224.82/1225.27	c 1224s |      18 |   399547 |   306952 |   116242      3 |    18304 |    19827
1227.42/1227.80	c 1226s |      18 |   400062 |   307352 |   116242      3 |    18304 |    19827
1229.72/1230.13	c 1228s |      18 |   400590 |   307752 |   116242      3 |    18304 |    19827
1232.02/1232.40	c 1231s |      18 |   401245 |   308152 |   116242      3 |    18304 |    19827
1234.22/1234.66	c 1233s |      18 |   401802 |   308552 |   116242      3 |    18304 |    19827
1236.51/1236.91	c 1235s |      18 |   402408 |   308952 |   116242      3 |    18304 |    19827
1238.71/1239.15	c 1237s |      18 |   402718 |   309152 |   116242      3 |    18304 |    19827
1240.81/1241.20	c 1239s |      18 |   403349 |   309552 |   116242      3 |    18304 |    19827
1243.11/1243.53	c 1242s |      18 |   404171 |   310052 |   116242      3 |    18304 |    19827
1245.41/1245.80	c 1244s |      18 |   404872 |   310552 |   116242      3 |    18304 |    19827
1247.40/1247.80	c 1246s |      18 |   405382 |   310952 |   116242      3 |    18304 |    19827
1250.10/1250.50	c 1249s |      18 |   406065 |   311452 |   116242      3 |    18304 |    19827
1252.10/1252.53	c 1251s |      18 |   406472 |   311752 |   116242      3 |    18304 |    19827
1254.10/1254.55	c 1253s |      18 |   406868 |   312052 |   116242      3 |    18304 |    19827
1256.40/1256.84	c 1255s |      18 |   407376 |   312452 |   116242      3 |    18304 |    19827
1258.80/1259.20	c 1257s |      18 |   407860 |   312852 |   116242      3 |    18304 |    19827
1261.09/1261.57	c 1260s |      18 |   408360 |   313252 |   116242      3 |    18304 |    19827
1263.29/1263.75	c 1262s |      18 |   408736 |   313552 |   116242      3 |    18304 |    19827
1265.89/1266.30	c 1265s |      18 |   409127 |   313852 |   116242      3 |    18304 |    19827
1268.09/1268.59	c 1267s |      18 |   409476 |   314152 |   116242      3 |    18304 |    19827
1270.69/1271.16	c 1269s |      18 |   410033 |   314552 |   116242      3 |    18304 |    19827
1273.39/1273.89	c 1272s |      18 |   410542 |   314952 |   116242      3 |    18304 |    19827
1275.49/1275.98	c 1274s |      18 |   411123 |   315352 |   116242      3 |    18304 |    19827
1277.68/1278.18	c 1276s |      18 |   411699 |   315752 |   116242      3 |    18304 |    19827
1279.88/1280.38	c 1279s |      18 |   412324 |   316152 |   116242      3 |    18304 |    19827
1281.98/1282.49	c 1281s |      18 |   412866 |   316552 |   116242      3 |    18304 |    19827
1286.48/1286.92	c 1285s |      18 |   413394 |   316952 |   116242      4 |    18304 |    19827
1288.68/1289.20	c 1287s |      18 |   414161 |   317552 |   116242      4 |    18304 |    19827
1290.88/1291.33	c 1290s |      18 |   415011 |   318152 |   116242      4 |    18304 |    19827
1292.98/1293.41	c 1292s |      18 |   415850 |   318752 |   116242      4 |    18304 |    19827
1295.18/1295.61	c 1294s |      18 |   416649 |   319352 |   116242      4 |    18304 |    19827
1297.17/1297.65	c 1296s |      18 |   417545 |   320052 |   116242      4 |    18304 |    19827
1299.47/1299.93	c 1298s |      18 |   418422 |   320752 |   116242      4 |    18304 |    19827
1301.57/1302.00	c 1300s |      18 |   419439 |   321552 |   116242      4 |    18304 |    19827
1303.67/1304.10	c 1302s |      18 |   420348 |   322252 |   116242      4 |    18304 |    19827
1305.97/1306.47	c 1305s |      18 |   421267 |   322952 |   116242      4 |    18304 |    19827
1308.17/1308.69	c 1307s |      18 |   422069 |   323552 |   116242      4 |    18304 |    19827
1310.47/1310.94	c 1309s |      18 |   422900 |   324152 |   116242      4 |    18304 |    19827
1312.77/1313.20	c 1311s |      18 |   423656 |   324752 |   116242      4 |    18304 |    19827
1315.07/1315.59	c 1314s |      18 |   424428 |   325352 |   116242      4 |    18304 |    19827
1317.47/1317.94	c 1316s |      18 |   425171 |   325952 |   116242      4 |    18304 |    19827
1319.86/1320.34	c 1319s |      18 |   425838 |   326452 |   116242      4 |    18304 |    19827
1322.06/1322.59	c 1321s |      18 |   426464 |   326952 |   116242      4 |    18304 |    19827
1324.36/1324.89	c 1323s |      18 |   427291 |   327552 |   116242      4 |    18304 |    19827
1326.66/1327.15	c 1325s |      18 |   428162 |   328152 |   116242      4 |    18304 |    19827
1328.66/1329.15	c 1327s |      18 |   429043 |   328752 |   116242      4 |    18304 |    19827
1331.16/1331.62	c 1330s |      18 |   430093 |   329552 |   116242      4 |    18304 |    19827
1333.36/1333.86	c 1332s |      18 |   430986 |   330252 |   116242      4 |    18304 |    19827
1335.66/1336.13	c 1334s |      18 |   431901 |   330952 |   116242      4 |    18304 |    19827
1337.76/1338.23	c 1337s |      18 |   432697 |   331552 |   116242      4 |    18304 |    19827
1340.05/1340.52	c 1339s |      18 |   433482 |   332152 |   116242      4 |    18304 |    19827
1342.15/1342.65	c 1341s |      18 |   434258 |   332752 |   116242      4 |    18304 |    19827
1344.45/1344.99	c 1343s |      18 |   435045 |   333352 |   116242      4 |    18304 |    19827
1346.65/1347.13	c 1345s |      18 |   435705 |   333852 |   116242      4 |    18304 |    19827
1348.85/1349.33	c 1348s |      18 |   436429 |   334352 |   116242      4 |    18304 |    19827
1350.85/1351.36	c 1350s |      18 |   437099 |   334852 |   116242      4 |    18304 |    19827
1353.25/1353.70	c 1352s |      18 |   437727 |   335352 |   116242      4 |    18304 |    19827
1355.35/1355.88	c 1354s |      18 |   438334 |   335852 |   116242      4 |    18304 |    19827
1357.55/1358.05	c 1356s |      18 |   438926 |   336352 |   116242      4 |    18304 |    19827
1359.55/1360.09	c 1358s |      18 |   439538 |   336852 |   116242      4 |    18304 |    19827
1361.85/1362.39	c 1361s |      18 |   440268 |   337452 |   116242      4 |    18304 |    19827
1363.94/1364.40	c 1363s |      18 |   440882 |   337952 |   116242      4 |    18304 |    19827
1366.24/1366.78	c 1365s |      18 |   441565 |   338552 |   116242      4 |    18304 |    19827
1368.34/1368.87	c 1367s |      18 |   442178 |   339052 |   116242      4 |    18304 |    19827
1370.44/1370.97	c 1369s |      18 |   442791 |   339552 |   116242      4 |    18304 |    19827
1372.74/1373.22	c 1372s |      18 |   443580 |   340152 |   116242      4 |    18304 |    19827
1374.84/1375.30	c 1374s |      18 |   444211 |   340652 |   116242      4 |    18304 |    19827
1376.84/1377.34	c 1376s |      18 |   444694 |   341052 |   116242      4 |    18304 |    19827
1379.04/1379.57	c 1378s |      18 |   445338 |   341552 |   116242      4 |    18304 |    19827
1381.54/1382.06	c 1380s |      18 |   445945 |   342052 |   116242      4 |    18304 |    19827
1383.54/1384.09	c 1382s |      18 |   446444 |   342452 |   116242      4 |    18304 |    19827
1386.04/1386.50	c 1385s |      18 |   447077 |   342952 |   116242      4 |    18304 |    19827
1388.34/1388.85	c 1387s |      18 |   447661 |   343452 |   116242      4 |    18304 |    19827
1390.64/1391.15	c 1389s |      18 |   448289 |   343952 |   116242      4 |    18304 |    19827
1393.14/1393.60	c 1392s |      18 |   448897 |   344452 |   116242      4 |    18304 |    19827
1395.45/1395.91	c 1394s |      18 |   449501 |   344952 |   116242      4 |    18304 |    19827
1397.75/1398.21	c 1396s |      18 |   450100 |   345452 |   116242      4 |    18304 |    19827
1400.04/1400.51	c 1399s |      18 |   450704 |   345952 |   116242      4 |    18304 |    19827
1402.24/1402.78	c 1401s |      18 |   451316 |   346452 |   116242      4 |    18304 |    19827
1404.64/1405.12	c 1403s |      18 |   451941 |   346952 |   116242      4 |    18304 |    19827
1406.83/1407.36	c 1406s |      18 |   452548 |   347452 |   116242      4 |    18304 |    19827
1409.33/1409.89	c 1408s |      18 |   453153 |   347952 |   116242      4 |    18304 |    19827
1411.53/1412.06	c 1410s |      18 |   453650 |   348352 |   116242      4 |    18304 |    19827
1413.83/1414.32	c 1413s |      18 |   454130 |   348752 |   116242      4 |    18304 |    19827
1416.13/1416.66	c 1415s |      18 |   454800 |   349252 |   116242      4 |    18304 |    19827
1418.64/1419.13	c 1417s |      18 |   455448 |   349752 |   116242      4 |    18304 |    19827
1420.63/1421.16	c 1419s |      18 |   455968 |   350152 |   116242      4 |    18304 |    19827
1423.04/1423.57	c 1422s |      18 |   456609 |   350652 |   116242      4 |    18304 |    19827
1425.43/1425.95	c 1424s |      18 |   457293 |   351152 |   116242      4 |    18304 |    19827
1427.44/1427.96	c 1426s |      18 |   457802 |   351552 |   116242      4 |    18304 |    19827
1429.43/1429.98	c 1428s |      18 |   458334 |   351952 |   116242      4 |    18304 |    19827
1431.74/1432.25	c 1431s |      18 |   458822 |   352352 |   116242      4 |    18304 |    19827
1434.04/1434.54	c 1433s |      18 |   459314 |   352752 |   116242      4 |    18304 |    19827
1436.24/1436.74	c 1435s |      18 |   459788 |   353152 |   116242      4 |    18304 |    19827
1438.53/1439.03	c 1437s |      18 |   460239 |   353552 |   116242      4 |    18304 |    19827
1440.83/1441.32	c 1440s |      18 |   460757 |   353952 |   116242      4 |    18304 |    19827
1443.33/1443.86	c 1442s |      18 |   461235 |   354352 |   116242      4 |    18304 |    19827
1445.43/1445.94	c 1444s |      18 |   461597 |   354652 |   116242      4 |    18304 |    19827
1447.63/1448.11	c 1446s |      18 |   462129 |   355052 |   116242      4 |    18304 |    19827
1449.93/1450.43	c 1449s |      18 |   462639 |   355452 |   116242      4 |    18304 |    19827
1452.13/1452.61	c 1451s |      18 |   463158 |   355852 |   116242      4 |    18304 |    19827
1454.62/1455.10	c 1453s |      18 |   463627 |   356252 |   116242      4 |    18304 |    19827
1456.92/1457.41	c 1456s |      18 |   464096 |   356652 |   116242      4 |    18304 |    19827
1459.23/1459.80	c 1458s |      18 |   464718 |   357152 |   116242      4 |    18304 |    19827
1461.43/1461.92	c 1460s |      18 |   465213 |   357552 |   116242      4 |    18304 |    19827
1463.52/1464.08	c 1462s |      18 |   465837 |   358052 |   116242      4 |    18304 |    19827
1465.72/1466.25	c 1465s |      18 |   466474 |   358552 |   116242      4 |    18304 |    19827
1467.82/1468.33	c 1467s |      18 |   467104 |   359052 |   116242      4 |    18304 |    19827
1470.12/1470.64	c 1469s |      18 |   467684 |   359552 |   116242      4 |    18304 |    19827
1472.22/1472.77	c 1471s |      18 |   468447 |   360152 |   116242      4 |    18304 |    19827
1474.32/1474.81	c 1473s |      18 |   469107 |   360652 |   116242      4 |    18304 |    19827
1476.53/1477.07	c 1475s |      18 |   469738 |   361152 |   116242      4 |    18304 |    19827
1478.83/1479.39	c 1478s |      18 |   470240 |   361552 |   116242      4 |    18304 |    19827
1481.43/1481.97	c 1480s |      18 |   470682 |   361952 |   116242      4 |    18304 |    19827
1483.83/1484.39	c 1483s |      18 |   471170 |   362352 |   116242      4 |    18304 |    19827
1485.93/1486.47	c 1485s |      18 |   471669 |   362752 |   116242      4 |    18304 |    19827
1488.32/1488.81	c 1487s |      18 |   472176 |   363152 |   116242      4 |    18304 |    19827
1490.62/1491.15	c 1489s |      18 |   472793 |   363652 |   116242      4 |    18304 |    19827
1492.72/1493.22	c 1492s |      18 |   473274 |   364052 |   116242      4 |    18304 |    19827
1494.72/1495.23	c 1494s |      18 |   473780 |   364452 |   116242      4 |    18304 |    19827
1497.22/1497.75	c 1496s |      18 |   474347 |   364952 |   116242      4 |    18304 |    19827
1499.42/1499.97	c 1498s |      18 |   474848 |   365352 |   116242      4 |    18304 |    19827
1501.72/1502.23	c 1501s |      18 |   475362 |   365752 |   116242      4 |    18304 |    19827
1503.82/1504.34	c 1503s |      18 |   475861 |   366152 |   116242      4 |    18304 |    19827
1505.92/1506.49	c 1505s |      18 |   476352 |   366552 |   116242      4 |    18304 |    19827
1508.32/1508.82	c 1507s |      18 |   476962 |   367052 |   116242      4 |    18304 |    19827
1510.72/1511.24	c 1510s |      18 |   477587 |   367552 |   116242      4 |    18304 |    19827
1512.92/1513.43	c 1512s |      18 |   478092 |   367952 |   116242      4 |    18304 |    19827
1515.12/1515.66	c 1514s |      18 |   478623 |   368352 |   116242      4 |    18304 |    19827
1517.53/1518.04	c 1516s |      18 |   479306 |   368852 |   116242      4 |    18304 |    19827
1519.92/1520.42	c 1519s |      18 |   479906 |   369352 |   116242      4 |    18304 |    19827
1522.12/1522.68	c 1521s |      18 |   480499 |   369852 |   116242      4 |    18304 |    19827
1524.32/1524.82	c 1523s |      18 |   480975 |   370252 |   116242      4 |    18304 |    19827
1526.52/1527.00	c 1525s |      18 |   481466 |   370652 |   116242      4 |    18304 |    19827
1528.82/1529.32	c 1528s |      18 |   481982 |   371052 |   116242      4 |    18304 |    19827
1530.82/1531.36	c 1530s |      18 |   482341 |   371352 |   116242      4 |    18304 |    19827
1532.82/1533.36	c 1532s |      18 |   482771 |   371652 |   116242      4 |    18304 |    19827
1534.92/1535.49	c 1534s |      18 |   483285 |   372052 |   116242      4 |    18304 |    19827
1537.22/1537.80	c 1536s |      18 |   483920 |   372552 |   116242      4 |    18304 |    19827
1539.52/1540.09	c 1538s |      18 |   484487 |   372952 |   116242      4 |    18304 |    19827
1541.72/1542.26	c 1541s |      18 |   485029 |   373352 |   116242      4 |    18304 |    19827
1544.11/1544.60	c 1543s |      18 |   485571 |   373752 |   116242      4 |    18304 |    19827
1546.01/1546.60	c 1545s |      18 |   486070 |   374152 |   116242      4 |    18304 |    19827
1548.11/1548.67	c 1547s |      18 |   486721 |   374652 |   116242      4 |    18304 |    19827
1550.21/1550.74	c 1549s |      18 |   487401 |   375152 |   116242      4 |    18304 |    19827
1552.61/1553.17	c 1551s |      18 |   488034 |   375652 |   116242      4 |    18304 |    19827
1554.81/1555.34	c 1554s |      18 |   488530 |   376052 |   116242      4 |    18304 |    19827
1556.91/1557.46	c 1556s |      18 |   489032 |   376452 |   116242      4 |    18304 |    19827
1559.31/1559.87	c 1558s |      18 |   489545 |   376852 |   116242      4 |    18304 |    19827
1561.41/1561.90	c 1560s |      18 |   489928 |   377152 |   116242      4 |    18304 |    19827
1563.61/1564.10	c 1562s |      18 |   490429 |   377552 |   116242      4 |    18304 |    19827
1565.91/1566.44	c 1565s |      18 |   490963 |   377952 |   116242      4 |    18304 |    19827
1568.00/1568.53	c 1567s |      18 |   491331 |   378252 |   116242      4 |    18304 |    19827
1570.70/1571.20	c 1569s |      18 |   491801 |   378652 |   116242      4 |    18304 |    19827
1572.90/1573.47	c 1572s |      18 |   492315 |   379052 |   116242      4 |    18304 |    19827
1575.20/1575.71	c 1574s |      18 |   492829 |   379452 |   116242      4 |    18304 |    19827
1577.70/1578.20	c 1576s |      18 |   493313 |   379852 |   116242      4 |    18304 |    19827
1580.00/1580.54	c 1579s |      18 |   493811 |   380252 |   116242      4 |    18304 |    19827
1582.20/1582.70	c 1581s |      18 |   494167 |   380552 |   116242      4 |    18304 |    19827
1584.80/1585.36	c 1584s |      18 |   494553 |   380852 |   116242      4 |    18304 |    19827
1587.30/1587.87	c 1586s |      18 |   495026 |   381252 |   116242      4 |    18304 |    19827
1589.40/1589.90	c 1588s |      18 |   495521 |   381652 |   116242      4 |    18304 |    19827
1592.00/1592.55	c 1591s |      18 |   496123 |   382152 |   116242      4 |    18304 |    19827
1594.51/1595.05	c 1593s |      18 |   496594 |   382552 |   116242      4 |    18304 |    19827
1596.50/1597.07	c 1595s |      18 |   497048 |   382952 |   116242      4 |    18304 |    19827
1598.70/1599.29	c 1598s |      18 |   497587 |   383352 |   116242      4 |    18304 |    19827
1601.40/1601.90	c 1600s |      18 |   498165 |   383752 |   116242      4 |    18304 |    19827
1603.90/1604.48	c 1603s |      18 |   498649 |   384152 |   116242      4 |    18304 |    19827
1606.30/1606.81	c 1605s |      18 |   499051 |   384452 |   116242      4 |    18304 |    19827
1608.50/1609.08	c 1607s |      18 |   499552 |   384852 |   116242      4 |    18304 |    19827
1610.80/1611.31	c 1610s |      18 |   499955 |   385152 |   116242      4 |    18304 |    19827
1612.80/1613.38	c 1612s |      18 |   500328 |   385452 |   116242      4 |    18304 |    19827
1615.20/1615.74	c 1614s |      18 |   500843 |   385852 |   116242      4 |    18304 |    19827
1617.60/1618.13	c 1616s |      18 |   501327 |   386252 |   116242      4 |    18304 |    19827
1621.30/1621.82	c 1620s |      18 |   501798 |   386652 |   116242      5 |    18304 |    19827
1623.60/1624.14	c 1622s |      18 |   502261 |   387052 |   116242      5 |    18304 |    19827
1626.10/1626.66	c 1625s |      18 |   502855 |   387552 |   116242      5 |    18304 |    19827
1628.50/1629.00	c 1627s |      18 |   503415 |   387952 |   116242      5 |    18304 |    19827
1630.50/1631.02	c 1629s |      18 |   504058 |   388452 |   116242      5 |    18304 |    19827
1632.70/1633.27	c 1632s |      18 |   504639 |   388952 |   116242      5 |    18304 |    19827
1635.00/1635.52	c 1634s |      18 |   505276 |   389452 |   116242      5 |    18304 |    19827
1637.20/1637.70	c 1636s |      18 |   505796 |   389852 |   116242      5 |    18304 |    19827
1639.71/1640.28	c 1639s |      18 |   506415 |   390352 |   116242      5 |    18304 |    19827
1642.00/1642.53	c 1641s |      18 |   506863 |   390752 |   116242      5 |    18304 |    19827
1644.11/1644.67	c 1643s |      18 |   507393 |   391152 |   116242      5 |    18304 |    19827
1646.40/1646.91	c 1645s |      18 |   507918 |   391552 |   116242      5 |    18304 |    19827
1648.50/1649.04	c 1647s |      18 |   508534 |   392052 |   116242      5 |    18304 |    19827
1650.70/1651.25	c 1650s |      18 |   509126 |   392552 |   116242      5 |    18304 |    19827
1652.90/1653.46	c 1652s |      18 |   509614 |   392952 |   116242      5 |    18304 |    19827
1655.30/1655.82	c 1654s |      18 |   510217 |   393452 |   116242      5 |    18304 |    19827
1657.60/1658.16	c 1656s |      18 |   510833 |   393952 |   116242      5 |    18304 |    19827
1659.80/1660.37	c 1659s |      18 |   511441 |   394452 |   116242      5 |    18304 |    19827
1662.10/1662.69	c 1661s |      18 |   512031 |   394952 |   116242      5 |    18304 |    19827
1664.40/1664.98	c 1663s |      18 |   512493 |   395352 |   116242      5 |    18304 |    19827
1666.69/1667.24	c 1666s |      18 |   513056 |   395752 |   116242      5 |    18304 |    19827
1668.89/1669.47	c 1668s |      18 |   513593 |   396152 |   116242      5 |    18304 |    19827
1670.99/1671.53	c 1670s |      18 |   514121 |   396552 |   116242      5 |    18304 |    19827
1673.09/1673.61	c 1672s |      18 |   514660 |   396952 |   116242      5 |    18304 |    19827
1675.39/1675.90	c 1674s |      18 |   515053 |   397252 |   116242      5 |    18304 |    19827
1677.49/1678.09	c 1676s |      18 |   515604 |   397652 |   116242      5 |    18304 |    19827
1679.49/1680.09	c 1678s |      18 |   516104 |   398052 |   116242      5 |    18304 |    19827
1681.59/1682.16	c 1680s |      18 |   516641 |   398452 |   116242      5 |    18304 |    19827
1683.70/1684.29	c 1683s |      18 |   517160 |   398852 |   116242      5 |    18304 |    19827
1685.90/1686.46	c 1685s |      18 |   517670 |   399252 |   116242      5 |    18304 |    19827
1688.89/1689.49	c 1688s |      18 |   518153 |   399652 |   116242      5 |    18304 |    19827
1691.30/1691.88	c 1690s |      18 |   518522 |   399952 |   116242      5 |    18304 |    19827
1693.79/1694.32	c 1693s |      18 |   519219 |   400452 |   116242      5 |    18304 |    19827
1696.19/1696.70	c 1695s |      18 |   519704 |   400852 |   116242      5 |    18304 |    19827
1698.39/1698.99	c 1697s |      18 |   520167 |   401252 |   116242      5 |    18304 |    19827
1700.49/1701.04	c 1699s |      18 |   520676 |   401652 |   116242      5 |    18304 |    19827
1702.79/1703.35	c 1702s |      18 |   521195 |   402052 |   116242      5 |    18304 |    19827
1705.29/1705.89	c 1704s |      18 |   521889 |   402552 |   116242      5 |    18304 |    19827
1707.49/1708.06	c 1706s |      18 |   522391 |   402952 |   116242      5 |    18304 |    19827
1709.69/1710.26	c 1709s |      18 |   522904 |   403352 |   116242      5 |    18304 |    19827
1712.19/1712.75	c 1711s |      18 |   523533 |   403852 |   116242      5 |    18304 |    19827
1714.39/1714.98	c 1713s |      18 |   524030 |   404252 |   116242      5 |    18304 |    19827
1716.88/1717.45	c 1716s |      18 |   524594 |   404652 |   116242      5 |    18304 |    19827
1719.38/1719.99	c 1718s |      18 |   525169 |   405052 |   116242      5 |    18304 |    19827
1721.58/1722.19	c 1720s |      18 |   525883 |   405552 |   116242      5 |    18304 |    19827
1723.78/1724.36	c 1723s |      18 |   526460 |   405952 |   116242      5 |    18304 |    19827
1725.98/1726.50	c 1725s |      18 |   526841 |   406252 |   116242      5 |    18304 |    19827
1728.08/1728.65	c 1727s |      18 |   527224 |   406552 |   116242      5 |    18304 |    19827
1730.58/1731.11	c 1729s |      18 |   527765 |   406952 |   116242      5 |    18304 |    19827
1733.29/1733.82	c 1732s |      18 |   528331 |   407352 |   116242      5 |    18304 |    19827
1735.29/1735.89	c 1734s |      18 |   528707 |   407652 |   116242      5 |    18304 |    19827
1737.79/1738.32	c 1737s |      18 |   529256 |   408052 |   116242      5 |    18304 |    19827
1740.29/1740.87	c 1739s |      18 |   529838 |   408552 |   116242      5 |    18304 |    19827
1742.69/1743.21	c 1741s |      18 |   530347 |   408952 |   116242      5 |    18304 |    19827
1744.89/1745.47	c 1744s |      18 |   530822 |   409352 |   116242      5 |    18304 |    19827
1747.29/1747.87	c 1746s |      18 |   531301 |   409752 |   116242      5 |    18304 |    19827
1749.79/1750.35	c 1749s |      18 |   531912 |   410252 |   116242      5 |    18304 |    19827
1752.28/1752.81	c 1751s |      18 |   532520 |   410752 |   116242      5 |    18304 |    19827
1754.38/1754.99	c 1753s |      18 |   532991 |   411152 |   116242      5 |    18304 |    19827
1756.88/1757.46	c 1756s |      18 |   533621 |   411652 |   116242      5 |    18304 |    19827
1759.18/1759.74	c 1758s |      18 |   534140 |   412052 |   116242      5 |    18304 |    19827
1761.69/1762.30	c 1761s |      18 |   534648 |   412452 |   116242      5 |    18304 |    19827
1764.18/1764.79	c 1763s |      18 |   535132 |   412852 |   116242      5 |    18304 |    19827
1766.58/1767.20	c 1765s |      18 |   535658 |   413252 |   116242      5 |    18304 |    19827
1768.88/1769.41	c 1768s |      18 |   536162 |   413652 |   116242      5 |    18304 |    19827
1771.08/1771.67	c 1770s |      18 |   536653 |   414052 |   116242      5 |    18304 |    19827
1773.48/1774.06	c 1772s |      18 |   537264 |   414552 |   116242      5 |    18304 |    19827
1775.99/1776.57	c 1775s |      18 |   537904 |   415052 |   116242      5 |    18304 |    19827
1778.58/1779.19	c 1777s |      18 |   538505 |   415552 |   116242      5 |    18304 |    19827
1780.88/1781.41	c 1780s |      18 |   538990 |   415952 |   116242      5 |    18304 |    19827
1783.28/1783.85	c 1782s |      18 |   539448 |   416352 |   116242      5 |    18304 |    19827
1785.68/1786.21	c 1784s |      18 |   539908 |   416752 |   116242      5 |    18304 |    19827
1788.18/1788.76	c 1787s |      18 |   540371 |   417152 |   116242      5 |    18304 |    19827
1790.58/1791.12	c 1789s |      18 |   540867 |   417552 |   116242      5 |    18304 |    19827
1793.07/1793.60	c 1792s |      18 |   541383 |   417952 |   116242      5 |    18304 |    19827
1795.27/1795.83	c 1794s |      18 |   541973 |   418352 |   116242      5 |    18304 |    19827
1797.67/1798.27	c 1797s |      18 |   542640 |   418852 |   116242      5 |    18304 |    19827

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 15095
/proc/meminfo: memFree=30549964/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 2729 0 0 0 0 0 0 0 20 0 4 0 109276681 748089344 3089 33554432000 4194304 16246674 140734117692544 140734117691968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 183407 3099 441 2943 0 180301 0
[pid=15095/tid=15096] ppid=15092 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 765915136 3157 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 770109440 3173 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109276682 774303744 3189 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100191 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 15095
/proc/meminfo: memFree=30549964/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 28266 0 0 0 6 3 0 0 20 0 4 0 109276681 1333334016 28564 33554432000 4194304 16246674 140734117692544 140734117691856 7367789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 325521 28579 801 2943 0 322415 0
[pid=15095/tid=15096] ppid=15092 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1333334016 28590 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1333334016 28601 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1333334016 28611 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200528 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 15095
/proc/meminfo: memFree=30549964/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 47896 0 0 0 13 6 0 0 20 0 4 0 109276681 1344868352 48705 33554432000 4194304 16246674 140734117692544 140734117691856 13789025 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 328337 48705 801 2943 0 325231 0
[pid=15095/tid=15096] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 48705 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 48705 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 48705 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300515 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 15095
/proc/meminfo: memFree=30549964/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 54591 0 0 0 22 7 0 0 20 0 4 0 109276681 1344868352 55400 33554432000 4194304 16246674 140734117692544 140734117691856 8057126 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 328337 55400 801 2943 0 325231 0
[pid=15095/tid=15096] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 55400 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 55400 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 55400 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700424 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 15095
/proc/meminfo: memFree=30549964/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 70838 0 0 0 60 9 0 0 20 0 4 0 109276681 1344868352 71647 33554432000 4194304 16246674 140734117692544 140734117691856 6939222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 328337 71656 839 2943 0 325231 0
[pid=15095/tid=15096] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 71661 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 71666 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1344868352 71671 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15099
/proc/meminfo: memFree=30089476/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1316420 CPUtime=1.49 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 124076 0 0 0 133 16 0 0 20 0 4 0 109276681 1348014080 124885 33554432000 4194304 16246674 140734117692544 140734117691856 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 329105 124889 884 2943 0 325999 0
[pid=15095/tid=15096] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 124893 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 124897 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 124898 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10043 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15099
/proc/meminfo: memFree=29657212/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1316420 CPUtime=3.09 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 269778 0 0 0 274 35 0 0 20 0 4 0 109276681 1348014080 270587 33554432000 4194304 16246674 140734117692544 140734117674432 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 329105 270587 887 2943 0 325999 0
[pid=15095/tid=15096] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270587 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270587 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270587 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

[startup+6.30042 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15099
/proc/meminfo: memFree=29468524/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1316420 CPUtime=6.29 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 269785 0 0 0 594 35 0 0 20 0 4 0 109276681 1348014080 270594 33554432000 4194304 16246674 140734117692544 140734117674432 13820998 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 329105 270594 892 2943 0 325999 0
[pid=15095/tid=15096] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270594 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270594 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270594 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15099
/proc/meminfo: memFree=29468308/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1316420 CPUtime=12.69 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 269785 0 0 0 1234 35 0 0 20 0 4 0 109276681 1348014080 270594 33554432000 4194304 16246674 140734117692544 140734117674432 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 329105 270594 892 2943 0 325999 0
[pid=15095/tid=15096] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270594 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270594 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270594 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 15099
/proc/meminfo: memFree=29469016/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 269786 0 0 0 2513 35 0 0 20 0 4 0 109276681 1348014080 270595 33554432000 4194304 16246674 140734117692544 140734117674432 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 329105 270595 892 2943 0 325999 0
[pid=15095/tid=15096] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 15099
/proc/meminfo: memFree=29467532/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1316420 CPUtime=51.09 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 269786 0 0 0 5073 36 0 0 20 0 4 0 109276681 1348014080 270595 33554432000 4194304 16246674 140734117692544 140734117674432 12478809 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 329105 270595 892 2943 0 325999 0
[pid=15095/tid=15096] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15101
/proc/meminfo: memFree=29466956/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 269786 0 0 0 10192 36 0 0 20 0 4 0 109276681 1348014080 270595 33554432000 4194304 16246674 140734117692544 140734117674432 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 329105 270595 892 2943 0 325999 0
[pid=15095/tid=15096] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1348014080 270595 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1382617088 279046 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1350212

[startup+1302.3 s]
/proc/loadavg: 2.11 2.16 2.09 3/183 15131
/proc/meminfo: memFree=29385024/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1357380 CPUtime=1301.87 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 280396 0 0 0 130131 56 0 0 20 0 4 0 109276681 1389957120 280838 33554432000 4194304 16246674 140734117692544 140734117674432 5675989 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 339345 280838 892 2943 0 336239 0
[pid=15095/tid=15096] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.23 2.19 2.10 3/183 15132
/proc/meminfo: memFree=29384804/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1357380 CPUtime=1361.85 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 280421 0 0 0 136129 56 0 0 20 0 4 0 109276681 1389957120 280838 33554432000 4194304 16246674 140734117692544 140734117674432 5523241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 339345 280838 892 2943 0 336239 0
[pid=15095/tid=15096] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.08 2.15 2.09 3/183 15329
/proc/meminfo: memFree=29396364/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1357380 CPUtime=1421.84 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 280438 0 0 0 142127 57 0 0 20 0 4 0 109276681 1389957120 280838 33554432000 4194304 16246674 140734117692544 140734117674432 5829044 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 339345 280838 892 2943 0 336239 0
[pid=15095/tid=15096] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.11 2.15 2.09 3/183 15623
/proc/meminfo: memFree=29400532/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1357380 CPUtime=1481.83 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 280438 0 0 0 148125 58 0 0 20 0 4 0 109276681 1389957120 280838 33554432000 4194304 16246674 140734117692544 140734117674432 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 339345 280838 892 2943 0 336239 0
[pid=15095/tid=15096] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 15819
/proc/meminfo: memFree=29398148/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1357380 CPUtime=1541.82 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 280438 0 0 0 154124 58 0 0 20 0 4 0 109276681 1389957120 280838 33554432000 4194304 16246674 140734117692544 140734117674432 5601651 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 339345 280838 892 2943 0 336239 0
[pid=15095/tid=15096] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.13 2.15 2.09 4/183 15871
/proc/meminfo: memFree=29381940/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1357380 CPUtime=1601.8 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 280438 0 0 0 160122 58 0 0 20 0 4 0 109276681 1389957120 280838 33554432000 4194304 16246674 140734117692544 140734117674432 5823751 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 339345 280838 892 2943 0 336239 0
[pid=15095/tid=15096] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1389957120 280838 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.12 2.13 2.09 4/183 15873
/proc/meminfo: memFree=29337628/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1401412 CPUtime=1661.8 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 291446 0 0 0 166120 60 0 0 20 0 4 0 109276681 1435045888 291846 33554432000 4194304 16246674 140734117692544 140734117674432 12483215 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 350353 291846 892 2943 0 347247 0
[pid=15095/tid=15096] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1401412

[startup+1722.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 15874
/proc/meminfo: memFree=29337384/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1401412 CPUtime=1721.78 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 291446 0 0 0 172117 61 0 0 20 0 4 0 109276681 1435045888 291846 33554432000 4194304 16246674 140734117692544 140734117674432 5827969 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 350353 291846 892 2943 0 347247 0
[pid=15095/tid=15096] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1401412

[startup+1782.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 15875
/proc/meminfo: memFree=29337016/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1401412 CPUtime=1781.78 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 291446 0 0 0 178116 62 0 0 20 0 4 0 109276681 1435045888 291846 33554432000 4194304 16246674 140734117692544 140734117674432 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 350353 291846 892 2943 0 347247 0
[pid=15095/tid=15096] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1401412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 15876
/proc/meminfo: memFree=29336636/32872528 swapFree=11196/354588
[pid=15095] ppid=15092 vsize=1401412 CPUtime=1800.07 cores=0,2,4,6
/proc/15095/stat : 15095 (toysat) R 15092 15095 12837 0 -1 4202496 291446 0 0 0 179945 62 0 0 20 0 4 0 109276681 1435045888 291846 33554432000 4194304 16246674 140734117692544 140734117690368 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15095/statm: 350353 291846 892 2943 0 347247 0
[pid=15095/tid=15096] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15096/stat : 15096 (toysat) S 15092 15095 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671524515056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15095/tid=15097] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15097/stat : 15097 (toysat) S 15092 15095 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671514025200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15095/tid=15098] ppid=15092 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15095/task/15098/stat : 15098 (toysat) S 15092 15095 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109276682 1435045888 291846 33554432000 4194304 16246674 140734117692544 140671503551664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1401412

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.46
CPU system time (s): 0.624905
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1401412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.624905
maximum resident set size= 1167384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291446
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= 427
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68929 second user time and 6.83696 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 06:23:52
IDJOB=4078830
IDBENCH=74369
IDSOLVER=2542
FILE ID=node126/4078830-1465273432
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 0f318fc75cd8d877b44870fe2fa76e77
RANDOM SEED=1408212440

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30550336 kB
Buffers:           29084 kB
Cached:           117500 kB
SwapCached:         2168 kB
Active:          1164208 kB
Inactive:          75236 kB
Active(anon):    1090704 kB
Inactive(anon):     4052 kB
Active(file):      73504 kB
Inactive(file):    71184 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             18896 kB
Writeback:             0 kB
AnonPages:       1484764 kB
Mapped:            11040 kB
Shmem:                 0 kB
Slab:             596192 kB
SReclaimable:      40064 kB
SUnreclaim:       556128 kB
KernelStack:        1472 kB
PageTables:         6924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1590056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node126 at 2016-06-07 06:53:53