Trace number 4078641

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.08 1800.63

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
MD5SUMb656932a938990470d09f3771b5047c2
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark543.743
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1650
Total number of constraints113164
Number of constraints which are clauses112614
Number of constraints which are cardinality constraints (but not clauses)550
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T15:22:45+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-4078641-1465219365.opb"]
0.00/0.01	c use --random-gen="2805286741 773022411 3647694887 1757437633 4129534755 271869047 3001156602 91590092 3490572613 1797452924 3086350666 1933902163 3486673393 4228086650 2680438097 2798188938 446200885 2126315554 3364336670 3998850378 270625211 1194365806 1149865029 1317816927 137455834 848801767 1347173891 2267975593 709792280 758369701 2396598140 1644541868 3471975302 1238385207 3641228176 1379050053 1493163156 3337474221 2913068002 39010151 2053285817 3183955818 1698297921 41038029 470022721 3771150019 1392447243 960681718 882317654 2935404276 1512437318 4047353658 285501646 2634084646 1688204525 986288325 2285740997 1825282849 1346042389 2597292056 2074640453 241930045 2564756586 2453165953 2008892460 4233202300 1688286674 2090115834 369603401 1280140620 3864810988 2401944116 2814632957 2244694741 4134466129 497926155 1814891772 3737474760 2964170196 406804114 3172953560 3381952009 1709033873 2085955203 3230616933 2967519907 894609839 2097577551 3292978502 3840560297 207065927 2801124567 4113715564 3726504698 887150960 3439427915 3478258099 2275732489 3338639485 2692997162 626599739 2264085494 482906135 1518323988 3474008409 3608625989 4259002452 2073482524 1803970730 3595862005 3658399111 1439555768 744970938 2841036404 852630402 1064533464 1961849560 1282729644 689307554 2998237550 3678490195 1700406276 908865642 2274834479 1094207433 2847602854 256806572 2213595756 1160766408 871865670 3783505488 2524537002 890862826 1186300482 1345346364 649156452 2271019313 2208648021 1235198533 482894334 2393469466 2873390043 2943626021 1252027986 1576780584 349910021 2017348946 1531337655 4190346941 409518842 3911366760 1992768871 1577643005 3318525513 1899735660 894343057 3201218126 3066103858 4173493721 222442102 2154622888 3813829387 4150981508 146334590 584401708 3782489086 3000305809 1631216631 3873825060 62229901 3559749799 1001524159 520569835 4253807674 2127083458 1610509067 2292587591 1005929771 3729869255 620262186 3910399654 662038908 1810871528 1392061071 1973257200 3755615508 981465562 395285957 3298057556 1720444585 1168445998 2997298962 2719482686 1963934447 40659689 866131062 676609747 15466667 1698854117 3365007764 2363216634 3055478368 1977177249 1600982711 72492373 3292237024 498163826 3423414716 1183540635 3963463847 3331615878 1259855149 288117386 4087389251 860158636 952024272 1470963624 2100462467 2656585192 2782974319 1212676858 2632449999 1456788100 127210576 237979022 2955137236 1386713085 3229255085 521330950 3837755035 3506622322 720105373 2712769785 791340374 2310198600 4017426868 2977253658 3066768478 570010098 3801237780 1046489732 3723744810 2344860781 49926230 1126193847 477167665 1092239426 2002722606 884544675 800785627 941775557 403251488 3014003954 3831827077 432543087 4199063896 255 362436" option to reproduce the execution
0.99/1.10	c #vars 1650
0.99/1.10	c #constraints 113164
3.49/3.54	c Solving starts ...
3.49/3.54	c ============================[ Search Statistics ]============================
3.49/3.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.54	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.54	c =============================================================================
3.49/3.54	c  0.0s |       0 |        0 |        0 |    38454      0 |        0 |        0
3.99/4.00	c  0.5s |       1 |      306 |      100 |    38454      0 |        0 |        0
4.29/4.35	c  0.8s |       2 |      721 |      250 |    42300      0 |        0 |        0
4.79/4.86	c  1.3s |       3 |     1395 |      475 |    46531      0 |        0 |        0
5.50/5.52	c  2.0s |       4 |     2039 |      813 |    51185      0 |        0 |        0
6.39/6.44	c  2.9s |       5 |     2898 |     1320 |    56304      0 |        0 |        0
7.70/7.73	c  4.2s |       6 |     4088 |     2081 |    68129      0 |        0 |        0
9.69/9.71	c  6.2s |       7 |     5736 |     3223 |    74942      0 |        0 |        0
11.79/11.87	c  8.3s |       7 |     7499 |     4423 |    74942      0 |        0 |        0
12.69/12.71	c  9.2s |       8 |     8153 |     4936 |    82437      0 |        0 |        0
14.69/14.77	c 11.2s |       8 |     9875 |     6136 |    82437      0 |        0 |        0
16.79/16.89	c 13.4s |       8 |    11347 |     7336 |    82437      0 |        0 |        0
17.19/17.21	c 13.7s |       9 |    11549 |     7506 |    90681      0 |        0 |        0
19.29/19.34	c 15.8s |       9 |    13054 |     8506 |    90681      0 |        0 |        0
21.29/21.34	c 17.8s |       9 |    14167 |     9406 |    90681      0 |        0 |        0
23.39/23.48	c 19.9s |       9 |    15401 |    10406 |    90681      0 |        0 |        0
25.30/25.41	c 21.9s |      10 |    16634 |    11361 |    99750      0 |        0 |        0
27.39/27.46	c 23.9s |      10 |    18176 |    12461 |    99750      0 |        0 |        0
29.49/29.59	c 26.1s |      10 |    19582 |    13661 |    99750      0 |        0 |        0
31.79/31.81	c 28.3s |      10 |    21029 |    14861 |    99750      0 |        0 |        0
33.88/33.92	c 30.4s |      10 |    22352 |    15961 |    99750      0 |        0 |        0
35.88/35.95	c 32.4s |      10 |    23565 |    16961 |    99750      0 |        0 |        0
36.18/36.28	c 32.7s |      11 |    23778 |    17144 |   109726      0 |        0 |        0
38.38/38.42	c 34.9s |      11 |    25086 |    18044 |   109726      0 |        0 |        0
40.48/40.53	c 37.0s |      11 |    26401 |    19044 |   109726      0 |        0 |        0
42.58/42.63	c 39.1s |      11 |    27548 |    19944 |   109726      0 |        0 |        0
44.58/44.66	c 41.1s |      11 |    28669 |    20844 |   109726      0 |        0 |        0
46.78/46.87	c 43.3s |      11 |    29808 |    21744 |   109726      0 |        0 |        0
48.88/48.90	c 45.4s |      11 |    30962 |    22644 |   109726      0 |        0 |        0
50.88/50.98	c 47.4s |      11 |    32084 |    23544 |   109726      0 |        0 |        0
53.17/53.24	c 49.7s |      11 |    33188 |    24444 |   109726      0 |        0 |        0
55.27/55.30	c 51.8s |      11 |    34249 |    25244 |   109726      0 |        0 |        0
56.67/56.77	c 53.2s |      12 |    34999 |    25819 |   120699      0 |        0 |        0
58.77/58.89	c 55.3s |      12 |    36231 |    26619 |   120699      0 |        0 |        0
60.87/60.94	c 57.4s |      12 |    37510 |    27619 |   120699      0 |        0 |        0
63.07/63.10	c 59.6s |      12 |    38811 |    28619 |   120699      0 |        0 |        0
65.17/65.21	c 61.7s |      12 |    40039 |    29619 |   120699      0 |        0 |        0
67.27/67.32	c 63.8s |      12 |    41227 |    30519 |   120699      0 |        0 |        0
69.47/69.58	c 66.0s |      12 |    42294 |    31419 |   120699      0 |        0 |        0
71.77/71.83	c 68.3s |      12 |    43445 |    32319 |   120699      0 |        0 |        0
73.96/74.05	c 70.5s |      12 |    44460 |    33119 |   120699      0 |        0 |        0
76.16/76.20	c 72.7s |      12 |    45411 |    33919 |   120699      0 |        0 |        0
78.26/78.39	c 74.9s |      12 |    46388 |    34719 |   120699      0 |        0 |        0
80.56/80.63	c 77.1s |      12 |    47340 |    35519 |   120699      0 |        0 |        0
82.66/82.71	c 79.2s |      12 |    48210 |    36219 |   120699      0 |        0 |        0
84.67/84.77	c 81.2s |      12 |    49063 |    36919 |   120699      0 |        0 |        0
86.76/86.87	c 83.3s |      12 |    49915 |    37619 |   120699      0 |        0 |        0
88.76/88.88	c 85.3s |      12 |    50752 |    38319 |   120699      0 |        0 |        0
90.46/90.54	c 87.0s |      13 |    51365 |    38832 |   132769      0 |        0 |        0
92.55/92.61	c 89.1s |      13 |    52420 |    39432 |   132769      0 |        0 |        0
94.66/94.75	c 91.2s |      13 |    53422 |    40232 |   132769      0 |        0 |        0
96.95/97.00	c 93.5s |      13 |    54363 |    41032 |   132769      0 |        0 |        0
99.15/99.25	c 95.7s |      13 |    55391 |    41832 |   132769      0 |        0 |        0
101.45/101.56	c 98.0s |      13 |    56393 |    42632 |   132769      0 |        0 |        0
103.55/103.67	c  100s |      13 |    57228 |    43332 |   132769      0 |        0 |        0
105.66/105.77	c  102s |      13 |    58066 |    44032 |   132769      0 |        0 |        0
107.86/107.93	c  104s |      13 |    58920 |    44732 |   132769      0 |        0 |        0
110.06/110.12	c  106s |      13 |    59791 |    45432 |   132769      0 |        0 |        0
112.26/112.32	c  108s |      13 |    60612 |    46132 |   132769      0 |        0 |        0
114.46/114.58	c  111s |      13 |    61479 |    46832 |   132769      0 |        0 |        0
116.75/116.81	c  113s |      13 |    62342 |    47532 |   132769      0 |        0 |        0
118.94/119.04	c  115s |      13 |    63201 |    48232 |   132769      0 |        0 |        0
120.95/121.04	c  117s |      13 |    63966 |    48832 |   132769      0 |        0 |        0
123.15/123.21	c  119s |      13 |    64832 |    49532 |   132769      0 |        0 |        0
125.45/125.53	c  121s |      13 |    65685 |    50232 |   132769      0 |        0 |        0
127.73/127.87	c  124s |      13 |    66510 |    50932 |   132769      0 |        0 |        0
130.03/130.16	c  126s |      13 |    67399 |    51632 |   132769      0 |        0 |        0
132.04/132.17	c  128s |      13 |    68129 |    52232 |   132769      0 |        0 |        0
134.24/134.37	c  130s |      13 |    69019 |    52932 |   132769      0 |        0 |        0
136.63/136.71	c  133s |      13 |    69926 |    53632 |   132769      0 |        0 |        0
138.93/139.02	c  135s |      13 |    70643 |    54232 |   132769      0 |        0 |        0
141.23/141.32	c  137s |      13 |    71370 |    54832 |   132769      0 |        0 |        0
143.33/143.47	c  139s |      13 |    72080 |    55432 |   132769      0 |        0 |        0
145.63/145.72	c  142s |      13 |    72824 |    56032 |   132769      0 |        0 |        0
148.02/148.11	c  144s |      13 |    73562 |    56632 |   132769      0 |        0 |        0
150.42/150.52	c  146s |      13 |    74286 |    57232 |   132769      0 |        0 |        0
152.52/152.61	c  149s |      13 |    74895 |    57732 |   132769      0 |        0 |        0
154.82/154.94	c  151s |      13 |    75616 |    58332 |   146046      0 |        0 |        0
154.92/155.02	c  151s |      14 |    75640 |    58352 |   146046      0 |        0 |        0
157.12/157.24	c  153s |      14 |    76538 |    58852 |   146046      0 |        0 |        0
159.22/159.39	c  155s |      14 |    77451 |    59552 |   146046      0 |        0 |        0
161.32/161.47	c  157s |      14 |    78377 |    60252 |   146046      0 |        0 |        0
163.62/163.71	c  160s |      14 |    79251 |    60952 |   146046      0 |        0 |        0
165.72/165.89	c  162s |      14 |    80111 |    61652 |   146046      0 |        0 |        0
167.92/168.08	c  164s |      14 |    81036 |    62352 |   146046      0 |        0 |        0
170.22/170.31	c  166s |      14 |    81938 |    63052 |   146046      0 |        0 |        0
172.31/172.47	c  168s |      14 |    82836 |    63752 |   146046      0 |        0 |        0
174.31/174.49	c  170s |      14 |    83543 |    64352 |   146046      0 |        0 |        0
176.61/176.76	c  173s |      14 |    84434 |    65052 |   146046      0 |        0 |        0
178.71/178.80	c  175s |      14 |    85178 |    65652 |   146046      0 |        0 |        0
180.91/181.01	c  177s |      14 |    86075 |    66352 |   146046      0 |        0 |        0
183.11/183.20	c  179s |      14 |    86820 |    66952 |   146046      0 |        0 |        0
185.11/185.25	c  181s |      14 |    87588 |    67552 |   146046      0 |        0 |        0
187.21/187.30	c  183s |      14 |    88322 |    68152 |   146046      0 |        0 |        0
189.30/189.46	c  185s |      14 |    89061 |    68752 |   146046      0 |        0 |        0
191.50/191.63	c  188s |      14 |    89793 |    69352 |   146046      0 |        0 |        0
193.70/193.81	c  190s |      14 |    90557 |    69952 |   146046      0 |        0 |        0
196.00/196.16	c  192s |      14 |    91279 |    70552 |   146046      0 |        0 |        0
198.20/198.31	c  194s |      14 |    92016 |    71152 |   146046      0 |        0 |        0
200.40/200.56	c  197s |      14 |    92762 |    71752 |   146046      0 |        0 |        0
202.50/202.60	c  199s |      14 |    93363 |    72252 |   146046      0 |        0 |        0
204.70/204.81	c  201s |      14 |    94082 |    72852 |   146046      0 |        0 |        0
206.71/206.81	c  203s |      14 |    94704 |    73352 |   146046      0 |        0 |        0
208.69/208.85	c  205s |      14 |    95307 |    73852 |   146046      0 |        0 |        0
210.99/211.14	c  207s |      14 |    96066 |    74452 |   146046      0 |        0 |        0
213.40/213.51	c  209s |      14 |    96752 |    75052 |   146046      0 |        0 |        0
215.39/215.53	c  211s |      14 |    97335 |    75552 |   146046      0 |        0 |        0
217.70/217.87	c  214s |      14 |    98040 |    76152 |   146046      0 |        0 |        0
219.78/219.96	c  216s |      14 |    98631 |    76652 |   146046      0 |        0 |        0
221.88/222.00	c  218s |      14 |    99210 |    77152 |   146046      0 |        0 |        0
223.88/224.08	c  220s |      14 |    99789 |    77652 |   146046      0 |        0 |        0
225.98/226.17	c  222s |      14 |   100360 |    78152 |   146046      0 |        0 |        0
228.28/228.48	c  224s |      14 |   100957 |    78652 |   146046      0 |        0 |        0
230.68/230.84	c  227s |      14 |   101500 |    79152 |   146046      0 |        0 |        0
232.88/233.05	c  229s |      14 |   102088 |    79652 |   146046      0 |        0 |        0
234.88/235.09	c  231s |      14 |   102721 |    80152 |   146046      0 |        0 |        0
236.98/237.11	c  233s |      14 |   103330 |    80652 |   146046      0 |        0 |        0
238.97/239.18	c  235s |      14 |   103931 |    81152 |   146046      0 |        0 |        0
241.07/241.23	c  237s |      14 |   104606 |    81652 |   146046      0 |        0 |        0
243.08/243.24	c  239s |      14 |   105203 |    82152 |   146046      0 |        0 |        0
245.18/245.39	c  241s |      14 |   105803 |    82652 |   146046      0 |        0 |        0
247.38/247.58	c  244s |      14 |   106409 |    83152 |   146046      0 |        0 |        0
249.46/249.66	c  246s |      14 |   107004 |    83652 |   146046      0 |        0 |        0
251.66/251.81	c  248s |      14 |   107653 |    84152 |   146046      0 |        0 |        0
253.86/254.05	c  250s |      14 |   108259 |    84652 |   146046      0 |        0 |        0
256.06/256.21	c  252s |      14 |   108840 |    85152 |   146046      0 |        0 |        0
258.16/258.38	c  254s |      14 |   109441 |    85652 |   146046      0 |        0 |        0
260.26/260.40	c  256s |      14 |   110060 |    86152 |   146046      0 |        0 |        0
262.26/262.48	c  258s |      14 |   110671 |    86652 |   146046      0 |        0 |        0
264.56/264.70	c  261s |      14 |   111273 |    87152 |   160651      0 |        0 |        0
266.56/266.78	c  263s |      15 |   111862 |    87632 |   160651      0 |        0 |        0
268.65/268.88	c  265s |      15 |   112464 |    87932 |   160651      0 |        0 |        0
270.75/270.95	c  267s |      15 |   113242 |    88532 |   160651      0 |        0 |        0
272.85/273.01	c  269s |      15 |   113958 |    89132 |   160651      0 |        0 |        0
275.15/275.31	c  271s |      15 |   114837 |    89832 |   160651      0 |        0 |        0
277.35/277.56	c  274s |      15 |   115690 |    90532 |   160651      0 |        0 |        0
279.65/279.85	c  276s |      15 |   116576 |    91232 |   160651      0 |        0 |        0
281.95/282.19	c  278s |      15 |   117453 |    91932 |   160651      0 |        0 |        0
284.05/284.24	c  280s |      15 |   118064 |    92432 |   160651      0 |        0 |        0
286.25/286.40	c  282s |      15 |   118839 |    93032 |   160651      0 |        0 |        0
288.44/288.61	c  285s |      15 |   119535 |    93632 |   160651      0 |        0 |        0
290.74/290.94	c  287s |      15 |   120262 |    94232 |   160651      0 |        0 |        0
292.74/292.97	c  289s |      15 |   120889 |    94732 |   160651      0 |        0 |        0
295.04/295.24	c  291s |      15 |   121615 |    95332 |   160651      0 |        0 |        0
297.14/297.33	c  293s |      15 |   122218 |    95832 |   160651      0 |        0 |        0
299.15/299.36	c  295s |      15 |   122818 |    96332 |   160651      0 |        0 |        0
301.35/301.59	c  298s |      15 |   123433 |    96832 |   160651      0 |        0 |        0
303.45/303.69	c  300s |      15 |   124076 |    97332 |   160651      0 |        0 |        0
305.65/305.83	c  302s |      15 |   124645 |    97832 |   160651      0 |        0 |        0
307.64/307.87	c  304s |      15 |   125258 |    98332 |   160651      0 |        0 |        0
309.93/310.10	c  306s |      15 |   125829 |    98832 |   160651      0 |        0 |        0
312.24/312.50	c  308s |      15 |   126570 |    99432 |   160651      0 |        0 |        0
314.45/314.70	c  311s |      15 |   127172 |    99932 |   160651      0 |        0 |        0
316.83/317.05	c  313s |      15 |   127788 |   100432 |   160651      0 |        0 |        0
318.94/319.18	c  315s |      15 |   128422 |   100932 |   160651      0 |        0 |        0
321.04/321.26	c  317s |      15 |   129054 |   101432 |   160651      0 |        0 |        0
323.13/323.36	c  319s |      15 |   129691 |   101932 |   160651      0 |        0 |        0
325.23/325.47	c  321s |      15 |   130314 |   102432 |   160651      0 |        0 |        0
327.33/327.52	c  323s |      15 |   130934 |   102932 |   160651      0 |        0 |        0
329.32/329.55	c  326s |      15 |   131539 |   103432 |   160651      0 |        0 |        0
331.42/331.65	c  328s |      15 |   132138 |   103932 |   160651      0 |        0 |        0
333.72/333.99	c  330s |      15 |   132744 |   104432 |   160651      0 |        0 |        0
336.12/336.33	c  332s |      15 |   133348 |   104932 |   160651      0 |        0 |        0
338.22/338.43	c  334s |      15 |   133962 |   105432 |   160651      0 |        0 |        0
340.42/340.68	c  337s |      15 |   134563 |   105932 |   160651      0 |        0 |        0
342.71/342.95	c  339s |      15 |   135183 |   106432 |   160651      0 |        0 |        0
345.01/345.28	c  341s |      15 |   135823 |   106932 |   160651      0 |        0 |        0
347.21/347.46	c  343s |      15 |   136449 |   107432 |   160651      0 |        0 |        0
349.41/349.65	c  346s |      15 |   137068 |   107932 |   160651      0 |        0 |        0
351.61/351.88	c  348s |      15 |   137666 |   108432 |   160651      0 |        0 |        0
354.02/354.30	c  350s |      15 |   138273 |   108932 |   160651      0 |        0 |        0
356.32/356.55	c  353s |      15 |   138856 |   109432 |   160651      0 |        0 |        0
358.70/358.92	c  355s |      15 |   139449 |   109932 |   160651      0 |        0 |        0
361.20/361.41	c  357s |      15 |   140066 |   110432 |   160651      0 |        0 |        0
363.40/363.68	c  360s |      15 |   140660 |   110932 |   160651      0 |        0 |        0
365.80/366.06	c  362s |      15 |   141297 |   111432 |   160651      0 |        0 |        0
368.20/368.44	c  364s |      15 |   141886 |   111932 |   160651      0 |        0 |        0
370.51/370.80	c  367s |      15 |   142468 |   112432 |   160651      0 |        0 |        0
373.00/373.29	c  369s |      15 |   143088 |   112932 |   160651      0 |        0 |        0
375.10/375.34	c  371s |      15 |   143575 |   113332 |   160651      0 |        0 |        0
377.60/377.86	c  374s |      15 |   144178 |   113832 |   160651      0 |        0 |        0
380.09/380.36	c  376s |      15 |   144789 |   114332 |   160651      0 |        0 |        0
382.19/382.41	c  378s |      15 |   145267 |   114732 |   160651      0 |        0 |        0
384.29/384.52	c  380s |      15 |   145738 |   115132 |   160651      0 |        0 |        0
386.29/386.53	c  382s |      15 |   146208 |   115532 |   160651      0 |        0 |        0
388.39/388.67	c  385s |      15 |   146687 |   115932 |   160651      0 |        0 |        0
390.48/390.75	c  387s |      15 |   147170 |   116332 |   160651      0 |        0 |        0
392.59/392.83	c  389s |      15 |   147642 |   116732 |   160651      0 |        0 |        0
394.79/395.02	c  391s |      15 |   148091 |   117132 |   160651      0 |        0 |        0
396.99/397.25	c  393s |      15 |   148578 |   117532 |   160651      0 |        0 |        0
399.48/399.73	c  396s |      15 |   149169 |   118032 |   160651      0 |        0 |        0
401.58/401.85	c  398s |      15 |   149649 |   118432 |   160651      0 |        0 |        0
403.68/403.98	c  400s |      15 |   150143 |   118832 |   160651      0 |        0 |        0
406.28/406.50	c  402s |      15 |   150762 |   119332 |   160651      0 |        0 |        0
408.57/408.87	c  405s |      15 |   151382 |   119832 |   160651      0 |        0 |        0
410.67/410.95	c  407s |      15 |   151882 |   120232 |   160651      0 |        0 |        0
412.77/413.06	c  409s |      15 |   152351 |   120632 |   160651      0 |        0 |        0
415.37/415.61	c  412s |      15 |   152949 |   121132 |   160651      0 |        0 |        0
417.37/417.67	c  414s |      15 |   153417 |   121532 |   160651      0 |        0 |        0
419.47/419.73	c  416s |      15 |   153934 |   121932 |   160651      0 |        0 |        0
421.47/421.76	c  418s |      15 |   154400 |   122332 |   160651      0 |        0 |        0
423.57/423.83	c  420s |      15 |   154867 |   122732 |   160651      0 |        0 |        0
425.67/425.92	c  422s |      15 |   155343 |   123132 |   160651      0 |        0 |        0
427.68/427.94	c  424s |      15 |   155817 |   123532 |   160651      0 |        0 |        0
429.76/430.07	c  426s |      15 |   156281 |   123932 |   160651      0 |        0 |        0
431.96/432.27	c  428s |      15 |   156780 |   124332 |   160651      0 |        0 |        0
434.06/434.34	c  430s |      15 |   157234 |   124732 |   160651      0 |        0 |        0
436.16/436.43	c  432s |      15 |   157712 |   125132 |   160651      0 |        0 |        0
438.26/438.59	c  435s |      15 |   158182 |   125532 |   160651      0 |        0 |        0
440.46/440.74	c  437s |      15 |   158662 |   125932 |   160651      0 |        0 |        0
442.66/442.93	c  439s |      15 |   159114 |   126332 |   160651      0 |        0 |        0
444.66/444.97	c  441s |      15 |   159577 |   126732 |   160651      0 |        0 |        0
446.76/447.04	c  443s |      15 |   160046 |   127132 |   160651      0 |        0 |        0
448.85/449.16	c  445s |      15 |   160515 |   127532 |   160651      0 |        0 |        0
450.95/451.26	c  447s |      15 |   161007 |   127932 |   160651      0 |        0 |        0
453.35/453.66	c  450s |      15 |   161603 |   128432 |   160651      0 |        0 |        0
455.45/455.77	c  452s |      15 |   162073 |   128832 |   160651      0 |        0 |        0
457.65/457.92	c  454s |      15 |   162562 |   129232 |   160651      0 |        0 |        0
459.84/460.10	c  456s |      15 |   163056 |   129632 |   160651      0 |        0 |        0
461.94/462.27	c  458s |      15 |   163553 |   130032 |   160651      0 |        0 |        0
464.14/464.43	c  460s |      15 |   164022 |   130432 |   160651      0 |        0 |        0
466.15/466.46	c  462s |      15 |   164514 |   130832 |   176717      0 |        0 |        0
468.14/468.47	c  464s |      15 |   164964 |   131232 |   176717      0 |        0 |        0
469.84/470.13	c  466s |      16 |   165329 |   131552 |   176717      0 |        0 |        0
472.24/472.52	c  468s |      16 |   165765 |   131752 |   176717      0 |        0 |        0
474.64/474.92	c  471s |      16 |   166364 |   132252 |   176717      0 |        0 |        0
476.84/477.17	c  473s |      16 |   166959 |   132752 |   176717      0 |        0 |        0
479.03/479.39	c  475s |      16 |   167594 |   133252 |   176717      0 |        0 |        0
481.23/481.50	c  477s |      16 |   168204 |   133752 |   176717      0 |        0 |        0
483.43/483.77	c  480s |      16 |   168810 |   134252 |   176717      0 |        0 |        0
485.53/485.88	c  482s |      16 |   169490 |   134752 |   176717      0 |        0 |        0
487.92/488.26	c  484s |      16 |   170075 |   135252 |   176717      0 |        0 |        0
490.12/490.45	c  486s |      16 |   170702 |   135752 |   176717      0 |        0 |        0
492.42/492.78	c  489s |      16 |   171317 |   136252 |   176717      0 |        0 |        0
494.73/495.09	c  491s |      16 |   171962 |   136752 |   176717      0 |        0 |        0
496.72/497.09	c  493s |      16 |   172444 |   137152 |   176717      0 |        0 |        0
499.13/499.45	c  495s |      16 |   173037 |   137652 |   176717      0 |        0 |        0
501.33/501.62	c  498s |      16 |   173685 |   138152 |   176717      0 |        0 |        0
503.53/503.88	c  500s |      16 |   174288 |   138652 |   176717      0 |        0 |        0
505.83/506.14	c  502s |      16 |   174934 |   139152 |   176717      0 |        0 |        0
508.02/508.32	c  504s |      16 |   175571 |   139652 |   176717      0 |        0 |        0
510.31/510.68	c  507s |      16 |   176214 |   140152 |   176717      0 |        0 |        0
512.61/512.95	c  509s |      16 |   176821 |   140652 |   176717      0 |        0 |        0
515.11/515.40	c  511s |      16 |   177442 |   141152 |   176717      0 |        0 |        0
517.51/517.87	c  514s |      16 |   178027 |   141652 |   176717      0 |        0 |        0
519.91/520.23	c  516s |      16 |   178677 |   142152 |   176717      0 |        0 |        0
522.11/522.50	c  518s |      16 |   179276 |   142652 |   176717      0 |        0 |        0
524.42/524.78	c  521s |      16 |   179875 |   143152 |   176717      0 |        0 |        0
526.91/527.25	c  523s |      16 |   180487 |   143652 |   176717      0 |        0 |        0
529.20/529.50	c  525s |      16 |   181099 |   144152 |   176717      0 |        0 |        0
531.50/531.87	c  528s |      16 |   181698 |   144652 |   176717      0 |        0 |        0
533.70/534.03	c  530s |      16 |   182190 |   145052 |   176717      0 |        0 |        0
536.10/536.47	c  532s |      16 |   182774 |   145552 |   176717      0 |        0 |        0
538.20/538.51	c  534s |      16 |   183248 |   145952 |   176717      0 |        0 |        0
540.60/540.99	c  537s |      16 |   183842 |   146452 |   176717      0 |        0 |        0
542.90/543.22	c  539s |      16 |   184283 |   146852 |   176717      0 |        0 |        0
545.00/545.33	c  541s |      16 |   184745 |   147252 |   176717      0 |        0 |        0
547.51/547.82	c  544s |      16 |   185347 |   147752 |   176717      0 |        0 |        0
549.89/550.22	c  546s |      16 |   185938 |   148252 |   176717      0 |        0 |        0
551.90/552.29	c  548s |      16 |   186434 |   148652 |   176717      0 |        0 |        0
554.10/554.45	c  550s |      16 |   186938 |   149052 |   176717      0 |        0 |        0
556.30/556.65	c  553s |      16 |   187392 |   149452 |   176717      0 |        0 |        0
558.39/558.72	c  555s |      16 |   187891 |   149852 |   176717      0 |        0 |        0
560.88/561.22	c  557s |      16 |   188474 |   150352 |   176717      0 |        0 |        0
562.89/563.30	c  559s |      16 |   188974 |   150752 |   176717      0 |        0 |        0
565.28/565.66	c  562s |      16 |   189595 |   151252 |   176717      0 |        0 |        0
567.78/568.11	c  564s |      16 |   190230 |   151752 |   176717      0 |        0 |        0
569.88/570.26	c  566s |      16 |   190689 |   152152 |   176717      0 |        0 |        0
571.98/572.32	c  568s |      16 |   191167 |   152552 |   176717      0 |        0 |        0
574.18/574.54	c  571s |      16 |   191633 |   152952 |   176717      0 |        0 |        0
576.58/576.91	c  573s |      16 |   192251 |   153452 |   176717      0 |        0 |        0
578.97/579.32	c  575s |      16 |   192866 |   153952 |   176717      0 |        0 |        0
581.37/581.72	c  578s |      16 |   193482 |   154452 |   176717      0 |        0 |        0
583.37/583.74	c  580s |      16 |   193971 |   154852 |   176717      0 |        0 |        0
585.67/586.04	c  582s |      16 |   194452 |   155252 |   176717      0 |        0 |        0
587.77/588.15	c  584s |      16 |   194916 |   155652 |   176717      0 |        0 |        0
589.97/590.39	c  586s |      16 |   195376 |   156052 |   176717      0 |        0 |        0
592.27/592.67	c  589s |      16 |   195852 |   156452 |   176717      0 |        0 |        0
594.88/595.27	c  591s |      16 |   196324 |   156852 |   176717      0 |        0 |        0
597.17/597.53	c  593s |      16 |   196756 |   157252 |   176717      0 |        0 |        0
599.56/599.99	c  596s |      16 |   197225 |   157652 |   176717      0 |        0 |        0
601.96/602.35	c  598s |      16 |   197712 |   158052 |   176717      0 |        0 |        0
604.16/604.58	c  601s |      16 |   198166 |   158452 |   176717      0 |        0 |        0
606.26/606.68	c  603s |      16 |   198621 |   158852 |   176717      0 |        0 |        0
608.56/608.97	c  605s |      16 |   199079 |   159252 |   176717      0 |        0 |        0
611.16/611.52	c  607s |      16 |   199555 |   159652 |   176717      0 |        0 |        0
613.36/613.75	c  610s |      16 |   200038 |   160052 |   176717      0 |        0 |        0
615.77/616.14	c  612s |      16 |   200500 |   160452 |   176717      0 |        0 |        0
617.86/618.30	c  614s |      16 |   200993 |   160852 |   176717      0 |        0 |        0
620.25/620.66	c  617s |      16 |   201471 |   161252 |   176717      0 |        0 |        0
622.45/622.89	c  619s |      16 |   201959 |   161652 |   176717      0 |        0 |        0
625.05/625.48	c  621s |      16 |   202421 |   162052 |   176717      0 |        0 |        0
627.35/627.77	c  624s |      16 |   202905 |   162452 |   176717      0 |        0 |        0
629.96/630.36	c  626s |      16 |   203365 |   162852 |   176717      0 |        0 |        0
632.05/632.49	c  628s |      16 |   203877 |   163252 |   176717      0 |        0 |        0
634.36/634.76	c  631s |      16 |   204356 |   163652 |   176717      0 |        0 |        0
636.75/637.18	c  633s |      16 |   204812 |   164052 |   176717      0 |        0 |        0
639.14/639.56	c  636s |      16 |   205305 |   164452 |   176717      0 |        0 |        0
641.74/642.17	c  638s |      16 |   205782 |   164852 |   176717      0 |        0 |        0
644.14/644.59	c  641s |      16 |   206280 |   165252 |   176717      0 |        0 |        0
646.64/647.07	c  643s |      16 |   206763 |   165652 |   176717      0 |        0 |        0
649.04/649.47	c  645s |      16 |   207211 |   166052 |   176717      0 |        0 |        0
651.34/651.72	c  648s |      16 |   207661 |   166452 |   176717      0 |        0 |        0
653.54/653.97	c  650s |      16 |   208139 |   166852 |   176717      0 |        0 |        0
655.84/656.27	c  652s |      16 |   208612 |   167252 |   176717      0 |        0 |        0
658.03/658.47	c  654s |      16 |   209083 |   167652 |   176717      0 |        0 |        0
660.53/660.91	c  657s |      16 |   209548 |   168052 |   176717      0 |        0 |        0
662.94/663.36	c  659s |      16 |   210018 |   168452 |   176717      0 |        0 |        0
665.24/665.64	c  662s |      16 |   210519 |   168852 |   176717      0 |        0 |        0
667.63/668.08	c  664s |      16 |   210982 |   169252 |   176717      0 |        0 |        0
670.03/670.40	c  666s |      16 |   211452 |   169652 |   176717      0 |        0 |        0
672.23/672.66	c  669s |      16 |   211922 |   170052 |   176717      0 |        0 |        0
674.43/674.85	c  671s |      16 |   212385 |   170452 |   176717      0 |        0 |        0
676.83/677.26	c  673s |      16 |   212879 |   170852 |   176717      0 |        0 |        0
679.43/679.85	c  676s |      16 |   213344 |   171252 |   176717      0 |        0 |        0
681.42/681.89	c  678s |      16 |   213690 |   171552 |   176717      0 |        0 |        0
684.12/684.50	c  680s |      16 |   214154 |   171952 |   176717      0 |        0 |        0
686.62/687.09	c  683s |      16 |   214628 |   172352 |   176717      0 |        0 |        0
689.22/689.68	c  686s |      16 |   215104 |   172752 |   176717      0 |        0 |        0
691.72/692.16	c  688s |      16 |   215568 |   173152 |   176717      0 |        0 |        0
694.42/694.83	c  691s |      16 |   216037 |   173552 |   176717      0 |        0 |        0
696.82/697.27	c  693s |      16 |   216503 |   173952 |   176717      0 |        0 |        0
699.32/699.75	c  696s |      16 |   216986 |   174352 |   176717      0 |        0 |        0
701.91/702.33	c  698s |      16 |   217467 |   174752 |   176717      0 |        0 |        0
703.91/704.35	c  700s |      16 |   217824 |   175052 |   176717      0 |        0 |        0
706.01/706.42	c  702s |      16 |   218191 |   175352 |   176717      0 |        0 |        0
708.02/708.43	c  704s |      16 |   218538 |   175652 |   176717      0 |        0 |        0
710.11/710.55	c  707s |      16 |   218892 |   175952 |   176717      0 |        0 |        0
712.61/713.08	c  709s |      16 |   219394 |   176352 |   176717      0 |        0 |        0
715.31/715.74	c  712s |      16 |   219868 |   176752 |   176717      0 |        0 |        0
717.92/718.31	c  714s |      16 |   220363 |   177152 |   176717      0 |        0 |        0
720.01/720.40	c  716s |      16 |   220728 |   177452 |   176717      0 |        0 |        0
724.31/724.71	c  721s |      16 |   220850 |   177552 |   176717      1 |        0 |        0
726.31/726.74	c  723s |      16 |   221079 |   177752 |   176717      1 |        0 |        0
728.61/729.02	c  725s |      16 |   221552 |   178152 |   176717      1 |        0 |        0
731.01/731.46	c  727s |      16 |   222177 |   178652 |   176717      1 |        0 |        0
733.11/733.54	c  730s |      16 |   222646 |   179052 |   176717      1 |        0 |        0
735.21/735.60	c  732s |      16 |   223130 |   179452 |   176717      1 |        0 |        0
737.50/737.98	c  734s |      16 |   223717 |   179952 |   176717      1 |        0 |        0
739.70/740.11	c  736s |      16 |   224205 |   180352 |   176717      1 |        0 |        0
742.11/742.57	c  739s |      16 |   224778 |   180852 |   176717      1 |        0 |        0
744.20/744.60	c  741s |      16 |   225260 |   181252 |   176717      1 |        0 |        0
746.40/746.86	c  743s |      16 |   225864 |   181752 |   176717      1 |        0 |        0
748.81/749.25	c  745s |      16 |   226436 |   182252 |   176717      1 |        0 |        0
750.80/751.25	c  747s |      16 |   226911 |   182652 |   176717      1 |        0 |        0
753.21/753.69	c  750s |      16 |   227495 |   183152 |   176717      1 |        0 |        0
755.41/755.82	c  752s |      16 |   227952 |   183552 |   176717      1 |        0 |        0
757.51/757.93	c  754s |      16 |   228437 |   183952 |   176717      1 |        0 |        0
759.81/760.29	c  756s |      16 |   229008 |   184452 |   176717      1 |        0 |        0
762.20/762.67	c  759s |      16 |   229600 |   184952 |   176717      1 |        0 |        0
764.60/765.00	c  761s |      16 |   230200 |   185452 |   176717      1 |        0 |        0
766.80/767.20	c  763s |      16 |   230779 |   185952 |   176717      1 |        0 |        0
769.10/769.56	c  766s |      16 |   231398 |   186452 |   176717      1 |        0 |        0
771.50/771.95	c  768s |      16 |   231953 |   186952 |   176717      1 |        0 |        0
773.80/774.27	c  770s |      16 |   232536 |   187452 |   176717      1 |        0 |        0
776.31/776.71	c  773s |      16 |   233096 |   187952 |   176717      1 |        0 |        0
778.70/779.12	c  775s |      16 |   233675 |   188452 |   176717      1 |        0 |        0
780.80/781.24	c  777s |      16 |   234146 |   188852 |   176717      1 |        0 |        0
782.91/783.34	c  779s |      16 |   234631 |   189252 |   176717      1 |        0 |        0
785.11/785.55	c  782s |      16 |   235091 |   189652 |   176717      1 |        0 |        0
787.21/787.66	c  784s |      16 |   235558 |   190052 |   176717      1 |        0 |        0
789.60/790.05	c  786s |      16 |   236156 |   190552 |   176717      1 |        0 |        0
791.71/792.18	c  788s |      16 |   236653 |   190952 |   176717      1 |        0 |        0
793.81/794.21	c  790s |      16 |   237127 |   191352 |   176717      1 |        0 |        0
796.20/796.66	c  793s |      16 |   237717 |   191852 |   176717      1 |        0 |        0
798.70/799.16	c  795s |      16 |   238310 |   192352 |   176717      1 |        0 |        0
800.80/801.23	c  797s |      16 |   238784 |   192752 |   176717      1 |        0 |        0
802.80/803.28	c  799s |      16 |   239241 |   193152 |   176717      1 |        0 |        0
804.81/805.31	c  801s |      16 |   239716 |   193552 |   176717      1 |        0 |        0
806.90/807.35	c  803s |      16 |   240177 |   193952 |   176717      1 |        0 |        0
809.00/809.44	c  805s |      16 |   240619 |   194352 |   176717      1 |        0 |        0
811.10/811.54	c  808s |      16 |   241094 |   194752 |   176717      1 |        0 |        0
813.10/813.56	c  810s |      16 |   241557 |   195152 |   176717      1 |        0 |        0
815.70/816.12	c  812s |      16 |   242029 |   195552 |   176717      1 |        0 |        0
818.01/818.46	c  814s |      16 |   242639 |   196052 |   176717      1 |        0 |        0
820.50/820.95	c  817s |      16 |   243230 |   196552 |   194389      1 |        0 |        0
822.90/823.38	c  819s |      16 |   243731 |   196952 |   194389      1 |        0 |        0
825.00/825.41	c  821s |      16 |   244188 |   197352 |   194389      1 |        0 |        0
825.40/825.82	c  822s |      17 |   244295 |   197432 |   194389      1 |        0 |        0
827.60/828.01	c  824s |      17 |   244658 |   197532 |   194389      1 |        0 |        0
829.70/830.19	c  826s |      17 |   245371 |   198132 |   194389      1 |        0 |        0
832.10/832.56	c  829s |      17 |   246104 |   198732 |   194389      1 |        0 |        0
834.40/834.83	c  831s |      17 |   246844 |   199332 |   194389      1 |        0 |        0
836.59/837.05	c  833s |      17 |   247598 |   199932 |   194389      1 |        0 |        0
838.79/839.24	c  835s |      17 |   248369 |   200532 |   194389      1 |        0 |        0
840.99/841.50	c  837s |      17 |   249107 |   201132 |   194389      1 |        0 |        0
843.30/843.80	c  840s |      17 |   249874 |   201732 |   194389      1 |        0 |        0
845.69/846.13	c  842s |      17 |   250606 |   202332 |   194389      1 |        0 |        0
848.09/848.50	c  844s |      17 |   251323 |   202932 |   194389      1 |        0 |        0
850.29/850.78	c  847s |      17 |   252059 |   203532 |   194389      1 |        0 |        0
852.79/853.21	c  849s |      17 |   252748 |   204132 |   194389      1 |        0 |        0
854.89/855.36	c  851s |      17 |   253313 |   204632 |   194389      1 |        0 |        0
856.99/857.41	c  853s |      17 |   253904 |   205132 |   194389      1 |        0 |        0
859.29/859.75	c  856s |      17 |   254692 |   205732 |   194389      1 |        0 |        0
861.49/861.91	c  858s |      17 |   255283 |   206232 |   194389      1 |        0 |        0
863.59/864.02	c  860s |      17 |   255865 |   206732 |   194389      1 |        0 |        0
865.89/866.34	c  862s |      17 |   256591 |   207332 |   194389      1 |        0 |        0
867.99/868.46	c  864s |      17 |   257181 |   207832 |   194389      1 |        0 |        0
870.19/870.64	c  867s |      17 |   257947 |   208432 |   194389      1 |        0 |        0
872.49/872.99	c  869s |      17 |   258655 |   209032 |   194389      1 |        0 |        0
874.89/875.37	c  871s |      17 |   259351 |   209632 |   194389      1 |        0 |        0
876.99/877.49	c  873s |      17 |   259959 |   210132 |   194389      1 |        0 |        0
879.09/879.56	c  876s |      17 |   260574 |   210632 |   194389      1 |        0 |        0
881.29/881.76	c  878s |      17 |   261198 |   211132 |   194389      1 |        0 |        0
883.39/883.84	c  880s |      17 |   261792 |   211632 |   194389      1 |        0 |        0
885.79/886.27	c  882s |      17 |   262501 |   212232 |   194389      1 |        0 |        0
888.09/888.55	c  885s |      17 |   263131 |   212732 |   194389      1 |        0 |        0
890.29/890.77	c  887s |      17 |   263732 |   213232 |   194389      1 |        0 |        0
892.59/893.09	c  889s |      17 |   264346 |   213732 |   194389      1 |        0 |        0
894.79/895.21	c  891s |      17 |   264979 |   214232 |   194389      1 |        0 |        0
896.98/897.43	c  893s |      17 |   265570 |   214732 |   194389      1 |        0 |        0
899.08/899.53	c  895s |      17 |   266144 |   215232 |   194389      1 |        0 |        0
901.18/901.66	c  898s |      17 |   266758 |   215732 |   194389      1 |        0 |        0
903.28/903.72	c  900s |      17 |   267352 |   216232 |   194389      1 |        0 |        0
905.38/905.88	c  902s |      17 |   267929 |   216732 |   194389      1 |        0 |        0
907.48/907.92	c  904s |      17 |   268528 |   217232 |   194389      1 |        0 |        0
909.98/910.42	c  906s |      17 |   269116 |   217732 |   194389      1 |        0 |        0
912.28/912.75	c  909s |      17 |   269753 |   218232 |   194389      1 |        0 |        0
914.48/914.92	c  911s |      17 |   270347 |   218732 |   194389      1 |        0 |        0
916.68/917.19	c  913s |      17 |   270932 |   219232 |   194389      1 |        0 |        0
918.78/919.25	c  915s |      17 |   271403 |   219632 |   194389      1 |        0 |        0
921.08/921.58	c  918s |      17 |   271982 |   220132 |   194389      1 |        0 |        0
923.48/923.95	c  920s |      17 |   272571 |   220632 |   194389      1 |        0 |        0
925.98/926.44	c  922s |      17 |   273164 |   221132 |   194389      1 |        0 |        0
928.38/928.85	c  925s |      17 |   273733 |   221632 |   194389      1 |        0 |        0
930.68/931.19	c  927s |      17 |   274349 |   222132 |   194389      1 |        0 |        0
932.98/933.45	c  929s |      17 |   274966 |   222632 |   194389      1 |        0 |        0
935.38/935.84	c  932s |      17 |   275584 |   223132 |   194389      1 |        0 |        0
937.38/937.89	c  934s |      17 |   276061 |   223532 |   194389      1 |        0 |        0
939.48/939.90	c  936s |      17 |   276563 |   223932 |   194389      1 |        0 |        0
941.68/942.15	c  938s |      17 |   277155 |   224432 |   194389      1 |        0 |        0
943.78/944.24	c  940s |      17 |   277637 |   224832 |   194389      1 |        0 |        0
945.98/946.47	c  942s |      17 |   278124 |   225232 |   194389      1 |        0 |        0
947.97/948.48	c  944s |      17 |   278619 |   225632 |   194389      1 |        0 |        0
950.37/950.87	c  947s |      17 |   279109 |   226032 |   194389      1 |        0 |        0
952.67/953.15	c  949s |      17 |   279574 |   226432 |   194389      1 |        0 |        0
955.17/955.62	c  952s |      17 |   280210 |   226932 |   194389      1 |        0 |        0
957.37/957.85	c  954s |      17 |   280710 |   227332 |   194389      1 |        0 |        0
959.67/960.12	c  956s |      17 |   281351 |   227832 |   194389      1 |        0 |        0
961.77/962.24	c  958s |      17 |   281820 |   228232 |   194389      1 |        0 |        0
963.97/964.45	c  960s |      17 |   282284 |   228632 |   194389      1 |        0 |        0
966.17/966.64	c  963s |      17 |   282755 |   229032 |   194389      1 |        0 |        0
968.27/968.72	c  965s |      17 |   283248 |   229432 |   194389      1 |        0 |        0
970.27/970.72	c  967s |      17 |   283723 |   229832 |   194389      1 |        0 |        0
972.37/972.89	c  969s |      17 |   284199 |   230232 |   194389      1 |        0 |        0
974.57/975.03	c  971s |      17 |   284725 |   230632 |   194389      1 |        0 |        0
976.67/977.14	c  973s |      17 |   285179 |   231032 |   194389      1 |        0 |        0
978.77/979.21	c  975s |      17 |   285632 |   231432 |   194389      1 |        0 |        0
980.97/981.42	c  977s |      17 |   286082 |   231832 |   194389      1 |        0 |        0
983.08/983.58	c  980s |      17 |   286559 |   232232 |   194389      1 |        0 |        0
985.18/985.69	c  982s |      17 |   287037 |   232632 |   194389      1 |        0 |        0
987.48/987.93	c  984s |      17 |   287531 |   233032 |   194389      1 |        0 |        0
989.68/990.13	c  986s |      17 |   287982 |   233432 |   194389      1 |        0 |        0
991.88/992.39	c  988s |      17 |   288437 |   233832 |   194389      1 |        0 |        0
994.17/994.62	c  991s |      17 |   288894 |   234232 |   194389      1 |        0 |        0
996.47/996.99	c  993s |      17 |   289358 |   234632 |   194389      1 |        0 |        0
998.57/999.09	c  995s |      17 |   289852 |   235032 |   194389      1 |        0 |        0
1000.76/1001.27	c  997s |      17 |   290346 |   235432 |   194389      1 |        0 |        0
1003.16/1003.60	c 1000s |      17 |   290832 |   235832 |   194389      1 |        0 |        0
1005.26/1005.76	c 1002s |      17 |   291304 |   236232 |   194389      1 |        0 |        0
1007.36/1007.87	c 1004s |      17 |   291796 |   236632 |   194389      1 |        0 |        0
1009.56/1010.02	c 1006s |      17 |   292275 |   237032 |   194389      1 |        0 |        0
1011.76/1012.26	c 1008s |      17 |   292724 |   237432 |   194389      1 |        0 |        0
1013.96/1014.40	c 1010s |      17 |   293219 |   237832 |   194389      1 |        0 |        0
1016.07/1016.55	c 1013s |      17 |   293700 |   238232 |   194389      1 |        0 |        0
1018.17/1018.70	c 1015s |      17 |   294171 |   238632 |   194389      1 |        0 |        0
1020.47/1020.96	c 1017s |      17 |   294623 |   239032 |   194389      1 |        0 |        0
1022.67/1023.13	c 1019s |      17 |   295100 |   239432 |   194389      1 |        0 |        0
1024.77/1025.27	c 1021s |      17 |   295570 |   239832 |   194389      1 |        0 |        0
1026.97/1027.49	c 1023s |      17 |   296026 |   240232 |   194389      1 |        0 |        0
1029.17/1029.62	c 1026s |      17 |   296492 |   240632 |   194389      1 |        0 |        0
1031.26/1031.79	c 1028s |      17 |   296944 |   241032 |   194389      1 |        0 |        0
1033.57/1034.01	c 1030s |      17 |   297442 |   241432 |   194389      1 |        0 |        0
1035.87/1036.32	c 1032s |      17 |   297924 |   241832 |   194389      1 |        0 |        0
1038.07/1038.55	c 1035s |      17 |   298440 |   242232 |   194389      1 |        0 |        0
1040.17/1040.65	c 1037s |      17 |   298922 |   242632 |   194389      1 |        0 |        0
1042.56/1043.02	c 1039s |      17 |   299434 |   243032 |   194389      1 |        0 |        0
1044.86/1045.39	c 1041s |      17 |   299935 |   243432 |   194389      1 |        0 |        0
1046.96/1047.47	c 1043s |      17 |   300437 |   243832 |   194389      1 |        0 |        0
1049.16/1049.69	c 1046s |      17 |   300923 |   244232 |   194389      1 |        0 |        0
1051.36/1051.85	c 1048s |      17 |   301383 |   244632 |   194389      1 |        0 |        0
1053.66/1054.18	c 1050s |      17 |   301861 |   245032 |   194389      1 |        0 |        0
1055.86/1056.39	c 1052s |      17 |   302348 |   245432 |   194389      1 |        0 |        0
1058.16/1058.63	c 1055s |      17 |   302802 |   245832 |   194389      1 |        0 |        0
1060.35/1060.85	c 1057s |      17 |   303290 |   246232 |   194389      1 |        0 |        0
1062.75/1063.28	c 1059s |      17 |   303780 |   246632 |   194389      1 |        0 |        0
1065.25/1065.74	c 1062s |      17 |   304242 |   247032 |   194389      1 |        0 |        0
1067.55/1068.10	c 1064s |      17 |   304729 |   247432 |   194389      1 |        0 |        0
1070.05/1070.56	c 1067s |      17 |   305215 |   247832 |   194389      1 |        0 |        0
1072.35/1072.85	c 1069s |      17 |   305693 |   248232 |   194389      1 |        0 |        0
1074.85/1075.32	c 1071s |      17 |   306153 |   248632 |   194389      1 |        0 |        0
1077.25/1077.73	c 1074s |      17 |   306633 |   249032 |   194389      1 |        0 |        0
1079.76/1080.28	c 1076s |      17 |   307101 |   249432 |   194389      1 |        0 |        0
1081.85/1082.37	c 1078s |      17 |   307484 |   249732 |   194389      1 |        0 |        0
1084.55/1085.03	c 1081s |      17 |   307937 |   250132 |   194389      1 |        0 |        0
1086.65/1087.13	c 1083s |      17 |   308292 |   250432 |   194389      1 |        0 |        0
1089.05/1089.52	c 1085s |      17 |   308789 |   250832 |   194389      1 |        0 |        0
1091.45/1091.92	c 1088s |      17 |   309290 |   251232 |   194389      1 |        0 |        0
1094.25/1094.75	c 1091s |      17 |   309770 |   251632 |   194389      1 |        0 |        0
1096.75/1097.27	c 1093s |      17 |   310231 |   252032 |   194389      1 |        0 |        0
1098.95/1099.46	c 1095s |      17 |   310577 |   252332 |   194389      1 |        0 |        0
1101.35/1101.85	c 1098s |      17 |   311064 |   252732 |   194389      1 |        0 |        0
1103.45/1103.96	c 1100s |      17 |   311443 |   253032 |   194389      1 |        0 |        0
1105.45/1105.99	c 1102s |      17 |   311774 |   253332 |   194389      1 |        0 |        0
1107.55/1108.02	c 1104s |      17 |   312113 |   253632 |   194389      1 |        0 |        0
1110.05/1110.55	c 1107s |      17 |   312581 |   254032 |   194389      1 |        0 |        0
1112.25/1112.78	c 1109s |      17 |   312924 |   254332 |   194389      1 |        0 |        0
1114.35/1114.81	c 1111s |      17 |   313262 |   254632 |   194389      1 |        0 |        0
1116.45/1116.98	c 1113s |      17 |   313611 |   254932 |   194389      1 |        0 |        0
1119.15/1119.64	c 1116s |      17 |   314108 |   255332 |   194389      1 |        0 |        0
1121.15/1121.66	c 1118s |      17 |   314486 |   255632 |   194389      1 |        0 |        0
1123.25/1123.72	c 1120s |      17 |   314824 |   255932 |   194389      1 |        0 |        0
1125.44/1125.91	c 1122s |      17 |   315159 |   256232 |   194389      1 |        0 |        0
1127.64/1128.10	c 1124s |      17 |   315511 |   256532 |   194389      1 |        0 |        0
1129.74/1130.28	c 1126s |      17 |   315871 |   256832 |   194389      1 |        0 |        0
1131.84/1132.37	c 1128s |      17 |   316232 |   257132 |   194389      1 |        0 |        0
1133.94/1134.47	c 1130s |      17 |   316613 |   257432 |   194389      1 |        0 |        0
1136.14/1136.63	c 1133s |      17 |   316975 |   257732 |   194389      1 |        0 |        0
1138.24/1138.77	c 1135s |      17 |   317337 |   258032 |   194389      1 |        0 |        0
1140.44/1140.90	c 1137s |      17 |   317735 |   258332 |   194389      1 |        0 |        0
1143.04/1143.50	c 1139s |      17 |   318228 |   258732 |   194389      1 |        0 |        0
1145.44/1145.99	c 1142s |      17 |   318693 |   259132 |   194389      1 |        0 |        0
1148.14/1148.62	c 1145s |      17 |   319166 |   259532 |   194389      1 |        0 |        0
1150.25/1150.74	c 1147s |      17 |   319528 |   259832 |   194389      1 |        0 |        0
1152.84/1153.33	c 1149s |      17 |   319993 |   260232 |   194389      1 |        0 |        0
1155.34/1155.88	c 1152s |      17 |   320473 |   260632 |   194389      1 |        0 |        0
1157.54/1158.03	c 1154s |      17 |   320806 |   260932 |   194389      1 |        0 |        0
1159.54/1160.08	c 1156s |      17 |   321176 |   261232 |   194389      1 |        0 |        0
1162.26/1162.72	c 1159s |      17 |   321650 |   261632 |   194389      1 |        0 |        0
1164.25/1164.79	c 1161s |      17 |   321975 |   261932 |   194389      1 |        0 |        0
1166.35/1166.81	c 1163s |      17 |   322346 |   262232 |   194389      1 |        0 |        0
1168.65/1169.11	c 1165s |      17 |   322722 |   262532 |   194389      1 |        0 |        0
1170.85/1171.32	c 1167s |      17 |   323041 |   262832 |   194389      1 |        0 |        0
1172.85/1173.37	c 1169s |      17 |   323413 |   263132 |   194389      1 |        0 |        0
1175.25/1175.70	c 1172s |      17 |   323764 |   263432 |   194389      1 |        0 |        0
1177.45/1177.90	c 1174s |      17 |   324149 |   263732 |   194389      1 |        0 |        0
1179.55/1180.04	c 1176s |      17 |   324503 |   264032 |   194389      1 |        0 |        0
1181.75/1182.20	c 1178s |      17 |   324896 |   264332 |   194389      1 |        0 |        0
1183.75/1184.25	c 1180s |      17 |   325252 |   264632 |   194389      1 |        0 |        0
1186.24/1186.71	c 1183s |      17 |   325759 |   265032 |   194389      1 |        0 |        0
1188.24/1188.75	c 1185s |      17 |   326132 |   265332 |   194389      1 |        0 |        0
1190.24/1190.77	c 1187s |      17 |   326488 |   265632 |   194389      1 |        0 |        0
1192.54/1193.05	c 1189s |      17 |   326848 |   265932 |   194389      1 |        0 |        0
1194.84/1195.34	c 1191s |      17 |   327195 |   266232 |   194389      1 |        0 |        0
1197.24/1197.72	c 1194s |      17 |   327527 |   266532 |   194389      1 |        0 |        0
1199.44/1199.91	c 1196s |      17 |   327876 |   266832 |   194389      1 |        0 |        0
1201.64/1202.15	c 1198s |      17 |   328244 |   267132 |   194389      1 |        0 |        0
1204.34/1204.86	c 1201s |      17 |   328745 |   267532 |   194389      1 |        0 |        0
1206.54/1207.07	c 1203s |      17 |   329098 |   267832 |   194389      1 |        0 |        0
1208.64/1209.19	c 1205s |      17 |   329420 |   268132 |   194389      1 |        0 |        0
1211.34/1211.89	c 1208s |      17 |   329877 |   268532 |   194389      1 |        0 |        0
1213.54/1214.04	c 1210s |      17 |   330234 |   268832 |   194389      1 |        0 |        0
1215.84/1216.34	c 1212s |      17 |   330580 |   269132 |   194389      1 |        0 |        0
1218.04/1218.59	c 1215s |      17 |   330959 |   269432 |   194389      1 |        0 |        0
1220.14/1220.64	c 1217s |      17 |   331331 |   269732 |   194389      1 |        0 |        0
1222.85/1223.32	c 1219s |      17 |   331827 |   270132 |   194389      1 |        0 |        0
1225.44/1225.96	c 1222s |      17 |   332308 |   270532 |   194389      1 |        0 |        0
1227.94/1228.42	c 1224s |      17 |   332655 |   270832 |   194389      1 |        0 |        0
1230.34/1230.83	c 1227s |      17 |   333003 |   271132 |   194389      1 |        0 |        0
1232.75/1233.28	c 1229s |      17 |   333338 |   271432 |   194389      1 |        0 |        0
1235.03/1235.57	c 1232s |      17 |   333713 |   271732 |   194389      1 |        0 |        0
1237.63/1238.15	c 1234s |      17 |   334074 |   272032 |   194389      1 |        0 |        0
1239.83/1240.39	c 1236s |      17 |   334456 |   272332 |   194389      1 |        0 |        0
1241.93/1242.49	c 1238s |      17 |   334844 |   272632 |   194389      1 |        0 |        0
1244.23/1244.79	c 1241s |      17 |   335207 |   272932 |   194389      1 |        0 |        0
1246.83/1247.38	c 1243s |      17 |   335554 |   273232 |   194389      1 |        0 |        0
1249.14/1249.61	c 1246s |      17 |   335949 |   273532 |   194389      1 |        0 |        0
1251.23/1251.80	c 1248s |      17 |   336311 |   273832 |   194389      1 |        0 |        0
1253.73/1254.22	c 1250s |      17 |   336653 |   274132 |   194389      1 |        0 |        0
1255.84/1256.33	c 1252s |      17 |   337043 |   274432 |   194389      1 |        0 |        0
1257.94/1258.49	c 1254s |      17 |   337392 |   274732 |   194389      1 |        0 |        0
1260.14/1260.63	c 1257s |      17 |   337762 |   275032 |   194389      1 |        0 |        0
1262.34/1262.88	c 1259s |      17 |   338104 |   275332 |   194389      1 |        0 |        0
1264.83/1265.32	c 1261s |      17 |   338446 |   275632 |   194389      1 |        0 |        0
1267.13/1267.66	c 1264s |      17 |   338806 |   275932 |   194389      1 |        0 |        0
1269.53/1270.06	c 1266s |      17 |   339153 |   276232 |   194389      1 |        0 |        0
1271.73/1272.22	c 1268s |      17 |   339502 |   276532 |   194389      1 |        0 |        0
1274.13/1274.64	c 1271s |      17 |   339842 |   276832 |   194389      1 |        0 |        0
1276.43/1276.95	c 1273s |      17 |   340203 |   277132 |   194389      1 |        0 |        0
1278.53/1279.02	c 1275s |      17 |   340581 |   277432 |   194389      1 |        0 |        0
1280.73/1281.23	c 1277s |      17 |   340939 |   277732 |   194389      1 |        0 |        0
1283.03/1283.54	c 1280s |      17 |   341275 |   278032 |   194389      1 |        0 |        0
1285.44/1285.97	c 1282s |      17 |   341609 |   278332 |   194389      1 |        0 |        0
1287.74/1288.25	c 1284s |      17 |   341975 |   278632 |   194389      1 |        0 |        0
1289.84/1290.36	c 1286s |      17 |   342341 |   278932 |   194389      1 |        0 |        0
1292.04/1292.60	c 1289s |      17 |   342671 |   279232 |   194389      1 |        0 |        0
1294.34/1294.83	c 1291s |      17 |   343042 |   279532 |   194389      1 |        0 |        0
1296.32/1296.85	c 1293s |      17 |   343404 |   279832 |   194389      1 |        0 |        0
1298.52/1299.06	c 1295s |      17 |   343783 |   280132 |   194389      1 |        0 |        0
1300.52/1301.09	c 1297s |      17 |   344164 |   280432 |   194389      1 |        0 |        0
1302.62/1303.10	c 1299s |      17 |   344530 |   280732 |   194389      1 |        0 |        0
1304.62/1305.18	c 1301s |      17 |   344885 |   281032 |   194389      1 |        0 |        0
1306.72/1307.28	c 1303s |      17 |   345243 |   281332 |   194389      1 |        0 |        0
1309.52/1310.01	c 1306s |      17 |   345599 |   281632 |   194389      1 |        0 |        0
1312.12/1312.65	c 1309s |      17 |   345956 |   281932 |   194389      1 |        0 |        0
1314.62/1315.19	c 1311s |      17 |   346325 |   282232 |   194389      1 |        0 |        0
1317.22/1317.72	c 1314s |      17 |   346660 |   282532 |   194389      1 |        0 |        0
1319.72/1320.27	c 1316s |      17 |   347013 |   282832 |   194389      1 |        0 |        0
1322.12/1322.62	c 1319s |      17 |   347353 |   283132 |   194389      1 |        0 |        0
1324.62/1325.17	c 1321s |      17 |   347704 |   283432 |   194389      1 |        0 |        0
1327.62/1328.10	c 1324s |      17 |   348056 |   283732 |   194389      1 |        0 |        0
1330.32/1330.85	c 1327s |      17 |   348405 |   284032 |   194389      1 |        0 |        0
1336.71/1337.25	c 1333s |      17 |   348509 |   284132 |   194389      2 |        0 |        0
1340.12/1340.63	c 1337s |      17 |   348850 |   284432 |   194389      2 |        0 |        0
1342.12/1342.69	c 1339s |      17 |   349231 |   284732 |   194389      2 |        0 |        0
1344.42/1344.91	c 1341s |      17 |   349581 |   285032 |   194389      2 |        0 |        0
1346.62/1347.13	c 1343s |      17 |   349941 |   285332 |   194389      2 |        0 |        0
1348.62/1349.15	c 1345s |      17 |   350271 |   285632 |   194389      2 |        0 |        0
1351.02/1351.58	c 1348s |      17 |   350731 |   286032 |   194389      2 |        0 |        0
1353.63/1354.12	c 1350s |      17 |   351195 |   286432 |   194389      2 |        0 |        0
1356.11/1356.63	c 1353s |      17 |   351683 |   286832 |   194389      2 |        0 |        0
1358.21/1358.77	c 1355s |      17 |   352151 |   287232 |   194389      2 |        0 |        0
1360.32/1360.90	c 1357s |      17 |   352633 |   287632 |   194389      2 |        0 |        0
1362.91/1363.46	c 1359s |      17 |   353106 |   288032 |   194389      2 |        0 |        0
1365.31/1365.89	c 1362s |      17 |   353570 |   288432 |   194389      2 |        0 |        0
1367.71/1368.27	c 1364s |      17 |   354049 |   288832 |   194389      2 |        0 |        0
1370.01/1370.58	c 1367s |      17 |   354511 |   289232 |   194389      2 |        0 |        0
1372.42/1372.94	c 1369s |      17 |   354971 |   289632 |   194389      2 |        0 |        0
1375.01/1375.52	c 1371s |      17 |   355412 |   290032 |   194389      2 |        0 |        0
1377.51/1378.05	c 1374s |      17 |   355893 |   290432 |   194389      2 |        0 |        0
1380.02/1380.58	c 1377s |      17 |   356394 |   290832 |   194389      2 |        0 |        0
1382.51/1383.03	c 1379s |      17 |   356865 |   291232 |   194389      2 |        0 |        0
1384.71/1385.25	c 1381s |      17 |   357338 |   291632 |   194389      2 |        0 |        0
1386.81/1387.38	c 1383s |      17 |   357702 |   291932 |   194389      2 |        0 |        0
1389.41/1389.98	c 1386s |      17 |   358183 |   292332 |   194389      2 |        0 |        0
1391.51/1392.03	c 1388s |      17 |   358505 |   292632 |   194389      2 |        0 |        0
1393.61/1394.17	c 1390s |      17 |   358837 |   292932 |   194389      2 |        0 |        0
1395.81/1396.39	c 1392s |      17 |   359201 |   293232 |   194389      2 |        0 |        0
1398.01/1398.52	c 1394s |      17 |   359555 |   293532 |   194389      2 |        0 |        0
1400.11/1400.60	c 1397s |      17 |   359926 |   293832 |   194389      2 |        0 |        0
1402.21/1402.77	c 1399s |      17 |   360311 |   294132 |   194389      2 |        0 |        0
1404.32/1404.88	c 1401s |      17 |   360647 |   294432 |   213828      2 |        0 |        0
1406.52/1407.05	c 1403s |      17 |   361000 |   294732 |   213828      2 |        0 |        0
1408.51/1409.07	c 1405s |      17 |   361348 |   295032 |   213828      2 |        0 |        0
1410.71/1411.29	c 1407s |      17 |   361687 |   295332 |   213828      2 |        0 |        0
1413.02/1413.53	c 1409s |      17 |   362043 |   295632 |   213828      2 |        0 |        0
1415.21/1415.78	c 1412s |      17 |   362395 |   295932 |   213828      2 |        0 |        0
1417.41/1417.93	c 1414s |      17 |   362739 |   296232 |   213828      2 |        0 |        0
1417.51/1418.07	c 1414s |      18 |   362760 |   296252 |   213828      2 |        0 |        0
1419.71/1420.26	c 1416s |      18 |   363114 |   296352 |   213828      2 |        0 |        0
1421.91/1422.44	c 1418s |      18 |   363641 |   296752 |   213828      2 |        0 |        0
1424.30/1424.82	c 1421s |      18 |   364246 |   297252 |   213828      2 |        0 |        0
1426.70/1427.25	c 1423s |      18 |   364858 |   297752 |   213828      2 |        0 |        0
1429.20/1429.70	c 1426s |      18 |   365458 |   298252 |   213828      2 |        0 |        0
1432.00/1432.59	c 1429s |      18 |   366096 |   298752 |   213828      2 |        0 |        0
1434.20/1434.71	c 1431s |      18 |   366690 |   299252 |   213828      2 |        0 |        0
1436.30/1436.81	c 1433s |      18 |   367320 |   299752 |   213828      2 |        0 |        0
1438.50/1439.09	c 1435s |      18 |   367914 |   300252 |   213828      2 |        0 |        0
1440.90/1441.44	c 1437s |      18 |   368547 |   300752 |   213828      2 |        0 |        0
1443.20/1443.71	c 1440s |      18 |   369163 |   301252 |   213828      2 |        0 |        0
1445.50/1446.05	c 1442s |      18 |   369760 |   301752 |   213828      2 |        0 |        0
1447.90/1448.47	c 1444s |      18 |   370368 |   302252 |   213828      2 |        0 |        0
1450.30/1450.84	c 1447s |      18 |   371004 |   302752 |   213828      2 |        0 |        0
1452.50/1453.01	c 1449s |      18 |   371469 |   303152 |   213828      2 |        0 |        0
1454.91/1455.41	c 1451s |      18 |   372087 |   303652 |   213828      2 |        0 |        0
1457.30/1457.80	c 1454s |      18 |   372704 |   304152 |   213828      2 |        0 |        0
1459.70/1460.23	c 1456s |      18 |   373338 |   304652 |   213828      2 |        0 |        0
1461.90/1462.44	c 1458s |      18 |   373995 |   305152 |   213828      2 |        0 |        0
1464.30/1464.87	c 1461s |      18 |   374613 |   305652 |   213828      2 |        0 |        0
1466.50/1467.05	c 1463s |      18 |   375233 |   306152 |   213828      2 |        0 |        0
1468.99/1469.52	c 1465s |      18 |   375845 |   306652 |   213828      2 |        0 |        0
1471.30/1471.89	c 1468s |      18 |   376436 |   307152 |   213828      2 |        0 |        0
1473.79/1474.35	c 1470s |      18 |   377048 |   307652 |   213828      2 |        0 |        0
1476.19/1476.78	c 1473s |      18 |   377665 |   308152 |   213828      2 |        0 |        0
1478.29/1478.82	c 1475s |      18 |   378167 |   308552 |   213828      2 |        0 |        0
1480.79/1481.33	c 1477s |      18 |   378781 |   309052 |   213828      2 |        0 |        0
1482.89/1483.41	c 1479s |      18 |   379265 |   309452 |   213828      2 |        0 |        0
1485.39/1485.93	c 1482s |      18 |   379880 |   309952 |   213828      2 |        0 |        0
1487.90/1488.43	c 1484s |      18 |   380436 |   310452 |   213828      2 |        0 |        0
1490.00/1490.53	c 1486s |      18 |   380926 |   310852 |   213828      2 |        0 |        0
1492.09/1492.60	c 1489s |      18 |   381427 |   311252 |   213828      2 |        0 |        0
1494.19/1494.77	c 1491s |      18 |   381920 |   311652 |   213828      2 |        0 |        0
1496.70/1497.22	c 1493s |      18 |   382500 |   312152 |   213828      2 |        0 |        0
1498.80/1499.37	c 1495s |      18 |   382970 |   312552 |   213828      2 |        0 |        0
1501.00/1501.59	c 1498s |      18 |   383438 |   312952 |   213828      2 |        0 |        0
1503.20/1503.77	c 1500s |      18 |   383909 |   313352 |   213828      2 |        0 |        0
1505.59/1506.13	c 1502s |      18 |   384510 |   313852 |   213828      2 |        0 |        0
1507.60/1508.18	c 1504s |      18 |   385005 |   314252 |   213828      2 |        0 |        0
1509.69/1510.20	c 1506s |      18 |   385493 |   314652 |   213828      2 |        0 |        0
1511.89/1512.42	c 1508s |      18 |   385984 |   315052 |   213828      2 |        0 |        0
1513.99/1514.57	c 1511s |      18 |   386486 |   315452 |   213828      2 |        0 |        0
1516.19/1516.79	c 1513s |      18 |   386952 |   315852 |   213828      2 |        0 |        0
1518.49/1519.05	c 1515s |      18 |   387395 |   316252 |   213828      2 |        0 |        0
1520.59/1521.14	c 1517s |      18 |   387894 |   316652 |   213828      2 |        0 |        0
1522.69/1523.21	c 1519s |      18 |   388371 |   317052 |   213828      2 |        0 |        0
1524.89/1525.40	c 1521s |      18 |   388874 |   317452 |   213828      2 |        0 |        0
1526.98/1527.57	c 1524s |      18 |   389356 |   317852 |   213828      2 |        0 |        0
1529.08/1529.66	c 1526s |      18 |   389804 |   318252 |   213828      2 |        0 |        0
1531.28/1531.81	c 1528s |      18 |   390288 |   318652 |   213828      2 |        0 |        0
1533.38/1533.90	c 1530s |      18 |   390775 |   319052 |   213828      2 |        0 |        0
1535.48/1536.05	c 1532s |      18 |   391309 |   319452 |   213828      2 |        0 |        0
1537.58/1538.11	c 1534s |      18 |   391813 |   319852 |   213828      2 |        0 |        0
1540.08/1540.64	c 1537s |      18 |   392446 |   320352 |   213828      2 |        0 |        0
1542.08/1542.66	c 1539s |      18 |   392949 |   320752 |   213828      2 |        0 |        0
1544.18/1544.77	c 1541s |      18 |   393465 |   321152 |   213828      2 |        0 |        0
1546.38/1546.90	c 1543s |      18 |   393941 |   321552 |   213828      2 |        0 |        0
1548.49/1549.08	c 1545s |      18 |   394416 |   321952 |   213828      2 |        0 |        0
1550.89/1551.46	c 1547s |      18 |   394911 |   322352 |   213828      2 |        0 |        0
1553.39/1553.93	c 1550s |      18 |   395543 |   322852 |   213828      2 |        0 |        0
1555.89/1556.45	c 1552s |      18 |   396154 |   323352 |   213828      2 |        0 |        0
1557.99/1558.54	c 1555s |      18 |   396686 |   323752 |   213828      2 |        0 |        0
1560.09/1560.66	c 1557s |      18 |   397207 |   324152 |   213828      2 |        0 |        0
1562.19/1562.71	c 1559s |      18 |   397721 |   324552 |   213828      2 |        0 |        0
1564.29/1564.84	c 1561s |      18 |   398233 |   324952 |   213828      2 |        0 |        0
1566.39/1566.92	c 1563s |      18 |   398710 |   325352 |   213828      2 |        0 |        0
1568.49/1569.05	c 1565s |      18 |   399187 |   325752 |   213828      2 |        0 |        0
1570.79/1571.32	c 1567s |      18 |   399665 |   326152 |   213828      2 |        0 |        0
1572.98/1573.56	c 1570s |      18 |   400140 |   326552 |   213828      2 |        0 |        0
1575.48/1576.01	c 1572s |      18 |   400604 |   326952 |   213828      2 |        0 |        0
1577.88/1578.41	c 1574s |      18 |   401098 |   327352 |   213828      2 |        0 |        0
1580.19/1580.79	c 1577s |      18 |   401574 |   327752 |   213828      2 |        0 |        0
1582.49/1583.04	c 1579s |      18 |   402068 |   328152 |   213828      2 |        0 |        0
1584.78/1585.30	c 1581s |      18 |   402540 |   328552 |   213828      2 |        0 |        0
1587.08/1587.63	c 1584s |      18 |   403044 |   328952 |   213828      2 |        0 |        0
1589.38/1589.93	c 1586s |      18 |   403517 |   329352 |   213828      2 |        0 |        0
1591.78/1592.33	c 1588s |      18 |   403993 |   329752 |   213828      2 |        0 |        0
1593.98/1594.57	c 1591s |      18 |   404471 |   330152 |   213828      2 |        0 |        0
1596.48/1597.02	c 1593s |      18 |   404951 |   330552 |   213828      2 |        0 |        0
1598.99/1599.51	c 1595s |      18 |   405429 |   330952 |   213828      2 |        0 |        0
1600.98/1601.60	c 1598s |      18 |   405777 |   331252 |   213828      2 |        0 |        0
1603.18/1603.73	c 1600s |      18 |   406111 |   331552 |   213828      2 |        0 |        0
1605.49/1606.09	c 1602s |      18 |   406608 |   331952 |   213828      2 |        0 |        0
1607.98/1608.57	c 1605s |      18 |   407095 |   332352 |   213828      2 |        0 |        0
1610.28/1610.86	c 1607s |      18 |   407590 |   332752 |   213828      2 |        0 |        0
1612.88/1613.44	c 1609s |      18 |   408058 |   333152 |   213828      2 |        0 |        0
1615.28/1615.87	c 1612s |      18 |   408516 |   333552 |   213828      2 |        0 |        0
1617.88/1618.41	c 1614s |      18 |   408985 |   333952 |   213828      2 |        0 |        0
1620.27/1620.82	c 1617s |      18 |   409453 |   334352 |   213828      2 |        0 |        0
1622.57/1623.17	c 1619s |      18 |   409940 |   334752 |   213828      2 |        0 |        0
1624.87/1625.46	c 1621s |      18 |   410394 |   335152 |   213828      2 |        0 |        0
1627.27/1627.87	c 1624s |      18 |   410891 |   335552 |   213828      2 |        0 |        0
1629.68/1630.25	c 1626s |      18 |   411359 |   335952 |   213828      2 |        0 |        0
1632.17/1632.76	c 1629s |      18 |   411838 |   336352 |   213828      2 |        0 |        0
1634.57/1635.17	c 1631s |      18 |   412281 |   336752 |   213828      2 |        0 |        0
1636.97/1637.56	c 1634s |      18 |   412793 |   337152 |   213828      2 |        0 |        0
1639.07/1639.63	c 1636s |      18 |   413154 |   337452 |   213828      2 |        0 |        0
1641.17/1641.70	c 1638s |      18 |   413516 |   337752 |   213828      2 |        0 |        0
1643.67/1644.22	c 1640s |      18 |   413984 |   338152 |   213828      2 |        0 |        0
1646.28/1646.84	c 1643s |      18 |   414471 |   338552 |   213828      2 |        0 |        0
1648.77/1649.40	c 1645s |      18 |   414926 |   338952 |   213828      2 |        0 |        0
1650.87/1651.40	c 1647s |      18 |   415275 |   339252 |   213828      2 |        0 |        0
1652.88/1653.46	c 1649s |      18 |   415660 |   339552 |   213828      2 |        0 |        0
1655.27/1655.83	c 1652s |      18 |   416117 |   339952 |   213828      2 |        0 |        0
1657.47/1658.05	c 1654s |      18 |   416608 |   340352 |   213828      2 |        0 |        0
1659.97/1660.55	c 1657s |      18 |   417095 |   340752 |   213828      2 |        0 |        0
1662.27/1662.85	c 1659s |      18 |   417567 |   341152 |   213828      2 |        0 |        0
1664.57/1665.19	c 1661s |      18 |   418025 |   341552 |   213828      2 |        0 |        0
1666.77/1667.36	c 1663s |      18 |   418499 |   341952 |   213828      2 |        0 |        0
1669.28/1669.84	c 1666s |      18 |   418946 |   342352 |   213828      2 |        0 |        0
1671.67/1672.27	c 1668s |      18 |   419413 |   342752 |   213828      2 |        0 |        0
1673.78/1674.37	c 1670s |      18 |   419759 |   343052 |   213828      2 |        0 |        0
1676.37/1676.90	c 1673s |      18 |   420226 |   343452 |   213828      2 |        0 |        0
1678.97/1679.52	c 1675s |      18 |   420683 |   343852 |   213828      2 |        0 |        0
1680.97/1681.53	c 1677s |      18 |   421036 |   344152 |   213828      2 |        0 |        0
1682.97/1683.59	c 1680s |      18 |   421418 |   344452 |   213828      2 |        0 |        0
1685.56/1686.12	c 1682s |      18 |   421895 |   344852 |   213828      2 |        0 |        0
1688.26/1688.80	c 1685s |      18 |   422358 |   345252 |   213828      2 |        0 |        0
1690.56/1691.10	c 1687s |      18 |   422718 |   345552 |   213828      2 |        0 |        0
1692.56/1693.16	c 1689s |      18 |   423086 |   345852 |   213828      2 |        0 |        0
1694.67/1695.21	c 1691s |      18 |   423426 |   346152 |   213828      2 |        0 |        0
1696.66/1697.24	c 1693s |      18 |   423782 |   346452 |   213828      2 |        0 |        0
1698.76/1699.33	c 1695s |      18 |   424145 |   346752 |   213828      2 |        0 |        0
1700.86/1701.44	c 1697s |      18 |   424559 |   347052 |   213828      2 |        0 |        0
1703.47/1704.05	c 1700s |      18 |   425035 |   347452 |   213828      2 |        0 |        0
1706.06/1706.61	c 1703s |      18 |   425513 |   347852 |   213828      2 |        0 |        0
1708.36/1708.91	c 1705s |      18 |   426014 |   348252 |   213828      2 |        0 |        0
1710.86/1711.41	c 1707s |      18 |   426503 |   348652 |   213828      2 |        0 |        0
1713.56/1714.11	c 1710s |      18 |   426995 |   349052 |   213828      2 |        0 |        0
1715.66/1716.29	c 1712s |      18 |   427318 |   349352 |   213828      2 |        0 |        0
1717.86/1718.49	c 1714s |      18 |   427691 |   349652 |   213828      2 |        0 |        0
1720.06/1720.67	c 1717s |      18 |   428049 |   349952 |   213828      2 |        0 |        0
1722.07/1722.70	c 1719s |      18 |   428427 |   350252 |   213828      2 |        0 |        0
1724.16/1724.71	c 1721s |      18 |   428779 |   350552 |   213828      2 |        0 |        0
1726.16/1726.77	c 1723s |      18 |   429138 |   350852 |   213828      2 |        0 |        0
1728.86/1729.44	c 1725s |      18 |   429616 |   351252 |   213828      2 |        0 |        0
1730.97/1731.58	c 1728s |      18 |   429963 |   351552 |   213828      2 |        0 |        0
1733.17/1733.72	c 1730s |      18 |   430297 |   351852 |   213828      2 |        0 |        0
1735.27/1735.85	c 1732s |      18 |   430673 |   352152 |   213828      2 |        0 |        0
1737.86/1738.40	c 1734s |      18 |   431157 |   352552 |   213828      2 |        0 |        0
1740.46/1741.03	c 1737s |      18 |   431662 |   352952 |   213828      2 |        0 |        0
1743.07/1743.68	c 1740s |      18 |   432138 |   353352 |   213828      2 |        0 |        0
1745.17/1745.77	c 1742s |      18 |   432521 |   353652 |   213828      2 |        0 |        0
1747.76/1748.35	c 1744s |      18 |   432985 |   354052 |   213828      2 |        0 |        0
1749.86/1750.47	c 1746s |      18 |   433335 |   354352 |   213828      2 |        0 |        0
1752.25/1752.81	c 1749s |      18 |   433711 |   354652 |   213828      2 |        0 |        0
1754.45/1755.09	c 1751s |      18 |   434048 |   354952 |   213828      2 |        0 |        0
1756.55/1757.13	c 1753s |      18 |   434424 |   355252 |   213828      2 |        0 |        0
1759.15/1759.77	c 1756s |      18 |   434767 |   355552 |   213828      2 |        0 |        0
1761.25/1761.88	c 1758s |      18 |   435095 |   355852 |   213828      2 |        0 |        0
1763.35/1763.94	c 1760s |      18 |   435435 |   356152 |   213828      2 |        0 |        0
1765.45/1766.05	c 1762s |      18 |   435794 |   356452 |   213828      2 |        0 |        0
1767.85/1768.49	c 1764s |      18 |   436132 |   356752 |   213828      2 |        0 |        0
1769.95/1770.59	c 1767s |      18 |   436475 |   357052 |   213828      2 |        0 |        0
1772.15/1772.72	c 1769s |      18 |   436815 |   357352 |   213828      2 |        0 |        0
1774.25/1774.83	c 1771s |      18 |   437169 |   357652 |   213828      2 |        0 |        0
1776.45/1777.08	c 1773s |      18 |   437530 |   357952 |   213828      2 |        0 |        0
1778.55/1779.19	c 1775s |      18 |   437874 |   358252 |   213828      2 |        0 |        0
1780.65/1781.23	c 1777s |      18 |   438250 |   358552 |   213828      2 |        0 |        0
1782.75/1783.36	c 1779s |      18 |   438638 |   358852 |   213828      2 |        0 |        0
1785.15/1785.73	c 1782s |      18 |   439005 |   359152 |   213828      2 |        0 |        0
1787.45/1788.07	c 1784s |      18 |   439333 |   359452 |   213828      2 |        0 |        0
1789.75/1790.38	c 1786s |      18 |   439688 |   359752 |   213828      2 |        0 |        0
1792.25/1792.83	c 1789s |      18 |   440052 |   360052 |   213828      2 |        0 |        0
1794.55/1795.20	c 1791s |      18 |   440394 |   360352 |   213828      2 |        0 |        0
1796.86/1797.49	c 1793s |      18 |   440767 |   360652 |   213828      2 |        0 |        0
1799.16/1799.77	c 1796s |      18 |   441116 |   360952 |   213828      2 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078641-1465219365/watcher-4078641-1465219365 -o /tmp/evaluation-result-4078641-1465219365/solver-4078641-1465219365 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078641-1465219365.opb 

