Trace number 4093705

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.16 1800.44

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
MD5SUM74ceb63f540b1c0e7b9983b4b6436598
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.87256
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10500
Total number of constraints205
Number of soft 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
Top cost 10882
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10881
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-16T18:08:04+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093705-1466093283.wbo"]
0.00/0.01	c use --random-gen="2965732342 4055987862 527943964 363862483 1661583217 2962486139 3036461572 3630914718 3557725926 1024052579 758763290 1725155468 554386719 1039874452 2662755385 2903543194 38213192 827757224 2596574967 764470684 1119741478 917901733 769267865 3663228226 3763522712 1296506330 4084655354 3288308306 2834562422 980556701 169586944 2702987250 281937660 3198807952 82388844 1841972709 2672634687 1760731080 2921662608 4245499904 3335227333 1150062908 1151219456 140008133 2301933808 226758340 2804983265 3825074834 3432804975 2387261219 1619256781 3558232901 3146675312 1488976749 337043465 2547303810 3390586265 1478181675 2124971445 1466621120 126037387 581387370 1690428333 1327842478 2782303195 3263834371 1379970851 4157897604 321179381 673748020 209978667 3248964369 18140341 3685981675 2661825942 2613421401 3477064377 4272743114 1646190776 730284151 3234014144 1674940299 3628916158 4204352610 3066092495 827553071 3938883361 1112851508 3395720056 2296338833 1073291690 2633283139 1716829756 418312444 2521632724 845241402 3031312689 383375512 3740308428 2245785364 1069169549 1995561398 2310658725 3013240653 154715829 2273848610 2884587985 3727092266 1734182971 1499522813 1606842893 2262923795 3278131270 3853182403 2593056936 2961985078 3428377119 240636717 1932674991 4115486311 2009629129 3637670713 3976571194 1502356858 3019549056 1794580978 3073286388 1918214164 823902058 1618370629 3898452467 3068425713 545660604 2766775641 1422723074 1140104346 3031804053 3782855946 2854886890 1977855431 3213290549 1029831709 4137824072 226477305 3246272896 2714217952 3801132478 3568944032 1880828649 508318207 1124991106 479831857 424628247 2266656123 50769007 2980746904 3929773621 52878892 1865297351 1402674087 2688402900 3149820631 3889525875 916221603 3669691244 2789865721 644043218 485183193 817961623 3482102159 2681176592 4200354919 3663299036 3455438413 3426973725 2803604446 360390113 2998347668 1645376705 1787797497 1259824172 3008758138 1069199360 1265693587 3178583649 1187404193 2400466717 24392855 2447460637 2199312123 711183824 3287249398 83444703 1240189683 3798468440 3759227418 4227009392 2582855416 3258730040 1810253450 362923032 4096682105 1192530616 2744932545 1699181067 3987278458 3798432749 571405974 4140804144 639591906 1013643601 3702238277 1121914543 3812257200 2555499549 390160122 1575850727 1508409770 2235997563 40247642 1163608249 1419362686 3150339359 2414579829 3519514013 3491277691 4038917198 3200273666 1308161792 103733335 1625666702 1240902522 1510805959 789829530 2031956149 2509802517 161264887 2990321224 1449538727 1356410304 2341117763 2188445706 3882721877 800152218 1608299849 1248907867 2996874077 3307975995 2032309706 2538127812 744498020 1151425381 1342084077 3475026816 3210177284 1636543925 255 362436" option to reproduce the execution
0.48/0.54	c #vars 10500
0.48/0.54	c #constraints 205
0.48/0.59	c BCD2: Hardening is enabled.
0.48/0.59	c BCD2: BiasedSearch is enabled.
0.48/0.59	c Solving starts ...
0.48/0.59	c ============================[ Search Statistics ]============================
0.48/0.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.59	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.59	c =============================================================================
0.48/0.59	c  0.0s |       0 |        0 |        0 |     3636      0 |        0 |        0
0.59/0.61	c  0.0s |       0 |      305 |        0 |     3636      0 |        0 |        0
0.59/0.61	c #cpu_time = 0.015s
0.59/0.61	c #wall_clock_time = 0.015s
0.59/0.61	c #decision = 305
0.59/0.61	c #random_decision = 2
0.59/0.61	c #conflict = 0
0.59/0.61	c #restart = 0
0.59/0.62	o 5377
0.59/0.62	c BCD2: updating upper bound: 10881 -> 5376
0.59/0.62	c BCD2: 0 <= obj <= 5376
0.59/0.62	c BCD2: #cores=0, #unrelaxed=205, #relaxed=0, #hardened=0
0.59/0.62	c BCD2: #sat=1 #unsat=1 bias=1/2
0.59/0.62	c Solving starts ...
0.59/0.62	c ============================[ Search Statistics ]============================
0.59/0.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.62	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.62	c =============================================================================
0.59/0.62	c  0.0s |       0 |        0 |        0 |     3636      0 |        0 |        0
0.79/0.80	c  0.2s |       1 |      418 |      100 |     3636      0 |        0 |        0
0.98/1.08	c  0.5s |       2 |     1735 |      250 |     4000      0 |        0 |        0
1.49/1.52	c  0.9s |       3 |     7538 |      475 |     4400      0 |        0 |        0
3.79/3.82	c  3.2s |       3 |    13307 |      775 |     4840      0 |        0 |        0
4.19/4.25	c  3.6s |       4 |    13358 |      813 |     4840      0 |        0 |        0
6.19/6.21	c  5.6s |       5 |    22378 |     1320 |     5324      0 |        0 |        0
8.38/8.47	c  7.9s |       5 |    28673 |     1920 |     5857      0 |        0 |        0
9.18/9.23	c  8.6s |       6 |    28865 |     2081 |     6443      0 |        0 |        0
11.28/11.32	c 10.7s |       6 |    36418 |     2681 |     6443      0 |        0 |        0
13.38/13.42	c 12.8s |       6 |    36961 |     3181 |     6443      0 |        0 |        0
13.58/13.62	c 13.0s |       7 |    37012 |     3223 |     7088      0 |        0 |        0
15.78/15.81	c 15.2s |       7 |    42946 |     3823 |     7088      0 |        0 |        0
17.88/17.96	c 17.3s |       7 |    43517 |     4323 |     7088      0 |        0 |        0
20.09/20.11	c 19.5s |       7 |    44103 |     4823 |     7088      0 |        0 |        0
20.59/20.66	c 20.0s |       8 |    44233 |     4936 |     7797      0 |        0 |        0
22.69/22.78	c 22.2s |       8 |    51756 |     5536 |     7797      0 |        0 |        0
24.69/24.78	c 24.2s |       8 |    52289 |     6036 |     7797      0 |        0 |        0
26.78/26.82	c 26.2s |       8 |    52850 |     6536 |     7797      0 |        0 |        0
28.88/28.94	c 28.3s |       8 |    53421 |     7036 |     7797      0 |        0 |        0
30.98/31.10	c 30.5s |       9 |    53935 |     7506 |     8577      0 |        0 |        0
33.38/33.44	c 32.8s |       9 |    62333 |     8106 |     8577      0 |        0 |        0
35.48/35.55	c 34.9s |       9 |    62888 |     8606 |     8577      0 |        0 |        0
37.58/37.62	c 37.0s |       9 |    63433 |     9106 |     8577      0 |        0 |        0
39.78/39.85	c 39.2s |       9 |    64002 |     9606 |     8577      0 |        0 |        0
42.19/42.21	c 41.6s |       9 |    64544 |    10106 |     8577      0 |        0 |        0
44.48/44.56	c 43.9s |       9 |    64994 |    10506 |     8577      0 |        0 |        0
46.78/46.81	c 46.2s |       9 |    65426 |    10906 |     8577      0 |        0 |        0
48.88/48.97	c 48.4s |       9 |    65862 |    11306 |     9435      0 |        0 |        0
49.18/49.26	c 48.6s |      10 |    65924 |    11361 |     9435      0 |        0 |        0
51.48/51.50	c 50.9s |      10 |    71530 |    11761 |     9435      1 |        0 |        0
53.78/53.85	c 53.2s |      10 |    72214 |    12361 |     9435      1 |        0 |        0
56.19/56.25	c 55.6s |      10 |    72762 |    12861 |     9435      1 |        0 |        0
58.68/58.78	c 58.2s |      10 |    73298 |    13361 |     9435      1 |        0 |        0
60.78/60.80	c 60.2s |      10 |    73759 |    13761 |     9435      1 |        0 |        0
62.98/63.06	c 62.4s |      10 |    74183 |    14161 |     9435      1 |        0 |        0
65.08/65.15	c 64.5s |      10 |    74626 |    14561 |     9435      1 |        0 |        0
67.48/67.53	c 66.9s |      10 |    75054 |    14961 |     9435      1 |        0 |        0
69.98/70.03	c 69.4s |      10 |    75478 |    15361 |     9435      1 |        0 |        0
72.37/72.41	c 71.8s |      10 |    75915 |    15761 |     9435      1 |        0 |        0
74.67/74.74	c 74.1s |      10 |    76340 |    16161 |     9435      1 |        0 |        0
77.09/77.16	c 76.5s |      10 |    76786 |    16561 |     9435      1 |        0 |        0
79.78/79.81	c 79.2s |      10 |    77227 |    16961 |     9435      1 |        0 |        0
80.97/81.05	c 80.4s |      11 |    77442 |    17144 |    10379      1 |        0 |        0
83.08/83.19	c 82.6s |      11 |    83428 |    17344 |    10379      2 |        0 |        0
85.28/85.34	c 84.7s |      11 |    83765 |    17644 |    10379      2 |        0 |        0
87.38/87.45	c 86.8s |      11 |    84125 |    17944 |    10379      2 |        0 |        0
89.97/90.04	c 89.4s |      11 |    84461 |    18244 |    10379      2 |        0 |        0
92.27/92.37	c 91.8s |      11 |    84792 |    18544 |    10379      2 |        0 |        0
94.58/94.67	c 94.1s |      11 |    85134 |    18844 |    10379      2 |        0 |        0
96.97/97.01	c 96.4s |      11 |    85469 |    19144 |    10379      2 |        0 |        0
99.68/99.73	c 99.1s |      11 |    85813 |    19444 |    10379      2 |        0 |        0
102.58/102.62	c  102s |      11 |    86135 |    19744 |    10379      2 |        0 |        0
104.58/104.66	c  104s |      11 |    86353 |    19944 |    10379      2 |        0 |        0
106.68/106.73	c  106s |      11 |    86590 |    20144 |    10379      2 |        0 |        0
109.47/109.53	c  108s |      11 |    86928 |    20444 |    10379      2 |        0 |        0
112.18/112.27	c  111s |      11 |    87276 |    20744 |    10379      2 |        0 |        0
114.97/115.01	c  114s |      11 |    87613 |    21044 |    10379      2 |        0 |        0
117.87/117.96	c  117s |      11 |    87948 |    21344 |    10379      2 |        0 |        0
119.97/120.06	c  119s |      11 |    88183 |    21544 |    10379      2 |        0 |        0
122.97/123.09	c  122s |      11 |    88536 |    21844 |    10379      2 |        0 |        0
125.97/126.08	c  125s |      11 |    88877 |    22144 |    10379      2 |        0 |        0
128.26/128.34	c  127s |      11 |    89098 |    22344 |    10379      2 |        0 |        0
130.57/130.64	c  130s |      11 |    89302 |    22544 |    10379      2 |        0 |        0
132.67/132.71	c  132s |      11 |    89537 |    22744 |    10379      2 |        0 |        0
135.47/135.52	c  134s |      11 |    89877 |    23044 |    10379      2 |        0 |        0
138.36/138.40	c  137s |      11 |    90231 |    23344 |    10379      2 |        0 |        0
140.47/140.52	c  139s |      11 |    90442 |    23544 |    10379      2 |        0 |        0
142.67/142.71	c  142s |      11 |    90658 |    23744 |    10379      2 |        0 |        0
145.46/145.59	c  144s |      11 |    91029 |    24044 |    10379      2 |        0 |        0
148.48/148.60	c  147s |      11 |    91401 |    24344 |    10379      2 |        0 |        0
150.77/150.82	c  150s |      11 |    91618 |    24544 |    10379      2 |        0 |        0
152.87/152.95	c  152s |      11 |    91859 |    24744 |    10379      2 |        0 |        0
154.86/154.97	c  154s |      11 |    92077 |    24944 |    10379      2 |        0 |        0
157.16/157.30	c  156s |      11 |    92327 |    25144 |    10379      2 |        0 |        0
159.26/159.39	c  158s |      11 |    92563 |    25344 |    10379      2 |        0 |        0
161.47/161.56	c  160s |      11 |    92785 |    25544 |    10379      2 |        0 |        0
163.66/163.77	c  163s |      11 |    92987 |    25744 |    11417      2 |        0 |        0
164.56/164.60	c  163s |      12 |    93072 |    25819 |    11417      2 |        0 |        0
166.56/166.65	c  166s |      12 |    98838 |    25919 |    11417      3 |        0 |        0
169.16/169.26	c  168s |      12 |    99334 |    26319 |    11417      3 |        0 |        0
171.67/171.77	c  171s |      12 |    99690 |    26619 |    11417      3 |        0 |        0
174.66/174.70	c  174s |      12 |   100066 |    26919 |    11417      3 |        0 |        0
176.66/176.72	c  176s |      12 |   100312 |    27119 |    11417      3 |        0 |        0
178.76/178.82	c  178s |      12 |   100539 |    27319 |    11417      3 |        0 |        0
181.66/181.74	c  181s |      12 |   100899 |    27619 |    11417      3 |        0 |        0
183.67/183.78	c  183s |      12 |   101156 |    27819 |    11417      3 |        0 |        0
186.46/186.55	c  185s |      12 |   101522 |    28119 |    11417      3 |        0 |        0
189.35/189.45	c  188s |      12 |   101876 |    28419 |    11417      3 |        0 |        0
192.26/192.34	c  191s |      12 |   102222 |    28719 |    11417      3 |        0 |        0
195.36/195.41	c  194s |      12 |   102588 |    29019 |    11417      3 |        0 |        0
197.66/197.79	c  197s |      12 |   102819 |    29219 |    11417      3 |        0 |        0
200.76/200.84	c  200s |      12 |   103035 |    29419 |    11417      3 |        0 |        0
203.36/203.46	c  202s |      12 |   103251 |    29619 |    11417      3 |        0 |        0
205.67/205.79	c  205s |      12 |   103484 |    29819 |    11417      3 |        0 |        0
208.06/208.17	c  207s |      12 |   103713 |    30019 |    11417      3 |        0 |        0
210.06/210.20	c  209s |      12 |   103943 |    30219 |    11417      3 |        0 |        0
212.15/212.21	c  211s |      12 |   104163 |    30419 |    11417      3 |        0 |        0
214.15/214.28	c  213s |      12 |   104376 |    30619 |    11417      3 |        0 |        0
216.45/216.57	c  215s |      12 |   104596 |    30819 |    11417      3 |        0 |        0
218.76/218.85	c  218s |      12 |   104827 |    31019 |    11417      3 |        0 |        0
221.76/221.88	c  221s |      12 |   105052 |    31219 |    11417      3 |        0 |        0
224.06/224.18	c  223s |      12 |   105267 |    31419 |    11417      3 |        0 |        0
226.15/226.24	c  225s |      12 |   105492 |    31619 |    11417      3 |        0 |        0
228.95/229.09	c  228s |      12 |   105819 |    31919 |    11417      3 |        0 |        0
231.25/231.39	c  230s |      12 |   106047 |    32119 |    11417      3 |        0 |        0
233.55/233.61	c  232s |      12 |   106279 |    32319 |    11417      3 |        0 |        0
235.66/235.74	c  235s |      12 |   106509 |    32519 |    11417      3 |        0 |        0
237.95/238.05	c  237s |      12 |   106734 |    32719 |    11417      3 |        0 |        0
240.45/240.56	c  239s |      12 |   106955 |    32919 |    11417      3 |        0 |        0
242.95/243.06	c  242s |      12 |   107180 |    33119 |    11417      3 |        0 |        0
245.55/245.63	c  245s |      12 |   107400 |    33319 |    11417      3 |        0 |        0
247.95/248.02	c  247s |      12 |   107617 |    33519 |    11417      3 |        0 |        0
250.15/250.26	c  249s |      12 |   107843 |    33719 |    11417      3 |        0 |        0
252.25/252.37	c  251s |      12 |   108063 |    33919 |    11417      3 |        0 |        0
254.65/254.71	c  254s |      12 |   108284 |    34119 |    11417      3 |        0 |        0
257.46/257.53	c  256s |      12 |   108651 |    34419 |    11417      3 |        0 |        0
259.66/259.75	c  259s |      12 |   108882 |    34619 |    11417      3 |        0 |        0
261.95/262.05	c  261s |      12 |   109101 |    34819 |    11417      3 |        0 |        0
264.15/264.23	c  263s |      12 |   109331 |    35019 |    11417      3 |        0 |        0
266.55/266.69	c  266s |      12 |   109544 |    35219 |    11417      3 |        0 |        0
268.85/268.98	c  268s |      12 |   109783 |    35419 |    11417      3 |        0 |        0
271.15/271.27	c  270s |      12 |   110002 |    35619 |    11417      3 |        0 |        0
273.25/273.37	c  272s |      12 |   110264 |    35819 |    11417      3 |        0 |        0
275.65/275.71	c  275s |      12 |   110482 |    36019 |    11417      3 |        0 |        0
278.04/278.15	c  277s |      12 |   110701 |    36219 |    11417      3 |        0 |        0
280.55/280.67	c  280s |      12 |   110937 |    36419 |    11417      3 |        0 |        0
282.95/283.01	c  282s |      12 |   111147 |    36619 |    11417      3 |        0 |        0
285.34/285.50	c  284s |      12 |   111371 |    36819 |    11417      3 |        0 |        0
287.74/287.88	c  287s |      12 |   111579 |    37019 |    11417      3 |        0 |        0
290.15/290.24	c  289s |      12 |   111814 |    37219 |    11417      3 |        0 |        0
292.65/292.74	c  292s |      12 |   112033 |    37419 |    11417      3 |        0 |        0
295.34/295.47	c  294s |      12 |   112241 |    37619 |    11417      3 |        0 |        0
298.24/298.30	c  297s |      12 |   112463 |    37819 |    11417      3 |        0 |        0
300.95/301.04	c  300s |      12 |   112680 |    38019 |    11417      3 |        0 |        0
303.94/304.01	c  303s |      12 |   112909 |    38219 |    11417      3 |        0 |        0
306.64/306.76	c  306s |      12 |   113129 |    38419 |    11417      3 |        0 |        0
309.34/309.49	c  308s |      12 |   113340 |    38619 |    12559      3 |        0 |        0
312.24/312.30	c  311s |      12 |   113554 |    38819 |    12559      3 |        0 |        0
312.35/312.49	c  311s |      13 |   113569 |    38832 |    12559      3 |        0 |        0
316.64/316.75	c  316s |      13 |   119846 |    38932 |    12559      4 |        0 |        0
318.95/319.00	c  318s |      13 |   120208 |    39232 |    12559      4 |        0 |        0
321.25/321.33	c  320s |      13 |   120574 |    39532 |    12559      4 |        0 |        0
323.64/323.74	c  323s |      13 |   120931 |    39832 |    12559      4 |        0 |        0
326.14/326.21	c  325s |      13 |   121275 |    40132 |    12559      4 |        0 |        0
328.95/329.07	c  328s |      13 |   121596 |    40432 |    12559      4 |        0 |        0
331.24/331.37	c  330s |      13 |   121851 |    40632 |    12559      4 |        0 |        0
333.83/333.98	c  333s |      13 |   122181 |    40932 |    12559      4 |        0 |        0
336.33/336.48	c  335s |      13 |   122525 |    41232 |    12559      4 |        0 |        0
338.84/338.92	c  338s |      13 |   122889 |    41532 |    12559      4 |        0 |        0
341.43/341.56	c  340s |      13 |   123213 |    41832 |    12559      4 |        0 |        0
344.25/344.32	c  343s |      13 |   123576 |    42132 |    12559      4 |        0 |        0
346.45/346.58	c  345s |      13 |   123798 |    42332 |    12559      4 |        0 |        0
348.54/348.63	c  348s |      13 |   124035 |    42532 |    12559      4 |        0 |        0
350.53/350.66	c  350s |      13 |   124266 |    42732 |    12559      4 |        0 |        0
352.53/352.67	c  352s |      13 |   124493 |    42932 |    12559      4 |        0 |        0
354.74/354.82	c  354s |      13 |   124709 |    43132 |    12559      4 |        0 |        0
356.74/356.89	c  356s |      13 |   124926 |    43332 |    12559      4 |        0 |        0
359.74/359.83	c  359s |      13 |   125255 |    43632 |    12559      4 |        0 |        0
361.73/361.87	c  361s |      13 |   125479 |    43832 |    12559      4 |        0 |        0
364.14/364.24	c  363s |      13 |   125697 |    44032 |    12559      4 |        0 |        0
366.63/366.71	c  366s |      13 |   125921 |    44232 |    12559      4 |        0 |        0
369.13/369.22	c  368s |      13 |   126153 |    44432 |    12559      4 |        0 |        0
371.63/371.78	c  371s |      13 |   126380 |    44632 |    12559      4 |        0 |        0
374.34/374.45	c  373s |      13 |   126599 |    44832 |    12559      4 |        0 |        0
377.13/377.24	c  376s |      13 |   126809 |    45032 |    12559      4 |        0 |        0
380.03/380.11	c  379s |      13 |   127028 |    45232 |    12559      4 |        0 |        0
382.43/382.55	c  381s |      13 |   127245 |    45432 |    12559      4 |        0 |        0
384.53/384.66	c  384s |      13 |   127504 |    45632 |    12559      4 |        0 |        0
387.53/387.67	c  387s |      13 |   127846 |    45932 |    12559      4 |        0 |        0
389.73/389.81	c  389s |      13 |   128101 |    46132 |    12559      4 |        0 |        0
391.83/391.97	c  391s |      13 |   128309 |    46332 |    12559      4 |        0 |        0
394.03/394.18	c  393s |      13 |   128535 |    46532 |    12559      4 |        0 |        0
396.23/396.38	c  395s |      13 |   128745 |    46732 |    12559      4 |        0 |        0
398.33/398.40	c  397s |      13 |   128976 |    46932 |    12559      4 |        0 |        0
400.43/400.57	c  399s |      13 |   129182 |    47132 |    12559      4 |        0 |        0
402.53/402.64	c  402s |      13 |   129427 |    47332 |    12559      4 |        0 |        0
404.74/404.86	c  404s |      13 |   129661 |    47532 |    12559      4 |        0 |        0
407.04/407.12	c  406s |      13 |   129871 |    47732 |    12559      4 |        0 |        0
409.33/409.42	c  408s |      13 |   130084 |    47932 |    12559      4 |        0 |        0
411.53/411.68	c  411s |      13 |   130325 |    48132 |    12559      4 |        0 |        0
414.12/414.29	c  413s |      13 |   130545 |    48332 |    12559      4 |        0 |        0
416.62/416.77	c  416s |      13 |   130749 |    48532 |    12559      4 |        0 |        0
419.03/419.18	c  418s |      13 |   130973 |    48732 |    12559      4 |        0 |        0
421.33/421.44	c  420s |      13 |   131191 |    48932 |    12559      4 |        0 |        0
423.62/423.77	c  423s |      13 |   131447 |    49132 |    12559      4 |        0 |        0
425.82/425.93	c  425s |      13 |   131671 |    49332 |    12559      4 |        0 |        0
428.02/428.19	c  427s |      13 |   131889 |    49532 |    12559      4 |        0 |        0
430.42/430.53	c  429s |      13 |   132122 |    49732 |    12559      4 |        0 |        0
432.72/432.81	c  432s |      13 |   132353 |    49932 |    12559      4 |        0 |        0
434.92/435.09	c  434s |      13 |   132582 |    50132 |    12559      4 |        0 |        0
437.42/437.55	c  436s |      13 |   132827 |    50332 |    12559      4 |        0 |        0
439.72/439.81	c  439s |      13 |   133072 |    50532 |    12559      4 |        0 |        0
441.92/442.06	c  441s |      13 |   133312 |    50732 |    12559      4 |        0 |        0
444.43/444.57	c  443s |      13 |   133535 |    50932 |    12559      4 |        0 |        0
447.12/447.23	c  446s |      13 |   133768 |    51132 |    12559      4 |        0 |        0
449.83/449.98	c  449s |      13 |   134003 |    51332 |    12559      4 |        0 |        0
452.32/452.47	c  451s |      13 |   134240 |    51532 |    12559      4 |        0 |        0
454.82/454.99	c  454s |      13 |   134469 |    51732 |    12559      4 |        0 |        0
458.22/458.36	c  457s |      13 |   134585 |    51832 |    12559      5 |        0 |        0
460.93/461.04	c  460s |      13 |   134819 |    52032 |    12559      5 |        0 |        0
463.32/463.46	c  462s |      13 |   135085 |    52232 |    12559      5 |        0 |        0
466.32/466.45	c  465s |      13 |   135302 |    52432 |    12559      5 |        0 |        0
469.11/469.28	c  468s |      13 |   135525 |    52632 |    12559      5 |        0 |        0
472.01/472.10	c  471s |      13 |   135765 |    52832 |    12559      5 |        0 |        0
474.82/474.96	c  474s |      13 |   135975 |    53032 |    12559      5 |        0 |        0
477.62/477.75	c  477s |      13 |   136198 |    53232 |    12559      5 |        0 |        0
480.31/480.49	c  479s |      13 |   136444 |    53432 |    12559      5 |        0 |        0
483.11/483.22	c  482s |      13 |   136657 |    53632 |    12559      5 |        0 |        0
485.91/486.06	c  485s |      13 |   136889 |    53832 |    12559      5 |        0 |        0
488.92/489.08	c  488s |      13 |   137099 |    54032 |    12559      5 |        0 |        0
491.42/491.56	c  490s |      13 |   137357 |    54232 |    12559      5 |        0 |        0
494.11/494.25	c  493s |      13 |   137571 |    54432 |    12559      5 |        0 |        0
496.61/496.74	c  496s |      13 |   137789 |    54632 |    12559      5 |        0 |        0
499.21/499.30	c  498s |      13 |   138026 |    54832 |    12559      5 |        0 |        0
501.71/501.88	c  501s |      13 |   138270 |    55032 |    12559      5 |        0 |        0
504.62/504.70	c  504s |      13 |   138491 |    55232 |    12559      5 |        0 |        0
507.41/507.56	c  506s |      13 |   138709 |    55432 |    12559      5 |        0 |        0
510.11/510.29	c  509s |      13 |   138946 |    55632 |    12559      5 |        0 |        0
513.01/513.13	c  512s |      13 |   139170 |    55832 |    12559      5 |        0 |        0
515.71/515.90	c  515s |      13 |   139388 |    56032 |    12559      5 |        0 |        0
518.51/518.64	c  518s |      13 |   139616 |    56232 |    12559      5 |        0 |        0
521.11/521.24	c  520s |      13 |   139849 |    56432 |    12559      5 |        0 |        0
524.01/524.15	c  523s |      13 |   140072 |    56632 |    12559      5 |        0 |        0
526.71/526.89	c  526s |      13 |   140318 |    56832 |    12559      5 |        0 |        0
529.60/529.76	c  529s |      13 |   140528 |    57032 |    12559      5 |        0 |        0
532.60/532.70	c  532s |      13 |   140744 |    57232 |    12559      5 |        0 |        0
535.51/535.64	c  535s |      13 |   140961 |    57432 |    12559      5 |        0 |        0
538.70/538.80	c  538s |      13 |   141190 |    57632 |    12559      5 |        0 |        0
541.40/541.57	c  540s |      13 |   141430 |    57832 |    12559      5 |        0 |        0
544.20/544.31	c  543s |      13 |   141645 |    58032 |    13815      5 |        0 |        0
546.81/546.92	c  546s |      13 |   141874 |    58232 |    13815      5 |        0 |        0
548.41/548.53	c  547s |      14 |   142002 |    58352 |    13815      5 |        0 |        0
551.80/551.96	c  551s |      14 |   147368 |    58452 |    13815      6 |        0 |        0
554.11/554.26	c  553s |      14 |   147871 |    58852 |    13815      6 |        0 |        0
556.70/556.87	c  556s |      14 |   148387 |    59252 |    13815      6 |        0 |        0
558.90/559.05	c  558s |      14 |   148740 |    59552 |    13815      6 |        0 |        0
561.01/561.13	c  560s |      14 |   149113 |    59852 |    13815      6 |        0 |        0
563.30/563.45	c  562s |      14 |   149466 |    60152 |    13815      6 |        0 |        0
565.80/565.94	c  565s |      14 |   149815 |    60452 |    13815      6 |        0 |        0
568.40/568.50	c  567s |      14 |   150199 |    60752 |    13815      6 |        0 |        0
571.10/571.21	c  570s |      14 |   150531 |    61052 |    13815      6 |        0 |        0
573.50/573.67	c  573s |      14 |   150908 |    61352 |    13815      6 |        0 |        0
576.31/576.49	c  575s |      14 |   151247 |    61652 |    13815      6 |        0 |        0
579.20/579.34	c  578s |      14 |   151605 |    61952 |    13815      6 |        0 |        0
581.91/582.03	c  581s |      14 |   151953 |    62252 |    13815      6 |        0 |        0
584.30/584.46	c  583s |      14 |   152338 |    62552 |    13815      6 |        0 |        0
586.79/586.99	c  586s |      14 |   152700 |    62852 |    13815      6 |        0 |        0
589.51/589.60	c  588s |      14 |   153044 |    63152 |    13815      6 |        0 |        0
592.30/592.43	c  591s |      14 |   153389 |    63452 |    13815      6 |        0 |        0
595.11/595.27	c  594s |      14 |   153733 |    63752 |    13815      6 |        0 |        0
597.10/597.29	c  596s |      14 |   153948 |    63952 |    13815      6 |        0 |        0
599.20/599.39	c  598s |      14 |   154201 |    64152 |    13815      6 |        0 |        0
601.39/601.53	c  600s |      14 |   154442 |    64352 |    13815      6 |        0 |        0
603.99/604.14	c  603s |      14 |   154784 |    64652 |    13815      6 |        0 |        0
606.69/606.80	c  606s |      14 |   155131 |    64952 |    13815      6 |        0 |        0
608.99/609.17	c  608s |      14 |   155520 |    65252 |    13815      6 |        0 |        0
611.61/611.76	c  611s |      14 |   155855 |    65552 |    13815      6 |        0 |        0
614.29/614.47	c  613s |      14 |   156194 |    65852 |    13815      6 |        0 |        0
617.39/617.53	c  616s |      14 |   156525 |    66152 |    13815      6 |        0 |        0
619.39/619.58	c  618s |      14 |   156776 |    66352 |    13815      6 |        0 |        0
621.50/621.67	c  621s |      14 |   157010 |    66552 |    13815      6 |        0 |        0
623.90/624.00	c  623s |      14 |   157227 |    66752 |    13815      6 |        0 |        0
626.49/626.68	c  626s |      14 |   157621 |    67052 |    13815      6 |        0 |        0
629.29/629.45	c  628s |      14 |   157961 |    67352 |    13815      6 |        0 |        0
632.29/632.46	c  631s |      14 |   158299 |    67652 |    13815      6 |        0 |        0
634.39/634.50	c  633s |      14 |   158526 |    67852 |    13815      6 |        0 |        0
636.49/636.61	c  635s |      14 |   158737 |    68052 |    13815      6 |        0 |        0
638.99/639.13	c  638s |      14 |   159091 |    68352 |    13815      6 |        0 |        0
641.89/642.03	c  641s |      14 |   159423 |    68652 |    13815      6 |        0 |        0
644.50/644.70	c  644s |      14 |   159773 |    68952 |    13815      6 |        0 |        0
647.39/647.58	c  646s |      14 |   160109 |    69252 |    13815      6 |        0 |        0
650.09/650.29	c  649s |      14 |   160442 |    69552 |    13815      6 |        0 |        0
652.89/653.02	c  652s |      14 |   160869 |    69852 |    13815      6 |        0 |        0
655.69/655.81	c  655s |      14 |   161224 |    70152 |    13815      6 |        0 |        0
658.59/658.76	c  658s |      14 |   161583 |    70452 |    13815      6 |        0 |        0
660.69/660.82	c  660s |      14 |   161812 |    70652 |    13815      6 |        0 |        0
662.89/663.09	c  662s |      14 |   162051 |    70852 |    13815      6 |        0 |        0
665.29/665.50	c  664s |      14 |   162295 |    71052 |    13815      6 |        0 |        0
667.39/667.55	c  666s |      14 |   162526 |    71252 |    13815      6 |        0 |        0
669.48/669.67	c  669s |      14 |   162753 |    71452 |    13815      6 |        0 |        0
672.48/672.68	c  672s |      14 |   163189 |    71752 |    13815      6 |        0 |        0
674.69/674.83	c  674s |      14 |   163471 |    71952 |    13815      6 |        0 |        0
676.69/676.88	c  676s |      14 |   163730 |    72152 |    13815      6 |        0 |        0
678.88/679.02	c  678s |      14 |   163964 |    72352 |    13815      6 |        0 |        0
681.08/681.23	c  680s |      14 |   164216 |    72552 |    13815      6 |        0 |        0
683.28/683.49	c  682s |      14 |   164433 |    72752 |    13815      6 |        0 |        0
685.39/685.50	c  684s |      14 |   164653 |    72952 |    13815      6 |        0 |        0
687.49/687.66	c  687s |      14 |   164861 |    73152 |    13815      6 |        0 |        0
689.69/689.84	c  689s |      14 |   165098 |    73352 |    13815      6 |        0 |        0
693.88/694.08	c  693s |      14 |   165307 |    73552 |    13815      7 |        0 |        0
696.98/697.19	c  696s |      14 |   165690 |    73852 |    13815      7 |        0 |        0
699.18/699.35	c  698s |      14 |   165946 |    74052 |    13815      7 |        0 |        0
701.29/701.40	c  700s |      14 |   166213 |    74252 |    13815      7 |        0 |        0
703.48/703.60	c  702s |      14 |   166444 |    74452 |    13815      7 |        0 |        0
705.88/706.03	c  705s |      14 |   166659 |    74652 |    13815      7 |        0 |        0
707.98/708.16	c  707s |      14 |   166943 |    74852 |    13815      7 |        0 |        0
710.49/710.62	c  710s |      14 |   167153 |    75052 |    13815      7 |        0 |        0
712.78/712.94	c  712s |      14 |   167404 |    75252 |    13815      7 |        0 |        0
714.88/715.06	c  714s |      14 |   167623 |    75452 |    13815      7 |        0 |        0
716.98/717.18	c  716s |      14 |   167892 |    75652 |    13815      7 |        0 |        0
719.08/719.20	c  718s |      14 |   168136 |    75852 |    13815      7 |        0 |        0
721.98/722.16	c  721s |      14 |   168509 |    76152 |    13815      7 |        0 |        0
724.08/724.23	c  723s |      14 |   168729 |    76352 |    13815      7 |        0 |        0
726.37/726.50	c  725s |      14 |   168937 |    76552 |    13815      7 |        0 |        0
728.47/728.69	c  728s |      14 |   169169 |    76752 |    13815      7 |        0 |        0
730.58/730.76	c  730s |      14 |   169414 |    76952 |    13815      7 |        0 |        0
733.58/733.75	c  733s |      14 |   169760 |    77252 |    13815      7 |        0 |        0
736.57/736.76	c  736s |      14 |   170125 |    77552 |    13815      7 |        0 |        0
738.67/738.86	c  738s |      14 |   170375 |    77752 |    13815      7 |        0 |        0
740.77/740.92	c  740s |      14 |   170602 |    77952 |    13815      7 |        0 |        0
743.67/743.84	c  743s |      14 |   171084 |    78252 |    13815      7 |        0 |        0
746.47/746.65	c  746s |      14 |   171497 |    78552 |    13815      7 |        0 |        0
748.67/748.84	c  748s |      14 |   171742 |    78752 |    13815      7 |        0 |        0
750.68/750.85	c  750s |      14 |   172094 |    78952 |    13815      7 |        0 |        0
752.67/752.86	c  752s |      14 |   172395 |    79152 |    13815      7 |        0 |        0
754.87/755.03	c  754s |      14 |   172724 |    79352 |    13815      7 |        0 |        0
757.07/757.24	c  756s |      14 |   172988 |    79552 |    13815      7 |        0 |        0
760.18/760.30	c  759s |      14 |   173468 |    79852 |    13815      7 |        0 |        0
762.37/762.52	c  761s |      14 |   173759 |    80052 |    13815      7 |        0 |        0
764.48/764.64	c  764s |      14 |   174087 |    80252 |    13815      7 |        0 |        0
766.68/766.84	c  766s |      14 |   174329 |    80452 |    13815      7 |        0 |        0
769.57/769.71	c  769s |      14 |   174743 |    80752 |    13815      7 |        0 |        0
771.57/771.79	c  771s |      14 |   175095 |    80952 |    13815      7 |        0 |        0
774.07/774.21	c  773s |      14 |   175538 |    81152 |    13815      7 |        0 |        0
776.27/776.42	c  775s |      14 |   175825 |    81352 |    13815      7 |        0 |        0
778.68/778.82	c  778s |      14 |   176120 |    81552 |    13815      7 |        0 |        0
781.07/781.20	c  780s |      14 |   176370 |    81752 |    13815      7 |        0 |        0
783.17/783.36	c  782s |      14 |   176604 |    81952 |    13815      7 |        0 |        0
785.57/785.71	c  785s |      14 |   176820 |    82152 |    13815      7 |        0 |        0
787.87/788.07	c  787s |      14 |   177207 |    82352 |    13815      7 |        0 |        0
790.47/790.62	c  789s |      14 |   177433 |    82552 |    13815      7 |        0 |        0
792.77/792.91	c  792s |      14 |   177717 |    82752 |    13815      7 |        0 |        0
794.96/795.19	c  794s |      14 |   178012 |    82952 |    13815      7 |        0 |        0
797.16/797.38	c  796s |      14 |   178296 |    83152 |    13815      7 |        0 |        0
799.57/799.78	c  799s |      14 |   178565 |    83352 |    13815      7 |        0 |        0
801.67/801.85	c  801s |      14 |   178932 |    83552 |    13815      7 |        0 |        0
804.16/804.30	c  803s |      14 |   179211 |    83752 |    13815      7 |        0 |        0
806.27/806.48	c  805s |      14 |   179434 |    83952 |    13815      7 |        0 |        0
808.38/808.53	c  807s |      14 |   179685 |    84152 |    13815      7 |        0 |        0
810.68/810.89	c  810s |      14 |   179894 |    84352 |    13815      7 |        0 |        0
813.16/813.30	c  812s |      14 |   180144 |    84552 |    13815      7 |        0 |        0
815.36/815.57	c  814s |      14 |   180372 |    84752 |    13815      7 |        0 |        0
817.56/817.79	c  817s |      14 |   180651 |    84952 |    13815      7 |        0 |        0
820.26/820.42	c  819s |      14 |   180849 |    85152 |    13815      7 |        0 |        0
822.77/822.93	c  822s |      14 |   181074 |    85352 |    13815      7 |        0 |        0
826.17/826.39	c  825s |      14 |   181193 |    85452 |    13815      8 |        0 |        0
828.57/828.75	c  828s |      14 |   181415 |    85652 |    13815      8 |        0 |        0
830.76/830.96	c  830s |      14 |   181674 |    85852 |    13815      8 |        0 |        0
832.96/833.13	c  832s |      14 |   181914 |    86052 |    13815      8 |        0 |        0
835.16/835.32	c  834s |      14 |   182153 |    86252 |    13815      8 |        0 |        0
837.36/837.58	c  836s |      14 |   182398 |    86452 |    13815      8 |        0 |        0
839.96/840.13	c  839s |      14 |   182699 |    86652 |    13815      8 |        0 |        0
842.57/842.74	c  842s |      14 |   183153 |    86952 |    13815      8 |        0 |        0
844.56/844.79	c  844s |      14 |   183500 |    87152 |    15197      8 |        0 |        0
846.76/846.97	c  846s |      14 |   183775 |    87352 |    15197      8 |        0 |        0
849.45/849.66	c  849s |      15 |   184301 |    87632 |    15197      8 |        0 |        0
851.75/851.97	c  851s |      15 |   189256 |    87932 |    15197      8 |        0 |        0
854.06/854.24	c  853s |      15 |   189847 |    88432 |    15197      8 |        0 |        0
856.56/856.75	c  856s |      15 |   190401 |    88932 |    15197      8 |        0 |        0
858.86/859.08	c  858s |      15 |   190853 |    89332 |    15197      8 |        0 |        0
861.26/861.43	c  860s |      15 |   191307 |    89732 |    15197      8 |        0 |        0
863.56/863.75	c  863s |      15 |   191776 |    90132 |    15197      8 |        0 |        0
865.76/865.95	c  865s |      15 |   192249 |    90532 |    15197      8 |        0 |        0
867.96/868.19	c  867s |      15 |   192740 |    90932 |    15197      8 |        0 |        0
870.46/870.68	c  870s |      15 |   193248 |    91332 |    15197      8 |        0 |        0
872.76/872.92	c  872s |      15 |   193618 |    91632 |    15197      8 |        0 |        0
875.56/875.71	c  875s |      15 |   194070 |    92032 |    15197      8 |        0 |        0
877.95/878.14	c  877s |      15 |   194432 |    92332 |    15197      8 |        0 |        0
880.06/880.25	c  879s |      15 |   194787 |    92632 |    15197      8 |        0 |        0
882.36/882.59	c  881s |      15 |   195151 |    92932 |    15197      8 |        0 |        0
884.85/885.05	c  884s |      15 |   195490 |    93232 |    15197      8 |        0 |        0
887.15/887.36	c  886s |      15 |   195826 |    93532 |    15197      8 |        0 |        0
889.45/889.60	c  888s |      15 |   196177 |    93832 |    15197      8 |        0 |        0
891.85/892.02	c  891s |      15 |   196520 |    94132 |    15197      8 |        0 |        0
894.35/894.52	c  893s |      15 |   196865 |    94432 |    15197      8 |        0 |        0
896.55/896.76	c  896s |      15 |   197215 |    94732 |    15197      8 |        0 |        0
898.96/899.12	c  898s |      15 |   197569 |    95032 |    15197      8 |        0 |        0
901.25/901.41	c  900s |      15 |   197922 |    95332 |    15197      8 |        0 |        0
903.75/903.93	c  903s |      15 |   198250 |    95632 |    15197      8 |        0 |        0
906.05/906.25	c  905s |      15 |   198593 |    95932 |    15197      8 |        0 |        0
908.35/908.54	c  907s |      15 |   198918 |    96232 |    15197      8 |        0 |        0
910.76/910.98	c  910s |      15 |   199235 |    96532 |    15197      8 |        0 |        0
913.35/913.50	c  912s |      15 |   199571 |    96832 |    15197      8 |        0 |        0
915.85/916.04	c  915s |      15 |   199910 |    97132 |    15197      8 |        0 |        0
917.95/918.11	c  917s |      15 |   200124 |    97332 |    15197      8 |        0 |        0
920.85/921.04	c  920s |      15 |   200478 |    97632 |    15197      8 |        0 |        0
923.05/923.25	c  922s |      15 |   200703 |    97832 |    15197      8 |        0 |        0
925.34/925.57	c  924s |      15 |   200936 |    98032 |    15197      8 |        0 |        0
927.95/928.18	c  927s |      15 |   201142 |    98232 |    15197      8 |        0 |        0
930.35/930.57	c  929s |      15 |   201375 |    98432 |    15197      8 |        0 |        0
933.25/933.45	c  932s |      15 |   201690 |    98732 |    15197      8 |        0 |        0
937.34/937.56	c  936s |      15 |   202038 |    99032 |    15197      9 |        0 |        0
939.74/939.92	c  939s |      15 |   202367 |    99332 |    15197      9 |        0 |        0
942.04/942.23	c  941s |      15 |   202712 |    99632 |    15197      9 |        0 |        0
944.34/944.59	c  943s |      15 |   203044 |    99932 |    15197      9 |        0 |        0
946.85/947.07	c  946s |      15 |   203386 |   100232 |    15197      9 |        0 |        0
949.45/949.65	c  949s |      15 |   203710 |   100532 |    15197      9 |        0 |        0
951.94/952.19	c  951s |      15 |   204035 |   100832 |    15197      9 |        0 |        0
954.54/954.75	c  954s |      15 |   204394 |   101132 |    15197      9 |        0 |        0
956.95/957.19	c  956s |      15 |   204738 |   101432 |    15197      9 |        0 |        0
959.54/959.75	c  959s |      15 |   205108 |   101732 |    15197      9 |        0 |        0
962.54/962.72	c  962s |      15 |   205431 |   102032 |    15197      9 |        0 |        0
965.34/965.56	c  964s |      15 |   205759 |   102332 |    15197      9 |        0 |        0
968.04/968.26	c  967s |      15 |   206088 |   102632 |    15197      9 |        0 |        0
970.74/970.96	c  970s |      15 |   206417 |   102932 |    15197      9 |        0 |        0
973.14/973.37	c  972s |      15 |   206749 |   103232 |    15197      9 |        0 |        0
976.04/976.25	c  975s |      15 |   207087 |   103532 |    15197      9 |        0 |        0
978.04/978.28	c  977s |      15 |   207309 |   103732 |    15197      9 |        0 |        0
980.84/981.06	c  980s |      15 |   207640 |   104032 |    15197      9 |        0 |        0
983.74/983.97	c  983s |      15 |   207963 |   104332 |    15197      9 |        0 |        0
986.73/986.95	c  986s |      15 |   208289 |   104632 |    15197      9 |        0 |        0
989.54/989.79	c  989s |      15 |   208606 |   104932 |    15197      9 |        0 |        0
991.64/991.83	c  991s |      15 |   208814 |   105132 |    15197      9 |        0 |        0
993.64/993.83	c  993s |      15 |   209044 |   105332 |    15197      9 |        0 |        0
996.44/996.66	c  996s |      15 |   209396 |   105632 |    15197      9 |        0 |        0
999.44/999.60	c  998s |      15 |   209719 |   105932 |    15197      9 |        0 |        0
1001.44/1001.68	c 1001s |      15 |   209969 |   106132 |    15197      9 |        0 |        0
1003.63/1003.81	c 1003s |      15 |   210189 |   106332 |    15197      9 |        0 |        0
1006.45/1006.69	c 1006s |      15 |   210501 |   106632 |    15197      9 |        0 |        0
1009.24/1009.44	c 1008s |      15 |   210841 |   106932 |    15197      9 |        0 |        0
1011.94/1012.12	c 1011s |      15 |   211168 |   107232 |    15197      9 |        0 |        0
1014.83/1015.01	c 1014s |      15 |   211521 |   107532 |    15197      9 |        0 |        0
1017.83/1018.00	c 1017s |      15 |   211868 |   107832 |    15197      9 |        0 |        0
1019.93/1020.12	c 1019s |      15 |   212090 |   108032 |    15197      9 |        0 |        0
1022.03/1022.21	c 1021s |      15 |   212307 |   108232 |    15197      9 |        0 |        0
1024.04/1024.22	c 1023s |      15 |   212542 |   108432 |    15197      9 |        0 |        0
1026.93/1027.14	c 1026s |      15 |   212900 |   108732 |    15197      9 |        0 |        0
1029.73/1029.99	c 1029s |      15 |   213253 |   109032 |    15197      9 |        0 |        0
1032.63/1032.85	c 1032s |      15 |   213608 |   109332 |    15197      9 |        0 |        0
1034.83/1035.05	c 1034s |      15 |   213823 |   109532 |    15197      9 |        0 |        0
1037.53/1037.76	c 1037s |      15 |   214173 |   109832 |    15197      9 |        0 |        0
1040.03/1040.25	c 1039s |      15 |   214508 |   110132 |    15197      9 |        0 |        0
1042.83/1043.08	c 1042s |      15 |   214847 |   110432 |    15197      9 |        0 |        0
1044.84/1045.10	c 1044s |      15 |   215066 |   110632 |    15197      9 |        0 |        0
1046.93/1047.14	c 1046s |      15 |   215277 |   110832 |    15197      9 |        0 |        0
1049.03/1049.20	c 1048s |      15 |   215507 |   111032 |    15197      9 |        0 |        0
1051.82/1052.03	c 1051s |      15 |   215841 |   111332 |    15197      9 |        0 |        0
1054.63/1054.83	c 1054s |      15 |   216195 |   111632 |    15197      9 |        0 |        0
1057.33/1057.59	c 1056s |      15 |   216311 |   111732 |    15197     10 |        0 |        0
1060.23/1060.46	c 1059s |      15 |   216694 |   112032 |    15197     10 |        0 |        0
1064.43/1064.61	c 1063s |      15 |   217039 |   112332 |    15197     10 |        0 |        0
1067.23/1067.40	c 1066s |      15 |   217366 |   112632 |    15197     10 |        0 |        0
1069.83/1070.08	c 1069s |      15 |   217722 |   112932 |    15197     10 |        0 |        0
1072.53/1072.72	c 1072s |      15 |   218070 |   113232 |    15197     10 |        0 |        0
1075.52/1075.73	c 1075s |      15 |   218404 |   113532 |    15197     10 |        0 |        0
1078.42/1078.61	c 1077s |      15 |   218762 |   113832 |    15197     10 |        0 |        0
1081.23/1081.42	c 1080s |      15 |   219104 |   114132 |    15197     10 |        0 |        0
1083.93/1084.10	c 1083s |      15 |   219444 |   114432 |    15197     10 |        0 |        0
1086.03/1086.20	c 1085s |      15 |   219673 |   114632 |    15197     10 |        0 |        0
1088.12/1088.35	c 1087s |      15 |   219890 |   114832 |    15197     10 |        0 |        0
1090.22/1090.46	c 1089s |      15 |   220118 |   115032 |    15197     10 |        0 |        0
1093.23/1093.45	c 1092s |      15 |   220473 |   115332 |    15197     10 |        0 |        0
1096.02/1096.22	c 1095s |      15 |   220844 |   115632 |    15197     10 |        0 |        0
1098.12/1098.35	c 1097s |      15 |   221097 |   115832 |    15197     10 |        0 |        0
1101.03/1101.22	c 1100s |      15 |   221469 |   116132 |    15197     10 |        0 |        0
1103.02/1103.24	c 1102s |      15 |   221707 |   116332 |    15197     10 |        0 |        0
1105.62/1105.81	c 1105s |      15 |   222060 |   116632 |    15197     10 |        0 |        0
1108.22/1108.43	c 1107s |      15 |   222424 |   116932 |    15197     10 |        0 |        0
1110.22/1110.49	c 1109s |      15 |   222664 |   117132 |    15197     10 |        0 |        0
1113.22/1113.47	c 1112s |      15 |   223004 |   117432 |    15197     10 |        0 |        0
1116.02/1116.29	c 1115s |      15 |   223381 |   117732 |    15197     10 |        0 |        0
1118.91/1119.18	c 1118s |      15 |   223739 |   118032 |    15197     10 |        0 |        0
1121.01/1121.28	c 1120s |      15 |   223951 |   118232 |    15197     10 |        0 |        0
1123.82/1124.04	c 1123s |      15 |   224304 |   118532 |    15197     10 |        0 |        0
1126.61/1126.87	c 1126s |      15 |   224694 |   118832 |    15197     10 |        0 |        0
1129.63/1129.81	c 1129s |      15 |   225107 |   119132 |    15197     10 |        0 |        0
1131.62/1131.87	c 1131s |      15 |   225340 |   119332 |    15197     10 |        0 |        0
1133.72/1133.91	c 1133s |      15 |   225561 |   119532 |    15197     10 |        0 |        0
1136.61/1136.83	c 1136s |      15 |   225897 |   119832 |    15197     10 |        0 |        0
1138.62/1138.87	c 1138s |      15 |   226115 |   120032 |    15197     10 |        0 |        0
1140.72/1140.99	c 1140s |      15 |   226487 |   120332 |    15197     10 |        0 |        0
1143.01/1143.26	c 1142s |      15 |   226826 |   120632 |    15197     10 |        0 |        0
1145.31/1145.56	c 1144s |      15 |   227197 |   120932 |    15197     10 |        0 |        0
1147.52/1147.75	c 1147s |      15 |   227510 |   121232 |    15197     10 |        0 |        0
1149.71/1149.99	c 1149s |      15 |   227853 |   121532 |    15197     10 |        0 |        0
1152.01/1152.29	c 1151s |      15 |   228184 |   121832 |    15197     10 |        0 |        0
1154.52/1154.78	c 1154s |      15 |   228525 |   122132 |    15197     10 |        0 |        0
1157.12/1157.33	c 1156s |      15 |   228872 |   122432 |    15197     10 |        0 |        0
1159.61/1159.81	c 1159s |      15 |   229201 |   122732 |    15197     10 |        0 |        0
1162.11/1162.30	c 1161s |      15 |   229534 |   123032 |    15197     10 |        0 |        0
1164.51/1164.72	c 1164s |      15 |   229870 |   123332 |    15197     10 |        0 |        0
1167.11/1167.33	c 1166s |      15 |   230207 |   123632 |    15197     10 |        0 |        0
1169.61/1169.88	c 1169s |      15 |   230525 |   123932 |    15197     10 |        0 |        0
1172.31/1172.54	c 1171s |      15 |   230849 |   124232 |    15197     10 |        0 |        0
1177.40/1177.61	c 1176s |      15 |   231180 |   124532 |    15197     11 |        0 |        0
1179.91/1180.19	c 1179s |      15 |   231502 |   124832 |    15197     11 |        0 |        0
1182.51/1182.77	c 1182s |      15 |   231826 |   125132 |    15197     11 |        0 |        0
1184.81/1185.07	c 1184s |      15 |   232167 |   125432 |    15197     11 |        0 |        0
1187.20/1187.49	c 1186s |      15 |   232499 |   125732 |    15197     11 |        0 |        0
1189.71/1189.91	c 1189s |      15 |   232812 |   126032 |    15197     11 |        0 |        0
1192.32/1192.58	c 1191s |      15 |   233142 |   126332 |    15197     11 |        0 |        0
1195.00/1195.23	c 1194s |      15 |   233467 |   126632 |    15197     11 |        0 |        0
1197.72/1197.91	c 1197s |      15 |   233799 |   126932 |    15197     11 |        0 |        0
1200.51/1200.77	c 1200s |      15 |   234105 |   127232 |    15197     11 |        0 |        0
1203.32/1203.57	c 1202s |      15 |   234482 |   127532 |    15197     11 |        0 |        0
1206.10/1206.30	c 1205s |      15 |   234815 |   127832 |    15197     11 |        0 |        0
1208.21/1208.49	c 1207s |      15 |   235132 |   128132 |    15197     11 |        0 |        0
1210.60/1210.82	c 1210s |      15 |   235461 |   128432 |    15197     11 |        0 |        0
1212.91/1213.15	c 1212s |      15 |   235797 |   128732 |    15197     11 |        0 |        0
1215.50/1215.76	c 1215s |      15 |   236111 |   129032 |    15197     11 |        0 |        0
1218.10/1218.31	c 1217s |      15 |   236459 |   129332 |    15197     11 |        0 |        0
1220.50/1220.72	c 1220s |      15 |   236776 |   129632 |    15197     11 |        0 |        0
1223.01/1223.23	c 1222s |      15 |   237123 |   129932 |    15197     11 |        0 |        0
1225.60/1225.83	c 1225s |      15 |   237439 |   130232 |    15197     11 |        0 |        0
1228.30/1228.52	c 1227s |      15 |   237755 |   130532 |    15197     11 |        0 |        0
1231.00/1231.28	c 1230s |      15 |   238061 |   130832 |    16717     11 |        0 |        0
1233.70/1233.99	c 1233s |      15 |   238411 |   131132 |    16717     11 |        0 |        0
1236.50/1236.77	c 1236s |      15 |   238722 |   131432 |    16717     11 |        0 |        0
1237.70/1237.95	c 1237s |      16 |   238851 |   131552 |    16717     11 |        0 |        0
1245.30/1245.54	c 1244s |      16 |   245244 |   131652 |    16717     12 |        0 |        0
1247.50/1247.73	c 1247s |      16 |   245722 |   132052 |    16717     12 |        0 |        0
1249.99/1250.27	c 1249s |      16 |   246251 |   132452 |    16717     12 |        0 |        0
1252.00/1252.28	c 1251s |      16 |   246608 |   132752 |    16717     12 |        0 |        0
1254.30/1254.52	c 1253s |      16 |   246949 |   133052 |    16717     12 |        0 |        0
1256.90/1257.12	c 1256s |      16 |   247312 |   133352 |    16717     12 |        0 |        0
1259.50/1259.73	c 1259s |      16 |   247805 |   133752 |    16717     12 |        0 |        0
1261.60/1261.88	c 1261s |      16 |   248217 |   134052 |    16717     12 |        0 |        0
1263.90/1264.10	c 1263s |      16 |   248563 |   134352 |    16717     12 |        0 |        0
1266.60/1266.81	c 1266s |      16 |   249079 |   134752 |    16717     12 |        0 |        0
1269.10/1269.36	c 1268s |      16 |   249418 |   135052 |    16717     12 |        0 |        0
1271.60/1271.84	c 1271s |      16 |   249768 |   135352 |    16717     12 |        0 |        0
1274.30/1274.55	c 1273s |      16 |   250122 |   135652 |    16717     12 |        0 |        0
1276.80/1277.06	c 1276s |      16 |   250460 |   135952 |    16717     12 |        0 |        0
1278.99/1279.24	c 1278s |      16 |   250829 |   136252 |    16717     12 |        0 |        0
1281.30/1281.60	c 1280s |      16 |   251249 |   136552 |    16717     12 |        0 |        0
1283.99/1284.24	c 1283s |      16 |   251582 |   136852 |    16717     12 |        0 |        0
1286.80/1287.00	c 1286s |      16 |   251916 |   137152 |    16717     12 |        0 |        0
1289.39/1289.63	c 1289s |      16 |   252271 |   137452 |    16717     12 |        0 |        0
1291.99/1292.24	c 1291s |      16 |   252608 |   137752 |    16717     12 |        0 |        0
1294.79/1295.07	c 1294s |      16 |   252956 |   138052 |    16717     12 |        0 |        0
1297.49/1297.76	c 1297s |      16 |   253297 |   138352 |    16717     12 |        0 |        0
1300.49/1300.71	c 1300s |      16 |   253649 |   138652 |    16717     12 |        0 |        0
1303.40/1303.64	c 1303s |      16 |   253984 |   138952 |    16717     12 |        0 |        0
1306.28/1306.56	c 1305s |      16 |   254349 |   139252 |    16717     12 |        0 |        0
1309.19/1309.45	c 1308s |      16 |   254702 |   139552 |    16717     12 |        0 |        0
1311.19/1311.45	c 1310s |      16 |   254926 |   139752 |    16717     12 |        0 |        0
1313.19/1313.49	c 1312s |      16 |   255160 |   139952 |    16717     12 |        0 |        0
1315.88/1316.19	c 1315s |      16 |   255514 |   140252 |    16717     12 |        0 |        0
1318.89/1319.16	c 1318s |      16 |   255846 |   140552 |    16717     12 |        0 |        0
1321.69/1321.94	c 1321s |      16 |   256187 |   140852 |    16717     12 |        0 |        0
1324.59/1324.84	c 1324s |      16 |   256553 |   141152 |    16717     12 |        0 |        0
1327.39/1327.62	c 1327s |      16 |   256888 |   141452 |    16717     12 |        0 |        0
1329.38/1329.66	c 1329s |      16 |   257104 |   141652 |    16717     12 |        0 |        0
1332.28/1332.60	c 1331s |      16 |   257446 |   141952 |    16717     12 |        0 |        0
1334.39/1334.63	c 1334s |      16 |   257664 |   142152 |    16717     12 |        0 |        0
1337.40/1337.65	c 1337s |      16 |   258027 |   142452 |    16717     12 |        0 |        0
1339.48/1339.76	c 1339s |      16 |   258252 |   142652 |    16717     12 |        0 |        0
1342.38/1342.61	c 1341s |      16 |   258613 |   142952 |    16717     12 |        0 |        0
1344.48/1344.74	c 1344s |      16 |   258845 |   143152 |    16717     12 |        0 |        0
1346.68/1346.90	c 1346s |      16 |   259061 |   143352 |    16717     12 |        0 |        0
1348.69/1348.92	c 1348s |      16 |   259292 |   143552 |    16717     12 |        0 |        0
1350.79/1351.01	c 1350s |      16 |   259510 |   143752 |    16717     12 |        0 |        0
1352.79/1353.10	c 1352s |      16 |   259761 |   143952 |    16717     12 |        0 |        0
1354.99/1355.29	c 1354s |      16 |   259976 |   144152 |    16717     12 |        0 |        0
1357.29/1357.52	c 1356s |      16 |   260186 |   144352 |    16717     12 |        0 |        0
1359.49/1359.75	c 1359s |      16 |   260407 |   144552 |    16717     12 |        0 |        0
1361.69/1361.94	c 1361s |      16 |   260632 |   144752 |    16717     12 |        0 |        0
1363.89/1364.17	c 1363s |      16 |   260862 |   144952 |    16717     12 |        0 |        0
1365.98/1366.28	c 1365s |      16 |   261092 |   145152 |    16717     12 |        0 |        0
1368.08/1368.31	c 1367s |      16 |   261298 |   145352 |    16717     12 |        0 |        0
1370.98/1371.22	c 1370s |      16 |   261632 |   145652 |    16717     12 |        0 |        0
1373.79/1374.05	c 1373s |      16 |   261976 |   145952 |    16717     12 |        0 |        0
1375.99/1376.28	c 1375s |      16 |   262205 |   146152 |    16717     12 |        0 |        0
1377.97/1378.29	c 1377s |      16 |   262420 |   146352 |    16717     12 |        0 |        0
1380.08/1380.36	c 1379s |      16 |   262647 |   146552 |    16717     12 |        0 |        0
1382.28/1382.52	c 1381s |      16 |   262866 |   146752 |    16717     12 |        0 |        0
1385.28/1385.51	c 1384s |      16 |   263223 |   147052 |    16717     12 |        0 |        0
1387.47/1387.71	c 1387s |      16 |   263445 |   147252 |    16717     12 |        0 |        0
1389.77/1390.00	c 1389s |      16 |   263669 |   147452 |    16717     12 |        0 |        0
1392.08/1392.33	c 1391s |      16 |   263896 |   147652 |    16717     12 |        0 |        0
1394.18/1394.46	c 1393s |      16 |   264119 |   147852 |    16717     12 |        0 |        0
1396.38/1396.67	c 1396s |      16 |   264366 |   148052 |    16717     12 |        0 |        0
1398.78/1399.01	c 1398s |      16 |   264599 |   148252 |    16717     12 |        0 |        0
1401.07/1401.33	c 1400s |      16 |   264824 |   148452 |    16717     12 |        0 |        0
1405.58/1405.82	c 1405s |      16 |   265039 |   148652 |    16717     13 |        0 |        0
1407.67/1407.90	c 1407s |      16 |   265270 |   148852 |    16717     13 |        0 |        0
1410.58/1410.82	c 1410s |      16 |   265647 |   149152 |    16717     13 |        0 |        0
1413.47/1413.70	c 1413s |      16 |   266002 |   149452 |    16717     13 |        0 |        0
1416.27/1416.51	c 1415s |      16 |   266373 |   149752 |    16717     13 |        0 |        0
1418.88/1419.16	c 1418s |      16 |   266764 |   150052 |    16717     13 |        0 |        0
1421.68/1421.93	c 1421s |      16 |   267146 |   150352 |    16717     13 |        0 |        0
1424.67/1424.91	c 1424s |      16 |   267529 |   150652 |    16717     13 |        0 |        0
1426.87/1427.13	c 1426s |      16 |   267759 |   150852 |    16717     13 |        0 |        0
1429.17/1429.46	c 1428s |      16 |   267983 |   151052 |    16717     13 |        0 |        0
1431.27/1431.59	c 1430s |      16 |   268218 |   151252 |    16717     13 |        0 |        0
1433.57/1433.82	c 1433s |      16 |   268430 |   151452 |    16717     13 |        0 |        0
1435.96/1436.26	c 1435s |      16 |   268644 |   151652 |    16717     13 |        0 |        0
1438.37/1438.69	c 1438s |      16 |   268873 |   151852 |    16717     13 |        0 |        0
1441.37/1441.69	c 1441s |      16 |   269224 |   152152 |    16717     13 |        0 |        0
1443.57/1443.81	c 1443s |      16 |   269469 |   152352 |    16717     13 |        0 |        0
1445.67/1445.98	c 1445s |      16 |   269728 |   152552 |    16717     13 |        0 |        0
1448.07/1448.31	c 1447s |      16 |   269937 |   152752 |    16717     13 |        0 |        0
1450.27/1450.57	c 1449s |      16 |   270176 |   152952 |    16717     13 |        0 |        0
1452.56/1452.86	c 1452s |      16 |   270389 |   153152 |    16717     13 |        0 |        0
1454.67/1454.95	c 1454s |      16 |   270626 |   153352 |    16717     13 |        0 |        0
1456.97/1457.22	c 1456s |      16 |   270863 |   153552 |    16717     13 |        0 |        0
1459.48/1459.73	c 1459s |      16 |   271072 |   153752 |    16717     13 |        0 |        0
1461.87/1462.17	c 1461s |      16 |   271304 |   153952 |    16717     13 |        0 |        0
1464.67/1464.99	c 1464s |      16 |   271696 |   154252 |    16717     13 |        0 |        0
1466.77/1467.08	c 1466s |      16 |   271906 |   154452 |    16717     13 |        0 |        0
1469.07/1469.35	c 1468s |      16 |   272135 |   154652 |    16717     13 |        0 |        0
1471.57/1471.82	c 1471s |      16 |   272360 |   154852 |    16717     13 |        0 |        0
1473.87/1474.13	c 1473s |      16 |   272591 |   155052 |    16717     13 |        0 |        0
1475.97/1476.25	c 1475s |      16 |   272812 |   155252 |    16717     13 |        0 |        0
1478.36/1478.63	c 1478s |      16 |   273025 |   155452 |    16717     13 |        0 |        0
1481.16/1481.41	c 1480s |      16 |   273240 |   155652 |    16717     13 |        0 |        0
1483.56/1483.81	c 1483s |      16 |   273471 |   155852 |    16717     13 |        0 |        0
1486.06/1486.38	c 1485s |      16 |   273687 |   156052 |    16717     13 |        0 |        0
1488.36/1488.67	c 1488s |      16 |   273906 |   156252 |    16717     13 |        0 |        0
1490.46/1490.70	c 1490s |      16 |   274140 |   156452 |    16717     13 |        0 |        0
1492.66/1492.92	c 1492s |      16 |   274370 |   156652 |    16717     13 |        0 |        0
1494.86/1495.17	c 1494s |      16 |   274589 |   156852 |    16717     13 |        0 |        0
1497.26/1497.52	c 1496s |      16 |   274843 |   157052 |    16717     13 |        0 |        0
1499.56/1499.87	c 1499s |      16 |   275079 |   157252 |    16717     13 |        0 |        0
1501.96/1502.24	c 1501s |      16 |   275299 |   157452 |    16717     13 |        0 |        0
1504.26/1504.54	c 1503s |      16 |   275553 |   157652 |    16717     13 |        0 |        0
1506.36/1506.69	c 1506s |      16 |   275783 |   157852 |    16717     13 |        0 |        0
1509.36/1509.66	c 1509s |      16 |   276138 |   158152 |    16717     13 |        0 |        0
1511.55/1511.81	c 1511s |      16 |   276378 |   158352 |    16717     13 |        0 |        0
1514.06/1514.35	c 1513s |      16 |   276761 |   158652 |    16717     13 |        0 |        0
1516.66/1516.95	c 1516s |      16 |   277122 |   158952 |    16717     13 |        0 |        0
1518.86/1519.16	c 1518s |      16 |   277343 |   159152 |    16717     13 |        0 |        0
1521.76/1522.05	c 1521s |      16 |   277667 |   159452 |    16717     13 |        0 |        0
1524.76/1525.09	c 1524s |      16 |   278021 |   159752 |    16717     13 |        0 |        0
1526.96/1527.26	c 1526s |      16 |   278238 |   159952 |    16717     13 |        0 |        0
1529.15/1529.44	c 1528s |      16 |   278480 |   160152 |    16717     13 |        0 |        0
1532.25/1532.50	c 1531s |      16 |   278860 |   160452 |    16717     13 |        0 |        0
1534.56/1534.86	c 1534s |      16 |   279089 |   160652 |    16717     13 |        0 |        0
1536.76/1537.03	c 1536s |      16 |   279329 |   160852 |    16717     13 |        0 |        0
1538.76/1539.05	c 1538s |      16 |   279568 |   161052 |    16717     13 |        0 |        0
1541.25/1541.53	c 1540s |      16 |   279786 |   161252 |    16717     13 |        0 |        0
1543.56/1543.83	c 1543s |      16 |   280010 |   161452 |    16717     13 |        0 |        0
1545.65/1545.97	c 1545s |      16 |   280229 |   161652 |    16717     13 |        0 |        0
1547.85/1548.12	c 1547s |      16 |   280451 |   161852 |    16717     13 |        0 |        0
1552.66/1552.97	c 1552s |      16 |   280677 |   162052 |    16717     14 |        0 |        0
1555.65/1555.92	c 1555s |      16 |   281004 |   162352 |    16717     14 |        0 |        0
1557.95/1558.26	c 1557s |      16 |   281233 |   162552 |    16717     14 |        0 |        0
1560.05/1560.32	c 1559s |      16 |   281460 |   162752 |    16717     14 |        0 |        0
1562.25/1562.56	c 1561s |      16 |   281677 |   162952 |    16717     14 |        0 |        0
1564.35/1564.64	c 1564s |      16 |   281902 |   163152 |    16717     14 |        0 |        0
1566.45/1566.79	c 1566s |      16 |   282132 |   163352 |    16717     14 |        0 |        0
1568.55/1568.82	c 1568s |      16 |   282378 |   163552 |    16717     14 |        0 |        0
1570.75/1571.05	c 1570s |      16 |   282594 |   163752 |    16717     14 |        0 |        0
1572.76/1573.10	c 1572s |      16 |   282817 |   163952 |    16717     14 |        0 |        0
1574.95/1575.22	c 1574s |      16 |   283052 |   164152 |    16717     14 |        0 |        0
1577.15/1577.46	c 1576s |      16 |   283272 |   164352 |    16717     14 |        0 |        0
1579.35/1579.61	c 1578s |      16 |   283481 |   164552 |    16717     14 |        0 |        0
1581.65/1581.98	c 1581s |      16 |   283731 |   164752 |    16717     14 |        0 |        0
1583.75/1584.07	c 1583s |      16 |   283952 |   164952 |    16717     14 |        0 |        0
1585.85/1586.11	c 1585s |      16 |   284186 |   165152 |    16717     14 |        0 |        0
1588.04/1588.37	c 1587s |      16 |   284418 |   165352 |    16717     14 |        0 |        0
1590.14/1590.48	c 1589s |      16 |   284636 |   165552 |    16717     14 |        0 |        0
1592.56/1592.87	c 1592s |      16 |   284870 |   165752 |    16717     14 |        0 |        0
1594.95/1595.24	c 1594s |      16 |   285113 |   165952 |    16717     14 |        0 |        0
1597.24/1597.55	c 1596s |      16 |   285339 |   166152 |    16717     14 |        0 |        0
1599.55/1599.82	c 1599s |      16 |   285570 |   166352 |    16717     14 |        0 |        0
1601.75/1602.02	c 1601s |      16 |   285802 |   166552 |    16717     14 |        0 |        0
1603.94/1604.25	c 1603s |      16 |   286021 |   166752 |    16717     14 |        0 |        0
1606.14/1606.46	c 1605s |      16 |   286223 |   166952 |    16717     14 |        0 |        0
1608.84/1609.10	c 1608s |      16 |   286438 |   167152 |    16717     14 |        0 |        0
1611.04/1611.37	c 1610s |      16 |   286668 |   167352 |    16717     14 |        0 |        0
1613.45/1613.75	c 1613s |      16 |   286891 |   167552 |    16717     14 |        0 |        0
1615.95/1616.23	c 1615s |      16 |   287104 |   167752 |    16717     14 |        0 |        0
1618.44/1618.76	c 1618s |      16 |   287315 |   167952 |    16717     14 |        0 |        0
1621.34/1621.67	c 1621s |      16 |   287452 |   168052 |    16717     14 |        0 |        0
1623.35/1623.67	c 1623s |      16 |   287685 |   168252 |    16717     14 |        0 |        0
1626.24/1626.59	c 1625s |      16 |   288017 |   168552 |    16717     14 |        0 |        0
1629.24/1629.54	c 1628s |      16 |   288354 |   168852 |    16717     14 |        0 |        0
1631.24/1631.56	c 1630s |      16 |   288591 |   169052 |    16717     14 |        0 |        0
1633.35/1633.69	c 1633s |      16 |   288822 |   169252 |    16717     14 |        0 |        0
1635.55/1635.81	c 1635s |      16 |   289053 |   169452 |    16717     14 |        0 |        0
1638.33/1638.65	c 1638s |      16 |   289403 |   169752 |    16717     14 |        0 |        0
1640.34/1640.67	c 1640s |      16 |   289618 |   169952 |    16717     14 |        0 |        0
1643.25/1643.55	c 1642s |      16 |   289968 |   170252 |    16717     14 |        0 |        0
1645.34/1645.65	c 1645s |      16 |   290194 |   170452 |    16717     14 |        0 |        0
1647.43/1647.73	c 1647s |      16 |   290421 |   170652 |    16717     14 |        0 |        0
1649.84/1650.17	c 1649s |      16 |   290634 |   170852 |    16717     14 |        0 |        0
1652.14/1652.43	c 1651s |      16 |   290854 |   171052 |    16717     14 |        0 |        0
1654.44/1654.70	c 1654s |      16 |   291076 |   171252 |    16717     14 |        0 |        0
1656.64/1656.91	c 1656s |      16 |   291313 |   171452 |    16717     14 |        0 |        0
1659.04/1659.33	c 1658s |      16 |   291542 |   171652 |    16717     14 |        0 |        0
1661.33/1661.68	c 1661s |      16 |   291763 |   171852 |    16717     14 |        0 |        0
1663.44/1663.76	c 1663s |      16 |   291993 |   172052 |    16717     14 |        0 |        0
1665.54/1665.89	c 1665s |      16 |   292210 |   172252 |    16717     14 |        0 |        0
1668.74/1669.06	c 1668s |      16 |   292539 |   172552 |    16717     14 |        0 |        0
1670.83/1671.14	c 1670s |      16 |   292754 |   172752 |    16717     14 |        0 |        0
1673.23/1673.51	c 1672s |      16 |   292986 |   172952 |    16717     14 |        0 |        0
1675.63/1675.97	c 1675s |      16 |   293198 |   173152 |    16717     14 |        0 |        0
1678.03/1678.32	c 1677s |      16 |   293406 |   173352 |    16717     14 |        0 |        0
1680.54/1680.82	c 1680s |      16 |   293619 |   173552 |    16717     14 |        0 |        0
1682.93/1683.22	c 1682s |      16 |   293827 |   173752 |    16717     14 |        0 |        0
1685.23/1685.50	c 1684s |      16 |   294045 |   173952 |    16717     14 |        0 |        0
1687.43/1687.72	c 1687s |      16 |   294268 |   174152 |    16717     14 |        0 |        0
1689.63/1689.91	c 1689s |      16 |   294492 |   174352 |    16717     14 |        0 |        0
1692.14/1692.49	c 1691s |      16 |   294702 |   174552 |    16717     14 |        0 |        0
1694.84/1695.14	c 1694s |      16 |   294924 |   174752 |    16717     14 |        0 |        0
1697.04/1697.36	c 1696s |      16 |   295161 |   174952 |    16717     14 |        0 |        0
1699.23/1699.60	c 1698s |      16 |   295402 |   175152 |    16717     14 |        0 |        0
1701.73/1702.02	c 1701s |      16 |   295612 |   175352 |    16717     14 |        0 |        0
1706.53/1706.84	c 1706s |      16 |   295829 |   175552 |    16717     15 |        0 |        0
1708.72/1709.08	c 1708s |      16 |   296050 |   175752 |    16717     15 |        0 |        0
1711.34/1711.63	c 1711s |      16 |   296282 |   175952 |    16717     15 |        0 |        0
1714.23/1714.59	c 1713s |      16 |   296658 |   176252 |    16717     15 |        0 |        0
1717.33/1717.61	c 1716s |      16 |   296989 |   176552 |    16717     15 |        0 |        0
1719.33/1719.66	c 1719s |      16 |   297216 |   176752 |    16717     15 |        0 |        0
1721.34/1721.67	c 1721s |      16 |   297448 |   176952 |    16717     15 |        0 |        0
1723.63/1723.90	c 1723s |      16 |   297658 |   177152 |    16717     15 |        0 |        0
1725.83/1726.19	c 1725s |      16 |   297874 |   177352 |    16717     15 |        0 |        0
1728.12/1728.43	c 1727s |      16 |   298095 |   177552 |    16717     15 |        0 |        0
1730.43/1730.79	c 1730s |      16 |   298310 |   177752 |    16717     15 |        0 |        0
1732.83/1733.15	c 1732s |      16 |   298546 |   177952 |    16717     15 |        0 |        0
1735.23/1735.55	c 1734s |      16 |   298767 |   178152 |    16717     15 |        0 |        0
1737.43/1737.72	c 1737s |      16 |   298988 |   178352 |    16717     15 |        0 |        0
1739.72/1740.02	c 1739s |      16 |   299209 |   178552 |    16717     15 |        0 |        0
1742.23/1742.53	c 1741s |      16 |   299412 |   178752 |    16717     15 |        0 |        0
1744.52/1744.82	c 1744s |      16 |   299636 |   178952 |    16717     15 |        0 |        0
1746.93/1747.27	c 1746s |      16 |   299846 |   179152 |    16717     15 |        0 |        0
1749.32/1749.67	c 1749s |      16 |   300081 |   179352 |    16717     15 |        0 |        0
1752.42/1752.71	c 1752s |      16 |   300414 |   179652 |    16717     15 |        0 |        0
1755.43/1755.72	c 1755s |      16 |   300807 |   179952 |    16717     15 |        0 |        0
1757.53/1757.89	c 1757s |      16 |   301038 |   180152 |    16717     15 |        0 |        0
1759.62/1759.95	c 1759s |      16 |   301253 |   180352 |    16717     15 |        0 |        0
1761.82/1762.13	c 1761s |      16 |   301492 |   180552 |    16717     15 |        0 |        0
1763.92/1764.28	c 1763s |      16 |   301718 |   180752 |    16717     15 |        0 |        0
1766.22/1766.59	c 1765s |      16 |   301944 |   180952 |    16717     15 |        0 |        0
1768.42/1768.70	c 1768s |      16 |   302165 |   181152 |    16717     15 |        0 |        0
1770.52/1770.89	c 1770s |      16 |   302405 |   181352 |    16717     15 |        0 |        0
1772.82/1773.13	c 1772s |      16 |   302634 |   181552 |    16717     15 |        0 |        0
1775.13/1775.43	c 1774s |      16 |   302875 |   181752 |    16717     15 |        0 |        0
1777.21/1777.57	c 1776s |      16 |   303113 |   181952 |    16717     15 |        0 |        0
1779.31/1779.60	c 1778s |      16 |   303328 |   182152 |    16717     15 |        0 |        0
1781.51/1781.83	c 1781s |      16 |   303564 |   182352 |    16717     15 |        0 |        0
1784.02/1784.35	c 1783s |      16 |   303779 |   182552 |    16717     15 |        0 |        0
1786.42/1786.80	c 1786s |      16 |   304009 |   182752 |    16717     15 |        0 |        0
1789.02/1789.30	c 1788s |      16 |   304239 |   182952 |    16717     15 |        0 |        0
1791.52/1791.90	c 1791s |      16 |   304464 |   183152 |    16717     15 |        0 |        0
1793.93/1794.29	c 1793s |      16 |   304681 |   183352 |    16717     15 |        0 |        0
1796.52/1796.81	c 1796s |      16 |   304894 |   183552 |    16717     15 |        0 |        0
1798.81/1799.10	c 1798s |      16 |   305123 |   183752 |    16717     15 |        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-4093705-1466093283/watcher-4093705-1466093283 -o /tmp/evaluation-result-4093705-1466093283/solver-4093705-1466093283 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466093283-28007 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093705-1466093283.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.30 3.00 3/175 28036
/proc/meminfo: memFree=30436224/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 2846 0 0 0 0 0 0 0 20 0 4 0 11373574 778498048 2696 33554432000 4194304 16246674 140735766798944 140735766798368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 191087 2708 441 2943 0 187981 0
[pid=28035/tid=28038] ppid=28029 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 803663872 2792 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 808906752 2812 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=795068 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11373575 814149632 2829 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.17 2.30 3.00 3/175 28036
/proc/meminfo: memFree=30436224/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 21476 0 0 0 5 3 0 0 20 0 4 0 11373574 1250496512 21266 33554432000 4194304 16246674 140735766798944 140735766798256 12481076 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 305297 21266 826 2943 0 302191 0
[pid=28035/tid=28038] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 21266 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 21266 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 21266 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200532 s]
/proc/loadavg: 2.17 2.30 3.00 3/175 28036
/proc/meminfo: memFree=30436224/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1221188 CPUtime=0.18 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 40264 0 0 0 12 6 0 0 20 0 4 0 11373574 1250496512 40054 33554432000 4194304 16246674 140735766798944 140735766798256 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 305297 40060 826 2943 0 302191 0
[pid=28035/tid=28038] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 40066 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 40071 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 40075 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300452 s]
/proc/loadavg: 2.17 2.30 3.00 3/175 28036
/proc/meminfo: memFree=30436224/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1221188 CPUtime=0.28 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 59421 0 0 0 19 9 0 0 20 0 4 0 11373574 1250496512 59212 33554432000 4194304 16246674 140735766798944 140735766798256 12478070 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 305297 59221 826 2943 0 302191 0
[pid=28035/tid=28038] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 59226 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 59232 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 59238 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1221188

