Trace number 4116261

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T22:16:20+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-4116261-1466972180.opb"]
0.00/0.01	c use --random-gen="1597605920 3242198324 3173734320 898708720 2645718954 3959063880 3477073413 1980476582 3968823013 1892165101 2230565020 2165607695 1709499911 4092572832 2358081125 3143947800 2469411679 948457411 3612084702 1504200877 272078129 4147617887 48775870 3208032281 3602460303 2882112342 1357470858 4204103593 3669752648 2377018323 2350202353 4114293590 1636766206 833144078 3514409742 638761803 453077207 3805375734 1372315309 2773324992 1301075505 1198733773 3423710297 271235281 2442600785 723859935 1068125022 1645273131 1678067820 3790775842 4230605582 127420412 2815333949 2656742344 3392521135 3049192012 2691035594 210931496 3336736569 3257354954 1442211763 501255462 2526362344 1540943017 3662784926 2730951031 4107260792 461170225 3204926790 927198469 3843508872 62812901 4161046226 304688212 3371392914 550160655 2994525559 2489553457 3973307702 2657955629 3166507940 2803422148 3548614824 2408654704 4290718123 1083952701 3657781318 1578800608 1301363233 1983344303 3592801332 3327197130 790560105 1394669460 627210898 2316123680 4008774746 588339123 3551221043 3001996316 1602315262 3328838001 2903130118 2115673636 473897548 2469465000 3655585454 1462243343 3355816083 637146013 2597547490 3578028286 1638979426 241822211 1666560781 3328039344 2985308263 747253728 2411633328 2514549084 850162768 864589558 2304593734 3097018315 1800572920 2950837602 3162754326 3759743987 4236929151 2172794173 2034134544 4209464524 2035469592 2339145887 3952594378 20688332 1436271924 3744361024 705915516 3056546382 1007835590 3206316106 2143654524 2019177883 2759287492 2918260223 609767448 866416939 3579123267 2608815927 3892173624 438138803 3965660312 3934849419 3335703891 2599499747 3062784877 4203471189 3870517440 887418953 3628651697 1367534533 2152251247 94981034 797418571 3260248980 2464508723 250709020 4035040640 1193549961 723591194 3401766552 1719864603 3381732229 3931064166 3903205623 2960306116 4177572776 3077081001 3531229088 1779025597 1336631623 2777933264 1513280495 2726059047 3943853826 2279087600 2321937811 3692213800 2782170517 712606799 609453382 3411195540 2012168588 2295107800 1871605562 1515376736 473095504 362846655 3625338775 2546013248 3490983616 1633320547 187380155 3057457660 90223714 72333902 730766069 1213477918 2806011123 4167305648 2678707373 1780895567 1520399711 1617369993 4131606699 3967294778 1767174099 3366429611 2726157732 1528388825 1666422271 3381482148 3101468442 450650391 2026574329 2151184599 2534604257 1734126634 131188666 1515802119 1973800343 2311398467 1542305498 3202192126 2733879291 2684014321 431736447 2423579520 1927602823 1804657554 2710202683 3695766852 1464693075 979598220 1147080312 685038581 3457925180 1162773543 4227423755 307216411 2555859006 380620498 24884908 3898570159 1628537430 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9456
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      586 |        0
0.29/0.33	c  0.1s |       1 |      640 |      100 |     4565      0 |      586 |      278
0.39/0.43	c  0.2s |       2 |     2286 |      250 |     5022      0 |      586 |      278
0.59/0.66	c  0.4s |       3 |     3848 |      475 |     5525      0 |      586 |      278
0.89/0.90	c  0.6s |       4 |     6533 |      813 |     6078      0 |      586 |      278
1.39/1.41	c  1.1s |       5 |    10318 |     1320 |     6686      0 |      587 |      278
2.09/2.14	c  1.9s |       6 |    13518 |     2081 |     8091      0 |      587 |      278
3.59/3.61	c  3.3s |       7 |    16631 |     3223 |     8901      0 |      587 |      278
5.09/5.12	c  4.8s |       8 |    23670 |     4936 |     9792      0 |      587 |      278
7.19/7.22	c  6.9s |       8 |    27506 |     6736 |     9792      0 |      587 |      278
8.29/8.33	c  8.1s |       9 |    28494 |     7506 |    10772      0 |      587 |      278
10.38/10.46	c 10.2s |       9 |    38903 |    10106 |    10772      0 |      587 |      278
12.09/12.20	c 11.9s |      10 |    40583 |    11361 |    11850      0 |      587 |      278
14.18/14.27	c 14.0s |      10 |    45295 |    13161 |    11850      0 |      587 |      278
16.18/16.28	c 16.0s |      10 |    50562 |    15161 |    11850      1 |      587 |      278
18.29/18.30	c 18.0s |      10 |    58347 |    17061 |    13036      1 |      588 |      278
18.29/18.39	c 18.1s |      11 |    58439 |    17144 |    13036      1 |      588 |      278
20.38/20.43	c 20.2s |      11 |    61537 |    18844 |    13036      1 |      588 |      278
22.48/22.53	c 22.3s |      11 |    63895 |    20544 |    13036      1 |      588 |      278
24.58/24.65	c 24.4s |      11 |    65487 |    21844 |    13036      1 |      588 |      278
26.78/26.82	c 26.5s |      11 |    66729 |    22944 |    13036      1 |      588 |      278
28.88/28.97	c 28.7s |      11 |    67846 |    23944 |    13036      1 |      588 |      278
30.98/31.10	c 30.8s |      11 |    70475 |    25144 |    13036      2 |      588 |      278
32.08/32.18	c 31.9s |      12 |    71203 |    25819 |    14340      2 |      588 |      278
34.19/34.23	c 34.0s |      12 |    75467 |    27619 |    14340      2 |      588 |      278
36.18/36.29	c 36.0s |      12 |    77727 |    29119 |    14340      2 |      588 |      278
38.38/38.44	c 38.2s |      12 |    79779 |    30619 |    14340      2 |      588 |      278
40.48/40.57	c 40.3s |      12 |    81396 |    31919 |    14340      2 |      588 |      278
42.58/42.65	c 42.4s |      12 |    82792 |    33019 |    14340      2 |      588 |      278
44.68/44.74	c 44.5s |      12 |    83730 |    33819 |    14340      3 |      588 |      278
46.78/46.82	c 46.5s |      12 |    84785 |    34719 |    14340      3 |      588 |      278
48.78/48.89	c 48.6s |      12 |    85731 |    35519 |    14340      3 |      588 |      278
50.88/50.96	c 50.7s |      12 |    86524 |    36219 |    14340      3 |      588 |      278
53.08/53.19	c 52.9s |      12 |    87436 |    37019 |    14340      3 |      588 |      278
55.18/55.25	c 55.0s |      12 |    88359 |    37819 |    14340      3 |      588 |      278
57.18/57.28	c 57.0s |      12 |    89369 |    38619 |    15775      3 |      588 |      278
57.68/57.77	c 57.5s |      13 |    89642 |    38832 |    15775      3 |      588 |      278
59.78/59.83	c 59.6s |      13 |    92842 |    40332 |    15775      3 |      588 |      278
61.78/61.88	c 61.6s |      13 |    95934 |    42132 |    15775      3 |      588 |      278
63.79/63.90	c 63.6s |      13 |    98351 |    43732 |    15775      3 |      588 |      278
65.88/65.91	c 65.6s |      13 |   100452 |    44932 |    15775      4 |      588 |      278
67.98/68.06	c 67.8s |      13 |   102722 |    46532 |    15775      4 |      588 |      278
70.18/70.20	c 69.9s |      13 |   104485 |    47832 |    15775      4 |      588 |      278
72.28/72.35	c 72.1s |      13 |   106007 |    49032 |    15775      4 |      588 |      278
74.38/74.49	c 74.2s |      13 |   107675 |    50232 |    15775      4 |      588 |      278
76.48/76.54	c 76.3s |      13 |   109402 |    51432 |    15775      4 |      588 |      278
78.48/78.55	c 78.3s |      13 |   111678 |    52632 |    15775      5 |      588 |      278
80.68/80.71	c 80.4s |      13 |   115175 |    54332 |    15775      5 |      588 |      278
82.78/82.81	c 82.5s |      13 |   117379 |    55732 |    15775      5 |      588 |      278
84.79/84.87	c 84.6s |      13 |   118791 |    56832 |    15775      5 |      588 |      278
87.08/87.10	c 86.8s |      13 |   120197 |    57932 |    15775      5 |      588 |      278
88.08/88.14	c 87.9s |      14 |   120692 |    58352 |    17353      5 |      588 |      278
90.08/90.17	c 89.9s |      14 |   128628 |    60452 |    17353      5 |      588 |      278
92.18/92.22	c 91.9s |      14 |   139538 |    62752 |    17353      6 |      588 |      278
94.18/94.28	c 94.0s |      14 |   149979 |    65452 |    17353      6 |      588 |      278
96.28/96.32	c 96.0s |      14 |   152079 |    66852 |    17353      6 |      588 |      278
98.28/98.38	c 98.1s |      14 |   154657 |    68352 |    17353      6 |      588 |      278
100.48/100.51	c  100s |      14 |   156371 |    69652 |    17353      6 |      588 |      278
102.58/102.66	c  102s |      14 |   157837 |    70752 |    17353      6 |      588 |      278
104.58/104.66	c  104s |      14 |   159023 |    71652 |    17353      6 |      588 |      278
106.87/106.95	c  106s |      14 |   160162 |    72552 |    17353      6 |      588 |      278
109.17/109.21	c  108s |      14 |   160963 |    73252 |    17353      6 |      588 |      278
111.37/111.47	c  111s |      14 |   161657 |    73852 |    17353      7 |      588 |      278
113.67/113.74	c  113s |      14 |   162469 |    74552 |    17353      7 |      588 |      278
115.67/115.79	c  115s |      14 |   163298 |    75252 |    17353      7 |      588 |      278
117.78/117.84	c  117s |      14 |   164144 |    75952 |    17353      7 |      588 |      278
119.88/119.93	c  119s |      14 |   164982 |    76652 |    17353      7 |      588 |      278
122.08/122.19	c  121s |      14 |   165820 |    77352 |    17353      7 |      588 |      278
124.17/124.22	c  123s |      14 |   166547 |    77952 |    17353      7 |      588 |      278
126.37/126.40	c  126s |      14 |   167226 |    78552 |    17353      7 |      588 |      278
128.47/128.52	c  128s |      14 |   167916 |    79152 |    17353      7 |      588 |      278
130.67/130.79	c  130s |      14 |   168787 |    79852 |    17353      7 |      588 |      278
132.87/132.91	c  132s |      14 |   169470 |    80452 |    17353      7 |      588 |      278
134.96/135.06	c  134s |      14 |   170151 |    81052 |    17353      7 |      588 |      278
137.16/137.23	c  136s |      14 |   170849 |    81652 |    17353      7 |      588 |      278
139.46/139.52	c  139s |      14 |   171556 |    82252 |    17353      7 |      588 |      278
141.76/141.88	c  141s |      14 |   172235 |    82852 |    17353      7 |      588 |      278
143.97/144.08	c  143s |      14 |   172918 |    83452 |    17353      7 |      588 |      278
146.28/146.33	c  146s |      14 |   173508 |    83952 |    17353      8 |      588 |      278
148.48/148.54	c  148s |      14 |   174195 |    84552 |    17353      8 |      588 |      278
150.68/150.72	c  150s |      14 |   174738 |    85052 |    17353      8 |      588 |      278
152.67/152.73	c  152s |      14 |   175418 |    85652 |    17353      8 |      588 |      278
154.77/154.85	c  154s |      14 |   176111 |    86252 |    17353      8 |      588 |      278
156.97/157.08	c  156s |      14 |   176803 |    86852 |    17353      8 |      588 |      278
159.07/159.12	c  158s |      14 |   177382 |    87352 |    19089      8 |      588 |      278
160.17/160.27	c  159s |      15 |   177669 |    87632 |    19089      8 |      588 |      278
162.27/162.38	c  162s |      15 |   183244 |    89532 |    19089      8 |      588 |      278
164.37/164.49	c  164s |      15 |   186311 |    91332 |    19089      8 |      588 |      278
166.47/166.54	c  166s |      15 |   187897 |    92632 |    19089      8 |      588 |      278
168.57/168.61	c  168s |      15 |   189295 |    93832 |    19089      8 |      588 |      278
170.77/170.85	c  170s |      15 |   194188 |    95532 |    19089      9 |      588 |      278
172.87/172.93	c  172s |      15 |   196846 |    97232 |    19089      9 |      588 |      278
174.97/175.03	c  174s |      15 |   198762 |    98532 |    19089      9 |      588 |      278
176.97/177.06	c  176s |      15 |   202903 |   100332 |    19089      9 |      588 |      278
179.07/179.15	c  178s |      15 |   204845 |   101632 |    19089      9 |      588 |      278
181.17/181.21	c  180s |      15 |   206130 |   102632 |    19089      9 |      588 |      278
183.27/183.35	c  183s |      15 |   207225 |   103532 |    19089      9 |      588 |      278
185.47/185.58	c  185s |      15 |   208236 |   104432 |    19089      9 |      588 |      278
187.56/187.66	c  187s |      15 |   209680 |   105432 |    19089      9 |      588 |      278
189.66/189.71	c  189s |      15 |   210865 |   106332 |    19089      9 |      588 |      278
191.76/191.83	c  191s |      15 |   211633 |   106932 |    19089     10 |      588 |      278
193.76/193.84	c  193s |      15 |   212594 |   107732 |    19089     10 |      588 |      278
195.96/196.01	c  195s |      15 |   213555 |   108532 |    19089     10 |      588 |      278
198.07/198.18	c  197s |      15 |   214362 |   109232 |    19089     10 |      588 |      278
200.06/200.20	c  199s |      15 |   215194 |   109932 |    19089     10 |      588 |      278
202.26/202.34	c  202s |      15 |   216009 |   110632 |    19089     10 |      588 |      278
204.26/204.34	c  204s |      15 |   216894 |   111332 |    19089     10 |      588 |      278
206.56/206.64	c  206s |      15 |   218106 |   112232 |    19089     10 |      588 |      278
208.76/208.86	c  208s |      15 |   218971 |   112932 |    19089     10 |      588 |      278
210.86/210.91	c  210s |      15 |   219725 |   113532 |    19089     10 |      588 |      278
212.86/212.93	c  212s |      15 |   220430 |   114132 |    19089     10 |      588 |      278
215.06/215.17	c  214s |      15 |   221230 |   114832 |    19089     10 |      588 |      278
217.35/217.43	c  217s |      15 |   221962 |   115432 |    19089     10 |      588 |      278
219.55/219.63	c  219s |      15 |   222489 |   115932 |    19089     10 |      588 |      278
221.95/222.05	c  221s |      15 |   223143 |   116532 |    19089     10 |      588 |      278
224.15/224.23	c  223s |      15 |   224054 |   117232 |    19089     10 |      588 |      278
226.66/226.79	c  226s |      15 |   225221 |   118132 |    19089     11 |      588 |      278
228.76/228.86	c  228s |      15 |   226553 |   119132 |    19089     11 |      588 |      278
230.85/230.90	c  230s |      15 |   227702 |   120032 |    19089     11 |      588 |      278
232.96/233.09	c  232s |      15 |   228823 |   120932 |    19089     11 |      588 |      278
235.16/235.22	c  234s |      15 |   229770 |   121732 |    19089     11 |      588 |      278
237.16/237.23	c  236s |      15 |   230793 |   122532 |    19089     11 |      588 |      278
239.26/239.38	c  239s |      15 |   231759 |   123332 |    19089     11 |      588 |      278
241.46/241.51	c  241s |      15 |   232563 |   124032 |    19089     11 |      588 |      278
243.56/243.63	c  243s |      15 |   233421 |   124732 |    19089     11 |      588 |      278
245.76/245.87	c  245s |      15 |   234072 |   125332 |    19089     11 |      588 |      278
247.95/248.07	c  247s |      15 |   234915 |   126032 |    19089     11 |      588 |      278
250.25/250.35	c  250s |      15 |   235751 |   126732 |    19089     11 |      588 |      278
252.45/252.55	c  252s |      15 |   236596 |   127432 |    19089     11 |      588 |      278
254.65/254.73	c  254s |      15 |   237287 |   128032 |    19089     11 |      588 |      278
256.85/256.92	c  256s |      15 |   237981 |   128632 |    19089     11 |      588 |      278
258.95/259.03	c  258s |      15 |   238699 |   129232 |    19089     11 |      588 |      278
261.05/261.11	c  260s |      15 |   239257 |   129732 |    19089     12 |      588 |      278
263.15/263.26	c  262s |      15 |   240081 |   130432 |    19089     12 |      588 |      278
265.35/265.40	c  265s |      15 |   241434 |   131432 |    20998     12 |      588 |      278
265.55/265.62	c  265s |      16 |   241612 |   131552 |    20998     12 |      588 |      278
267.65/267.75	c  267s |      16 |   249456 |   133552 |    20998     12 |      588 |      278
269.65/269.77	c  269s |      16 |   251127 |   134852 |    20998     12 |      588 |      278
271.76/271.84	c  271s |      16 |   252566 |   136052 |    20998     12 |      588 |      278
273.75/273.87	c  273s |      16 |   253778 |   137052 |    20998     12 |      588 |      278
275.85/275.92	c  275s |      16 |   254901 |   138052 |    20998     12 |      588 |      278
277.95/278.00	c  277s |      16 |   256131 |   139052 |    20998     12 |      588 |      278
279.95/280.04	c  279s |      16 |   257058 |   139852 |    20998     12 |      588 |      278
281.95/282.09	c  281s |      16 |   257981 |   140652 |    20998     12 |      588 |      278
284.35/284.40	c  284s |      16 |   258744 |   141352 |    20998     12 |      588 |      278
286.45/286.54	c  286s |      16 |   259493 |   142052 |    20998     12 |      588 |      278
288.45/288.58	c  288s |      16 |   260056 |   142552 |    20998     13 |      588 |      278
290.85/290.96	c  290s |      16 |   260813 |   143252 |    20998     13 |      588 |      278
293.15/293.26	c  292s |      16 |   261574 |   143952 |    20998     13 |      588 |      278
295.45/295.50	c  295s |      16 |   262376 |   144652 |    20998     13 |      588 |      278
297.54/297.60	c  297s |      16 |   263089 |   145252 |    20998     13 |      588 |      278
299.54/299.67	c  299s |      16 |   263764 |   145852 |    20998     13 |      588 |      278
301.94/302.05	c  301s |      16 |   264524 |   146552 |    20998     13 |      588 |      278
304.24/304.30	c  304s |      16 |   265181 |   147152 |    20998     13 |      588 |      278
306.24/306.32	c  306s |      16 |   265707 |   147652 |    20998     13 |      588 |      278
308.34/308.42	c  308s |      16 |   266576 |   148352 |    20998     13 |      588 |      278
310.34/310.45	c  310s |      16 |   267557 |   149152 |    20998     13 |      588 |      278
312.54/312.64	c  312s |      16 |   268659 |   149952 |    20998     13 |      588 |      278
314.84/314.90	c  314s |      16 |   269595 |   150752 |    20998     13 |      588 |      278
317.04/317.10	c  316s |      16 |   270423 |   151452 |    20998     13 |      588 |      278
319.05/319.16	c  318s |      16 |   271099 |   152052 |    20998     13 |      588 |      278
321.44/321.53	c  321s |      16 |   271900 |   152752 |    20998     13 |      588 |      278
323.44/323.55	c  323s |      16 |   272747 |   153452 |    20998     13 |      588 |      278
325.54/325.66	c  325s |      16 |   273416 |   154052 |    20998     13 |      588 |      278
327.64/327.74	c  327s |      16 |   274002 |   154552 |    20998     14 |      588 |      278
329.94/330.02	c  329s |      16 |   274899 |   155352 |    20998     14 |      588 |      278
332.04/332.11	c  331s |      16 |   275684 |   156052 |    20998     14 |      588 |      278
334.24/334.31	c  334s |      16 |   276500 |   156752 |    20998     14 |      588 |      278
336.44/336.60	c  336s |      16 |   277264 |   157452 |    20998     14 |      588 |      278
338.64/338.76	c  338s |      16 |   278059 |   158152 |    20998     14 |      588 |      278
341.04/341.12	c  340s |      16 |   278710 |   158752 |    20998     14 |      588 |      278
343.04/343.16	c  342s |      16 |   279404 |   159352 |    20998     14 |      588 |      278
345.24/345.32	c  345s |      16 |   280066 |   159952 |    20998     14 |      588 |      278
347.43/347.57	c  347s |      16 |   280743 |   160552 |    20998     14 |      588 |      278
349.84/349.92	c  349s |      16 |   281402 |   161152 |    20998     14 |      588 |      278
351.94/352.00	c  351s |      16 |   282062 |   161752 |    20998     14 |      588 |      278
354.24/354.33	c  354s |      16 |   282743 |   162352 |    20998     14 |      588 |      278
356.44/356.59	c  356s |      16 |   283289 |   162852 |    20998     14 |      588 |      278
358.73/358.81	c  358s |      16 |   283828 |   163352 |    20998     14 |      588 |      278
360.74/360.86	c  360s |      16 |   284368 |   163852 |    20998     14 |      588 |      278
363.04/363.10	c  362s |      16 |   285035 |   164452 |    20998     14 |      588 |      278
365.43/365.53	c  365s |      16 |   285690 |   165052 |    20998     14 |      588 |      278
367.44/367.56	c  367s |      16 |   286245 |   165552 |    20998     14 |      588 |      278
369.93/370.01	c  369s |      16 |   286901 |   166152 |    20998     14 |      588 |      278
372.03/372.15	c  371s |      16 |   287338 |   166552 |    20998     15 |      588 |      278
374.33/374.40	c  374s |      16 |   287983 |   167152 |    20998     15 |      588 |      278
376.43/376.50	c  376s |      16 |   288662 |   167752 |    20998     15 |      588 |      278
378.63/378.70	c  378s |      16 |   289320 |   168352 |    20998     15 |      588 |      278
380.63/380.79	c  380s |      16 |   289944 |   168952 |    20998     15 |      588 |      278
382.83/382.91	c  382s |      16 |   290613 |   169552 |    20998     15 |      588 |      278
385.03/385.13	c  384s |      16 |   291254 |   170152 |    20998     15 |      588 |      278
387.13/387.28	c  387s |      16 |   291898 |   170752 |    20998     15 |      588 |      278
389.43/389.57	c  389s |      16 |   292553 |   171352 |    20998     15 |      588 |      278
391.63/391.76	c  391s |      16 |   293199 |   171952 |    20998     15 |      588 |      278
393.83/393.98	c  393s |      16 |   293861 |   172552 |    20998     15 |      588 |      278
396.03/396.16	c  395s |      16 |   294416 |   173052 |    20998     15 |      588 |      278
398.32/398.48	c  398s |      16 |   295062 |   173652 |    20998     15 |      588 |      278
400.62/400.78	c  400s |      16 |   295710 |   174252 |    20998     15 |      588 |      278
402.82/402.95	c  402s |      16 |   296242 |   174752 |    20998     15 |      588 |      278
405.02/405.12	c  404s |      16 |   296912 |   175352 |    20998     15 |      588 |      278
407.22/407.37	c  407s |      16 |   297449 |   175852 |    20998     15 |      588 |      278
409.53/409.64	c  409s |      16 |   297980 |   176352 |    20998     15 |      588 |      278
411.63/411.77	c  411s |      16 |   298406 |   176752 |    20998     15 |      588 |      278
414.03/414.18	c  413s |      16 |   298949 |   177252 |    20998     15 |      588 |      278
416.23/416.34	c  416s |      16 |   299487 |   177752 |    20998     15 |      588 |      278
418.53/418.70	c  418s |      16 |   300046 |   178252 |    20998     15 |      588 |      278
420.73/420.84	c  420s |      16 |   300502 |   178652 |    20998     16 |      588 |      278
422.93/423.03	c  422s |      16 |   301306 |   179352 |    20998     16 |      588 |      278
425.13/425.27	c  424s |      16 |   301939 |   179952 |    20998     16 |      588 |      278
427.33/427.40	c  427s |      16 |   302594 |   180552 |    20998     16 |      588 |      278
429.43/429.54	c  429s |      16 |   303381 |   181252 |    20998     16 |      588 |      278
431.53/431.60	c  431s |      16 |   304041 |   181852 |    20998     16 |      588 |      278
433.83/433.94	c  433s |      16 |   304713 |   182452 |    20998     16 |      588 |      278
436.03/436.15	c  435s |      16 |   305364 |   183052 |    20998     16 |      588 |      278
438.43/438.50	c  438s |      16 |   306016 |   183652 |    20998     16 |      588 |      278
440.63/440.73	c  440s |      16 |   306682 |   184252 |    20998     16 |      588 |      278
442.93/443.07	c  442s |      16 |   307344 |   184852 |    20998     16 |      588 |      278
445.13/445.25	c  444s |      16 |   308018 |   185452 |    20998     16 |      588 |      278
447.32/447.42	c  447s |      16 |   308677 |   186052 |    20998     16 |      588 |      278
449.62/449.74	c  449s |      16 |   309335 |   186652 |    20998     16 |      588 |      278
452.03/452.12	c  451s |      16 |   310002 |   187252 |    20998     16 |      588 |      278
454.02/454.16	c  453s |      16 |   310547 |   187752 |    20998     16 |      588 |      278
456.32/456.46	c  456s |      16 |   311080 |   188252 |    20998     16 |      588 |      278
458.63/458.78	c  458s |      16 |   311738 |   188852 |    20998     16 |      588 |      278
460.93/461.03	c  460s |      16 |   312293 |   189352 |    20998     16 |      588 |      278
463.42/463.51	c  463s |      16 |   312840 |   189852 |    20998     16 |      588 |      278
465.42/465.55	c  465s |      16 |   313268 |   190252 |    20998     16 |      588 |      278
467.43/467.58	c  467s |      16 |   313595 |   190552 |    20998     17 |      588 |      278
469.52/469.70	c  469s |      16 |   314255 |   191152 |    20998     17 |      588 |      278
471.72/471.83	c  471s |      16 |   314904 |   191752 |    20998     17 |      588 |      278
474.03/474.16	c  473s |      16 |   315548 |   192352 |    20998     17 |      588 |      278
476.33/476.42	c  476s |      16 |   316215 |   192952 |    20998     17 |      588 |      278
478.32/478.45	c  478s |      16 |   316752 |   193452 |    20998     17 |      588 |      278
480.52/480.65	c  480s |      16 |   317383 |   194052 |    20998     17 |      588 |      278
482.52/482.66	c  482s |      16 |   317938 |   194552 |    20998     17 |      588 |      278
484.72/484.84	c  484s |      16 |   318466 |   195052 |    20998     17 |      588 |      278
487.02/487.13	c  486s |      16 |   319001 |   195552 |    20998     17 |      588 |      278
489.12/489.23	c  488s |      16 |   319533 |   196052 |    20998     17 |      588 |      278
491.32/491.48	c  491s |      16 |   320073 |   196552 |    23098     17 |      588 |      278
493.62/493.73	c  493s |      16 |   320609 |   197052 |    23098     17 |      588 |      278
495.31/495.42	c  495s |      17 |   321018 |   197432 |    23098     17 |      588 |      278
497.31/497.43	c  497s |      17 |   332878 |   199232 |    23098     17 |      588 |      278
499.42/499.58	c  499s |      17 |   337185 |   200732 |    23098     17 |      588 |      278
501.62/501.71	c  501s |      17 |   340958 |   202332 |    23098     17 |      588 |      278
503.72/503.84	c  503s |      17 |   345298 |   203832 |    23098     17 |      588 |      278
506.41/506.52	c  506s |      17 |   346658 |   204832 |    23098     18 |      588 |      278
508.51/508.60	c  508s |      17 |   348315 |   206032 |    23098     18 |      588 |      278
510.61/510.77	c  510s |      17 |   349902 |   207232 |    23098     18 |      588 |      278
512.81/512.92	c  512s |      17 |   351096 |   208232 |    23098     18 |      588 |      278
515.01/515.19	c  514s |      17 |   352275 |   209232 |    23098     18 |      588 |      278
517.21/517.30	c  517s |      17 |   353335 |   210132 |    23098     18 |      588 |      278
519.31/519.49	c  519s |      17 |   354352 |   211032 |    23098     18 |      588 |      278
521.61/521.74	c  521s |      17 |   355267 |   211832 |    23098     18 |      588 |      278
523.71/523.87	c  523s |      17 |   356045 |   212532 |    23098     18 |      588 |      278
525.91/526.07	c  525s |      17 |   356821 |   213232 |    23098     18 |      588 |      278
528.11/528.25	c  527s |      17 |   357672 |   213932 |    23098     18 |      588 |      278
530.31/530.48	c  530s |      17 |   358560 |   214732 |    23098     18 |      588 |      278
532.71/532.82	c  532s |      17 |   359324 |   215432 |    23098     18 |      588 |      278
534.91/535.05	c  534s |      17 |   360244 |   216232 |    23098     18 |      588 |      278
536.91/537.07	c  536s |      17 |   360882 |   216832 |    23098     18 |      588 |      278
539.01/539.15	c  538s |      17 |   361512 |   217432 |    23098     18 |      588 |      278
541.21/541.38	c  541s |      17 |   362224 |   218032 |    23098     19 |      588 |      278
543.21/543.38	c  543s |      17 |   363138 |   218832 |    23098     19 |      588 |      278
545.41/545.50	c  545s |      17 |   363926 |   219532 |    23098     19 |      588 |      278
547.40/547.52	c  547s |      17 |   364713 |   220232 |    23098     19 |      588 |      278
549.60/549.74	c  549s |      17 |   365491 |   220932 |    23098     19 |      588 |      278
551.70/551.80	c  551s |      17 |   366309 |   221632 |    23098     19 |      588 |      278
553.70/553.90	c  553s |      17 |   367084 |   222332 |    23098     19 |      588 |      278
556.00/556.11	c  555s |      17 |   367997 |   223132 |    23098     19 |      588 |      278
558.00/558.15	c  557s |      17 |   368809 |   223832 |    23098     19 |      588 |      278
560.20/560.38	c  560s |      17 |   369712 |   224632 |    23098     19 |      588 |      278
562.30/562.41	c  562s |      17 |   370399 |   225232 |    23098     19 |      588 |      278
564.70/564.80	c  564s |      17 |   371059 |   225832 |    23098     19 |      588 |      278
566.70/566.83	c  566s |      17 |   371619 |   226332 |    23098     19 |      588 |      278
569.00/569.14	c  568s |      17 |   372276 |   226932 |    23098     19 |      588 |      278
571.30/571.44	c  571s |      17 |   373046 |   227632 |    23098     19 |      588 |      278
573.40/573.56	c  573s |      17 |   373746 |   228232 |    23098     19 |      588 |      278
575.60/575.78	c  575s |      17 |   374442 |   228832 |    23098     19 |      588 |      278
577.80/577.95	c  577s |      17 |   375002 |   229332 |    23098     19 |      588 |      278
580.00/580.13	c  579s |      17 |   375547 |   229832 |    23098     19 |      588 |      278
582.20/582.38	c  582s |      17 |   376123 |   230332 |    23098     19 |      588 |      278
584.50/584.65	c  584s |      17 |   376680 |   230832 |    23098     19 |      588 |      278
586.60/586.71	c  586s |      17 |   377009 |   231132 |    23098     20 |      588 |      278
588.90/589.05	c  588s |      17 |   377787 |   231832 |    23098     20 |      588 |      278
591.20/591.31	c  591s |      17 |   378576 |   232532 |    23098     20 |      588 |      278
593.29/593.43	c  593s |      17 |   379352 |   233232 |    23098     20 |      588 |      278
595.39/595.51	c  595s |      17 |   380016 |   233832 |    23098     20 |      588 |      278
597.59/597.79	c  597s |      17 |   380957 |   234632 |    23098     20 |      588 |      278
599.69/599.81	c  599s |      17 |   381623 |   235232 |    23098     20 |      588 |      278
601.99/602.14	c  601s |      17 |   382412 |   235932 |    23098     20 |      588 |      278
604.30/604.40	c  604s |      17 |   383066 |   236532 |    23098     20 |      588 |      278
606.50/606.65	c  606s |      17 |   383718 |   237132 |    23098     20 |      588 |      278
608.50/608.67	c  608s |      17 |   384258 |   237632 |    23098     20 |      588 |      278
610.80/610.93	c  610s |      17 |   384927 |   238232 |    23098     20 |      588 |      278
613.00/613.11	c  612s |      17 |   385627 |   238832 |    23098     20 |      588 |      278
615.20/615.33	c  615s |      17 |   386486 |   239532 |    23098     20 |      588 |      278
617.20/617.39	c  617s |      17 |   387192 |   240132 |    23098     20 |      588 |      278
619.40/619.56	c  619s |      17 |   387873 |   240732 |    23098     20 |      588 |      278
621.70/621.84	c  621s |      17 |   388545 |   241332 |    23098     20 |      588 |      278
623.80/623.99	c  623s |      17 |   389083 |   241832 |    23098     20 |      588 |      278
626.30/626.40	c  626s |      17 |   389719 |   242432 |    23098     20 |      588 |      278
628.50/628.66	c  628s |      17 |   390258 |   242932 |    23098     20 |      588 |      278
630.80/630.99	c  630s |      17 |   390800 |   243432 |    23098     20 |      588 |      278
633.00/633.12	c  632s |      17 |   391394 |   243932 |    23098     20 |      588 |      278
635.19/635.37	c  635s |      17 |   391971 |   244432 |    23098     21 |      588 |      278
637.39/637.54	c  637s |      17 |   392782 |   245132 |    23098     21 |      588 |      278
639.49/639.64	c  639s |      17 |   393584 |   245832 |    23098     21 |      588 |      278
641.59/641.78	c  641s |      17 |   394334 |   246532 |    23098     21 |      588 |      278
643.99/644.10	c  643s |      17 |   394992 |   247132 |    23098     21 |      588 |      278
646.19/646.39	c  646s |      17 |   395650 |   247732 |    23098     21 |      588 |      278
648.29/648.42	c  648s |      17 |   396324 |   248332 |    23098     21 |      588 |      278
650.39/650.50	c  650s |      17 |   396992 |   248932 |    23098     21 |      588 |      278
652.39/652.57	c  652s |      17 |   397652 |   249532 |    23098     21 |      588 |      278
654.69/654.86	c  654s |      17 |   398303 |   250132 |    23098     21 |      588 |      278
656.99/657.19	c  656s |      17 |   398940 |   250732 |    23098     21 |      588 |      278
659.19/659.37	c  659s |      17 |   399599 |   251332 |    23098     21 |      588 |      278
661.49/661.68	c  661s |      17 |   400270 |   251932 |    23098     21 |      588 |      278
663.59/663.79	c  663s |      17 |   400812 |   252432 |    23098     21 |      588 |      278
665.69/665.86	c  665s |      17 |   401370 |   252932 |    23098     21 |      588 |      278
667.89/668.10	c  667s |      17 |   402033 |   253532 |    23098     21 |      588 |      278
670.19/670.35	c  670s |      17 |   402754 |   254132 |    23098     21 |      588 |      278
672.29/672.49	c  672s |      17 |   403442 |   254732 |    23098     21 |      588 |      278
674.39/674.57	c  674s |      17 |   404024 |   255232 |    23098     21 |      588 |      278
676.69/676.89	c  676s |      17 |   404687 |   255832 |    23098     21 |      588 |      278
678.79/678.95	c  678s |      17 |   405250 |   256332 |    23098     21 |      588 |      278
681.29/681.43	c  681s |      17 |   405791 |   256832 |    23098     21 |      588 |      278
683.39/683.57	c  683s |      17 |   406331 |   257332 |    23098     21 |      588 |      278
685.49/685.65	c  685s |      17 |   406788 |   257732 |    23098     22 |      588 |      278
687.59/687.70	c  687s |      17 |   407448 |   258332 |    23098     22 |      588 |      278
689.88/690.05	c  689s |      17 |   408087 |   258932 |    23098     22 |      588 |      278
691.98/692.15	c  691s |      17 |   408908 |   259632 |    23098     22 |      588 |      278
694.28/694.46	c  694s |      17 |   409702 |   260332 |    23098     22 |      588 |      278
696.29/696.49	c  696s |      17 |   410538 |   261032 |    23098     22 |      588 |      278
698.78/698.96	c  698s |      17 |   411312 |   261732 |    23098     22 |      588 |      278
700.98/701.18	c  700s |      17 |   412094 |   262432 |    23098     22 |      588 |      278
703.08/703.22	c  702s |      17 |   412738 |   263032 |    23098     22 |      588 |      278
705.18/705.36	c  705s |      17 |   413400 |   263632 |    23098     22 |      588 |      278
707.29/707.42	c  707s |      17 |   414075 |   264232 |    23098     22 |      588 |      278
709.49/709.70	c  709s |      17 |   414886 |   264932 |    23098     22 |      588 |      278
711.78/711.98	c  711s |      17 |   415529 |   265532 |    23098     22 |      588 |      278
713.98/714.19	c  713s |      17 |   416323 |   266232 |    23098     22 |      588 |      278
716.28/716.49	c  716s |      17 |   416985 |   266832 |    23098     22 |      588 |      278
718.48/718.68	c  718s |      17 |   417655 |   267432 |    23098     22 |      588 |      278
720.58/720.74	c  720s |      17 |   418328 |   268032 |    23098     22 |      588 |      278
722.78/722.97	c  722s |      17 |   419028 |   268632 |    23098     22 |      588 |      278
724.88/725.03	c  724s |      17 |   419575 |   269132 |    23098     22 |      588 |      278
727.08/727.22	c  726s |      17 |   420119 |   269632 |    23098     22 |      588 |      278
729.47/729.62	c  729s |      17 |   420786 |   270232 |    23098     22 |      588 |      278
731.77/731.95	c  731s |      17 |   421239 |   270632 |    23098     23 |      588 |      278
733.97/734.13	c  733s |      17 |   421900 |   271232 |    23098     23 |      588 |      278
736.17/736.30	c  736s |      17 |   422555 |   271832 |    23098     23 |      588 |      278
738.47/738.64	c  738s |      17 |   423344 |   272532 |    23098     23 |      588 |      278
740.47/740.66	c  740s |      17 |   423994 |   273132 |    23098     23 |      588 |      278
742.87/743.03	c  742s |      17 |   424791 |   273832 |    23098     23 |      588 |      278
744.97/745.19	c  744s |      17 |   425425 |   274432 |    23098     23 |      588 |      278
747.37/747.52	c  747s |      17 |   426070 |   275032 |    23098     23 |      588 |      278
749.67/749.84	c  749s |      17 |   426751 |   275632 |    23098     23 |      588 |      278
751.97/752.11	c  751s |      17 |   427408 |   276232 |    23098     23 |      588 |      278
753.97/754.16	c  753s |      17 |   427942 |   276732 |    23098     23 |      588 |      278
756.27/756.44	c  756s |      17 |   428623 |   277332 |    23098     23 |      588 |      278
758.27/758.49	c  758s |      17 |   429296 |   277932 |    23098     23 |      588 |      278
760.57/760.76	c  760s |      17 |   429966 |   278532 |    23098     23 |      588 |      278
762.87/763.06	c  762s |      17 |   430625 |   279132 |    23098     23 |      588 |      278
765.37/765.50	c  765s |      17 |   431294 |   279732 |    23098     23 |      588 |      278
767.37/767.53	c  767s |      17 |   431825 |   280232 |    23098     23 |      588 |      278
769.47/769.66	c  769s |      17 |   432359 |   280732 |    23098     23 |      588 |      278
771.46/771.69	c  771s |      17 |   432910 |   281232 |    23098     23 |      588 |      278
773.56/773.75	c  773s |      17 |   433454 |   281732 |    23098     23 |      588 |      278
775.86/776.01	c  775s |      17 |   434146 |   282332 |    23098     23 |      588 |      278
777.86/778.09	c  777s |      17 |   434701 |   282832 |    23098     23 |      588 |      278
780.06/780.23	c  779s |      17 |   435249 |   283332 |    23098     23 |      588 |      278
782.16/782.39	c  782s |      17 |   435786 |   283832 |    23098     23 |      588 |      278
784.36/784.58	c  784s |      17 |   436346 |   284332 |    23098     24 |      588 |      278
786.56/786.73	c  786s |      17 |   436998 |   284932 |    23098     24 |      588 |      278
788.76/788.91	c  788s |      17 |   437662 |   285532 |    23098     24 |      588 |      278
790.86/791.02	c  790s |      17 |   438311 |   286132 |    23098     24 |      588 |      278
793.06/793.22	c  792s |      17 |   438953 |   286732 |    23098     24 |      588 |      278
795.26/795.43	c  795s |      17 |   439611 |   287332 |    23098     24 |      588 |      278
797.55/797.75	c  797s |      17 |   440267 |   287932 |    23098     24 |      588 |      278
799.95/800.11	c  799s |      17 |   440925 |   288532 |    23098     24 |      588 |      278
801.96/802.12	c  801s |      17 |   441454 |   289032 |    23098     24 |      588 |      278
804.36/804.52	c  804s |      17 |   442122 |   289632 |    23098     24 |      588 |      278
806.66/806.81	c  806s |      17 |   442649 |   290132 |    23098     24 |      588 |      278
809.06/809.22	c  808s |      17 |   443298 |   290732 |    23098     24 |      588 |      278
811.06/811.28	c  811s |      17 |   443864 |   291232 |    23098     24 |      588 |      278
813.36/813.55	c  813s |      17 |   444528 |   291832 |    23098     24 |      588 |      278
815.56/815.70	c  815s |      17 |   445065 |   292332 |    23098     24 |      588 |      278
817.55/817.78	c  817s |      17 |   445606 |   292832 |    23098     24 |      588 |      278
819.65/819.86	c  819s |      17 |   446152 |   293332 |    23098     24 |      588 |      278
821.66/821.86	c  821s |      17 |   446703 |   293832 |    23098     24 |      588 |      278
823.95/824.11	c  823s |      17 |   447237 |   294332 |    25408     24 |      588 |      278
826.35/826.56	c  826s |      17 |   447777 |   294832 |    25408     24 |      588 |      278
828.55/828.79	c  828s |      17 |   448309 |   295332 |    25408     24 |      588 |      278
830.95/831.12	c  830s |      17 |   448893 |   295832 |    25408     24 |      588 |      278
832.45/832.69	c  832s |      18 |   449365 |   296252 |    25408     24 |      588 |      278
834.55/834.78	c  834s |      18 |   452363 |   297752 |    25408     24 |      588 |      278
836.55/836.78	c  836s |      18 |   455980 |   299252 |    25408     25 |      588 |      278
838.65/838.84	c  838s |      18 |   464060 |   301752 |    25408     25 |      588 |      278
840.75/840.97	c  840s |      18 |   467462 |   303552 |    25408     25 |      588 |      278
842.95/843.16	c  842s |      18 |   468750 |   304652 |    25408     25 |      588 |      278
844.95/845.19	c  844s |      18 |   469774 |   305552 |    25408     25 |      588 |      278
847.15/847.37	c  847s |      18 |   470784 |   306452 |    25408     25 |      588 |      278
849.44/849.62	c  849s |      18 |   471855 |   307352 |    25408     25 |      588 |      278
851.44/851.64	c  851s |      18 |   472635 |   308052 |    25408     25 |      588 |      278
853.45/853.67	c  853s |      18 |   473433 |   308752 |    25408     25 |      588 |      278
855.75/855.93	c  855s |      18 |   474226 |   309452 |    25408     25 |      588 |      278
857.85/858.10	c  857s |      18 |   475183 |   310252 |    25408     25 |      588 |      278
859.94/860.18	c  859s |      18 |   476108 |   311052 |    25408     25 |      588 |      278
862.14/862.40	c  862s |      18 |   477009 |   311852 |    25408     25 |      588 |      278
864.24/864.43	c  864s |      18 |   477813 |   312552 |    25408     25 |      588 |      278
866.24/866.48	c  866s |      18 |   478472 |   313152 |    25408     25 |      588 |      278
868.34/868.57	c  868s |      18 |   479018 |   313652 |    25408     26 |      588 |      278
870.53/870.78	c  870s |      18 |   479994 |   314452 |    25408     26 |      588 |      278
872.73/872.96	c  872s |      18 |   480845 |   315152 |    25408     26 |      588 |      278
875.13/875.32	c  875s |      18 |   481620 |   315852 |    25408     26 |      588 |      278
877.33/877.50	c  877s |      18 |   482463 |   316552 |    25408     26 |      588 |      278
879.63/879.81	c  879s |      18 |   483269 |   317252 |    25408     26 |      588 |      278
881.93/882.14	c  881s |      18 |   484053 |   317952 |    25408     26 |      588 |      278
884.03/884.28	c  883s |      18 |   484735 |   318552 |    25408     26 |      588 |      278
886.13/886.36	c  886s |      18 |   485412 |   319152 |    25408     26 |      588 |      278
888.33/888.57	c  888s |      18 |   486103 |   319752 |    25408     26 |      588 |      278
890.53/890.70	c  890s |      18 |   486664 |   320252 |    25408     26 |      588 |      278
892.53/892.79	c  892s |      18 |   487228 |   320752 |    25408     26 |      588 |      278
894.73/894.92	c  894s |      18 |   487803 |   321252 |    25408     26 |      588 |      278
896.82/897.01	c  896s |      18 |   488526 |   321852 |    25408     26 |      588 |      278
899.02/899.21	c  898s |      18 |   489466 |   322552 |    25408     26 |      588 |      278
901.02/901.26	c  900s |      18 |   490161 |   323152 |    25408     26 |      588 |      278
903.12/903.32	c  903s |      18 |   490863 |   323752 |    25408     26 |      588 |      278
905.42/905.69	c  905s |      18 |   491732 |   324452 |    25408     26 |      588 |      278
907.92/908.15	c  907s |      18 |   492379 |   325052 |    25408     26 |      588 |      278
909.92/910.16	c  909s |      18 |   493059 |   325652 |    25408     26 |      588 |      278
912.02/912.23	c  911s |      18 |   493606 |   326152 |    25408     26 |      588 |      278
914.12/914.33	c  914s |      18 |   494300 |   326752 |    25408     26 |      588 |      278
916.22/916.45	c  916s |      18 |   494871 |   327252 |    25408     26 |      588 |      278
918.51/918.74	c  918s |      18 |   495445 |   327752 |    25408     26 |      588 |      278
920.81/921.03	c  920s |      18 |   495988 |   328252 |    25408     27 |      588 |      278
922.91/923.17	c  922s |      18 |   496653 |   328852 |    25408     27 |      588 |      278
925.21/925.44	c  925s |      18 |   497434 |   329552 |    25408     27 |      588 |      278
927.31/927.50	c  927s |      18 |   498131 |   330152 |    25408     27 |      588 |      278
929.51/929.74	c  929s |      18 |   498790 |   330752 |    25408     27 |      588 |      278
931.81/932.00	c  931s |      18 |   499442 |   331352 |    25408     27 |      588 |      278
933.81/934.02	c  933s |      18 |   499976 |   331852 |    25408     27 |      588 |      278
935.81/936.04	c  935s |      18 |   500525 |   332352 |    25408     27 |      588 |      278
937.80/938.06	c  937s |      18 |   501076 |   332852 |    25408     27 |      588 |      278
940.20/940.43	c  940s |      18 |   501746 |   333452 |    25408     27 |      588 |      278
942.30/942.50	c  942s |      18 |   502289 |   333952 |    25408     27 |      588 |      278
944.30/944.51	c  944s |      18 |   502820 |   334452 |    25408     27 |      588 |      278
946.40/946.69	c  946s |      18 |   503387 |   334952 |    25408     27 |      588 |      278
948.60/948.82	c  948s |      18 |   503947 |   335452 |    25408     27 |      588 |      278
950.79/951.05	c  950s |      18 |   504508 |   335952 |    25408     27 |      588 |      278
953.19/953.44	c  953s |      18 |   505052 |   336452 |    25408     27 |      588 |      278
955.19/955.48	c  955s |      18 |   505478 |   336852 |    25408     27 |      588 |      278
957.49/957.78	c  957s |      18 |   506033 |   337352 |    25408     27 |      588 |      278
959.99/960.23	c  959s |      18 |   506568 |   337852 |    25408     27 |      588 |      278
961.99/962.29	c  962s |      18 |   506997 |   338252 |    25408     27 |      588 |      278
964.49/964.80	c  964s |      18 |   507538 |   338752 |    25408     27 |      588 |      278
966.69/967.00	c  966s |      18 |   507977 |   339152 |    25408     27 |      588 |      278
969.08/969.39	c  969s |      18 |   508524 |   339652 |    25408     27 |      588 |      278
971.68/971.93	c  971s |      18 |   509067 |   340152 |    25408     27 |      588 |      278
973.88/974.19	c  973s |      18 |   509637 |   340652 |    25408     27 |      588 |      278
976.38/976.63	c  976s |      18 |   510182 |   341152 |    25408     27 |      588 |      278
978.38/978.65	c  978s |      18 |   510625 |   341552 |    25408     27 |      588 |      278
980.48/980.70	c  980s |      18 |   511059 |   341952 |    25408     27 |      588 |      278
982.48/982.73	c  982s |      18 |   511399 |   342252 |    25408     28 |      588 |      278
984.58/984.86	c  984s |      18 |   511969 |   342752 |    25408     28 |      588 |      278
986.98/987.20	c  986s |      18 |   512768 |   343452 |    25408     28 |      588 |      278
989.17/989.41	c  989s |      18 |   513410 |   344052 |    25408     28 |      588 |      278
991.37/991.68	c  991s |      18 |   514204 |   344752 |    25408     28 |      588 |      278
993.58/993.85	c  993s |      18 |   514848 |   345352 |    25408     28 |      588 |      278
995.88/996.13	c  995s |      18 |   515502 |   345952 |    25408     28 |      588 |      278
998.08/998.40	c  998s |      18 |   516062 |   346452 |    25408     28 |      588 |      278
1000.28/1000.56	c 1000s |      18 |   516607 |   346952 |    25408     28 |      588 |      278
1002.78/1003.05	c 1002s |      18 |   517144 |   347452 |    25408     28 |      588 |      278
1004.98/1005.20	c 1004s |      18 |   517707 |   347952 |    25408     28 |      588 |      278
1007.17/1007.49	c 1007s |      18 |   518350 |   348552 |    25408     28 |      588 |      278
1009.27/1009.56	c 1009s |      18 |   518909 |   349052 |    25408     28 |      588 |      278
1011.37/1011.62	c 1011s |      18 |   519445 |   349552 |    25408     28 |      588 |      278
1013.67/1013.95	c 1013s |      18 |   520136 |   350152 |    25408     28 |      588 |      278
1016.07/1016.37	c 1016s |      18 |   520816 |   350752 |    25408     28 |      588 |      278
1018.48/1018.73	c 1018s |      18 |   521379 |   351252 |    25408     28 |      588 |      278
1020.67/1020.91	c 1020s |      18 |   521922 |   351752 |    25408     28 |      588 |      278
1022.87/1023.11	c 1022s |      18 |   522494 |   352252 |    25408     28 |      588 |      278
1025.17/1025.44	c 1025s |      18 |   523034 |   352752 |    25408     28 |      588 |      278
1027.36/1027.65	c 1027s |      18 |   523575 |   353252 |    25408     28 |      588 |      278
1029.37/1029.68	c 1029s |      18 |   524007 |   353652 |    25408     28 |      588 |      278
1031.67/1031.96	c 1031s |      18 |   524558 |   354152 |    25408     28 |      588 |      278
1034.06/1034.33	c 1034s |      18 |   525122 |   354652 |    25408     28 |      588 |      278
1036.56/1036.83	c 1036s |      18 |   525666 |   355152 |    25408     28 |      588 |      278
1038.86/1039.13	c 1038s |      18 |   526101 |   355552 |    25408     28 |      588 |      278
1041.26/1041.50	c 1041s |      18 |   526525 |   355952 |    25408     28 |      588 |      278
1043.35/1043.69	c 1043s |      18 |   526961 |   356352 |    25408     28 |      588 |      278
1045.75/1046.04	c 1045s |      18 |   527280 |   356652 |    25408     29 |      588 |      278
1047.75/1048.08	c 1047s |      18 |   527832 |   357152 |    25408     29 |      588 |      278
1050.05/1050.36	c 1050s |      18 |   528375 |   357652 |    25408     29 |      588 |      278
1052.56/1052.82	c 1052s |      18 |   528923 |   358152 |    25408     29 |      588 |      278
1054.76/1055.06	c 1054s |      18 |   529634 |   358752 |    25408     29 |      588 |      278
1056.95/1057.25	c 1056s |      18 |   530283 |   359352 |    25408     29 |      588 |      278
1059.05/1059.31	c 1059s |      18 |   530822 |   359852 |    25408     29 |      588 |      278
1061.25/1061.57	c 1061s |      18 |   531351 |   360352 |    25408     29 |      588 |      278
1063.34/1063.68	c 1063s |      18 |   531897 |   360852 |    25408     29 |      588 |      278
1065.85/1066.11	c 1065s |      18 |   532410 |   361352 |    25408     29 |      588 |      278
1068.14/1068.44	c 1068s |      18 |   532936 |   361852 |    25408     29 |      588 |      278
1070.34/1070.69	c 1070s |      18 |   533469 |   362352 |    25408     29 |      588 |      278
1072.64/1073.00	c 1072s |      18 |   534011 |   362852 |    25408     29 |      588 |      278
1075.04/1075.33	c 1075s |      18 |   534575 |   363352 |    25408     29 |      588 |      278
1077.23/1077.58	c 1077s |      18 |   535153 |   363852 |    25408     29 |      588 |      278
1079.53/1079.80	c 1079s |      18 |   535705 |   364352 |    25408     29 |      588 |      278
1081.73/1082.00	c 1081s |      18 |   536258 |   364852 |    25408     29 |      588 |      278
1084.03/1084.39	c 1084s |      18 |   536815 |   365352 |    25408     29 |      588 |      278
1086.43/1086.78	c 1086s |      18 |   537363 |   365852 |    25408     29 |      588 |      278
1088.74/1089.05	c 1088s |      18 |   537942 |   366352 |    25408     29 |      588 |      278
1091.13/1091.41	c 1091s |      18 |   538480 |   366852 |    25408     29 |      588 |      278
1093.63/1093.97	c 1093s |      18 |   539033 |   367352 |    25408     29 |      588 |      278
1095.83/1096.17	c 1095s |      18 |   539466 |   367752 |    25408     29 |      588 |      278
1098.12/1098.43	c 1098s |      18 |   539901 |   368152 |    25408     29 |      588 |      278
1100.22/1100.55	c 1100s |      18 |   540469 |   368652 |    25408     29 |      588 |      278
1102.62/1102.91	c 1102s |      18 |   541041 |   369152 |    25408     29 |      588 |      278
1104.62/1104.98	c 1104s |      18 |   541489 |   369552 |    25408     29 |      588 |      278
1107.11/1107.42	c 1107s |      18 |   542033 |   370052 |    25408     29 |      588 |      278
1109.21/1109.53	c 1109s |      18 |   542451 |   370452 |    25408     29 |      588 |      278
1111.92/1112.21	c 1111s |      18 |   542888 |   370852 |    25408     30 |      588 |      278
1114.12/1114.43	c 1114s |      18 |   543546 |   371452 |    25408     30 |      588 |      278
1116.11/1116.44	c 1116s |      18 |   544095 |   371952 |    25408     30 |      588 |      278
1118.31/1118.61	c 1118s |      18 |   544756 |   372552 |    25408     30 |      588 |      278
1120.61/1120.94	c 1120s |      18 |   545433 |   373152 |    25408     30 |      588 |      278
1122.81/1123.15	c 1122s |      18 |   546121 |   373752 |    25408     30 |      588 |      278
1125.11/1125.43	c 1125s |      18 |   546774 |   374352 |    25408     30 |      588 |      278
1127.31/1127.65	c 1127s |      18 |   547460 |   374952 |    25408     30 |      588 |      278
1129.60/1129.91	c 1129s |      18 |   548008 |   375452 |    25408     30 |      588 |      278
1131.71/1132.05	c 1131s |      18 |   548542 |   375952 |    25408     30 |      588 |      278
1134.00/1134.34	c 1134s |      18 |   549096 |   376452 |    25408     30 |      588 |      278
1136.40/1136.79	c 1136s |      18 |   549775 |   377052 |    25408     30 |      588 |      278
1138.60/1138.98	c 1138s |      18 |   550317 |   377552 |    25408     30 |      588 |      278
1140.99/1141.39	c 1141s |      18 |   550847 |   378052 |    25408     30 |      588 |      278
1143.40/1143.76	c 1143s |      18 |   551374 |   378552 |    25408     30 |      588 |      278
1145.49/1145.89	c 1145s |      18 |   551949 |   379052 |    25408     30 |      588 |      278
1147.69/1148.02	c 1147s |      18 |   552511 |   379552 |    25408     30 |      588 |      278
1149.89/1150.29	c 1150s |      18 |   553108 |   380052 |    25408     30 |      588 |      278
1152.00/1152.36	c 1152s |      18 |   553532 |   380452 |    25408     30 |      588 |      278
1154.10/1154.42	c 1154s |      18 |   553968 |   380852 |    25408     30 |      588 |      278
1156.19/1156.51	c 1156s |      18 |   554406 |   381252 |    25408     30 |      588 |      278
1158.49/1158.86	c 1158s |      18 |   554961 |   381752 |    25408     30 |      588 |      278
1160.79/1161.18	c 1160s |      18 |   555521 |   382252 |    25408     30 |      588 |      278
1163.29/1163.69	c 1163s |      18 |   556074 |   382752 |    25408     30 |      588 |      278
1165.99/1166.37	c 1166s |      18 |   556622 |   383252 |    25408     30 |      588 |      278
1167.99/1168.39	c 1168s |      18 |   557051 |   383652 |    25408     30 |      588 |      278
1170.58/1170.90	c 1170s |      18 |   557587 |   384152 |    25408     30 |      588 |      278
1172.88/1173.29	c 1173s |      18 |   558142 |   384652 |    25408     30 |      588 |      278
1175.28/1175.62	c 1175s |      18 |   558482 |   384952 |    25408     31 |      588 |      278
1177.48/1177.81	c 1177s |      18 |   559169 |   385552 |    25408     31 |      588 |      278
1179.47/1179.87	c 1179s |      18 |   559836 |   386152 |    25408     31 |      588 |      278
1181.47/1181.88	c 1181s |      18 |   560383 |   386652 |    25408     31 |      588 |      278
1183.77/1184.18	c 1183s |      18 |   561047 |   387252 |    25408     31 |      588 |      278
1186.07/1186.41	c 1186s |      18 |   561701 |   387852 |    25408     31 |      588 |      278
1188.07/1188.49	c 1188s |      18 |   562242 |   388352 |    25408     31 |      588 |      278
1190.37/1190.76	c 1190s |      18 |   562777 |   388852 |    25408     31 |      588 |      278
1192.47/1192.84	c 1192s |      18 |   563337 |   389352 |    25408     31 |      588 |      278
1194.47/1194.87	c 1194s |      18 |   563925 |   389852 |    25408     31 |      588 |      278
1196.76/1197.10	c 1196s |      18 |   564589 |   390452 |    25408     31 |      588 |      278
1198.77/1199.15	c 1198s |      18 |   565150 |   390952 |    25408     31 |      588 |      278
1201.16/1201.55	c 1201s |      18 |   565830 |   391552 |    25408     31 |      588 |      278
1203.17/1203.58	c 1203s |      18 |   566403 |   392052 |    25408     31 |      588 |      278
1205.36/1205.72	c 1205s |      18 |   566955 |   392552 |    25408     31 |      588 |      278
1207.65/1208.06	c 1207s |      18 |   567638 |   393152 |    25408     31 |      588 |      278
1210.15/1210.53	c 1210s |      18 |   568342 |   393752 |    25408     31 |      588 |      278
1212.55/1212.99	c 1212s |      18 |   568867 |   394252 |    25408     31 |      588 |      278
1215.05/1215.45	c 1215s |      18 |   569399 |   394752 |    25408     31 |      588 |      278
1217.35/1217.80	c 1217s |      18 |   569926 |   395252 |    25408     31 |      588 |      278
1219.84/1220.27	c 1219s |      18 |   570467 |   395752 |    25408     31 |      588 |      278
1222.04/1222.46	c 1222s |      18 |   570880 |   396152 |    25408     31 |      588 |      278
1224.24/1224.67	c 1224s |      18 |   571322 |   396552 |    25408     31 |      588 |      278
1226.84/1227.27	c 1226s |      18 |   571858 |   397052 |    25408     31 |      588 |      278
1229.04/1229.47	c 1229s |      18 |   572295 |   397452 |    25408     31 |      588 |      278
1231.44/1231.85	c 1231s |      18 |   572735 |   397852 |    25408     31 |      588 |      278
1233.63/1234.09	c 1233s |      18 |   573156 |   398252 |    25408     31 |      588 |      278
1236.05/1236.45	c 1236s |      18 |   573593 |   398652 |    25408     31 |      588 |      278
1238.34/1238.72	c 1238s |      18 |   574021 |   399052 |    25408     31 |      588 |      278
1240.54/1240.92	c 1240s |      18 |   574355 |   399352 |    25408     32 |      588 |      278
1242.64/1243.06	c 1242s |      18 |   574914 |   399852 |    25408     32 |      588 |      278
1244.84/1245.21	c 1244s |      18 |   575471 |   400352 |    25408     32 |      588 |      278
1247.04/1247.43	c 1247s |      18 |   576016 |   400852 |    25408     32 |      588 |      278
1249.13/1249.54	c 1249s |      18 |   576682 |   401452 |    25408     32 |      588 |      278
1251.33/1251.76	c 1251s |      18 |   577344 |   402052 |    25408     32 |      588 |      278
1253.53/1253.98	c 1253s |      18 |   578011 |   402652 |    25408     32 |      588 |      278
1255.84/1256.23	c 1255s |      18 |   578678 |   403252 |    25408     32 |      588 |      278
1258.03/1258.47	c 1258s |      18 |   579230 |   403752 |    25408     32 |      588 |      278
1260.33/1260.77	c 1260s |      18 |   579909 |   404352 |    25408     32 |      588 |      278
1262.62/1263.02	c 1262s |      18 |   580561 |   404952 |    25408     32 |      588 |      278
1264.63/1265.04	c 1264s |      18 |   581105 |   405452 |    25408     32 |      588 |      278
1266.83/1267.23	c 1266s |      18 |   581644 |   405952 |    25408     32 |      588 |      278
1268.92/1269.35	c 1269s |      18 |   582210 |   406452 |    25408     32 |      588 |      278
1271.02/1271.47	c 1271s |      18 |   582790 |   406952 |    25408     32 |      588 |      278
1273.32/1273.73	c 1273s |      18 |   583324 |   407452 |    25408     32 |      588 |      278
1275.63/1276.03	c 1275s |      18 |   583856 |   407952 |    25408     32 |      588 |      278
1277.92/1278.31	c 1278s |      18 |   584405 |   408452 |    25408     32 |      588 |      278
1280.02/1280.49	c 1280s |      18 |   584946 |   408952 |    25408     32 |      588 |      278
1282.32/1282.76	c 1282s |      18 |   585488 |   409452 |    25408     32 |      588 |      278
1284.81/1285.27	c 1284s |      18 |   586008 |   409952 |    25408     32 |      588 |      278
1287.30/1287.70	c 1287s |      18 |   586567 |   410452 |    25408     32 |      588 |      278
1289.60/1290.04	c 1289s |      18 |   587113 |   410952 |    25408     32 |      588 |      278
1291.60/1292.04	c 1291s |      18 |   587539 |   411352 |    25408     32 |      588 |      278
1293.70/1294.11	c 1293s |      18 |   587973 |   411752 |    25408     32 |      588 |      278
1295.80/1296.21	c 1295s |      18 |   588713 |   412352 |    25408     32 |      588 |      278
1298.00/1298.47	c 1298s |      18 |   589379 |   412952 |    25408     32 |      588 |      278
1300.00/1300.49	c 1300s |      18 |   590025 |   413552 |    25408     32 |      588 |      278
1302.20/1302.60	c 1302s |      18 |   590597 |   414052 |    25408     33 |      588 |      278
1304.30/1304.73	c 1304s |      18 |   591380 |   414752 |    25408     33 |      588 |      278
1306.50/1306.93	c 1306s |      18 |   592042 |   415352 |    25408     33 |      588 |      278
1308.60/1309.01	c 1308s |      18 |   592581 |   415852 |    25408     33 |      588 |      278
1310.80/1311.27	c 1310s |      18 |   593238 |   416452 |    25408     33 |      588 |      278
1313.19/1313.66	c 1313s |      18 |   593899 |   417052 |    25408     33 |      588 |      278
1315.49/1315.92	c 1315s |      18 |   594560 |   417652 |    25408     33 |      588 |      278
1317.68/1318.15	c 1317s |      18 |   595262 |   418252 |    25408     33 |      588 |      278
1319.88/1320.34	c 1320s |      18 |   595946 |   418852 |    25408     33 |      588 |      278
1322.08/1322.52	c 1322s |      18 |   596622 |   419452 |    25408     33 |      588 |      278
1324.09/1324.53	c 1324s |      18 |   597176 |   419952 |    25408     33 |      588 |      278
1326.18/1326.65	c 1326s |      18 |   597869 |   420552 |    25408     33 |      588 |      278
1328.18/1328.68	c 1328s |      18 |   598532 |   421152 |    25408     33 |      588 |      278
1330.58/1331.10	c 1330s |      18 |   599231 |   421752 |    25408     33 |      588 |      278
1332.88/1333.37	c 1333s |      18 |   599776 |   422252 |    25408     33 |      588 |      278
1335.08/1335.53	c 1335s |      18 |   600334 |   422752 |    25408     33 |      588 |      278
1337.07/1337.59	c 1337s |      18 |   600900 |   423252 |    25408     33 |      588 |      278
1339.27/1339.70	c 1339s |      18 |   601439 |   423752 |    25408     33 |      588 |      278
1341.58/1342.05	c 1341s |      18 |   601995 |   424252 |    25408     33 |      588 |      278
1343.67/1344.17	c 1343s |      18 |   602430 |   424652 |    25408     33 |      588 |      278
1345.87/1346.33	c 1346s |      18 |   602981 |   425152 |    25408     33 |      588 |      278
1347.87/1348.39	c 1348s |      18 |   603544 |   425652 |    25408     33 |      588 |      278
1350.06/1350.53	c 1350s |      18 |   604102 |   426152 |    25408     33 |      588 |      278
1352.06/1352.59	c 1352s |      18 |   604545 |   426552 |    25408     33 |      588 |      278
1354.36/1354.81	c 1354s |      18 |   604980 |   426952 |    25408     33 |      588 |      278
1356.36/1356.82	c 1356s |      18 |   605418 |   427352 |    25408     33 |      588 |      278
1359.06/1359.56	c 1359s |      18 |   605850 |   427752 |    25408     34 |      588 |      278
1361.46/1361.98	c 1361s |      18 |   606496 |   428352 |    25408     34 |      588 |      278
1363.66/1364.11	c 1363s |      18 |   607034 |   428852 |    25408     34 |      588 |      278
1365.76/1366.29	c 1366s |      18 |   607581 |   429352 |    25408     34 |      588 |      278
1367.85/1368.36	c 1368s |      18 |   608115 |   429852 |    25408     34 |      588 |      278
1369.85/1370.38	c 1370s |      18 |   608647 |   430352 |    25408     34 |      588 |      278
1372.15/1372.67	c 1372s |      18 |   609296 |   430952 |    25408     34 |      588 |      278
1374.15/1374.69	c 1374s |      18 |   609838 |   431452 |    25408     34 |      588 |      278
1376.15/1376.69	c 1376s |      18 |   610382 |   431952 |    25408     34 |      588 |      278
1378.36/1378.89	c 1378s |      18 |   610931 |   432452 |    25408     34 |      588 |      278
1380.56/1381.04	c 1380s |      18 |   611459 |   432952 |    25408     34 |      588 |      278
1382.55/1383.08	c 1382s |      18 |   611997 |   433452 |    25408     34 |      588 |      278
1384.85/1385.32	c 1385s |      18 |   612526 |   433952 |    25408     34 |      588 |      278
1387.15/1387.67	c 1387s |      18 |   613053 |   434452 |    25408     34 |      588 |      278
1389.15/1389.69	c 1389s |      18 |   613654 |   434952 |    25408     34 |      588 |      278
1391.45/1391.95	c 1391s |      18 |   614195 |   435452 |    25408     34 |      588 |      278
1393.75/1394.28	c 1394s |      18 |   614735 |   435952 |    25408     34 |      588 |      278
1395.85/1396.37	c 1396s |      18 |   615273 |   436452 |    25408     34 |      588 |      278
1398.25/1398.70	c 1398s |      18 |   615828 |   436952 |    25408     34 |      588 |      278
1400.55/1401.09	c 1400s |      18 |   616367 |   437452 |    25408     34 |      588 |      278
1402.85/1403.39	c 1403s |      18 |   616907 |   437952 |    25408     34 |      588 |      278
1405.46/1405.92	c 1405s |      18 |   617439 |   438452 |    25408     34 |      588 |      278
1407.66/1408.18	c 1407s |      18 |   617971 |   438952 |    25408     34 |      588 |      278
1410.05/1410.52	c 1410s |      18 |   618497 |   439452 |    25408     34 |      588 |      278
1412.15/1412.61	c 1412s |      18 |   618934 |   439852 |    25408     34 |      588 |      278
1414.55/1415.07	c 1414s |      18 |   619466 |   440352 |    25408     34 |      588 |      278
1416.75/1417.22	c 1416s |      18 |   619893 |   440752 |    25408     34 |      588 |      278
1418.85/1419.37	c 1419s |      18 |   620346 |   441152 |    25408     34 |      588 |      278
1421.34/1421.82	c 1421s |      18 |   620893 |   441652 |    27949     34 |      588 |      278
1423.34/1423.89	c 1423s |      18 |   621323 |   442052 |    27949     34 |      588 |      278
1425.44/1425.93	c 1425s |      18 |   621747 |   442452 |    27949     34 |      588 |      278
1427.85/1428.38	c 1428s |      18 |   622310 |   442952 |    27949     34 |      588 |      278
1430.04/1430.59	c 1430s |      18 |   622751 |   443352 |    27949     34 |      588 |      278
1432.34/1432.83	c 1432s |      18 |   623174 |   443752 |    27949     34 |      588 |      278
1434.34/1434.86	c 1434s |      18 |   623655 |   444152 |    27949     34 |      588 |      278
1435.74/1436.27	c 1435s |      19 |   624016 |   444482 |    27949     34 |      588 |      278
1438.35/1438.90	c 1438s |      19 |   626212 |   444882 |    27949     35 |      588 |      278
1440.44/1440.91	c 1440s |      19 |   635834 |   447382 |    27949     35 |      588 |      278
1442.54/1443.01	c 1442s |      19 |   639491 |   449282 |    27949     35 |      588 |      278
1444.64/1445.17	c 1444s |      19 |   641526 |   450782 |    27949     35 |      588 |      278
1446.74/1447.22	c 1446s |      19 |   642939 |   451982 |    27949     35 |      588 |      278
1448.94/1449.40	c 1449s |      19 |   644283 |   453082 |    27949     35 |      588 |      278
1450.94/1451.49	c 1451s |      19 |   645912 |   454182 |    27949     35 |      588 |      278
1453.04/1453.58	c 1453s |      19 |   648770 |   455782 |    27949     35 |      588 |      278
1455.04/1455.59	c 1455s |      19 |   650759 |   457182 |    27949     35 |      588 |      278
1457.04/1457.60	c 1457s |      19 |   653312 |   458482 |    27949     35 |      588 |      278
1459.14/1459.69	c 1459s |      19 |   654570 |   459382 |    27949     35 |      588 |      278
1461.64/1462.18	c 1461s |      19 |   655587 |   460182 |    27949     36 |      588 |      278
1463.84/1464.35	c 1464s |      19 |   656998 |   461182 |    27949     36 |      588 |      278
1465.84/1466.36	c 1466s |      19 |   657908 |   461882 |    27949     36 |      588 |      278
1468.04/1468.51	c 1468s |      19 |   658790 |   462582 |    27949     36 |      588 |      278
1470.04/1470.59	c 1470s |      19 |   660496 |   463582 |    27949     36 |      588 |      278
1472.13/1472.66	c 1472s |      19 |   661786 |   464482 |    27949     36 |      588 |      278
1474.33/1474.82	c 1474s |      19 |   665283 |   465882 |    27949     36 |      588 |      278
1476.33/1476.86	c 1476s |      19 |   666760 |   466882 |    27949     36 |      588 |      278
1478.53/1479.00	c 1478s |      19 |   667676 |   467682 |    27949     36 |      588 |      278
1480.53/1481.03	c 1480s |      19 |   668634 |   468482 |    27949     36 |      588 |      278
1482.73/1483.20	c 1482s |      19 |   669586 |   469282 |    27949     36 |      588 |      278
1484.93/1485.41	c 1485s |      19 |   670521 |   470082 |    27949     36 |      588 |      278
1487.03/1487.53	c 1487s |      19 |   671406 |   470882 |    27949     36 |      588 |      278
1489.13/1489.63	c 1489s |      19 |   672168 |   471582 |    27949     36 |      588 |      278
1491.24/1491.73	c 1491s |      19 |   673024 |   472282 |    27949     36 |      588 |      278
1493.34/1493.90	c 1493s |      19 |   673903 |   472982 |    27949     36 |      588 |      278
1495.43/1495.91	c 1495s |      19 |   674791 |   473682 |    27949     36 |      588 |      278
1497.63/1498.16	c 1497s |      19 |   675648 |   474382 |    27949     36 |      588 |      278
1499.83/1500.39	c 1500s |      19 |   676323 |   474982 |    27949     36 |      588 |      278
1502.13/1502.65	c 1502s |      19 |   676990 |   475582 |    27949     36 |      588 |      278
1504.33/1504.86	c 1504s |      19 |   677530 |   476082 |    27949     37 |      588 |      278
1506.33/1506.87	c 1506s |      19 |   678322 |   476782 |    27949     37 |      588 |      278
1508.43/1508.92	c 1508s |      19 |   679098 |   477482 |    27949     37 |      588 |      278
1510.53/1511.02	c 1510s |      19 |   679903 |   478182 |    27949     37 |      588 |      278
1512.73/1513.25	c 1512s |      19 |   680832 |   478982 |    27949     37 |      588 |      278
1514.83/1515.36	c 1515s |      19 |   681606 |   479682 |    27949     37 |      588 |      278
1517.03/1517.55	c 1517s |      19 |   682402 |   480382 |    27949     37 |      588 |      278
1519.44/1519.91	c 1519s |      19 |   683174 |   481082 |    27949     37 |      588 |      278
1521.63/1522.12	c 1521s |      19 |   683864 |   481682 |    27949     37 |      588 |      278
1523.93/1524.49	c 1524s |      19 |   684648 |   482382 |    27949     37 |      588 |      278
1526.13/1526.68	c 1526s |      19 |   685311 |   482982 |    27949     37 |      588 |      278
1528.54/1529.05	c 1528s |      19 |   685945 |   483582 |    27949     37 |      588 |      278
1530.74/1531.30	c 1531s |      19 |   686899 |   484282 |    27949     37 |      588 |      278
1533.04/1533.55	c 1533s |      19 |   687997 |   485182 |    27949     37 |      588 |      278
1535.14/1535.61	c 1535s |      19 |   688766 |   485882 |    27949     37 |      588 |      278
1537.13/1537.66	c 1537s |      19 |   689878 |   486682 |    27949     37 |      588 |      278
1539.13/1539.69	c 1539s |      19 |   690704 |   487382 |    27949     37 |      588 |      278
1541.43/1541.91	c 1541s |      19 |   691679 |   488182 |    27949     37 |      588 |      278
1543.43/1543.93	c 1543s |      19 |   692369 |   488782 |    27949     37 |      588 |      278
1545.73/1546.20	c 1545s |      19 |   693438 |   489582 |    27949     37 |      588 |      278
1547.73/1548.25	c 1547s |      19 |   694139 |   490182 |    27949     37 |      588 |      278
1549.83/1550.38	c 1550s |      19 |   694848 |   490782 |    27949     37 |      588 |      278
1552.03/1552.55	c 1552s |      19 |   695945 |   491482 |    27949     38 |      588 |      278
1554.33/1554.83	c 1554s |      19 |   697111 |   492382 |    27949     38 |      588 |      278
1556.43/1556.98	c 1556s |      19 |   698291 |   493282 |    27949     38 |      588 |      278
1558.73/1559.20	c 1558s |      19 |   698953 |   493882 |    27949     38 |      588 |      278
1560.73/1561.23	c 1560s |      19 |   699556 |   494382 |    27949     38 |      588 |      278
1563.03/1563.56	c 1563s |      19 |   700384 |   495082 |    27949     38 |      588 |      278
1565.32/1565.90	c 1565s |      19 |   701074 |   495682 |    27949     38 |      588 |      278
1567.52/1568.04	c 1567s |      19 |   701677 |   496182 |    27949     38 |      588 |      278
1569.52/1570.05	c 1569s |      19 |   702256 |   496682 |    27949     38 |      588 |      278
1571.62/1572.17	c 1571s |      19 |   702832 |   497182 |    27949     38 |      588 |      278
1573.92/1574.47	c 1574s |      19 |   703555 |   497782 |    27949     38 |      588 |      278
1576.02/1576.59	c 1576s |      19 |   704570 |   498582 |    27949     38 |      588 |      278
1578.22/1578.78	c 1578s |      19 |   705565 |   499382 |    27949     38 |      588 |      278
1580.42/1580.98	c 1580s |      19 |   706398 |   500082 |    27949     38 |      588 |      278
1582.72/1583.20	c 1582s |      19 |   707235 |   500782 |    27949     38 |      588 |      278
1584.82/1585.33	c 1585s |      19 |   707901 |   501382 |    27949     38 |      588 |      278
1586.83/1587.34	c 1587s |      19 |   708672 |   501982 |    27949     38 |      588 |      278
1589.03/1589.60	c 1589s |      19 |   709365 |   502582 |    27949     38 |      588 |      278
1591.23/1591.70	c 1591s |      19 |   710077 |   503182 |    27949     38 |      588 |      278
1593.22/1593.79	c 1593s |      19 |   710664 |   503682 |    27949     38 |      588 |      278
1595.32/1595.86	c 1595s |      19 |   711224 |   504182 |    27949     38 |      588 |      278
1597.42/1597.93	c 1597s |      19 |   711779 |   504682 |    27949     38 |      588 |      278
1599.52/1600.00	c 1599s |      19 |   712395 |   505182 |    27949     38 |      588 |      278
1601.52/1602.08	c 1601s |      19 |   712975 |   505682 |    27949     38 |      588 |      278
1603.92/1604.44	c 1604s |      19 |   713541 |   506182 |    27949     38 |      588 |      278
1606.21/1606.73	c 1606s |      19 |   714088 |   506682 |    27949     38 |      588 |      278
1608.41/1608.99	c 1608s |      19 |   714656 |   507182 |    27949     39 |      588 |      278
1610.61/1611.17	c 1610s |      19 |   715376 |   507782 |    27949     39 |      588 |      278
1612.81/1613.35	c 1613s |      19 |   716056 |   508382 |    27949     39 |      588 |      278
1615.11/1615.69	c 1615s |      19 |   716703 |   508982 |    27949     39 |      588 |      278
1617.41/1617.99	c 1617s |      19 |   717422 |   509582 |    27949     39 |      588 |      278
1619.82/1620.34	c 1620s |      19 |   718122 |   510182 |    27949     39 |      588 |      278
1621.91/1622.41	c 1622s |      19 |   718667 |   510682 |    27949     39 |      588 |      278
1624.11/1624.70	c 1624s |      19 |   719499 |   511382 |    27949     39 |      588 |      278
1626.21/1626.74	c 1626s |      19 |   720189 |   511982 |    27949     39 |      588 |      278
1628.31/1628.82	c 1628s |      19 |   720874 |   512582 |    27949     39 |      588 |      278
1630.51/1631.01	c 1630s |      19 |   721555 |   513182 |    27949     39 |      588 |      278
1632.81/1633.31	c 1633s |      19 |   722231 |   513782 |    27949     39 |      588 |      278
1635.01/1635.54	c 1635s |      19 |   722925 |   514382 |    27949     39 |      588 |      278
1637.42/1637.94	c 1637s |      19 |   723570 |   514982 |    27949     39 |      588 |      278
1639.42/1639.97	c 1639s |      19 |   724263 |   515582 |    27949     39 |      588 |      278
1641.71/1642.29	c 1642s |      19 |   724947 |   516182 |    27949     39 |      588 |      278
1643.81/1644.37	c 1644s |      19 |   725533 |   516682 |    27949     39 |      588 |      278
1645.91/1646.45	c 1646s |      19 |   726114 |   517182 |    27949     39 |      588 |      278
1648.11/1648.67	c 1648s |      19 |   726651 |   517682 |    27949     39 |      588 |      278
1650.62/1651.14	c 1650s |      19 |   727186 |   518182 |    27949     39 |      588 |      278
1652.61/1653.14	c 1652s |      19 |   727609 |   518582 |    27949     39 |      588 |      278
1654.81/1655.36	c 1655s |      19 |   728158 |   519082 |    27949     39 |      588 |      278
1657.01/1657.57	c 1657s |      19 |   728735 |   519582 |    27949     39 |      588 |      278
1659.01/1659.59	c 1659s |      19 |   729464 |   520182 |    27949     39 |      588 |      278
1661.21/1661.76	c 1661s |      19 |   730169 |   520782 |    27949     39 |      588 |      278
1663.61/1664.13	c 1663s |      19 |   730883 |   521382 |    27949     39 |      588 |      278
1665.71/1666.20	c 1665s |      19 |   731426 |   521882 |    27949     39 |      588 |      278
1668.31/1668.82	c 1668s |      19 |   731981 |   522382 |    27949     40 |      588 |      278
1670.51/1671.03	c 1670s |      19 |   732657 |   522982 |    27949     40 |      588 |      278
1672.50/1673.08	c 1672s |      19 |   733343 |   523582 |    27949     40 |      588 |      278
1674.91/1675.43	c 1675s |      19 |   734173 |   524282 |    27949     40 |      588 |      278
1676.90/1677.49	c 1677s |      19 |   734835 |   524882 |    27949     40 |      588 |      278
1679.21/1679.80	c 1679s |      19 |   735522 |   525482 |    27949     40 |      588 |      278
1681.51/1682.05	c 1681s |      19 |   736210 |   526082 |    27949     40 |      588 |      278
1683.71/1684.26	c 1683s |      19 |   736911 |   526682 |    27949     40 |      588 |      278
1686.10/1686.60	c 1686s |      19 |   737580 |   527282 |    27949     40 |      588 |      278
1688.30/1688.81	c 1688s |      19 |   738265 |   527882 |    27949     40 |      588 |      278
1690.31/1690.86	c 1690s |      19 |   739059 |   528482 |    27949     40 |      588 |      278
1692.60/1693.19	c 1692s |      19 |   739956 |   529182 |    27949     40 |      588 |      278
1695.00/1695.57	c 1695s |      19 |   740826 |   529882 |    27949     40 |      588 |      278
1697.20/1697.79	c 1697s |      19 |   741522 |   530482 |    27949     40 |      588 |      278
1699.50/1700.07	c 1699s |      19 |   742204 |   531082 |    27949     40 |      588 |      278
1701.90/1702.43	c 1702s |      19 |   742880 |   531682 |    27949     40 |      588 |      278
1704.00/1704.53	c 1704s |      19 |   743437 |   532182 |    27949     40 |      588 |      278
1706.00/1706.57	c 1706s |      19 |   744026 |   532682 |    27949     40 |      588 |      278
1708.30/1708.88	c 1708s |      19 |   744624 |   533182 |    27949     40 |      588 |      278
1710.60/1711.16	c 1710s |      19 |   745298 |   533782 |    27949     40 |      588 |      278
1712.90/1713.47	c 1713s |      19 |   745896 |   534282 |    27949     40 |      588 |      278
1715.00/1715.57	c 1715s |      19 |   746529 |   534782 |    27949     40 |      588 |      278
1717.40/1717.90	c 1717s |      19 |   747082 |   535282 |    27949     40 |      588 |      278
1719.60/1720.14	c 1719s |      19 |   747643 |   535782 |    27949     40 |      588 |      278
1721.80/1722.30	c 1722s |      19 |   748211 |   536282 |    27949     40 |      588 |      278
1723.90/1724.41	c 1724s |      19 |   748644 |   536682 |    27949     40 |      588 |      278
1726.30/1726.83	c 1726s |      19 |   749187 |   537182 |    27949     40 |      588 |      278
1728.70/1729.26	c 1728s |      19 |   749731 |   537682 |    27949     40 |      588 |      278
1731.00/1731.52	c 1731s |      19 |   750149 |   538082 |    27949     41 |      588 |      278
1733.10/1733.70	c 1733s |      19 |   750888 |   538682 |    27949     41 |      588 |      278
1735.40/1735.93	c 1735s |      19 |   751559 |   539282 |    27949     41 |      588 |      278
1737.69/1738.23	c 1737s |      19 |   752253 |   539882 |    27949     41 |      588 |      278
1739.70/1740.24	c 1739s |      19 |   752808 |   540382 |    27949     41 |      588 |      278
1741.69/1742.29	c 1742s |      19 |   753366 |   540882 |    27949     41 |      588 |      278
1743.99/1744.54	c 1744s |      19 |   754061 |   541482 |    27949     41 |      588 |      278
1746.40/1746.91	c 1746s |      19 |   754717 |   542082 |    27949     41 |      588 |      278
1748.69/1749.22	c 1748s |      19 |   755412 |   542682 |    27949     41 |      588 |      278
1750.70/1751.30	c 1751s |      19 |   756160 |   543282 |    27949     41 |      588 |      278
1753.19/1753.78	c 1753s |      19 |   756862 |   543882 |    27949     41 |      588 |      278
1755.49/1756.09	c 1755s |      19 |   757527 |   544482 |    27949     41 |      588 |      278
1757.59/1758.19	c 1757s |      19 |   758098 |   544982 |    27949     41 |      588 |      278
1759.89/1760.49	c 1760s |      19 |   758802 |   545582 |    27949     41 |      588 |      278
1761.99/1762.53	c 1762s |      19 |   759445 |   546182 |    27949     41 |      588 |      278
1764.39/1764.97	c 1764s |      19 |   760106 |   546782 |    27949     41 |      588 |      278
1766.59/1767.18	c 1766s |      19 |   760652 |   547282 |    27949     41 |      588 |      278
1768.89/1769.43	c 1769s |      19 |   761182 |   547782 |    27949     41 |      588 |      278
1771.29/1771.86	c 1771s |      19 |   761860 |   548382 |    27949     41 |      588 |      278
1773.49/1774.03	c 1773s |      19 |   762439 |   548882 |    27949     41 |      588 |      278
1775.89/1776.43	c 1776s |      19 |   762994 |   549382 |    27949     41 |      588 |      278
1778.08/1778.67	c 1778s |      19 |   763549 |   549882 |    27949     41 |      588 |      278
1780.08/1780.69	c 1780s |      19 |   764129 |   550382 |    27949     41 |      588 |      278
1782.28/1782.83	c 1782s |      19 |   764707 |   550882 |    27949     41 |      588 |      278
1784.48/1785.01	c 1784s |      19 |   765287 |   551382 |    27949     41 |      588 |      278
1786.68/1787.25	c 1786s |      19 |   765859 |   551882 |    27949     41 |      588 |      278
1788.88/1789.41	c 1789s |      19 |   766436 |   552382 |    27949     41 |      588 |      278
1790.88/1791.42	c 1791s |      19 |   766876 |   552782 |    27949     41 |      588 |      278
1793.69/1794.28	c 1794s |      19 |   767310 |   553182 |    27949     42 |      588 |      278
1795.79/1796.39	c 1796s |      19 |   767862 |   553682 |    27949     42 |      588 |      278
1797.99/1798.53	c 1798s |      19 |   768408 |   554182 |    27949     42 |      588 |      278

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

