Trace number 4097933

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_16.opb
MD5SUM2e4ec9d1e689f9a15b90edecd14f0760
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6480
Total number of constraints31685
Number of constraints which are clauses31680
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint80
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 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 96
Number of bits of the biggest sum of numbers7
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-17T01:17:16+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-4097933-1466119036.opb"]
0.00/0.01	c use --random-gen="3811522819 1138388623 1955319881 4122343833 2930875868 4268562932 3083575827 2483744936 3492940609 2303344951 1962999091 3670014608 1425916572 748718379 2487583993 1158394685 3310621318 842746118 3037547936 856355501 274028471 71435477 2828811244 3408818652 502753057 2581314048 807763337 2826360713 3660195294 3636480851 1330839822 1090107094 544568319 1127528264 1223947896 399807843 3285113600 970533248 2620838708 2217100276 430848676 3220262832 3412363239 2966552077 2820030904 4114091897 3720976807 1222114500 4118011031 2029709242 120007503 3309249107 1884805558 814242029 3244351483 1927551523 2421106036 240228428 995547756 2590507233 1621723823 149526186 2693664459 2376633856 875745880 2280051154 2142354434 224398167 115904084 2640828720 2007303673 6710139 776291046 1592132415 1411032180 4068869772 1454209586 3916881678 214905051 556366751 2807976314 1345704311 1758536470 1605231175 469895483 1116701450 4161611401 1286611378 4230954860 2752705122 596053108 3647578373 310492933 3674146516 3780737743 1071063325 2819521096 2169517400 974723978 1878875876 2021300779 430482882 430536031 316380221 103736288 4157973067 3045657392 3393792401 2039394477 222578 506102300 1634421288 3234974376 1781970920 3577132023 2992720 3805172486 3789099200 32375328 3473935481 2434091427 1977743070 1239536425 2525698017 3559613821 3324319196 2805261400 1008583327 1403611949 4059079394 3664022636 3132218689 928107327 502940985 3107591387 107003306 3187892932 1515166240 3970603938 4261156692 1350380140 4125750032 4293602795 235468451 2295202604 658755201 911254714 2442935194 4144440871 1445840329 3033494631 1912101563 2175880088 2443495897 416830255 2944092198 4030462672 3066169687 1951324056 3635556429 114544201 4215966142 3786789692 2471006295 2934461503 3679480667 1217044488 2204060720 3626792043 1164404319 2815719557 1239680645 3262123886 1609623259 3398643804 1462097243 1979318380 2115751641 3252846639 956297739 4093722994 2525846969 1388216590 3318362281 2492433306 3195676144 3265403257 2948011346 2539029336 2659741964 1106220050 285476732 3097273858 4062581951 1747173998 1210145003 755562591 3372573028 738086200 2671248858 1230472931 174118731 3399465850 2318319420 1610669500 1231560642 3951402894 1925069866 2394733842 3393533174 1230821641 3741324316 360846783 4232596589 4093486834 3079560047 837825178 4201670071 744391472 3076615823 1668837868 3326854301 1337830731 3041459840 1712351314 2667890221 639078386 662723816 2261599264 3842063739 549882003 1176982066 2312876305 2347067160 3007373952 1470228855 3105301018 3999290499 447725313 2958214254 817597701 3711737615 2062559685 829607951 2275230238 910551688 4236775688 3184487352 4144090025 3919745952 3316421228 3243817830 3951053565 3186276832 244392655 930846802 255 362436" option to reproduce the execution
0.79/0.85	c #vars 6480
0.79/0.85	c #constraints 31685
2.19/2.25	c Solving starts ...
2.19/2.25	c ============================[ Search Statistics ]============================
2.19/2.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.25	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.25	c =============================================================================
2.19/2.25	c  0.0s |       0 |        0 |        0 |    12720      0 |        5 |        0
2.89/2.98	c  0.7s |       1 |      534 |      100 |    12720      0 |        5 |      696
3.49/3.54	c  1.3s |       2 |     2066 |      250 |    13993      0 |        5 |      696
4.69/4.70	c  2.5s |       3 |     4645 |      475 |    15393      0 |        5 |      696
6.29/6.38	c  4.1s |       4 |    10854 |      813 |    16933      0 |        5 |      696
8.59/8.66	c  6.4s |       4 |    14557 |     1313 |    18627      0 |        5 |      696
8.69/8.71	c  6.5s |       5 |    14557 |     1320 |    18627      0 |        5 |      696
10.69/10.73	c  8.5s |       5 |    17972 |     1820 |    20490      0 |        5 |      696
11.49/11.51	c  9.3s |       6 |    18879 |     2081 |    22540      0 |        5 |      696
13.59/13.64	c 11.4s |       6 |    24434 |     2581 |    22540      0 |        5 |      696
15.59/15.66	c 13.4s |       7 |    27240 |     3223 |    24795      0 |        5 |      696
17.99/18.04	c 15.8s |       7 |    30755 |     3723 |    24795      0 |        5 |      696
20.29/20.38	c 18.1s |       7 |    36913 |     4223 |    24795      0 |        5 |      696
22.39/22.49	c 20.2s |       7 |    42582 |     4723 |    24795      0 |        5 |      696
23.19/23.25	c 21.0s |       8 |    44415 |     4936 |    27275      0 |        5 |      696
25.69/25.72	c 23.5s |       8 |    53247 |     5436 |    27275      0 |        5 |      696
27.88/27.93	c 25.7s |       8 |    60533 |     6236 |    27275      0 |        5 |      696
29.88/29.93	c 27.7s |       8 |    67110 |     6736 |    27275      0 |        5 |      696
31.99/32.01	c 29.8s |       8 |    71866 |     7236 |    27275      0 |        5 |      696
33.09/33.16	c 30.9s |       9 |    72679 |     7506 |    30003      0 |        5 |      696
35.19/35.27	c 33.0s |       9 |    76293 |     7906 |    30003      0 |        5 |      696
37.49/37.51	c 35.3s |       9 |    78098 |     8406 |    30003      0 |        5 |      696
39.78/39.88	c 37.6s |       9 |    85588 |     8906 |    30003      0 |        5 |      696
41.89/41.93	c 39.7s |       9 |    89522 |     9306 |    30003      0 |        5 |      696
43.99/44.07	c 41.8s |       9 |    93048 |     9706 |    30003      0 |        5 |      696
46.08/46.12	c 43.9s |       9 |    98369 |    10106 |    30003      0 |        5 |      696
48.18/48.25	c 46.0s |       9 |   101851 |    10606 |    30003      0 |        5 |      696
50.38/50.42	c 48.2s |       9 |   103939 |    11206 |    30003      0 |        5 |      696
50.98/51.05	c 48.8s |      10 |   105110 |    11361 |    33004      0 |        5 |      696
53.28/53.35	c 51.1s |      10 |   108509 |    11861 |    33004      0 |        5 |      696
55.78/55.81	c 53.6s |      10 |   113466 |    12361 |    33004      0 |        5 |      696
57.78/57.86	c 55.6s |      10 |   118759 |    12861 |    33004      0 |        5 |      696
59.98/60.03	c 57.8s |      10 |   121883 |    13561 |    33004      0 |        5 |      696
62.28/62.35	c 60.1s |      10 |   127988 |    14161 |    33004      0 |        5 |      696
64.48/64.53	c 62.3s |      10 |   134772 |    14661 |    33004      0 |        5 |      696
66.98/67.02	c 64.8s |      10 |   141169 |    15161 |    33004      0 |        5 |      696
69.08/69.15	c 66.9s |      10 |   146156 |    15761 |    33004      0 |        5 |      696
71.18/71.22	c 69.0s |      10 |   150209 |    16461 |    33004      0 |        5 |      696
73.48/73.53	c 71.3s |      10 |   157471 |    17061 |    36305      0 |        5 |      696
73.88/73.90	c 71.7s |      11 |   158749 |    17144 |    36305      0 |        5 |      696
75.88/75.93	c 73.7s |      11 |   163495 |    17544 |    36305      0 |        5 |      696
78.18/78.22	c 76.0s |      11 |   166096 |    18144 |    36305      0 |        5 |      696
80.28/80.33	c 78.1s |      11 |   170541 |    18744 |    36305      0 |        5 |      696
82.38/82.50	c 80.3s |      11 |   178757 |    19344 |    36305      0 |        5 |      696
84.68/84.70	c 82.5s |      11 |   184239 |    19844 |    36305      0 |        5 |      696
86.98/87.07	c 84.8s |      11 |   188505 |    20644 |    36305      0 |        5 |      696
89.08/89.14	c 86.9s |      11 |   192366 |    21144 |    36305      0 |        5 |      696
91.57/91.60	c 89.4s |      11 |   196738 |    21644 |    36305      0 |        5 |      696
93.58/93.68	c 91.4s |      11 |   199997 |    22044 |    36305      0 |        5 |      696
95.78/95.89	c 93.6s |      11 |   203786 |    22544 |    36305      0 |        5 |      696
97.98/98.02	c 95.8s |      11 |   206525 |    23144 |    36305      0 |        5 |      696
99.97/100.10	c 97.8s |      11 |   211208 |    23644 |    36305      0 |        5 |      696
102.28/102.37	c  100s |      11 |   215062 |    24244 |    36305      0 |        5 |      696
104.37/104.43	c  102s |      11 |   219362 |    24744 |    36305      0 |        5 |      696
106.47/106.51	c  104s |      11 |   224546 |    25244 |    36305      0 |        5 |      696
108.27/108.30	c  106s |      12 |   229589 |    25819 |    39936      0 |        5 |      696
110.27/110.34	c  108s |      12 |   234622 |    26219 |    39936      0 |        5 |      696
112.57/112.64	c  110s |      12 |   236921 |    26819 |    39936      0 |        5 |      696
114.87/114.90	c  112s |      12 |   242232 |    27319 |    39936      0 |        5 |      696
116.97/117.04	c  114s |      12 |   246718 |    27719 |    39936      0 |        5 |      696
119.07/119.13	c  116s |      12 |   249425 |    28319 |    39936      0 |        5 |      696
121.27/121.37	c  119s |      12 |   257977 |    28919 |    39936      0 |        5 |      696
123.67/123.73	c  121s |      12 |   266539 |    29519 |    39936      0 |        5 |      696
125.87/125.96	c  123s |      12 |   273608 |    30319 |    39936      0 |        5 |      696
127.97/128.10	c  125s |      12 |   280898 |    30819 |    39936      0 |        5 |      696
130.27/130.39	c  128s |      12 |   284550 |    31419 |    39936      0 |        5 |      696
132.77/132.85	c  130s |      12 |   290434 |    32019 |    39936      0 |        5 |      696
135.07/135.19	c  132s |      12 |   295929 |    32519 |    39936      0 |        5 |      696
137.27/137.33	c  135s |      12 |   301268 |    33019 |    39936      0 |        5 |      696
139.26/139.38	c  137s |      12 |   305210 |    33619 |    39936      0 |        5 |      696
141.36/141.42	c  139s |      12 |   309747 |    34319 |    39936      0 |        5 |      696
143.46/143.56	c  141s |      12 |   315914 |    34819 |    39936      0 |        5 |      696
145.56/145.61	c  143s |      12 |   321627 |    35519 |    39936      0 |        5 |      696
147.76/147.80	c  145s |      12 |   324487 |    36119 |    39936      0 |        5 |      696
149.86/149.97	c  147s |      12 |   329446 |    36619 |    39936      0 |        5 |      696
152.16/152.27	c  150s |      12 |   333621 |    37319 |    39936      0 |        5 |      696
154.26/154.34	c  152s |      12 |   337410 |    37819 |    39936      0 |        5 |      696
156.66/156.79	c  154s |      12 |   342395 |    38519 |    39936      0 |        5 |      696
157.76/157.81	c  155s |      13 |   343475 |    38832 |    43930      0 |        5 |      696
159.86/159.91	c  157s |      13 |   347665 |    39432 |    43930      0 |        5 |      696
162.06/162.16	c  159s |      13 |   352562 |    40132 |    43930      0 |        5 |      696
164.26/164.35	c  162s |      13 |   356619 |    40832 |    43930      0 |        5 |      696
166.36/166.43	c  164s |      13 |   360780 |    41532 |    43930      0 |        5 |      696
168.46/168.55	c  166s |      13 |   363716 |    42132 |    43930      0 |        5 |      696
170.57/170.69	c  168s |      13 |   367009 |    42832 |    43930      0 |        5 |      696
172.86/172.95	c  170s |      13 |   369992 |    43532 |    43930      0 |        5 |      696
174.96/175.06	c  172s |      13 |   372607 |    44232 |    43930      0 |        5 |      696
177.17/177.22	c  174s |      13 |   374900 |    45032 |    43930      0 |        5 |      696
180.46/180.58	c  178s |      13 |   377488 |    45832 |    43930      1 |        5 |      696
182.76/182.89	c  180s |      13 |   382319 |    46232 |    43930      1 |        5 |      696
185.06/185.13	c  182s |      13 |   386623 |    46632 |    43930      1 |        5 |      696
187.36/187.40	c  185s |      13 |   392462 |    47432 |    43930      1 |        5 |      696
189.76/189.87	c  187s |      13 |   399193 |    48032 |    43930      1 |        5 |      696
191.76/191.88	c  189s |      13 |   405733 |    48532 |    43930      1 |        5 |      696
194.16/194.24	c  191s |      13 |   411441 |    49332 |    43930      1 |        5 |      696
196.16/196.27	c  194s |      13 |   417270 |    49832 |    43930      1 |        5 |      696
198.46/198.50	c  196s |      13 |   422154 |    50532 |    43930      1 |        5 |      696
200.46/200.56	c  198s |      13 |   427907 |    51032 |    43930      1 |        5 |      696
202.76/202.80	c  200s |      13 |   436975 |    51632 |    43930      1 |        5 |      696
205.06/205.11	c  202s |      13 |   443969 |    52432 |    43930      1 |        5 |      696
207.16/207.20	c  204s |      13 |   448698 |    53132 |    43930      1 |        5 |      696
209.36/209.41	c  207s |      13 |   454262 |    53632 |    43930      1 |        5 |      696
211.46/211.53	c  209s |      13 |   457866 |    54232 |    43930      1 |        5 |      696
213.86/213.96	c  211s |      13 |   462600 |    54832 |    43930      1 |        5 |      696
216.16/216.28	c  214s |      13 |   468261 |    55632 |    43930      1 |        5 |      696
218.16/218.28	c  216s |      13 |   473675 |    56232 |    43930      1 |        5 |      696
220.36/220.46	c  218s |      13 |   478097 |    56932 |    43930      1 |        5 |      696
222.46/222.56	c  220s |      13 |   481714 |    57432 |    43930      1 |        5 |      696
224.95/225.00	c  222s |      13 |   486767 |    58132 |    48324      1 |        5 |      696
225.75/225.86	c  223s |      14 |   489006 |    58352 |    48324      1 |        5 |      696
228.05/228.11	c  225s |      14 |   494327 |    58752 |    48324      1 |        5 |      696
230.15/230.28	c  228s |      14 |   498513 |    59352 |    48324      1 |        5 |      696
232.55/232.62	c  230s |      14 |   504195 |    59852 |    48324      1 |        5 |      696
234.55/234.65	c  232s |      14 |   508085 |    60452 |    48324      1 |        5 |      696
236.85/236.93	c  234s |      14 |   513621 |    60952 |    48324      1 |        5 |      696
239.05/239.13	c  236s |      14 |   518234 |    61352 |    48324      1 |        5 |      696
241.25/241.36	c  239s |      14 |   524020 |    61952 |    48324      1 |        5 |      696
243.55/243.60	c  241s |      14 |   530808 |    62552 |    48324      1 |        5 |      696
246.05/246.16	c  243s |      14 |   538185 |    63052 |    48324      1 |        5 |      696
248.25/248.37	c  246s |      14 |   542084 |    63652 |    48324      1 |        5 |      696
250.55/250.67	c  248s |      14 |   547534 |    64252 |    48324      1 |        5 |      696
252.65/252.76	c  250s |      14 |   554177 |    64752 |    48324      1 |        5 |      696
254.85/254.95	c  252s |      14 |   558652 |    65352 |    48324      1 |        5 |      696
257.05/257.10	c  254s |      14 |   563003 |    65852 |    48324      1 |        5 |      696
259.25/259.32	c  257s |      14 |   567510 |    66352 |    48324      1 |        5 |      696
261.35/261.47	c  259s |      14 |   570679 |    66952 |    48324      1 |        5 |      696
263.35/263.48	c  261s |      14 |   574188 |    67552 |    48324      1 |        5 |      696
265.65/265.72	c  263s |      14 |   578194 |    68252 |    48324      1 |        5 |      696
267.85/267.92	c  265s |      14 |   581192 |    68852 |    48324      1 |        5 |      696
270.15/270.20	c  267s |      14 |   583286 |    69452 |    48324      1 |        5 |      696
272.35/272.43	c  270s |      14 |   584966 |    70052 |    48324      1 |        5 |      696
274.65/274.71	c  272s |      14 |   587249 |    70752 |    48324      1 |        5 |      696
277.04/277.13	c  274s |      14 |   588757 |    71452 |    48324      1 |        5 |      696
279.14/279.29	c  277s |      14 |   592959 |    72052 |    48324      1 |        5 |      696
281.94/282.09	c  279s |      14 |   598792 |    72652 |    48324      2 |        5 |      696
284.04/284.16	c  281s |      14 |   603667 |    73152 |    48324      2 |        5 |      696
286.24/286.39	c  284s |      14 |   607184 |    73752 |    48324      2 |        5 |      696
295.94/296.06	c  293s |      14 |   609932 |    73952 |    48324      2 |        5 |      696
298.15/298.23	c  295s |      14 |   614519 |    74652 |    48324      2 |        5 |      696
300.35/300.45	c  298s |      14 |   619950 |    75252 |    48324      2 |        5 |      696
302.45/302.55	c  300s |      14 |   629117 |    75752 |    48324      2 |        5 |      696
304.54/304.63	c  302s |      14 |   635481 |    76152 |    48324      2 |        5 |      696
306.64/306.72	c  304s |      14 |   640550 |    76552 |    48324      2 |        5 |      696
308.84/308.91	c  306s |      14 |   644709 |    77052 |    48324      2 |        5 |      696
311.14/311.22	c  308s |      14 |   648117 |    77752 |    48324      2 |        5 |      696
313.45/313.57	c  311s |      14 |   653113 |    78252 |    48324      2 |        5 |      696
315.94/316.09	c  313s |      14 |   659684 |    78752 |    48324      2 |        5 |      696
318.14/318.26	c  316s |      14 |   663694 |    79452 |    48324      2 |        5 |      696
320.44/320.52	c  318s |      14 |   666479 |    79952 |    48324      2 |        5 |      696
322.74/322.89	c  320s |      14 |   672176 |    80452 |    48324      2 |        5 |      696
325.24/325.36	c  323s |      14 |   678640 |    80952 |    48324      2 |        5 |      696
327.44/327.57	c  325s |      14 |   684190 |    81552 |    48324      2 |        5 |      696
329.84/329.99	c  327s |      14 |   689575 |    82252 |    48324      2 |        5 |      696
332.24/332.37	c  330s |      14 |   695613 |    82752 |    48324      2 |        5 |      696
334.34/334.46	c  332s |      14 |   700255 |    83452 |    48324      2 |        5 |      696
336.64/336.77	c  334s |      14 |   707278 |    84052 |    48324      2 |        5 |      696
338.94/339.04	c  336s |      14 |   712149 |    84452 |    48324      2 |        5 |      696
341.04/341.14	c  338s |      14 |   715899 |    84852 |    48324      2 |        5 |      696
343.24/343.37	c  341s |      14 |   718992 |    85352 |    48324      2 |        5 |      696
345.44/345.59	c  343s |      14 |   722337 |    86052 |    48324      2 |        5 |      696
347.84/347.93	c  345s |      14 |   727596 |    86552 |    48324      2 |        5 |      696
349.93/350.01	c  347s |      14 |   730483 |    87052 |    53157      2 |        5 |      696
351.94/352.03	c  349s |      15 |   734029 |    87632 |    53157      2 |        5 |      696
354.03/354.20	c  351s |      15 |   736709 |    88032 |    53157      2 |        5 |      696
356.44/356.57	c  354s |      15 |   743560 |    88532 |    53157      2 |        5 |      696
358.54/358.68	c  356s |      15 |   747810 |    88932 |    53157      2 |        5 |      696
360.93/361.04	c  358s |      15 |   754390 |    89532 |    53157      2 |        5 |      696
363.43/363.50	c  361s |      15 |   760065 |    90232 |    53157      2 |        5 |      696
365.73/365.84	c  363s |      15 |   765216 |    90632 |    53157      2 |        5 |      696
368.03/368.19	c  365s |      15 |   769019 |    91032 |    53157      2 |        5 |      696
370.53/370.64	c  368s |      15 |   773492 |    91532 |    53157      2 |        5 |      696
372.73/372.87	c  370s |      15 |   777672 |    92232 |    53157      2 |        5 |      696
375.14/375.22	c  372s |      15 |   783557 |    92732 |    53157      2 |        5 |      696
377.34/377.45	c  375s |      15 |   788441 |    93132 |    53157      2 |        5 |      696
379.63/379.79	c  377s |      15 |   794282 |    93632 |    53157      2 |        5 |      696
382.13/382.28	c  380s |      15 |   799813 |    94332 |    53157      2 |        5 |      696
384.33/384.40	c  382s |      15 |   805234 |    94732 |    53157      2 |        5 |      696
386.63/386.75	c  384s |      15 |   809393 |    95232 |    53157      2 |        5 |      696
388.63/388.76	c  386s |      15 |   811727 |    95832 |    53157      2 |        5 |      696
391.03/391.11	c  388s |      15 |   815063 |    96332 |    53157      2 |        5 |      696
393.53/393.67	c  391s |      15 |   821341 |    96832 |    53157      2 |        5 |      696
395.73/395.85	c  393s |      15 |   823494 |    97332 |    53157      2 |        5 |      696
397.93/398.06	c  395s |      15 |   826288 |    97832 |    53157      2 |        5 |      696
399.93/400.06	c  397s |      15 |   830081 |    98232 |    53157      2 |        5 |      696
402.02/402.18	c  399s |      15 |   834965 |    98632 |    53157      2 |        5 |      696
404.42/404.55	c  402s |      15 |   837717 |    99232 |    53157      2 |        5 |      696
406.62/406.74	c  404s |      15 |   840685 |    99632 |    53157      2 |        5 |      696
408.72/408.80	c  406s |      15 |   844668 |   100032 |    53157      2 |        5 |      696
410.72/410.87	c  408s |      15 |   847645 |   100632 |    53157      2 |        5 |      696
413.12/413.22	c  410s |      15 |   851871 |   101132 |    53157      2 |        5 |      696
415.22/415.33	c  413s |      15 |   856992 |   101532 |    53157      2 |        5 |      696
417.52/417.60	c  415s |      15 |   861390 |   102032 |    53157      2 |        5 |      696
419.52/419.68	c  417s |      15 |   864276 |   102632 |    53157      2 |        5 |      696
421.62/421.76	c  419s |      15 |   867387 |   103032 |    53157      3 |        5 |      696
430.63/430.76	c  428s |      15 |   870378 |   103332 |    53157      3 |        5 |      696
432.93/433.03	c  430s |      15 |   877762 |   104232 |    53157      3 |        5 |      696
434.92/435.09	c  432s |      15 |   882878 |   104832 |    53157      3 |        5 |      696
437.12/437.26	c  435s |      15 |   888233 |   105532 |    53157      3 |        5 |      696
439.22/439.33	c  437s |      15 |   892240 |   106032 |    53157      3 |        5 |      696
441.32/441.40	c  439s |      15 |   895644 |   106732 |    53157      3 |        5 |      696
443.52/443.63	c  441s |      15 |   899618 |   107332 |    53157      3 |        5 |      696
445.82/445.95	c  443s |      15 |   903486 |   108032 |    53157      3 |        5 |      696
447.92/448.04	c  445s |      15 |   906900 |   108632 |    53157      3 |        5 |      696
450.02/450.16	c  447s |      15 |   910993 |   109232 |    53157      3 |        5 |      696
452.42/452.50	c  450s |      15 |   915024 |   109932 |    53157      3 |        5 |      696
454.52/454.61	c  452s |      15 |   919559 |   110632 |    53157      3 |        5 |      696
456.72/456.87	c  454s |      15 |   923373 |   111232 |    53157      3 |        5 |      696
458.82/458.91	c  456s |      15 |   925560 |   111932 |    53157      3 |        5 |      696
460.93/461.02	c  458s |      15 |   927751 |   112532 |    53157      3 |        5 |      696
463.13/463.28	c  461s |      15 |   930827 |   113232 |    53157      3 |        5 |      696
465.23/465.37	c  463s |      15 |   933911 |   113932 |    53157      3 |        5 |      696
467.42/467.57	c  465s |      15 |   936568 |   114632 |    53157      3 |        5 |      696
469.62/469.75	c  467s |      15 |   939189 |   115432 |    53157      3 |        5 |      696
471.62/471.78	c  469s |      15 |   941917 |   116232 |    53157      3 |        5 |      696
473.62/473.79	c  471s |      15 |   943854 |   116932 |    53157      3 |        5 |      696
477.61/477.72	c  475s |      15 |   945490 |   117232 |    53157      3 |        5 |      696
479.81/479.98	c  477s |      15 |   949192 |   117632 |    53157      3 |        5 |      696
482.11/482.27	c  480s |      15 |   953721 |   118332 |    53157      3 |        5 |      696
484.71/484.82	c  482s |      15 |   959985 |   118832 |    53157      3 |        5 |      696
486.81/487.00	c  484s |      15 |   965463 |   119232 |    53157      3 |        5 |      696
489.21/489.31	c  487s |      15 |   971098 |   119632 |    53157      3 |        5 |      696
491.31/491.40	c  489s |      15 |   975436 |   120232 |    53157      3 |        5 |      696
493.61/493.80	c  491s |      15 |   981227 |   120832 |    53157      3 |        5 |      696
495.71/495.80	c  493s |      15 |   985991 |   121232 |    53157      3 |        5 |      696
498.11/498.21	c  495s |      15 |   990337 |   121632 |    53157      3 |        5 |      696
500.11/500.26	c  498s |      15 |   994199 |   122232 |    53157      3 |        5 |      696
502.61/502.75	c  500s |      15 |   999130 |   122732 |    53157      3 |        5 |      696
504.81/504.95	c  502s |      15 |  1003479 |   123132 |    53157      3 |        5 |      696
507.21/507.32	c  505s |      15 |  1008040 |   123532 |    53157      3 |        5 |      696
509.31/509.50	c  507s |      15 |  1011389 |   124032 |    53157      3 |        5 |      696
511.51/511.65	c  509s |      15 |  1016213 |   124532 |    53157      3 |        5 |      696
513.61/513.73	c  511s |      15 |  1020742 |   124932 |    53157      3 |        5 |      696
515.81/516.00	c  513s |      15 |  1024148 |   125332 |    53157      3 |        5 |      696
517.91/518.02	c  515s |      15 |  1026442 |   125832 |    53157      3 |        5 |      696
520.21/520.40	c  518s |      15 |  1032191 |   126432 |    53157      3 |        5 |      696
522.41/522.54	c  520s |      15 |  1036196 |   126832 |    53157      3 |        5 |      696
524.51/524.64	c  522s |      15 |  1040021 |   127232 |    53157      3 |        5 |      696
526.70/526.89	c  524s |      15 |  1043822 |   127932 |    53157      3 |        5 |      696
529.11/529.29	c  527s |      15 |  1047542 |   128432 |    53157      3 |        5 |      696
531.40/531.56	c  529s |      15 |  1050149 |   129032 |    53157      3 |        5 |      696
533.70/533.83	c  531s |      15 |  1054632 |   129532 |    53157      3 |        5 |      696
536.00/536.17	c  533s |      15 |  1058750 |   129932 |    53157      4 |        5 |      696
538.00/538.19	c  535s |      15 |  1063736 |   130632 |    53157      4 |        5 |      696
540.20/540.37	c  538s |      15 |  1068769 |   131132 |    58473      4 |        5 |      696
541.30/541.49	c  539s |      16 |  1071519 |   131552 |    58473      4 |        5 |      696
543.60/543.75	c  541s |      16 |  1075818 |   132252 |    58473      4 |        5 |      696
545.90/546.03	c  543s |      16 |  1081749 |   132852 |    58473      4 |        5 |      696
548.00/548.12	c  545s |      16 |  1084725 |   133552 |    58473      4 |        5 |      696
550.10/550.22	c  547s |      16 |  1089031 |   134152 |    58473      4 |        5 |      696
552.21/552.33	c  550s |      16 |  1093433 |   134852 |    58473      4 |        5 |      696
554.41/554.54	c  552s |      16 |  1098464 |   135452 |    58473      4 |        5 |      696
556.61/556.72	c  554s |      16 |  1102395 |   136152 |    58473      4 |        5 |      696
558.60/558.76	c  556s |      16 |  1107648 |   136852 |    58473      4 |        5 |      696
560.90/561.01	c  558s |      16 |  1111443 |   137452 |    58473      4 |        5 |      696
562.90/563.08	c  560s |      16 |  1114745 |   138152 |    58473      4 |        5 |      696
565.30/565.47	c  563s |      16 |  1120132 |   138952 |    58473      4 |        5 |      696
567.40/567.56	c  565s |      16 |  1124061 |   139652 |    58473      4 |        5 |      696
569.50/569.69	c  567s |      16 |  1127869 |   140352 |    58473      4 |        5 |      696
571.60/571.79	c  569s |      16 |  1131147 |   141052 |    58473      4 |        5 |      696
573.60/573.79	c  571s |      16 |  1134611 |   141752 |    58473      4 |        5 |      696
575.80/575.96	c  573s |      16 |  1138928 |   142552 |    58473      4 |        5 |      696
578.00/578.14	c  575s |      16 |  1141683 |   143352 |    58473      4 |        5 |      696
580.10/580.22	c  577s |      16 |  1145039 |   144252 |    58473      4 |        5 |      696
582.20/582.37	c  580s |      16 |  1147317 |   145252 |    58473      4 |        5 |      696
596.90/597.09	c  594s |      16 |  1150395 |   145652 |    58473      4 |        5 |      696
599.30/599.46	c  597s |      16 |  1154580 |   146052 |    58473      4 |        5 |      696
601.30/601.49	c  599s |      16 |  1158558 |   146552 |    58473      4 |        5 |      696
603.50/603.62	c  601s |      16 |  1162296 |   147152 |    58473      4 |        5 |      696
605.69/605.88	c  603s |      16 |  1167761 |   147552 |    58473      4 |        5 |      696
607.99/608.15	c  605s |      16 |  1171946 |   147952 |    58473      4 |        5 |      696
610.40/610.56	c  608s |      16 |  1175885 |   148652 |    58473      4 |        5 |      696
612.99/613.12	c  610s |      16 |  1181327 |   149152 |    58473      4 |        5 |      696
615.19/615.36	c  613s |      16 |  1185958 |   149552 |    58473      4 |        5 |      696
617.39/617.53	c  615s |      16 |  1188495 |   150152 |    58473      4 |        5 |      696
619.49/619.65	c  617s |      16 |  1192541 |   150652 |    58473      4 |        5 |      696
622.09/622.28	c  620s |      16 |  1199440 |   151152 |    58473      4 |        5 |      696
624.19/624.32	c  622s |      16 |  1203813 |   151552 |    58473      4 |        5 |      696
626.39/626.51	c  624s |      16 |  1208273 |   152152 |    58473      4 |        5 |      696
628.79/628.92	c  626s |      16 |  1213771 |   152752 |    58473      4 |        5 |      696
630.79/630.95	c  628s |      16 |  1217175 |   153152 |    58473      4 |        5 |      696
633.19/633.31	c  631s |      16 |  1222290 |   153652 |    58473      4 |        5 |      696
635.19/635.34	c  633s |      16 |  1227773 |   154352 |    58473      4 |        5 |      696
637.69/637.89	c  635s |      16 |  1233140 |   154852 |    58473      4 |        5 |      696
639.99/640.14	c  637s |      16 |  1237757 |   155352 |    58473      4 |        5 |      696
642.40/642.58	c  640s |      16 |  1240890 |   155952 |    58473      4 |        5 |      696
644.79/644.98	c  642s |      16 |  1246355 |   156452 |    58473      4 |        5 |      696
647.29/647.46	c  645s |      16 |  1250280 |   156952 |    58473      4 |        5 |      696
649.29/649.49	c  647s |      16 |  1253710 |   157452 |    58473      4 |        5 |      696
651.49/651.61	c  649s |      16 |  1256728 |   157952 |    58473      4 |        5 |      696
653.49/653.68	c  651s |      16 |  1260999 |   158452 |    58473      4 |        5 |      696
655.59/655.71	c  653s |      16 |  1264848 |   159152 |    58473      4 |        5 |      696
657.59/657.76	c  655s |      16 |  1268360 |   159552 |    58473      4 |        5 |      696
659.89/660.01	c  657s |      16 |  1271300 |   160152 |    58473      4 |        5 |      696
661.98/662.17	c  659s |      16 |  1274625 |   160652 |    58473      4 |        5 |      696
664.18/664.31	c  662s |      16 |  1278216 |   161252 |    58473      4 |        5 |      696
666.38/666.54	c  664s |      16 |  1283307 |   161752 |    58473      4 |        5 |      696
668.38/668.56	c  666s |      16 |  1286703 |   162252 |    58473      4 |        5 |      696
670.48/670.60	c  668s |      16 |  1290376 |   162852 |    58473      4 |        5 |      696
672.98/673.10	c  670s |      16 |  1293419 |   163252 |    58473      5 |        5 |      696
675.08/675.26	c  673s |      16 |  1298350 |   163952 |    58473      5 |        5 |      696
677.08/677.27	c  675s |      16 |  1301582 |   164452 |    58473      5 |        5 |      696
679.19/679.34	c  677s |      16 |  1304504 |   165052 |    58473      5 |        5 |      696
681.29/681.42	c  679s |      16 |  1309106 |   165752 |    58473      5 |        5 |      696
683.29/683.45	c  681s |      16 |  1312311 |   166352 |    58473      5 |        5 |      696
685.39/685.51	c  683s |      16 |  1316304 |   167052 |    58473      5 |        5 |      696
687.39/687.52	c  685s |      16 |  1318774 |   167752 |    58473      5 |        5 |      696
689.39/689.57	c  687s |      16 |  1321229 |   168352 |    58473      5 |        5 |      696
691.58/691.79	c  689s |      16 |  1325276 |   169152 |    58473      5 |        5 |      696
693.88/694.02	c  691s |      16 |  1327444 |   169952 |    58473      5 |        5 |      696
696.08/696.20	c  693s |      16 |  1329948 |   170852 |    58473      5 |        5 |      696
698.28/698.50	c  696s |      16 |  1333045 |   171252 |    58473      5 |        5 |      696
700.69/700.85	c  698s |      16 |  1337418 |   171652 |    58473      5 |        5 |      696
703.08/703.23	c  700s |      16 |  1344096 |   172152 |    58473      5 |        5 |      696
705.18/705.40	c  703s |      16 |  1349134 |   172852 |    58473      5 |        5 |      696
707.68/707.87	c  705s |      16 |  1353920 |   173352 |    58473      5 |        5 |      696
709.88/710.04	c  707s |      16 |  1357619 |   173752 |    58473      5 |        5 |      696
712.08/712.23	c  709s |      16 |  1360950 |   174352 |    58473      5 |        5 |      696
714.38/714.52	c  712s |      16 |  1365942 |   174852 |    58473      5 |        5 |      696
716.68/716.84	c  714s |      16 |  1370939 |   175252 |    58473      5 |        5 |      696
718.98/719.10	c  716s |      16 |  1376139 |   175752 |    58473      5 |        5 |      696
721.08/721.28	c  719s |      16 |  1380883 |   176452 |    58473      5 |        5 |      696
723.18/723.37	c  721s |      16 |  1384062 |   176852 |    58473      5 |        5 |      696
725.58/725.70	c  723s |      16 |  1390022 |   177352 |    58473      5 |        5 |      696
727.68/727.88	c  725s |      16 |  1394450 |   178052 |    58473      5 |        5 |      696
729.78/729.96	c  727s |      16 |  1400749 |   178552 |    58473      5 |        5 |      696
731.88/732.09	c  729s |      16 |  1405129 |   178952 |    58473      5 |        5 |      696
733.98/734.10	c  731s |      16 |  1410451 |   179352 |    58473      5 |        5 |      696
736.28/736.47	c  734s |      16 |  1417160 |   179952 |    58473      5 |        5 |      696
738.67/738.83	c  736s |      16 |  1423986 |   180752 |    58473      5 |        5 |      696
740.87/741.00	c  738s |      16 |  1426958 |   181352 |    58473      5 |        5 |      696
743.07/743.29	c  741s |      16 |  1430076 |   181852 |    58473      5 |        5 |      696
745.17/745.33	c  743s |      16 |  1434440 |   182252 |    58473      5 |        5 |      696
747.47/747.64	c  745s |      16 |  1440513 |   182752 |    58473      5 |        5 |      696
749.77/749.94	c  747s |      16 |  1444056 |   183452 |    58473      5 |        5 |      696
751.87/752.00	c  749s |      16 |  1449302 |   183952 |    58473      5 |        5 |      696
754.07/754.27	c  752s |      16 |  1452145 |   184652 |    58473      5 |        5 |      696
756.17/756.39	c  754s |      16 |  1457035 |   185152 |    58473      5 |        5 |      696
758.57/758.76	c  756s |      16 |  1462253 |   185652 |    58473      5 |        5 |      696
760.57/760.79	c  758s |      16 |  1466179 |   186352 |    58473      5 |        5 |      696
762.87/763.02	c  760s |      16 |  1470574 |   186852 |    58473      5 |        5 |      696
764.87/765.05	c  762s |      16 |  1473353 |   187452 |    58473      5 |        5 |      696
766.87/767.06	c  764s |      16 |  1477335 |   187952 |    58473      5 |        5 |      696
769.27/769.42	c  767s |      16 |  1482453 |   188552 |    58473      5 |        5 |      696
771.37/771.56	c  769s |      16 |  1485301 |   189152 |    58473      5 |        5 |      696
773.57/773.79	c  771s |      16 |  1490622 |   189752 |    58473      5 |        5 |      696
775.87/776.04	c  773s |      16 |  1494140 |   190352 |    58473      5 |        5 |      696
777.97/778.16	c  775s |      16 |  1498019 |   190852 |    58473      5 |        5 |      696
780.07/780.26	c  778s |      16 |  1500826 |   191452 |    58473      5 |        5 |      696
782.17/782.36	c  780s |      16 |  1505632 |   191952 |    58473      5 |        5 |      696
784.46/784.69	c  782s |      16 |  1511262 |   192752 |    58473      5 |        5 |      696
787.26/787.44	c  785s |      16 |  1516538 |   193552 |    58473      6 |        5 |      696
789.46/789.68	c  787s |      16 |  1520949 |   194152 |    58473      6 |        5 |      696
791.76/791.94	c  789s |      16 |  1525029 |   194852 |    58473      6 |        5 |      696
793.76/793.99	c  791s |      16 |  1528512 |   195552 |    58473      6 |        5 |      696
795.96/796.10	c  793s |      16 |  1534105 |   196352 |    64321      6 |        5 |      696
797.96/798.17	c  795s |      16 |  1537794 |   197152 |    64321      6 |        5 |      696
798.76/798.96	c  796s |      17 |  1539861 |   197432 |    64321      6 |        5 |      696
800.77/801.00	c  798s |      17 |  1543188 |   198232 |    64321      6 |        5 |      696
802.96/803.17	c  800s |      17 |  1546969 |   199132 |    64321      6 |        5 |      696
805.06/805.23	c  802s |      17 |  1549244 |   200032 |    64321      6 |        5 |      696
824.04/824.25	c  822s |      17 |  1551413 |   200732 |    64321      6 |        5 |      696
829.45/829.65	c  827s |      17 |  1552828 |   200832 |    64321      6 |        5 |      696
831.85/832.08	c  829s |      17 |  1556258 |   201332 |    64321      6 |        5 |      696
833.95/834.16	c  831s |      17 |  1559062 |   201932 |    64321      6 |        5 |      696
836.45/836.69	c  834s |      17 |  1563804 |   202432 |    64321      6 |        5 |      696
838.65/838.83	c  836s |      17 |  1568466 |   202832 |    64321      6 |        5 |      696
840.85/841.08	c  838s |      17 |  1572790 |   203332 |    64321      6 |        5 |      696
843.25/843.43	c  841s |      17 |  1577462 |   204032 |    64321      6 |        5 |      696
845.65/845.80	c  843s |      17 |  1582159 |   204532 |    64321      6 |        5 |      696
847.65/847.85	c  845s |      17 |  1587519 |   204932 |    64321      6 |        5 |      696
849.65/849.89	c  847s |      17 |  1590586 |   205332 |    64321      6 |        5 |      696
852.05/852.23	c  849s |      17 |  1595107 |   205832 |    64321      6 |        5 |      696
854.05/854.29	c  852s |      17 |  1598990 |   206432 |    64321      6 |        5 |      696
856.55/856.73	c  854s |      17 |  1604730 |   207032 |    64321      6 |        5 |      696
858.85/859.07	c  856s |      17 |  1610454 |   207532 |    64321      6 |        5 |      696
861.15/861.34	c  859s |      17 |  1615573 |   208332 |    64321      6 |        5 |      696
863.35/863.57	c  861s |      17 |  1619511 |   208832 |    64321      6 |        5 |      696
865.44/865.69	c  863s |      17 |  1623104 |   209332 |    64321      6 |        5 |      696
867.54/867.74	c  865s |      17 |  1625350 |   209932 |    64321      6 |        5 |      696
869.64/869.88	c  867s |      17 |  1630090 |   210432 |    64321      6 |        5 |      696
872.04/872.21	c  869s |      17 |  1635861 |   210932 |    64321      6 |        5 |      696
874.35/874.53	c  872s |      17 |  1641841 |   211432 |    64321      6 |        5 |      696
876.44/876.70	c  874s |      17 |  1645150 |   211932 |    64321      6 |        5 |      696
879.04/879.26	c  877s |      17 |  1650117 |   212732 |    64321      6 |        5 |      696
881.34/881.54	c  879s |      17 |  1655491 |   213432 |    64321      6 |        5 |      696
883.54/883.73	c  881s |      17 |  1659878 |   213932 |    64321      6 |        5 |      696
885.73/885.99	c  883s |      17 |  1664423 |   214432 |    64321      6 |        5 |      696
887.93/888.14	c  885s |      17 |  1668733 |   215132 |    64321      6 |        5 |      696
890.13/890.36	c  888s |      17 |  1674268 |   215632 |    64321      6 |        5 |      696
892.33/892.58	c  890s |      17 |  1677725 |   216332 |    64321      6 |        5 |      696
894.53/894.74	c  892s |      17 |  1681564 |   216832 |    64321      6 |        5 |      696
896.73/896.95	c  894s |      17 |  1686724 |   217332 |    64321      6 |        5 |      696
898.83/899.04	c  896s |      17 |  1691425 |   218032 |    64321      6 |        5 |      696
901.13/901.35	c  899s |      17 |  1696218 |   218532 |    64321      6 |        5 |      696
903.22/903.45	c  901s |      17 |  1700585 |   219232 |    64321      6 |        5 |      696
905.23/905.47	c  903s |      17 |  1705876 |   219732 |    64321      6 |        5 |      696
907.52/907.71	c  905s |      17 |  1712336 |   220532 |    64321      6 |        5 |      696
909.72/909.92	c  907s |      17 |  1718062 |   221132 |    64321      6 |        5 |      696
911.92/912.19	c  909s |      17 |  1722665 |   221832 |    64321      6 |        5 |      696
914.42/914.62	c  912s |      17 |  1726210 |   222532 |    64321      6 |        5 |      696
916.62/916.86	c  914s |      17 |  1731837 |   223332 |    64321      6 |        5 |      696
918.82/919.09	c  916s |      17 |  1737919 |   224132 |    64321      6 |        5 |      696
921.02/921.20	c  918s |      17 |  1742151 |   224832 |    64321      6 |        5 |      696
923.01/923.21	c  920s |      17 |  1746439 |   225632 |    64321      6 |        5 |      696
925.02/925.29	c  923s |      17 |  1749831 |   226332 |    64321      6 |        5 |      696
927.01/927.29	c  925s |      17 |  1753277 |   227032 |    64321      6 |        5 |      696
929.21/929.43	c  927s |      17 |  1755553 |   227732 |    64321      6 |        5 |      696
931.21/931.45	c  929s |      17 |  1757783 |   228532 |    64321      6 |        5 |      696
933.31/933.53	c  931s |      17 |  1760042 |   229332 |    64321      6 |        5 |      696
935.91/936.12	c  933s |      17 |  1761694 |   229832 |    64321      7 |        5 |      696
938.00/938.24	c  935s |      17 |  1764930 |   230132 |    64321      7 |        5 |      696
940.10/940.33	c  938s |      17 |  1767940 |   230832 |    64321      7 |        5 |      696
942.30/942.52	c  940s |      17 |  1771125 |   231332 |    64321      7 |        5 |      696
944.40/944.68	c  942s |      17 |  1775650 |   231832 |    64321      7 |        5 |      696
946.70/946.92	c  944s |      17 |  1779246 |   232532 |    64321      7 |        5 |      696
948.80/949.09	c  946s |      17 |  1783792 |   233032 |    64321      7 |        5 |      696
951.10/951.33	c  949s |      17 |  1787881 |   233632 |    64321      7 |        5 |      696
953.19/953.47	c  951s |      17 |  1791281 |   234232 |    64321      7 |        5 |      696
955.29/955.51	c  953s |      17 |  1794436 |   234832 |    64321      7 |        5 |      696
957.39/957.69	c  955s |      17 |  1798479 |   235332 |    64321      7 |        5 |      696
959.59/959.83	c  957s |      17 |  1802090 |   235832 |    64321      7 |        5 |      696
961.88/962.11	c  959s |      17 |  1808002 |   236632 |    64321      7 |        5 |      696
963.98/964.21	c  961s |      17 |  1811577 |   237232 |    64321      7 |        5 |      696
966.08/966.33	c  964s |      17 |  1815576 |   237832 |    64321      7 |        5 |      696
968.38/968.61	c  966s |      17 |  1820255 |   238532 |    64321      7 |        5 |      696
970.68/970.93	c  968s |      17 |  1825988 |   239132 |    64321      7 |        5 |      696
972.98/973.23	c  970s |      17 |  1830930 |   239932 |    64321      7 |        5 |      696
975.08/975.35	c  973s |      17 |  1835141 |   240632 |    64321      7 |        5 |      696
977.08/977.38	c  975s |      17 |  1838883 |   241132 |    64321      7 |        5 |      696
979.28/979.53	c  977s |      17 |  1843059 |   241832 |    64321      7 |        5 |      696
981.68/981.95	c  979s |      17 |  1846187 |   242532 |    64321      7 |        5 |      696
983.78/984.03	c  981s |      17 |  1848643 |   243132 |    64321      7 |        5 |      696
986.08/986.37	c  984s |      17 |  1851403 |   243832 |    64321      7 |        5 |      696
988.28/988.54	c  986s |      17 |  1854710 |   244532 |    64321      7 |        5 |      696
990.48/990.70	c  988s |      17 |  1858441 |   245332 |    64321      7 |        5 |      696
992.47/992.72	c  990s |      17 |  1861029 |   245932 |    64321      7 |        5 |      696
994.57/994.88	c  992s |      17 |  1863576 |   246632 |    64321      7 |        5 |      696
996.77/997.02	c  994s |      17 |  1866452 |   247432 |    64321      7 |        5 |      696
998.87/999.18	c  996s |      17 |  1868655 |   248332 |    64321      7 |        5 |      696
1001.07/1001.31	c  999s |      17 |  1872526 |   248732 |    64321      7 |        5 |      696
1003.07/1003.33	c 1001s |      17 |  1875136 |   249232 |    64321      7 |        5 |      696
1005.27/1005.54	c 1003s |      17 |  1877955 |   249732 |    64321      7 |        5 |      696
1007.47/1007.71	c 1005s |      17 |  1881534 |   250132 |    64321      7 |        5 |      696
1009.67/1009.91	c 1007s |      17 |  1885491 |   250832 |    64321      7 |        5 |      696
1011.67/1011.99	c 1009s |      17 |  1889693 |   251332 |    64321      7 |        5 |      696
1013.87/1014.18	c 1011s |      17 |  1893419 |   251732 |    64321      7 |        5 |      696
1016.07/1016.38	c 1014s |      17 |  1898031 |   252232 |    64321      7 |        5 |      696
1018.17/1018.47	c 1016s |      17 |  1901487 |   252832 |    64321      7 |        5 |      696
1020.46/1020.75	c 1018s |      17 |  1905665 |   253332 |    64321      7 |        5 |      696
1022.87/1023.11	c 1020s |      17 |  1909250 |   253732 |    64321      7 |        5 |      696
1025.16/1025.44	c 1023s |      17 |  1913269 |   254232 |    64321      7 |        5 |      696
1027.56/1027.83	c 1025s |      17 |  1917593 |   254932 |    64321      7 |        5 |      696
1029.56/1029.88	c 1027s |      17 |  1921966 |   255332 |    64321      7 |        5 |      696
1031.96/1032.28	c 1030s |      17 |  1925930 |   255732 |    64321      7 |        5 |      696
1034.16/1034.40	c 1032s |      17 |  1929661 |   256132 |    64321      7 |        5 |      696
1036.56/1036.80	c 1034s |      17 |  1934181 |   256632 |    64321      7 |        5 |      696
1038.56/1038.85	c 1036s |      17 |  1937002 |   257232 |    64321      7 |        5 |      696
1040.96/1041.28	c 1039s |      17 |  1942200 |   257732 |    64321      7 |        5 |      696
1043.16/1043.40	c 1041s |      17 |  1948454 |   258232 |    64321      7 |        5 |      696
1045.26/1045.55	c 1043s |      17 |  1953618 |   258932 |    64321      7 |        5 |      696
1047.66/1047.96	c 1045s |      17 |  1958827 |   259432 |    64321      7 |        5 |      696
1050.16/1050.46	c 1048s |      17 |  1962840 |   259832 |    64321      7 |        5 |      696
1052.36/1052.61	c 1050s |      17 |  1967629 |   260232 |    64321      7 |        5 |      696
1054.36/1054.62	c 1052s |      17 |  1970435 |   260632 |    64321      7 |        5 |      696
1056.46/1056.79	c 1054s |      17 |  1974524 |   261232 |    64321      7 |        5 |      696
1058.76/1059.09	c 1056s |      17 |  1979390 |   261732 |    64321      7 |        5 |      696
1061.66/1061.94	c 1059s |      17 |  1985641 |   262532 |    64321      8 |        5 |      696
1063.96/1064.22	c 1061s |      17 |  1989604 |   262932 |    64321      8 |        5 |      696
1065.96/1066.25	c 1064s |      17 |  1994040 |   263332 |    64321      8 |        5 |      696
1068.35/1068.62	c 1066s |      17 |  1999507 |   263932 |    64321      8 |        5 |      696
1070.35/1070.63	c 1068s |      17 |  2003225 |   264632 |    64321      8 |        5 |      696
1072.65/1072.93	c 1070s |      17 |  2008290 |   265132 |    64321      8 |        5 |      696
1074.95/1075.24	c 1072s |      17 |  2014155 |   265932 |    64321      8 |        5 |      696
1077.15/1077.41	c 1075s |      17 |  2019496 |   266432 |    64321      8 |        5 |      696
1079.35/1079.60	c 1077s |      17 |  2024430 |   267232 |    64321      8 |        5 |      696
1081.54/1081.87	c 1079s |      17 |  2029987 |   267832 |    64321      8 |        5 |      696
1083.54/1083.87	c 1081s |      17 |  2036578 |   268332 |    64321      8 |        5 |      696
1085.64/1085.97	c 1083s |      17 |  2041076 |   269032 |    64321      8 |        5 |      696
1087.65/1088.00	c 1085s |      17 |  2047100 |   269532 |    64321      8 |        5 |      696
1089.74/1090.08	c 1087s |      17 |  2049943 |   270132 |    64321      8 |        5 |      696
1091.94/1092.20	c 1089s |      17 |  2054328 |   270732 |    64321      8 |        5 |      696
1094.13/1094.43	c 1092s |      17 |  2060529 |   271432 |    64321      8 |        5 |      696
1096.23/1096.55	c 1094s |      17 |  2064463 |   272132 |    64321      8 |        5 |      696
1098.43/1098.74	c 1096s |      17 |  2068385 |   272832 |    64321      8 |        5 |      696
1100.63/1100.93	c 1098s |      17 |  2072907 |   273532 |    64321      8 |        5 |      696
1102.73/1103.04	c 1100s |      17 |  2077093 |   274232 |    64321      8 |        5 |      696
1104.83/1105.19	c 1102s |      17 |  2082244 |   275032 |    64321      8 |        5 |      696
1107.03/1107.34	c 1105s |      17 |  2085967 |   275632 |    64321      8 |        5 |      696
1109.13/1109.46	c 1107s |      17 |  2091331 |   276332 |    64321      8 |        5 |      696
1111.13/1111.47	c 1109s |      17 |  2096445 |   277132 |    64321      8 |        5 |      696
1113.32/1113.63	c 1111s |      17 |  2100594 |   278032 |    64321      8 |        5 |      696
1115.42/1115.75	c 1113s |      17 |  2104578 |   278832 |    64321      8 |        5 |      696
1117.52/1117.89	c 1115s |      17 |  2108395 |   279732 |    64321      8 |        5 |      696
1119.82/1120.10	c 1117s |      17 |  2111454 |   280832 |    64321      8 |        5 |      696
1121.82/1122.14	c 1119s |      17 |  2115187 |   281532 |    64321      8 |        5 |      696
1124.02/1124.39	c 1122s |      17 |  2120134 |   282132 |    64321      8 |        5 |      696
1126.31/1126.69	c 1124s |      17 |  2125703 |   282732 |    64321      8 |        5 |      696
1128.71/1129.05	c 1126s |      17 |  2131772 |   283232 |    64321      8 |        5 |      696
1130.81/1131.10	c 1128s |      17 |  2136161 |   283632 |    64321      8 |        5 |      696
1132.91/1133.23	c 1130s |      17 |  2139082 |   284232 |    64321      8 |        5 |      696
1135.31/1135.61	c 1133s |      17 |  2143519 |   284732 |    64321      8 |        5 |      696
1137.71/1138.06	c 1135s |      17 |  2150423 |   285232 |    64321      8 |        5 |      696
1140.01/1140.37	c 1138s |      17 |  2155174 |   285732 |    64321      8 |        5 |      696
1142.10/1142.45	c 1140s |      17 |  2158443 |   286332 |    64321      8 |        5 |      696
1144.50/1144.85	c 1142s |      17 |  2162673 |   286932 |    64321      8 |        5 |      696
1146.60/1146.94	c 1144s |      17 |  2167418 |   287632 |    64321      8 |        5 |      696
1148.70/1149.09	c 1146s |      17 |  2172700 |   288132 |    64321      8 |        5 |      696
1151.10/1151.47	c 1149s |      17 |  2178060 |   288632 |    64321      8 |        5 |      696
1153.10/1153.49	c 1151s |      17 |  2181731 |   289132 |    64321      8 |        5 |      696
1155.40/1155.75	c 1153s |      17 |  2186397 |   289832 |    64321      8 |        5 |      696
1157.60/1157.91	c 1155s |      17 |  2190267 |   290332 |    64321      8 |        5 |      696
1159.90/1160.20	c 1157s |      17 |  2193746 |   290932 |    64321      8 |        5 |      696
1161.89/1162.29	c 1160s |      17 |  2200002 |   291432 |    64321      8 |        5 |      696
1164.19/1164.56	c 1162s |      17 |  2205122 |   292132 |    64321      8 |        5 |      696
1166.29/1166.64	c 1164s |      17 |  2210414 |   292632 |    64321      8 |        5 |      696
1168.39/1168.72	c 1166s |      17 |  2214456 |   293332 |    64321      8 |        5 |      696
1170.59/1170.93	c 1168s |      17 |  2220694 |   293932 |    64321      8 |        5 |      696
1172.88/1173.23	c 1170s |      17 |  2225374 |   294632 |    70754      8 |        5 |      696
1175.08/1175.40	c 1173s |      17 |  2229715 |   295232 |    70754      8 |        5 |      696
1177.18/1177.55	c 1175s |      17 |  2234083 |   295832 |    70754      8 |        5 |      696
1178.38/1178.76	c 1176s |      18 |  2236483 |   296252 |    70754      8 |        5 |      696
1180.68/1181.00	c 1178s |      18 |  2239869 |   296752 |    70754      8 |        5 |      696
1182.68/1183.00	c 1180s |      18 |  2242944 |   297352 |    70754      8 |        5 |      696
1184.68/1185.02	c 1182s |      18 |  2246481 |   297952 |    70754      8 |        5 |      696
1186.68/1187.08	c 1184s |      18 |  2249893 |   298652 |    70754      8 |        5 |      696
1188.98/1189.35	c 1187s |      18 |  2253072 |   299352 |    70754      8 |        5 |      696
1190.98/1191.37	c 1189s |      18 |  2255555 |   299952 |    70754      8 |        5 |      696
1193.18/1193.52	c 1191s |      18 |  2259926 |   300652 |    70754      8 |        5 |      696
1195.17/1195.59	c 1193s |      18 |  2262866 |   301352 |    70754      8 |        5 |      696
1197.27/1197.68	c 1195s |      18 |  2265874 |   302152 |    70754      8 |        5 |      696
1199.37/1199.74	c 1197s |      18 |  2267953 |   302952 |    70754      8 |        5 |      696
1232.26/1232.69	c 1230s |      18 |  2269732 |   303452 |    70754      9 |        5 |      696
1246.46/1246.84	c 1244s |      18 |  2270923 |   303552 |    70754      9 |        5 |      696
1248.76/1249.12	c 1246s |      18 |  2276617 |   304052 |    70754      9 |        5 |      696
1250.86/1251.27	c 1249s |      18 |  2280210 |   304752 |    70754      9 |        5 |      696
1253.26/1253.66	c 1251s |      18 |  2286789 |   305352 |    70754      9 |        5 |      696
1255.66/1256.02	c 1253s |      18 |  2293620 |   305852 |    70754      9 |        5 |      696
1258.06/1258.45	c 1256s |      18 |  2299913 |   306352 |    70754      9 |        5 |      696
1260.26/1260.64	c 1258s |      18 |  2304303 |   306852 |    70754      9 |        5 |      696
1262.35/1262.78	c 1260s |      18 |  2307478 |   307452 |    70754      9 |        5 |      696
1264.66/1265.04	c 1262s |      18 |  2313913 |   307952 |    70754      9 |        5 |      696
1266.96/1267.39	c 1265s |      18 |  2321077 |   308452 |    70754      9 |        5 |      696
1269.06/1269.42	c 1267s |      18 |  2326685 |   308952 |    70754      9 |        5 |      696
1271.26/1271.65	c 1269s |      18 |  2335873 |   309952 |    70754      9 |        5 |      696
1273.25/1273.66	c 1271s |      18 |  2340883 |   310452 |    70754      9 |        5 |      696
1275.65/1276.08	c 1273s |      18 |  2344610 |   311152 |    70754      9 |        5 |      696
1277.95/1278.36	c 1276s |      18 |  2349216 |   311652 |    70754      9 |        5 |      696
1280.25/1280.60	c 1278s |      18 |  2354229 |   312152 |    70754      9 |        5 |      696
1282.25/1282.69	c 1280s |      18 |  2357958 |   312852 |    70754      9 |        5 |      696
1284.75/1285.14	c 1282s |      18 |  2361848 |   313452 |    70754      9 |        5 |      696
1286.95/1287.34	c 1285s |      18 |  2367504 |   313952 |    70754      9 |        5 |      696
1289.05/1289.44	c 1287s |      18 |  2371818 |   314652 |    70754      9 |        5 |      696
1291.25/1291.64	c 1289s |      18 |  2376301 |   315152 |    70754      9 |        5 |      696
1293.25/1293.66	c 1291s |      18 |  2382044 |   315652 |    70754      9 |        5 |      696
1295.55/1295.97	c 1293s |      18 |  2387383 |   316352 |    70754      9 |        5 |      696
1297.84/1298.25	c 1296s |      18 |  2393344 |   317052 |    70754      9 |        5 |      696
1299.85/1300.29	c 1298s |      18 |  2396679 |   317652 |    70754      9 |        5 |      696
1302.24/1302.60	c 1300s |      18 |  2403857 |   318252 |    70754      9 |        5 |      696
1304.25/1304.60	c 1302s |      18 |  2407007 |   318852 |    70754      9 |        5 |      696
1306.45/1306.83	c 1304s |      18 |  2412024 |   319452 |    70754      9 |        5 |      696
1308.44/1308.83	c 1306s |      18 |  2416058 |   319952 |    70754      9 |        5 |      696
1310.44/1310.87	c 1308s |      18 |  2418799 |   320552 |    70754      9 |        5 |      696
1312.54/1312.93	c 1310s |      18 |  2421655 |   321152 |    70754      9 |        5 |      696
1314.64/1315.05	c 1312s |      18 |  2426227 |   321752 |    70754      9 |        5 |      696
1316.64/1317.08	c 1314s |      18 |  2431018 |   322252 |    70754      9 |        5 |      696
1318.74/1319.14	c 1316s |      18 |  2434844 |   322952 |    70754      9 |        5 |      696
1320.94/1321.30	c 1319s |      18 |  2439988 |   323652 |    70754      9 |        5 |      696
1323.13/1323.51	c 1321s |      18 |  2444803 |   324352 |    70754      9 |        5 |      696
1325.43/1325.83	c 1323s |      18 |  2449646 |   325052 |    70754      9 |        5 |      696
1327.63/1328.08	c 1325s |      18 |  2453172 |   325752 |    70754      9 |        5 |      696
1329.93/1330.34	c 1328s |      18 |  2456958 |   326452 |    70754      9 |        5 |      696
1331.93/1332.37	c 1330s |      18 |  2460730 |   327152 |    70754      9 |        5 |      696
1334.03/1334.49	c 1332s |      18 |  2464227 |   327852 |    70754      9 |        5 |      696
1336.02/1336.50	c 1334s |      18 |  2467661 |   328552 |    70754      9 |        5 |      696
1338.12/1338.52	c 1336s |      18 |  2470495 |   329252 |    70754      9 |        5 |      696
1340.22/1340.67	c 1338s |      18 |  2472741 |   330052 |    70754      9 |        5 |      696
1342.52/1342.90	c 1340s |      18 |  2476226 |   330952 |    70754      9 |        5 |      696
1344.52/1344.94	c 1342s |      18 |  2478515 |   331952 |    70754      9 |        5 |      696
1346.52/1346.95	c 1344s |      18 |  2485409 |   332452 |    70754      9 |        5 |      696
1348.52/1348.99	c 1346s |      18 |  2491494 |   332852 |    70754      9 |        5 |      696
1350.62/1351.06	c 1348s |      18 |  2494993 |   333352 |    70754      9 |        5 |      696
1352.81/1353.20	c 1350s |      18 |  2501040 |   334052 |    70754      9 |        5 |      696
1354.92/1355.32	c 1353s |      18 |  2506038 |   334452 |    70754      9 |        5 |      696
1357.12/1357.58	c 1355s |      18 |  2511783 |   334952 |    70754      9 |        5 |      696
1359.41/1359.83	c 1357s |      18 |  2515566 |   335652 |    70754      9 |        5 |      696
1361.61/1362.00	c 1359s |      18 |  2520270 |   336152 |    70754      9 |        5 |      696
1363.81/1364.24	c 1361s |      18 |  2526348 |   336652 |    70754      9 |        5 |      696
1366.01/1366.42	c 1364s |      18 |  2531394 |   337352 |    70754      9 |        5 |      696
1368.41/1368.80	c 1366s |      18 |  2537931 |   337952 |    70754      9 |        5 |      696
1370.81/1371.21	c 1368s |      18 |  2541845 |   338252 |    70754     10 |        5 |      696
1372.80/1373.23	c 1370s |      18 |  2549207 |   338952 |    70754     10 |        5 |      696
1374.90/1375.30	c 1373s |      18 |  2554018 |   339552 |    70754     10 |        5 |      696
1377.00/1377.43	c 1375s |      18 |  2559908 |   340052 |    70754     10 |        5 |      696
1379.11/1379.53	c 1377s |      18 |  2566530 |   340852 |    70754     10 |        5 |      696
1381.10/1381.55	c 1379s |      18 |  2571961 |   341352 |    70754     10 |        5 |      696
1383.30/1383.77	c 1381s |      18 |  2579237 |   341952 |    70754     10 |        5 |      696
1385.50/1385.99	c 1383s |      18 |  2585069 |   342752 |    70754     10 |        5 |      696
1387.60/1388.05	c 1385s |      18 |  2592152 |   343452 |    70754     10 |        5 |      696
1389.80/1390.23	c 1387s |      18 |  2599962 |   344252 |    70754     10 |        5 |      696
1392.10/1392.55	c 1390s |      18 |  2605460 |   344852 |    70754     10 |        5 |      696
1394.20/1394.65	c 1392s |      18 |  2611244 |   345652 |    70754     10 |        5 |      696
1396.30/1396.70	c 1394s |      18 |  2615272 |   346152 |    70754     10 |        5 |      696
1398.40/1398.80	c 1396s |      18 |  2619541 |   346952 |    70754     10 |        5 |      696
1400.40/1400.81	c 1398s |      18 |  2624932 |   347752 |    70754     10 |        5 |      696
1402.40/1402.82	c 1400s |      18 |  2630712 |   348352 |    70754     10 |        5 |      696
1404.40/1404.85	c 1402s |      18 |  2635568 |   349052 |    70754     10 |        5 |      696
1406.60/1407.09	c 1404s |      18 |  2640180 |   349852 |    70754     10 |        5 |      696
1408.90/1409.32	c 1407s |      18 |  2645305 |   350552 |    70754     10 |        5 |      696
1410.90/1411.34	c 1409s |      18 |  2649283 |   351252 |    70754     10 |        5 |      696
1413.10/1413.58	c 1411s |      18 |  2654886 |   352152 |    70754     10 |        5 |      696
1415.19/1415.67	c 1413s |      18 |  2660109 |   352852 |    70754     10 |        5 |      696
1417.39/1417.87	c 1415s |      18 |  2664078 |   353752 |    70754     10 |        5 |      696
1419.39/1419.88	c 1417s |      18 |  2667711 |   354552 |    70754     10 |        5 |      696
1421.59/1422.09	c 1419s |      18 |  2671732 |   355452 |    70754     10 |        5 |      696
1423.79/1424.28	c 1422s |      18 |  2674941 |   356352 |    70754     10 |        5 |      696
1425.89/1426.38	c 1424s |      18 |  2678043 |   357452 |    70754     10 |        5 |      696
1428.19/1428.62	c 1426s |      18 |  2683374 |   358252 |    70754     10 |        5 |      696
1430.39/1430.85	c 1428s |      18 |  2688249 |   358852 |    70754     10 |        5 |      696
1432.38/1432.86	c 1430s |      18 |  2691209 |   359452 |    70754     10 |        5 |      696
1434.78/1435.20	c 1432s |      18 |  2696831 |   359952 |    70754     10 |        5 |      696
1436.78/1437.24	c 1434s |      18 |  2701779 |   360452 |    70754     10 |        5 |      696
1438.98/1439.44	c 1437s |      18 |  2705605 |   361152 |    70754     10 |        5 |      696
1441.18/1441.67	c 1439s |      18 |  2711811 |   361652 |    70754     10 |        5 |      696
1443.58/1444.05	c 1441s |      18 |  2715441 |   362252 |    70754     10 |        5 |      696
1445.98/1446.44	c 1444s |      18 |  2721078 |   362852 |    70754     10 |        5 |      696
1448.18/1448.61	c 1446s |      18 |  2726002 |   363352 |    70754     10 |        5 |      696
1450.38/1450.85	c 1448s |      18 |  2729696 |   364052 |    70754     10 |        5 |      696
1452.58/1453.08	c 1450s |      18 |  2734824 |   364552 |    70754     10 |        5 |      696
1454.88/1455.33	c 1453s |      18 |  2741779 |   365352 |    70754     10 |        5 |      696
1456.98/1457.50	c 1455s |      18 |  2746891 |   365852 |    70754     10 |        5 |      696
1459.28/1459.74	c 1457s |      18 |  2750675 |   366452 |    70754     10 |        5 |      696
1461.68/1462.20	c 1459s |      18 |  2755276 |   367052 |    70754     10 |        5 |      696
1463.98/1464.48	c 1462s |      18 |  2758905 |   367752 |    70754     10 |        5 |      696
1466.38/1466.84	c 1464s |      18 |  2764556 |   368352 |    70754     10 |        5 |      696
1468.47/1468.99	c 1466s |      18 |  2767523 |   368952 |    70754     10 |        5 |      696
1470.57/1471.08	c 1468s |      18 |  2771267 |   369452 |    70754     10 |        5 |      696
1472.97/1473.48	c 1471s |      18 |  2774611 |   370152 |    70754     10 |        5 |      696
1475.07/1475.50	c 1473s |      18 |  2779101 |   370652 |    70754     10 |        5 |      696
1477.07/1477.55	c 1475s |      18 |  2783333 |   371352 |    70754     10 |        5 |      696
1479.27/1479.73	c 1477s |      18 |  2787101 |   371952 |    70754     10 |        5 |      696
1481.47/1481.93	c 1479s |      18 |  2789831 |   372652 |    70754     10 |        5 |      696
1483.58/1484.07	c 1481s |      18 |  2793202 |   373252 |    70754     10 |        5 |      696
1485.78/1486.26	c 1484s |      18 |  2798674 |   374052 |    70754     10 |        5 |      696
1487.97/1488.41	c 1486s |      18 |  2801739 |   374752 |    70754     10 |        5 |      696
1490.07/1490.51	c 1488s |      18 |  2805313 |   375452 |    70754     10 |        5 |      696
1492.17/1492.61	c 1490s |      18 |  2808520 |   376152 |    70754     10 |        5 |      696
1494.37/1494.84	c 1492s |      18 |  2811367 |   376752 |    70754     11 |        5 |      696
1496.57/1497.00	c 1494s |      18 |  2814377 |   377652 |    70754     11 |        5 |      696
1498.67/1499.15	c 1496s |      18 |  2816948 |   378552 |    70754     11 |        5 |      696
1500.77/1501.29	c 1499s |      18 |  2819202 |   379452 |    70754     11 |        5 |      696
1503.27/1503.75	c 1501s |      18 |  2822881 |   380052 |    70754     11 |        5 |      696
1505.47/1505.95	c 1503s |      18 |  2827225 |   380552 |    70754     11 |        5 |      696
1507.56/1508.00	c 1505s |      18 |  2832425 |   381252 |    70754     11 |        5 |      696
1509.87/1510.32	c 1508s |      18 |  2838481 |   381752 |    70754     11 |        5 |      696
1512.07/1512.52	c 1510s |      18 |  2844294 |   382252 |    70754     11 |        5 |      696
1514.16/1514.66	c 1512s |      18 |  2853038 |   383152 |    70754     11 |        5 |      696
1516.16/1516.69	c 1514s |      18 |  2856870 |   383552 |    70754     11 |        5 |      696
1518.36/1518.86	c 1516s |      18 |  2861698 |   384052 |    70754     11 |        5 |      696
1520.36/1520.87	c 1518s |      18 |  2865063 |   384752 |    70754     11 |        5 |      696
1522.36/1522.88	c 1520s |      18 |  2869242 |   385252 |    70754     11 |        5 |      696
1524.36/1524.89	c 1522s |      18 |  2872864 |   385652 |    70754     11 |        5 |      696
1526.47/1526.92	c 1524s |      18 |  2876276 |   386152 |    70754     11 |        5 |      696
1528.46/1528.99	c 1526s |      18 |  2878375 |   386752 |    70754     11 |        5 |      696
1530.66/1531.16	c 1528s |      18 |  2883572 |   387252 |    70754     11 |        5 |      696
1532.86/1533.39	c 1531s |      18 |  2886580 |   387952 |    70754     11 |        5 |      696
1534.96/1535.42	c 1533s |      18 |  2891291 |   388452 |    70754     11 |        5 |      696
1536.96/1537.43	c 1535s |      18 |  2896870 |   388952 |    70754     11 |        5 |      696
1539.36/1539.82	c 1537s |      18 |  2904308 |   389852 |    70754     11 |        5 |      696
1541.46/1541.98	c 1539s |      18 |  2909391 |   390352 |    70754     11 |        5 |      696
1543.76/1544.25	c 1542s |      18 |  2914575 |   391152 |    70754     11 |        5 |      696
1545.96/1546.42	c 1544s |      18 |  2919207 |   391652 |    70754     11 |        5 |      696
1548.06/1548.57	c 1546s |      18 |  2923492 |   392252 |    70754     11 |        5 |      696
1550.26/1550.73	c 1548s |      18 |  2929393 |   392952 |    70754     11 |        5 |      696
1552.46/1552.91	c 1550s |      18 |  2935199 |   393552 |    70754     11 |        5 |      696
1554.45/1554.99	c 1552s |      18 |  2940639 |   394252 |    70754     11 |        5 |      696
1556.85/1557.35	c 1555s |      18 |  2945842 |   395052 |    70754     11 |        5 |      696
1558.95/1559.44	c 1557s |      18 |  2950159 |   395752 |    70754     11 |        5 |      696
1561.15/1561.67	c 1559s |      18 |  2953853 |   396452 |    70754     11 |        5 |      696
1563.45/1563.97	c 1561s |      18 |  2958586 |   397152 |    70754     11 |        5 |      696
1565.65/1566.16	c 1563s |      18 |  2965679 |   398052 |    70754     11 |        5 |      696
1567.95/1568.44	c 1566s |      18 |  2970867 |   398952 |    70754     11 |        5 |      696
1569.95/1570.47	c 1568s |      18 |  2974929 |   399652 |    70754     11 |        5 |      696
1572.05/1572.58	c 1570s |      18 |  2978725 |   400452 |    70754     11 |        5 |      696
1574.15/1574.64	c 1572s |      18 |  2981855 |   401152 |    70754     11 |        5 |      696
1576.25/1576.74	c 1574s |      18 |  2984788 |   402052 |    70754     11 |        5 |      696
1578.35/1578.87	c 1576s |      18 |  2986800 |   403052 |    70754     11 |        5 |      696
1580.65/1581.10	c 1578s |      18 |  2990578 |   403552 |    70754     11 |        5 |      696
1582.75/1583.27	c 1581s |      18 |  2994519 |   404152 |    70754     11 |        5 |      696
1585.05/1585.59	c 1583s |      18 |  2999578 |   404652 |    70754     11 |        5 |      696
1587.15/1587.64	c 1585s |      18 |  3003560 |   405052 |    70754     11 |        5 |      696
1589.65/1590.12	c 1587s |      18 |  3007566 |   405552 |    70754     11 |        5 |      696
1591.75/1592.26	c 1590s |      18 |  3010721 |   406152 |    70754     11 |        5 |      696
1593.85/1594.31	c 1592s |      18 |  3014812 |   406652 |    70754     11 |        5 |      696
1595.95/1596.47	c 1594s |      18 |  3020417 |   407152 |    70754     11 |        5 |      696
1598.05/1598.54	c 1596s |      18 |  3025122 |   407852 |    70754     11 |        5 |      696
1600.35/1600.84	c 1598s |      18 |  3031110 |   408352 |    70754     11 |        5 |      696
1602.45/1602.94	c 1600s |      18 |  3034395 |   408852 |    70754     11 |        5 |      696
1604.75/1605.29	c 1603s |      18 |  3037697 |   409552 |    70754     11 |        5 |      696
1607.05/1607.51	c 1605s |      18 |  3041828 |   410052 |    70754     11 |        5 |      696
1609.35/1609.88	c 1607s |      18 |  3045124 |   410752 |    70754     11 |        5 |      696
1611.65/1612.14	c 1609s |      18 |  3049524 |   411252 |    70754     11 |        5 |      696
1613.85/1614.33	c 1612s |      18 |  3052980 |   411752 |    70754     11 |        5 |      696
1615.95/1616.47	c 1614s |      18 |  3054694 |   412252 |    70754     12 |        5 |      696
1618.15/1618.61	c 1616s |      18 |  3059853 |   412752 |    70754     12 |        5 |      696
1620.14/1620.64	c 1618s |      18 |  3064399 |   413352 |    70754     12 |        5 |      696
1622.24/1622.78	c 1620s |      18 |  3068548 |   414052 |    70754     12 |        5 |      696
1624.25/1624.79	c 1622s |      18 |  3072500 |   414752 |    70754     12 |        5 |      696
1626.45/1626.94	c 1624s |      18 |  3076487 |   415352 |    70754     12 |        5 |      696
1628.54/1629.08	c 1626s |      18 |  3081390 |   416052 |    70754     12 |        5 |      696
1630.95/1631.46	c 1629s |      18 |  3085034 |   416852 |    70754     12 |        5 |      696
1632.94/1633.48	c 1631s |      18 |  3088665 |   417552 |    70754     12 |        5 |      696
1635.25/1635.77	c 1633s |      18 |  3094194 |   418352 |    70754     12 |        5 |      696
1637.34/1637.85	c 1635s |      18 |  3099086 |   419152 |    70754     12 |        5 |      696
1639.54/1640.03	c 1637s |      18 |  3102406 |   419952 |    70754     12 |        5 |      696
1641.64/1642.18	c 1639s |      18 |  3106825 |   420852 |    70754     12 |        5 |      696
1643.84/1644.33	c 1642s |      18 |  3110563 |   421752 |    70754     12 |        5 |      696
1645.94/1646.49	c 1644s |      18 |  3113736 |   422652 |    70754     12 |        5 |      696
1648.04/1648.53	c 1646s |      18 |  3116041 |   423652 |    70754     12 |        5 |      696
1650.24/1650.77	c 1648s |      18 |  3119761 |   424352 |    70754     12 |        5 |      696
1652.44/1652.92	c 1650s |      18 |  3123922 |   424852 |    70754     12 |        5 |      696
1654.54/1655.04	c 1652s |      18 |  3127453 |   425552 |    70754     12 |        5 |      696
1656.64/1657.13	c 1654s |      18 |  3133730 |   426052 |    70754     12 |        5 |      696
1658.84/1659.38	c 1657s |      18 |  3137250 |   426552 |    70754     12 |        5 |      696
1661.14/1661.67	c 1659s |      18 |  3140658 |   427252 |    70754     12 |        5 |      696
1663.24/1663.70	c 1661s |      18 |  3145080 |   427752 |    70754     12 |        5 |      696
1665.34/1665.80	c 1663s |      18 |  3150109 |   428252 |    70754     12 |        5 |      696
1667.54/1668.07	c 1665s |      18 |  3155036 |   429052 |    70754     12 |        5 |      696
1669.74/1670.24	c 1667s |      18 |  3160106 |   429552 |    70754     12 |        5 |      696
1671.84/1672.38	c 1670s |      18 |  3163718 |   430152 |    70754     12 |        5 |      696
1673.94/1674.48	c 1672s |      18 |  3168522 |   430852 |    70754     12 |        5 |      696
1676.14/1676.61	c 1674s |      18 |  3172962 |   431552 |    70754     12 |        5 |      696
1678.33/1678.89	c 1676s |      18 |  3178167 |   432152 |    70754     12 |        5 |      696
1680.44/1680.94	c 1678s |      18 |  3181623 |   432852 |    70754     12 |        5 |      696
1682.73/1683.29	c 1681s |      18 |  3186797 |   433452 |    70754     12 |        5 |      696
1685.13/1685.66	c 1683s |      18 |  3192213 |   434252 |    70754     12 |        5 |      696
1687.23/1687.72	c 1685s |      18 |  3195884 |   434852 |    70754     12 |        5 |      696
1689.33/1689.83	c 1687s |      18 |  3199549 |   435452 |    70754     12 |        5 |      696
1691.44/1691.95	c 1689s |      18 |  3203385 |   436152 |    70754     12 |        5 |      696
1693.54/1694.05	c 1691s |      18 |  3207864 |   436852 |    70754     12 |        5 |      696
1695.63/1696.11	c 1693s |      18 |  3212984 |   437552 |    70754     12 |        5 |      696
1697.83/1698.35	c 1696s |      18 |  3217061 |   438252 |    70754     12 |        5 |      696
1700.03/1700.54	c 1698s |      18 |  3220320 |   439052 |    70754     12 |        5 |      696
1702.13/1702.61	c 1700s |      18 |  3223646 |   439752 |    70754     12 |        5 |      696
1704.33/1704.86	c 1702s |      18 |  3226519 |   440452 |    70754     12 |        5 |      696
1706.53/1707.04	c 1704s |      18 |  3229900 |   441252 |    70754     12 |        5 |      696
1708.53/1709.04	c 1706s |      18 |  3232379 |   441952 |    77830     12 |        5 |      696
1710.63/1711.16	c 1708s |      18 |  3235053 |   442752 |    77830     12 |        5 |      696
1712.83/1713.32	c 1711s |      18 |  3237834 |   443752 |    77830     12 |        5 |      696
1714.73/1715.26	c 1713s |      19 |  3240637 |   444482 |    77830     12 |        5 |      696
1716.93/1717.41	c 1715s |      19 |  3243548 |   444982 |    77830     12 |        5 |      696
1718.93/1719.48	c 1717s |      19 |  3247044 |   445482 |    77830     12 |        5 |      696
1721.23/1721.72	c 1719s |      19 |  3251514 |   445982 |    77830     12 |        5 |      696
1723.43/1723.94	c 1721s |      19 |  3255803 |   446682 |    77830     12 |        5 |      696
1725.63/1726.15	c 1723s |      19 |  3260235 |   447282 |    77830     12 |        5 |      696
1727.83/1728.35	c 1726s |      19 |  3264883 |   447882 |    77830     12 |        5 |      696
1730.03/1730.53	c 1728s |      19 |  3268469 |   448382 |    77830     12 |        5 |      696
1732.03/1732.56	c 1730s |      19 |  3272775 |   448982 |    77830     12 |        5 |      696
1734.12/1734.65	c 1732s |      19 |  3279044 |   449482 |    77830     12 |        5 |      696
1736.12/1736.68	c 1734s |      19 |  3283802 |   450182 |    77830     12 |        5 |      696
1738.22/1738.71	c 1736s |      19 |  3288363 |   450782 |    77830     12 |        5 |      696
1740.22/1740.78	c 1738s |      19 |  3292843 |   451382 |    77830     12 |        5 |      696
1742.52/1743.08	c 1740s |      19 |  3297271 |   452082 |    77830     12 |        5 |      696
1744.92/1745.42	c 1743s |      19 |  3301722 |   452782 |    77830     12 |        5 |      696
1746.92/1747.47	c 1745s |      19 |  3305408 |   453382 |    77830     12 |        5 |      696
1749.02/1749.56	c 1747s |      19 |  3309620 |   453982 |    77830     12 |        5 |      696
1751.32/1751.82	c 1749s |      19 |  3312657 |   454682 |    77830     12 |        5 |      696
1753.52/1754.02	c 1751s |      19 |  3316078 |   455382 |    77830     12 |        5 |      696
1755.82/1756.34	c 1754s |      19 |  3319510 |   456082 |    77830     12 |        5 |      696
1758.12/1758.62	c 1756s |      19 |  3322401 |   456682 |    77830     13 |        5 |      696
1760.22/1760.77	c 1758s |      19 |  3325843 |   457582 |    77830     13 |        5 |      696
1762.42/1762.97	c 1760s |      19 |  3329019 |   458482 |    77830     13 |        5 |      696
1764.62/1765.10	c 1762s |      19 |  3331123 |   459382 |    77830     13 |        5 |      696
1766.62/1767.19	c 1764s |      19 |  3333783 |   460482 |    77830     13 |        5 |      696
1768.83/1769.33	c 1767s |      19 |  3336579 |   461082 |    77830     13 |        5 |      696
1771.13/1771.67	c 1769s |      19 |  3342229 |   461882 |    77830     13 |        5 |      696
1773.33/1773.81	c 1771s |      19 |  3347529 |   462382 |    77830     13 |        5 |      696
1775.53/1776.02	c 1773s |      19 |  3351234 |   463082 |    77830     13 |        5 |      696
1777.52/1778.08	c 1775s |      19 |  3355336 |   463582 |    77830     13 |        5 |      696
1779.52/1780.09	c 1777s |      19 |  3360226 |   464282 |    77830     13 |        5 |      696
1781.72/1782.26	c 1780s |      19 |  3365626 |   464882 |    77830     13 |        5 |      696
1783.92/1784.48	c 1782s |      19 |  3371144 |   465682 |    77830     13 |        5 |      696
1786.03/1786.56	c 1784s |      19 |  3375914 |   466382 |    77830     13 |        5 |      696
1788.02/1788.59	c 1786s |      19 |  3382657 |   467082 |    77830     13 |        5 |      696
1790.33/1790.88	c 1788s |      19 |  3386592 |   467782 |    77830     13 |        5 |      696
1792.53/1793.09	c 1790s |      19 |  3391557 |   468482 |    77830     13 |        5 |      696
1794.83/1795.35	c 1793s |      19 |  3395949 |   469282 |    77830     13 |        5 |      696
1796.93/1797.47	c 1795s |      19 |  3400920 |   470182 |    77830     13 |        5 |      696
1799.23/1799.72	c 1797s |      19 |  3404941 |   470982 |    77830     13 |        5 |      696

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.25 2.26 3/179 3746
/proc/meminfo: memFree=29095932/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=452028 CPUtime=0 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 1640 0 0 0 0 0 0 0 20 0 4 0 13950208 462876672 2000 33554432000 4194304 16246674 140734969638640 140734969638064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3746/statm: 113775 2008 441 2943 0 110669 0
[pid=3746/tid=3747] ppid=3743 vsize=484796 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 496431104 2128 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=489916 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 501673984 2144 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=494012 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13950209 505868288 2160 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.26 2.25 2.26 3/179 3746
/proc/meminfo: memFree=29095932/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1266244 CPUtime=0.09 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 25394 0 0 0 5 4 0 0 20 0 4 0 13950208 1296633856 25693 33554432000 4194304 16246674 140734969638640 140734969637952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3746/statm: 317841 25711 801 2943 0 314735 0
[pid=3746/tid=3747] ppid=3743 vsize=1274436 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1305022464 25725 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1278532 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1309216768 25739 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1282628 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1313411072 25753 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1266244