[startup+0.700366 s]
/proc/loadavg: 2.17 2.30 3.00 3/175 28036
/proc/meminfo: memFree=30436224/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 138621 0 0 0 49 20 0 0 20 0 4 0 11373574 1250496512 138411 33554432000 4194304 16246674 140735766798944 140735766798256 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 305297 138414 914 2943 0 302191 0
[pid=28035/tid=28038] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 138417 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 138429 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11373575 1250496512 138441 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50038 s]
/proc/loadavg: 2.17 2.30 3.00 4/183 28044
/proc/meminfo: memFree=29206744/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 154568 0 0 0 127 22 0 0 20 0 4 0 11373574 1338576896 154358 33554432000 4194304 16246674 140735766798944 140735766798120 13809250 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 326801 154358 920 2943 0 323695 0
[pid=28035/tid=28038] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 154358 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 154358 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 154358 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10038 s]
/proc/loadavg: 2.23 2.31 3.00 4/183 28044
/proc/meminfo: memFree=29198312/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 154734 0 0 0 287 22 0 0 20 0 4 0 11373574 1338576896 154524 33554432000 4194304 16246674 140735766798944 140735766798120 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 326801 154524 921 2943 0 323695 0
[pid=28035/tid=28038] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 154524 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 154524 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 154524 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.23 2.31 3.00 4/183 28044
/proc/meminfo: memFree=29173852/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 159070 0 0 0 606 23 0 0 20 0 4 0 11373574 1338576896 158860 33554432000 4194304 16246674 140735766798944 140735766798120 5661940 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 326801 158860 921 2943 0 323695 0
[pid=28035/tid=28038] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 158860 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 158860 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 158860 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.20 2.30 2.98 4/183 28044
/proc/meminfo: memFree=29149692/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 161240 0 0 0 1245 23 0 0 20 0 4 0 11373574 1338576896 161030 33554432000 4194304 16246674 140735766798944 140735766798120 5546190 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 326801 161030 921 2943 0 323695 0
[pid=28035/tid=28038] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 161030 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 161030 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 161030 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.17 2.29 2.97 5/183 28044
/proc/meminfo: memFree=29150440/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 161240 0 0 0 2524 24 0 0 20 0 4 0 11373574 1338576896 161030 33554432000 4194304 16246674 140735766798944 140735766798120 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 326801 161030 921 2943 0 323695 0
[pid=28035/tid=28038] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 161030 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 161030 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 161030 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.25 2.30 2.96 4/183 28044
/proc/meminfo: memFree=29035996/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 189891 0 0 0 5078 30 0 0 20 0 4 0 11373574 1338576896 189681 33554432000 4194304 16246674 140735766798944 140735766798120 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 326801 189681 927 2943 0 323695 0
[pid=28035/tid=28038] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 189681 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 189681 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1338576896 189681 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.15 2.26 2.90 4/183 28045
/proc/meminfo: memFree=28291364/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 269050 0 0 0 10186 42 0 0 20 0 4 0 11373574 1342771200 268840 33554432000 4194304 16246674 140735766798944 140735766798120 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 327825 268840 928 2943 0 324719 0
[pid=28035/tid=28038] ppid=28029 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1342771200 268840 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1342771200 268840 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1342771200 268840 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1953042432 417832 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1907268 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1953042432 417832 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1907268 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1953042432 417832 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1907268