pid=29105
running on 8 cores: 0-3,8-11

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.10 2.11 2.09 3/261 29108
/proc/meminfo: memFree=30984424/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1106364 CPUtime=0 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 4195 0 0 0 0 0 0 0 20 0 4 0 103778534 1132916736 4044 33554432000 4194304 16246674 140735178043808 140735178043232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 277103 4053 441 2943 0 273997 0
[pid=29108/tid=29109] ppid=29105 vsize=1128892 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1155985408 4133 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1132988 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1160179712 4150 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1138108 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103778535 1165422592 4168 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.10014 s]
/proc/loadavg: 2.10 2.11 2.09 3/261 29108
/proc/meminfo: memFree=30984424/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1301060 CPUtime=0.09 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 26001 0 0 0 6 3 0 0 20 0 4 0 103778534 1332285440 25788 33554432000 4194304 16246674 140735178043808 140735178043120 7374276 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 325265 25803 800 2943 0 322159 0
[pid=29108/tid=29109] ppid=29105 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1332285440 25814 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1332285440 25825 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1332285440 25836 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.20048 s]
/proc/loadavg: 2.10 2.11 2.09 3/261 29108
/proc/meminfo: memFree=30984424/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1310276 CPUtime=0.19 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 50985 0 0 0 13 6 0 0 20 0 4 0 103778534 1341722624 51284 33554432000 4194304 16246674 140735178043808 140735178043120 4223718 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 327569 51290 800 2943 0 324463 0
[pid=29108/tid=29109] ppid=29105 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1341722624 51295 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1341722624 51299 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1341722624 51304 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300495 s]
/proc/loadavg: 2.10 2.11 2.09 3/261 29108
/proc/meminfo: memFree=30984424/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1315396 CPUtime=0.29 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 61033 0 0 0 21 8 0 0 20 0 4 0 103778534 1346965504 61331 33554432000 4194304 16246674 140735178043808 140735178043120 4206877 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 328849 61331 800 2943 0 325743 0
[pid=29108/tid=29109] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 61331 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 61331 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 61331 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1315396