[startup+0.200497 s]
/proc/loadavg: 2.26 2.25 2.26 3/179 3746
/proc/meminfo: memFree=29095932/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 48188 0 0 0 11 7 0 0 20 0 4 0 13950208 1343819776 48998 33554432000 4194304 16246674 140734969638640 140734969637952 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3746/statm: 328081 49004 801 2943 0 324975 0
[pid=3746/tid=3747] ppid=3743 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1343819776 49009 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1343819776 49014 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1343819776 49018 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300424 s]
/proc/loadavg: 2.26 2.25 2.26 3/179 3746
/proc/meminfo: memFree=29095932/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 59893 0 0 0 19 10 0 0 20 0 4 0 13950208 1344868352 60702 33554432000 4194304 16246674 140734969638640 140734969637952 4221095 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3746/statm: 328337 60702 801 2943 0 325231 0
[pid=3746/tid=3747] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 60702 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 60702 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 60702 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700493 s]
/proc/loadavg: 2.26 2.25 2.26 3/179 3746
/proc/meminfo: memFree=29095932/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 68049 0 0 0 58 11 0 0 20 0 4 0 13950208 1344868352 68858 33554432000 4194304 16246674 140734969638640 140734969636480 7378241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 328337 68858 801 2943 0 325231 0
[pid=3746/tid=3747] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 68858 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 68858 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 68858 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.24 2.25 2.26 3/183 3750
/proc/meminfo: memFree=28623556/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 223204 0 0 0 120 29 0 0 20 0 4 0 13950208 1344868352 224014 33554432000 4194304 16246674 140734969638640 140734969636480 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 328337 224025 836 2943 0 325231 0
[pid=3746/tid=3747] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 224033 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 224039 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1344868352 224048 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10045 s]
/proc/loadavg: 2.24 2.25 2.26 3/183 3750
/proc/meminfo: memFree=28005912/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1325636 CPUtime=3.09 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 271916 0 0 0 274 35 0 0 20 0 4 0 13950208 1357451264 272725 33554432000 4194304 16246674 140734969638640 140734969620544 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 331409 272725 881 2943 0 328303 0
[pid=3746/tid=3747] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272725 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272725 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272725 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30036 s]
/proc/loadavg: 2.24 2.25 2.26 3/183 3750
/proc/meminfo: memFree=28005128/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1325636 CPUtime=6.29 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 272078 0 0 0 594 35 0 0 20 0 4 0 13950208 1357451264 272887 33554432000 4194304 16246674 140734969638640 140734969637816 12483544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 331409 272887 884 2943 0 328303 0
[pid=3746/tid=3747] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272887 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272887 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272887 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.28 2.25 2.26 4/183 3750
/proc/meminfo: memFree=28000812/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1325636 CPUtime=12.69 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 272080 0 0 0 1234 35 0 0 20 0 4 0 13950208 1357451264 272889 33554432000 4194304 16246674 140734969638640 140734969637736 5523232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 331409 272889 884 2943 0 328303 0
[pid=3746/tid=3747] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272889 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272889 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272889 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.31 2.26 2.26 4/183 3750
/proc/meminfo: memFree=28001832/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1325636 CPUtime=25.49 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 272082 0 0 0 2514 35 0 0 20 0 4 0 13950208 1357451264 272891 33554432000 4194304 16246674 140734969638640 140734969620544 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 331409 272891 886 2943 0 328303 0
[pid=3746/tid=3747] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272891 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272891 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272891 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.41 2.29 2.27 3/183 3750
/proc/meminfo: memFree=28002088/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1325636 CPUtime=51.08 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 272082 0 0 0 5073 35 0 0 20 0 4 0 13950208 1357451264 272891 33554432000 4194304 16246674 140734969638640 140734969620544 5532353 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 331409 272891 886 2943 0 328303 0
[pid=3746/tid=3747] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272891 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272891 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272891 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.301 s]
/proc/loadavg: 2.29 2.27 2.27 3/183 3751
/proc/meminfo: memFree=27999664/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1325636 CPUtime=102.28 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 272085 0 0 0 10193 35 0 0 20 0 4 0 13950208 1357451264 272894 33554432000 4194304 16246674 140734969638640 140734969620544 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 331409 272894 888 2943 0 328303 0
[pid=3746/tid=3747] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272894 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272894 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1357451264 272894 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1377860

