Trace number 4109222

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.63

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
MD5SUMb5d604f523494f9ae212571f314835a9
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8190
Total number of constraints181
Number of soft constraints121
Number of constraints which are clauses91
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint91
Top cost 5805
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5804
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 92
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T15:40:04+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","--wbo","--search=bcd2","HOME/instance-4109222-1466343604.wbo"]
0.00/0.01	c use --random-gen="1946416120 195393930 1945641031 1882009846 473925211 2639045427 2641670244 2315692961 423353780 1402243452 115899133 462026438 4021451212 1410165020 3673596696 1418185626 2868311215 3561220267 1393532480 1115095583 1524505025 2675178434 2227138008 635568649 743680043 2213957870 1573092068 3111847193 3781710842 1135877612 2195088781 2870853160 3799407096 3698973293 1212674703 2598107297 3179317483 1449238183 269262050 3793519664 2019856546 1899051387 2974434091 3421456815 2975575964 4040076492 453161877 3899917684 701279627 2859980333 164134768 719313738 3484196964 4148518845 750473028 2490001444 2711480127 735736231 2518657856 1601730835 1854179476 3854663360 1755651269 1475983094 553460178 1234372902 3536076722 539359789 2885928546 1887882 3356888427 647817035 3013744714 2647375038 22363966 4192005572 3187716284 713942837 3261658271 2331803991 482896928 2768689745 2721086493 1906581300 3966195709 4243335304 4061676592 1655856590 2400083275 483416338 968513008 3926834715 2306047671 280964316 2322955324 361144606 1885343991 445098676 3191321813 1466036839 2004748596 1358899472 4141523674 874285442 1942776031 876336127 333875773 968739641 1289804194 4032329264 1172108939 245238709 2023565936 104004341 2749570712 1985954412 2595859435 959638435 3858620512 3067800998 3999900416 3403296657 3322454914 3899381967 2667752249 1323379376 2774097227 262403835 1083209198 1344086682 3891245764 2326390986 1344424967 49569459 879872347 3230593548 2972047321 4094873892 862742968 3900522140 3057560238 2165935195 1073915729 1330225029 3164398589 605766253 4236660242 833440674 1098535145 2151305762 2634036970 848267272 4034317954 2728736841 841942614 66826427 3445708320 3646213483 3798308921 3098615321 214705938 1199679328 3053656193 4226958128 1707676659 366719524 1781910056 1188269781 1430411294 548521201 3594674489 3438774052 934580641 3523393052 3030067527 3923394889 313614103 400373434 4283883089 3613032187 528173119 3961416738 3381574303 991622109 530086564 4022675203 2336832338 2744381741 2434138253 2063943011 3935346999 495971323 2372381282 498493923 2113755184 2743952250 316285514 4154198616 3668762126 2054704973 3901016671 1086953799 2235020110 3530185579 551306162 3055792010 8731804 2859646922 4061039828 4154028480 210762894 3906522245 2943010308 4185836041 2339747945 604627316 852154012 3209253158 1012456292 3091822969 880849681 1839189161 3023829602 2237179116 3302408564 3957979730 1396437978 2689502920 3275198254 3538631650 365840017 4019208625 3440147084 2925337796 2415552701 1426888810 2626354865 2740235887 2277512723 155822376 2340134148 1455604966 3309532001 699664443 1864652824 3984604762 606190904 1652932913 4046962396 719906167 3404652805 4215928898 1488531062 689250600 4209199163 3050365574 255 362436" option to reproduce the execution
0.39/0.40	c #vars 8190
0.39/0.40	c #constraints 181
0.39/0.44	c BCD2: Hardening is enabled.
0.39/0.44	c BCD2: BiasedSearch is enabled.
0.39/0.44	c Solving starts ...
0.39/0.44	c ============================[ Search Statistics ]============================
0.39/0.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.44	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.44	c =============================================================================
0.39/0.44	c  0.0s |       0 |        0 |        0 |     2830      0 |        0 |        0
0.49/0.56	c  0.1s |       1 |      323 |      100 |     2830      0 |        0 |        0
0.49/0.59	c  0.1s |       1 |     5523 |      101 |     3114      0 |        0 |        0
0.49/0.59	c #cpu_time = 0.138s
0.49/0.59	c #wall_clock_time = 0.139s
0.49/0.59	c #decision = 5523
0.49/0.59	c #random_decision = 13
0.49/0.59	c #conflict = 101
0.49/0.59	c #restart = 1
0.49/0.59	o 2667
0.49/0.59	c BCD2: updating upper bound: 5804 -> 2666
0.49/0.59	c BCD2: 0 <= obj <= 2666
0.49/0.59	c BCD2: #cores=0, #unrelaxed=121, #relaxed=0, #hardened=0
0.49/0.59	c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.59	c Solving starts ...
0.49/0.59	c ============================[ Search Statistics ]============================
0.49/0.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.59	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.59	c =============================================================================
0.49/0.59	c  0.0s |       0 |        0 |        0 |     3114      0 |        0 |        0
0.79/0.84	c  0.3s |       1 |     2649 |      100 |     3114      0 |        0 |        0
1.29/1.31	c  0.7s |       2 |     6117 |      250 |     3426      0 |        0 |        0
2.29/2.33	c  1.7s |       3 |    10561 |      475 |     3769      0 |        0 |        0
3.99/4.02	c  3.4s |       4 |    16514 |      813 |     4146      0 |        0 |        0
5.39/5.41	c  4.8s |       5 |    22577 |     1320 |     4561      0 |        0 |        0
7.29/7.37	c  6.8s |       6 |    27659 |     2081 |     5018      0 |        0 |        0
9.39/9.49	c  8.9s |       6 |    32772 |     2881 |     5018      0 |        0 |        0
10.49/10.56	c 10.0s |       7 |    33137 |     3223 |     5520      0 |        0 |        0
12.69/12.73	c 12.1s |       7 |    38250 |     4023 |     5520      0 |        0 |        0
14.79/14.87	c 14.3s |       7 |    39014 |     4723 |     5520      0 |        0 |        0
15.50/15.56	c 15.0s |       8 |    39263 |     4936 |     6073      0 |        0 |        0
17.60/17.64	c 17.1s |       8 |    44339 |     5536 |     6073      0 |        0 |        0
19.90/19.98	c 19.4s |       8 |    45015 |     6136 |     6073      0 |        0 |        0
21.99/22.09	c 21.5s |       8 |    45564 |     6636 |     6073      0 |        0 |        0
24.09/24.15	c 23.6s |       8 |    46107 |     7136 |     6073      0 |        0 |        0
25.69/25.76	c 25.2s |       9 |    46503 |     7506 |     6681      0 |        0 |        0
27.88/27.94	c 27.4s |       9 |    51379 |     8006 |     6681      1 |        0 |        0
30.08/30.18	c 29.6s |       9 |    52029 |     8606 |     6681      1 |        0 |        0
32.48/32.55	c 32.0s |       9 |    52580 |     9106 |     6681      1 |        0 |        0
34.49/34.59	c 34.0s |       9 |    53018 |     9506 |     6681      1 |        0 |        0
36.79/36.85	c 36.3s |       9 |    53583 |    10006 |     6681      1 |        0 |        0
39.09/39.13	c 38.5s |       9 |    54149 |    10506 |     6681      1 |        0 |        0
41.29/41.32	c 40.7s |       9 |    54589 |    10906 |     6681      1 |        0 |        0
43.49/43.59	c 43.0s |       9 |    55040 |    11306 |     7350      1 |        0 |        0
43.79/43.89	c 43.3s |      10 |    55098 |    11361 |     7350      1 |        0 |        0
46.09/46.14	c 45.6s |      10 |    60246 |    12061 |     7350      2 |        0 |        0
48.28/48.36	c 47.8s |      10 |    61014 |    12761 |     7350      2 |        0 |        0
50.38/50.48	c 49.9s |      10 |    61749 |    13361 |     7350      2 |        0 |        0
52.69/52.80	c 52.2s |      10 |    62417 |    13961 |     7350      2 |        0 |        0
54.99/55.04	c 54.5s |      10 |    63113 |    14561 |     7350      2 |        0 |        0
56.98/57.05	c 56.5s |      10 |    63682 |    15061 |     7350      2 |        0 |        0
59.18/59.21	c 58.6s |      10 |    64236 |    15561 |     7350      2 |        0 |        0
61.58/61.63	c 61.0s |      10 |    64914 |    16161 |     7350      2 |        0 |        0
63.79/63.85	c 63.3s |      10 |    65466 |    16661 |     7350      2 |        0 |        0
65.99/66.01	c 65.4s |      11 |    65998 |    17144 |     8086      2 |        0 |        0
67.98/68.09	c 67.5s |      11 |    70765 |    17544 |     8086      3 |        0 |        0
70.18/70.27	c 69.7s |      11 |    71358 |    18044 |     8086      3 |        0 |        0
72.48/72.52	c 71.9s |      11 |    71955 |    18544 |     8086      3 |        0 |        0
74.78/74.82	c 74.2s |      11 |    72519 |    19044 |     8086      3 |        0 |        0
76.88/76.97	c 76.4s |      11 |    72960 |    19444 |     8086      3 |        0 |        0
78.88/78.98	c 78.4s |      11 |    73410 |    19844 |     8086      3 |        0 |        0
80.97/81.08	c 80.5s |      11 |    73844 |    20244 |     8086      3 |        0 |        0
83.17/83.20	c 82.6s |      11 |    74296 |    20644 |     8086      3 |        0 |        0
85.58/85.61	c 85.0s |      11 |    74888 |    21144 |     8086      3 |        0 |        0
87.68/87.70	c 87.1s |      11 |    75353 |    21544 |     8086      3 |        0 |        0
89.78/89.89	c 89.3s |      11 |    75791 |    21944 |     8086      3 |        0 |        0
91.87/91.98	c 91.4s |      11 |    76262 |    22344 |     8086      3 |        0 |        0
94.27/94.39	c 93.8s |      11 |    76709 |    22744 |     8086      3 |        0 |        0
96.78/96.89	c 96.3s |      11 |    77172 |    23144 |     8086      3 |        0 |        0
99.27/99.38	c 98.8s |      11 |    77626 |    23544 |     8086      3 |        0 |        0
101.88/101.99	c  101s |      11 |    78070 |    23944 |     8086      3 |        0 |        0
104.38/104.41	c  103s |      11 |    78529 |    24344 |     8086      3 |        0 |        0
106.78/106.82	c  106s |      11 |    79000 |    24744 |     8086      3 |        0 |        0
109.27/109.33	c  108s |      11 |    79475 |    25144 |     8086      3 |        0 |        0
111.28/111.38	c  110s |      11 |    79808 |    25444 |     8086      3 |        0 |        0
113.78/113.87	c  113s |      12 |    80237 |    25819 |     8895      3 |        0 |        0
115.88/115.91	c  115s |      12 |    84727 |    26019 |     8895      4 |        0 |        0
118.27/118.32	c  117s |      12 |    85376 |    26519 |     8895      4 |        0 |        0
120.67/120.73	c  120s |      12 |    85859 |    26919 |     8895      4 |        0 |        0
122.97/123.09	c  122s |      12 |    86324 |    27319 |     8895      4 |        0 |        0
125.38/125.50	c  124s |      12 |    86776 |    27719 |     8895      4 |        0 |        0
127.87/127.92	c  127s |      12 |    87264 |    28119 |     8895      4 |        0 |        0
130.27/130.33	c  129s |      12 |    87730 |    28519 |     8895      4 |        0 |        0
132.37/132.43	c  131s |      12 |    88066 |    28819 |     8895      4 |        0 |        0
134.77/134.83	c  134s |      12 |    88401 |    29119 |     8895      4 |        0 |        0
137.27/137.31	c  136s |      12 |    88728 |    29419 |     8895      4 |        0 |        0
139.47/139.55	c  138s |      12 |    89072 |    29719 |     8895      4 |        0 |        0
141.77/141.89	c  141s |      12 |    89400 |    30019 |     8895      4 |        0 |        0
143.97/144.09	c  143s |      12 |    89734 |    30319 |     8895      4 |        0 |        0
146.07/146.14	c  145s |      12 |    90065 |    30619 |     8895      4 |        0 |        0
148.27/148.36	c  147s |      12 |    90399 |    30919 |     8895      4 |        0 |        0
150.47/150.58	c  149s |      12 |    90724 |    31219 |     8895      4 |        0 |        0
152.77/152.82	c  152s |      12 |    91060 |    31519 |     8895      4 |        0 |        0
154.86/154.93	c  154s |      12 |    91392 |    31819 |     8895      4 |        0 |        0
157.17/157.26	c  156s |      12 |    91713 |    32119 |     8895      4 |        0 |        0
159.58/159.60	c  159s |      12 |    92045 |    32419 |     8895      4 |        0 |        0
161.87/161.90	c  161s |      12 |    92371 |    32719 |     8895      4 |        0 |        0
164.36/164.44	c  163s |      12 |    92702 |    33019 |     8895      4 |        0 |        0
166.86/166.93	c  166s |      12 |    93028 |    33319 |     8895      4 |        0 |        0
169.37/169.41	c  168s |      12 |    93351 |    33619 |     8895      4 |        0 |        0
171.67/171.74	c  171s |      12 |    93682 |    33919 |     8895      4 |        0 |        0
174.06/174.17	c  173s |      12 |    94004 |    34219 |     8895      4 |        0 |        0
176.56/176.69	c  176s |      12 |    94328 |    34519 |     8895      4 |        0 |        0
179.07/179.15	c  178s |      12 |    94645 |    34819 |     8895      4 |        0 |        0
181.57/181.64	c  181s |      12 |    94973 |    35119 |     8895      4 |        0 |        0
184.16/184.22	c  183s |      12 |    95297 |    35419 |     8895      4 |        0 |        0
186.66/186.72	c  186s |      12 |    95640 |    35719 |     8895      4 |        0 |        0
189.36/189.48	c  188s |      12 |    95966 |    36019 |     8895      4 |        0 |        0
192.06/192.15	c  191s |      12 |    96184 |    36219 |     8895      5 |        0 |        0
194.26/194.31	c  193s |      12 |    96401 |    36419 |     8895      5 |        0 |        0
196.97/197.09	c  196s |      12 |    96737 |    36719 |     8895      5 |        0 |        0
199.86/199.98	c  199s |      12 |    97050 |    37019 |     8895      5 |        0 |        0
202.96/203.08	c  202s |      12 |    97379 |    37319 |     8895      5 |        0 |        0
205.56/205.70	c  205s |      12 |    97721 |    37619 |     8895      5 |        0 |        0
208.16/208.21	c  207s |      12 |    98069 |    37919 |     8895      5 |        0 |        0
210.75/210.80	c  210s |      12 |    98382 |    38219 |     8895      5 |        0 |        0
213.16/213.20	c  212s |      12 |    98723 |    38519 |     9785      5 |        0 |        0
215.46/215.53	c  214s |      12 |    99068 |    38819 |     9785      5 |        0 |        0
215.57/215.63	c  215s |      13 |    99084 |    38832 |     9785      5 |        0 |        0
217.76/217.89	c  217s |      13 |   103545 |    39032 |     9785      6 |        0 |        0
219.86/219.96	c  219s |      13 |   104222 |    39632 |     9785      6 |        0 |        0
221.85/221.99	c  221s |      13 |   104776 |    40132 |     9785      6 |        0 |        0
224.25/224.37	c  223s |      13 |   105464 |    40732 |     9785      6 |        0 |        0
226.57/226.64	c  226s |      13 |   106018 |    41232 |     9785      6 |        0 |        0
228.76/228.88	c  228s |      13 |   106707 |    41832 |     9785      6 |        0 |        0
231.15/231.25	c  230s |      13 |   107377 |    42432 |     9785      6 |        0 |        0
233.26/233.34	c  232s |      13 |   107948 |    42932 |     9785      6 |        0 |        0
235.36/235.47	c  234s |      13 |   108521 |    43432 |     9785      6 |        0 |        0
237.85/237.97	c  237s |      13 |   109089 |    43932 |     9785      6 |        0 |        0
240.05/240.10	c  239s |      13 |   109542 |    44332 |     9785      6 |        0 |        0
241.96/242.10	c  241s |      13 |   110038 |    44732 |     9785      6 |        0 |        0
244.05/244.18	c  243s |      13 |   110509 |    45132 |     9785      6 |        0 |        0
246.15/246.28	c  245s |      13 |   110938 |    45532 |     9785      6 |        0 |        0
248.36/248.43	c  247s |      13 |   111392 |    45932 |     9785      6 |        0 |        0
250.45/250.52	c  249s |      13 |   111880 |    46332 |     9785      6 |        0 |        0
252.85/252.94	c  252s |      13 |   112325 |    46732 |     9785      6 |        0 |        0
255.05/255.17	c  254s |      13 |   112766 |    47132 |     9785      6 |        0 |        0
257.46/257.59	c  257s |      13 |   113225 |    47532 |     9785      6 |        0 |        0
259.95/260.01	c  259s |      13 |   113675 |    47932 |     9785      6 |        0 |        0
262.25/262.31	c  261s |      13 |   114137 |    48332 |     9785      6 |        0 |        0
264.75/264.80	c  264s |      13 |   114597 |    48732 |     9785      6 |        0 |        0
267.45/267.50	c  266s |      13 |   115054 |    49132 |     9785      6 |        0 |        0
269.45/269.52	c  268s |      13 |   115395 |    49432 |     9785      6 |        0 |        0
271.44/271.54	c  270s |      13 |   115743 |    49732 |     9785      6 |        0 |        0
273.95/274.09	c  273s |      13 |   116220 |    50132 |     9785      6 |        0 |        0
276.05/276.16	c  275s |      13 |   116694 |    50532 |     9785      6 |        0 |        0
278.44/278.58	c  277s |      13 |   117130 |    50932 |     9785      6 |        0 |        0
281.25/281.30	c  280s |      13 |   117489 |    51232 |     9785      7 |        0 |        0
283.45/283.50	c  282s |      13 |   117932 |    51632 |     9785      7 |        0 |        0
285.65/285.71	c  285s |      13 |   118384 |    52032 |     9785      7 |        0 |        0
287.85/287.96	c  287s |      13 |   118829 |    52432 |     9785      7 |        0 |        0
290.15/290.24	c  289s |      13 |   119283 |    52832 |     9785      7 |        0 |        0
292.55/292.61	c  292s |      13 |   119738 |    53232 |     9785      7 |        0 |        0
295.04/295.13	c  294s |      13 |   120183 |    53632 |     9785      7 |        0 |        0
297.55/297.68	c  297s |      13 |   120617 |    54032 |     9785      7 |        0 |        0
300.05/300.16	c  299s |      13 |   121045 |    54432 |     9785      7 |        0 |        0
302.25/302.33	c  301s |      13 |   121365 |    54732 |     9785      7 |        0 |        0
304.75/304.84	c  304s |      13 |   121830 |    55132 |     9785      7 |        0 |        0
307.24/307.33	c  306s |      13 |   122298 |    55532 |     9785      7 |        0 |        0
309.84/309.91	c  309s |      13 |   122727 |    55932 |     9785      7 |        0 |        0
312.05/312.19	c  311s |      13 |   123067 |    56232 |     9785      7 |        0 |        0
314.25/314.31	c  313s |      13 |   123385 |    56532 |     9785      7 |        0 |        0
316.34/316.45	c  315s |      13 |   123741 |    56832 |     9785      7 |        0 |        0
318.95/319.03	c  318s |      13 |   124172 |    57232 |     9785      7 |        0 |        0
321.04/321.12	c  320s |      13 |   124522 |    57532 |     9785      7 |        0 |        0
323.14/323.22	c  322s |      13 |   124857 |    57832 |     9785      7 |        0 |        0
325.34/325.42	c  324s |      13 |   125193 |    58132 |    10764      7 |        0 |        0
327.04/327.12	c  326s |      14 |   125452 |    58352 |    10764      7 |        0 |        0
329.14/329.21	c  328s |      14 |   129091 |    58452 |    10764      8 |        0 |        0
331.24/331.33	c  330s |      14 |   130139 |    59352 |    10764      8 |        0 |        0
333.25/333.36	c  332s |      14 |   130885 |    59952 |    10764      8 |        0 |        0
335.45/335.54	c  334s |      14 |   131581 |    60552 |    10764      8 |        0 |        0
337.65/337.73	c  337s |      14 |   132284 |    61152 |    10764      8 |        0 |        0
339.85/339.99	c  339s |      14 |   132953 |    61752 |    10764      8 |        0 |        0
341.94/342.05	c  341s |      14 |   133524 |    62252 |    10764      8 |        0 |        0
344.13/344.21	c  343s |      14 |   134219 |    62852 |    10764      8 |        0 |        0
346.14/346.27	c  345s |      14 |   134785 |    63352 |    10764      8 |        0 |        0
348.44/348.57	c  347s |      14 |   135468 |    63952 |    10764      8 |        0 |        0
350.64/350.77	c  350s |      14 |   135995 |    64452 |    10764      8 |        0 |        0
352.94/353.10	c  352s |      14 |   136539 |    64952 |    10764      8 |        0 |        0
355.24/355.36	c  354s |      14 |   137270 |    65552 |    10764      8 |        0 |        0
357.44/357.55	c  356s |      14 |   137824 |    66052 |    10764      8 |        0 |        0
359.74/359.86	c  359s |      14 |   138380 |    66552 |    10764      8 |        0 |        0
362.13/362.22	c  361s |      14 |   138964 |    67052 |    10764      8 |        0 |        0
364.54/364.67	c  364s |      14 |   139572 |    67552 |    10764      8 |        0 |        0
367.04/367.11	c  366s |      14 |   140153 |    68052 |    10764      8 |        0 |        0
369.04/369.18	c  368s |      14 |   140642 |    68452 |    10764      8 |        0 |        0
371.44/371.59	c  371s |      14 |   141198 |    68952 |    10764      8 |        0 |        0
373.94/374.09	c  373s |      14 |   141563 |    69252 |    10764      9 |        0 |        0
376.14/376.26	c  375s |      14 |   142019 |    69652 |    10764      9 |        0 |        0
378.23/378.37	c  377s |      14 |   142482 |    70052 |    10764      9 |        0 |        0
380.23/380.38	c  379s |      14 |   142937 |    70452 |    10764      9 |        0 |        0
382.43/382.52	c  381s |      14 |   143406 |    70852 |    10764      9 |        0 |        0
384.53/384.65	c  384s |      14 |   143875 |    71252 |    10764      9 |        0 |        0
386.93/387.03	c  386s |      14 |   144448 |    71752 |    10764      9 |        0 |        0
389.23/389.39	c  388s |      14 |   145029 |    72252 |    10764      9 |        0 |        0
391.33/391.46	c  390s |      14 |   145491 |    72652 |    10764      9 |        0 |        0
393.84/393.90	c  393s |      14 |   146053 |    73152 |    10764      9 |        0 |        0
395.94/396.04	c  395s |      14 |   146496 |    73552 |    10764      9 |        0 |        0
398.03/398.19	c  397s |      14 |   146810 |    73852 |    10764      9 |        0 |        0
400.63/400.71	c  400s |      14 |   147280 |    74252 |    10764      9 |        0 |        0
403.13/403.24	c  402s |      14 |   147885 |    74752 |    10764      9 |        0 |        0
405.43/405.56	c  404s |      14 |   148330 |    75152 |    10764      9 |        0 |        0
407.62/407.77	c  407s |      14 |   148766 |    75552 |    10764      9 |        0 |        0
409.93/410.06	c  409s |      14 |   149221 |    75952 |    10764      9 |        0 |        0
412.03/412.17	c  411s |      14 |   149671 |    76352 |    10764      9 |        0 |        0
414.74/414.85	c  414s |      14 |   150106 |    76752 |    10764      9 |        0 |        0
416.84/416.96	c  416s |      14 |   150430 |    77052 |    10764      9 |        0 |        0
419.43/419.54	c  418s |      14 |   150866 |    77452 |    10764      9 |        0 |        0
421.93/422.01	c  421s |      14 |   151323 |    77852 |    10764      9 |        0 |        0
424.13/424.28	c  423s |      14 |   151783 |    78252 |    10764      9 |        0 |        0
426.52/426.65	c  426s |      14 |   152030 |    78452 |    10764     10 |        0 |        0
428.83/428.92	c  428s |      14 |   152594 |    78952 |    10764     10 |        0 |        0
431.14/431.30	c  430s |      14 |   153152 |    79452 |    10764     10 |        0 |        0
433.33/433.43	c  432s |      14 |   153617 |    79852 |    10764     10 |        0 |        0
435.53/435.65	c  435s |      14 |   154049 |    80252 |    10764     10 |        0 |        0
437.73/437.85	c  437s |      14 |   154484 |    80652 |    10764     10 |        0 |        0
439.93/440.05	c  439s |      14 |   154914 |    81052 |    10764     10 |        0 |        0
442.13/442.25	c  441s |      14 |   155384 |    81452 |    10764     10 |        0 |        0
444.43/444.54	c  443s |      14 |   155815 |    81852 |    10764     10 |        0 |        0
446.83/446.91	c  446s |      14 |   156262 |    82252 |    10764     10 |        0 |        0
449.02/449.11	c  448s |      14 |   156725 |    82652 |    10764     10 |        0 |        0
451.12/451.25	c  450s |      14 |   157174 |    83052 |    10764     10 |        0 |        0
453.23/453.38	c  452s |      14 |   157628 |    83452 |    10764     10 |        0 |        0
455.33/455.48	c  454s |      14 |   158061 |    83852 |    10764     10 |        0 |        0
457.52/457.67	c  457s |      14 |   158513 |    84252 |    10764     10 |        0 |        0
459.93/460.06	c  459s |      14 |   158958 |    84652 |    10764     10 |        0 |        0
462.22/462.30	c  461s |      14 |   159294 |    84952 |    10764     10 |        0 |        0
464.52/464.69	c  464s |      14 |   159610 |    85252 |    10764     10 |        0 |        0
466.62/466.76	c  466s |      14 |   159997 |    85552 |    10764     10 |        0 |        0
469.12/469.29	c  468s |      14 |   160431 |    85952 |    10764     10 |        0 |        0
471.42/471.55	c  470s |      14 |   160901 |    86352 |    10764     10 |        0 |        0
473.72/473.86	c  473s |      14 |   161335 |    86752 |    10764     10 |        0 |        0
476.11/476.22	c  475s |      14 |   161782 |    87152 |    11841     10 |        0 |        0
478.43/478.53	c  477s |      14 |   162215 |    87552 |    11841     10 |        0 |        0
478.82/478.98	c  478s |      15 |   162303 |    87632 |    11841     10 |        0 |        0
481.32/481.43	c  480s |      15 |   165887 |    87732 |    11841     11 |        0 |        0
483.32/483.47	c  482s |      15 |   166711 |    88432 |    11841     11 |        0 |        0
485.62/485.75	c  485s |      15 |   167569 |    89132 |    11841     11 |        0 |        0
487.81/487.92	c  487s |      15 |   168230 |    89732 |    11841     11 |        0 |        0
490.02/490.18	c  489s |      15 |   168917 |    90332 |    11841     11 |        0 |        0
492.12/492.23	c  491s |      15 |   169483 |    90832 |    11841     11 |        0 |        0
494.21/494.38	c  493s |      15 |   170063 |    91332 |    11841     11 |        0 |        0
496.61/496.76	c  496s |      15 |   170824 |    91832 |    11841     11 |        0 |        0
498.81/498.94	c  498s |      15 |   171373 |    92332 |    11841     11 |        0 |        0
501.22/501.39	c  500s |      15 |   171936 |    92832 |    11841     11 |        0 |        0
503.52/503.67	c  503s |      15 |   172391 |    93232 |    11841     11 |        0 |        0
505.92/506.02	c  505s |      15 |   172847 |    93632 |    11841     11 |        0 |        0
508.22/508.33	c  507s |      15 |   173279 |    94032 |    11841     11 |        0 |        0
510.51/510.65	c  510s |      15 |   173714 |    94432 |    11841     11 |        0 |        0
512.52/512.70	c  512s |      15 |   174030 |    94732 |    11841     11 |        0 |        0
514.82/514.97	c  514s |      15 |   174501 |    95132 |    11841     11 |        0 |        0
516.92/517.09	c  516s |      15 |   174972 |    95532 |    11841     11 |        0 |        0
519.22/519.36	c  518s |      15 |   175447 |    95932 |    11841     11 |        0 |        0
521.62/521.70	c  521s |      15 |   175910 |    96332 |    11841     11 |        0 |        0
523.91/524.00	c  523s |      15 |   176374 |    96732 |    11841     11 |        0 |        0
526.11/526.26	c  525s |      15 |   176837 |    97132 |    11841     11 |        0 |        0
528.21/528.33	c  527s |      15 |   177303 |    97532 |    11841     11 |        0 |        0
530.51/530.66	c  530s |      15 |   177749 |    97932 |    11841     11 |        0 |        0
532.61/532.75	c  532s |      15 |   177991 |    98132 |    11841     12 |        0 |        0
535.01/535.10	c  534s |      15 |   178449 |    98532 |    11841     12 |        0 |        0
537.21/537.34	c  536s |      15 |   178928 |    98932 |    11841     12 |        0 |        0
539.50/539.70	c  539s |      15 |   179381 |    99332 |    11841     12 |        0 |        0
541.61/541.70	c  541s |      15 |   179736 |    99632 |    11841     12 |        0 |        0
543.61/543.75	c  543s |      15 |   180077 |    99932 |    11841     12 |        0 |        0
546.11/546.23	c  545s |      15 |   180538 |   100332 |    11841     12 |        0 |        0
548.40/548.55	c  547s |      15 |   181016 |   100732 |    11841     12 |        0 |        0
550.80/550.92	c  550s |      15 |   181476 |   101132 |    11841     12 |        0 |        0
553.40/553.50	c  552s |      15 |   181931 |   101532 |    11841     12 |        0 |        0
556.01/556.11	c  555s |      15 |   182378 |   101932 |    11841     12 |        0 |        0
558.01/558.18	c  557s |      15 |   182717 |   102232 |    11841     12 |        0 |        0
560.10/560.24	c  559s |      15 |   183056 |   102532 |    11841     12 |        0 |        0
562.61/562.78	c  562s |      15 |   183489 |   102932 |    11841     12 |        0 |        0
565.21/565.32	c  564s |      15 |   183932 |   103332 |    11841     12 |        0 |        0
567.71/567.89	c  567s |      15 |   184375 |   103732 |    11841     12 |        0 |        0
570.30/570.41	c  569s |      15 |   184816 |   104132 |    11841     12 |        0 |        0
572.70/572.84	c  572s |      15 |   185249 |   104532 |    11841     12 |        0 |        0
574.90/575.04	c  574s |      15 |   185577 |   104832 |    11841     12 |        0 |        0
577.60/577.74	c  577s |      15 |   186008 |   105232 |    11841     12 |        0 |        0
580.00/580.11	c  579s |      15 |   186353 |   105532 |    11841     12 |        0 |        0
582.30/582.40	c  581s |      15 |   186717 |   105832 |    11841     12 |        0 |        0
584.90/585.03	c  584s |      15 |   187068 |   106132 |    11841     12 |        0 |        0
587.10/587.22	c  586s |      15 |   187402 |   106432 |    11841     12 |        0 |        0
589.50/589.67	c  589s |      15 |   187882 |   106832 |    11841     12 |        0 |        0
591.70/591.85	c  591s |      15 |   188317 |   107232 |    11841     12 |        0 |        0
594.30/594.46	c  593s |      15 |   188743 |   107632 |    11841     12 |        0 |        0
597.50/597.64	c  597s |      15 |   189073 |   107932 |    11841     13 |        0 |        0
599.59/599.80	c  599s |      15 |   189504 |   108332 |    11841     13 |        0 |        0
602.00/602.14	c  601s |      15 |   189991 |   108732 |    11841     13 |        0 |        0
604.00/604.14	c  603s |      15 |   190471 |   109132 |    11841     13 |        0 |        0
606.11/606.20	c  605s |      15 |   190934 |   109532 |    11841     13 |        0 |        0
608.31/608.43	c  607s |      15 |   191411 |   109932 |    11841     13 |        0 |        0
610.41/610.59	c  610s |      15 |   191898 |   110332 |    11841     13 |        0 |        0
612.70/612.85	c  612s |      15 |   192360 |   110732 |    11841     13 |        0 |        0
614.90/615.05	c  614s |      15 |   192857 |   111132 |    11841     13 |        0 |        0
617.00/617.16	c  616s |      15 |   193345 |   111532 |    11841     13 |        0 |        0
619.40/619.57	c  618s |      15 |   193819 |   111932 |    11841     13 |        0 |        0
621.90/622.07	c  621s |      15 |   194285 |   112332 |    11841     13 |        0 |        0
624.50/624.60	c  624s |      15 |   194772 |   112732 |    11841     13 |        0 |        0
626.49/626.70	c  626s |      15 |   195105 |   113032 |    11841     13 |        0 |        0
629.21/629.36	c  628s |      15 |   195607 |   113432 |    11841     13 |        0 |        0
631.30/631.50	c  630s |      15 |   195941 |   113732 |    11841     13 |        0 |        0
634.09/634.25	c  633s |      15 |   196407 |   114132 |    11841     13 |        0 |        0
636.39/636.51	c  635s |      15 |   196736 |   114432 |    11841     13 |        0 |        0
638.49/638.61	c  638s |      15 |   197088 |   114732 |    11841     13 |        0 |        0
640.69/640.80	c  640s |      15 |   197550 |   115132 |    11841     13 |        0 |        0
643.09/643.20	c  642s |      15 |   197993 |   115532 |    11841     13 |        0 |        0
645.29/645.48	c  644s |      15 |   198445 |   115932 |    11841     13 |        0 |        0
647.70/647.84	c  647s |      15 |   198978 |   116332 |    11841     13 |        0 |        0
650.19/650.35	c  649s |      15 |   199446 |   116732 |    11841     13 |        0 |        0
652.30/652.49	c  651s |      15 |   199793 |   117032 |    11841     13 |        0 |        0
654.99/655.14	c  654s |      15 |   200288 |   117432 |    11841     13 |        0 |        0
658.69/658.90	c  658s |      15 |   200656 |   117732 |    11841     14 |        0 |        0
660.89/661.10	c  660s |      15 |   201135 |   118132 |    11841     14 |        0 |        0
663.19/663.40	c  662s |      15 |   201584 |   118532 |    11841     14 |        0 |        0
665.59/665.70	c  665s |      15 |   202025 |   118932 |    11841     14 |        0 |        0
667.60/667.80	c  667s |      15 |   202558 |   119332 |    11841     14 |        0 |        0
670.09/670.28	c  669s |      15 |   202995 |   119732 |    11841     14 |        0 |        0
672.58/672.77	c  672s |      15 |   203457 |   120132 |    11841     14 |        0 |        0
674.99/675.14	c  674s |      15 |   203932 |   120532 |    11841     14 |        0 |        0
677.39/677.56	c  676s |      15 |   204383 |   120932 |    11841     14 |        0 |        0
679.70/679.86	c  679s |      15 |   204752 |   121232 |    11841     14 |        0 |        0
681.89/682.04	c  681s |      15 |   205122 |   121532 |    11841     14 |        0 |        0
684.09/684.21	c  683s |      15 |   205461 |   121832 |    11841     14 |        0 |        0
686.08/686.25	c  685s |      15 |   205836 |   122132 |    11841     14 |        0 |        0
688.28/688.42	c  687s |      15 |   206150 |   122432 |    11841     14 |        0 |        0
690.88/691.09	c  690s |      15 |   206635 |   122832 |    11841     14 |        0 |        0
693.09/693.26	c  692s |      15 |   206954 |   123132 |    11841     14 |        0 |        0
695.29/695.45	c  694s |      15 |   207286 |   123432 |    11841     14 |        0 |        0
697.39/697.53	c  696s |      15 |   207616 |   123732 |    11841     14 |        0 |        0
699.59/699.73	c  699s |      15 |   207962 |   124032 |    11841     14 |        0 |        0
702.18/702.37	c  701s |      15 |   208441 |   124432 |    11841     14 |        0 |        0
704.29/704.42	c  703s |      15 |   208786 |   124732 |    11841     14 |        0 |        0
706.39/706.58	c  705s |      15 |   209122 |   125032 |    11841     14 |        0 |        0
708.69/708.80	c  708s |      15 |   209454 |   125332 |    11841     14 |        0 |        0
710.89/711.02	c  710s |      15 |   209778 |   125632 |    11841     14 |        0 |        0
713.18/713.35	c  712s |      15 |   210130 |   125932 |    11841     14 |        0 |        0
715.48/715.60	c  715s |      15 |   210469 |   126232 |    11841     14 |        0 |        0
717.68/717.87	c  717s |      15 |   210783 |   126532 |    11841     14 |        0 |        0
719.97/720.12	c  719s |      15 |   211147 |   126832 |    11841     14 |        0 |        0
722.17/722.33	c  721s |      15 |   211487 |   127132 |    11841     14 |        0 |        0
724.37/724.50	c  723s |      15 |   211838 |   127432 |    11841     14 |        0 |        0
727.27/727.41	c  726s |      15 |   212072 |   127632 |    11841     15 |        0 |        0
729.47/729.68	c  729s |      15 |   212528 |   128032 |    11841     15 |        0 |        0
732.07/732.27	c  731s |      15 |   212966 |   128432 |    11841     15 |        0 |        0
734.48/734.68	c  734s |      15 |   213406 |   128832 |    11841     15 |        0 |        0
736.98/737.14	c  736s |      15 |   213876 |   129232 |    11841     15 |        0 |        0
739.37/739.59	c  738s |      15 |   214337 |   129632 |    11841     15 |        0 |        0
741.97/742.14	c  741s |      15 |   214784 |   130032 |    11841     15 |        0 |        0
744.36/744.56	c  743s |      15 |   215240 |   130432 |    11841     15 |        0 |        0
746.46/746.68	c  746s |      15 |   215601 |   130732 |    13026     15 |        0 |        0
748.77/748.96	c  748s |      15 |   216045 |   131132 |    13026     15 |        0 |        0
751.17/751.37	c  750s |      15 |   216527 |   131532 |    13026     15 |        0 |        0
751.36/751.52	c  750s |      16 |   216556 |   131552 |    13026     15 |        0 |        0
753.87/754.08	c  753s |      16 |   219906 |   131652 |    13026     16 |        0 |        0
756.17/756.32	c  755s |      16 |   220842 |   132452 |    13026     16 |        0 |        0
758.16/758.35	c  757s |      16 |   221510 |   133052 |    13026     16 |        0 |        0
760.56/760.71	c  760s |      16 |   222186 |   133652 |    13026     16 |        0 |        0
762.86/763.03	c  762s |      16 |   222721 |   134152 |    13026     16 |        0 |        0
765.06/765.25	c  764s |      16 |   223289 |   134652 |    13026     16 |        0 |        0
767.56/767.76	c  767s |      16 |   223852 |   135152 |    13026     16 |        0 |        0
770.05/770.27	c  769s |      16 |   224391 |   135652 |    13026     16 |        0 |        0
772.26/772.42	c  771s |      16 |   224862 |   136052 |    13026     16 |        0 |        0
774.56/774.72	c  774s |      16 |   225432 |   136552 |    13026     16 |        0 |        0
776.85/777.03	c  776s |      16 |   225873 |   136952 |    13026     16 |        0 |        0
779.25/779.40	c  778s |      16 |   226293 |   137352 |    13026     16 |        0 |        0
781.55/781.74	c  781s |      16 |   226747 |   137752 |    13026     16 |        0 |        0
783.95/784.18	c  783s |      16 |   227180 |   138152 |    13026     16 |        0 |        0
786.54/786.73	c  786s |      16 |   227614 |   138552 |    13026     16 |        0 |        0
788.65/788.82	c  788s |      16 |   227933 |   138852 |    13026     16 |        0 |        0
790.64/790.85	c  790s |      16 |   228264 |   139152 |    13026     16 |        0 |        0
792.84/793.00	c  792s |      16 |   228594 |   139452 |    13026     16 |        0 |        0
794.84/795.07	c  794s |      16 |   228925 |   139752 |    13026     16 |        0 |        0
797.04/797.20	c  796s |      16 |   229249 |   140052 |    13026     16 |        0 |        0
799.24/799.46	c  798s |      16 |   229567 |   140352 |    13026     16 |        0 |        0
801.33/801.57	c  800s |      16 |   229896 |   140652 |    13026     16 |        0 |        0
803.54/803.76	c  803s |      16 |   230207 |   140952 |    13026     16 |        0 |        0
805.84/806.01	c  805s |      16 |   230533 |   141252 |    13026     16 |        0 |        0
808.34/808.55	c  807s |      16 |   230847 |   141552 |    13026     16 |        0 |        0
810.73/810.94	c  810s |      16 |   231178 |   141852 |    13026     16 |        0 |        0
812.84/813.03	c  812s |      16 |   231498 |   142152 |    13026     16 |        0 |        0
815.23/815.44	c  814s |      16 |   231933 |   142552 |    13026     16 |        0 |        0
817.23/817.46	c  816s |      16 |   232247 |   142852 |    13026     16 |        0 |        0
819.53/819.78	c  819s |      16 |   232568 |   143152 |    13026     16 |        0 |        0
821.64/821.82	c  821s |      16 |   232884 |   143452 |    13026     16 |        0 |        0
824.33/824.58	c  823s |      16 |   233325 |   143852 |    13026     16 |        0 |        0
826.52/826.74	c  826s |      16 |   233639 |   144152 |    13026     16 |        0 |        0
828.62/828.85	c  828s |      16 |   233961 |   144452 |    13026     16 |        0 |        0
830.72/830.97	c  830s |      16 |   234289 |   144752 |    13026     16 |        0 |        0
833.12/833.38	c  832s |      16 |   234883 |   145252 |    13026     16 |        0 |        0
836.82/837.08	c  836s |      16 |   235342 |   145652 |    13026     17 |        0 |        0
839.42/839.63	c  839s |      16 |   235797 |   146052 |    13026     17 |        0 |        0
842.12/842.30	c  841s |      16 |   236235 |   146452 |    13026     17 |        0 |        0
844.31/844.57	c  843s |      16 |   236553 |   146752 |    13026     17 |        0 |        0
846.51/846.78	c  846s |      16 |   236880 |   147052 |    13026     17 |        0 |        0
848.71/848.91	c  848s |      16 |   237208 |   147352 |    13026     17 |        0 |        0
851.02/851.20	c  850s |      16 |   237535 |   147652 |    13026     17 |        0 |        0
853.01/853.23	c  852s |      16 |   237863 |   147952 |    13026     17 |        0 |        0
855.01/855.25	c  854s |      16 |   238187 |   148252 |    13026     17 |        0 |        0
857.01/857.27	c  856s |      16 |   238508 |   148552 |    13026     17 |        0 |        0
859.11/859.32	c  858s |      16 |   238839 |   148852 |    13026     17 |        0 |        0
861.31/861.59	c  861s |      16 |   239144 |   149152 |    13026     17 |        0 |        0
863.51/863.79	c  863s |      16 |   239464 |   149452 |    13026     17 |        0 |        0
865.91/866.17	c  865s |      16 |   239783 |   149752 |    13026     17 |        0 |        0
868.50/868.77	c  868s |      16 |   240133 |   150052 |    13026     17 |        0 |        0
870.91/871.17	c  870s |      16 |   240452 |   150352 |    13026     17 |        0 |        0
873.31/873.56	c  872s |      16 |   240774 |   150652 |    13026     17 |        0 |        0
875.90/876.11	c  875s |      16 |   241117 |   150952 |    13026     17 |        0 |        0
877.90/878.19	c  877s |      16 |   241345 |   151152 |    13026     17 |        0 |        0
880.70/880.94	c  880s |      16 |   241654 |   151452 |    13026     17 |        0 |        0
883.00/883.30	c  882s |      16 |   241996 |   151752 |    13026     17 |        0 |        0
885.30/885.58	c  884s |      16 |   242329 |   152052 |    13026     17 |        0 |        0
887.79/888.01	c  887s |      16 |   242659 |   152352 |    13026     17 |        0 |        0
890.49/890.77	c  890s |      16 |   243017 |   152652 |    13026     17 |        0 |        0
893.29/893.58	c  892s |      16 |   243357 |   152952 |    13026     17 |        0 |        0
896.20/896.43	c  895s |      16 |   243690 |   153252 |    13026     17 |        0 |        0
898.99/899.21	c  898s |      16 |   244013 |   153552 |    13026     17 |        0 |        0
901.69/901.93	c  901s |      16 |   244357 |   153852 |    13026     17 |        0 |        0
904.39/904.69	c  904s |      16 |   244678 |   154152 |    13026     17 |        0 |        0
907.09/907.37	c  906s |      16 |   244985 |   154452 |    13026     17 |        0 |        0
909.79/910.09	c  909s |      16 |   245304 |   154752 |    13026     17 |        0 |        0
912.59/912.87	c  912s |      16 |   245624 |   155052 |    13026     17 |        0 |        0
915.10/915.34	c  914s |      16 |   245924 |   155352 |    13026     17 |        0 |        0
917.58/917.82	c  917s |      16 |   246256 |   155652 |    13026     17 |        0 |        0
919.89/920.17	c  919s |      16 |   246576 |   155952 |    13026     17 |        0 |        0
923.59/923.81	c  923s |      16 |   246905 |   156252 |    13026     18 |        0 |        0
926.78/927.02	c  926s |      16 |   247008 |   156352 |    13026     18 |        0 |        0
928.98/929.26	c  928s |      16 |   247321 |   156652 |    13026     18 |        0 |        0
931.18/931.49	c  930s |      16 |   247641 |   156952 |    13026     18 |        0 |        0
933.58/933.84	c  933s |      16 |   247971 |   157252 |    13026     18 |        0 |        0
936.08/936.34	c  935s |      16 |   248292 |   157552 |    13026     18 |        0 |        0
938.37/938.65	c  938s |      16 |   248615 |   157852 |    13026     18 |        0 |        0
940.78/941.01	c  940s |      16 |   248943 |   158152 |    13026     18 |        0 |        0
943.08/943.38	c  942s |      16 |   249247 |   158452 |    13026     18 |        0 |        0
945.58/945.86	c  945s |      16 |   249583 |   158752 |    13026     18 |        0 |        0
947.87/948.20	c  947s |      16 |   249926 |   159052 |    13026     18 |        0 |        0
950.18/950.41	c  949s |      16 |   250239 |   159352 |    13026     18 |        0 |        0
952.57/952.80	c  952s |      16 |   250564 |   159652 |    13026     18 |        0 |        0
954.77/955.02	c  954s |      16 |   250898 |   159952 |    13026     18 |        0 |        0
956.87/957.15	c  956s |      16 |   251362 |   160352 |    13026     18 |        0 |        0
959.27/959.55	c  958s |      16 |   251934 |   160852 |    13026     18 |        0 |        0
961.47/961.79	c  961s |      16 |   252260 |   161152 |    13026     18 |        0 |        0
963.97/964.22	c  963s |      16 |   252571 |   161452 |    13026     18 |        0 |        0
966.47/966.76	c  966s |      16 |   252896 |   161752 |    13026     18 |        0 |        0
969.07/969.30	c  968s |      16 |   253214 |   162052 |    13026     18 |        0 |        0
971.57/971.85	c  971s |      16 |   253545 |   162352 |    13026     18 |        0 |        0
974.07/974.35	c  973s |      16 |   253871 |   162652 |    13026     18 |        0 |        0
976.06/976.39	c  975s |      16 |   254072 |   162852 |    13026     18 |        0 |        0
978.76/979.01	c  978s |      16 |   254392 |   163152 |    13026     18 |        0 |        0
981.57/981.85	c  981s |      16 |   254710 |   163452 |    13026     18 |        0 |        0
983.66/983.98	c  983s |      16 |   254924 |   163652 |    13026     18 |        0 |        0
986.06/986.35	c  985s |      16 |   255137 |   163852 |    13026     18 |        0 |        0
988.66/988.99	c  988s |      16 |   255455 |   164152 |    13026     18 |        0 |        0
991.36/991.67	c  991s |      16 |   255781 |   164452 |    13026     18 |        0 |        0
993.76/994.05	c  993s |      16 |   256137 |   164752 |    13026     18 |        0 |        0
996.06/996.39	c  995s |      16 |   256521 |   165052 |    13026     18 |        0 |        0
998.85/999.10	c  998s |      16 |   256888 |   165352 |    13026     18 |        0 |        0
1001.15/1001.47	c 1000s |      16 |   257232 |   165652 |    13026     18 |        0 |        0
1003.55/1003.81	c 1003s |      16 |   257575 |   165952 |    13026     18 |        0 |        0
1006.05/1006.35	c 1005s |      16 |   257917 |   166252 |    13026     18 |        0 |        0
1008.45/1008.73	c 1008s |      16 |   258252 |   166552 |    13026     18 |        0 |        0
1010.55/1010.87	c 1010s |      16 |   258356 |   166652 |    13026     19 |        0 |        0
1012.54/1012.88	c 1012s |      16 |   258585 |   166852 |    13026     19 |        0 |        0
1015.05/1015.37	c 1014s |      16 |   259041 |   167252 |    13026     19 |        0 |        0
1017.74/1018.00	c 1017s |      16 |   259476 |   167652 |    13026     19 |        0 |        0
1019.84/1020.15	c 1019s |      16 |   259810 |   167952 |    13026     19 |        0 |        0
1021.94/1022.25	c 1021s |      16 |   260145 |   168252 |    13026     19 |        0 |        0
1024.24/1024.59	c 1024s |      16 |   260470 |   168552 |    13026     19 |        0 |        0
1026.73/1027.05	c 1026s |      16 |   260799 |   168852 |    13026     19 |        0 |        0
1029.04/1029.36	c 1028s |      16 |   261266 |   169252 |    13026     19 |        0 |        0
1031.14/1031.40	c 1030s |      16 |   261602 |   169552 |    13026     19 |        0 |        0
1033.44/1033.70	c 1033s |      16 |   261927 |   169852 |    13026     19 |        0 |        0
1035.54/1035.86	c 1035s |      16 |   262251 |   170152 |    13026     19 |        0 |        0
1037.83/1038.15	c 1037s |      16 |   262587 |   170452 |    13026     19 |        0 |        0
1040.54/1040.80	c 1040s |      16 |   263046 |   170852 |    13026     19 |        0 |        0
1042.73/1043.01	c 1042s |      16 |   263382 |   171152 |    13026     19 |        0 |        0
1045.14/1045.44	c 1044s |      16 |   263690 |   171452 |    13026     19 |        0 |        0
1047.63/1047.91	c 1047s |      16 |   264019 |   171752 |    13026     19 |        0 |        0
1049.93/1050.22	c 1049s |      16 |   264347 |   172052 |    13026     19 |        0 |        0
1052.03/1052.31	c 1051s |      16 |   264664 |   172352 |    13026     19 |        0 |        0
1054.32/1054.63	c 1054s |      16 |   265127 |   172752 |    13026     19 |        0 |        0
1056.93/1057.24	c 1056s |      16 |   265574 |   173152 |    13026     19 |        0 |        0
1059.03/1059.34	c 1058s |      16 |   265903 |   173452 |    13026     19 |        0 |        0
1061.33/1061.61	c 1061s |      16 |   266214 |   173752 |    13026     19 |        0 |        0
1063.93/1064.28	c 1063s |      16 |   266548 |   174052 |    13026     19 |        0 |        0
1066.42/1066.76	c 1066s |      16 |   266863 |   174352 |    13026     19 |        0 |        0
1069.12/1069.41	c 1068s |      16 |   267188 |   174652 |    13026     19 |        0 |        0
1071.82/1072.11	c 1071s |      16 |   267520 |   174952 |    13026     19 |        0 |        0
1074.52/1074.82	c 1074s |      16 |   267834 |   175252 |    13026     19 |        0 |        0
1077.01/1077.35	c 1076s |      16 |   268165 |   175552 |    13026     19 |        0 |        0
1079.21/1079.50	c 1078s |      16 |   268507 |   175852 |    13026     19 |        0 |        0
1081.41/1081.72	c 1081s |      16 |   268843 |   176152 |    13026     19 |        0 |        0
1084.01/1084.37	c 1083s |      16 |   269299 |   176552 |    13026     19 |        0 |        0
1086.31/1086.68	c 1086s |      16 |   269637 |   176852 |    13026     19 |        0 |        0
1090.21/1090.50	c 1089s |      16 |   269952 |   177152 |    13026     20 |        0 |        0
1092.91/1093.21	c 1092s |      16 |   270275 |   177452 |    13026     20 |        0 |        0
1095.61/1095.93	c 1095s |      16 |   270712 |   177852 |    13026     20 |        0 |        0
1098.01/1098.39	c 1097s |      16 |   271052 |   178152 |    13026     20 |        0 |        0
1100.30/1100.63	c 1100s |      16 |   271374 |   178452 |    13026     20 |        0 |        0
1102.41/1102.70	c 1102s |      16 |   271701 |   178752 |    13026     20 |        0 |        0
1104.40/1104.75	c 1104s |      16 |   272017 |   179052 |    13026     20 |        0 |        0
1106.42/1106.78	c 1106s |      16 |   272337 |   179352 |    13026     20 |        0 |        0
1108.40/1108.80	c 1108s |      16 |   272658 |   179652 |    13026     20 |        0 |        0
1110.60/1110.96	c 1110s |      16 |   272985 |   179952 |    13026     20 |        0 |        0
1112.91/1113.25	c 1112s |      16 |   273302 |   180252 |    13026     20 |        0 |        0
1115.30/1115.67	c 1115s |      16 |   273624 |   180552 |    13026     20 |        0 |        0
1117.41/1117.80	c 1117s |      16 |   273962 |   180852 |    13026     20 |        0 |        0
1119.70/1120.06	c 1119s |      16 |   274297 |   181152 |    13026     20 |        0 |        0
1122.10/1122.45	c 1121s |      16 |   274616 |   181452 |    13026     20 |        0 |        0
1124.50/1124.85	c 1124s |      16 |   274931 |   181752 |    13026     20 |        0 |        0
1126.90/1127.26	c 1126s |      16 |   275253 |   182052 |    13026     20 |        0 |        0
1128.99/1129.33	c 1128s |      16 |   275581 |   182352 |    13026     20 |        0 |        0
1131.50/1131.88	c 1131s |      16 |   275906 |   182652 |    13026     20 |        0 |        0
1134.00/1134.33	c 1133s |      16 |   276220 |   182952 |    13026     20 |        0 |        0
1136.49/1136.82	c 1136s |      16 |   276527 |   183252 |    13026     20 |        0 |        0
1138.89/1139.20	c 1138s |      16 |   276847 |   183552 |    13026     20 |        0 |        0
1140.99/1141.31	c 1140s |      16 |   277171 |   183852 |    13026     20 |        0 |        0
1142.99/1143.33	c 1142s |      16 |   277277 |   183952 |    13026     20 |        0 |        0
1145.50/1145.88	c 1145s |      16 |   277590 |   184252 |    13026     20 |        0 |        0
1147.99/1148.37	c 1147s |      16 |   277923 |   184552 |    13026     20 |        0 |        0
1150.49/1150.82	c 1150s |      16 |   278247 |   184852 |    13026     20 |        0 |        0
1153.09/1153.48	c 1152s |      16 |   278564 |   185152 |    13026     20 |        0 |        0
1155.19/1155.52	c 1154s |      16 |   278777 |   185352 |    13026     20 |        0 |        0
1157.39/1157.70	c 1157s |      16 |   278994 |   185552 |    13026     20 |        0 |        0
1159.99/1160.35	c 1159s |      16 |   279309 |   185852 |    13026     20 |        0 |        0
1162.59/1162.92	c 1162s |      16 |   279627 |   186152 |    13026     20 |        0 |        0
1165.39/1165.72	c 1165s |      16 |   279954 |   186452 |    13026     20 |        0 |        0
1167.90/1168.29	c 1167s |      16 |   280275 |   186752 |    13026     20 |        0 |        0
1170.89/1171.29	c 1170s |      16 |   280593 |   187052 |    13026     20 |        0 |        0
1172.88/1173.29	c 1172s |      16 |   280804 |   187252 |    13026     20 |        0 |        0
1175.08/1175.40	c 1174s |      16 |   281020 |   187452 |    13026     20 |        0 |        0
1178.79/1179.11	c 1178s |      16 |   281233 |   187652 |    13026     21 |        0 |        0
1180.88/1181.21	c 1180s |      16 |   281578 |   187952 |    13026     21 |        0 |        0
1182.98/1183.35	c 1182s |      16 |   281896 |   188252 |    13026     21 |        0 |        0
1185.38/1185.71	c 1185s |      16 |   282215 |   188552 |    13026     21 |        0 |        0
1187.88/1188.29	c 1187s |      16 |   282535 |   188852 |    13026     21 |        0 |        0
1190.18/1190.57	c 1189s |      16 |   282747 |   189052 |    13026     21 |        0 |        0
1192.97/1193.31	c 1192s |      16 |   283055 |   189352 |    13026     21 |        0 |        0
1194.97/1195.32	c 1194s |      16 |   283271 |   189552 |    13026     21 |        0 |        0
1197.77/1198.17	c 1197s |      16 |   283595 |   189852 |    13026     21 |        0 |        0
1200.67/1201.08	c 1200s |      16 |   283920 |   190152 |    13026     21 |        0 |        0
1203.37/1203.78	c 1203s |      16 |   284235 |   190452 |    13026     21 |        0 |        0
1205.77/1206.15	c 1205s |      16 |   284554 |   190752 |    13026     21 |        0 |        0
1208.07/1208.48	c 1207s |      16 |   284881 |   191052 |    13026     21 |        0 |        0
1210.47/1210.86	c 1210s |      16 |   285202 |   191352 |    13026     21 |        0 |        0
1213.17/1213.54	c 1212s |      16 |   285523 |   191652 |    13026     21 |        0 |        0
1216.17/1216.54	c 1215s |      16 |   285828 |   191952 |    13026     21 |        0 |        0
1219.16/1219.58	c 1218s |      16 |   286173 |   192252 |    13026     21 |        0 |        0
1221.36/1221.78	c 1221s |      16 |   286506 |   192552 |    13026     21 |        0 |        0
1223.77/1224.18	c 1223s |      16 |   286817 |   192852 |    13026     21 |        0 |        0
1226.17/1226.59	c 1226s |      16 |   287141 |   193152 |    13026     21 |        0 |        0
1228.76/1229.12	c 1228s |      16 |   287462 |   193452 |    13026     21 |        0 |        0
1231.46/1231.85	c 1231s |      16 |   287804 |   193752 |    13026     21 |        0 |        0
1234.36/1234.74	c 1234s |      16 |   288132 |   194052 |    13026     21 |        0 |        0
1237.17/1237.51	c 1236s |      16 |   288450 |   194352 |    13026     21 |        0 |        0
1240.06/1240.41	c 1239s |      16 |   288780 |   194652 |    13026     21 |        0 |        0
1242.05/1242.44	c 1241s |      16 |   288990 |   194852 |    13026     21 |        0 |        0
1244.36/1244.79	c 1244s |      16 |   289313 |   195152 |    13026     21 |        0 |        0
1246.75/1247.15	c 1246s |      16 |   289629 |   195452 |    13026     21 |        0 |        0
1249.05/1249.47	c 1248s |      16 |   289953 |   195752 |    13026     21 |        0 |        0
1251.36/1251.76	c 1251s |      16 |   290265 |   196052 |    14329     21 |        0 |        0
1254.25/1254.66	c 1254s |      16 |   290581 |   196352 |    14329     21 |        0 |        0
1256.85/1257.29	c 1256s |      16 |   290898 |   196652 |    14329     21 |        0 |        0
1259.65/1260.09	c 1259s |      16 |   291225 |   196952 |    14329     21 |        0 |        0
1262.25/1262.66	c 1262s |      16 |   291534 |   197252 |    14329     21 |        0 |        0
1264.05/1264.40	c 1263s |      17 |   291722 |   197432 |    14329     21 |        0 |        0
1267.45/1267.89	c 1267s |      17 |   294677 |   197532 |    14329     22 |        0 |        0
1269.95/1270.32	c 1269s |      17 |   295446 |   198132 |    14329     22 |        0 |        0
1272.24/1272.69	c 1272s |      17 |   296038 |   198632 |    14329     22 |        0 |        0
1274.84/1275.23	c 1274s |      17 |   296603 |   199132 |    14329     22 |        0 |        0
1277.14/1277.55	c 1276s |      17 |   297042 |   199532 |    14329     22 |        0 |        0
1279.24/1279.62	c 1279s |      17 |   297530 |   199932 |    14329     22 |        0 |        0
1281.54/1281.91	c 1281s |      17 |   297984 |   200332 |    14329     22 |        0 |        0
1284.05/1284.42	c 1283s |      17 |   298421 |   200732 |    14329     22 |        0 |        0
1286.04/1286.47	c 1285s |      17 |   298723 |   201032 |    14329     22 |        0 |        0
1288.74/1289.12	c 1288s |      17 |   299174 |   201432 |    14329     22 |        0 |        0
1291.34/1291.72	c 1291s |      17 |   299622 |   201832 |    14329     22 |        0 |        0
1293.34/1293.74	c 1293s |      17 |   299939 |   202132 |    14329     22 |        0 |        0
1295.54/1295.95	c 1295s |      17 |   300256 |   202432 |    14329     22 |        0 |        0
1297.84/1298.22	c 1297s |      17 |   300585 |   202732 |    14329     22 |        0 |        0
1300.23/1300.62	c 1300s |      17 |   301050 |   203132 |    14329     22 |        0 |        0
1302.23/1302.63	c 1302s |      17 |   301381 |   203432 |    14329     22 |        0 |        0
1304.43/1304.85	c 1304s |      17 |   301706 |   203732 |    14329     22 |        0 |        0
1306.72/1307.10	c 1306s |      17 |   302037 |   204032 |    14329     22 |        0 |        0
1308.92/1309.35	c 1308s |      17 |   302376 |   204332 |    14329     22 |        0 |        0
1311.23/1311.60	c 1311s |      17 |   302703 |   204632 |    14329     22 |        0 |        0
1313.33/1313.74	c 1313s |      17 |   303050 |   204932 |    14329     22 |        0 |        0
1315.62/1316.02	c 1315s |      17 |   303521 |   205332 |    14329     22 |        0 |        0
1317.62/1318.08	c 1317s |      17 |   303867 |   205632 |    14329     22 |        0 |        0
1320.02/1320.46	c 1319s |      17 |   304224 |   205932 |    14329     22 |        0 |        0
1322.23/1322.62	c 1322s |      17 |   304557 |   206232 |    14329     22 |        0 |        0
1324.22/1324.66	c 1324s |      17 |   304888 |   206532 |    14329     22 |        0 |        0
1326.92/1327.34	c 1326s |      17 |   305333 |   206932 |    14329     22 |        0 |        0
1329.02/1329.41	c 1328s |      17 |   305651 |   207232 |    14329     22 |        0 |        0
1331.41/1331.82	c 1331s |      17 |   306002 |   207532 |    14329     22 |        0 |        0
1333.72/1334.17	c 1333s |      17 |   306327 |   207832 |    14329     22 |        0 |        0
1336.52/1336.93	c 1336s |      17 |   306649 |   208132 |    14329     22 |        0 |        0
1339.11/1339.56	c 1338s |      17 |   307005 |   208432 |    14329     22 |        0 |        0
1341.72/1342.10	c 1341s |      17 |   307353 |   208732 |    14329     22 |        0 |        0
1344.22/1344.62	c 1344s |      17 |   307677 |   209032 |    14329     22 |        0 |        0
1347.01/1347.43	c 1346s |      17 |   307999 |   209332 |    14329     22 |        0 |        0
1350.11/1350.56	c 1349s |      17 |   308206 |   209532 |    14329     23 |        0 |        0
1352.80/1353.29	c 1352s |      17 |   308543 |   209832 |    14329     23 |        0 |        0
1355.30/1355.73	c 1355s |      17 |   308869 |   210132 |    14329     23 |        0 |        0
1357.70/1358.10	c 1357s |      17 |   309201 |   210432 |    14329     23 |        0 |        0
1359.90/1360.30	c 1359s |      17 |   309557 |   210732 |    14329     23 |        0 |        0
1362.40/1362.84	c 1362s |      17 |   309885 |   211032 |    14329     23 |        0 |        0
1364.81/1365.28	c 1364s |      17 |   310234 |   211332 |    14329     23 |        0 |        0
1367.40/1367.88	c 1367s |      17 |   310571 |   211632 |    14329     23 |        0 |        0
1370.20/1370.69	c 1370s |      17 |   310906 |   211932 |    14329     23 |        0 |        0
1372.99/1373.46	c 1372s |      17 |   311219 |   212232 |    14329     23 |        0 |        0
1375.60/1376.01	c 1375s |      17 |   311561 |   212532 |    14329     23 |        0 |        0
1378.20/1378.69	c 1378s |      17 |   311877 |   212832 |    14329     23 |        0 |        0
1381.00/1381.41	c 1380s |      17 |   312225 |   213132 |    14329     23 |        0 |        0
1383.50/1383.92	c 1383s |      17 |   312564 |   213432 |    14329     23 |        0 |        0
1385.99/1386.46	c 1385s |      17 |   312892 |   213732 |    14329     23 |        0 |        0
1388.29/1388.77	c 1388s |      17 |   313205 |   214032 |    14329     23 |        0 |        0
1390.89/1391.34	c 1390s |      17 |   313537 |   214332 |    14329     23 |        0 |        0
1393.49/1393.91	c 1393s |      17 |   313857 |   214632 |    14329     23 |        0 |        0
1395.89/1396.39	c 1395s |      17 |   314195 |   214932 |    14329     23 |        0 |        0
1398.19/1398.66	c 1398s |      17 |   314397 |   215132 |    14329     23 |        0 |        0
1401.19/1401.62	c 1401s |      17 |   314732 |   215432 |    14329     23 |        0 |        0
1404.09/1404.50	c 1403s |      17 |   315067 |   215732 |    14329     23 |        0 |        0
1406.79/1407.22	c 1406s |      17 |   315385 |   216032 |    14329     23 |        0 |        0
1409.39/1409.84	c 1409s |      17 |   315706 |   216332 |    14329     23 |        0 |        0
1411.89/1412.32	c 1411s |      17 |   316026 |   216632 |    14329     23 |        0 |        0
1414.30/1414.72	c 1414s |      17 |   316346 |   216932 |    14329     23 |        0 |        0
1416.88/1417.32	c 1416s |      17 |   316702 |   217232 |    14329     23 |        0 |        0
1419.38/1419.88	c 1419s |      17 |   317055 |   217532 |    14329     23 |        0 |        0
1421.68/1422.19	c 1421s |      17 |   317410 |   217832 |    14329     23 |        0 |        0
1424.19/1424.65	c 1424s |      17 |   317772 |   218132 |    14329     23 |        0 |        0
1426.18/1426.68	c 1426s |      17 |   318125 |   218432 |    14329     23 |        0 |        0
1428.78/1429.28	c 1428s |      17 |   318578 |   218832 |    14329     23 |        0 |        0
1431.47/1431.92	c 1431s |      17 |   319032 |   219232 |    14329     23 |        0 |        0
1434.18/1434.63	c 1434s |      17 |   319470 |   219632 |    14329     23 |        0 |        0
1436.38/1436.87	c 1436s |      17 |   319814 |   219932 |    14329     23 |        0 |        0
1438.87/1439.36	c 1438s |      17 |   320148 |   220232 |    14329     23 |        0 |        0
1441.28/1441.73	c 1441s |      17 |   320483 |   220532 |    14329     23 |        0 |        0
1444.98/1445.44	c 1444s |      17 |   320700 |   220732 |    14329     24 |        0 |        0
1447.18/1447.66	c 1447s |      17 |   321020 |   221032 |    14329     24 |        0 |        0
1449.58/1450.08	c 1449s |      17 |   321373 |   221332 |    14329     24 |        0 |        0
1451.68/1452.16	c 1451s |      17 |   321699 |   221632 |    14329     24 |        0 |        0
1454.17/1454.63	c 1454s |      17 |   322174 |   222032 |    14329     24 |        0 |        0
1457.08/1457.52	c 1456s |      17 |   322597 |   222432 |    14329     24 |        0 |        0
1459.17/1459.68	c 1459s |      17 |   322920 |   222732 |    14329     24 |        0 |        0
1461.67/1462.13	c 1461s |      17 |   323257 |   223032 |    14329     24 |        0 |        0
1464.28/1464.78	c 1464s |      17 |   323587 |   223332 |    14329     24 |        0 |        0
1466.87/1467.40	c 1466s |      17 |   323904 |   223632 |    14329     24 |        0 |        0
1468.97/1469.48	c 1468s |      17 |   324237 |   223932 |    14329     24 |        0 |        0
1472.67/1473.17	c 1472s |      17 |   324477 |   224132 |    14329     24 |        0 |        0
1475.36/1475.84	c 1475s |      17 |   324817 |   224432 |    14329     24 |        0 |        0
1477.87/1478.39	c 1477s |      17 |   325154 |   224732 |    14329     24 |        0 |        0
1480.67/1481.12	c 1480s |      17 |   325459 |   225032 |    14329     24 |        0 |        0
1483.57/1484.03	c 1483s |      17 |   325791 |   225332 |    14329     24 |        0 |        0
1486.07/1486.54	c 1485s |      17 |   326122 |   225632 |    14329     24 |        0 |        0
1488.56/1489.05	c 1488s |      17 |   326449 |   225932 |    14329     24 |        0 |        0
1491.06/1491.60	c 1491s |      17 |   326773 |   226232 |    14329     24 |        0 |        0
1493.56/1494.02	c 1493s |      17 |   327100 |   226532 |    14329     24 |        0 |        0
1495.67/1496.16	c 1495s |      17 |   327431 |   226832 |    14329     24 |        0 |        0
1498.16/1498.64	c 1498s |      17 |   327744 |   227132 |    14329     24 |        0 |        0
1500.66/1501.18	c 1500s |      17 |   328074 |   227432 |    14329     24 |        0 |        0
1503.45/1503.90	c 1503s |      17 |   328396 |   227732 |    14329     24 |        0 |        0
1506.16/1506.60	c 1506s |      17 |   328724 |   228032 |    14329     24 |        0 |        0
1508.65/1509.14	c 1508s |      17 |   329067 |   228332 |    14329     24 |        0 |        0
1510.65/1511.19	c 1510s |      17 |   329284 |   228532 |    14329     24 |        0 |        0
1512.86/1513.37	c 1512s |      17 |   329494 |   228732 |    14329     24 |        0 |        0
1514.95/1515.41	c 1514s |      17 |   329713 |   228932 |    14329     24 |        0 |        0
1517.86/1518.38	c 1517s |      17 |   330047 |   229232 |    14329     24 |        0 |        0
1520.65/1521.15	c 1520s |      17 |   330363 |   229532 |    14329     24 |        0 |        0
1522.65/1523.19	c 1522s |      17 |   330573 |   229732 |    14329     24 |        0 |        0
1524.95/1525.43	c 1524s |      17 |   330773 |   229932 |    14329     24 |        0 |        0
1526.95/1527.45	c 1526s |      17 |   330988 |   230132 |    14329     24 |        0 |        0
1529.85/1530.30	c 1529s |      17 |   331307 |   230432 |    14329     24 |        0 |        0
1532.56/1533.05	c 1532s |      17 |   331631 |   230732 |    14329     24 |        0 |        0
1534.95/1535.49	c 1534s |      17 |   331941 |   231032 |    14329     24 |        0 |        0
1537.46/1537.97	c 1537s |      17 |   332409 |   231432 |    14329     24 |        0 |        0
1540.45/1540.91	c 1540s |      17 |   332801 |   231732 |    14329     24 |        0 |        0
1543.35/1543.89	c 1543s |      17 |   332929 |   231832 |    14329     25 |        0 |        0
1545.95/1546.49	c 1545s |      17 |   333427 |   232232 |    14329     25 |        0 |        0
1548.15/1548.65	c 1548s |      17 |   333826 |   232532 |    14329     25 |        0 |        0
1550.75/1551.28	c 1550s |      17 |   334293 |   232932 |    14329     25 |        0 |        0
1553.15/1553.65	c 1553s |      17 |   334619 |   233232 |    14329     25 |        0 |        0
1555.45/1555.93	c 1555s |      17 |   334968 |   233532 |    14329     25 |        0 |        0
1557.64/1558.11	c 1557s |      17 |   335322 |   233832 |    14329     25 |        0 |        0
1560.04/1560.59	c 1560s |      17 |   335663 |   234132 |    14329     25 |        0 |        0
1562.44/1562.95	c 1562s |      17 |   335987 |   234432 |    14329     25 |        0 |        0
1565.15/1565.64	c 1565s |      17 |   336312 |   234732 |    14329     25 |        0 |        0
1567.24/1567.79	c 1567s |      17 |   336677 |   235032 |    14329     25 |        0 |        0
1569.54/1570.00	c 1569s |      17 |   336997 |   235332 |    14329     25 |        0 |        0
1571.64/1572.16	c 1571s |      17 |   337347 |   235632 |    14329     25 |        0 |        0
1574.34/1574.89	c 1574s |      17 |   337793 |   236032 |    14329     25 |        0 |        0
1576.84/1577.37	c 1576s |      17 |   338120 |   236332 |    14329     25 |        0 |        0
1579.44/1579.95	c 1579s |      17 |   338441 |   236632 |    14329     25 |        0 |        0
1582.04/1582.55	c 1581s |      17 |   338769 |   236932 |    14329     25 |        0 |        0
1584.53/1585.08	c 1584s |      17 |   339139 |   237232 |    14329     25 |        0 |        0
1587.23/1587.75	c 1587s |      17 |   339463 |   237532 |    14329     25 |        0 |        0
1589.73/1590.28	c 1589s |      17 |   339816 |   237832 |    14329     25 |        0 |        0
1592.14/1592.64	c 1592s |      17 |   340146 |   238132 |    14329     25 |        0 |        0
1594.53/1595.05	c 1594s |      17 |   340475 |   238432 |    14329     25 |        0 |        0
1596.84/1597.33	c 1596s |      17 |   340800 |   238732 |    14329     25 |        0 |        0
1599.53/1600.07	c 1599s |      17 |   341122 |   239032 |    14329     25 |        0 |        0
1601.92/1602.44	c 1601s |      17 |   341336 |   239232 |    14329     25 |        0 |        0
1604.73/1605.21	c 1604s |      17 |   341667 |   239532 |    14329     25 |        0 |        0
1607.23/1607.71	c 1607s |      17 |   341990 |   239832 |    14329     25 |        0 |        0
1609.52/1610.00	c 1609s |      17 |   342319 |   240132 |    14329     25 |        0 |        0
1611.62/1612.12	c 1611s |      17 |   342644 |   240432 |    14329     25 |        0 |        0
1613.92/1614.42	c 1613s |      17 |   342980 |   240732 |    14329     25 |        0 |        0
1616.32/1616.86	c 1616s |      17 |   343319 |   241032 |    14329     25 |        0 |        0
1618.92/1619.43	c 1618s |      17 |   343642 |   241332 |    14329     25 |        0 |        0
1621.52/1622.08	c 1621s |      17 |   343950 |   241632 |    14329     25 |        0 |        0
1624.33/1624.89	c 1624s |      17 |   344284 |   241932 |    14329     25 |        0 |        0
1627.02/1627.60	c 1627s |      17 |   344597 |   242232 |    14329     25 |        0 |        0
1629.82/1630.31	c 1629s |      17 |   344957 |   242532 |    14329     25 |        0 |        0
1632.42/1632.91	c 1632s |      17 |   345266 |   242832 |    14329     25 |        0 |        0
1635.01/1635.58	c 1634s |      17 |   345383 |   242932 |    14329     26 |        0 |        0
1637.42/1637.98	c 1637s |      17 |   345704 |   243232 |    14329     26 |        0 |        0
1639.42/1639.99	c 1639s |      17 |   345910 |   243432 |    14329     26 |        0 |        0
1642.41/1642.95	c 1642s |      17 |   346235 |   243732 |    14329     26 |        0 |        0
1644.51/1645.10	c 1644s |      17 |   346449 |   243932 |    14329     26 |        0 |        0
1647.42/1647.99	c 1647s |      17 |   346773 |   244232 |    14329     26 |        0 |        0
1649.71/1650.20	c 1649s |      17 |   346978 |   244432 |    14329     26 |        0 |        0
1652.12/1652.69	c 1652s |      17 |   347300 |   244732 |    14329     26 |        0 |        0
1654.41/1654.97	c 1654s |      17 |   347610 |   245032 |    14329     26 |        0 |        0
1657.32/1657.88	c 1657s |      17 |   347962 |   245332 |    14329     26 |        0 |        0
1660.11/1660.67	c 1660s |      17 |   348286 |   245632 |    14329     26 |        0 |        0
1663.41/1663.93	c 1663s |      17 |   348627 |   245932 |    14329     26 |        0 |        0
1666.02/1666.59	c 1666s |      17 |   349055 |   246332 |    14329     26 |        0 |        0
1668.70/1669.28	c 1668s |      17 |   349513 |   246732 |    14329     26 |        0 |        0
1670.90/1671.42	c 1670s |      17 |   349845 |   247032 |    14329     26 |        0 |        0
1673.41/1673.92	c 1673s |      17 |   350180 |   247332 |    14329     26 |        0 |        0
1676.01/1676.52	c 1675s |      17 |   350516 |   247632 |    14329     26 |        0 |        0
1678.40/1678.99	c 1678s |      17 |   350867 |   247932 |    14329     26 |        0 |        0
1680.90/1681.46	c 1680s |      17 |   351187 |   248232 |    14329     26 |        0 |        0
1683.41/1683.99	c 1683s |      17 |   351532 |   248532 |    14329     26 |        0 |        0
1685.82/1686.36	c 1685s |      17 |   351846 |   248832 |    14329     26 |        0 |        0
1688.60/1689.12	c 1688s |      17 |   352190 |   249132 |    14329     26 |        0 |        0
1690.91/1691.47	c 1690s |      17 |   352535 |   249432 |    14329     26 |        0 |        0
1693.81/1694.35	c 1693s |      17 |   352862 |   249732 |    14329     26 |        0 |        0
1696.70/1697.22	c 1696s |      17 |   353214 |   250032 |    14329     26 |        0 |        0
1699.40/1699.96	c 1699s |      17 |   353558 |   250332 |    14329     26 |        0 |        0
1702.20/1702.76	c 1702s |      17 |   353900 |   250632 |    14329     26 |        0 |        0
1705.10/1705.67	c 1705s |      17 |   354220 |   250932 |    14329     26 |        0 |        0
1707.70/1708.26	c 1707s |      17 |   354537 |   251232 |    14329     26 |        0 |        0
1710.30/1710.89	c 1710s |      17 |   354869 |   251532 |    14329     26 |        0 |        0
1712.80/1713.30	c 1712s |      17 |   355197 |   251832 |    14329     26 |        0 |        0
1715.09/1715.62	c 1715s |      17 |   355563 |   252132 |    14329     26 |        0 |        0
1717.80/1718.40	c 1717s |      17 |   355902 |   252432 |    14329     26 |        0 |        0
1719.91/1720.45	c 1719s |      17 |   356128 |   252632 |    14329     26 |        0 |        0
1722.00/1722.59	c 1722s |      17 |   356361 |   252832 |    14329     26 |        0 |        0
1724.90/1725.40	c 1724s |      17 |   356692 |   253132 |    14329     26 |        0 |        0
1727.39/1727.92	c 1727s |      17 |   357015 |   253432 |    14329     26 |        0 |        0
1730.19/1730.79	c 1730s |      17 |   357345 |   253732 |    14329     26 |        0 |        0
1735.09/1735.65	c 1735s |      17 |   357715 |   254032 |    14329     27 |        0 |        0
1737.88/1738.46	c 1737s |      17 |   358037 |   254332 |    14329     27 |        0 |        0
1740.39/1740.97	c 1740s |      17 |   358376 |   254632 |    14329     27 |        0 |        0
1742.79/1743.37	c 1742s |      17 |   358718 |   254932 |    14329     27 |        0 |        0
1745.29/1745.88	c 1745s |      17 |   359053 |   255232 |    14329     27 |        0 |        0
1747.49/1748.06	c 1747s |      17 |   359378 |   255532 |    14329     27 |        0 |        0
1749.60/1750.18	c 1749s |      17 |   359713 |   255832 |    14329     27 |        0 |        0
1752.09/1752.69	c 1752s |      17 |   360038 |   256132 |    14329     27 |        0 |        0
1754.29/1754.88	c 1754s |      17 |   360368 |   256432 |    14329     27 |        0 |        0
1756.98/1757.55	c 1756s |      17 |   360705 |   256732 |    14329     27 |        0 |        0
1759.88/1760.40	c 1759s |      17 |   361036 |   257032 |    14329     27 |        0 |        0
1762.69/1763.29	c 1762s |      17 |   361376 |   257332 |    14329     27 |        0 |        0
1765.48/1766.08	c 1765s |      17 |   361707 |   257632 |    14329     27 |        0 |        0
1767.48/1768.10	c 1767s |      17 |   361910 |   257832 |    14329     27 |        0 |        0
1770.49/1771.07	c 1770s |      17 |   362241 |   258132 |    14329     27 |        0 |        0
1772.88/1773.43	c 1772s |      17 |   362603 |   258432 |    14329     27 |        0 |        0
1775.37/1775.93	c 1775s |      17 |   362931 |   258732 |    14329     27 |        0 |        0
1777.97/1778.57	c 1777s |      17 |   363264 |   259032 |    14329     27 |        0 |        0
1781.07/1781.61	c 1781s |      17 |   363605 |   259332 |    14329     27 |        0 |        0
1783.07/1783.66	c 1783s |      17 |   363815 |   259532 |    14329     27 |        0 |        0
1785.17/1785.74	c 1785s |      17 |   364036 |   259732 |    14329     27 |        0 |        0
1788.18/1788.73	c 1788s |      17 |   364355 |   260032 |    14329     27 |        0 |        0
1790.28/1790.83	c 1790s |      17 |   364588 |   260232 |    14329     27 |        0 |        0
1793.17/1793.70	c 1793s |      17 |   364920 |   260532 |    14329     27 |        0 |        0
1795.97/1796.51	c 1795s |      17 |   365240 |   260832 |    14329     27 |        0 |        0
1798.66/1799.21	c 1798s |      17 |   365597 |   261132 |    14329     27 |        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-4109222-1466343604/watcher-4109222-1466343604 -o /tmp/evaluation-result-4109222-1466343604/solver-4109222-1466343604 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14957 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109222-1466343604.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.38 2.39 2.01 4/180 15132
/proc/meminfo: memFree=29958788/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 2833 0 0 0 0 0 0 0 20 0 4 0 36405622 777449472 3705 33554432000 4194304 16246674 140735527649536 140735527648960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 190319 3715 441 2943 0 187213 0
[pid=15132/tid=15133] ppid=15129 vsize=775612 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 794226688 3771 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 799469568 3791 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405622 803663872 3808 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.38 2.39 2.01 4/180 15132
/proc/meminfo: memFree=29958788/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 20171 0 0 0 6 3 0 0 20 0 4 0 36405622 1249447936 20983 33554432000 4194304 16246674 140735527649536 140735527648848 12478957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 305041 20991 826 2943 0 301935 0
[pid=15132/tid=15133] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 20997 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 21003 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 21010 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200519 s]
/proc/loadavg: 2.38 2.39 2.01 4/180 15132
/proc/meminfo: memFree=29958788/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 40050 0 0 0 13 6 0 0 20 0 4 0 36405622 1249447936 40862 33554432000 4194304 16246674 140735527649536 140735527648848 12459121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 305041 40870 826 2943 0 301935 0
[pid=15132/tid=15133] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 40875 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 40882 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 40884 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300469 s]
/proc/loadavg: 2.38 2.39 2.01 4/180 15132
/proc/meminfo: memFree=29958788/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 60118 0 0 0 20 9 0 0 20 0 4 0 36405622 1249447936 60929 33554432000 4194304 16246674 140735527649536 140735527648848 13954914 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 305041 60937 826 2943 0 301935 0
[pid=15132/tid=15133] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 60944 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 60948 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1249447936 60954 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.7004 s]
/proc/loadavg: 2.38 2.39 2.01 4/180 15132
/proc/meminfo: memFree=29958788/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 128083 0 0 0 51 18 0 0 20 0 4 0 36405622 1337528320 128894 33554432000 4194304 16246674 140735527649536 140735527648848 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 326545 128894 915 2943 0 323439 0
[pid=15132/tid=15133] ppid=15129 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1337528320 128894 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1337528320 128894 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1337528320 128894 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50036 s]
/proc/loadavg: 2.38 2.39 2.01 4/184 15136
/proc/meminfo: memFree=28532200/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 128140 0 0 0 131 18 0 0 20 0 4 0 36405622 1338576896 128951 33554432000 4194304 16246674 140735527649536 140735527631424 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 326801 128951 915 2943 0 323695 0
[pid=15132/tid=15133] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 128951 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 128951 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 128951 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 2.43 2.40 2.01 3/184 15136
/proc/meminfo: memFree=28445892/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 128150 0 0 0 291 18 0 0 20 0 4 0 36405622 1338576896 128961 33554432000 4194304 16246674 140735527649536 140735527631424 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 326801 128961 915 2943 0 323695 0
[pid=15132/tid=15133] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 128961 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 128961 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 128961 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.43 2.40 2.01 3/184 15136
/proc/meminfo: memFree=28444680/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 128340 0 0 0 611 18 0 0 20 0 4 0 36405622 1338576896 129151 33554432000 4194304 16246674 140735527649536 140735527631424 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 326801 129151 916 2943 0 323695 0
[pid=15132/tid=15133] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 129151 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 129151 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 129151 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.44 2.40 2.02 3/184 15136
/proc/meminfo: memFree=28444128/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 128340 0 0 0 1250 19 0 0 20 0 4 0 36405622 1338576896 129151 33554432000 4194304 16246674 140735527649536 140735527631424 5546119 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 326801 129151 916 2943 0 323695 0
[pid=15132/tid=15133] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 129151 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 129151 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 129151 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.37 2.39 2.02 3/184 15136
/proc/meminfo: memFree=28219224/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 184872 0 0 0 2523 26 0 0 20 0 4 0 36405622 1338576896 185683 33554432000 4194304 16246674 140735527649536 140735527631424 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 326801 185683 916 2943 0 323695 0
[pid=15132/tid=15133] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 185683 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 185683 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1338576896 185683 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.52 2.42 2.04 3/184 15136
/proc/meminfo: memFree=27884648/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 268527 0 0 0 5071 37 0 0 20 0 4 0 36405622 1340674048 269338 33554432000 4194304 16246674 140735527649536 140735527631424 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 327313 269338 922 2943 0 324207 0
[pid=15132/tid=15133] ppid=15129 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1340674048 269338 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1340674048 269338 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1340674048 269338 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.47 2.41 2.05 3/183 15137
/proc/meminfo: memFree=27883008/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1310276 CPUtime=102.29 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 268784 0 0 0 10187 42 0 0 20 0 4 0 36405622 1341722624 269595 33554432000 4194304 16246674 140735527649536 140735527631424 13963936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 327569 269595 923 2943 0 324463 0
[pid=15132/tid=15133] ppid=15129 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1341722624 269595 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1341722624 269595 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1341722624 269595 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1310276


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

