Trace number 4078607

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
MD5SUM6f530d7030eb010292a76e81381ed552
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.033994
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6000
Total number of constraints220
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
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-06T15:38:24+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-4078607-1465220304.opb"]
0.00/0.01	c use --random-gen="3344770911 814679865 2370025700 1666341027 2118992436 2615705524 2956901723 785233148 1136293886 3033767704 3299795423 3153004622 1847752958 15990835 1786096138 3872440829 3770013457 977428552 1987978456 3214538888 3662409274 1443848408 1990200059 1147813159 4080860979 1964889261 2210160875 3510522400 1570396646 1127952425 4074550582 2473311313 2976734700 3309519219 3391956048 380740873 754041322 604010065 1228215204 1928079516 3367828127 2463949077 4016684466 1116333176 1262704154 3116775203 3628061412 3047448715 3280584894 3852968776 3851629821 2519183014 694157902 2469301923 1833543690 3146566316 803834972 2142547764 3626330940 2022266238 847634118 2132824781 1262771827 2377722893 3095609058 894026325 419157554 2711264777 3343041428 1498246067 2748328393 2921828456 2857182206 88136869 279504770 762734194 1636128940 759606528 607405759 662729546 4105458354 1399698979 2724890689 377030816 1658433247 3339469232 2989158251 2814249961 2849532545 2120317323 3490030336 179454450 2137335280 2338420771 182179303 284872093 839078054 859803326 1637040966 4043335958 916397242 1820886930 3299548249 2657242203 470268600 2565313612 2930211431 2793135754 3134052683 2336321953 559523725 391131003 858867234 1275655553 814373391 159070873 128247982 4285615518 451108120 2012674530 1747267499 3987847212 1003626571 145771643 258274927 117505517 1864967909 3974591524 2029864512 2310102410 1331041245 2265304566 3523945552 832353468 2020776042 3494980625 1406602329 4214401847 1873692601 1195214033 3392567969 3994917002 2626917075 3903327333 30257643 3242671635 1069178093 2838047857 3790932776 300743588 1676156624 2990602437 1557582776 2636516541 3252065819 1003817853 1161138470 2941237891 60016334 1194596293 1127284424 376621282 4202429742 3735474449 1805323450 3833847393 1511148276 1760498006 2643953944 1665542 1492427386 3394708222 1788832059 3968380373 782720499 3279627068 1997608316 488162028 126776224 637300873 2963805571 3909909197 872922266 2941390114 311784216 581898115 2608494702 1327886350 2630215312 204171387 3902597966 4081348679 2371756637 60304395 931902345 2798524912 2585674886 1742297230 129516683 3254637983 1143754234 2413089665 344437681 1914271330 2631012014 2389900761 1926032123 2072768027 4206693986 1790466880 2739420338 98235932 1391975558 674244401 2365873068 3184399097 2500254015 4106990 1542866691 1066187278 1820193075 614137026 412122546 1455629307 949448145 2724828423 1714887624 3101329098 3716184477 638104749 562460162 2601011994 3729799009 3614159347 357178638 2239216749 3644028106 1568242998 310758428 2906459897 2450690528 3025698354 2568304873 814106428 3362179293 781737321 2302454293 4069398279 2866573960 3881331174 3719273252 3711069534 623118592 2155692912 2261333037 3815658436 255 362436" option to reproduce the execution
0.00/0.04	c #vars 6000
0.00/0.04	c #constraints 220
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     2073      0 |        0 |        0
0.09/0.11	c  0.0s |       1 |      161 |      100 |     2073      0 |        0 |        0
0.19/0.26	c  0.2s |       2 |     1522 |      250 |     2281      0 |        0 |        0
0.39/0.44	c  0.4s |       3 |     3090 |      475 |     2510      0 |        0 |        0
0.69/0.79	c  0.7s |       4 |     4937 |      813 |     2761      0 |        0 |        0
1.10/1.16	c  1.1s |       5 |     7291 |     1320 |     3038      0 |        0 |        0
1.79/1.81	c  1.7s |       6 |     9709 |     2081 |     3677      0 |        0 |        0
3.09/3.11	c  3.0s |       7 |    12933 |     3223 |     4045      0 |        0 |        0
4.89/4.91	c  4.8s |       8 |    16147 |     4936 |     4450      0 |        0 |        0
6.99/7.03	c  7.0s |       8 |    19619 |     6836 |     4450      1 |        0 |        0
7.89/7.91	c  7.8s |       9 |    20370 |     7506 |     4895      1 |        0 |        0
10.00/10.04	c 10.0s |       9 |    23696 |     9206 |     4895      2 |        0 |        0
12.09/12.15	c 12.1s |       9 |    25167 |    10506 |     4895      2 |        0 |        0
13.88/13.96	c 13.9s |      10 |    26149 |    11361 |     5385      2 |        0 |        0
15.98/16.00	c 15.9s |      10 |    29797 |    13261 |     5385      3 |        0 |        0
18.08/18.15	c 18.1s |      10 |    31625 |    14861 |     5385      3 |        0 |        0
20.18/20.23	c 20.2s |      10 |    33044 |    16161 |     5385      3 |        0 |        0
21.99/22.07	c 22.0s |      11 |    34134 |    17144 |     5924      4 |        0 |        0
23.98/24.09	c 24.0s |      11 |    37604 |    18944 |     5924      4 |        0 |        0
26.18/26.26	c 26.2s |      11 |    39123 |    20344 |     5924      4 |        0 |        0
28.28/28.35	c 28.3s |      11 |    40292 |    21344 |     5924      5 |        0 |        0
30.48/30.51	c 30.4s |      11 |    41419 |    22344 |     5924      5 |        0 |        0
32.48/32.54	c 32.5s |      11 |    42426 |    23244 |     5924      5 |        0 |        0
34.68/34.76	c 34.7s |      11 |    43502 |    24244 |     5924      5 |        0 |        0
36.89/36.95	c 36.9s |      11 |    44462 |    25144 |     5924      5 |        0 |        0
38.69/38.74	c 38.7s |      12 |    45205 |    25819 |     6517      6 |        0 |        0
40.79/40.87	c 40.8s |      12 |    49376 |    27219 |     6517      6 |        0 |        0
42.99/43.05	c 43.0s |      12 |    50613 |    28219 |     6517      6 |        0 |        0
44.98/45.08	c 45.0s |      12 |    52093 |    29319 |     6517      6 |        0 |        0
47.18/47.23	c 47.2s |      12 |    53513 |    30519 |     6517      6 |        0 |        0
49.28/49.37	c 49.3s |      12 |    54562 |    31419 |     6517      7 |        0 |        0
51.38/51.46	c 51.4s |      12 |    55471 |    32219 |     6517      7 |        0 |        0
53.68/53.71	c 53.6s |      12 |    56394 |    33019 |     6517      7 |        0 |        0
55.88/55.93	c 55.9s |      12 |    57307 |    33819 |     6517      7 |        0 |        0
57.98/58.01	c 57.9s |      12 |    58112 |    34519 |     6517      7 |        0 |        0
60.08/60.19	c 60.1s |      12 |    58867 |    35219 |     6517      7 |        0 |        0
62.18/62.26	c 62.2s |      12 |    59657 |    35819 |     6517      8 |        0 |        0
64.28/64.36	c 64.3s |      12 |    60630 |    36619 |     6517      8 |        0 |        0
66.48/66.59	c 66.5s |      12 |    61561 |    37419 |     6517      8 |        0 |        0
68.78/68.81	c 68.7s |      12 |    62331 |    38119 |     6517      8 |        0 |        0
71.08/71.16	c 71.1s |      12 |    63131 |    38819 |     7169      8 |        0 |        0
71.18/71.21	c 71.1s |      13 |    63143 |    38832 |     7169      8 |        0 |        0
73.18/73.24	c 73.2s |      13 |    67027 |    40232 |     7169      9 |        0 |        0
75.28/75.38	c 75.3s |      13 |    68739 |    41732 |     7169      9 |        0 |        0
77.38/77.45	c 77.4s |      13 |    70071 |    42932 |     7169      9 |        0 |        0
79.47/79.54	c 79.5s |      13 |    71188 |    43932 |     7169      9 |        0 |        0
81.58/81.68	c 81.6s |      13 |    72305 |    44932 |     7169      9 |        0 |        0
83.69/83.71	c 83.6s |      13 |    73064 |    45632 |     7169     10 |        0 |        0
85.89/85.91	c 85.8s |      13 |    74071 |    46532 |     7169     10 |        0 |        0
88.08/88.11	c 88.0s |      13 |    75089 |    47432 |     7169     10 |        0 |        0
90.38/90.42	c 90.3s |      13 |    75973 |    48232 |     7169     10 |        0 |        0
92.57/92.67	c 92.6s |      13 |    76758 |    48932 |     7169     10 |        0 |        0
94.68/94.73	c 94.7s |      13 |    77524 |    49632 |     7169     10 |        0 |        0
96.67/96.74	c 96.7s |      13 |    78216 |    50232 |     7169     10 |        0 |        0
98.77/98.89	c 98.8s |      13 |    78649 |    50632 |     7169     11 |        0 |        0
100.87/100.96	c  100s |      13 |    79296 |    51232 |     7169     11 |        0 |        0
103.08/103.14	c  103s |      13 |    80238 |    52032 |     7169     11 |        0 |        0
105.37/105.41	c  105s |      13 |    81384 |    53032 |     7169     11 |        0 |        0
107.37/107.47	c  107s |      13 |    82305 |    53832 |     7169     11 |        0 |        0
109.57/109.62	c  109s |      13 |    83200 |    54632 |     7169     11 |        0 |        0
111.67/111.76	c  111s |      13 |    83981 |    55332 |     7169     11 |        0 |        0
114.07/114.15	c  114s |      13 |    84661 |    55932 |     7169     12 |        0 |        0
116.27/116.34	c  116s |      13 |    85950 |    57032 |     7169     12 |        0 |        0
118.37/118.40	c  118s |      13 |    87201 |    58132 |     7886     12 |        0 |        0
118.78/118.87	c  118s |      14 |    87467 |    58352 |     7886     12 |        0 |        0
120.87/120.96	c  120s |      14 |    91258 |    60052 |     7886     12 |        0 |        0
122.97/123.04	c  122s |      14 |    92820 |    61452 |     7886     12 |        0 |        0
124.97/125.06	c  124s |      14 |    93975 |    62452 |     7886     13 |        0 |        0
126.97/127.07	c  126s |      14 |    95101 |    63452 |     7886     13 |        0 |        0
128.97/129.08	c  129s |      14 |    96098 |    64352 |     7886     13 |        0 |        0
131.07/131.12	c  131s |      14 |    97085 |    65252 |     7886     13 |        0 |        0
133.07/133.13	c  133s |      14 |    97991 |    66052 |     7886     13 |        0 |        0
135.16/135.23	c  135s |      14 |    99010 |    66952 |     7886     13 |        0 |        0
137.36/137.42	c  137s |      14 |    99889 |    67752 |     7886     13 |        0 |        0
139.36/139.45	c  139s |      14 |   100706 |    68452 |     7886     14 |        0 |        0
141.57/141.60	c  141s |      14 |   101623 |    69252 |     7886     14 |        0 |        0
143.67/143.77	c  143s |      14 |   102656 |    70152 |     7886     14 |        0 |        0
145.87/145.94	c  145s |      14 |   103564 |    70952 |     7886     14 |        0 |        0
147.97/148.03	c  147s |      14 |   104467 |    71752 |     7886     14 |        0 |        0
149.97/150.09	c  150s |      14 |   105351 |    72552 |     7886     14 |        0 |        0
152.16/152.20	c  152s |      14 |   106124 |    73252 |     7886     14 |        0 |        0
154.16/154.23	c  154s |      14 |   106787 |    73852 |     7886     14 |        0 |        0
156.17/156.27	c  156s |      14 |   107345 |    74352 |     7886     15 |        0 |        0
158.37/158.42	c  158s |      14 |   108242 |    75152 |     7886     15 |        0 |        0
160.46/160.57	c  160s |      14 |   109111 |    75952 |     7886     15 |        0 |        0
162.57/162.69	c  162s |      14 |   109993 |    76752 |     7886     15 |        0 |        0
164.67/164.71	c  164s |      14 |   110640 |    77352 |     7886     15 |        0 |        0
166.87/166.97	c  166s |      14 |   111421 |    78052 |     7886     15 |        0 |        0
169.06/169.19	c  169s |      14 |   112471 |    78952 |     7886     15 |        0 |        0
171.16/171.23	c  171s |      14 |   113362 |    79752 |     7886     15 |        0 |        0
173.26/173.32	c  173s |      14 |   114130 |    80452 |     7886     16 |        0 |        0
175.36/175.49	c  175s |      14 |   115398 |    81552 |     7886     16 |        0 |        0
177.56/177.61	c  177s |      14 |   116409 |    82452 |     7886     16 |        0 |        0
179.66/179.78	c  179s |      14 |   117387 |    83352 |     7886     16 |        0 |        0
181.96/182.06	c  181s |      14 |   118260 |    84152 |     7886     16 |        0 |        0
184.06/184.18	c  184s |      14 |   118907 |    84752 |     7886     16 |        0 |        0
186.36/186.42	c  186s |      14 |   119905 |    85652 |     7886     16 |        0 |        0
188.46/188.51	c  188s |      14 |   120567 |    86252 |     7886     17 |        0 |        0
191.06/191.16	c  191s |      14 |   121595 |    87152 |     8675     17 |        0 |        0
192.35/192.46	c  192s |      15 |   122131 |    87632 |     8675     17 |        0 |        0
194.45/194.51	c  194s |      15 |   128054 |    88732 |     8675     17 |        0 |        0
196.46/196.59	c  196s |      15 |   129139 |    89632 |     8675     17 |        0 |        0
198.55/198.64	c  198s |      15 |   129989 |    90332 |     8675     17 |        0 |        0
200.96/201.04	c  200s |      15 |   130707 |    90932 |     8675     17 |        0 |        0
203.06/203.12	c  203s |      15 |   131558 |    91632 |     8675     17 |        0 |        0
205.06/205.13	c  205s |      15 |   132424 |    92332 |     8675     17 |        0 |        0
207.15/207.28	c  207s |      15 |   133371 |    93132 |     8675     17 |        0 |        0
209.46/209.55	c  209s |      15 |   134199 |    93832 |     8675     17 |        0 |        0
211.95/212.06	c  211s |      15 |   134872 |    94432 |     8675     18 |        0 |        0
214.25/214.39	c  214s |      15 |   135535 |    95032 |     8675     18 |        0 |        0
216.56/216.69	c  216s |      15 |   136207 |    95632 |     8675     18 |        0 |        0
218.96/219.04	c  218s |      15 |   136766 |    96132 |     8675     18 |        0 |        0
221.17/221.29	c  221s |      15 |   137324 |    96632 |     8675     18 |        0 |        0
223.26/223.39	c  223s |      15 |   137863 |    97132 |     8675     18 |        0 |        0
225.46/225.51	c  225s |      15 |   138425 |    97632 |     8675     18 |        0 |        0
227.55/227.69	c  227s |      15 |   139113 |    98232 |     8675     18 |        0 |        0
229.76/229.87	c  229s |      15 |   139688 |    98732 |     8675     18 |        0 |        0
232.25/232.33	c  232s |      15 |   140388 |    99332 |     8675     18 |        0 |        0
234.45/234.56	c  234s |      15 |   140848 |    99732 |     8675     18 |        0 |        0
236.76/236.82	c  236s |      15 |   141421 |   100232 |     8675     18 |        0 |        0
238.95/239.01	c  238s |      15 |   141976 |   100732 |     8675     18 |        0 |        0
241.15/241.26	c  241s |      15 |   142542 |   101232 |     8675     18 |        0 |        0
243.25/243.34	c  243s |      15 |   143000 |   101632 |     8675     19 |        0 |        0
245.55/245.65	c  245s |      15 |   143913 |   102432 |     8675     19 |        0 |        0
247.56/247.68	c  247s |      15 |   144580 |   103032 |     8675     19 |        0 |        0
249.76/249.84	c  249s |      15 |   145245 |   103632 |     8675     19 |        0 |        0
251.75/251.86	c  251s |      15 |   145937 |   104232 |     8675     19 |        0 |        0
254.06/254.13	c  254s |      15 |   146703 |   104932 |     8675     19 |        0 |        0
256.36/256.45	c  256s |      15 |   147465 |   105632 |     8675     19 |        0 |        0
258.65/258.78	c  258s |      15 |   148135 |   106232 |     8675     19 |        0 |        0
260.95/261.09	c  261s |      15 |   148821 |   106832 |     8675     19 |        0 |        0
263.35/263.42	c  263s |      15 |   149532 |   107432 |     8675     19 |        0 |        0
265.45/265.58	c  265s |      15 |   150083 |   107932 |     8675     19 |        0 |        0
268.65/268.73	c  268s |      15 |   150653 |   108432 |     8675     20 |        0 |        0
270.84/270.97	c  270s |      15 |   151226 |   108932 |     8675     20 |        0 |        0
273.14/273.23	c  273s |      15 |   151908 |   109532 |     8675     20 |        0 |        0
275.25/275.37	c  275s |      15 |   152591 |   110132 |     8675     20 |        0 |        0
277.55/277.65	c  277s |      15 |   153137 |   110632 |     8675     20 |        0 |        0
279.84/279.96	c  279s |      15 |   153707 |   111132 |     8675     20 |        0 |        0
281.94/282.07	c  282s |      15 |   154385 |   111732 |     8675     20 |        0 |        0
284.25/284.36	c  284s |      15 |   155117 |   112332 |     8675     20 |        0 |        0
286.54/286.64	c  286s |      15 |   155696 |   112832 |     8675     20 |        0 |        0
288.64/288.73	c  288s |      15 |   156262 |   113332 |     8675     20 |        0 |        0
290.85/290.97	c  290s |      15 |   156810 |   113832 |     8675     20 |        0 |        0
293.05/293.15	c  293s |      15 |   157381 |   114332 |     8675     20 |        0 |        0
295.24/295.36	c  295s |      15 |   157948 |   114832 |     8675     20 |        0 |        0
297.64/297.71	c  297s |      15 |   158504 |   115332 |     8675     20 |        0 |        0
299.64/299.72	c  299s |      15 |   158718 |   115532 |     8675     21 |        0 |        0
301.95/302.00	c  301s |      15 |   159276 |   116032 |     8675     21 |        0 |        0
304.25/304.30	c  304s |      15 |   159933 |   116632 |     8675     21 |        0 |        0
306.34/306.47	c  306s |      15 |   160471 |   117132 |     8675     21 |        0 |        0
308.44/308.56	c  308s |      15 |   161042 |   117632 |     8675     21 |        0 |        0
310.74/310.82	c  310s |      15 |   161833 |   118332 |     8675     21 |        0 |        0
312.84/312.95	c  312s |      15 |   162512 |   118932 |     8675     21 |        0 |        0
315.05/315.10	c  315s |      15 |   163090 |   119432 |     8675     21 |        0 |        0
317.04/317.17	c  317s |      15 |   163647 |   119932 |     8675     21 |        0 |        0
319.34/319.41	c  319s |      15 |   164318 |   120532 |     8675     21 |        0 |        0
321.64/321.77	c  321s |      15 |   164848 |   121032 |     8675     21 |        0 |        0
324.14/324.22	c  324s |      15 |   165401 |   121532 |     8675     21 |        0 |        0
326.24/326.39	c  326s |      15 |   165820 |   121932 |     8675     21 |        0 |        0
328.34/328.43	c  328s |      15 |   166270 |   122332 |     8675     21 |        0 |        0
330.43/330.56	c  330s |      15 |   166604 |   122632 |     8675     22 |        0 |        0
332.64/332.75	c  332s |      15 |   167157 |   123132 |     8675     22 |        0 |        0
334.63/334.76	c  334s |      15 |   167735 |   123632 |     8675     22 |        0 |        0
337.14/337.24	c  337s |      15 |   168307 |   124132 |     8675     22 |        0 |        0
339.34/339.46	c  339s |      15 |   168739 |   124532 |     8675     22 |        0 |        0
341.63/341.76	c  341s |      15 |   169326 |   125032 |     8675     22 |        0 |        0
343.94/344.00	c  343s |      15 |   169747 |   125432 |     8675     22 |        0 |        0
346.63/346.72	c  346s |      15 |   170171 |   125832 |     8675     22 |        0 |        0
348.65/348.80	c  348s |      15 |   170643 |   126232 |     8675     22 |        0 |        0
351.04/351.17	c  351s |      15 |   171310 |   126832 |     8675     22 |        0 |        0
353.53/353.70	c  353s |      15 |   171722 |   127232 |     8675     22 |        0 |        0
356.13/356.20	c  356s |      15 |   172086 |   127532 |     8675     22 |        0 |        0
358.13/358.26	c  358s |      15 |   172750 |   128132 |     8675     22 |        0 |        0
360.33/360.48	c  360s |      15 |   173414 |   128732 |     8675     22 |        0 |        0
362.54/362.65	c  362s |      15 |   173977 |   129232 |     8675     22 |        0 |        0
364.54/364.68	c  364s |      15 |   174411 |   129632 |     8675     22 |        0 |        0
366.83/366.96	c  366s |      15 |   174726 |   129932 |     8675     23 |        0 |        0
369.03/369.15	c  369s |      15 |   175280 |   130432 |     8675     23 |        0 |        0
371.13/371.24	c  371s |      15 |   175840 |   130932 |     9543     23 |        0 |        0
373.33/373.46	c  373s |      15 |   176407 |   131432 |     9543     23 |        0 |        0
373.94/374.05	c  373s |      16 |   176549 |   131552 |     9543     23 |        0 |        0
376.03/376.11	c  376s |      16 |   180338 |   132252 |     9543     23 |        0 |        0
378.23/378.37	c  378s |      16 |   181399 |   133152 |     9543     23 |        0 |        0
380.43/380.54	c  380s |      16 |   182290 |   133952 |     9543     23 |        0 |        0
382.53/382.61	c  382s |      16 |   183102 |   134652 |     9543     23 |        0 |        0
384.63/384.78	c  384s |      16 |   183775 |   135252 |     9543     23 |        0 |        0
386.73/386.87	c  386s |      16 |   184432 |   135852 |     9543     23 |        0 |        0
388.93/389.02	c  388s |      16 |   184865 |   136252 |     9543     24 |        0 |        0
391.13/391.23	c  391s |      16 |   185508 |   136852 |     9543     24 |        0 |        0
393.43/393.57	c  393s |      16 |   186346 |   137552 |     9543     24 |        0 |        0
395.73/395.83	c  395s |      16 |   187033 |   138152 |     9543     24 |        0 |        0
397.93/398.08	c  398s |      16 |   187773 |   138752 |     9543     24 |        0 |        0
400.33/400.47	c  400s |      16 |   188448 |   139352 |     9543     24 |        0 |        0
402.43/402.52	c  402s |      16 |   189024 |   139852 |     9543     24 |        0 |        0
404.53/404.68	c  404s |      16 |   189575 |   140352 |     9543     24 |        0 |        0
406.73/406.85	c  406s |      16 |   190143 |   140852 |     9543     24 |        0 |        0
408.82/408.96	c  408s |      16 |   190695 |   141352 |     9543     24 |        0 |        0
411.03/411.14	c  411s |      16 |   191263 |   141852 |     9543     24 |        0 |        0
413.63/413.71	c  413s |      16 |   191855 |   142352 |     9543     25 |        0 |        0
416.12/416.27	c  416s |      16 |   192518 |   142952 |     9543     25 |        0 |        0
418.32/418.47	c  418s |      16 |   193216 |   143552 |     9543     25 |        0 |        0
420.42/420.58	c  420s |      16 |   193774 |   144052 |     9543     25 |        0 |        0
422.83/422.97	c  422s |      16 |   194479 |   144652 |     9543     25 |        0 |        0
425.03/425.14	c  425s |      16 |   195073 |   145152 |     9543     25 |        0 |        0
427.22/427.34	c  427s |      16 |   195637 |   145652 |     9543     25 |        0 |        0
429.42/429.58	c  429s |      16 |   196194 |   146152 |     9543     25 |        0 |        0
431.82/431.94	c  431s |      16 |   196750 |   146652 |     9543     25 |        0 |        0
434.23/434.35	c  434s |      16 |   197317 |   147152 |     9543     25 |        0 |        0
436.52/436.65	c  436s |      16 |   197884 |   147652 |     9543     25 |        0 |        0
438.72/438.83	c  438s |      16 |   198444 |   148152 |     9543     25 |        0 |        0
440.82/440.93	c  440s |      16 |   198896 |   148552 |     9543     25 |        0 |        0
443.22/443.36	c  443s |      16 |   199318 |   148952 |     9543     26 |        0 |        0
445.53/445.67	c  445s |      16 |   200024 |   149552 |     9543     26 |        0 |        0
447.82/447.99	c  447s |      16 |   200673 |   150152 |     9543     26 |        0 |        0
450.02/450.19	c  450s |      16 |   201217 |   150652 |     9543     26 |        0 |        0
452.13/452.28	c  452s |      16 |   201796 |   151152 |     9543     26 |        0 |        0
454.52/454.60	c  454s |      16 |   202366 |   151652 |     9543     26 |        0 |        0
456.82/456.93	c  456s |      16 |   202908 |   152152 |     9543     26 |        0 |        0
459.12/459.20	c  459s |      16 |   203471 |   152652 |     9543     26 |        0 |        0
461.12/461.25	c  461s |      16 |   203907 |   153052 |     9543     26 |        0 |        0
463.32/463.45	c  463s |      16 |   204497 |   153552 |     9543     26 |        0 |        0
465.81/465.94	c  465s |      16 |   205087 |   154052 |     9543     26 |        0 |        0
468.02/468.10	c  468s |      16 |   205537 |   154452 |     9543     26 |        0 |        0
470.42/470.54	c  470s |      16 |   206108 |   154952 |     9543     26 |        0 |        0
472.72/472.89	c  472s |      16 |   206557 |   155352 |     9543     27 |        0 |        0
475.12/475.24	c  475s |      16 |   207088 |   155852 |     9543     27 |        0 |        0
477.42/477.53	c  477s |      16 |   207652 |   156352 |     9543     27 |        0 |        0
479.41/479.55	c  479s |      16 |   208224 |   156852 |     9543     27 |        0 |        0
481.61/481.76	c  481s |      16 |   208790 |   157352 |     9543     27 |        0 |        0
484.02/484.11	c  484s |      16 |   209358 |   157852 |     9543     27 |        0 |        0
486.41/486.54	c  486s |      16 |   209895 |   158352 |     9543     27 |        0 |        0
488.92/489.00	c  488s |      16 |   210445 |   158852 |     9543     27 |        0 |        0
491.01/491.16	c  491s |      16 |   211052 |   159352 |     9543     27 |        0 |        0
493.31/493.44	c  493s |      16 |   211628 |   159852 |     9543     27 |        0 |        0
495.62/495.79	c  495s |      16 |   212196 |   160352 |     9543     27 |        0 |        0
497.71/497.83	c  497s |      16 |   212637 |   160752 |     9543     27 |        0 |        0
500.01/500.15	c  500s |      16 |   213102 |   161152 |     9543     28 |        0 |        0
502.41/502.55	c  502s |      16 |   213658 |   161652 |     9543     28 |        0 |        0
504.71/504.85	c  504s |      16 |   214200 |   162152 |     9543     28 |        0 |        0
506.71/506.89	c  506s |      16 |   214648 |   162552 |     9543     28 |        0 |        0
508.71/508.89	c  508s |      16 |   215265 |   163052 |     9543     28 |        0 |        0
511.01/511.16	c  511s |      16 |   216006 |   163652 |     9543     28 |        0 |        0
513.31/513.42	c  513s |      16 |   216724 |   164252 |     9543     28 |        0 |        0
515.41/515.52	c  515s |      16 |   217304 |   164752 |     9543     28 |        0 |        0
517.61/517.79	c  517s |      16 |   217887 |   165252 |     9543     28 |        0 |        0
519.91/520.09	c  520s |      16 |   218486 |   165752 |     9543     28 |        0 |        0
522.20/522.38	c  522s |      16 |   219080 |   166252 |     9543     28 |        0 |        0
524.41/524.50	c  524s |      16 |   219531 |   166652 |     9543     28 |        0 |        0
526.41/526.52	c  526s |      16 |   219976 |   167052 |     9543     28 |        0 |        0
528.51/528.69	c  528s |      16 |   220310 |   167352 |     9543     29 |        0 |        0
530.91/531.01	c  530s |      16 |   220864 |   167852 |     9543     29 |        0 |        0
533.01/533.11	c  533s |      16 |   221404 |   168352 |     9543     29 |        0 |        0
535.00/535.12	c  535s |      16 |   221979 |   168852 |     9543     29 |        0 |        0
537.11/537.28	c  537s |      16 |   222549 |   169352 |     9543     29 |        0 |        0
539.21/539.33	c  539s |      16 |   223131 |   169852 |     9543     29 |        0 |        0
541.31/541.43	c  541s |      16 |   223724 |   170352 |     9543     29 |        0 |        0
543.71/543.87	c  543s |      16 |   224277 |   170852 |     9543     29 |        0 |        0
545.71/545.88	c  545s |      16 |   224720 |   171252 |     9543     29 |        0 |        0
548.21/548.32	c  548s |      16 |   225284 |   171752 |     9543     29 |        0 |        0
550.30/550.40	c  550s |      16 |   225746 |   172152 |     9543     29 |        0 |        0
552.50/552.63	c  552s |      16 |   226214 |   172552 |     9543     29 |        0 |        0
554.60/554.75	c  554s |      16 |   226704 |   172952 |     9543     29 |        0 |        0
557.11/557.21	c  557s |      16 |   227144 |   173352 |     9543     29 |        0 |        0
559.40/559.54	c  559s |      16 |   227504 |   173652 |     9543     30 |        0 |        0
561.60/561.72	c  561s |      16 |   228064 |   174152 |     9543     30 |        0 |        0
563.71/563.85	c  563s |      16 |   228606 |   174652 |     9543     30 |        0 |        0
566.21/566.30	c  566s |      16 |   229175 |   175152 |     9543     30 |        0 |        0
568.30/568.40	c  568s |      16 |   229599 |   175552 |     9543     30 |        0 |        0
570.40/570.52	c  570s |      16 |   230042 |   175952 |     9543     30 |        0 |        0
572.60/572.76	c  572s |      16 |   230576 |   176452 |     9543     30 |        0 |        0
574.90/575.07	c  574s |      16 |   231118 |   176952 |     9543     30 |        0 |        0
577.41/577.57	c  577s |      16 |   231663 |   177452 |     9543     30 |        0 |        0
579.80/579.90	c  579s |      16 |   232085 |   177852 |     9543     30 |        0 |        0
582.00/582.14	c  582s |      16 |   232524 |   178252 |     9543     30 |        0 |        0
584.01/584.20	c  584s |      16 |   232942 |   178652 |     9543     30 |        0 |        0
586.21/586.36	c  586s |      16 |   233392 |   179052 |     9543     30 |        0 |        0
588.41/588.54	c  588s |      16 |   233829 |   179452 |     9543     30 |        0 |        0
590.50/590.70	c  590s |      16 |   234156 |   179752 |     9543     31 |        0 |        0
592.69/592.80	c  592s |      16 |   234575 |   180152 |     9543     31 |        0 |        0
595.11/595.24	c  595s |      16 |   235020 |   180552 |     9543     31 |        0 |        0
597.40/597.56	c  597s |      16 |   235545 |   181052 |     9543     31 |        0 |        0
599.79/599.97	c  599s |      16 |   236078 |   181552 |     9543     31 |        0 |        0
602.00/602.13	c  602s |      16 |   236521 |   181952 |     9543     31 |        0 |        0
604.00/604.13	c  604s |      16 |   236947 |   182352 |     9543     31 |        0 |        0
606.10/606.26	c  606s |      16 |   237383 |   182752 |     9543     31 |        0 |        0
608.49/608.62	c  608s |      16 |   237811 |   183152 |     9543     31 |        0 |        0
610.79/610.91	c  610s |      16 |   238233 |   183552 |     9543     31 |        0 |        0
613.00/613.14	c  613s |      16 |   238676 |   183952 |     9543     31 |        0 |        0
615.40/615.52	c  615s |      16 |   239102 |   184352 |     9543     31 |        0 |        0
617.69/617.81	c  617s |      16 |   239533 |   184752 |     9543     31 |        0 |        0
620.10/620.21	c  620s |      16 |   239961 |   185152 |     9543     31 |        0 |        0
622.69/622.85	c  622s |      16 |   240400 |   185552 |     9543     31 |        0 |        0
625.29/625.47	c  625s |      16 |   240817 |   185952 |     9543     32 |        0 |        0
628.00/628.17	c  628s |      16 |   241162 |   186252 |     9543     32 |        0 |        0
630.49/630.64	c  630s |      16 |   241709 |   186752 |     9543     32 |        0 |        0
632.69/632.83	c  632s |      16 |   242151 |   187152 |     9543     32 |        0 |        0
634.89/635.07	c  634s |      16 |   242573 |   187552 |     9543     32 |        0 |        0
637.20/637.31	c  637s |      16 |   243005 |   187952 |     9543     32 |        0 |        0
639.29/639.46	c  639s |      16 |   243424 |   188352 |     9543     32 |        0 |        0
641.49/641.66	c  641s |      16 |   243853 |   188752 |     9543     32 |        0 |        0
643.99/644.15	c  644s |      16 |   244271 |   189152 |     9543     32 |        0 |        0
646.39/646.51	c  646s |      16 |   244706 |   189552 |     9543     32 |        0 |        0
648.69/648.81	c  648s |      16 |   245148 |   189952 |     9543     32 |        0 |        0
650.99/651.17	c  651s |      16 |   245587 |   190352 |     9543     32 |        0 |        0
653.59/653.72	c  653s |      16 |   246015 |   190752 |     9543     32 |        0 |        0
655.98/656.18	c  656s |      16 |   246447 |   191152 |     9543     32 |        0 |        0
658.39/658.52	c  658s |      16 |   246878 |   191552 |     9543     32 |        0 |        0
660.89/661.07	c  660s |      16 |   247302 |   191952 |     9543     32 |        0 |        0
663.29/663.48	c  663s |      16 |   247625 |   192252 |     9543     33 |        0 |        0
665.78/665.99	c  665s |      16 |   248056 |   192652 |     9543     33 |        0 |        0
668.59/668.75	c  668s |      16 |   248584 |   193052 |     9543     33 |        0 |        0
671.19/671.30	c  671s |      16 |   249197 |   193552 |     9543     33 |        0 |        0
673.28/673.40	c  673s |      16 |   249671 |   193952 |     9543     33 |        0 |        0
675.49/675.65	c  675s |      16 |   250233 |   194352 |     9543     33 |        0 |        0
677.49/677.67	c  677s |      16 |   250683 |   194752 |     9543     33 |        0 |        0
679.69/679.81	c  679s |      16 |   251159 |   195152 |     9543     33 |        0 |        0
681.89/682.07	c  681s |      16 |   251632 |   195552 |     9543     33 |        0 |        0
684.10/684.30	c  684s |      16 |   252070 |   195952 |     9543     33 |        0 |        0
686.40/686.52	c  686s |      16 |   252565 |   196352 |    10498     33 |        0 |        0
688.59/688.73	c  688s |      16 |   253017 |   196752 |    10498     33 |        0 |        0
690.98/691.14	c  691s |      16 |   253461 |   197152 |    10498     33 |        0 |        0
692.68/692.82	c  692s |      17 |   253773 |   197432 |    10498     33 |        0 |        0
694.78/694.91	c  694s |      17 |   259146 |   198032 |    10498     34 |        0 |        0
696.99/697.16	c  697s |      17 |   260636 |   199332 |    10498     34 |        0 |        0
699.18/699.33	c  699s |      17 |   261803 |   200332 |    10498     34 |        0 |        0
701.28/701.40	c  701s |      17 |   262886 |   201232 |    10498     34 |        0 |        0
703.48/703.61	c  703s |      17 |   264074 |   202232 |    10498     34 |        0 |        0
705.68/705.80	c  705s |      17 |   265175 |   203132 |    10498     34 |        0 |        0
707.68/707.87	c  707s |      17 |   266167 |   204032 |    10498     34 |        0 |        0
709.78/709.90	c  709s |      17 |   267079 |   204832 |    10498     34 |        0 |        0
711.98/712.12	c  712s |      17 |   268025 |   205632 |    10498     34 |        0 |        0
714.08/714.22	c  714s |      17 |   268789 |   206332 |    10498     34 |        0 |        0
716.18/716.31	c  716s |      17 |   269562 |   207032 |    10498     34 |        0 |        0
718.19/718.35	c  718s |      17 |   270370 |   207732 |    10498     34 |        0 |        0
720.49/720.62	c  720s |      17 |   270954 |   208232 |    10498     35 |        0 |        0
722.78/722.96	c  722s |      17 |   271722 |   208932 |    10498     35 |        0 |        0
725.08/725.24	c  725s |      17 |   272523 |   209632 |    10498     35 |        0 |        0
727.27/727.45	c  727s |      17 |   273336 |   210332 |    10498     35 |        0 |        0
729.37/729.58	c  729s |      17 |   274018 |   210932 |    10498     35 |        0 |        0
731.58/731.74	c  731s |      17 |   274699 |   211532 |    10498     35 |        0 |        0
733.69/733.84	c  733s |      17 |   275249 |   212032 |    10498     35 |        0 |        0
735.78/736.00	c  735s |      17 |   275801 |   212532 |    10498     35 |        0 |        0
737.88/738.03	c  737s |      17 |   276354 |   213032 |    10498     35 |        0 |        0
740.18/740.33	c  740s |      17 |   277023 |   213632 |    10498     35 |        0 |        0
742.27/742.48	c  742s |      17 |   277578 |   214132 |    10498     35 |        0 |        0
744.77/744.90	c  744s |      17 |   278130 |   214632 |    10498     35 |        0 |        0
746.98/747.11	c  747s |      17 |   278683 |   215132 |    10498     35 |        0 |        0
749.48/749.62	c  749s |      17 |   279233 |   215632 |    10498     35 |        0 |        0
751.47/751.62	c  751s |      17 |   279456 |   215832 |    10498     36 |        0 |        0
753.57/753.77	c  753s |      17 |   280007 |   216332 |    10498     36 |        0 |        0
755.87/756.06	c  755s |      17 |   280664 |   216932 |    10498     36 |        0 |        0
757.88/758.09	c  758s |      17 |   281219 |   217432 |    10498     36 |        0 |        0
759.98/760.17	c  760s |      17 |   281762 |   217932 |    10498     36 |        0 |        0
762.08/762.26	c  762s |      17 |   282577 |   218632 |    10498     36 |        0 |        0
764.08/764.26	c  764s |      17 |   283292 |   219232 |    10498     36 |        0 |        0
766.17/766.37	c  766s |      17 |   283990 |   219832 |    10498     36 |        0 |        0
768.27/768.48	c  768s |      17 |   284673 |   220432 |    10498     36 |        0 |        0
770.47/770.64	c  770s |      17 |   285367 |   221032 |    10498     36 |        0 |        0
772.68/772.82	c  772s |      17 |   286062 |   221632 |    10498     36 |        0 |        0
774.88/775.06	c  774s |      17 |   286731 |   222232 |    10498     36 |        0 |        0
777.17/777.35	c  777s |      17 |   287409 |   222832 |    10498     36 |        0 |        0
779.37/779.50	c  779s |      17 |   287956 |   223332 |    10498     36 |        0 |        0
781.47/781.66	c  781s |      17 |   288517 |   223832 |    10498     36 |        0 |        0
783.77/783.94	c  783s |      17 |   288966 |   224232 |    10498     37 |        0 |        0
785.97/786.16	c  786s |      17 |   289415 |   224632 |    10498     37 |        0 |        0
788.27/788.47	c  788s |      17 |   290070 |   225232 |    10498     37 |        0 |        0
790.37/790.54	c  790s |      17 |   290772 |   225832 |    10498     37 |        0 |        0
792.46/792.63	c  792s |      17 |   291696 |   226632 |    10498     37 |        0 |        0
794.56/794.73	c  794s |      17 |   292496 |   227332 |    10498     37 |        0 |        0
796.77/796.92	c  796s |      17 |   293269 |   228032 |    10498     37 |        0 |        0
798.97/799.16	c  799s |      17 |   294042 |   228732 |    10498     37 |        0 |        0
801.07/801.28	c  801s |      17 |   294705 |   229332 |    10498     37 |        0 |        0
803.46/803.61	c  803s |      17 |   295495 |   230032 |    10498     37 |        0 |        0
805.76/805.91	c  805s |      17 |   296160 |   230632 |    10498     37 |        0 |        0
807.76/808.00	c  807s |      17 |   296707 |   231132 |    10498     37 |        0 |        0
809.87/810.05	c  809s |      17 |   297257 |   231632 |    10498     37 |        0 |        0
811.97/812.13	c  812s |      17 |   297593 |   231932 |    10498     38 |        0 |        0
814.27/814.42	c  814s |      17 |   298131 |   232432 |    10498     38 |        0 |        0
816.46/816.63	c  816s |      17 |   298678 |   232932 |    10498     38 |        0 |        0
818.76/818.91	c  818s |      17 |   299442 |   233632 |    10498     38 |        0 |        0
820.77/820.96	c  820s |      17 |   299966 |   234132 |    10498     38 |        0 |        0
823.07/823.21	c  823s |      17 |   300521 |   234632 |    10498     38 |        0 |        0
825.27/825.41	c  825s |      17 |   301066 |   235132 |    10498     38 |        0 |        0
827.56/827.73	c  827s |      17 |   301742 |   235732 |    10498     38 |        0 |        0
829.66/829.89	c  829s |      17 |   302387 |   236332 |    10498     38 |        0 |        0
831.87/832.08	c  832s |      17 |   303060 |   236932 |    10498     38 |        0 |        0
834.06/834.28	c  834s |      17 |   303611 |   237432 |    10498     38 |        0 |        0
836.26/836.48	c  836s |      17 |   304163 |   237932 |    10498     38 |        0 |        0
838.46/838.64	c  838s |      17 |   304727 |   238432 |    10498     38 |        0 |        0
840.76/840.98	c  840s |      17 |   305402 |   239032 |    10498     38 |        0 |        0
842.86/843.07	c  842s |      17 |   305841 |   239432 |    10498     38 |        0 |        0
846.16/846.31	c  846s |      17 |   306477 |   240032 |    10498     39 |        0 |        0
848.46/848.60	c  848s |      17 |   307166 |   240632 |    10498     39 |        0 |        0
850.46/850.65	c  850s |      17 |   307709 |   241132 |    10498     39 |        0 |        0
852.86/853.00	c  852s |      17 |   308369 |   241732 |    10498     39 |        0 |        0
854.85/855.02	c  854s |      17 |   308943 |   242232 |    10498     39 |        0 |        0
856.95/857.13	c  857s |      17 |   309629 |   242832 |    10498     39 |        0 |        0
859.26/859.42	c  859s |      17 |   310286 |   243432 |    10498     39 |        0 |        0
861.46/861.69	c  861s |      17 |   310923 |   244032 |    10498     39 |        0 |        0
863.76/863.95	c  863s |      17 |   311570 |   244632 |    10498     39 |        0 |        0
866.06/866.26	c  866s |      17 |   312229 |   245232 |    10498     39 |        0 |        0
868.36/868.50	c  868s |      17 |   312787 |   245732 |    10498     39 |        0 |        0
870.46/870.67	c  870s |      17 |   313309 |   246232 |    10498     39 |        0 |        0
872.85/873.00	c  872s |      17 |   313990 |   246832 |    10498     39 |        0 |        0
875.16/875.32	c  875s |      17 |   314654 |   247432 |    10498     39 |        0 |        0
877.26/877.49	c  877s |      17 |   315205 |   247932 |    10498     39 |        0 |        0
879.46/879.63	c  879s |      17 |   315542 |   248232 |    10498     40 |        0 |        0
881.76/881.95	c  881s |      17 |   316220 |   248832 |    10498     40 |        0 |        0
883.75/883.98	c  883s |      17 |   316758 |   249332 |    10498     40 |        0 |        0
886.05/886.21	c  886s |      17 |   317445 |   249932 |    10498     40 |        0 |        0
888.25/888.44	c  888s |      17 |   318117 |   250532 |    10498     40 |        0 |        0
890.26/890.47	c  890s |      17 |   318680 |   251032 |    10498     40 |        0 |        0
892.36/892.52	c  892s |      17 |   319225 |   251532 |    10498     40 |        0 |        0
894.65/894.81	c  894s |      17 |   319808 |   252032 |    10498     40 |        0 |        0
897.04/897.26	c  897s |      17 |   320364 |   252532 |    10498     40 |        0 |        0
899.15/899.32	c  899s |      17 |   321064 |   253132 |    10498     40 |        0 |        0
901.25/901.47	c  901s |      17 |   321836 |   253832 |    10498     40 |        0 |        0
903.35/903.51	c  903s |      17 |   322493 |   254432 |    10498     40 |        0 |        0
905.44/905.65	c  905s |      17 |   323156 |   255032 |    10498     40 |        0 |        0
907.65/907.87	c  907s |      17 |   323834 |   255632 |    10498     40 |        0 |        0
910.34/910.59	c  910s |      17 |   324438 |   256132 |    10498     41 |        0 |        0
912.64/912.81	c  912s |      17 |   325219 |   256832 |    10498     41 |        0 |        0
914.73/914.90	c  914s |      17 |   325894 |   257432 |    10498     41 |        0 |        0
916.83/917.09	c  917s |      17 |   326563 |   258032 |    10498     41 |        0 |        0
919.34/919.51	c  919s |      17 |   327238 |   258632 |    10498     41 |        0 |        0
921.64/921.87	c  921s |      17 |   327898 |   259232 |    10498     41 |        0 |        0
923.74/923.92	c  923s |      17 |   328452 |   259732 |    10498     41 |        0 |        0
926.04/926.27	c  926s |      17 |   328984 |   260232 |    10498     41 |        0 |        0
928.33/928.54	c  928s |      17 |   329536 |   260732 |    10498     41 |        0 |        0
930.53/930.78	c  930s |      17 |   330187 |   261332 |    10498     41 |        0 |        0
932.63/932.86	c  932s |      17 |   330901 |   261932 |    10498     41 |        0 |        0
934.72/934.96	c  934s |      17 |   331563 |   262532 |    10498     41 |        0 |        0
936.92/937.17	c  937s |      17 |   332290 |   263132 |    10498     41 |        0 |        0
939.23/939.43	c  939s |      17 |   332962 |   263732 |    10498     41 |        0 |        0
941.62/941.85	c  941s |      17 |   333403 |   264132 |    10498     42 |        0 |        0
943.91/944.13	c  944s |      17 |   334042 |   264732 |    10498     42 |        0 |        0
946.22/946.40	c  946s |      17 |   334480 |   265132 |    10498     42 |        0 |        0
948.31/948.52	c  948s |      17 |   335037 |   265632 |    10498     42 |        0 |        0
950.71/950.90	c  950s |      17 |   335713 |   266232 |    10498     42 |        0 |        0
952.92/953.18	c  953s |      17 |   336258 |   266732 |    10498     42 |        0 |        0
955.21/955.45	c  955s |      17 |   336815 |   267232 |    10498     42 |        0 |        0
957.31/957.53	c  957s |      17 |   337512 |   267832 |    10498     42 |        0 |        0
959.60/959.85	c  959s |      17 |   338210 |   268432 |    10498     42 |        0 |        0
961.81/962.00	c  961s |      17 |   338767 |   268932 |    10498     42 |        0 |        0
964.20/964.42	c  964s |      17 |   339306 |   269432 |    10498     42 |        0 |        0
966.60/966.82	c  966s |      17 |   339853 |   269932 |    10498     42 |        0 |        0
968.91/969.16	c  969s |      17 |   340395 |   270432 |    10498     42 |        0 |        0
971.21/971.46	c  971s |      17 |   340918 |   270932 |    10498     42 |        0 |        0
973.41/973.64	c  973s |      17 |   341363 |   271332 |    10498     42 |        0 |        0
975.50/975.79	c  975s |      17 |   341792 |   271732 |    10498     42 |        0 |        0
978.00/978.24	c  978s |      17 |   342242 |   272132 |    10498     43 |        0 |        0
980.30/980.51	c  980s |      17 |   342908 |   272732 |    10498     43 |        0 |        0
982.49/982.74	c  982s |      17 |   343557 |   273332 |    10498     43 |        0 |        0
984.89/985.10	c  985s |      17 |   344246 |   273932 |    10498     43 |        0 |        0
986.99/987.26	c  987s |      17 |   345073 |   274632 |    10498     43 |        0 |        0
989.39/989.63	c  989s |      17 |   345891 |   275332 |    10498     43 |        0 |        0
991.69/991.90	c  991s |      17 |   346577 |   275932 |    10498     43 |        0 |        0
993.98/994.22	c  994s |      17 |   347237 |   276532 |    10498     43 |        0 |        0
996.08/996.30	c  996s |      17 |   347769 |   277032 |    10498     43 |        0 |        0
998.28/998.54	c  998s |      17 |   348474 |   277632 |    10498     43 |        0 |        0
1000.48/1000.71	c 1000s |      17 |   349197 |   278232 |    10498     43 |        0 |        0
1002.48/1002.71	c 1002s |      17 |   349867 |   278832 |    10498     43 |        0 |        0
1004.87/1005.19	c 1005s |      17 |   350543 |   279432 |    10498     43 |        0 |        0
1007.39/1007.64	c 1007s |      17 |   351239 |   280032 |    10498     43 |        0 |        0
1009.68/1009.90	c 1009s |      17 |   351586 |   280332 |    10498     44 |        0 |        0
1011.68/1011.97	c 1011s |      17 |   352411 |   281032 |    10498     44 |        0 |        0
1013.87/1014.20	c 1014s |      17 |   353081 |   281632 |    10498     44 |        0 |        0
1016.07/1016.37	c 1016s |      17 |   353771 |   282232 |    10498     44 |        0 |        0
1018.16/1018.42	c 1018s |      17 |   354499 |   282832 |    10498     44 |        0 |        0
1020.37/1020.64	c 1020s |      17 |   355179 |   283432 |    10498     44 |        0 |        0
1022.67/1022.93	c 1022s |      17 |   355852 |   284032 |    10498     44 |        0 |        0
1024.86/1025.14	c 1025s |      17 |   356547 |   284632 |    10498     44 |        0 |        0
1027.06/1027.34	c 1027s |      17 |   357223 |   285232 |    10498     44 |        0 |        0
1029.17/1029.42	c 1029s |      17 |   357771 |   285732 |    10498     44 |        0 |        0
1031.57/1031.87	c 1031s |      17 |   358431 |   286332 |    10498     44 |        0 |        0
1033.66/1033.99	c 1033s |      17 |   358986 |   286832 |    10498     44 |        0 |        0
1035.86/1036.16	c 1036s |      17 |   359556 |   287332 |    10498     44 |        0 |        0
1037.85/1038.17	c 1038s |      17 |   359976 |   287732 |    10498     44 |        0 |        0
1040.96/1041.25	c 1041s |      17 |   360554 |   288232 |    10498     45 |        0 |        0
1043.26/1043.53	c 1043s |      17 |   361234 |   288832 |    10498     45 |        0 |        0
1045.35/1045.69	c 1045s |      17 |   361788 |   289332 |    10498     45 |        0 |        0
1047.65/1047.97	c 1047s |      17 |   362466 |   289932 |    10498     45 |        0 |        0
1049.85/1050.11	c 1050s |      17 |   363188 |   290532 |    10498     45 |        0 |        0
1052.15/1052.45	c 1052s |      17 |   363871 |   291132 |    10498     45 |        0 |        0
1054.35/1054.67	c 1054s |      17 |   364428 |   291632 |    10498     45 |        0 |        0
1056.44/1056.80	c 1056s |      17 |   364994 |   292132 |    10498     45 |        0 |        0
1058.64/1058.95	c 1058s |      17 |   365611 |   292632 |    10498     45 |        0 |        0
1061.14/1061.43	c 1061s |      17 |   366177 |   293132 |    10498     45 |        0 |        0
1063.25/1063.57	c 1063s |      17 |   366779 |   293632 |    10498     45 |        0 |        0
1065.34/1065.65	c 1065s |      17 |   367463 |   294232 |    11548     45 |        0 |        0
1067.54/1067.87	c 1067s |      17 |   368163 |   294832 |    11548     45 |        0 |        0
1069.64/1069.98	c 1069s |      17 |   368730 |   295332 |    11548     45 |        0 |        0
1071.74/1072.04	c 1071s |      17 |   369294 |   295832 |    11548     45 |        0 |        0
1073.44/1073.75	c 1073s |      18 |   369787 |   296252 |    11548     45 |        0 |        0
1075.94/1076.25	c 1076s |      18 |   372726 |   296352 |    11548     46 |        0 |        0
1078.14/1078.40	c 1078s |      18 |   374074 |   297552 |    11548     46 |        0 |        0
1080.33/1080.62	c 1080s |      18 |   375217 |   298552 |    11548     46 |        0 |        0
1082.44/1082.75	c 1082s |      18 |   376222 |   299452 |    11548     46 |        0 |        0
1084.63/1084.94	c 1084s |      18 |   377134 |   300252 |    11548     46 |        0 |        0
1086.73/1087.00	c 1086s |      18 |   377915 |   300952 |    11548     46 |        0 |        0
1088.73/1089.05	c 1088s |      18 |   378603 |   301552 |    11548     46 |        0 |        0
1090.83/1091.16	c 1091s |      18 |   379266 |   302152 |    11548     46 |        0 |        0
1093.03/1093.31	c 1093s |      18 |   379970 |   302752 |    11548     46 |        0 |        0
1095.12/1095.48	c 1095s |      18 |   380791 |   303452 |    11548     46 |        0 |        0
1098.23/1098.57	c 1098s |      18 |   381600 |   304152 |    11548     47 |        0 |        0
1100.43/1100.74	c 1100s |      18 |   382288 |   304752 |    11548     47 |        0 |        0
1102.62/1102.97	c 1102s |      18 |   382941 |   305352 |    11548     47 |        0 |        0
1104.62/1104.97	c 1104s |      18 |   383490 |   305852 |    11548     47 |        0 |        0
1106.82/1107.18	c 1107s |      18 |   384181 |   306452 |    11548     47 |        0 |        0
1108.92/1109.26	c 1109s |      18 |   384903 |   307052 |    11548     47 |        0 |        0
1110.92/1111.29	c 1111s |      18 |   385480 |   307552 |    11548     47 |        0 |        0
1113.03/1113.35	c 1113s |      18 |   386052 |   308052 |    11548     47 |        0 |        0
1115.01/1115.36	c 1115s |      18 |   386663 |   308552 |    11548     47 |        0 |        0
1117.21/1117.50	c 1117s |      18 |   387271 |   309052 |    11548     47 |        0 |        0
1119.62/1119.92	c 1119s |      18 |   387844 |   309552 |    11548     47 |        0 |        0
1121.91/1122.22	c 1122s |      18 |   388424 |   310052 |    11548     47 |        0 |        0
1124.01/1124.34	c 1124s |      18 |   388998 |   310552 |    11548     47 |        0 |        0
1126.11/1126.46	c 1126s |      18 |   389464 |   310952 |    11548     47 |        0 |        0
1128.50/1128.84	c 1128s |      18 |   390038 |   311452 |    11548     47 |        0 |        0
1131.11/1131.41	c 1131s |      18 |   390616 |   311952 |    11548     48 |        0 |        0
1133.11/1133.47	c 1133s |      18 |   391320 |   312552 |    11548     48 |        0 |        0
1135.10/1135.47	c 1135s |      18 |   392012 |   313152 |    11548     48 |        0 |        0
1137.30/1137.62	c 1137s |      18 |   392693 |   313752 |    11548     48 |        0 |        0
1139.50/1139.86	c 1139s |      18 |   393382 |   314352 |    11548     48 |        0 |        0
1141.81/1142.17	c 1142s |      18 |   394064 |   314952 |    11548     48 |        0 |        0
1143.90/1144.28	c 1144s |      18 |   394621 |   315452 |    11548     48 |        0 |        0
1146.10/1146.49	c 1146s |      18 |   395335 |   316052 |    11548     48 |        0 |        0
1148.29/1148.69	c 1148s |      18 |   396192 |   316752 |    11548     48 |        0 |        0
1150.40/1150.72	c 1150s |      18 |   396906 |   317352 |    11548     48 |        0 |        0
1152.60/1152.92	c 1152s |      18 |   397622 |   317952 |    11548     48 |        0 |        0
1154.80/1155.12	c 1155s |      18 |   398368 |   318552 |    11548     48 |        0 |        0
1157.09/1157.47	c 1157s |      18 |   399077 |   319152 |    11548     48 |        0 |        0
1160.09/1160.45	c 1160s |      18 |   399788 |   319752 |    11548     49 |        0 |        0
1162.39/1162.71	c 1162s |      18 |   400488 |   320352 |    11548     49 |        0 |        0
1164.59/1164.98	c 1164s |      18 |   401311 |   321052 |    11548     49 |        0 |        0
1166.68/1167.04	c 1166s |      18 |   402003 |   321652 |    11548     49 |        0 |        0
1168.88/1169.21	c 1169s |      18 |   402702 |   322252 |    11548     49 |        0 |        0
1170.98/1171.32	c 1171s |      18 |   403387 |   322852 |    11548     49 |        0 |        0
1172.98/1173.37	c 1173s |      18 |   403931 |   323352 |    11548     49 |        0 |        0
1175.17/1175.50	c 1175s |      18 |   404498 |   323852 |    11548     49 |        0 |        0
1177.28/1177.62	c 1177s |      18 |   405176 |   324452 |    11548     49 |        0 |        0
1179.48/1179.89	c 1179s |      18 |   405846 |   325052 |    11548     49 |        0 |        0
1181.78/1182.16	c 1182s |      18 |   406410 |   325552 |    11548     49 |        0 |        0
1184.17/1184.58	c 1184s |      18 |   406976 |   326052 |    11548     49 |        0 |        0
1186.77/1187.13	c 1187s |      18 |   407521 |   326552 |    11548     49 |        0 |        0
1189.07/1189.48	c 1189s |      18 |   408096 |   327052 |    11548     49 |        0 |        0
1191.27/1191.63	c 1191s |      18 |   408657 |   327552 |    11548     49 |        0 |        0
1193.37/1193.74	c 1193s |      18 |   409096 |   327952 |    11548     50 |        0 |        0
1195.66/1196.00	c 1195s |      18 |   409665 |   328452 |    11548     50 |        0 |        0
1197.86/1198.29	c 1198s |      18 |   410444 |   329152 |    11548     50 |        0 |        0
1200.06/1200.44	c 1200s |      18 |   411162 |   329752 |    11548     50 |        0 |        0
1202.37/1202.73	c 1202s |      18 |   411854 |   330352 |    11548     50 |        0 |        0
1204.76/1205.12	c 1205s |      18 |   412517 |   330952 |    11548     50 |        0 |        0
1207.06/1207.41	c 1207s |      18 |   413065 |   331452 |    11548     50 |        0 |        0
1209.16/1209.51	c 1209s |      18 |   413646 |   331952 |    11548     50 |        0 |        0
1211.45/1211.81	c 1211s |      18 |   414240 |   332452 |    11548     50 |        0 |        0
1213.76/1214.12	c 1214s |      18 |   414808 |   332952 |    11548     50 |        0 |        0
1215.85/1216.26	c 1216s |      18 |   415236 |   333352 |    11548     50 |        0 |        0
1218.05/1218.42	c 1218s |      18 |   415822 |   333852 |    11548     50 |        0 |        0
1220.45/1220.82	c 1220s |      18 |   416384 |   334352 |    11548     50 |        0 |        0
1222.55/1222.98	c 1222s |      18 |   416837 |   334752 |    11548     50 |        0 |        0
1224.65/1225.05	c 1224s |      18 |   417269 |   335152 |    11548     50 |        0 |        0
1227.54/1227.99	c 1227s |      18 |   417716 |   335552 |    11548     51 |        0 |        0
1229.85/1230.28	c 1230s |      18 |   418268 |   336052 |    11548     51 |        0 |        0
1232.05/1232.40	c 1232s |      18 |   418848 |   336552 |    11548     51 |        0 |        0
1234.14/1234.50	c 1234s |      18 |   419416 |   337052 |    11548     51 |        0 |        0
1236.15/1236.59	c 1236s |      18 |   419990 |   337552 |    11548     51 |        0 |        0
1238.35/1238.78	c 1238s |      18 |   420579 |   338052 |    11548     51 |        0 |        0
1240.65/1241.07	c 1240s |      18 |   421159 |   338552 |    11548     51 |        0 |        0
1242.94/1243.34	c 1243s |      18 |   421869 |   339152 |    11548     51 |        0 |        0
1245.34/1245.78	c 1245s |      18 |   422569 |   339752 |    11548     51 |        0 |        0
1247.53/1248.00	c 1247s |      18 |   423137 |   340252 |    11548     51 |        0 |        0
1249.74/1250.14	c 1250s |      18 |   423705 |   340752 |    11548     51 |        0 |        0
1251.84/1252.29	c 1252s |      18 |   424287 |   341252 |    11548     51 |        0 |        0
1254.23/1254.68	c 1254s |      18 |   424860 |   341752 |    11548     51 |        0 |        0
1256.63/1257.06	c 1256s |      18 |   425408 |   342252 |    11548     51 |        0 |        0
1258.73/1259.17	c 1259s |      18 |   425889 |   342652 |    11548     51 |        0 |        0
1260.83/1261.20	c 1261s |      18 |   426473 |   343152 |    11548     51 |        0 |        0
1263.04/1263.46	c 1263s |      18 |   426908 |   343552 |    11548     52 |        0 |        0
1265.43/1265.84	c 1265s |      18 |   427464 |   344052 |    11548     52 |        0 |        0
1267.63/1268.04	c 1267s |      18 |   428018 |   344552 |    11548     52 |        0 |        0
1269.84/1270.23	c 1270s |      18 |   428569 |   345052 |    11548     52 |        0 |        0
1272.13/1272.59	c 1272s |      18 |   429108 |   345552 |    11548     52 |        0 |        0
1274.43/1274.83	c 1274s |      18 |   429687 |   346052 |    11548     52 |        0 |        0
1276.84/1277.23	c 1277s |      18 |   430216 |   346552 |    11548     52 |        0 |        0
1279.13/1279.50	c 1279s |      18 |   430767 |   347052 |    11548     52 |        0 |        0
1281.43/1281.88	c 1281s |      18 |   431432 |   347652 |    11548     52 |        0 |        0
1283.63/1284.03	c 1283s |      18 |   431994 |   348152 |    11548     52 |        0 |        0
1285.92/1286.36	c 1286s |      18 |   432531 |   348652 |    11548     52 |        0 |        0
1288.22/1288.61	c 1288s |      18 |   433075 |   349152 |    11548     52 |        0 |        0
1290.52/1290.99	c 1290s |      18 |   433625 |   349652 |    11548     52 |        0 |        0
1293.02/1293.44	c 1293s |      18 |   434190 |   350152 |    11548     52 |        0 |        0
1295.12/1295.55	c 1295s |      18 |   434631 |   350552 |    11548     52 |        0 |        0
1297.42/1297.83	c 1297s |      18 |   435169 |   351052 |    11548     52 |        0 |        0
1299.61/1300.04	c 1299s |      18 |   435499 |   351352 |    11548     53 |        0 |        0
1301.91/1302.32	c 1302s |      18 |   436056 |   351852 |    11548     53 |        0 |        0
1304.02/1304.40	c 1304s |      18 |   436613 |   352352 |    11548     53 |        0 |        0
1306.31/1306.77	c 1306s |      18 |   437169 |   352852 |    11548     53 |        0 |        0
1308.72/1309.11	c 1309s |      18 |   437598 |   353252 |    11548     53 |        0 |        0
1310.92/1311.37	c 1311s |      18 |   438297 |   353852 |    11548     53 |        0 |        0
1313.02/1313.44	c 1313s |      18 |   438835 |   354352 |    11548     53 |        0 |        0
1315.40/1315.83	c 1315s |      18 |   439507 |   354952 |    11548     53 |        0 |        0
1317.41/1317.84	c 1317s |      18 |   440045 |   355452 |    11548     53 |        0 |        0
1319.62/1320.01	c 1319s |      18 |   440603 |   355952 |    11548     53 |        0 |        0
1321.71/1322.13	c 1322s |      18 |   441144 |   356452 |    11548     53 |        0 |        0
1323.90/1324.38	c 1324s |      18 |   441701 |   356952 |    11548     53 |        0 |        0
1326.40/1326.80	c 1326s |      18 |   442258 |   357452 |    11548     53 |        0 |        0
1328.80/1329.23	c 1329s |      18 |   442825 |   357952 |    11548     53 |        0 |        0
1331.30/1331.70	c 1331s |      18 |   443363 |   358452 |    11548     53 |        0 |        0
1333.40/1333.89	c 1333s |      18 |   443812 |   358852 |    11548     53 |        0 |        0
1335.89/1336.34	c 1336s |      18 |   444159 |   359152 |    11548     54 |        0 |        0
1338.30/1338.71	c 1338s |      18 |   444737 |   359652 |    11548     54 |        0 |        0
1340.50/1340.99	c 1340s |      18 |   445315 |   360152 |    11548     54 |        0 |        0
1342.60/1343.00	c 1342s |      18 |   445752 |   360552 |    11548     54 |        0 |        0
1345.09/1345.51	c 1345s |      18 |   446309 |   361052 |    11548     54 |        0 |        0
1347.49/1347.98	c 1347s |      18 |   446846 |   361552 |    11548     54 |        0 |        0
1349.89/1350.39	c 1350s |      18 |   447282 |   361952 |    11548     54 |        0 |        0
1352.19/1352.61	c 1352s |      18 |   447731 |   362352 |    11548     54 |        0 |        0
1354.59/1355.01	c 1354s |      18 |   448147 |   362752 |    11548     54 |        0 |        0
1356.58/1357.09	c 1357s |      18 |   448485 |   363052 |    11548     54 |        0 |        0
1358.68/1359.16	c 1359s |      18 |   449048 |   363552 |    11548     54 |        0 |        0
1360.78/1361.27	c 1361s |      18 |   449629 |   364052 |    11548     54 |        0 |        0
1363.29/1363.73	c 1363s |      18 |   450284 |   364652 |    11548     54 |        0 |        0
1365.28/1365.78	c 1365s |      18 |   450849 |   365152 |    11548     54 |        0 |        0
1367.57/1368.05	c 1367s |      18 |   451421 |   365652 |    11548     54 |        0 |        0
1370.07/1370.50	c 1370s |      18 |   451994 |   366152 |    11548     54 |        0 |        0
1372.57/1373.00	c 1372s |      18 |   452533 |   366652 |    11548     54 |        0 |        0
1375.07/1375.58	c 1375s |      18 |   452849 |   366952 |    11548     55 |        0 |        0
1377.47/1377.95	c 1377s |      18 |   453405 |   367452 |    11548     55 |        0 |        0
1379.77/1380.22	c 1380s |      18 |   453977 |   367952 |    11548     55 |        0 |        0
1381.97/1382.46	c 1382s |      18 |   454524 |   368452 |    11548     55 |        0 |        0
1384.16/1384.67	c 1384s |      18 |   455068 |   368952 |    11548     55 |        0 |        0
1386.67/1387.14	c 1387s |      18 |   455608 |   369452 |    11548     55 |        0 |        0
1389.06/1389.58	c 1389s |      18 |   456151 |   369952 |    11548     55 |        0 |        0
1391.26/1391.77	c 1391s |      18 |   456583 |   370352 |    11548     55 |        0 |        0
1393.46/1393.92	c 1393s |      18 |   457002 |   370752 |    11548     55 |        0 |        0
1395.66/1396.16	c 1396s |      18 |   457432 |   371152 |    11548     55 |        0 |        0
1397.76/1398.23	c 1398s |      18 |   457872 |   371552 |    11548     55 |        0 |        0
1400.05/1400.56	c 1400s |      18 |   458307 |   371952 |    11548     55 |        0 |        0
1402.16/1402.65	c 1402s |      18 |   458668 |   372252 |    11548     55 |        0 |        0
1404.46/1404.96	c 1404s |      18 |   459378 |   372852 |    11548     55 |        0 |        0
1406.66/1407.19	c 1407s |      18 |   460076 |   373452 |    11548     55 |        0 |        0
1409.05/1409.55	c 1409s |      18 |   460778 |   374052 |    11548     55 |        0 |        0
1411.45/1411.95	c 1411s |      18 |   461365 |   374552 |    11548     55 |        0 |        0
1413.75/1414.21	c 1414s |      18 |   461829 |   374952 |    11548     56 |        0 |        0
1415.75/1416.28	c 1416s |      18 |   462290 |   375352 |    11548     56 |        0 |        0
1417.95/1418.46	c 1418s |      18 |   462969 |   375952 |    11548     56 |        0 |        0
1420.35/1420.84	c 1420s |      18 |   463644 |   376552 |    11548     56 |        0 |        0
1422.64/1423.18	c 1423s |      18 |   464176 |   377052 |    11548     56 |        0 |        0
1424.75/1425.28	c 1425s |      18 |   464717 |   377552 |    11548     56 |        0 |        0
1426.95/1427.46	c 1427s |      18 |   465291 |   378052 |    11548     56 |        0 |        0
1429.34/1429.82	c 1429s |      18 |   465833 |   378552 |    11548     56 |        0 |        0
1431.65/1432.16	c 1432s |      18 |   466389 |   379052 |    11548     56 |        0 |        0
1434.05/1434.59	c 1434s |      18 |   466935 |   379552 |    11548     56 |        0 |        0
1436.24/1436.71	c 1436s |      18 |   467355 |   379952 |    11548     56 |        0 |        0
1438.73/1439.22	c 1439s |      18 |   467904 |   380452 |    11548     56 |        0 |        0
1440.83/1441.34	c 1441s |      18 |   468341 |   380852 |    11548     56 |        0 |        0
1443.04/1443.55	c 1443s |      18 |   468909 |   381352 |    11548     56 |        0 |        0
1445.43/1445.90	c 1445s |      18 |   469454 |   381852 |    11548     56 |        0 |        0
1447.53/1448.06	c 1447s |      18 |   469900 |   382252 |    11548     56 |        0 |        0
1449.63/1450.16	c 1450s |      18 |   470353 |   382652 |    11548     56 |        0 |        0
1451.73/1452.27	c 1452s |      18 |   470674 |   382952 |    11548     57 |        0 |        0
1454.33/1454.81	c 1454s |      18 |   471234 |   383452 |    11548     57 |        0 |        0
1456.52/1457.09	c 1457s |      18 |   471755 |   383952 |    11548     57 |        0 |        0
1459.02/1459.50	c 1459s |      18 |   472322 |   384452 |    11548     57 |        0 |        0
1461.32/1461.86	c 1461s |      18 |   472877 |   384952 |    11548     57 |        0 |        0
1463.43/1463.91	c 1463s |      18 |   473313 |   385352 |    11548     57 |        0 |        0
1465.62/1466.10	c 1466s |      18 |   473759 |   385752 |    11548     57 |        0 |        0
1467.82/1468.38	c 1468s |      18 |   474193 |   386152 |    11548     57 |        0 |        0
1470.02/1470.53	c 1470s |      18 |   474632 |   386552 |    11548     57 |        0 |        0
1472.22/1472.74	c 1472s |      18 |   475080 |   386952 |    11548     57 |        0 |        0
1474.51/1475.06	c 1474s |      18 |   475540 |   387352 |    11548     57 |        0 |        0
1476.92/1477.43	c 1477s |      18 |   475978 |   387752 |    11548     57 |        0 |        0
1479.21/1479.72	c 1479s |      18 |   476439 |   388152 |    11548     57 |        0 |        0
1481.61/1482.19	c 1482s |      18 |   476906 |   388552 |    11548     57 |        0 |        0
1484.21/1484.72	c 1484s |      18 |   477376 |   388952 |    11548     57 |        0 |        0
1486.51/1487.08	c 1487s |      18 |   477836 |   389352 |    11548     57 |        0 |        0
1488.92/1489.41	c 1489s |      18 |   478302 |   389752 |    11548     57 |        0 |        0
1491.41/1491.90	c 1491s |      18 |   478772 |   390152 |    11548     57 |        0 |        0
1494.60/1495.18	c 1495s |      18 |   479261 |   390552 |    11548     58 |        0 |        0
1497.01/1497.51	c 1497s |      18 |   479816 |   391052 |    11548     58 |        0 |        0
1499.30/1499.89	c 1499s |      18 |   480381 |   391552 |    11548     58 |        0 |        0
1501.40/1501.95	c 1501s |      18 |   480828 |   391952 |    11548     58 |        0 |        0
1503.60/1504.16	c 1504s |      18 |   481315 |   392352 |    11548     58 |        0 |        0
1505.80/1506.36	c 1506s |      18 |   481991 |   392952 |    11548     58 |        0 |        0
1507.90/1508.44	c 1508s |      18 |   482525 |   393452 |    11548     58 |        0 |        0
1509.90/1510.47	c 1510s |      18 |   483066 |   393952 |    11548     58 |        0 |        0
1512.00/1512.52	c 1512s |      18 |   483613 |   394452 |    11548     58 |        0 |        0
1514.09/1514.66	c 1514s |      18 |   484187 |   394952 |    11548     58 |        0 |        0
1516.19/1516.71	c 1516s |      18 |   484742 |   395452 |    11548     58 |        0 |        0
1518.49/1519.04	c 1518s |      18 |   485320 |   395952 |    11548     58 |        0 |        0
1521.00/1521.56	c 1521s |      18 |   485873 |   396452 |    11548     58 |        0 |        0
1523.19/1523.72	c 1523s |      18 |   486460 |   396952 |    11548     58 |        0 |        0
1525.39/1525.93	c 1525s |      18 |   487022 |   397452 |    11548     58 |        0 |        0
1527.79/1528.32	c 1528s |      18 |   487581 |   397952 |    11548     58 |        0 |        0
1530.59/1531.16	c 1531s |      18 |   488123 |   398452 |    11548     59 |        0 |        0
1532.99/1533.52	c 1533s |      18 |   488811 |   399052 |    11548     59 |        0 |        0
1534.98/1535.56	c 1535s |      18 |   489376 |   399552 |    11548     59 |        0 |        0
1537.28/1537.85	c 1537s |      18 |   489923 |   400052 |    11548     59 |        0 |        0
1539.48/1540.04	c 1539s |      18 |   490477 |   400552 |    11548     59 |        0 |        0
1541.58/1542.16	c 1542s |      18 |   491042 |   401052 |    11548     59 |        0 |        0
1543.89/1544.49	c 1544s |      18 |   491600 |   401552 |    11548     59 |        0 |        0
1546.27/1546.81	c 1546s |      18 |   492149 |   402052 |    11548     59 |        0 |        0
1548.67/1549.26	c 1549s |      18 |   492686 |   402552 |    11548     59 |        0 |        0
1550.77/1551.32	c 1551s |      18 |   493136 |   402952 |    11548     59 |        0 |        0
1552.88/1553.45	c 1553s |      18 |   493573 |   403352 |    11548     59 |        0 |        0
1555.08/1555.61	c 1555s |      18 |   494004 |   403752 |    11548     59 |        0 |        0
1557.08/1557.69	c 1557s |      18 |   494437 |   404152 |    11548     59 |        0 |        0
1559.18/1559.77	c 1559s |      18 |   494891 |   404552 |    11548     59 |        0 |        0
1561.37/1561.99	c 1561s |      18 |   495316 |   404952 |    11548     59 |        0 |        0
1563.78/1564.34	c 1564s |      18 |   495745 |   405352 |    11548     59 |        0 |        0
1566.28/1566.82	c 1566s |      18 |   496168 |   405752 |    11548     59 |        0 |        0
1568.27/1568.89	c 1568s |      18 |   496509 |   406052 |    11548     59 |        0 |        0
1570.97/1571.50	c 1571s |      18 |   496827 |   406352 |    11548     60 |        0 |        0
1572.98/1573.53	c 1573s |      18 |   497171 |   406652 |    11548     60 |        0 |        0
1575.27/1575.86	c 1575s |      18 |   497699 |   407152 |    11548     60 |        0 |        0
1577.77/1578.35	c 1578s |      18 |   498249 |   407652 |    11548     60 |        0 |        0
1579.88/1580.48	c 1580s |      18 |   498688 |   408052 |    11548     60 |        0 |        0
1582.07/1582.63	c 1582s |      18 |   499125 |   408452 |    11548     60 |        0 |        0
1584.17/1584.78	c 1584s |      18 |   499575 |   408852 |    11548     60 |        0 |        0
1586.67/1587.24	c 1587s |      18 |   500138 |   409352 |    11548     60 |        0 |        0
1588.87/1589.45	c 1589s |      18 |   500559 |   409752 |    11548     60 |        0 |        0
1591.17/1591.71	c 1591s |      18 |   500994 |   410152 |    11548     60 |        0 |        0
1593.57/1594.12	c 1594s |      18 |   501440 |   410552 |    11548     60 |        0 |        0
1595.87/1596.46	c 1596s |      18 |   502004 |   411052 |    11548     60 |        0 |        0
1597.97/1598.52	c 1598s |      18 |   502433 |   411452 |    11548     60 |        0 |        0
1600.37/1600.96	c 1600s |      18 |   502968 |   411952 |    11548     60 |        0 |        0
1602.87/1603.42	c 1603s |      18 |   503413 |   412352 |    11548     60 |        0 |        0
1605.16/1605.77	c 1605s |      18 |   503866 |   412752 |    11548     60 |        0 |        0
1607.46/1608.08	c 1608s |      18 |   504304 |   413152 |    11548     60 |        0 |        0
1609.87/1610.49	c 1610s |      18 |   504730 |   413552 |    11548     60 |        0 |        0
1611.97/1612.58	c 1612s |      18 |   505169 |   413952 |    11548     60 |        0 |        0
1615.26/1615.85	c 1615s |      18 |   505500 |   414252 |    11548     61 |        0 |        0
1617.57/1618.18	c 1618s |      18 |   506052 |   414752 |    11548     61 |        0 |        0
1620.16/1620.70	c 1620s |      18 |   506602 |   415252 |    11548     61 |        0 |        0
1622.37/1622.91	c 1622s |      18 |   507037 |   415652 |    11548     61 |        0 |        0
1624.46/1625.09	c 1625s |      18 |   507481 |   416052 |    11548     61 |        0 |        0
1626.56/1627.15	c 1627s |      18 |   507914 |   416452 |    11548     61 |        0 |        0
1628.86/1629.43	c 1629s |      18 |   508353 |   416852 |    11548     61 |        0 |        0
1631.26/1631.85	c 1631s |      18 |   508788 |   417252 |    11548     61 |        0 |        0
1633.56/1634.19	c 1634s |      18 |   509226 |   417652 |    11548     61 |        0 |        0
1635.96/1636.59	c 1636s |      18 |   509657 |   418052 |    11548     61 |        0 |        0
1638.16/1638.75	c 1638s |      18 |   510097 |   418452 |    11548     61 |        0 |        0
1640.36/1640.98	c 1640s |      18 |   510683 |   418952 |    11548     61 |        0 |        0
1642.56/1643.16	c 1643s |      18 |   511246 |   419452 |    11548     61 |        0 |        0
1644.86/1645.47	c 1645s |      18 |   511805 |   419952 |    11548     61 |        0 |        0
1647.16/1647.74	c 1647s |      18 |   512261 |   420352 |    11548     61 |        0 |        0
1649.36/1649.96	c 1649s |      18 |   512713 |   420752 |    11548     61 |        0 |        0
1651.66/1652.22	c 1652s |      18 |   513160 |   421152 |    11548     61 |        0 |        0
1653.86/1654.44	c 1654s |      18 |   513621 |   421552 |    11548     61 |        0 |        0
1656.17/1656.75	c 1656s |      18 |   514083 |   421952 |    11548     61 |        0 |        0
1658.27/1658.89	c 1658s |      18 |   514417 |   422252 |    11548     62 |        0 |        0
1660.57/1661.15	c 1661s |      18 |   514858 |   422652 |    11548     62 |        0 |        0
1662.86/1663.46	c 1663s |      18 |   515406 |   423152 |    11548     62 |        0 |        0
1664.96/1665.55	c 1665s |      18 |   515981 |   423652 |    11548     62 |        0 |        0
1667.35/1667.92	c 1667s |      18 |   516539 |   424152 |    11548     62 |        0 |        0
1669.66/1670.20	c 1670s |      18 |   517124 |   424652 |    11548     62 |        0 |        0
1671.66/1672.29	c 1672s |      18 |   517555 |   425052 |    11548     62 |        0 |        0
1673.76/1674.36	c 1674s |      18 |   517999 |   425452 |    11548     62 |        0 |        0
1675.97/1676.55	c 1676s |      18 |   518450 |   425852 |    11548     62 |        0 |        0
1678.36/1678.97	c 1678s |      18 |   519021 |   426352 |    11548     62 |        0 |        0
1680.86/1681.46	c 1681s |      18 |   519569 |   426852 |    11548     62 |        0 |        0
1683.36/1683.93	c 1683s |      18 |   520107 |   427352 |    11548     62 |        0 |        0
1685.46/1686.00	c 1685s |      18 |   520541 |   427752 |    11548     62 |        0 |        0
1687.85/1688.49	c 1688s |      18 |   521120 |   428252 |    11548     62 |        0 |        0
1689.95/1690.51	c 1690s |      18 |   521560 |   428652 |    11548     62 |        0 |        0
1692.26/1692.83	c 1692s |      18 |   522116 |   429152 |    11548     62 |        0 |        0
1694.66/1695.23	c 1695s |      18 |   522691 |   429652 |    11548     62 |        0 |        0
1696.86/1697.42	c 1697s |      18 |   523026 |   429952 |    11548     63 |        0 |        0
1700.85/1701.40	c 1701s |      18 |   523470 |   430352 |    11548     63 |        0 |        0
1703.06/1703.60	c 1703s |      18 |   524026 |   430852 |    11548     63 |        0 |        0
1705.25/1705.83	c 1705s |      18 |   524566 |   431352 |    11548     63 |        0 |        0
1707.55/1708.12	c 1708s |      18 |   525105 |   431852 |    11548     63 |        0 |        0
1709.85/1710.41	c 1710s |      18 |   525659 |   432352 |    11548     63 |        0 |        0
1711.85/1712.44	c 1712s |      18 |   526102 |   432752 |    11548     63 |        0 |        0
1714.05/1714.65	c 1714s |      18 |   526533 |   433152 |    11548     63 |        0 |        0
1716.56/1717.12	c 1717s |      18 |   527074 |   433652 |    11548     63 |        0 |        0
1718.65/1719.20	c 1719s |      18 |   527512 |   434052 |    11548     63 |        0 |        0
1720.95/1721.60	c 1721s |      18 |   527955 |   434452 |    11548     63 |        0 |        0
1723.15/1723.76	c 1723s |      18 |   528385 |   434852 |    11548     63 |        0 |        0
1725.46/1726.04	c 1725s |      18 |   528802 |   435252 |    11548     63 |        0 |        0
1727.95/1728.55	c 1728s |      18 |   529236 |   435652 |    11548     63 |        0 |        0
1730.15/1730.74	c 1730s |      18 |   529671 |   436052 |    11548     63 |        0 |        0
1732.35/1732.93	c 1732s |      18 |   530114 |   436452 |    11548     63 |        0 |        0
1734.75/1735.35	c 1735s |      18 |   530537 |   436852 |    11548     63 |        0 |        0
1737.04/1737.66	c 1737s |      18 |   530995 |   437252 |    11548     63 |        0 |        0
1739.75/1740.33	c 1740s |      18 |   531440 |   437652 |    11548     63 |        0 |        0
1741.85/1742.48	c 1742s |      18 |   531651 |   437852 |    11548     64 |        0 |        0
1743.95/1744.60	c 1744s |      18 |   532091 |   438252 |    11548     64 |        0 |        0
1746.35/1746.97	c 1746s |      18 |   532639 |   438752 |    11548     64 |        0 |        0
1748.64/1749.27	c 1749s |      18 |   533058 |   439152 |    11548     64 |        0 |        0
1750.84/1751.45	c 1751s |      18 |   533380 |   439452 |    11548     64 |        0 |        0
1753.15/1753.71	c 1753s |      18 |   533799 |   439852 |    11548     64 |        0 |        0
1755.45/1756.10	c 1756s |      18 |   534218 |   440252 |    11548     64 |        0 |        0
1757.75/1758.31	c 1758s |      18 |   534644 |   440652 |    11548     64 |        0 |        0
1759.94/1760.52	c 1760s |      18 |   535186 |   441152 |    11548     64 |        0 |        0
1762.14/1762.73	c 1762s |      18 |   535730 |   441652 |    12703     64 |        0 |        0
1764.34/1764.90	c 1764s |      18 |   536167 |   442052 |    12703     64 |        0 |        0
1766.55/1767.18	c 1767s |      18 |   536606 |   442452 |    12703     64 |        0 |        0
1768.74/1769.38	c 1769s |      18 |   537041 |   442852 |    12703     64 |        0 |        0
1771.04/1771.60	c 1771s |      18 |   537488 |   443252 |    12703     64 |        0 |        0
1773.54/1774.12	c 1774s |      18 |   537929 |   443652 |    12703     64 |        0 |        0
1775.95/1776.58	c 1776s |      18 |   538369 |   444052 |    12703     64 |        0 |        0
1778.25/1778.86	c 1778s |      18 |   538800 |   444452 |    12703     64 |        0 |        0
1778.44/1779.05	c 1778s |      19 |   538832 |   444482 |    12703     64 |        0 |        0
1781.24/1781.84	c 1781s |      19 |   542039 |   444582 |    12703     65 |        0 |        0
1783.24/1783.87	c 1783s |      19 |   543580 |   445882 |    12703     65 |        0 |        0
1785.44/1786.06	c 1785s |      19 |   545007 |   447082 |    12703     65 |        0 |        0
1787.64/1788.23	c 1788s |      19 |   546041 |   447982 |    12703     65 |        0 |        0
1789.64/1790.25	c 1790s |      19 |   546934 |   448782 |    12703     65 |        0 |        0
1791.74/1792.34	c 1792s |      19 |   547721 |   449482 |    12703     65 |        0 |        0
1793.94/1794.53	c 1794s |      19 |   548782 |   450382 |    12703     65 |        0 |        0
1795.94/1796.58	c 1796s |      19 |   549554 |   451082 |    12703     65 |        0 |        0
1798.13/1798.77	c 1798s |      19 |   550452 |   451882 |    12703     65 |        0 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.26 2.26 3/179 13871
/proc/meminfo: memFree=29334412/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=687684 CPUtime=0 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 2560 0 0 0 0 0 0 0 20 0 4 0 103962774 704188416 2921 33554432000 4194304 16246674 140733275174288 140733275173712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 172689 2931 442 2943 0 169583 0
[pid=13871/tid=13872] ppid=13868 vsize=710212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 727257088 3010 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=715332 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 732499968 3030 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=719428 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103962774 736694272 3046 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.28 2.26 2.26 3/179 13871
/proc/meminfo: memFree=29334412/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 24997 0 0 0 6 3 0 0 20 0 4 0 103962774 1251545088 25326 33554432000 4194304 16246674 140733275174288 140733275173600 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 305553 25326 778 2943 0 302447 0
[pid=13871/tid=13872] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 25326 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 25326 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 25326 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200549 s]
/proc/loadavg: 2.28 2.26 2.26 3/179 13871
/proc/meminfo: memFree=29334412/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 56035 0 0 0 11 8 0 0 20 0 4 0 103962774 1251545088 56364 33554432000 4194304 16246674 140733275174288 140733275173600 5721660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 305553 56386 778 2943 0 302447 0
[pid=13871/tid=13872] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 56401 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 56416 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 56430 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300499 s]
/proc/loadavg: 2.28 2.26 2.26 3/179 13871
/proc/meminfo: memFree=29334412/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1222212 CPUtime=0.28 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 93190 0 0 0 16 12 0 0 20 0 4 0 103962774 1251545088 93519 33554432000 4194304 16246674 140733275174288 140733275173600 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 305553 93538 778 2943 0 302447 0
[pid=13871/tid=13872] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 93553 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 93561 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 93576 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1222212