[startup+1362.3 s]
/proc/loadavg: 2.11 2.17 2.19 4/183 3831
/proc/meminfo: memFree=27985616/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1377860 CPUtime=1361.91 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 285450 0 0 0 136140 51 0 0 20 0 4 0 13950208 1410928640 286206 33554432000 4194304 16246674 140734969638640 140734969620544 12483464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 344465 286206 888 2943 0 341359 0
[pid=3746/tid=3747] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1377860

[startup+1422.3 s]
/proc/loadavg: 2.35 2.23 2.21 3/184 3835
/proc/meminfo: memFree=27985336/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1377860 CPUtime=1421.89 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 285474 0 0 0 142138 51 0 0 20 0 4 0 13950208 1410928640 286206 33554432000 4194304 16246674 140734969638640 140734969620544 5827824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 344465 286206 888 2943 0 341359 0
[pid=3746/tid=3747] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1377860

[startup+1482.3 s]
/proc/loadavg: 2.30 2.23 2.21 3/183 3836
/proc/meminfo: memFree=27985324/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1377860 CPUtime=1481.87 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 285492 0 0 0 148136 51 0 0 20 0 4 0 13950208 1410928640 286206 33554432000 4194304 16246674 140734969638640 140734969620544 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 344465 286206 888 2943 0 341359 0
[pid=3746/tid=3747] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1410928640 286206 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1377860