[startup+0.700397 s]
/proc/loadavg: 2.10 2.11 2.09 3/261 29108
/proc/meminfo: memFree=30984424/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1315396 CPUtime=0.69 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 74026 0 0 0 59 10 0 0 20 0 4 0 103778534 1346965504 74324 33554432000 4194304 16246674 140735178043808 140735178026800 7372435 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 328849 74324 801 2943 0 325743 0
[pid=29108/tid=29109] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 74324 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 74324 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 74324 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50041 s]
/proc/loadavg: 2.10 2.11 2.09 3/258 29147
/proc/meminfo: memFree=31701176/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1315396 CPUtime=1.49 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 160076 0 0 0 126 23 0 0 20 0 4 0 103778534 1346965504 160374 33554432000 4194304 16246674 140735178043808 140735178025728 13780501 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 328849 160384 836 2943 0 325743 0
[pid=29108/tid=29109] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 160390 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 160396 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1346965504 160402 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.1004 s]
/proc/loadavg: 2.17 2.12 2.09 3/265 29161
/proc/meminfo: memFree=30659084/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1338948 CPUtime=3.09 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 275356 0 0 0 270 39 0 0 20 0 4 0 103778534 1371082752 275654 33554432000 4194304 16246674 140735178043808 140735178025728 4220880 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 334737 275654 838 2943 0 331631 0
[pid=29108/tid=29109] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275654 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275654 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275654 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1338948