pid=23966
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.19 2.25 2.25 4/179 23969
/proc/meminfo: memFree=30256844/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 2704 0 0 0 0 0 0 0 20 0 4 0 30256667 741797888 3064 33554432000 4194304 16246674 140737036882304 140737036881728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 181871 3072 441 2943 0 178765 0
[pid=23969/tid=23970] ppid=23966 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 760672256 3136 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 765915136 3154 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30256667 770109440 3170 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.19 2.25 2.25 4/179 23969
/proc/meminfo: memFree=30256844/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 28469 0 0 0 5 4 0 0 20 0 4 0 30256667 1249447936 28767 33554432000 4194304 16246674 140737036882304 140737036881616 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 305041 28767 801 2943 0 301935 0
[pid=23969/tid=23970] ppid=23966 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1249447936 28767 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1249447936 28767 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1249447936 28767 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200595 s]
/proc/loadavg: 2.19 2.25 2.25 4/179 23969
/proc/meminfo: memFree=30256844/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 48676 0 0 0 12 7 0 0 20 0 4 0 30256667 1332285440 48974 33554432000 4194304 16246674 140737036882304 140737036881616 13774004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 325265 48974 842 2943 0 322159 0
[pid=23969/tid=23970] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 48974 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 48974 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 48974 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300522 s]
/proc/loadavg: 2.19 2.25 2.25 4/179 23969
/proc/meminfo: memFree=30256844/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 54242 0 0 0 22 7 0 0 20 0 4 0 30256667 1332285440 54540 33554432000 4194304 16246674 140737036882304 140737036881616 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 325265 54545 882 2943 0 322159 0
[pid=23969/tid=23970] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 54548 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 54552 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 54555 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700403 s]
/proc/loadavg: 2.19 2.25 2.25 4/179 23969
/proc/meminfo: memFree=30256844/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 103214 0 0 0 54 15 0 0 20 0 4 0 30256667 1332285440 103512 33554432000 4194304 16246674 140737036882304 140737036881616 5831697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 325265 103517 882 2943 0 322159 0
[pid=23969/tid=23970] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 103522 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 103527 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1332285440 103531 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.19 2.25 2.25 4/183 23973
/proc/meminfo: memFree=29040316/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 201346 0 0 0 121 28 0 0 20 0 4 0 30256667 1333334016 201644 33554432000 4194304 16246674 140737036882304 140737036864192 12477891 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 325521 201649 882 2943 0 322415 0
[pid=23969/tid=23970] ppid=23966 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1333334016 201652 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1333334016 201655 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1333334016 201658 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10042 s]
/proc/loadavg: 2.19 2.25 2.25 3/183 23973
/proc/meminfo: memFree=28365484/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 259174 0 0 0 273 36 0 0 20 0 4 0 30256667 1344868352 259472 33554432000 4194304 16246674 140737036882304 140737036864192 12482010 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 328337 259472 888 2943 0 325231 0
[pid=23969/tid=23970] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259472 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259472 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259472 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.25 2.26 2.26 4/183 23973
/proc/meminfo: memFree=28364872/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 259176 0 0 0 593 36 0 0 20 0 4 0 30256667 1344868352 259474 33554432000 4194304 16246674 140737036882304 140737036864192 5822788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 328337 259474 890 2943 0 325231 0
[pid=23969/tid=23970] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259474 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259474 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259474 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.23 2.26 2.26 3/183 23973
/proc/meminfo: memFree=28218096/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1313348 CPUtime=12.68 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 259176 0 0 0 1232 36 0 0 20 0 4 0 30256667 1344868352 259474 33554432000 4194304 16246674 140737036882304 140737036864192 5674844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 328337 259474 890 2943 0 325231 0
[pid=23969/tid=23970] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259474 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259474 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 259474 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.32 2.28 2.26 3/183 23973
/proc/meminfo: memFree=28177364/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 269529 0 0 0 2510 38 0 0 20 0 4 0 30256667 1344868352 269827 33554432000 4194304 16246674 140737036882304 140737036864192 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 328337 269827 892 2943 0 325231 0
[pid=23969/tid=23970] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 269827 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 269827 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 269827 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.21 2.25 2.26 3/183 23973
/proc/meminfo: memFree=28176220/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 269529 0 0 0 5070 38 0 0 20 0 4 0 30256667 1344868352 269827 33554432000 4194304 16246674 140737036882304 140737036864192 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 328337 269827 892 2943 0 325231 0
[pid=23969/tid=23970] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 269827 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 269827 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1344868352 269827 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.13 2.23 2.25 3/183 23974
/proc/meminfo: memFree=28171972/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 269785 0 0 0 10189 39 0 0 20 0 4 0 30256667 1345916928 270083 33554432000 4194304 16246674 140737036882304 140737036864192 5825546 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 328593 270083 892 2943 0 325487 0
[pid=23969/tid=23970] ppid=23966 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1345916928 270083 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1345916928 270083 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1345916928 270083 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/183 24004
/proc/meminfo: memFree=28134472/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1331780 CPUtime=1301.9 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 274450 0 0 0 130142 48 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 140737036881480 5545984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 332945 274438 892 2943 0 329839 0
[pid=23969/tid=23970] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 24005
/proc/meminfo: memFree=28134392/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1331780 CPUtime=1361.86 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 274495 0 0 0 136138 48 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 140737036864192 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 332945 274438 892 2943 0 329839 0
[pid=23969/tid=23970] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274438 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.20 3/184 24009
/proc/meminfo: memFree=28133668/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1331780 CPUtime=1421.85 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 274510 0 0 0 142136 49 0 0 20 0 4 0 30256667 1363742720 274439 33554432000 4194304 16246674 140737036882304 140737036864192 5722381 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 332945 274439 893 2943 0 329839 0
[pid=23969/tid=23970] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274439 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274439 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1363742720 274439 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 24010
/proc/meminfo: memFree=28130104/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1335876 CPUtime=1481.83 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 275534 0 0 0 148134 49 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 140737036864192 5822488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 333969 275463 893 2943 0 330863 0
[pid=23969/tid=23970] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 24012
/proc/meminfo: memFree=28130516/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1335876 CPUtime=1541.84 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 275534 0 0 0 154134 50 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 140737036864192 13780624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 333969 275463 893 2943 0 330863 0
[pid=23969/tid=23970] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 24013
/proc/meminfo: memFree=28130592/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1335876 CPUtime=1601.82 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 275534 0 0 0 160132 50 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 140737036881400 5676613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 333969 275463 893 2943 0 330863 0
[pid=23969/tid=23970] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 24014
/proc/meminfo: memFree=28130468/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1335876 CPUtime=1661.81 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 275534 0 0 0 166130 51 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 140737036864192 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 333969 275463 893 2943 0 330863 0
[pid=23969/tid=23970] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/183 24015
/proc/meminfo: memFree=28130124/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1335876 CPUtime=1721.8 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 275534 0 0 0 172129 51 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 140737036864192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 333969 275463 893 2943 0 330863 0
[pid=23969/tid=23970] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/183 24016
/proc/meminfo: memFree=28129696/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1335876 CPUtime=1781.79 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 275534 0 0 0 178128 51 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 140737036864192 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 333969 275463 893 2943 0 330863 0
[pid=23969/tid=23970] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.25 2.19 4/183 24016
/proc/meminfo: memFree=28130068/32872528 swapFree=1541156/1696500
[pid=23969] ppid=23966 vsize=1335876 CPUtime=1800.08 cores=0,2,4,6
/proc/23969/stat : 23969 (toysat) R 23966 23969 23447 0 -1 4202496 275534 0 0 0 179957 51 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 140737036864192 12478324 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23969/statm: 333969 275463 893 2943 0 330863 0
[pid=23969/tid=23970] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23970/stat : 23970 (toysat) S 23966 23969 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905789308144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23969/tid=23971] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23971/stat : 23971 (toysat) S 23966 23969 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905778818288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23969/tid=23972] ppid=23966 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23969/task/23972/stat : 23972 (toysat) S 23966 23969 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30256667 1367937024 275463 33554432000 4194304 16246674 140737036882304 139905768344752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1335876

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23969 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.1
CPU user time (s): 1799.58
CPU system time (s): 0.518921
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.518921
maximum resident set size= 1101852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275534
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= 390
involuntary context switches= 2021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0949 second user time and 14.4188 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 22:16:20
IDJOB=4116261
IDBENCH=109448
IDSOLVER=2542
FILE ID=node125/4116261-1466972180
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 63451afdf29a8e80a45832b5f6bbb8a8
RANDOM SEED=1911096007

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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	: 5334.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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		: 2667.021
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		: 2667.021
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		: 2667.021
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		: 2667.021
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		: 2667.021
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:        30267912 kB
Buffers:           40804 kB
Cached:            95220 kB
SwapCached:         1736 kB
Active:           144220 kB
Inactive:          60312 kB
Active(anon):      70184 kB
Inactive(anon):      448 kB
Active(file):      74036 kB
Inactive(file):    59864 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33396 kB
Writeback:             0 kB
AnonPages:       2031068 kB
Mapped:             9568 kB
Shmem:                 0 kB
Slab:             567656 kB
SReclaimable:      11596 kB
SUnreclaim:       556060 kB
KernelStack:        1520 kB
PageTables:         9116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2825416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    423936 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= 71708 MiB
End job on node125 at 2016-06-26 22:46:20