[startup+1542.31 s]
/proc/loadavg: 2.19 2.22 2.20 3/183 3838
/proc/meminfo: memFree=27922352/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1440324 CPUtime=1541.86 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 300966 0 0 0 154133 53 0 0 20 0 4 0 13950208 1474891776 301680 33554432000 4194304 16246674 140734969638640 140734969620544 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 360081 301680 888 2943 0 356975 0
[pid=3746/tid=3747] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1440324

[startup+1602.3 s]
/proc/loadavg: 2.32 2.24 2.20 4/183 3839
/proc/meminfo: memFree=27896808/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1440324 CPUtime=1601.85 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 300966 0 0 0 160132 53 0 0 20 0 4 0 13950208 1474891776 301680 33554432000 4194304 16246674 140734969638640 140734969620544 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 360081 301680 888 2943 0 356975 0
[pid=3746/tid=3747] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1440324

[startup+1662.3 s]
/proc/loadavg: 2.26 2.23 2.20 4/183 3840
/proc/meminfo: memFree=27896292/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1440324 CPUtime=1661.84 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 300966 0 0 0 166131 53 0 0 20 0 4 0 13950208 1474891776 301680 33554432000 4194304 16246674 140734969638640 140734969620544 12483464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 360081 301680 888 2943 0 356975 0
[pid=3746/tid=3747] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1440324