[startup+6.3004 s]
/proc/loadavg: 2.17 2.12 2.09 3/265 29161
/proc/meminfo: memFree=30304940/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1338948 CPUtime=6.29 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 275409 0 0 0 590 39 0 0 20 0 4 0 103778534 1371082752 275707 33554432000 4194304 16246674 140735178043808 140735178041600 13950184 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 334737 275707 883 2943 0 331631 0
[pid=29108/tid=29109] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275707 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275707 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275707 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1338948

[startup+12.7004 s]
/proc/loadavg: 2.16 2.12 2.09 3/265 29161
/proc/meminfo: memFree=29571232/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1338948 CPUtime=12.69 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 275409 0 0 0 1230 39 0 0 20 0 4 0 103778534 1371082752 275707 33554432000 4194304 16246674 140735178043808 140735178025728 13950199 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 334737 275707 883 2943 0 331631 0
[pid=29108/tid=29109] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275707 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275707 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275707 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1338948

[startup+25.5005 s]
/proc/loadavg: 2.12 2.11 2.09 3/265 29161
/proc/meminfo: memFree=28867964/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1338948 CPUtime=25.49 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 275410 0 0 0 2510 39 0 0 20 0 4 0 103778534 1371082752 275708 33554432000 4194304 16246674 140735178043808 140735178025728 13950230 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 334737 275708 883 2943 0 331631 0
[pid=29108/tid=29109] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1338948

