Trace number 4078761

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.15 1800.56

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
MD5SUM1f72b7f8bd829aeeb06978977df8efc2
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.127979
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables10500
Total number of constraints205
Number of constraints which are clauses105
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint105
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 106
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-06T21:24:49+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078761-1465241089.opb"]
0.00/0.01	c use --random-gen="659591422 870364939 2419323537 1105455807 4109982107 4189872631 2152682845 3540899853 511273381 3492980642 2199874591 935988516 193371061 527050733 3360320465 1459424195 1089104667 2831245859 1049366354 3605451794 3557196948 1347309671 1507363122 2772388873 3610956689 3484231440 414739580 3431529735 1310762724 1349355373 4168415863 2440515457 2967606400 2251190174 1766655637 199876735 213159526 3130589410 3587775790 3559400837 3491538683 2236780057 822302740 979529152 2689327863 1295134965 2495084791 1343452547 437905657 1505226436 3592140084 842523862 2838192727 1034155645 3796390601 2781237679 1630382714 624903581 1322870528 3533105436 3604813053 4003113641 1910431925 1597125490 2379718966 55229565 385038492 1009790365 771312658 1585305952 3641312180 3472471966 1482246182 2762270762 3107609418 4022355930 3377497524 1062460226 3575635499 2111937897 3252646340 3094672244 1336477712 3428981544 3072625376 4284360210 2346772629 2526145819 3172289277 3527204419 3706345535 1851292804 1951739601 3509087346 857335130 1013373923 3593276660 2050404217 49254008 255079603 1732069171 941772994 2117066782 3537513588 286561521 3556394007 1920350375 3231931143 1134295165 3774339430 2699205719 2741533896 72321883 3387831289 1927201123 2268846002 1863154250 3360925155 4175645099 3959749115 3965390689 2911436226 1952858635 4250973002 3170937410 527223728 3707988696 1444471266 1856316252 612255456 644537975 4156534477 1169120821 1202769893 3392842877 1613833725 2856996909 3705567963 109933275 3450088155 689208630 3505514920 1426528028 3394138484 2866688607 2764881181 2968038537 34814547 1164231489 2516927814 1758135195 2330399223 307004621 418947893 4121045585 131135812 1388234423 4124667151 2058061833 399119357 1538475614 2391596990 1427276329 4198889057 1256748912 2824519691 676809286 3307891012 4220298602 700563537 820416986 4254926756 431721849 1584870299 3134889409 3628589867 2551983554 166365940 2560516105 2708162388 2380448843 2751492698 2903319386 2970417890 2695058367 3783734278 3444905403 445703353 3739437308 1711232726 3835935704 3156540129 1804957349 3007435477 2281469116 451891755 3520844392 3910942558 1922817071 2650293323 3292405557 3991493812 2548189954 2917682381 2561456344 1578330048 2430178758 1621663178 161733219 3104723906 607071016 4198745571 3689746474 3743347522 2705116846 2609869201 887166304 1829857264 3344388247 1407632006 2488975558 1863542199 986009164 3755810389 543219784 3726259758 1434993213 566669262 656884976 1212655909 3019456707 1706677856 1410414223 1244891328 309023313 4062235278 1257424939 510855342 4170741066 3435436849 1385295675 2174848255 2167076120 815819468 208386165 3110418767 3563250216 32552316 2707330601 3658166674 1042352816 3546425140 2517427485 2379339868 1629324773 872848052 255 362436" option to reproduce the execution
0.00/0.06	c #vars 10500
0.00/0.06	c #constraints 205
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |     3568      0 |        0 |        0
0.19/0.25	c  0.2s |       1 |      217 |      100 |     3568      0 |        0 |        0
0.49/0.53	c  0.4s |       2 |     4142 |      250 |     3925      0 |        0 |        0
0.99/1.07	c  1.0s |       3 |     8646 |      475 |     4318      0 |        0 |        0
2.09/2.17	c  2.1s |       4 |    13853 |      813 |     4750      0 |        0 |        0
4.29/4.36	c  4.3s |       4 |    23415 |     1313 |     5225      0 |        0 |        0
4.40/4.41	c  4.3s |       5 |    23425 |     1320 |     5225      0 |        0 |        0
6.49/6.58	c  6.5s |       5 |    33183 |     2020 |     5748      0 |        0 |        0
6.79/6.83	c  6.7s |       6 |    33251 |     2081 |     6323      0 |        0 |        0
8.80/8.84	c  8.7s |       6 |    39992 |     2981 |     6323      0 |        0 |        0
9.39/9.46	c  9.4s |       7 |    40265 |     3223 |     6956      0 |        0 |        0
11.69/11.71	c 11.6s |       7 |    46303 |     4123 |     6956      0 |        0 |        0
13.88/13.97	c 13.9s |       7 |    47195 |     4923 |     7652      0 |        0 |        0
13.98/14.03	c 13.9s |       8 |    47205 |     4936 |     7652      0 |        0 |        0
16.09/16.11	c 16.0s |       8 |    53283 |     5636 |     7652      0 |        0 |        0
18.18/18.29	c 18.2s |       8 |    54056 |     6336 |     7652      0 |        0 |        0
20.28/20.39	c 20.3s |       8 |    54699 |     6936 |     7652      0 |        0 |        0
22.39/22.49	c 22.4s |       9 |    55353 |     7506 |     8418      0 |        0 |        0
24.69/24.70	c 24.6s |       9 |    61515 |     8106 |     8418      0 |        0 |        0
26.68/26.75	c 26.7s |       9 |    62092 |     8606 |     8418      0 |        0 |        0
28.99/29.09	c 29.0s |       9 |    62628 |     9106 |     8418      0 |        0 |        0
31.18/31.29	c 31.2s |       9 |    63059 |     9506 |     8418      0 |        0 |        0
33.29/33.33	c 33.2s |       9 |    63501 |     9906 |     8418      0 |        0 |        0
35.48/35.53	c 35.4s |       9 |    63929 |    10306 |     8418      0 |        0 |        0
37.89/37.91	c 37.8s |       9 |    64515 |    10806 |     8418      0 |        0 |        0
40.18/40.20	c 40.1s |       9 |    65080 |    11306 |     9260      0 |        0 |        0
40.38/40.47	c 40.4s |      10 |    65145 |    11361 |     9260      0 |        0 |        0
42.68/42.74	c 42.6s |      10 |    73081 |    11761 |     9260      1 |        0 |        0
44.89/44.99	c 44.9s |      10 |    73886 |    12461 |     9260      1 |        0 |        0
46.98/47.05	c 47.0s |      10 |    74434 |    12961 |     9260      1 |        0 |        0
49.08/49.18	c 49.1s |      10 |    74994 |    13461 |     9260      1 |        0 |        0
51.28/51.39	c 51.3s |      10 |    75517 |    13961 |     9260      1 |        0 |        0
53.58/53.63	c 53.5s |      10 |    76123 |    14461 |     9260      1 |        0 |        0
55.68/55.79	c 55.7s |      10 |    76562 |    14861 |     9260      1 |        0 |        0
57.78/57.81	c 57.7s |      10 |    76992 |    15261 |     9260      1 |        0 |        0
59.78/59.85	c 59.8s |      10 |    77421 |    15661 |     9260      1 |        0 |        0
61.88/61.96	c 61.9s |      10 |    77858 |    16061 |     9260      1 |        0 |        0
63.98/64.06	c 64.0s |      10 |    78320 |    16461 |     9260      1 |        0 |        0
66.18/66.24	c 66.1s |      10 |    78763 |    16861 |     9260      1 |        0 |        0
67.78/67.82	c 67.7s |      11 |    79082 |    17144 |    10186      1 |        0 |        0
69.98/70.02	c 69.9s |      11 |    85617 |    17444 |    10186      2 |        0 |        0
72.38/72.49	c 72.4s |      11 |    86308 |    18044 |    10186      2 |        0 |        0
74.58/74.62	c 74.5s |      11 |    86930 |    18544 |    10186      2 |        0 |        0
76.88/76.91	c 76.8s |      11 |    87530 |    19044 |    10186      2 |        0 |        0
79.37/79.47	c 79.4s |      11 |    88093 |    19544 |    10186      2 |        0 |        0
81.39/81.48	c 81.4s |      11 |    88575 |    19944 |    10186      2 |        0 |        0
83.59/83.63	c 83.5s |      11 |    89051 |    20344 |    10186      2 |        0 |        0
85.58/85.65	c 85.6s |      11 |    89522 |    20744 |    10186      2 |        0 |        0
87.77/87.83	c 87.7s |      11 |    89959 |    21144 |    10186      2 |        0 |        0
90.19/90.28	c 90.2s |      11 |    90562 |    21644 |    10186      2 |        0 |        0
92.57/92.62	c 92.5s |      11 |    91153 |    22144 |    10186      2 |        0 |        0
94.88/94.96	c 94.9s |      11 |    91598 |    22544 |    10186      2 |        0 |        0
97.18/97.26	c 97.2s |      11 |    92056 |    22944 |    10186      2 |        0 |        0
99.57/99.70	c 99.6s |      11 |    92491 |    23344 |    10186      2 |        0 |        0
102.18/102.22	c  102s |      11 |    92924 |    23744 |    10186      2 |        0 |        0
104.67/104.75	c  104s |      11 |    93364 |    24144 |    10186      2 |        0 |        0
107.17/107.22	c  107s |      11 |    93799 |    24544 |    10186      2 |        0 |        0
109.38/109.46	c  109s |      11 |    94251 |    24944 |    10186      2 |        0 |        0
111.87/111.99	c  111s |      11 |    94688 |    25344 |    10186      2 |        0 |        0
114.27/114.35	c  114s |      11 |    95125 |    25744 |    11205      2 |        0 |        0
114.78/114.82	c  114s |      12 |    95201 |    25819 |    11205      2 |        0 |        0
116.78/116.87	c  116s |      12 |   100699 |    25919 |    11205      3 |        0 |        0
118.88/118.97	c  118s |      12 |   101319 |    26419 |    11205      3 |        0 |        0
120.98/121.05	c  120s |      12 |   101782 |    26819 |    11205      3 |        0 |        0
123.18/123.27	c  123s |      12 |   102256 |    27219 |    11205      3 |        0 |        0
125.57/125.62	c  125s |      12 |   102735 |    27619 |    11205      3 |        0 |        0
128.07/128.19	c  128s |      12 |   103204 |    28019 |    11205      3 |        0 |        0
130.27/130.31	c  130s |      12 |   103544 |    28319 |    11205      3 |        0 |        0
132.67/132.79	c  132s |      12 |   104032 |    28719 |    11205      3 |        0 |        0
135.38/135.44	c  135s |      12 |   104526 |    29119 |    11205      3 |        0 |        0
137.37/137.46	c  137s |      12 |   104867 |    29419 |    11205      3 |        0 |        0
139.97/140.06	c  139s |      12 |   105336 |    29819 |    11205      3 |        0 |        0
142.57/142.64	c  142s |      12 |   105789 |    30219 |    11205      3 |        0 |        0
145.07/145.17	c  145s |      12 |   106251 |    30619 |    11205      3 |        0 |        0
147.67/147.73	c  147s |      12 |   106698 |    31019 |    11205      3 |        0 |        0
150.27/150.34	c  150s |      12 |   107181 |    31419 |    11205      3 |        0 |        0
152.47/152.52	c  152s |      12 |   107516 |    31719 |    11205      3 |        0 |        0
154.56/154.65	c  154s |      12 |   107843 |    32019 |    11205      3 |        0 |        0
156.76/156.81	c  156s |      12 |   108178 |    32319 |    11205      3 |        0 |        0
158.97/159.08	c  158s |      12 |   108512 |    32619 |    11205      3 |        0 |        0
161.26/161.34	c  161s |      12 |   108833 |    32919 |    11205      3 |        0 |        0
163.88/163.94	c  163s |      12 |   109187 |    33219 |    11205      3 |        0 |        0
166.56/166.64	c  166s |      12 |   109512 |    33519 |    11205      3 |        0 |        0
169.07/169.12	c  169s |      12 |   109854 |    33819 |    11205      3 |        0 |        0
171.58/171.68	c  171s |      12 |   110183 |    34119 |    11205      3 |        0 |        0
174.06/174.16	c  174s |      12 |   110515 |    34419 |    11205      3 |        0 |        0
176.46/176.52	c  176s |      12 |   110854 |    34719 |    11205      3 |        0 |        0
178.87/178.95	c  178s |      12 |   111191 |    35019 |    11205      3 |        0 |        0
181.36/181.43	c  181s |      12 |   111511 |    35319 |    11205      3 |        0 |        0
183.86/183.90	c  183s |      12 |   111826 |    35619 |    11205      3 |        0 |        0
186.56/186.62	c  186s |      12 |   112156 |    35919 |    11205      3 |        0 |        0
189.18/189.23	c  189s |      12 |   112492 |    36219 |    11205      3 |        0 |        0
191.96/192.05	c  191s |      12 |   112810 |    36519 |    11205      3 |        0 |        0
194.56/194.69	c  194s |      12 |   113138 |    36819 |    11205      3 |        0 |        0
197.26/197.33	c  197s |      12 |   113468 |    37119 |    11205      3 |        0 |        0
199.66/199.73	c  199s |      12 |   113829 |    37419 |    11205      3 |        0 |        0
201.96/202.04	c  201s |      12 |   114181 |    37719 |    11205      3 |        0 |        0
204.46/204.60	c  204s |      12 |   114520 |    38019 |    11205      3 |        0 |        0
206.87/206.94	c  206s |      12 |   114875 |    38319 |    11205      3 |        0 |        0
209.46/209.50	c  209s |      12 |   115192 |    38619 |    12326      3 |        0 |        0
211.17/211.29	c  211s |      13 |   115446 |    38832 |    12326      3 |        0 |        0
215.16/215.29	c  215s |      13 |   120410 |    38932 |    12326      4 |        0 |        0
217.66/217.80	c  217s |      13 |   120985 |    39432 |    12326      4 |        0 |        0
219.85/219.96	c  219s |      13 |   121445 |    39832 |    12326      4 |        0 |        0
222.16/222.27	c  222s |      13 |   121884 |    40232 |    12326      4 |        0 |        0
224.25/224.31	c  224s |      13 |   122353 |    40632 |    12326      4 |        0 |        0
226.67/226.75	c  226s |      13 |   122804 |    41032 |    12326      4 |        0 |        0
229.25/229.38	c  229s |      13 |   123244 |    41432 |    12326      4 |        0 |        0
231.46/231.50	c  231s |      13 |   123584 |    41732 |    12326      4 |        0 |        0
233.95/234.06	c  233s |      13 |   124044 |    42132 |    12326      4 |        0 |        0
236.06/236.13	c  236s |      13 |   124393 |    42432 |    12326      4 |        0 |        0
238.25/238.33	c  238s |      13 |   124716 |    42732 |    12326      4 |        0 |        0
240.45/240.54	c  240s |      13 |   125038 |    43032 |    12326      4 |        0 |        0
243.07/243.14	c  243s |      13 |   125363 |    43332 |    12326      4 |        0 |        0
245.26/245.37	c  245s |      13 |   125709 |    43632 |    12326      4 |        0 |        0
247.95/248.05	c  247s |      13 |   126164 |    44032 |    12326      4 |        0 |        0
250.05/250.11	c  250s |      13 |   126495 |    44332 |    12326      4 |        0 |        0
252.05/252.18	c  252s |      13 |   126838 |    44632 |    12326      4 |        0 |        0
254.25/254.37	c  254s |      13 |   127158 |    44932 |    12326      4 |        0 |        0
256.55/256.68	c  256s |      13 |   127493 |    45232 |    12326      4 |        0 |        0
258.65/258.77	c  258s |      13 |   127821 |    45532 |    12326      4 |        0 |        0
260.85/260.98	c  260s |      13 |   128172 |    45832 |    12326      4 |        0 |        0
263.25/263.36	c  263s |      13 |   128503 |    46132 |    12326      4 |        0 |        0
265.45/265.59	c  265s |      13 |   128834 |    46432 |    12326      4 |        0 |        0
267.95/268.05	c  267s |      13 |   129152 |    46732 |    12326      4 |        0 |        0
270.25/270.39	c  270s |      13 |   129512 |    47032 |    12326      4 |        0 |        0
272.55/272.68	c  272s |      13 |   129841 |    47332 |    12326      4 |        0 |        0
274.75/274.81	c  274s |      13 |   130181 |    47632 |    12326      4 |        0 |        0
276.95/277.04	c  276s |      13 |   130509 |    47932 |    12326      4 |        0 |        0
279.15/279.24	c  279s |      13 |   130865 |    48232 |    12326      4 |        0 |        0
281.56/281.69	c  281s |      13 |   131184 |    48532 |    12326      4 |        0 |        0
284.24/284.31	c  284s |      13 |   131533 |    48832 |    12326      4 |        0 |        0
286.55/286.64	c  286s |      13 |   131891 |    49132 |    12326      4 |        0 |        0
288.75/288.81	c  288s |      13 |   132249 |    49432 |    12326      4 |        0 |        0
290.74/290.87	c  290s |      13 |   132595 |    49732 |    12326      4 |        0 |        0
293.25/293.30	c  293s |      13 |   132918 |    50032 |    12326      4 |        0 |        0
295.55/295.61	c  295s |      13 |   133271 |    50332 |    12326      4 |        0 |        0
297.74/297.87	c  297s |      13 |   133614 |    50632 |    12326      4 |        0 |        0
300.25/300.33	c  300s |      13 |   133942 |    50932 |    12326      4 |        0 |        0
302.74/302.83	c  302s |      13 |   134275 |    51232 |    12326      4 |        0 |        0
305.44/305.51	c  305s |      13 |   134385 |    51332 |    12326      5 |        0 |        0
307.96/308.02	c  307s |      13 |   134724 |    51632 |    12326      5 |        0 |        0
310.54/310.63	c  310s |      13 |   135063 |    51932 |    12326      5 |        0 |        0
313.34/313.45	c  313s |      13 |   135377 |    52232 |    12326      5 |        0 |        0
315.66/315.78	c  315s |      13 |   135700 |    52532 |    12326      5 |        0 |        0
318.14/318.28	c  318s |      13 |   136047 |    52832 |    12326      5 |        0 |        0
320.64/320.79	c  320s |      13 |   136373 |    53132 |    12326      5 |        0 |        0
323.24/323.32	c  323s |      13 |   136692 |    53432 |    12326      5 |        0 |        0
325.65/325.73	c  325s |      13 |   137027 |    53732 |    12326      5 |        0 |        0
328.25/328.33	c  328s |      13 |   137360 |    54032 |    12326      5 |        0 |        0
330.94/331.07	c  330s |      13 |   137685 |    54332 |    12326      5 |        0 |        0
333.64/333.74	c  333s |      13 |   138001 |    54632 |    12326      5 |        0 |        0
336.34/336.44	c  336s |      13 |   138339 |    54932 |    12326      5 |        0 |        0
339.24/339.37	c  339s |      13 |   138664 |    55232 |    12326      5 |        0 |        0
342.05/342.15	c  342s |      13 |   138977 |    55532 |    12326      5 |        0 |        0
344.84/344.96	c  344s |      13 |   139317 |    55832 |    12326      5 |        0 |        0
347.44/347.55	c  347s |      13 |   139667 |    56132 |    12326      5 |        0 |        0
350.24/350.37	c  350s |      13 |   139993 |    56432 |    12326      5 |        0 |        0
352.84/352.95	c  352s |      13 |   140329 |    56732 |    12326      5 |        0 |        0
355.63/355.74	c  355s |      13 |   140659 |    57032 |    12326      5 |        0 |        0
358.24/358.38	c  358s |      13 |   141000 |    57332 |    12326      5 |        0 |        0
361.14/361.23	c  361s |      13 |   141329 |    57632 |    12326      5 |        0 |        0
363.13/363.23	c  363s |      13 |   141533 |    57832 |    12326      5 |        0 |        0
365.83/365.96	c  365s |      13 |   141885 |    58132 |    13559      5 |        0 |        0
367.83/367.97	c  367s |      13 |   142100 |    58332 |    13559      5 |        0 |        0
368.03/368.16	c  368s |      14 |   142124 |    58352 |    13559      5 |        0 |        0
372.73/372.84	c  372s |      14 |   149153 |    58452 |    13559      6 |        0 |        0
374.83/374.96	c  374s |      14 |   149966 |    59152 |    13559      6 |        0 |        0
377.03/377.12	c  377s |      14 |   150691 |    59752 |    13559      6 |        0 |        0
379.14/379.28	c  379s |      14 |   151360 |    60352 |    13559      6 |        0 |        0
381.43/381.54	c  381s |      14 |   152040 |    60952 |    13559      6 |        0 |        0
383.73/383.84	c  383s |      14 |   152621 |    61452 |    13559      6 |        0 |        0
385.73/385.89	c  385s |      14 |   153215 |    61952 |    13559      6 |        0 |        0
387.93/388.03	c  387s |      14 |   153787 |    62452 |    13559      6 |        0 |        0
390.44/390.51	c  390s |      14 |   154340 |    62952 |    13559      6 |        0 |        0
392.53/392.70	c  392s |      14 |   154771 |    63352 |    13559      6 |        0 |        0
394.73/394.81	c  394s |      14 |   155221 |    63752 |    13559      6 |        0 |        0
396.83/396.95	c  396s |      14 |   155665 |    64152 |    13559      6 |        0 |        0
399.03/399.14	c  399s |      14 |   156105 |    64552 |    13559      6 |        0 |        0
401.13/401.27	c  401s |      14 |   156568 |    64952 |    13559      6 |        0 |        0
403.23/403.32	c  403s |      14 |   157023 |    65352 |    13559      6 |        0 |        0
405.43/405.52	c  405s |      14 |   157464 |    65752 |    13559      6 |        0 |        0
407.53/407.68	c  407s |      14 |   157912 |    66152 |    13559      6 |        0 |        0
409.83/409.91	c  409s |      14 |   158380 |    66552 |    13559      6 |        0 |        0
411.93/412.01	c  411s |      14 |   158854 |    66952 |    13559      6 |        0 |        0
413.93/414.03	c  413s |      14 |   159334 |    67352 |    13559      6 |        0 |        0
416.22/416.38	c  416s |      14 |   159767 |    67752 |    13559      6 |        0 |        0
418.53/418.60	c  418s |      14 |   160248 |    68152 |    13559      6 |        0 |        0
420.83/420.91	c  420s |      14 |   160702 |    68552 |    13559      6 |        0 |        0
423.12/423.30	c  423s |      14 |   161153 |    68952 |    13559      6 |        0 |        0
425.52/425.60	c  425s |      14 |   161594 |    69352 |    13559      6 |        0 |        0
427.73/427.80	c  427s |      14 |   162036 |    69752 |    13559      6 |        0 |        0
430.14/430.26	c  430s |      14 |   162487 |    70152 |    13559      6 |        0 |        0
432.72/432.81	c  432s |      14 |   162919 |    70552 |    13559      6 |        0 |        0
434.92/435.08	c  434s |      14 |   163348 |    70952 |    13559      6 |        0 |        0
437.33/437.45	c  437s |      14 |   163804 |    71352 |    13559      6 |        0 |        0
439.62/439.70	c  439s |      14 |   164251 |    71752 |    13559      6 |        0 |        0
442.02/442.20	c  442s |      14 |   164694 |    72152 |    13559      6 |        0 |        0
444.43/444.56	c  444s |      14 |   165157 |    72552 |    13559      6 |        0 |        0
448.22/448.31	c  448s |      14 |   165484 |    72852 |    13559      7 |        0 |        0
450.32/450.48	c  450s |      14 |   165820 |    73152 |    13559      7 |        0 |        0
452.82/452.95	c  452s |      14 |   166298 |    73552 |    13559      7 |        0 |        0
455.52/455.61	c  455s |      14 |   166734 |    73952 |    13559      7 |        0 |        0
458.02/458.14	c  458s |      14 |   167174 |    74352 |    13559      7 |        0 |        0
460.72/460.84	c  460s |      14 |   167636 |    74752 |    13559      7 |        0 |        0
462.72/462.87	c  462s |      14 |   167974 |    75052 |    13559      7 |        0 |        0
464.82/464.90	c  464s |      14 |   168291 |    75352 |    13559      7 |        0 |        0
466.82/466.96	c  466s |      14 |   168616 |    75652 |    13559      7 |        0 |        0
469.52/469.66	c  469s |      14 |   169062 |    76052 |    13559      7 |        0 |        0
471.62/471.79	c  471s |      14 |   169376 |    76352 |    13559      7 |        0 |        0
474.32/474.45	c  474s |      14 |   169827 |    76752 |    13559      7 |        0 |        0
476.71/476.86	c  476s |      14 |   170138 |    77052 |    13559      7 |        0 |        0
479.02/479.15	c  479s |      14 |   170456 |    77352 |    13559      7 |        0 |        0
481.42/481.55	c  481s |      14 |   170910 |    77752 |    13559      7 |        0 |        0
483.81/483.93	c  483s |      14 |   171349 |    78152 |    13559      7 |        0 |        0
486.31/486.46	c  486s |      14 |   171787 |    78552 |    13559      7 |        0 |        0
488.43/488.52	c  488s |      14 |   172132 |    78852 |    13559      7 |        0 |        0
490.63/490.74	c  490s |      14 |   172473 |    79152 |    13559      7 |        0 |        0
493.22/493.31	c  493s |      14 |   172908 |    79552 |    13559      7 |        0 |        0
495.81/495.99	c  495s |      14 |   173346 |    79952 |    13559      7 |        0 |        0
498.41/498.57	c  498s |      14 |   173764 |    80352 |    13559      7 |        0 |        0
500.52/500.63	c  500s |      14 |   174096 |    80652 |    13559      7 |        0 |        0
502.81/502.92	c  502s |      14 |   174412 |    80952 |    13559      7 |        0 |        0
505.11/505.23	c  505s |      14 |   174745 |    81252 |    13559      7 |        0 |        0
507.41/507.53	c  507s |      14 |   175055 |    81552 |    13559      7 |        0 |        0
509.42/509.59	c  509s |      14 |   175392 |    81852 |    13559      7 |        0 |        0
512.02/512.12	c  512s |      14 |   175854 |    82252 |    13559      7 |        0 |        0
514.51/514.61	c  514s |      14 |   176305 |    82652 |    13559      7 |        0 |        0
516.51/516.63	c  516s |      14 |   176644 |    82952 |    13559      7 |        0 |        0
518.81/518.93	c  518s |      14 |   176957 |    83252 |    13559      7 |        0 |        0
521.22/521.40	c  521s |      14 |   177405 |    83652 |    13559      7 |        0 |        0
523.32/523.46	c  523s |      14 |   177744 |    83952 |    13559      7 |        0 |        0
525.51/525.60	c  525s |      14 |   178091 |    84252 |    13559      7 |        0 |        0
527.61/527.78	c  527s |      14 |   178438 |    84552 |    13559      7 |        0 |        0
531.01/531.15	c  531s |      14 |   178649 |    84752 |    13559      8 |        0 |        0
533.11/533.26	c  533s |      14 |   179095 |    85152 |    13559      8 |        0 |        0
535.11/535.29	c  535s |      14 |   179324 |    85352 |    13559      8 |        0 |        0
537.51/537.64	c  537s |      14 |   179765 |    85752 |    13559      8 |        0 |        0
540.02/540.16	c  540s |      14 |   180224 |    86152 |    13559      8 |        0 |        0
542.40/542.52	c  542s |      14 |   180674 |    86552 |    13559      8 |        0 |        0
544.80/544.99	c  544s |      14 |   180905 |    86752 |    13559      8 |        0 |        0
547.30/547.44	c  547s |      14 |   181373 |    87152 |    14915      8 |        0 |        0
549.92/550.02	c  549s |      14 |   181815 |    87552 |    14915      8 |        0 |        0
550.41/550.55	c  550s |      15 |   181918 |    87632 |    14915      8 |        0 |        0
552.61/552.79	c  552s |      15 |   186717 |    88032 |    14915      8 |        0 |        0
554.91/555.01	c  554s |      15 |   187392 |    88632 |    14915      8 |        0 |        0
557.00/557.16	c  557s |      15 |   188098 |    89232 |    14915      8 |        0 |        0
559.10/559.23	c  559s |      15 |   188712 |    89732 |    14915      8 |        0 |        0
561.41/561.54	c  561s |      15 |   189291 |    90232 |    14915      8 |        0 |        0
563.50/563.63	c  563s |      15 |   189846 |    90732 |    14915      8 |        0 |        0
565.61/565.79	c  565s |      15 |   190413 |    91232 |    14915      8 |        0 |        0
568.00/568.13	c  568s |      15 |   190970 |    91732 |    14915      8 |        0 |        0
570.20/570.31	c  570s |      15 |   191399 |    92132 |    14915      8 |        0 |        0
572.51/572.62	c  572s |      15 |   191831 |    92532 |    14915      8 |        0 |        0
574.80/574.98	c  574s |      15 |   192392 |    93032 |    14915      8 |        0 |        0
577.30/577.50	c  577s |      15 |   192942 |    93532 |    14915      8 |        0 |        0
579.61/579.78	c  579s |      15 |   193412 |    93932 |    14915      8 |        0 |        0
581.91/582.04	c  581s |      15 |   193882 |    94332 |    14915      8 |        0 |        0
584.30/584.49	c  584s |      15 |   194322 |    94732 |    14915      8 |        0 |        0
586.80/586.93	c  586s |      15 |   194792 |    95132 |    14915      8 |        0 |        0
589.40/589.53	c  589s |      15 |   195242 |    95532 |    14915      8 |        0 |        0
591.90/592.07	c  591s |      15 |   195684 |    95932 |    14915      8 |        0 |        0
594.50/594.61	c  594s |      15 |   196139 |    96332 |    14915      8 |        0 |        0
596.80/596.94	c  596s |      15 |   196572 |    96732 |    14915      8 |        0 |        0
599.29/599.45	c  599s |      15 |   197025 |    97132 |    14915      8 |        0 |        0
601.90/602.04	c  601s |      15 |   197476 |    97532 |    14915      8 |        0 |        0
605.70/605.87	c  605s |      15 |   197805 |    97832 |    14915      9 |        0 |        0
608.10/608.27	c  608s |      15 |   198250 |    98232 |    14915      9 |        0 |        0
610.30/610.40	c  610s |      15 |   198572 |    98532 |    14915      9 |        0 |        0
612.39/612.52	c  612s |      15 |   198879 |    98832 |    14915      9 |        0 |        0
614.60/614.74	c  614s |      15 |   199225 |    99132 |    14915      9 |        0 |        0
616.80/616.95	c  616s |      15 |   199550 |    99432 |    14915      9 |        0 |        0
619.10/619.27	c  619s |      15 |   199871 |    99732 |    14915      9 |        0 |        0
621.59/621.72	c  621s |      15 |   200208 |   100032 |    14915      9 |        0 |        0
623.90/624.01	c  623s |      15 |   200655 |   100432 |    14915      9 |        0 |        0
626.39/626.55	c  626s |      15 |   201120 |   100832 |    14915      9 |        0 |        0
628.89/629.09	c  628s |      15 |   201573 |   101232 |    14915      9 |        0 |        0
631.41/631.53	c  631s |      15 |   202029 |   101632 |    14915      9 |        0 |        0
633.60/633.76	c  633s |      15 |   202351 |   101932 |    14915      9 |        0 |        0
635.59/635.79	c  635s |      15 |   202683 |   102232 |    14915      9 |        0 |        0
637.69/637.86	c  637s |      15 |   203035 |   102532 |    14915      9 |        0 |        0
639.89/640.05	c  639s |      15 |   203370 |   102832 |    14915      9 |        0 |        0
641.99/642.15	c  642s |      15 |   203685 |   103132 |    14915      9 |        0 |        0
644.29/644.42	c  644s |      15 |   204006 |   103432 |    14915      9 |        0 |        0
646.30/646.46	c  646s |      15 |   204362 |   103732 |    14915      9 |        0 |        0
649.09/649.29	c  649s |      15 |   204843 |   104132 |    14915      9 |        0 |        0
651.89/652.00	c  651s |      15 |   205315 |   104532 |    14915      9 |        0 |        0
654.50/654.62	c  654s |      15 |   205760 |   104932 |    14915      9 |        0 |        0
656.99/657.19	c  657s |      15 |   206224 |   105332 |    14915      9 |        0 |        0
659.19/659.34	c  659s |      15 |   206576 |   105632 |    14915      9 |        0 |        0
661.78/661.96	c  661s |      15 |   207049 |   106032 |    14915      9 |        0 |        0
664.09/664.21	c  664s |      15 |   207386 |   106332 |    14915      9 |        0 |        0
666.09/666.27	c  666s |      15 |   207715 |   106632 |    14915      9 |        0 |        0
668.38/668.56	c  668s |      15 |   208043 |   106932 |    14915      9 |        0 |        0
670.79/670.97	c  670s |      15 |   208364 |   107232 |    14915      9 |        0 |        0
673.10/673.27	c  673s |      15 |   208710 |   107532 |    14915      9 |        0 |        0
675.68/675.83	c  675s |      15 |   209024 |   107832 |    14915      9 |        0 |        0
678.09/678.29	c  678s |      15 |   209380 |   108132 |    14915      9 |        0 |        0
680.58/680.75	c  680s |      15 |   209703 |   108432 |    14915      9 |        0 |        0
683.18/683.33	c  683s |      15 |   210029 |   108732 |    14915      9 |        0 |        0
685.89/686.08	c  685s |      15 |   210359 |   109032 |    14915      9 |        0 |        0
688.29/688.48	c  688s |      15 |   210682 |   109332 |    14915      9 |        0 |        0
690.69/690.87	c  690s |      15 |   211030 |   109632 |    14915      9 |        0 |        0
693.39/693.58	c  693s |      15 |   211362 |   109932 |    14915      9 |        0 |        0
695.89/696.09	c  695s |      15 |   211688 |   110232 |    14915      9 |        0 |        0
698.98/699.18	c  699s |      15 |   211799 |   110332 |    14915     10 |        0 |        0
702.39/702.53	c  702s |      15 |   212124 |   110632 |    14915     10 |        0 |        0
704.88/705.01	c  704s |      15 |   212451 |   110932 |    14915     10 |        0 |        0
707.39/707.54	c  707s |      15 |   212872 |   111332 |    14915     10 |        0 |        0
709.39/709.60	c  709s |      15 |   213182 |   111632 |    14915     10 |        0 |        0
711.98/712.11	c  712s |      15 |   213686 |   112032 |    14915     10 |        0 |        0
714.08/714.21	c  714s |      15 |   214025 |   112332 |    14915     10 |        0 |        0
716.68/716.86	c  716s |      15 |   214468 |   112732 |    14915     10 |        0 |        0
718.78/718.95	c  718s |      15 |   214799 |   113032 |    14915     10 |        0 |        0
720.88/721.08	c  720s |      15 |   215140 |   113332 |    14915     10 |        0 |        0
723.28/723.41	c  723s |      15 |   215462 |   113632 |    14915     10 |        0 |        0
725.48/725.62	c  725s |      15 |   215791 |   113932 |    14915     10 |        0 |        0
727.78/727.94	c  727s |      15 |   216119 |   114232 |    14915     10 |        0 |        0
730.08/730.29	c  730s |      15 |   216451 |   114532 |    14915     10 |        0 |        0
732.28/732.46	c  732s |      15 |   216771 |   114832 |    14915     10 |        0 |        0
734.79/734.97	c  734s |      15 |   217093 |   115132 |    14915     10 |        0 |        0
737.28/737.47	c  737s |      15 |   217431 |   115432 |    14915     10 |        0 |        0
739.48/739.65	c  739s |      15 |   217799 |   115732 |    14915     10 |        0 |        0
741.68/741.84	c  741s |      15 |   218150 |   116032 |    14915     10 |        0 |        0
744.08/744.27	c  744s |      15 |   218498 |   116332 |    14915     10 |        0 |        0
746.47/746.66	c  746s |      15 |   218828 |   116632 |    14915     10 |        0 |        0
749.28/749.40	c  749s |      15 |   219142 |   116932 |    14915     10 |        0 |        0
751.87/752.02	c  751s |      15 |   219470 |   117232 |    14915     10 |        0 |        0
754.68/754.87	c  754s |      15 |   219797 |   117532 |    14915     10 |        0 |        0
757.28/757.46	c  757s |      15 |   220203 |   117832 |    14915     10 |        0 |        0
759.87/760.09	c  759s |      15 |   220570 |   118132 |    14915     10 |        0 |        0
762.58/762.75	c  762s |      15 |   220919 |   118432 |    14915     10 |        0 |        0
764.77/765.00	c  764s |      15 |   221263 |   118732 |    14915     10 |        0 |        0
767.57/767.72	c  767s |      15 |   221611 |   119032 |    14915     10 |        0 |        0
769.88/770.08	c  769s |      15 |   221965 |   119332 |    14915     10 |        0 |        0
772.27/772.45	c  772s |      15 |   222286 |   119632 |    14915     10 |        0 |        0
774.87/775.08	c  774s |      15 |   222605 |   119932 |    14915     10 |        0 |        0
777.59/777.77	c  777s |      15 |   222949 |   120232 |    14915     10 |        0 |        0
780.57/780.73	c  780s |      15 |   223296 |   120532 |    14915     10 |        0 |        0
782.67/782.89	c  782s |      15 |   223509 |   120732 |    14915     10 |        0 |        0
785.17/785.35	c  785s |      15 |   223848 |   121032 |    14915     10 |        0 |        0
787.48/787.62	c  787s |      15 |   224178 |   121332 |    14915     10 |        0 |        0
789.87/790.07	c  789s |      15 |   224500 |   121632 |    14915     10 |        0 |        0
792.57/792.72	c  792s |      15 |   224810 |   121932 |    14915     10 |        0 |        0
794.87/795.09	c  794s |      15 |   225133 |   122232 |    14915     10 |        0 |        0
797.38/797.52	c  797s |      15 |   225489 |   122532 |    14915     10 |        0 |        0
801.78/801.97	c  801s |      15 |   225704 |   122732 |    14915     11 |        0 |        0
804.08/804.29	c  804s |      15 |   226027 |   123032 |    14915     11 |        0 |        0
806.56/806.72	c  806s |      15 |   226351 |   123332 |    14915     11 |        0 |        0
808.97/809.12	c  809s |      15 |   226698 |   123632 |    14915     11 |        0 |        0
811.37/811.58	c  811s |      15 |   227016 |   123932 |    14915     11 |        0 |        0
814.16/814.31	c  814s |      15 |   227326 |   124232 |    14915     11 |        0 |        0
816.76/816.92	c  816s |      15 |   227644 |   124532 |    14915     11 |        0 |        0
819.26/819.46	c  819s |      15 |   227973 |   124832 |    14915     11 |        0 |        0
821.47/821.65	c  821s |      15 |   228291 |   125132 |    14915     11 |        0 |        0
823.66/823.87	c  823s |      15 |   228613 |   125432 |    14915     11 |        0 |        0
826.27/826.42	c  826s |      15 |   228932 |   125732 |    14915     11 |        0 |        0
828.87/829.00	c  828s |      15 |   229249 |   126032 |    14915     11 |        0 |        0
831.47/831.63	c  831s |      15 |   229562 |   126332 |    14915     11 |        0 |        0
834.17/834.36	c  834s |      15 |   229781 |   126532 |    14915     11 |        0 |        0
836.36/836.58	c  836s |      15 |   230106 |   126832 |    14915     11 |        0 |        0
838.77/838.93	c  838s |      15 |   230444 |   127132 |    14915     11 |        0 |        0
841.16/841.34	c  841s |      15 |   230787 |   127432 |    14915     11 |        0 |        0
843.46/843.69	c  843s |      15 |   231124 |   127732 |    14915     11 |        0 |        0
845.66/845.80	c  845s |      15 |   231456 |   128032 |    14915     11 |        0 |        0
848.16/848.32	c  848s |      15 |   231796 |   128332 |    14915     11 |        0 |        0
850.36/850.54	c  850s |      15 |   232141 |   128632 |    14915     11 |        0 |        0
852.86/853.03	c  852s |      15 |   232477 |   128932 |    14915     11 |        0 |        0
855.26/855.47	c  855s |      15 |   232836 |   129232 |    14915     11 |        0 |        0
857.76/858.00	c  857s |      15 |   233172 |   129532 |    14915     11 |        0 |        0
860.17/860.32	c  860s |      15 |   233503 |   129832 |    14915     11 |        0 |        0
862.46/862.68	c  862s |      15 |   233844 |   130132 |    14915     11 |        0 |        0
865.15/865.31	c  865s |      15 |   234147 |   130432 |    14915     11 |        0 |        0
867.56/867.76	c  867s |      15 |   234486 |   130732 |    16407     11 |        0 |        0
869.96/870.17	c  870s |      15 |   234801 |   131032 |    16407     11 |        0 |        0
872.45/872.62	c  872s |      15 |   235134 |   131332 |    16407     11 |        0 |        0
874.47/874.66	c  874s |      16 |   235370 |   131552 |    16407     11 |        0 |        0
880.16/880.38	c  880s |      16 |   240805 |   131652 |    16407     12 |        0 |        0
882.26/882.41	c  882s |      16 |   241345 |   132052 |    16407     12 |        0 |        0
884.45/884.64	c  884s |      16 |   241820 |   132452 |    16407     12 |        0 |        0
886.65/886.88	c  886s |      16 |   242304 |   132852 |    16407     12 |        0 |        0
888.76/888.97	c  888s |      16 |   242668 |   133152 |    16407     12 |        0 |        0
891.25/891.42	c  891s |      16 |   243159 |   133552 |    16407     12 |        0 |        0
893.65/893.82	c  893s |      16 |   243662 |   133952 |    16407     12 |        0 |        0
895.85/896.01	c  895s |      16 |   243992 |   134252 |    16407     12 |        0 |        0
898.05/898.21	c  898s |      16 |   244353 |   134552 |    16407     12 |        0 |        0
900.65/900.81	c  900s |      16 |   244872 |   134952 |    16407     12 |        0 |        0
902.65/902.89	c  902s |      16 |   245247 |   135252 |    16407     12 |        0 |        0
905.25/905.45	c  905s |      16 |   245719 |   135652 |    16407     12 |        0 |        0
907.36/907.56	c  907s |      16 |   246064 |   135952 |    16407     12 |        0 |        0
909.56/909.77	c  909s |      16 |   246450 |   136252 |    16407     12 |        0 |        0
912.05/912.25	c  912s |      16 |   246813 |   136552 |    16407     12 |        0 |        0
914.65/914.87	c  914s |      16 |   247150 |   136852 |    16407     12 |        0 |        0
916.95/917.13	c  917s |      16 |   247497 |   137152 |    16407     12 |        0 |        0
919.24/919.42	c  919s |      16 |   247845 |   137452 |    16407     12 |        0 |        0
921.35/921.57	c  921s |      16 |   248246 |   137752 |    16407     12 |        0 |        0
923.86/924.07	c  923s |      16 |   248609 |   138052 |    16407     12 |        0 |        0
926.24/926.48	c  926s |      16 |   248983 |   138352 |    16407     12 |        0 |        0
928.75/928.92	c  928s |      16 |   249351 |   138652 |    16407     12 |        0 |        0
931.24/931.43	c  931s |      16 |   249701 |   138952 |    16407     12 |        0 |        0
933.85/934.06	c  933s |      16 |   250056 |   139252 |    16407     12 |        0 |        0
936.54/936.72	c  936s |      16 |   250415 |   139552 |    16407     12 |        0 |        0
939.25/939.48	c  939s |      16 |   250749 |   139852 |    16407     12 |        0 |        0
942.04/942.21	c  942s |      16 |   251092 |   140152 |    16407     12 |        0 |        0
944.64/944.81	c  944s |      16 |   251434 |   140452 |    16407     12 |        0 |        0
947.24/947.40	c  947s |      16 |   251762 |   140752 |    16407     12 |        0 |        0
949.83/950.01	c  949s |      16 |   252105 |   141052 |    16407     12 |        0 |        0
952.23/952.45	c  952s |      16 |   252448 |   141352 |    16407     12 |        0 |        0
954.84/955.10	c  955s |      16 |   252800 |   141652 |    16407     12 |        0 |        0
957.23/957.41	c  957s |      16 |   253153 |   141952 |    16407     12 |        0 |        0
959.44/959.61	c  959s |      16 |   253513 |   142252 |    16407     12 |        0 |        0
961.73/961.99	c  961s |      16 |   253847 |   142552 |    16407     12 |        0 |        0
964.23/964.46	c  964s |      16 |   254189 |   142852 |    16407     12 |        0 |        0
966.74/966.95	c  966s |      16 |   254537 |   143152 |    16407     12 |        0 |        0
969.13/969.39	c  969s |      16 |   254867 |   143452 |    16407     12 |        0 |        0
971.73/971.90	c  971s |      16 |   255205 |   143752 |    16407     12 |        0 |        0
974.03/974.27	c  974s |      16 |   255545 |   144052 |    16407     12 |        0 |        0
976.53/976.75	c  976s |      16 |   255902 |   144352 |    16407     12 |        0 |        0
978.84/979.05	c  978s |      16 |   256261 |   144652 |    16407     12 |        0 |        0
981.43/981.66	c  981s |      16 |   256598 |   144952 |    16407     12 |        0 |        0
984.33/984.60	c  984s |      16 |   256938 |   145252 |    16407     12 |        0 |        0
987.03/987.25	c  987s |      16 |   257283 |   145552 |    16407     12 |        0 |        0
989.62/989.84	c  989s |      16 |   257616 |   145852 |    16407     12 |        0 |        0
992.04/992.21	c  992s |      16 |   257959 |   146152 |    16407     12 |        0 |        0
994.52/994.71	c  994s |      16 |   258290 |   146452 |    16407     12 |        0 |        0
996.82/997.02	c  996s |      16 |   258534 |   146652 |    16407     12 |        0 |        0
999.42/999.68	c  999s |      16 |   258868 |   146952 |    16407     12 |        0 |        0
1002.32/1002.50	c 1002s |      16 |   259222 |   147252 |    16407     12 |        0 |        0
1007.32/1007.57	c 1007s |      16 |   259546 |   147552 |    16407     13 |        0 |        0
1009.82/1010.06	c 1009s |      16 |   259882 |   147852 |    16407     13 |        0 |        0
1012.42/1012.66	c 1012s |      16 |   260206 |   148152 |    16407     13 |        0 |        0
1014.82/1015.08	c 1014s |      16 |   260543 |   148452 |    16407     13 |        0 |        0
1017.33/1017.53	c 1017s |      16 |   260899 |   148752 |    16407     13 |        0 |        0
1019.81/1020.10	c 1020s |      16 |   261272 |   149052 |    16407     13 |        0 |        0
1022.52/1022.78	c 1022s |      16 |   261613 |   149352 |    16407     13 |        0 |        0
1025.31/1025.51	c 1025s |      16 |   261968 |   149652 |    16407     13 |        0 |        0
1028.12/1028.39	c 1028s |      16 |   262300 |   149952 |    16407     13 |        0 |        0
1030.91/1031.12	c 1031s |      16 |   262628 |   150252 |    16407     13 |        0 |        0
1033.71/1033.95	c 1033s |      16 |   262975 |   150552 |    16407     13 |        0 |        0
1036.61/1036.87	c 1036s |      16 |   263330 |   150852 |    16407     13 |        0 |        0
1038.71/1038.95	c 1038s |      16 |   263565 |   151052 |    16407     13 |        0 |        0
1040.91/1041.10	c 1041s |      16 |   263800 |   151252 |    16407     13 |        0 |        0
1043.01/1043.23	c 1043s |      16 |   264017 |   151452 |    16407     13 |        0 |        0
1045.61/1045.83	c 1045s |      16 |   264359 |   151752 |    16407     13 |        0 |        0
1048.40/1048.65	c 1048s |      16 |   264715 |   152052 |    16407     13 |        0 |        0
1050.51/1050.72	c 1050s |      16 |   264922 |   152252 |    16407     13 |        0 |        0
1053.20/1053.46	c 1053s |      16 |   265297 |   152552 |    16407     13 |        0 |        0
1055.70/1055.91	c 1055s |      16 |   265626 |   152852 |    16407     13 |        0 |        0
1058.30/1058.54	c 1058s |      16 |   265969 |   153152 |    16407     13 |        0 |        0
1060.91/1061.10	c 1061s |      16 |   266317 |   153452 |    16407     13 |        0 |        0
1063.31/1063.58	c 1063s |      16 |   266659 |   153752 |    16407     13 |        0 |        0
1065.90/1066.19	c 1066s |      16 |   267006 |   154052 |    16407     13 |        0 |        0
1068.69/1068.94	c 1068s |      16 |   267345 |   154352 |    16407     13 |        0 |        0
1070.70/1071.00	c 1070s |      16 |   267603 |   154552 |    16407     13 |        0 |        0
1073.40/1073.64	c 1073s |      16 |   267949 |   154852 |    16407     13 |        0 |        0
1075.89/1076.17	c 1076s |      16 |   268270 |   155152 |    16407     13 |        0 |        0
1078.30/1078.58	c 1078s |      16 |   268617 |   155452 |    16407     13 |        0 |        0
1081.20/1081.42	c 1081s |      16 |   268936 |   155752 |    16407     13 |        0 |        0
1083.19/1083.46	c 1083s |      16 |   269161 |   155952 |    16407     13 |        0 |        0
1085.60/1085.84	c 1085s |      16 |   269374 |   156152 |    16407     13 |        0 |        0
1087.70/1087.96	c 1087s |      16 |   269611 |   156352 |    16407     13 |        0 |        0
1090.59/1090.83	c 1090s |      16 |   269937 |   156652 |    16407     13 |        0 |        0
1093.39/1093.66	c 1093s |      16 |   270282 |   156952 |    16407     13 |        0 |        0
1095.99/1096.27	c 1096s |      16 |   270619 |   157252 |    16407     13 |        0 |        0
1098.69/1099.00	c 1098s |      16 |   270952 |   157552 |    16407     13 |        0 |        0
1100.78/1101.08	c 1100s |      16 |   271190 |   157752 |    16407     13 |        0 |        0
1103.58/1103.82	c 1103s |      16 |   271520 |   158052 |    16407     13 |        0 |        0
1106.40/1106.64	c 1106s |      16 |   271854 |   158352 |    16407     13 |        0 |        0
1108.49/1108.70	c 1108s |      16 |   272072 |   158552 |    16407     13 |        0 |        0
1111.08/1111.39	c 1111s |      16 |   272415 |   158852 |    16407     13 |        0 |        0
1113.99/1114.31	c 1114s |      16 |   272762 |   159152 |    16407     13 |        0 |        0
1116.68/1116.94	c 1116s |      16 |   273093 |   159452 |    16407     13 |        0 |        0
1119.38/1119.67	c 1119s |      16 |   273422 |   159752 |    16407     13 |        0 |        0
1122.08/1122.34	c 1122s |      16 |   273748 |   160052 |    16407     13 |        0 |        0
1124.68/1124.93	c 1124s |      16 |   274080 |   160352 |    16407     13 |        0 |        0
1127.58/1127.82	c 1127s |      16 |   274425 |   160652 |    16407     13 |        0 |        0
1130.98/1131.26	c 1131s |      16 |   274543 |   160752 |    16407     14 |        0 |        0
1133.58/1133.84	c 1133s |      16 |   274892 |   161052 |    16407     14 |        0 |        0
1135.68/1135.97	c 1135s |      16 |   275114 |   161252 |    16407     14 |        0 |        0
1137.98/1138.29	c 1138s |      16 |   275449 |   161552 |    16407     14 |        0 |        0
1140.49/1140.80	c 1140s |      16 |   275782 |   161852 |    16407     14 |        0 |        0
1143.08/1143.35	c 1143s |      16 |   276114 |   162152 |    16407     14 |        0 |        0
1145.58/1145.83	c 1145s |      16 |   276467 |   162452 |    16407     14 |        0 |        0
1147.98/1148.22	c 1148s |      16 |   276804 |   162752 |    16407     14 |        0 |        0
1150.78/1151.01	c 1150s |      16 |   277129 |   163052 |    16407     14 |        0 |        0
1153.28/1153.58	c 1153s |      16 |   277460 |   163352 |    16407     14 |        0 |        0
1156.07/1156.33	c 1156s |      16 |   277805 |   163652 |    16407     14 |        0 |        0
1158.97/1159.22	c 1159s |      16 |   278128 |   163952 |    16407     14 |        0 |        0
1161.77/1162.03	c 1161s |      16 |   278450 |   164252 |    16407     14 |        0 |        0
1164.48/1164.71	c 1164s |      16 |   278781 |   164552 |    16407     14 |        0 |        0
1167.17/1167.48	c 1167s |      16 |   279123 |   164852 |    16407     14 |        0 |        0
1170.07/1170.37	c 1170s |      16 |   279460 |   165152 |    16407     14 |        0 |        0
1172.07/1172.38	c 1172s |      16 |   279688 |   165352 |    16407     14 |        0 |        0
1174.18/1174.40	c 1174s |      16 |   279894 |   165552 |    16407     14 |        0 |        0
1176.87/1177.15	c 1177s |      16 |   280232 |   165852 |    16407     14 |        0 |        0
1179.37/1179.65	c 1179s |      16 |   280574 |   166152 |    16407     14 |        0 |        0
1181.97/1182.21	c 1182s |      16 |   280905 |   166452 |    16407     14 |        0 |        0
1183.97/1184.30	c 1184s |      16 |   281122 |   166652 |    16407     14 |        0 |        0
1186.16/1186.41	c 1186s |      16 |   281334 |   166852 |    16407     14 |        0 |        0
1188.77/1189.08	c 1188s |      16 |   281697 |   167152 |    16407     14 |        0 |        0
1191.47/1191.76	c 1191s |      16 |   282046 |   167452 |    16407     14 |        0 |        0
1194.06/1194.39	c 1194s |      16 |   282389 |   167752 |    16407     14 |        0 |        0
1196.96/1197.22	c 1197s |      16 |   282726 |   168052 |    16407     14 |        0 |        0
1199.76/1200.05	c 1199s |      16 |   283061 |   168352 |    16407     14 |        0 |        0
1201.96/1202.22	c 1202s |      16 |   283309 |   168552 |    16407     14 |        0 |        0
1204.66/1204.97	c 1204s |      16 |   283668 |   168852 |    16407     14 |        0 |        0
1207.36/1207.67	c 1207s |      16 |   284009 |   169152 |    16407     14 |        0 |        0
1209.36/1209.69	c 1209s |      16 |   284252 |   169352 |    16407     14 |        0 |        0
1212.26/1212.54	c 1212s |      16 |   284581 |   169652 |    16407     14 |        0 |        0
1214.36/1214.66	c 1214s |      16 |   284802 |   169852 |    16407     14 |        0 |        0
1217.15/1217.48	c 1217s |      16 |   285134 |   170152 |    16407     14 |        0 |        0
1219.35/1219.60	c 1219s |      16 |   285374 |   170352 |    16407     14 |        0 |        0
1221.55/1221.87	c 1221s |      16 |   285593 |   170552 |    16407     14 |        0 |        0
1223.76/1224.02	c 1223s |      16 |   285815 |   170752 |    16407     14 |        0 |        0
1225.75/1226.02	c 1225s |      16 |   286034 |   170952 |    16407     14 |        0 |        0
1227.96/1228.24	c 1228s |      16 |   286250 |   171152 |    16407     14 |        0 |        0
1230.16/1230.40	c 1230s |      16 |   286464 |   171352 |    16407     14 |        0 |        0
1232.46/1232.70	c 1232s |      16 |   286680 |   171552 |    16407     14 |        0 |        0
1234.45/1234.77	c 1234s |      16 |   286897 |   171752 |    16407     14 |        0 |        0
1237.05/1237.37	c 1237s |      16 |   287241 |   172052 |    16407     14 |        0 |        0
1239.15/1239.47	c 1239s |      16 |   287467 |   172252 |    16407     14 |        0 |        0
1241.95/1242.27	c 1242s |      16 |   287796 |   172552 |    16407     14 |        0 |        0
1244.65/1244.90	c 1244s |      16 |   288135 |   172852 |    16407     14 |        0 |        0
1247.35/1247.69	c 1247s |      16 |   288462 |   173152 |    16407     14 |        0 |        0
1250.46/1250.76	c 1250s |      16 |   288791 |   173452 |    16407     14 |        0 |        0
1252.76/1253.03	c 1252s |      16 |   289022 |   173652 |    16407     14 |        0 |        0
1254.75/1255.10	c 1255s |      16 |   289234 |   173852 |    16407     14 |        0 |        0
1259.36/1259.62	c 1259s |      16 |   289455 |   174052 |    16407     15 |        0 |        0
1261.85/1262.15	c 1262s |      16 |   289798 |   174352 |    16407     15 |        0 |        0
1264.15/1264.41	c 1264s |      16 |   290022 |   174552 |    16407     15 |        0 |        0
1267.85/1268.19	c 1268s |      16 |   290253 |   174752 |    16407     15 |        0 |        0
1270.64/1270.94	c 1270s |      16 |   290592 |   175052 |    16407     15 |        0 |        0
1273.44/1273.74	c 1273s |      16 |   290912 |   175352 |    16407     15 |        0 |        0
1276.14/1276.46	c 1276s |      16 |   291273 |   175652 |    16407     15 |        0 |        0
1278.84/1279.19	c 1279s |      16 |   291621 |   175952 |    16407     15 |        0 |        0
1281.84/1282.11	c 1282s |      16 |   291935 |   176252 |    16407     15 |        0 |        0
1284.44/1284.78	c 1284s |      16 |   292274 |   176552 |    16407     15 |        0 |        0
1287.34/1287.64	c 1287s |      16 |   292629 |   176852 |    16407     15 |        0 |        0
1290.24/1290.50	c 1290s |      16 |   292956 |   177152 |    16407     15 |        0 |        0
1293.14/1293.46	c 1293s |      16 |   293278 |   177452 |    16407     15 |        0 |        0
1295.14/1295.49	c 1295s |      16 |   293506 |   177652 |    16407     15 |        0 |        0
1297.64/1297.95	c 1297s |      16 |   293836 |   177952 |    16407     15 |        0 |        0
1300.24/1300.50	c 1300s |      16 |   294183 |   178252 |    16407     15 |        0 |        0
1302.24/1302.51	c 1302s |      16 |   294408 |   178452 |    16407     15 |        0 |        0
1304.94/1305.24	c 1305s |      16 |   294735 |   178752 |    16407     15 |        0 |        0
1307.64/1308.00	c 1307s |      16 |   295065 |   179052 |    16407     15 |        0 |        0
1310.43/1310.78	c 1310s |      16 |   295410 |   179352 |    16407     15 |        0 |        0
1313.14/1313.46	c 1313s |      16 |   295751 |   179652 |    16407     15 |        0 |        0
1316.03/1316.31	c 1316s |      16 |   296095 |   179952 |    16407     15 |        0 |        0
1318.93/1319.26	c 1319s |      16 |   296440 |   180252 |    16407     15 |        0 |        0
1321.13/1321.43	c 1321s |      16 |   296667 |   180452 |    16407     15 |        0 |        0
1324.03/1324.36	c 1324s |      16 |   297027 |   180752 |    16407     15 |        0 |        0
1326.84/1327.15	c 1327s |      16 |   297347 |   181052 |    16407     15 |        0 |        0
1328.93/1329.25	c 1329s |      16 |   297562 |   181252 |    16407     15 |        0 |        0
1331.13/1331.45	c 1331s |      16 |   297798 |   181452 |    16407     15 |        0 |        0
1334.14/1334.49	c 1334s |      16 |   298132 |   181752 |    16407     15 |        0 |        0
1336.83/1337.17	c 1337s |      16 |   298470 |   182052 |    16407     15 |        0 |        0
1339.82/1340.15	c 1340s |      16 |   298816 |   182352 |    16407     15 |        0 |        0
1342.83/1343.15	c 1343s |      16 |   299164 |   182652 |    16407     15 |        0 |        0
1345.53/1345.86	c 1345s |      16 |   299506 |   182952 |    16407     15 |        0 |        0
1347.63/1347.96	c 1347s |      16 |   299732 |   183152 |    16407     15 |        0 |        0
1349.72/1350.04	c 1349s |      16 |   299944 |   183352 |    16407     15 |        0 |        0
1352.62/1353.00	c 1352s |      16 |   300292 |   183652 |    16407     15 |        0 |        0
1355.52/1355.82	c 1355s |      16 |   300625 |   183952 |    16407     15 |        0 |        0
1358.23/1358.59	c 1358s |      16 |   300972 |   184252 |    16407     15 |        0 |        0
1361.02/1361.35	c 1361s |      16 |   301318 |   184552 |    16407     15 |        0 |        0
1363.12/1363.48	c 1363s |      16 |   301529 |   184752 |    16407     15 |        0 |        0
1365.82/1366.13	c 1366s |      16 |   301929 |   185052 |    16407     15 |        0 |        0
1367.92/1368.22	c 1368s |      16 |   302143 |   185252 |    16407     15 |        0 |        0
1370.62/1370.98	c 1370s |      16 |   302481 |   185552 |    16407     15 |        0 |        0
1373.42/1373.77	c 1373s |      16 |   302854 |   185852 |    16407     15 |        0 |        0
1376.41/1376.72	c 1376s |      16 |   303168 |   186152 |    16407     15 |        0 |        0
1379.52/1379.85	c 1379s |      16 |   303580 |   186452 |    16407     15 |        0 |        0
1381.61/1381.94	c 1381s |      16 |   303837 |   186652 |    16407     15 |        0 |        0
1383.81/1384.15	c 1384s |      16 |   304074 |   186852 |    16407     15 |        0 |        0
1386.71/1387.02	c 1386s |      16 |   304410 |   187152 |    16407     15 |        0 |        0
1391.81/1392.18	c 1392s |      16 |   304631 |   187352 |    16407     16 |        0 |        0
1394.31/1394.61	c 1394s |      16 |   304866 |   187552 |    16407     16 |        0 |        0
1396.72/1397.04	c 1396s |      16 |   305195 |   187852 |    16407     16 |        0 |        0
1399.21/1399.52	c 1399s |      16 |   305548 |   188152 |    16407     16 |        0 |        0
1401.71/1402.05	c 1401s |      16 |   305901 |   188452 |    16407     16 |        0 |        0
1403.81/1404.12	c 1404s |      16 |   306115 |   188652 |    16407     16 |        0 |        0
1406.31/1406.68	c 1406s |      16 |   306447 |   188952 |    16407     16 |        0 |        0
1408.51/1408.80	c 1408s |      16 |   306680 |   189152 |    16407     16 |        0 |        0
1411.02/1411.33	c 1411s |      16 |   307024 |   189452 |    16407     16 |        0 |        0
1413.71/1414.07	c 1413s |      16 |   307381 |   189752 |    16407     16 |        0 |        0
1415.81/1416.17	c 1416s |      16 |   307602 |   189952 |    16407     16 |        0 |        0
1417.91/1418.22	c 1418s |      16 |   307843 |   190152 |    16407     16 |        0 |        0
1420.41/1420.78	c 1420s |      16 |   308213 |   190452 |    16407     16 |        0 |        0
1423.21/1423.55	c 1423s |      16 |   308556 |   190752 |    16407     16 |        0 |        0
1425.80/1426.17	c 1426s |      16 |   308894 |   191052 |    16407     16 |        0 |        0
1428.50/1428.87	c 1428s |      16 |   309242 |   191352 |    16407     16 |        0 |        0
1431.50/1431.80	c 1431s |      16 |   309581 |   191652 |    16407     16 |        0 |        0
1434.31/1434.61	c 1434s |      16 |   309954 |   191952 |    16407     16 |        0 |        0
1436.31/1436.68	c 1436s |      16 |   310179 |   192152 |    16407     16 |        0 |        0
1439.21/1439.59	c 1439s |      16 |   310515 |   192452 |    16407     16 |        0 |        0
1442.30/1442.62	c 1442s |      16 |   310837 |   192752 |    16407     16 |        0 |        0
1445.11/1445.48	c 1445s |      16 |   311196 |   193052 |    16407     16 |        0 |        0
1448.10/1448.47	c 1448s |      16 |   311534 |   193352 |    16407     16 |        0 |        0
1450.20/1450.55	c 1450s |      16 |   311747 |   193552 |    16407     16 |        0 |        0
1452.30/1452.66	c 1452s |      16 |   311965 |   193752 |    16407     16 |        0 |        0
1455.20/1455.57	c 1455s |      16 |   312326 |   194052 |    16407     16 |        0 |        0
1457.99/1458.35	c 1458s |      16 |   312673 |   194352 |    16407     16 |        0 |        0
1460.89/1461.25	c 1461s |      16 |   313003 |   194652 |    16407     16 |        0 |        0
1463.69/1464.07	c 1463s |      16 |   313320 |   194952 |    16407     16 |        0 |        0
1466.49/1466.83	c 1466s |      16 |   313656 |   195252 |    16407     16 |        0 |        0
1469.40/1469.79	c 1469s |      16 |   313978 |   195552 |    16407     16 |        0 |        0
1472.29/1472.67	c 1472s |      16 |   314304 |   195852 |    16407     16 |        0 |        0
1475.09/1475.43	c 1475s |      16 |   314642 |   196152 |    18048     16 |        0 |        0
1477.79/1478.13	c 1478s |      16 |   314963 |   196452 |    18048     16 |        0 |        0
1479.79/1480.19	c 1480s |      16 |   315167 |   196652 |    18048     16 |        0 |        0
1481.89/1482.23	c 1482s |      16 |   315384 |   196852 |    18048     16 |        0 |        0
1484.70/1485.05	c 1484s |      16 |   315712 |   197152 |    18048     16 |        0 |        0
1486.69/1487.07	c 1486s |      16 |   315936 |   197352 |    18048     16 |        0 |        0
1487.49/1487.80	c 1487s |      17 |   316034 |   197432 |    18048     16 |        0 |        0
1492.59/1492.98	c 1492s |      17 |   320681 |   197532 |    18048     17 |        0 |        0
1494.70/1495.06	c 1494s |      17 |   321662 |   198332 |    18048     17 |        0 |        0
1496.99/1497.30	c 1497s |      17 |   322448 |   199032 |    18048     17 |        0 |        0
1498.99/1499.37	c 1499s |      17 |   323113 |   199632 |    18048     17 |        0 |        0
1501.39/1501.74	c 1501s |      17 |   323943 |   200332 |    18048     17 |        0 |        0
1503.59/1503.92	c 1503s |      17 |   324623 |   200932 |    18048     17 |        0 |        0
1505.78/1506.19	c 1506s |      17 |   325295 |   201532 |    18048     17 |        0 |        0
1507.80/1508.20	c 1508s |      17 |   325846 |   202032 |    18048     17 |        0 |        0
1509.99/1510.40	c 1510s |      17 |   326411 |   202532 |    18048     17 |        0 |        0
1512.29/1512.65	c 1512s |      17 |   326957 |   203032 |    18048     17 |        0 |        0
1514.39/1514.79	c 1514s |      17 |   327515 |   203532 |    18048     17 |        0 |        0
1516.87/1517.22	c 1517s |      17 |   328099 |   204032 |    18048     17 |        0 |        0
1519.07/1519.44	c 1519s |      17 |   328662 |   204432 |    18048     17 |        0 |        0
1521.28/1521.63	c 1521s |      17 |   329093 |   204832 |    18048     17 |        0 |        0
1523.68/1524.04	c 1523s |      17 |   329526 |   205232 |    18048     17 |        0 |        0
1525.87/1526.27	c 1526s |      17 |   329974 |   205632 |    18048     17 |        0 |        0
1528.27/1528.64	c 1528s |      17 |   330413 |   206032 |    18048     17 |        0 |        0
1530.37/1530.77	c 1530s |      17 |   330882 |   206432 |    18048     17 |        0 |        0
1532.47/1532.85	c 1532s |      17 |   331315 |   206832 |    18048     17 |        0 |        0
1534.57/1534.90	c 1534s |      17 |   331762 |   207232 |    18048     17 |        0 |        0
1536.86/1537.25	c 1537s |      17 |   332183 |   207632 |    18048     17 |        0 |        0
1539.26/1539.60	c 1539s |      17 |   332609 |   208032 |    18048     17 |        0 |        0
1541.67/1542.04	c 1541s |      17 |   333048 |   208432 |    18048     17 |        0 |        0
1543.96/1544.37	c 1544s |      17 |   333476 |   208832 |    18048     17 |        0 |        0
1546.46/1546.82	c 1546s |      17 |   333898 |   209232 |    18048     17 |        0 |        0
1548.86/1549.20	c 1549s |      17 |   334328 |   209632 |    18048     17 |        0 |        0
1550.86/1551.26	c 1551s |      17 |   334646 |   209932 |    18048     17 |        0 |        0
1552.88/1553.27	c 1553s |      17 |   334972 |   210232 |    18048     17 |        0 |        0
1555.07/1555.46	c 1555s |      17 |   335293 |   210532 |    18048     17 |        0 |        0
1557.66/1558.06	c 1557s |      17 |   335718 |   210932 |    18048     17 |        0 |        0
1560.16/1560.52	c 1560s |      17 |   336170 |   211332 |    18048     17 |        0 |        0
1562.56/1562.98	c 1562s |      17 |   336602 |   211732 |    18048     17 |        0 |        0
1565.08/1565.48	c 1565s |      17 |   337064 |   212132 |    18048     17 |        0 |        0
1567.17/1567.52	c 1567s |      17 |   337388 |   212432 |    18048     17 |        0 |        0
1569.66/1570.08	c 1569s |      17 |   337823 |   212832 |    18048     17 |        0 |        0
1572.06/1572.49	c 1572s |      17 |   338289 |   213232 |    18048     17 |        0 |        0
1574.35/1574.73	c 1574s |      17 |   338719 |   213632 |    18048     17 |        0 |        0
1577.65/1578.07	c 1577s |      17 |   338953 |   213832 |    18048     18 |        0 |        0
1580.05/1580.44	c 1580s |      17 |   339395 |   214232 |    18048     18 |        0 |        0
1582.46/1582.88	c 1582s |      17 |   339832 |   214632 |    18048     18 |        0 |        0
1585.05/1585.41	c 1585s |      17 |   340260 |   215032 |    18048     18 |        0 |        0
1587.15/1587.55	c 1587s |      17 |   340589 |   215332 |    18048     18 |        0 |        0
1589.65/1590.08	c 1589s |      17 |   341033 |   215732 |    18048     18 |        0 |        0
1592.05/1592.44	c 1592s |      17 |   341490 |   216132 |    18048     18 |        0 |        0
1594.25/1594.67	c 1594s |      17 |   341928 |   216532 |    18048     18 |        0 |        0
1596.65/1597.01	c 1596s |      17 |   342360 |   216932 |    18048     18 |        0 |        0
1599.24/1599.62	c 1599s |      17 |   342782 |   217332 |    18048     18 |        0 |        0
1601.65/1602.00	c 1601s |      17 |   343234 |   217732 |    18048     18 |        0 |        0
1603.95/1604.34	c 1604s |      17 |   343675 |   218132 |    18048     18 |        0 |        0
1606.24/1606.66	c 1606s |      17 |   344122 |   218532 |    18048     18 |        0 |        0
1608.54/1608.96	c 1608s |      17 |   344545 |   218932 |    18048     18 |        0 |        0
1610.84/1611.21	c 1611s |      17 |   344986 |   219332 |    18048     18 |        0 |        0
1612.84/1613.23	c 1613s |      17 |   345314 |   219632 |    18048     18 |        0 |        0
1615.34/1615.73	c 1615s |      17 |   345754 |   220032 |    18048     18 |        0 |        0
1617.94/1618.30	c 1618s |      17 |   346185 |   220432 |    18048     18 |        0 |        0
1620.24/1620.66	c 1620s |      17 |   346503 |   220732 |    18048     18 |        0 |        0
1622.35/1622.70	c 1622s |      17 |   346838 |   221032 |    18048     18 |        0 |        0
1625.04/1625.44	c 1625s |      17 |   347288 |   221432 |    18048     18 |        0 |        0
1627.53/1627.97	c 1627s |      17 |   347754 |   221832 |    18048     18 |        0 |        0
1630.14/1630.52	c 1630s |      17 |   348234 |   222232 |    18048     18 |        0 |        0
1632.24/1632.62	c 1632s |      17 |   348562 |   222532 |    18048     18 |        0 |        0
1634.54/1634.99	c 1634s |      17 |   348996 |   222932 |    18048     18 |        0 |        0
1636.64/1637.02	c 1636s |      17 |   349334 |   223232 |    18048     18 |        0 |        0
1638.74/1639.14	c 1639s |      17 |   349684 |   223532 |    18048     18 |        0 |        0
1641.34/1641.72	c 1641s |      17 |   350123 |   223932 |    18048     18 |        0 |        0
1643.93/1644.34	c 1644s |      17 |   350616 |   224332 |    18048     18 |        0 |        0
1646.13/1646.50	c 1646s |      17 |   350968 |   224632 |    18048     18 |        0 |        0
1648.23/1648.69	c 1648s |      17 |   351318 |   224932 |    18048     18 |        0 |        0
1650.84/1651.24	c 1651s |      17 |   351655 |   225232 |    18048     18 |        0 |        0
1652.83/1653.25	c 1653s |      17 |   352013 |   225532 |    18048     18 |        0 |        0
1655.53/1655.94	c 1655s |      17 |   352482 |   225932 |    18048     18 |        0 |        0
1657.93/1658.31	c 1658s |      17 |   352932 |   226332 |    18048     18 |        0 |        0
1660.03/1660.43	c 1660s |      17 |   353368 |   226732 |    18048     18 |        0 |        0
1662.43/1662.82	c 1662s |      17 |   353828 |   227132 |    18048     18 |        0 |        0
1664.92/1665.30	c 1665s |      17 |   354271 |   227532 |    18048     18 |        0 |        0
1666.92/1667.33	c 1667s |      17 |   354628 |   227832 |    18048     18 |        0 |        0
1670.32/1670.74	c 1670s |      17 |   354855 |   228032 |    18048     19 |        0 |        0
1672.62/1673.07	c 1672s |      17 |   355284 |   228432 |    18048     19 |        0 |        0
1675.32/1675.70	c 1675s |      17 |   355744 |   228832 |    18048     19 |        0 |        0
1677.82/1678.23	c 1678s |      17 |   356295 |   229332 |    18048     19 |        0 |        0
1679.82/1680.29	c 1680s |      17 |   356754 |   229732 |    18048     19 |        0 |        0
1682.22/1682.62	c 1682s |      17 |   357213 |   230132 |    18048     19 |        0 |        0
1684.72/1685.18	c 1685s |      17 |   357661 |   230532 |    18048     19 |        0 |        0
1687.22/1687.63	c 1687s |      17 |   358122 |   230932 |    18048     19 |        0 |        0
1689.72/1690.13	c 1690s |      17 |   358549 |   231332 |    18048     19 |        0 |        0
1692.01/1692.50	c 1692s |      17 |   359035 |   231732 |    18048     19 |        0 |        0
1694.73/1695.13	c 1695s |      17 |   359473 |   232132 |    18048     19 |        0 |        0
1697.22/1697.63	c 1697s |      17 |   359922 |   232532 |    18048     19 |        0 |        0
1699.61/1700.09	c 1699s |      17 |   360387 |   232932 |    18048     19 |        0 |        0
1702.21/1702.61	c 1702s |      17 |   360842 |   233332 |    18048     19 |        0 |        0
1704.32/1704.76	c 1704s |      17 |   361157 |   233632 |    18048     19 |        0 |        0
1706.61/1707.08	c 1706s |      17 |   361526 |   233932 |    18048     19 |        0 |        0
1708.92/1709.33	c 1709s |      17 |   361969 |   234332 |    18048     19 |        0 |        0
1711.11/1711.56	c 1711s |      17 |   362455 |   234732 |    18048     19 |        0 |        0
1713.61/1714.04	c 1713s |      17 |   362906 |   235132 |    18048     19 |        0 |        0
1716.21/1716.61	c 1716s |      17 |   363369 |   235532 |    18048     19 |        0 |        0
1718.92/1719.31	c 1719s |      17 |   363876 |   235932 |    18048     19 |        0 |        0
1720.91/1721.34	c 1721s |      17 |   364216 |   236232 |    18048     19 |        0 |        0
1723.42/1723.87	c 1723s |      17 |   364546 |   236532 |    18048     19 |        0 |        0
1726.01/1726.43	c 1726s |      17 |   364882 |   236832 |    18048     19 |        0 |        0
1728.11/1728.51	c 1728s |      17 |   365248 |   237132 |    18048     19 |        0 |        0
1730.20/1730.63	c 1730s |      17 |   365593 |   237432 |    18048     19 |        0 |        0
1732.22/1732.63	c 1732s |      17 |   365917 |   237732 |    18048     19 |        0 |        0
1734.80/1735.23	c 1735s |      17 |   366382 |   238132 |    18048     19 |        0 |        0
1736.90/1737.35	c 1737s |      17 |   366705 |   238432 |    18048     19 |        0 |        0
1739.20/1739.69	c 1739s |      17 |   367064 |   238732 |    18048     19 |        0 |        0
1741.61/1742.00	c 1741s |      17 |   367390 |   239032 |    18048     19 |        0 |        0
1744.10/1744.56	c 1744s |      17 |   367863 |   239432 |    18048     19 |        0 |        0
1746.41/1746.85	c 1746s |      17 |   368194 |   239732 |    18048     19 |        0 |        0
1748.71/1749.19	c 1749s |      17 |   368534 |   240032 |    18048     19 |        0 |        0
1750.90/1751.36	c 1751s |      17 |   368887 |   240332 |    18048     19 |        0 |        0
1753.20/1753.64	c 1753s |      17 |   369248 |   240632 |    18048     19 |        0 |        0
1756.00/1756.40	c 1756s |      17 |   369575 |   240932 |    18048     19 |        0 |        0
1758.70/1759.10	c 1759s |      17 |   369910 |   241232 |    18048     19 |        0 |        0
1761.40/1761.80	c 1761s |      17 |   370377 |   241632 |    18048     19 |        0 |        0
1766.39/1766.83	c 1766s |      17 |   370855 |   242032 |    18048     20 |        0 |        0
1768.59/1769.04	c 1768s |      17 |   371189 |   242332 |    18048     20 |        0 |        0
1770.99/1771.46	c 1771s |      17 |   371756 |   242832 |    18048     20 |        0 |        0
1773.29/1773.71	c 1773s |      17 |   372190 |   243232 |    18048     20 |        0 |        0
1775.60/1776.06	c 1775s |      17 |   372657 |   243632 |    18048     20 |        0 |        0
1777.80/1778.28	c 1778s |      17 |   373105 |   244032 |    18048     20 |        0 |        0
1780.09/1780.52	c 1780s |      17 |   373535 |   244432 |    18048     20 |        0 |        0
1782.39/1782.84	c 1782s |      17 |   373970 |   244832 |    18048     20 |        0 |        0
1784.79/1785.24	c 1785s |      17 |   374423 |   245232 |    18048     20 |        0 |        0
1787.19/1787.63	c 1787s |      17 |   374869 |   245632 |    18048     20 |        0 |        0
1789.48/1789.94	c 1789s |      17 |   375329 |   246032 |    18048     20 |        0 |        0
1791.99/1792.46	c 1792s |      17 |   375776 |   246432 |    18048     20 |        0 |        0
1794.48/1794.93	c 1794s |      17 |   376252 |   246832 |    18048     20 |        0 |        0
1797.18/1797.61	c 1797s |      17 |   376694 |   247232 |    18048     20 |        0 |        0
1799.58/1800.08	c 1799s |      17 |   377146 |   247632 |    18048     20 |        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-4078761-1465241089/watcher-4078761-1465241089 -o /tmp/evaluation-result-4078761-1465241089/solver-4078761-1465241089 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078761-1465241089.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.05 2.06 3/261 31740
/proc/meminfo: memFree=30905412/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1165756 CPUtime=0 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 4427 0 0 0 0 0 0 0 20 0 4 0 105950929 1193734144 4278 33554432000 4194304 16246674 140737104493520 140737104492944 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 292207 4286 441 2943 0 289101 0
[pid=31740/tid=31741] ppid=31737 vsize=1187260 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1215754240 4362 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1192380 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1220997120 4381 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1196476 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105950929 1225191424 4397 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.02 2.05 2.06 3/261 31740
/proc/meminfo: memFree=30905412/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1221188 CPUtime=0.08 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 24448 0 0 0 5 3 0 0 20 0 4 0 105950929 1250496512 24237 33554432000 4194304 16246674 140737104493520 140737104492832 5587389 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 305297 24242 849 2943 0 302191 0
[pid=31740/tid=31741] ppid=31737 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1250496512 24246 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1250496512 24251 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1250496512 24257 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200495 s]
/proc/loadavg: 2.02 2.05 2.06 3/261 31740
/proc/meminfo: memFree=30905412/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1300036 CPUtime=0.19 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 41508 0 0 0 13 6 0 0 20 0 4 0 105950929 1331236864 41297 33554432000 4194304 16246674 140737104493520 140737104492832 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 325009 41311 873 2943 0 321903 0
[pid=31740/tid=31741] ppid=31737 vsize=1300036 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1331236864 41323 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1300036 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1331236864 41336 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1300036 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1331236864 41348 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1300036