[startup+1722.3 s]
/proc/loadavg: 2.22 2.22 2.20 3/183 3841
/proc/meminfo: memFree=27896684/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1440324 CPUtime=1721.83 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 300966 0 0 0 172130 53 0 0 20 0 4 0 13950208 1474891776 301680 33554432000 4194304 16246674 140734969638640 140734969620544 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 360081 301680 888 2943 0 356975 0
[pid=3746/tid=3747] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301680 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1440324

[startup+1782.3 s]
/proc/loadavg: 2.28 2.24 2.20 4/183 3842
/proc/meminfo: memFree=27895180/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1440324 CPUtime=1781.82 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 301108 0 0 0 178128 54 0 0 20 0 4 0 13950208 1474891776 301822 33554432000 4194304 16246674 140734969638640 140734969620544 6023065 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 360081 301822 888 2943 0 356975 0
[pid=3746/tid=3747] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1440324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.29 2.24 2.20 3/183 3843
/proc/meminfo: memFree=27895788/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1440324 CPUtime=1800.02 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 301108 0 0 0 179948 54 0 0 20 0 4 0 13950208 1474891776 301822 33554432000 4194304 16246674 140734969638640 140734969620544 5675184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 360081 301822 888 2943 0 356975 0
[pid=3746/tid=3747] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1440324

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