[startup+51.1005 s]
/proc/loadavg: 2.22 2.14 2.10 3/265 29210
/proc/meminfo: memFree=29845528/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1338948 CPUtime=51.08 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 275424 0 0 0 5069 39 0 0 20 0 4 0 103778534 1371082752 275708 33554432000 4194304 16246674 140735178043808 140735178025728 5822604 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 334737 275708 883 2943 0 331631 0
[pid=29108/tid=29109] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1338948

[startup+102.301 s]
/proc/loadavg: 2.16 2.14 2.10 3/265 29211
/proc/meminfo: memFree=29845076/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1338948 CPUtime=102.26 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 275459 0 0 0 10187 39 0 0 20 0 4 0 103778534 1371082752 275708 33554432000 4194304 16246674 140735178043808 140735178025728 5523192 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29108/statm: 334737 275708 883 2943 0 331631 0
[pid=29108/tid=29109] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1371082752 275708 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1338948


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

/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1474891776 301057 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1440324

[startup+1302.3 s]
/proc/loadavg: 2.06 2.16 2.13 3/265 29240
/proc/meminfo: memFree=29710128/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1440324 CPUtime=1301.82 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 301236 0 0 0 130136 46 0 0 20 0 4 0 103778534 1474891776 301057 33554432000 4194304 16246674 140735178043808 140735178025728 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 360081 301057 888 2943 0 356975 0
[pid=29108/tid=29109] ppid=29105 vsize=1440324 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1474891776 301057 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1440324 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1474891776 301057 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1440324 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1474891776 301057 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1440324