[startup+1362.3 s]
/proc/loadavg: 2.19 2.24 2.39 4/184 28079
/proc/meminfo: memFree=27196060/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1907268 CPUtime=1362.08 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 418042 0 0 0 136024 184 0 0 20 0 4 0 11373574 1953042432 417832 33554432000 4194304 16246674 140735766798944 140735766798120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 476817 417832 928 2943 0 473711 0
[pid=28035/tid=28038] ppid=28029 vsize=1907268 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 1953042432 417832 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1907268 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 1953042432 417832 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1907268 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 1953042432 417832 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1907268

[startup+1422.3 s]
/proc/loadavg: 2.18 2.23 2.37 4/183 28080
/proc/meminfo: memFree=27148984/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=1954372 CPUtime=1422.08 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 429804 0 0 0 142012 196 0 0 20 0 4 0 11373574 2001276928 429594 33554432000 4194304 16246674 140735766798944 140735766798120 5546271 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 488593 429594 928 2943 0 485487 0
[pid=28035/tid=28038] ppid=28029 vsize=1954372 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 2001276928 429594 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=1954372 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 2001276928 429594 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=1954372 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 2001276928 429594 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1954372

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.36 4/183 28082
/proc/meminfo: memFree=27070008/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=2033220 CPUtime=1482.06 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 449463 0 0 0 147998 208 0 0 20 0 4 0 11373574 2082017280 449253 33554432000 4194304 16246674 140735766798944 140735766798120 5828757 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 508305 449253 928 2943 0 505199 0
[pid=28035/tid=28038] ppid=28029 vsize=2033220 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 2082017280 449253 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=2033220 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 2082017280 449253 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=2033220 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 2082017280 449253 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2033220