[startup+0.300488 s]
/proc/loadavg: 2.02 2.05 2.06 3/261 31740
/proc/meminfo: memFree=30905412/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1307204 CPUtime=0.29 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 48669 0 0 0 22 7 0 0 20 0 4 0 105950929 1338576896 48457 33554432000 4194304 16246674 140737104493520 140737104492832 5663750 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 326801 48457 876 2943 0 323695 0
[pid=31740/tid=31741] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 48457 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 48457 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 48457 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700425 s]
/proc/loadavg: 2.02 2.05 2.06 3/261 31740
/proc/meminfo: memFree=30905412/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1307204 CPUtime=0.69 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 57173 0 0 0 61 8 0 0 20 0 4 0 105950929 1338576896 56961 33554432000 4194304 16246674 140737104493520 140737104492696 12474881 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 326801 56961 876 2943 0 323695 0
[pid=31740/tid=31741] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 56961 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 56961 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 56961 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50042 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 31744
/proc/meminfo: memFree=30678244/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1307204 CPUtime=1.49 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 57173 0 0 0 141 8 0 0 20 0 4 0 105950929 1338576896 56961 33554432000 4194304 16246674 140737104493520 140737104492696 12478757 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 326801 56961 876 2943 0 323695 0
[pid=31740/tid=31741] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 56961 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 56961 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 56961 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 31744
/proc/meminfo: memFree=30677252/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1307204 CPUtime=3.09 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 57331 0 0 0 301 8 0 0 20 0 4 0 105950929 1338576896 57119 33554432000 4194304 16246674 140737104493520 140737104475392 13191314 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 326801 57119 877 2943 0 323695 0
[pid=31740/tid=31741] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 57119 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 57119 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 57119 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 31744
/proc/meminfo: memFree=30671012/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1307204 CPUtime=6.29 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 58657 0 0 0 620 9 0 0 20 0 4 0 105950929 1338576896 58445 33554432000 4194304 16246674 140737104493520 140737104492696 13950199 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 326801 58445 877 2943 0 323695 0
[pid=31740/tid=31741] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 58445 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 58445 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 58445 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 31744
/proc/meminfo: memFree=30671076/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1307204 CPUtime=12.69 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 58657 0 0 0 1260 9 0 0 20 0 4 0 105950929 1338576896 58445 33554432000 4194304 16246674 140737104493520 140737104492696 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 326801 58445 877 2943 0 323695 0
[pid=31740/tid=31741] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 58445 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 58445 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1307204 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1338576896 58445 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.02 2.04 2.06 3/265 31744
/proc/meminfo: memFree=30458380/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1308228 CPUtime=25.49 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 111615 0 0 0 2532 17 0 0 20 0 4 0 105950929 1339625472 111403 33554432000 4194304 16246674 140737104493520 140737104492696 13191752 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 327057 111403 877 2943 0 323951 0
[pid=31740/tid=31741] ppid=31737 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1339625472 111403 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1339625472 111403 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1308228 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1339625472 111403 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.01 2.04 2.06 3/264 31744
/proc/meminfo: memFree=29975260/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1310276 CPUtime=51.08 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 232289 0 0 0 5070 38 0 0 20 0 4 0 105950929 1341722624 232077 33554432000 4194304 16246674 140737104493520 140737104492696 5721677 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 327569 232077 883 2943 0 324463 0
[pid=31740/tid=31741] ppid=31737 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1341722624 232077 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1341722624 232077 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1341722624 232077 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/265 31746
/proc/meminfo: memFree=29826500/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=1312324 CPUtime=102.29 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 269264 0 0 0 10179 50 0 0 20 0 4 0 105950929 1343819776 269052 33554432000 4194304 16246674 140737104493520 140737104492696 5546190 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 328081 269052 884 2943 0 324975 0
[pid=31740/tid=31741] ppid=31737 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 1343819776 269052 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 1343819776 269052 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 1343819776 269052 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1312324


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