[startup+1362.3 s]
/proc/loadavg: 2.22 2.19 2.14 3/264 29241
/proc/meminfo: memFree=29419260/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1730116 CPUtime=1361.81 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373684 0 0 0 136125 56 0 0 20 0 4 0 103778534 1771638784 373505 33554432000 4194304 16246674 140735178043808 140735178025728 5822604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 432529 373505 888 2943 0 429423 0
[pid=29108/tid=29109] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1730116

[startup+1422.3 s]
/proc/loadavg: 2.23 2.19 2.13 3/265 29243
/proc/meminfo: memFree=29329808/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1730116 CPUtime=1421.81 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373684 0 0 0 142125 56 0 0 20 0 4 0 103778534 1771638784 373505 33554432000 4194304 16246674 140735178043808 140735178041600 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 432529 373505 888 2943 0 429423 0
[pid=29108/tid=29109] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1730116

[startup+1482.3 s]
/proc/loadavg: 2.08 2.15 2.12 3/265 29244
/proc/meminfo: memFree=29330100/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1730116 CPUtime=1481.79 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373684 0 0 0 148123 56 0 0 20 0 4 0 103778534 1771638784 373505 33554432000 4194304 16246674 140735178043808 140735178025728 5822604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 432529 373505 888 2943 0 429423 0
[pid=29108/tid=29109] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373505 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1730116