[startup+1542.31 s]
/proc/loadavg: 2.08 2.19 2.34 4/183 28083
/proc/meminfo: memFree=26848180/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=2197060 CPUtime=1542.06 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 490380 0 0 0 153980 226 0 0 20 0 4 0 11373574 2249789440 490170 33554432000 4194304 16246674 140735766798944 140735766798120 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 549265 490170 928 2943 0 546159 0
[pid=28035/tid=28038] ppid=28029 vsize=2197060 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 2249789440 490170 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=2197060 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 2249789440 490170 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=2197060 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 2249789440 490170 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2197060

[startup+1602.3 s]
/proc/loadavg: 2.17 2.20 2.33 4/183 28084
/proc/meminfo: memFree=26692228/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=2243140 CPUtime=1602.05 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 502010 0 0 0 159961 244 0 0 20 0 4 0 11373574 2296975360 501800 33554432000 4194304 16246674 140735766798944 140735766798120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 560785 501800 928 2943 0 557679 0
[pid=28035/tid=28038] ppid=28029 vsize=2243140 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 2296975360 501800 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=2243140 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 2296975360 501800 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=2243140 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 2296975360 501800 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 2243140

[startup+1662.3 s]
/proc/loadavg: 2.20 2.20 2.33 4/183 28085
/proc/meminfo: memFree=26661884/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=2274884 CPUtime=1662.03 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 509860 0 0 0 165947 256 0 0 20 0 4 0 11373574 2329481216 509650 33554432000 4194304 16246674 140735766798944 140735766798040 5823779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 568721 509650 928 2943 0 565615 0
[pid=28035/tid=28038] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509650 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509650 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509650 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2274884