/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1939410944 415518 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1893956

[startup+1302.3 s]
/proc/loadavg: 2.30 2.29 2.20 3/184 15190
/proc/meminfo: memFree=27290948/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1893956 CPUtime=1301.93 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 414996 0 0 0 129963 230 0 0 20 0 4 0 36405622 1939410944 415518 33554432000 4194304 16246674 140735527649536 140735527648712 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 473489 415518 923 2943 0 470383 0
[pid=15132/tid=15133] ppid=15129 vsize=1893956 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1939410944 415518 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1893956 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1939410944 415518 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1893956 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1939410944 415518 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1893956

[startup+1362.3 s]
/proc/loadavg: 2.30 2.30 2.20 4/183 15192
/proc/meminfo: memFree=27291112/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=1922628 CPUtime=1361.91 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 422165 0 0 0 135950 241 0 0 20 0 4 0 36405622 1968771072 422657 33554432000 4194304 16246674 140735527649536 140735527648712 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 480657 422660 923 2943 0 477551 0
[pid=15132/tid=15133] ppid=15129 vsize=1922628 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 1968771072 422660 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=1922628 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 1968771072 422660 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=1922628 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 1968771072 422660 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1922628

[startup+1422.3 s]
/proc/loadavg: 2.31 2.30 2.21 3/183 15193
/proc/meminfo: memFree=27058704/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=2126404 CPUtime=1421.89 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 473109 0 0 0 141928 261 0 0 20 0 4 0 36405622 2177437696 473581 33554432000 4194304 16246674 140735527649536 140735527648712 13874575 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 531601 473581 923 2943 0 528495 0
[pid=15132/tid=15133] ppid=15129 vsize=2126404 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 2177437696 473581 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=2126404 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 2177437696 473581 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=2126404 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 2177437696 473581 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 2126404