[startup+1542.31 s]
/proc/loadavg: 2.07 2.13 2.12 3/265 29245
/proc/meminfo: memFree=29329116/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1730116 CPUtime=1541.79 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373685 0 0 0 154123 56 0 0 20 0 4 0 103778534 1771638784 373761 33554432000 4194304 16246674 140735178043808 140735178025728 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 432529 373761 888 2943 0 429423 0
[pid=29108/tid=29109] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1730116

[startup+1602.3 s]
/proc/loadavg: 2.14 2.14 2.12 3/265 29246
/proc/meminfo: memFree=29329112/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1730116 CPUtime=1601.78 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373685 0 0 0 160121 57 0 0 20 0 4 0 103778534 1771638784 373761 33554432000 4194304 16246674 140735178043808 140735178025728 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 432529 373761 888 2943 0 429423 0
[pid=29108/tid=29109] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1730116

[startup+1662.3 s]
/proc/loadavg: 2.10 2.13 2.11 3/266 29250
/proc/meminfo: memFree=29328968/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1730116 CPUtime=1661.77 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373685 0 0 0 166120 57 0 0 20 0 4 0 103778534 1771638784 373761 33554432000 4194304 16246674 140735178043808 140735178025728 5823975 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 432529 373761 888 2943 0 429423 0
[pid=29108/tid=29109] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1730116