[startup+1722.3 s]
/proc/loadavg: 2.34 2.24 2.33 4/183 28086
/proc/meminfo: memFree=26660892/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=2274884 CPUtime=1722.03 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 509946 0 0 0 171930 273 0 0 20 0 4 0 11373574 2329481216 509736 33554432000 4194304 16246674 140735766798944 140735766798120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 568721 509736 928 2943 0 565615 0
[pid=28035/tid=28038] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2274884

[startup+1782.3 s]
/proc/loadavg: 2.34 2.25 2.33 4/183 28088
/proc/meminfo: memFree=26659984/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=2274884 CPUtime=1782.01 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 509946 0 0 0 177913 288 0 0 20 0 4 0 11373574 2329481216 509736 33554432000 4194304 16246674 140735766798944 140735766798120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 568721 509736 928 2943 0 565615 0
[pid=28035/tid=28038] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2274884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.25 2.32 4/183 28088
/proc/meminfo: memFree=26660588/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=2274884 CPUtime=1800.02 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) R 28029 28035 7986 0 -1 4202496 509946 0 0 0 179709 293 0 0 20 0 4 0 11373574 2329481216 509736 33554432000 4194304 16246674 140735766798944 140735766798120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 568721 509736 928 2943 0 565615 0
[pid=28035/tid=28038] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (toysat) S 28029 28035 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728748784880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) S 28029 28035 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728738295024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28035/tid=28041] ppid=28029 vsize=2274884 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28041/stat : 28041 (toysat) S 28029 28035 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 11373575 2329481216 509736 33554432000 4194304 16246674 140735766798944 139728727821488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2274884

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