[startup+0.700371 s]
/proc/loadavg: 2.28 2.26 2.26 3/179 13871
/proc/meminfo: memFree=29334412/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 243485 0 0 0 37 32 0 0 20 0 4 0 103962774 1251545088 243815 33554432000 4194304 16246674 140733275174288 140733275173600 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 305553 243842 778 2943 0 302447 0
[pid=13871/tid=13872] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 243857 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 243872 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1251545088 243886 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50043 s]
/proc/loadavg: 2.26 2.25 2.26 3/183 13875
/proc/meminfo: memFree=28269280/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 267750 0 0 0 114 35 0 0 20 0 4 0 103962774 1338576896 268079 33554432000 4194304 16246674 140733275174288 140733275156160 5822144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 326801 268079 784 2943 0 323695 0
[pid=13871/tid=13872] ppid=13868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1338576896 268079 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1338576896 268079 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1338576896 268079 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10044 s]
/proc/loadavg: 2.26 2.25 2.26 3/183 13875
/proc/meminfo: memFree=28262336/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 268078 0 0 0 274 35 0 0 20 0 4 0 103962774 1339625472 268407 33554432000 4194304 16246674 140733275174288 140733275156160 5670488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 327057 268407 784 2943 0 323951 0
[pid=13871/tid=13872] ppid=13868 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1339625472 268407 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1339625472 268407 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1339625472 268407 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30043 s]
/proc/loadavg: 2.24 2.25 2.25 3/183 13875
/proc/meminfo: memFree=28261392/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 268102 0 0 0 594 35 0 0 20 0 4 0 103962774 1340674048 268431 33554432000 4194304 16246674 140733275174288 140733275156160 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 327313 268431 791 2943 0 324207 0
[pid=13871/tid=13872] ppid=13868 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1340674048 268431 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1340674048 268431 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1340674048 268431 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.22 2.25 2.25 3/183 13875
/proc/meminfo: memFree=28259756/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 268667 0 0 0 1234 35 0 0 20 0 4 0 103962774 1342771200 268996 33554432000 4194304 16246674 140733275174288 140733275157288 5522960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 327825 268996 793 2943 0 324719 0
[pid=13871/tid=13872] ppid=13868 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1342771200 268996 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1342771200 268996 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1342771200 268996 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.24 2.25 2.25 3/183 13875
/proc/meminfo: memFree=28257544/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 269248 0 0 0 2513 35 0 0 20 0 4 0 103962774 1344868352 269577 33554432000 4194304 16246674 140733275174288 140733275156160 5553629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 328337 269577 793 2943 0 325231 0
[pid=13871/tid=13872] ppid=13868 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1344868352 269577 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1344868352 269577 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1344868352 269577 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.16 2.23 2.25 3/183 13875
/proc/meminfo: memFree=28253460/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 270278 0 0 0 5072 36 0 0 20 0 4 0 103962774 1349062656 270607 33554432000 4194304 16246674 140733275174288 140733275173464 5723721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 329361 270607 793 2943 0 326255 0
[pid=13871/tid=13872] ppid=13868 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1349062656 270607 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1349062656 270607 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1349062656 270607 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.301 s]
/proc/loadavg: 2.23 2.24 2.25 3/184 13879
/proc/meminfo: memFree=28244008/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 272439 0 0 0 10188 40 0 0 20 0 4 0 103962774 1357451264 272768 33554432000 4194304 16246674 140733275174288 140733275173464 5572140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 331409 272768 793 2943 0 328303 0
[pid=13871/tid=13872] ppid=13868 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1357451264 272768 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1357451264 272768 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1357451264 272768 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1342020