[startup+1722.3 s]
/proc/loadavg: 2.15 2.13 2.11 3/265 29252
/proc/meminfo: memFree=29328848/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1730116 CPUtime=1721.76 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373685 0 0 0 172119 57 0 0 20 0 4 0 103778534 1771638784 373761 33554432000 4194304 16246674 140735178043808 140735178025728 5675732 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 432529 373761 888 2943 0 429423 0
[pid=29108/tid=29109] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1730116 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1771638784 373761 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1730116

[startup+1782.3 s]
/proc/loadavg: 2.10 2.12 2.10 3/265 29253
/proc/meminfo: memFree=29327856/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1732164 CPUtime=1781.75 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373951 0 0 0 178118 57 0 0 20 0 4 0 103778534 1773735936 374027 33554432000 4194304 16246674 140735178043808 140735178025728 5665808 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 433041 374027 888 2943 0 429935 0
[pid=29108/tid=29109] ppid=29105 vsize=1732164 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1773735936 374027 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1732164 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1773735936 374027 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1732164 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1773735936 374027 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1732164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.11 2.10 3/265 29254
/proc/meminfo: memFree=29327980/32872528 swapFree=9196/9196
[pid=29108] ppid=29105 vsize=1732164 CPUtime=1800.05 cores=0-3,8-11
/proc/29108/stat : 29108 (toysat) R 29105 29108 25889 0 -1 4202496 373951 0 0 0 179948 57 0 0 20 0 4 0 103778534 1773735936 374027 33554432000 4194304 16246674 140735178043808 140735178025728 5523236 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29108/statm: 433041 374027 888 2943 0 429935 0
[pid=29108/tid=29109] ppid=29105 vsize=1732164 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29109/stat : 29109 (toysat) S 29105 29108 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103778535 1773735936 374027 33554432000 4194304 16246674 140735178043808 139829269474544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=29108/tid=29110] ppid=29105 vsize=1732164 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29110/stat : 29110 (toysat) S 29105 29108 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103778535 1773735936 374027 33554432000 4194304 16246674 140735178043808 139829258984688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=29108/tid=29111] ppid=29105 vsize=1732164 CPUtime=0 cores=0-3,8-11
/proc/29108/task/29111/stat : 29111 (toysat) S 29105 29108 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103778535 1773735936 374027 33554432000 4194304 16246674 140735178043808 139829248511152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1732164

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.08
CPU user time (s): 1799.49
CPU system time (s): 0.594909
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1732164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.594909
maximum resident set size= 1496108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373951
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= 521
involuntary context switches= 1938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64499 second user time and 9.79751 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:22:45
IDJOB=4078641
IDBENCH=1370
IDSOLVER=2542
FILE ID=node132/4078641-1465219365
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078641-1465219365/watcher-4078641-1465219365 -o /tmp/evaluation-result-4078641-1465219365/solver-4078641-1465219365 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078641-1465219365.opb

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

MD5SUM BENCH= b656932a938990470d09f3771b5047c2
RANDOM SEED=1089405392

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30984028 kB
Buffers:            8816 kB
Cached:            77956 kB
SwapCached:         3236 kB
Active:          1145372 kB
Inactive:          22948 kB
Active(anon):    1080708 kB
Inactive(anon):     3236 kB
Active(file):      64664 kB
Inactive(file):    19712 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             38492 kB
Writeback:             0 kB
AnonPages:       1087156 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             573152 kB
SReclaimable:      12888 kB
SUnreclaim:       560264 kB
KernelStack:        2240 kB
PageTables:         6048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1231696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node132 at 2016-06-06 15:52:46