[startup+1800.4 s]
/proc/loadavg: 2.31 2.25 2.32 4/183 28088
/proc/meminfo: memFree=26660588/32872528 swapFree=1399392/1569044
[pid=28035] ppid=28029 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/28035/stat : 28035 (toysat) Z 28029 28035 7986 0 -1 4203532 509946 0 0 0 179709 303 0 0 20 0 2 0 11373574 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28035/statm: 0 0 0 0 0 0 0
[pid=28035/tid=28040] ppid=28029 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/28035/task/28040/stat : 28040 (toysat) R 28029 28035 7986 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 11373575 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.44
CPU time (s): 1800.16
CPU user time (s): 1797.1
CPU system time (s): 3.06053
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 2274884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.1
system time used= 3.06053
maximum resident set size= 2038944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509946
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= 16
involuntary context switches= 1967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62099 second user time and 9.34758 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-16 18:08:03
IDJOB=4093705
IDBENCH=79183
IDSOLVER=2553
FILE ID=node140/4093705-1466093283
RUNJOBID= node140-1466093283-28007
PBS_JOBID= 19904000
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 74ceb63f540b1c0e7b9983b4b6436598
RANDOM SEED=786296172

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30437224 kB
Buffers:           41452 kB
Cached:           117660 kB
SwapCached:         2564 kB
Active:            86112 kB
Inactive:          75936 kB
Active(anon):       3504 kB
Inactive(anon):     1792 kB
Active(file):      82608 kB
Inactive(file):    74144 kB
Unevictable:     1569044 kB
Mlocked:         1399392 kB
SwapTotal:      67108856 kB
SwapFree:       67096820 kB
Dirty:             33268 kB
Writeback:            28 kB
AnonPages:       1570908 kB
Mapped:             6996 kB
Shmem:                 0 kB
Slab:             569812 kB
SReclaimable:      13696 kB
SUnreclaim:       556116 kB
KernelStack:        1408 kB
PageTables:         6616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1665432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node140 at 2016-06-16 18:38:04