[startup+1302.3 s]
/proc/loadavg: 2.38 2.30 2.27 4/184 13958
/proc/meminfo: memFree=28338384/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1301.91 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276640 0 0 0 130033 158 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173464 6013193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1342020

[startup+1362.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/184 13982
/proc/meminfo: memFree=28337124/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1361.89 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276681 0 0 0 136024 165 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173464 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 2.23 2.27 2.26 4/183 14473
/proc/meminfo: memFree=28298912/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1421.85 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276719 0 0 0 142016 169 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173464 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 2.27 2.26 2.26 3/183 14572
/proc/meminfo: memFree=28296636/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1481.81 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276766 0 0 0 148006 175 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173384 13191988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1342020

[startup+1542.31 s]
/proc/loadavg: 2.14 2.23 2.25 3/183 14573
/proc/meminfo: memFree=28296600/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1541.79 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276808 0 0 0 153998 181 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173464 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.23 2.23 2.25 4/183 14574
/proc/meminfo: memFree=28297048/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1601.77 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276810 0 0 0 159991 186 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173464 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.26 2.23 2.25 3/183 14575
/proc/meminfo: memFree=28296580/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1661.76 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276810 0 0 0 165985 191 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173464 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.14 2.20 2.23 3/183 14576
/proc/meminfo: memFree=28296356/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1721.75 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276810 0 0 0 171979 196 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275156160 12477791 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.32 2.24 2.24 4/183 14578
/proc/meminfo: memFree=28296016/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1781.74 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276810 0 0 0 177973 201 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173464 12474856 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.39 2.26 2.25 4/183 14579
/proc/meminfo: memFree=28296104/32872528 swapFree=16636/1570076
[pid=13871] ppid=13868 vsize=1342020 CPUtime=1800.04 cores=1,3,5,7
/proc/13871/stat : 13871 (toysat) R 13868 13871 13075 0 -1 4202496 276810 0 0 0 179801 203 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140733275173464 5824003 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13871/statm: 335505 276691 795 2943 0 332399 0
[pid=13871/tid=13872] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13872/stat : 13872 (toysat) S 13868 13871 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380855053552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13871/tid=13873] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13873/stat : 13873 (toysat) S 13868 13871 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380844563696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13871/tid=13874] ppid=13868 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/13871/task/13874/stat : 13874 (toysat) S 13868 13871 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962774 1374228480 276691 33554432000 4194304 16246674 140733275174288 140380834090160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1342020

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 13871 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.05
CPU user time (s): 1798.02
CPU system time (s): 2.03269
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.03269
maximum resident set size= 1106764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276810
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= 464
involuntary context switches= 1979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77027 second user time and 6.91495 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 15:38:24
IDJOB=4078607
IDBENCH=1402
IDSOLVER=2542
FILE ID=node140/4078607-1465220304
RUNJOBID= node140-1465216678-13092
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078607-1465220304/watcher-4078607-1465220304 -o /tmp/evaluation-result-4078607-1465220304/solver-4078607-1465220304 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078607-1465220304.opb

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

MD5SUM BENCH= 6f530d7030eb010292a76e81381ed552
RANDOM SEED=804085678

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29334940 kB
Buffers:            7624 kB
Cached:            73164 kB
SwapCached:         1748 kB
Active:          1241208 kB
Inactive:          23648 kB
Active(anon):    1183792 kB
Inactive(anon):     2644 kB
Active(file):      57416 kB
Inactive(file):    21004 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097912 kB
Dirty:             16752 kB
Writeback:            40 kB
AnonPages:       2753732 kB
Mapped:            10528 kB
Shmem:                 0 kB
Slab:             567428 kB
SReclaimable:      11028 kB
SUnreclaim:       556400 kB
KernelStack:        1472 kB
PageTables:         9472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2897976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2732032 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= 71704 MiB
End job on node140 at 2016-06-06 16:08:25