[startup+1482.3 s]
/proc/loadavg: 2.22 2.27 2.20 4/183 15194
/proc/meminfo: memFree=26938892/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=2246212 CPUtime=1481.87 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 503124 0 0 0 147904 283 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 140735527631424 5546005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 561553 503583 923 2943 0 558447 0
[pid=15132/tid=15133] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 2246212

[startup+1542.31 s]
/proc/loadavg: 2.28 2.28 2.20 4/183 15195
/proc/meminfo: memFree=26938732/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=2246212 CPUtime=1541.85 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 503138 0 0 0 153886 299 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 140735527631424 5861812 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 561553 503583 923 2943 0 558447 0
[pid=15132/tid=15133] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 2246212

[startup+1602.3 s]
/proc/loadavg: 2.29 2.28 2.20 3/183 15196
/proc/meminfo: memFree=26938440/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=2246212 CPUtime=1601.82 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 503156 0 0 0 159865 317 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 140735527631424 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 561553 503583 923 2943 0 558447 0
[pid=15132/tid=15133] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=2246212 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 2300121088 503583 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 2246212

[startup+1662.3 s]
/proc/loadavg: 2.37 2.31 2.22 3/183 15198
/proc/meminfo: memFree=26884044/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=2300484 CPUtime=1661.81 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 516741 0 0 0 165845 336 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 140735527631424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 575121 517151 923 2943 0 572015 0
[pid=15132/tid=15133] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 2300484