[startup+1800.5 s]
/proc/loadavg: 2.29 2.24 2.20 3/183 3843
/proc/meminfo: memFree=27895788/32872528 swapFree=1541688/1694988
[pid=3746] ppid=3743 vsize=1440324 CPUtime=1800.02 cores=0,2,4,6
/proc/3746/stat : 3746 (toysat) R 3743 3746 31715 0 -1 4202496 301108 0 0 0 179948 54 0 0 20 0 4 0 13950208 1474891776 301822 33554432000 4194304 16246674 140734969638640 140734969620544 5675184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3746/statm: 360081 301822 888 2943 0 356975 0
[pid=3746/tid=3747] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3747/stat : 3747 (toysat) S 3743 3746 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330289573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3746/tid=3748] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3748/stat : 3748 (toysat) S 3743 3746 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330204638448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3746/tid=3749] ppid=3743 vsize=1440324 CPUtime=0 cores=0,2,4,6
/proc/3746/task/3749/stat : 3749 (toysat) S 3743 3746 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13950209 1474891776 301822 33554432000 4194304 16246674 140734969638640 140330194164912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1440324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.49
CPU system time (s): 0.539917
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1440324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.539917
maximum resident set size= 1207288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301108
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= 368
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.35173 second user time and 19.973 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-17 01:17:16
IDJOB=4097933
IDBENCH=107828
IDSOLVER=2542
FILE ID=node125/4097933-1466119036
RUNJOBID= node125-1466112694-1100
PBS_JOBID= 19904034
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_16.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097933-1466119036/watcher-4097933-1466119036 -o /tmp/evaluation-result-4097933-1466119036/solver-4097933-1466119036 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1100 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097933-1466119036.opb

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

MD5SUM BENCH= 2e4ec9d1e689f9a15b90edecd14f0760
RANDOM SEED=1196683094

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29095824 kB
Buffers:           70496 kB
Cached:           168324 kB
SwapCached:         2680 kB
Active:          1255064 kB
Inactive:         116836 kB
Active(anon):    1132876 kB
Inactive(anon):     2308 kB
Active(file):     122188 kB
Inactive(file):   114528 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             20616 kB
Writeback:             0 kB
AnonPages:       2825996 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             572576 kB
SReclaimable:      16280 kB
SUnreclaim:       556296 kB
KernelStack:        1472 kB
PageTables:         9436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2971828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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 node125 at 2016-06-17 01:47:16