/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2433604

[startup+1362.3 s]
/proc/loadavg: 2.06 2.10 2.03 3/265 934
/proc/meminfo: memFree=28697624/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2433604 CPUtime=1362.02 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 549725 0 0 0 135614 588 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140737104492696 14628944 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 608401 549629 885 2943 0 605295 0
[pid=31740/tid=31741] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2433604

[startup+1422.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/265 935
/proc/meminfo: memFree=28697276/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2433604 CPUtime=1422.01 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 549734 0 0 0 141565 636 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140737104492696 5672188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 608401 549629 885 2943 0 605295 0
[pid=31740/tid=31741] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 2433604

[startup+1482.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/265 936
/proc/meminfo: memFree=28697684/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2433604 CPUtime=1481.99 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 549748 0 0 0 147518 681 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140737104492696 5545788 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 608401 549629 885 2943 0 605295 0
[pid=31740/tid=31741] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2433604

[startup+1542.31 s]
/proc/loadavg: 2.18 2.10 2.04 3/266 940
/proc/meminfo: memFree=28697116/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2433604 CPUtime=1541.98 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 549773 0 0 0 153484 714 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140737104492696 5545721 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 608401 549629 885 2943 0 605295 0
[pid=31740/tid=31741] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 2433604

[startup+1602.3 s]
/proc/loadavg: 2.17 2.11 2.04 3/265 942
/proc/meminfo: memFree=28697524/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2433604 CPUtime=1601.95 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 549792 0 0 0 159424 771 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140737104492616 13950199 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 608401 549629 885 2943 0 605295 0
[pid=31740/tid=31741] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2433604 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2492010496 549629 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 2433604

[startup+1662.3 s]
/proc/loadavg: 2.12 2.10 2.04 3/265 943
/proc/meminfo: memFree=28534860/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2596420 CPUtime=1661.93 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 590390 0 0 0 165360 833 0 0 20 0 4 0 105950929 2658734080 590201 33554432000 4194304 16246674 140737104493520 140737104492696 15015658 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 649105 590201 886 2943 0 645999 0
[pid=31740/tid=31741] ppid=31737 vsize=2596420 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2658734080 590201 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2596420 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2658734080 590201 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2596420 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2658734080 590201 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 2596420

[startup+1722.3 s]
/proc/loadavg: 2.11 2.10 2.04 3/265 944
/proc/meminfo: memFree=28487272/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2643524 CPUtime=1721.91 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 602318 0 0 0 171304 887 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140737104492696 13943729 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 660881 602111 886 2943 0 657775 0
[pid=31740/tid=31741] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 2643524

[startup+1782.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/265 945
/proc/meminfo: memFree=28486808/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2643524 CPUtime=1781.9 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 602338 0 0 0 177254 936 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140737104492616 14628944 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 660881 602111 886 2943 0 657775 0
[pid=31740/tid=31741] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 2643524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.09 2.04 3/265 946
/proc/meminfo: memFree=28486768/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2643524 CPUtime=1800.08 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 602348 0 0 0 179057 951 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140737104492696 15015658 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 660881 602111 886 2943 0 657775 0
[pid=31740/tid=31741] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2643524

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

[startup+1800.5 s]
/proc/loadavg: 2.11 2.09 2.04 3/265 946
/proc/meminfo: memFree=28486768/32872528 swapFree=9196/9196
[pid=31740] ppid=31737 vsize=2643524 CPUtime=1800.08 cores=0-3,8-11
/proc/31740/stat : 31740 (toysat) R 31737 31740 25889 0 -1 4202496 602348 0 0 0 179057 951 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140737104492696 15015658 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31740/statm: 660881 602111 886 2943 0 657775 0
[pid=31740/tid=31741] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31741/stat : 31741 (toysat) S 31737 31740 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357254753520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31740/tid=31742] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31742/stat : 31742 (toysat) S 31737 31740 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357244263664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31740/tid=31743] ppid=31737 vsize=2643524 CPUtime=0 cores=0-3,8-11
/proc/31740/task/31743/stat : 31743 (toysat) S 31737 31740 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105950929 2706968576 602111 33554432000 4194304 16246674 140737104493520 140357233790128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2643524

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.56
CPU time (s): 1800.15
CPU user time (s): 1790.58
CPU system time (s): 9.56954
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 2643524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.58
system time used= 9.56954
maximum resident set size= 2408444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602348
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= 298
involuntary context switches= 1829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.145 second user time and 18.5152 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 21:24:49
IDJOB=4078761
IDBENCH=2601
IDSOLVER=2542
FILE ID=node132/4078761-1465241089
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 1f72b7f8bd829aeeb06978977df8efc2
RANDOM SEED=829822302

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30906204 kB
Buffers:           43892 kB
Cached:            98380 kB
SwapCached:         3224 kB
Active:          1168556 kB
Inactive:          78224 kB
Active(anon):    1103700 kB
Inactive(anon):     3236 kB
Active(file):      64856 kB
Inactive(file):    74988 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             16492 kB
Writeback:             0 kB
AnonPages:       1110980 kB
Mapped:            10320 kB
Shmem:                 0 kB
Slab:             573148 kB
SReclaimable:      13688 kB
SUnreclaim:       559460 kB
KernelStack:        2240 kB
PageTables:         6040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1257556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71712 MiB
End job on node132 at 2016-06-06 21:54:50