[startup+1722.3 s]
/proc/loadavg: 2.41 2.33 2.23 3/183 15199
/proc/meminfo: memFree=26883784/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=2300484 CPUtime=1721.8 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 516757 0 0 0 171829 351 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 140735527631424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 575121 517151 923 2943 0 572015 0
[pid=15132/tid=15133] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 2300484

[startup+1782.3 s]
/proc/loadavg: 2.35 2.31 2.22 4/183 15200
/proc/meminfo: memFree=26883192/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=2300484 CPUtime=1781.77 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 516779 0 0 0 177811 366 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 140735527648632 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 575121 517151 923 2943 0 572015 0
[pid=15132/tid=15133] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 2300484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.35 2.31 2.22 4/184 15203
/proc/meminfo: memFree=26882748/32872528 swapFree=1400172/1569824
[pid=15132] ppid=15129 vsize=2300484 CPUtime=1800.06 cores=0,2,4,6
/proc/15132/stat : 15132 (toysat) R 15129 15132 14941 0 -1 4202496 516789 0 0 0 179635 371 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 140735527648712 4220490 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15132/statm: 575121 517151 923 2943 0 572015 0
[pid=15132/tid=15133] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15133/stat : 15133 (toysat) S 15129 15132 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862671863024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15132/tid=15134] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15134/stat : 15134 (toysat) S 15129 15132 14941 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862590074096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15132/tid=15135] ppid=15129 vsize=2300484 CPUtime=0 cores=0,2,4,6
/proc/15132/task/15135/stat : 15135 (toysat) S 15129 15132 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36405622 2355695616 517151 33554432000 4194304 16246674 140735527649536 139862579600560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2300484

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 15132 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.1
CPU user time (s): 1796.36
CPU system time (s): 3.73443
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 2300484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.36
system time used= 3.73443
maximum resident set size= 2068604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516789
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= 470
involuntary context switches= 1829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77227 second user time and 6.82596 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-19 15:40:04
IDJOB=4109222
IDBENCH=78740
IDSOLVER=2553
FILE ID=node140/4109222-1466343604
RUNJOBID= node140-1466341803-14957
PBS_JOBID= 19922013
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109222-1466343604/watcher-4109222-1466343604 -o /tmp/evaluation-result-4109222-1466343604/solver-4109222-1466343604 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14957 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109222-1466343604.wbo

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

MD5SUM BENCH= b5d604f523494f9ae212571f314835a9
RANDOM SEED=672163960

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29978040 kB
Buffers:          171860 kB
Cached:           347436 kB
SwapCached:         2736 kB
Active:           227528 kB
Inactive:         349788 kB
Active(anon):      57496 kB
Inactive(anon):     2960 kB
Active(file):     170032 kB
Inactive(file):   346828 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67097256 kB
Dirty:             32684 kB
Writeback:             0 kB
AnonPages:       1623660 kB
Mapped:            11372 kB
Shmem:                 0 kB
Slab:             611512 kB
SReclaimable:      55624 kB
SUnreclaim:       555888 kB
KernelStack:        1440 kB
PageTables:         8888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2698392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71716 MiB
End job on node140 at 2016-06-19 16:10:05