Trace number 4109214

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo
MD5SUM2c1e8fe2f29e9730adde423ef6a1fb6a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6480
Total number of constraints161
Number of soft constraints56
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint81
Top cost 3123
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3122
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 82
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T15:21:36+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-4109214-1466342495.wbo"]
0.00/0.01	c use --random-gen="3467311360 1452726986 1452053266 1952444832 3695703323 2904033242 2809696115 3387597695 3205100845 2142700405 1684941196 301759414 1799600561 2419626517 3690155846 3866761495 2354974991 503876525 2453528926 2445238939 3265408548 4043161926 1029958387 1796554231 1601825449 635357254 401346615 2866848339 2939534118 3587900791 3302302564 2670690242 252543262 165489075 1417984427 2782195654 3870917482 292331215 2823433083 2110008417 2543883498 2964244371 2980889040 1484719324 1011601517 3317533281 3422396200 512549313 3336964802 1659983200 1075651989 3723450704 2487395226 200585249 247957556 619121087 2189130307 1181100653 3236509114 1492363278 2932000090 1408423290 819602667 2849445876 4100201462 2393747285 371828533 1851712371 1657920353 3333534672 849831327 757667431 4163233236 1217281730 3471119520 1403476770 3066890376 1752543380 1125241285 3547003742 1379237767 1184538379 2605497936 1263101558 1645632501 2738514980 117875928 2837588146 3804709042 2661673924 108005233 3815447748 2737827039 3201545598 3748283226 1922210097 2181961649 2222348499 1245283847 2153925768 198811550 63564143 2018202383 2416236232 940987863 2181954270 4131709642 779998669 4030270931 1559438612 3654831104 4059262590 3480085141 2176521562 1693597535 999493194 1543517835 2544200900 1316425966 4280034166 3587608994 3578523854 3557776323 3932667933 1778048884 1024510401 3866116596 3290552686 2832884976 1641201105 1192484310 2143906600 567770823 1725672188 3844033585 2818182827 1103415849 3361342771 3819145063 924951755 2562830321 3028363807 3719574167 1070327377 3718569862 3801482675 52608207 1073835081 110191147 3931185551 2081823908 665363846 3579078369 888291086 3822660100 982606345 2194850703 2517351649 1151444407 1451756591 2589217371 2990778579 1620304547 3946362444 4045702717 1519250028 1309751716 3840714332 3052288442 2674021972 2220488457 2766039037 706764596 1572900229 2312522664 1815936554 579260882 520087627 2831479475 1319288645 1588023301 766247198 1680348194 1556666426 1525893503 822473003 2781176109 3094457 3145905671 106957270 1596233107 456353331 1744482141 3951901615 3262501492 2011344523 2324651863 3104566917 2519751981 2655375293 1869297590 493695136 2543401201 4206146541 2513871620 3171944755 1326358608 434984723 3995895807 3360966166 4104713607 3193606341 625216479 1138349739 1515033235 772954589 1000867823 592336562 3423139271 2574340662 3522157194 4085781923 3235934577 3868661225 269923181 1384667974 3347171159 3167965679 531097554 4109387842 2829534862 3548291288 3824779868 2859931875 1637041384 83110984 452578108 616356548 3284650446 3776621558 2714853735 1301145081 3287557823 1986071417 687175769 361840749 680569420 3929833174 2072041099 2907318893 1905317798 818624639 1435355290 2550252302 1559943360 3883990439 255 362436" option to reproduce the execution
0.29/0.32	c #vars 6480
0.29/0.32	c #constraints 161
0.29/0.36	c BCD2: Hardening is enabled.
0.29/0.36	c BCD2: BiasedSearch is enabled.
0.29/0.36	c Solving starts ...
0.29/0.36	c ============================[ Search Statistics ]============================
0.29/0.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.36	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.36	c =============================================================================
0.29/0.37	c  0.0s |       0 |        0 |        0 |     2232      0 |        0 |        0
0.38/0.44	c  0.1s |       1 |      248 |      100 |     2232      0 |        0 |        0
0.38/0.45	c  0.1s |       1 |     4485 |      102 |     2456      0 |        0 |        0
0.38/0.45	c #cpu_time = 0.076s
0.38/0.45	c #wall_clock_time = 0.076s
0.38/0.45	c #decision = 4485
0.38/0.45	c #random_decision = 19
0.38/0.45	c #conflict = 102
0.38/0.45	c #restart = 1
0.38/0.45	o 1212
0.38/0.45	c BCD2: updating upper bound: 3122 -> 1211
0.38/0.45	c BCD2: 0 <= obj <= 1211
0.38/0.45	c BCD2: #cores=0, #unrelaxed=56, #relaxed=0, #hardened=0
0.38/0.45	c BCD2: #sat=1 #unsat=1 bias=1/2
0.38/0.45	c Solving starts ...
0.38/0.45	c ============================[ Search Statistics ]============================
0.38/0.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.38/0.45	c       |         |          |          |    Limit     GC | Var      | Constra 
0.38/0.45	c =============================================================================
0.38/0.45	c  0.0s |       0 |        0 |        0 |     2456      0 |        0 |        0
0.59/0.66	c  0.2s |       1 |     2372 |      100 |     2456      0 |        0 |        0
0.98/1.07	c  0.6s |       2 |     5511 |      250 |     2702      0 |        0 |        0
1.79/1.87	c  1.4s |       3 |     9634 |      475 |     2973      0 |        0 |        0
2.79/2.84	c  2.4s |       4 |    13994 |      813 |     3271      0 |        0 |        0
3.79/3.84	c  3.4s |       5 |    18168 |     1320 |     3599      0 |        0 |        0
5.38/5.50	c  5.1s |       6 |    22316 |     2081 |     3959      0 |        0 |        0
7.49/7.58	c  7.1s |       6 |    26734 |     3081 |     3959      0 |        0 |        0
7.89/7.96	c  7.5s |       7 |    26899 |     3223 |     4355      0 |        0 |        0
10.00/10.03	c  9.6s |       7 |    31039 |     3823 |     4355      0 |        0 |        0
11.99/12.07	c 11.6s |       7 |    31621 |     4323 |     4355      0 |        0 |        0
14.49/14.54	c 14.1s |       7 |    32305 |     4923 |     4791      0 |        0 |        0
14.59/14.61	c 14.2s |       8 |    32332 |     4936 |     4791      0 |        0 |        0
16.59/16.69	c 16.2s |       8 |    34268 |     5936 |     4791      1 |        0 |        0
18.69/18.78	c 18.3s |       8 |    37824 |     6936 |     4791      1 |        0 |        0
20.28/20.34	c 19.9s |       9 |    38473 |     7506 |     5271      1 |        0 |        0
22.28/22.39	c 21.9s |       9 |    42657 |     8306 |     5271      1 |        0 |        0
24.48/24.50	c 24.1s |       9 |    43432 |     9006 |     5271      1 |        0 |        0
26.69/26.72	c 26.3s |       9 |    44234 |     9706 |     5271      1 |        0 |        0
28.79/28.86	c 28.4s |       9 |    44880 |    10306 |     5271      1 |        0 |        0
30.99/31.05	c 30.6s |       9 |    45550 |    10906 |     5271      1 |        0 |        0
32.68/32.71	c 32.3s |      10 |    46048 |    11361 |     5799      1 |        0 |        0
34.69/34.79	c 34.3s |      10 |    50422 |    12261 |     5799      2 |        0 |        0
36.99/37.01	c 36.6s |      10 |    51432 |    13161 |     5799      2 |        0 |        0
39.09/39.17	c 38.7s |      10 |    52338 |    13961 |     5799      2 |        0 |        0
41.18/41.21	c 40.8s |      10 |    53008 |    14561 |     5799      2 |        0 |        0
43.28/43.30	c 42.8s |      10 |    53657 |    15161 |     5799      2 |        0 |        0
45.28/45.37	c 44.9s |      10 |    54334 |    15761 |     5799      2 |        0 |        0
47.38/47.42	c 47.0s |      10 |    55001 |    16361 |     5799      2 |        0 |        0
49.38/49.48	c 49.0s |      10 |    55680 |    16961 |     6379      2 |        0 |        0
50.08/50.16	c 49.7s |      11 |    55874 |    17144 |     6379      2 |        0 |        0
52.08/52.17	c 51.7s |      11 |    59869 |    17644 |     6379      3 |        0 |        0
54.18/54.22	c 53.8s |      11 |    60554 |    18244 |     6379      3 |        0 |        0
56.38/56.43	c 56.0s |      11 |    61253 |    18844 |     6379      3 |        0 |        0
58.68/58.76	c 58.3s |      11 |    61924 |    19444 |     6379      3 |        0 |        0
60.88/60.93	c 60.5s |      11 |    62469 |    19944 |     6379      3 |        0 |        0
63.08/63.16	c 62.7s |      11 |    63031 |    20444 |     6379      3 |        0 |        0
65.28/65.39	c 64.9s |      11 |    63583 |    20944 |     6379      3 |        0 |        0
67.68/67.71	c 67.3s |      11 |    64132 |    21444 |     6379      3 |        0 |        0
70.08/70.13	c 69.7s |      11 |    64701 |    21944 |     6379      3 |        0 |        0
72.17/72.25	c 71.8s |      11 |    65260 |    22444 |     6379      3 |        0 |        0
74.27/74.39	c 73.9s |      11 |    65818 |    22944 |     6379      3 |        0 |        0
76.57/76.66	c 76.2s |      11 |    66368 |    23444 |     6379      3 |        0 |        0
78.87/78.99	c 78.5s |      11 |    66924 |    23944 |     6379      3 |        0 |        0
80.88/80.99	c 80.5s |      11 |    67360 |    24344 |     6379      3 |        0 |        0
83.78/83.89	c 83.4s |      11 |    67931 |    24844 |     6379      4 |        0 |        0
86.08/86.16	c 85.7s |      11 |    68490 |    25344 |     6379      4 |        0 |        0
88.47/88.52	c 88.1s |      12 |    69012 |    25819 |     7017      4 |        0 |        0
90.67/90.74	c 90.3s |      12 |    73206 |    26419 |     7017      5 |        0 |        0
92.87/92.93	c 92.5s |      12 |    74120 |    27219 |     7017      5 |        0 |        0
94.88/94.98	c 94.5s |      12 |    74978 |    27919 |     7017      5 |        0 |        0
97.18/97.20	c 96.8s |      12 |    75776 |    28619 |     7017      5 |        0 |        0
99.27/99.33	c 98.9s |      12 |    76440 |    29219 |     7017      5 |        0 |        0
101.37/101.49	c  101s |      12 |    77132 |    29819 |     7017      5 |        0 |        0
103.58/103.64	c  103s |      12 |    77787 |    30419 |     7017      5 |        0 |        0
105.77/105.80	c  105s |      12 |    78465 |    31019 |     7017      5 |        0 |        0
107.78/107.82	c  107s |      12 |    79031 |    31519 |     7017      5 |        0 |        0
109.98/110.06	c  109s |      12 |    79578 |    32019 |     7017      5 |        0 |        0
112.37/112.41	c  111s |      12 |    80120 |    32519 |     7017      5 |        0 |        0
114.57/114.69	c  114s |      12 |    80658 |    33019 |     7017      5 |        0 |        0
116.68/116.73	c  116s |      12 |    81090 |    33419 |     7017      5 |        0 |        0
118.97/119.04	c  118s |      12 |    81650 |    33919 |     7017      5 |        0 |        0
121.27/121.39	c  120s |      12 |    82200 |    34419 |     7017      5 |        0 |        0
123.47/123.57	c  123s |      12 |    82764 |    34919 |     7017      5 |        0 |        0
125.87/125.99	c  125s |      12 |    83318 |    35419 |     7017      5 |        0 |        0
128.27/128.39	c  127s |      12 |    83769 |    35819 |     7017      6 |        0 |        0
130.47/130.52	c  130s |      12 |    84325 |    36319 |     7017      6 |        0 |        0
132.57/132.63	c  132s |      12 |    84883 |    36819 |     7017      6 |        0 |        0
134.77/134.80	c  134s |      12 |    85426 |    37319 |     7017      6 |        0 |        0
137.17/137.28	c  136s |      12 |    85983 |    37819 |     7017      6 |        0 |        0
139.57/139.69	c  139s |      12 |    86535 |    38319 |     7017      6 |        0 |        0
142.07/142.14	c  141s |      12 |    87094 |    38819 |     7719      6 |        0 |        0
142.17/142.22	c  141s |      13 |    87106 |    38832 |     7719      6 |        0 |        0
144.17/144.24	c  143s |      13 |    90751 |    39232 |     7719      7 |        0 |        0
146.37/146.42	c  145s |      13 |    91419 |    39832 |     7719      7 |        0 |        0
148.48/148.57	c  148s |      13 |    92107 |    40432 |     7719      7 |        0 |        0
150.78/150.83	c  150s |      13 |    92677 |    40932 |     7719      7 |        0 |        0
152.87/152.91	c  152s |      13 |    93268 |    41432 |     7719      7 |        0 |        0
155.37/155.40	c  154s |      13 |    93804 |    41932 |     7719      7 |        0 |        0
157.77/157.84	c  157s |      13 |    94361 |    42432 |     7719      7 |        0 |        0
159.96/160.07	c  159s |      13 |    94967 |    42932 |     7719      7 |        0 |        0
162.36/162.48	c  162s |      13 |    95504 |    43432 |     7719      7 |        0 |        0
164.37/164.50	c  164s |      13 |    95977 |    43832 |     7719      7 |        0 |        0
166.56/166.64	c  166s |      13 |    96435 |    44232 |     7719      7 |        0 |        0
168.86/168.92	c  168s |      13 |    96921 |    44632 |     7719      7 |        0 |        0
171.16/171.20	c  170s |      13 |    97364 |    45032 |     7719      7 |        0 |        0
173.26/173.40	c  172s |      13 |    97832 |    45432 |     7719      7 |        0 |        0
175.57/175.65	c  175s |      13 |    98236 |    45832 |     7719      7 |        0 |        0
178.06/178.16	c  177s |      13 |    98688 |    46232 |     7719      7 |        0 |        0
180.47/180.59	c  180s |      13 |    99138 |    46632 |     7719      7 |        0 |        0
183.06/183.14	c  182s |      13 |    99579 |    47032 |     7719      7 |        0 |        0
185.46/185.57	c  185s |      13 |   100027 |    47432 |     7719      7 |        0 |        0
187.56/187.67	c  187s |      13 |   100498 |    47832 |     7719      7 |        0 |        0
189.86/189.90	c  189s |      13 |   100819 |    48132 |     7719      8 |        0 |        0
191.96/192.01	c  191s |      13 |   101264 |    48532 |     7719      8 |        0 |        0
194.36/194.41	c  193s |      13 |   101698 |    48932 |     7719      8 |        0 |        0
196.76/196.84	c  196s |      13 |   102146 |    49332 |     7719      8 |        0 |        0
199.06/199.18	c  198s |      13 |   102604 |    49732 |     7719      8 |        0 |        0
201.55/201.65	c  201s |      13 |   103062 |    50132 |     7719      8 |        0 |        0
204.06/204.12	c  203s |      13 |   103490 |    50532 |     7719      8 |        0 |        0
206.46/206.50	c  206s |      13 |   103964 |    50932 |     7719      8 |        0 |        0
208.55/208.68	c  208s |      13 |   104411 |    51332 |     7719      8 |        0 |        0
210.85/210.95	c  210s |      13 |   104862 |    51732 |     7719      8 |        0 |        0
213.47/213.51	c  213s |      13 |   105301 |    52132 |     7719      8 |        0 |        0
215.46/215.54	c  215s |      13 |   105629 |    52432 |     7719      8 |        0 |        0
217.95/218.00	c  217s |      13 |   106080 |    52832 |     7719      8 |        0 |        0
220.55/220.66	c  220s |      13 |   106517 |    53232 |     7719      8 |        0 |        0
223.15/223.29	c  222s |      13 |   106966 |    53632 |     7719      8 |        0 |        0
225.26/225.39	c  224s |      13 |   107337 |    53932 |     7719      8 |        0 |        0
227.46/227.58	c  227s |      13 |   107929 |    54332 |     7719      8 |        0 |        0
229.75/229.90	c  229s |      13 |   108402 |    54732 |     7719      8 |        0 |        0
232.06/232.14	c  231s |      13 |   108639 |    54932 |     7719      9 |        0 |        0
234.65/234.72	c  234s |      13 |   109105 |    55332 |     7719      9 |        0 |        0
236.85/236.95	c  236s |      13 |   109562 |    55732 |     7719      9 |        0 |        0
239.05/239.15	c  238s |      13 |   110024 |    56132 |     7719      9 |        0 |        0
241.25/241.35	c  240s |      13 |   110481 |    56532 |     7719      9 |        0 |        0
243.45/243.51	c  243s |      13 |   111061 |    56932 |     7719      9 |        0 |        0
245.55/245.64	c  245s |      13 |   111538 |    57332 |     7719      9 |        0 |        0
247.75/247.89	c  247s |      13 |   111969 |    57732 |     7719      9 |        0 |        0
250.15/250.25	c  249s |      13 |   112432 |    58132 |     8491      9 |        0 |        0
251.35/251.47	c  251s |      14 |   112687 |    58352 |     8491      9 |        0 |        0
253.35/253.49	c  253s |      14 |   116042 |    58952 |     8491     10 |        0 |        0
255.65/255.76	c  255s |      14 |   117190 |    59952 |     8491     10 |        0 |        0
257.85/257.99	c  257s |      14 |   118109 |    60752 |     8491     10 |        0 |        0
260.15/260.24	c  259s |      14 |   119022 |    61552 |     8491     10 |        0 |        0
262.25/262.37	c  261s |      14 |   119806 |    62252 |     8491     10 |        0 |        0
264.64/264.70	c  264s |      14 |   120567 |    62952 |     8491     10 |        0 |        0
266.84/266.93	c  266s |      14 |   121363 |    63652 |     8491     10 |        0 |        0
269.24/269.34	c  268s |      14 |   122176 |    64352 |     8491     10 |        0 |        0
271.24/271.36	c  270s |      14 |   122829 |    64952 |     8491     10 |        0 |        0
273.44/273.56	c  273s |      14 |   123551 |    65552 |     8491     10 |        0 |        0
275.75/275.85	c  275s |      14 |   124196 |    66152 |     8491     10 |        0 |        0
277.95/278.00	c  277s |      14 |   124868 |    66752 |     8491     10 |        0 |        0
280.04/280.16	c  279s |      14 |   125432 |    67252 |     8491     10 |        0 |        0
282.44/282.54	c  282s |      14 |   126088 |    67852 |     8491     10 |        0 |        0
284.74/284.83	c  284s |      14 |   126535 |    68252 |     8491     11 |        0 |        0
287.05/287.12	c  286s |      14 |   127203 |    68852 |     8491     11 |        0 |        0
289.45/289.51	c  289s |      14 |   127879 |    69452 |     8491     11 |        0 |        0
291.75/291.86	c  291s |      14 |   128576 |    70052 |     8491     11 |        0 |        0
294.15/294.21	c  293s |      14 |   129233 |    70652 |     8491     11 |        0 |        0
296.24/296.32	c  295s |      14 |   129786 |    71152 |     8491     11 |        0 |        0
298.44/298.50	c  298s |      14 |   130354 |    71652 |     8491     11 |        0 |        0
300.44/300.53	c  300s |      14 |   130802 |    72052 |     8491     11 |        0 |        0
302.95/303.04	c  302s |      14 |   131371 |    72552 |     8491     11 |        0 |        0
304.94/305.06	c  304s |      14 |   131825 |    72952 |     8491     11 |        0 |        0
306.95/307.09	c  306s |      14 |   132263 |    73352 |     8491     11 |        0 |        0
309.05/309.14	c  308s |      14 |   132802 |    73852 |     8491     11 |        0 |        0
311.14/311.23	c  310s |      14 |   133358 |    74352 |     8491     11 |        0 |        0
313.44/313.55	c  313s |      14 |   133884 |    74852 |     8491     11 |        0 |        0
316.34/316.40	c  315s |      14 |   134436 |    75352 |     8491     12 |        0 |        0
318.34/318.43	c  317s |      14 |   134894 |    75752 |     8491     12 |        0 |        0
320.34/320.45	c  319s |      14 |   135446 |    76252 |     8491     12 |        0 |        0
322.43/322.59	c  322s |      14 |   136013 |    76752 |     8491     12 |        0 |        0
324.84/324.95	c  324s |      14 |   136568 |    77252 |     8491     12 |        0 |        0
327.24/327.32	c  326s |      14 |   137129 |    77752 |     8491     12 |        0 |        0
329.44/329.58	c  329s |      14 |   137737 |    78252 |     8491     12 |        0 |        0
331.64/331.72	c  331s |      14 |   138296 |    78752 |     8491     12 |        0 |        0
334.14/334.21	c  333s |      14 |   138856 |    79252 |     8491     12 |        0 |        0
336.54/336.64	c  336s |      14 |   139454 |    79752 |     8491     12 |        0 |        0
338.84/338.99	c  338s |      14 |   140047 |    80252 |     8491     12 |        0 |        0
340.95/341.03	c  340s |      14 |   140473 |    80652 |     8491     12 |        0 |        0
343.04/343.12	c  342s |      14 |   140939 |    81052 |     8491     12 |        0 |        0
345.24/345.31	c  344s |      14 |   141372 |    81452 |     8491     12 |        0 |        0
347.23/347.38	c  346s |      14 |   141828 |    81852 |     8491     12 |        0 |        0
349.74/349.84	c  349s |      14 |   142396 |    82352 |     8491     12 |        0 |        0
352.13/352.26	c  351s |      14 |   142716 |    82652 |     8491     13 |        0 |        0
354.44/354.55	c  354s |      14 |   143299 |    83152 |     8491     13 |        0 |        0
356.54/356.69	c  356s |      14 |   143843 |    83652 |     8491     13 |        0 |        0
358.64/358.75	c  358s |      14 |   144280 |    84052 |     8491     13 |        0 |        0
360.74/360.85	c  360s |      14 |   144732 |    84452 |     8491     13 |        0 |        0
362.83/362.97	c  362s |      14 |   145287 |    84952 |     8491     13 |        0 |        0
365.14/365.21	c  364s |      14 |   145944 |    85552 |     8491     13 |        0 |        0
367.34/367.47	c  367s |      14 |   146523 |    86052 |     8491     13 |        0 |        0
369.33/369.48	c  369s |      14 |   146959 |    86452 |     8491     13 |        0 |        0
371.53/371.63	c  371s |      14 |   147527 |    86952 |     9341     13 |        0 |        0
373.93/374.05	c  373s |      14 |   148092 |    87452 |     9341     13 |        0 |        0
374.83/374.93	c  374s |      15 |   148291 |    87632 |     9341     13 |        0 |        0
376.93/377.08	c  376s |      15 |   151443 |    88132 |     9341     14 |        0 |        0
379.03/379.14	c  378s |      15 |   152464 |    89032 |     9341     14 |        0 |        0
381.33/381.46	c  381s |      15 |   153486 |    89932 |     9341     14 |        0 |        0
383.33/383.47	c  383s |      15 |   154401 |    90732 |     9341     14 |        0 |        0
385.63/385.72	c  385s |      15 |   155209 |    91432 |     9341     14 |        0 |        0
387.63/387.76	c  387s |      15 |   155924 |    92032 |     9341     14 |        0 |        0
389.62/389.77	c  389s |      15 |   156586 |    92632 |     9341     14 |        0 |        0
391.93/392.00	c  391s |      15 |   157380 |    93332 |     9341     14 |        0 |        0
394.12/394.23	c  393s |      15 |   158080 |    93932 |     9341     14 |        0 |        0
396.42/396.57	c  396s |      15 |   158751 |    94532 |     9341     14 |        0 |        0
398.72/398.82	c  398s |      15 |   159443 |    95132 |     9341     14 |        0 |        0
401.03/401.17	c  400s |      15 |   160108 |    95732 |     9341     14 |        0 |        0
403.33/403.49	c  403s |      15 |   160772 |    96332 |     9341     14 |        0 |        0
405.72/405.84	c  405s |      15 |   161431 |    96932 |     9341     14 |        0 |        0
407.92/408.02	c  407s |      15 |   161866 |    97332 |     9341     15 |        0 |        0
410.23/410.32	c  409s |      15 |   162454 |    97832 |     9341     15 |        0 |        0
412.43/412.52	c  412s |      15 |   163097 |    98332 |     9341     15 |        0 |        0
414.41/414.52	c  414s |      15 |   163669 |    98832 |     9341     15 |        0 |        0
416.71/416.84	c  416s |      15 |   164357 |    99432 |     9341     15 |        0 |        0
418.91/419.08	c  418s |      15 |   164901 |    99932 |     9341     15 |        0 |        0
421.12/421.30	c  420s |      15 |   165448 |   100432 |     9341     15 |        0 |        0
423.31/423.41	c  422s |      15 |   166001 |   100932 |     9341     15 |        0 |        0
425.51/425.67	c  425s |      15 |   166571 |   101432 |     9341     15 |        0 |        0
428.01/428.13	c  427s |      15 |   167152 |   101932 |     9341     15 |        0 |        0
430.50/430.62	c  430s |      15 |   167723 |   102432 |     9341     15 |        0 |        0
432.81/432.97	c  432s |      15 |   168314 |   102932 |     9341     15 |        0 |        0
435.30/435.43	c  434s |      15 |   168873 |   103432 |     9341     15 |        0 |        0
437.30/437.45	c  437s |      15 |   169324 |   103832 |     9341     15 |        0 |        0
439.60/439.74	c  439s |      15 |   169776 |   104232 |     9341     15 |        0 |        0
441.70/441.85	c  441s |      15 |   170218 |   104632 |     9341     15 |        0 |        0
444.20/444.31	c  443s |      15 |   170535 |   104932 |     9341     16 |        0 |        0
446.51/446.61	c  446s |      15 |   171122 |   105432 |     9341     16 |        0 |        0
448.81/448.96	c  448s |      15 |   171668 |   105932 |     9341     16 |        0 |        0
451.20/451.31	c  450s |      15 |   172235 |   106432 |     9341     16 |        0 |        0
453.51/453.66	c  453s |      15 |   172792 |   106932 |     9341     16 |        0 |        0
455.60/455.77	c  455s |      15 |   173239 |   107332 |     9341     16 |        0 |        0
457.70/457.81	c  457s |      15 |   173674 |   107732 |     9341     16 |        0 |        0
460.20/460.31	c  459s |      15 |   174231 |   108232 |     9341     16 |        0 |        0
462.59/462.76	c  462s |      15 |   174797 |   108732 |     9341     16 |        0 |        0
464.70/464.82	c  464s |      15 |   175249 |   109132 |     9341     16 |        0 |        0
466.80/466.92	c  466s |      15 |   175671 |   109532 |     9341     16 |        0 |        0
468.79/468.92	c  468s |      15 |   176103 |   109932 |     9341     16 |        0 |        0
471.19/471.31	c  470s |      15 |   176651 |   110432 |     9341     16 |        0 |        0
473.20/473.33	c  472s |      15 |   177105 |   110832 |     9341     16 |        0 |        0
475.39/475.57	c  475s |      15 |   177547 |   111232 |     9341     16 |        0 |        0
477.40/477.59	c  477s |      15 |   177971 |   111632 |     9341     16 |        0 |        0
479.49/479.67	c  479s |      15 |   178435 |   112032 |     9341     16 |        0 |        0
481.98/482.16	c  481s |      15 |   178976 |   112532 |     9341     16 |        0 |        0
484.48/484.61	c  484s |      15 |   179432 |   112932 |     9341     17 |        0 |        0
486.49/486.67	c  486s |      15 |   179979 |   113432 |     9341     17 |        0 |        0
488.68/488.89	c  488s |      15 |   180513 |   113932 |     9341     17 |        0 |        0
490.98/491.14	c  490s |      15 |   180963 |   114332 |     9341     17 |        0 |        0
493.38/493.54	c  493s |      15 |   181509 |   114832 |     9341     17 |        0 |        0
495.38/495.56	c  495s |      15 |   181936 |   115232 |     9341     17 |        0 |        0
497.68/497.81	c  497s |      15 |   182489 |   115732 |     9341     17 |        0 |        0
500.08/500.20	c  499s |      15 |   183045 |   116232 |     9341     17 |        0 |        0
502.27/502.42	c  501s |      15 |   183591 |   116732 |     9341     17 |        0 |        0
504.78/504.91	c  504s |      15 |   184137 |   117232 |     9341     17 |        0 |        0
507.27/507.44	c  506s |      15 |   184675 |   117732 |     9341     17 |        0 |        0
509.37/509.56	c  509s |      15 |   185129 |   118132 |     9341     17 |        0 |        0
511.38/511.58	c  511s |      15 |   185562 |   118532 |     9341     17 |        0 |        0
513.87/514.05	c  513s |      15 |   186099 |   119032 |     9341     17 |        0 |        0
515.97/516.19	c  515s |      15 |   186534 |   119432 |     9341     17 |        0 |        0
518.27/518.45	c  517s |      15 |   186964 |   119832 |     9341     17 |        0 |        0
520.56/520.78	c  520s |      15 |   187406 |   120232 |     9341     17 |        0 |        0
522.56/522.80	c  522s |      15 |   187628 |   120432 |     9341     18 |        0 |        0
524.96/525.18	c  524s |      15 |   188056 |   120832 |     9341     18 |        0 |        0
527.16/527.39	c  526s |      15 |   188601 |   121332 |     9341     18 |        0 |        0
529.56/529.74	c  529s |      15 |   189146 |   121832 |     9341     18 |        0 |        0
531.66/531.84	c  531s |      15 |   189559 |   122232 |     9341     18 |        0 |        0
533.76/533.95	c  533s |      15 |   190134 |   122732 |     9341     18 |        0 |        0
535.86/536.06	c  535s |      15 |   190703 |   123232 |     9341     18 |        0 |        0
538.05/538.29	c  537s |      15 |   191257 |   123732 |     9341     18 |        0 |        0
540.55/540.77	c  540s |      15 |   191797 |   124232 |     9341     18 |        0 |        0
543.06/543.21	c  542s |      15 |   192361 |   124732 |     9341     18 |        0 |        0
545.46/545.69	c  545s |      15 |   192934 |   125232 |     9341     18 |        0 |        0
547.66/547.81	c  547s |      15 |   193370 |   125632 |     9341     18 |        0 |        0
549.75/549.92	c  549s |      15 |   193804 |   126032 |     9341     18 |        0 |        0
551.75/551.95	c  551s |      15 |   194225 |   126432 |     9341     18 |        0 |        0
553.85/554.00	c  553s |      15 |   194654 |   126832 |     9341     18 |        0 |        0
555.95/556.16	c  555s |      15 |   195086 |   127232 |     9341     18 |        0 |        0
558.05/558.25	c  557s |      15 |   195553 |   127632 |     9341     18 |        0 |        0
560.44/560.61	c  560s |      15 |   195976 |   128032 |     9341     18 |        0 |        0
562.74/562.91	c  562s |      15 |   196313 |   128332 |     9341     19 |        0 |        0
564.94/565.14	c  564s |      15 |   196851 |   128832 |     9341     19 |        0 |        0
567.04/567.24	c  566s |      15 |   197287 |   129232 |     9341     19 |        0 |        0
569.24/569.43	c  568s |      15 |   197718 |   129632 |     9341     19 |        0 |        0
571.54/571.77	c  571s |      15 |   198265 |   130132 |     9341     19 |        0 |        0
573.84/574.06	c  573s |      15 |   198812 |   130632 |    10276     19 |        0 |        0
576.04/576.22	c  575s |      15 |   199261 |   131032 |    10276     19 |        0 |        0
578.55/578.76	c  578s |      15 |   199785 |   131532 |    10276     19 |        0 |        0
578.64/578.87	c  578s |      16 |   199808 |   131552 |    10276     19 |        0 |        0
580.84/581.07	c  580s |      16 |   202605 |   132052 |    10276     20 |        0 |        0
582.84/583.09	c  582s |      16 |   203657 |   132952 |    10276     20 |        0 |        0
585.14/585.36	c  584s |      16 |   204674 |   133852 |    10276     20 |        0 |        0
587.34/587.57	c  587s |      16 |   205553 |   134652 |    10276     20 |        0 |        0
589.44/589.69	c  589s |      16 |   206369 |   135352 |    10276     20 |        0 |        0
591.74/591.93	c  591s |      16 |   207174 |   136052 |    10276     20 |        0 |        0
594.03/594.27	c  593s |      16 |   207966 |   136752 |    10276     20 |        0 |        0
596.13/596.34	c  595s |      16 |   208629 |   137352 |    10276     20 |        0 |        0
598.33/598.58	c  598s |      16 |   209300 |   137952 |    10276     20 |        0 |        0
600.63/600.82	c  600s |      16 |   209951 |   138552 |    10276     20 |        0 |        0
602.64/602.87	c  602s |      16 |   210495 |   139052 |    10276     20 |        0 |        0
604.72/604.91	c  604s |      16 |   211037 |   139552 |    10276     20 |        0 |        0
607.03/607.22	c  606s |      16 |   211691 |   140152 |    10276     20 |        0 |        0
609.12/609.40	c  608s |      16 |   212244 |   140652 |    10276     20 |        0 |        0
611.23/611.41	c  610s |      16 |   212804 |   141152 |    10276     20 |        0 |        0
613.42/613.67	c  613s |      16 |   213381 |   141652 |    10276     20 |        0 |        0
615.93/616.16	c  615s |      16 |   213936 |   142152 |    10276     20 |        0 |        0
618.02/618.29	c  617s |      16 |   214299 |   142452 |    10276     21 |        0 |        0
620.22/620.46	c  620s |      16 |   214862 |   142952 |    10276     21 |        0 |        0
622.42/622.69	c  622s |      16 |   215413 |   143452 |    10276     21 |        0 |        0
624.51/624.71	c  624s |      16 |   215978 |   143952 |    10276     21 |        0 |        0
626.71/626.94	c  626s |      16 |   216535 |   144452 |    10276     21 |        0 |        0
629.02/629.21	c  628s |      16 |   217077 |   144952 |    10276     21 |        0 |        0
631.01/631.27	c  630s |      16 |   217639 |   145452 |    10276     21 |        0 |        0
633.32/633.56	c  633s |      16 |   218208 |   145952 |    10276     21 |        0 |        0
635.81/636.06	c  635s |      16 |   218754 |   146452 |    10276     21 |        0 |        0
638.21/638.46	c  638s |      16 |   219308 |   146952 |    10276     21 |        0 |        0
640.71/640.92	c  640s |      16 |   219855 |   147452 |    10276     21 |        0 |        0
643.10/643.35	c  642s |      16 |   220444 |   147952 |    10276     21 |        0 |        0
645.21/645.40	c  644s |      16 |   220900 |   148352 |    10276     21 |        0 |        0
647.30/647.58	c  647s |      16 |   221343 |   148752 |    10276     21 |        0 |        0
649.40/649.68	c  649s |      16 |   221843 |   149152 |    10276     21 |        0 |        0
652.00/652.22	c  651s |      16 |   222401 |   149652 |    10276     21 |        0 |        0
654.50/654.77	c  654s |      16 |   223001 |   150152 |    10276     21 |        0 |        0
656.90/657.15	c  656s |      16 |   223440 |   150552 |    10276     21 |        0 |        0
659.80/660.00	c  659s |      16 |   223782 |   150852 |    10276     22 |        0 |        0
662.10/662.35	c  661s |      16 |   224309 |   151352 |    10276     22 |        0 |        0
664.60/664.87	c  664s |      16 |   224860 |   151852 |    10276     22 |        0 |        0
666.70/666.95	c  666s |      16 |   225287 |   152252 |    10276     22 |        0 |        0
668.79/669.03	c  668s |      16 |   225730 |   152652 |    10276     22 |        0 |        0
670.90/671.16	c  670s |      16 |   226182 |   153052 |    10276     22 |        0 |        0
673.00/673.29	c  672s |      16 |   226660 |   153452 |    10276     22 |        0 |        0
675.20/675.43	c  674s |      16 |   227124 |   153852 |    10276     22 |        0 |        0
677.40/677.67	c  677s |      16 |   227687 |   154352 |    10276     22 |        0 |        0
679.60/679.81	c  679s |      16 |   228260 |   154852 |    10276     22 |        0 |        0
681.80/682.02	c  681s |      16 |   228686 |   155252 |    10276     22 |        0 |        0
684.18/684.49	c  684s |      16 |   229273 |   155752 |    10276     22 |        0 |        0
686.38/686.69	c  686s |      16 |   229724 |   156152 |    10276     22 |        0 |        0
688.59/688.86	c  688s |      16 |   230196 |   156552 |    10276     22 |        0 |        0
690.70/690.96	c  690s |      16 |   230664 |   156952 |    10276     22 |        0 |        0
692.99/693.20	c  692s |      16 |   231098 |   157352 |    10276     22 |        0 |        0
694.99/695.26	c  694s |      16 |   231601 |   157752 |    10276     22 |        0 |        0
697.48/697.78	c  697s |      16 |   232191 |   158252 |    10276     22 |        0 |        0
699.68/699.95	c  699s |      16 |   232612 |   158652 |    10276     22 |        0 |        0
702.58/702.84	c  702s |      16 |   233072 |   159052 |    10276     23 |        0 |        0
705.88/706.20	c  705s |      16 |   233618 |   159552 |    10276     23 |        0 |        0
708.08/708.36	c  707s |      16 |   234173 |   160052 |    10276     23 |        0 |        0
710.38/710.62	c  710s |      16 |   234706 |   160552 |    10276     23 |        0 |        0
712.58/712.89	c  712s |      16 |   235303 |   161052 |    10276     23 |        0 |        0
715.07/715.33	c  714s |      16 |   235902 |   161552 |    10276     23 |        0 |        0
717.57/717.85	c  717s |      16 |   236486 |   162052 |    10276     23 |        0 |        0
719.97/720.24	c  719s |      16 |   237048 |   162552 |    10276     23 |        0 |        0
722.07/722.38	c  721s |      16 |   237493 |   162952 |    10276     23 |        0 |        0
724.26/724.53	c  724s |      16 |   237952 |   163352 |    10276     23 |        0 |        0
726.36/726.63	c  726s |      16 |   238391 |   163752 |    10276     23 |        0 |        0
728.67/728.96	c  728s |      16 |   238869 |   164152 |    10276     23 |        0 |        0
730.77/731.08	c  730s |      16 |   239313 |   164552 |    10276     23 |        0 |        0
732.76/733.09	c  732s |      16 |   239760 |   164952 |    10276     23 |        0 |        0
735.16/735.40	c  734s |      16 |   240329 |   165452 |    10276     23 |        0 |        0
737.16/737.46	c  737s |      16 |   240792 |   165852 |    10276     23 |        0 |        0
739.36/739.61	c  739s |      16 |   241250 |   166252 |    10276     23 |        0 |        0
741.56/741.84	c  741s |      16 |   241710 |   166652 |    10276     23 |        0 |        0
743.76/744.02	c  743s |      16 |   242172 |   167052 |    10276     23 |        0 |        0
746.45/746.72	c  746s |      16 |   242412 |   167252 |    10276     24 |        0 |        0
748.56/748.86	c  748s |      16 |   243075 |   167852 |    10276     24 |        0 |        0
750.85/751.15	c  750s |      16 |   243662 |   168352 |    10276     24 |        0 |        0
753.16/753.45	c  752s |      16 |   244370 |   168952 |    10276     24 |        0 |        0
755.46/755.74	c  755s |      16 |   244963 |   169452 |    10276     24 |        0 |        0
757.55/757.83	c  757s |      16 |   245571 |   169952 |    10276     24 |        0 |        0
759.86/760.14	c  759s |      16 |   246125 |   170452 |    10276     24 |        0 |        0
762.16/762.48	c  762s |      16 |   246775 |   170952 |    10276     24 |        0 |        0
764.65/764.91	c  764s |      16 |   247333 |   171452 |    10276     24 |        0 |        0
766.95/767.28	c  766s |      16 |   247906 |   171952 |    10276     24 |        0 |        0
769.04/769.34	c  768s |      16 |   248366 |   172352 |    10276     24 |        0 |        0
771.55/771.80	c  771s |      16 |   248943 |   172852 |    10276     24 |        0 |        0
773.55/773.88	c  773s |      16 |   249410 |   173252 |    10276     24 |        0 |        0
775.64/775.97	c  775s |      16 |   249875 |   173652 |    10276     24 |        0 |        0
777.84/778.18	c  777s |      16 |   250346 |   174052 |    10276     24 |        0 |        0
780.14/780.43	c  779s |      16 |   250801 |   174452 |    10276     24 |        0 |        0
782.34/782.67	c  782s |      16 |   251219 |   174852 |    10276     24 |        0 |        0
784.73/785.01	c  784s |      16 |   251705 |   175252 |    10276     24 |        0 |        0
786.93/787.26	c  786s |      16 |   251931 |   175452 |    10276     25 |        0 |        0
789.03/789.32	c  788s |      16 |   252375 |   175852 |    10276     25 |        0 |        0
791.43/791.77	c  791s |      16 |   252905 |   176352 |    10276     25 |        0 |        0
793.43/793.77	c  793s |      16 |   253351 |   176752 |    10276     25 |        0 |        0
795.93/796.23	c  795s |      16 |   253922 |   177252 |    10276     25 |        0 |        0
798.03/798.34	c  797s |      16 |   254367 |   177652 |    10276     25 |        0 |        0
800.23/800.55	c  800s |      16 |   254792 |   178052 |    10276     25 |        0 |        0
802.62/802.98	c  802s |      16 |   255397 |   178552 |    10276     25 |        0 |        0
805.03/805.34	c  804s |      16 |   255998 |   179052 |    10276     25 |        0 |        0
807.52/807.82	c  807s |      16 |   256603 |   179552 |    10276     25 |        0 |        0
809.62/809.94	c  809s |      16 |   257069 |   179952 |    10276     25 |        0 |        0
811.83/812.16	c  811s |      16 |   257589 |   180352 |    10276     25 |        0 |        0
813.92/814.22	c  813s |      16 |   258041 |   180752 |    10276     25 |        0 |        0
816.12/816.49	c  816s |      16 |   258478 |   181152 |    10276     25 |        0 |        0
818.32/818.66	c  818s |      16 |   258915 |   181552 |    10276     25 |        0 |        0
820.62/820.98	c  820s |      16 |   259384 |   181952 |    10276     25 |        0 |        0
822.91/823.26	c  822s |      16 |   259842 |   182352 |    10276     25 |        0 |        0
825.21/825.52	c  825s |      16 |   260314 |   182752 |    10276     25 |        0 |        0
827.61/827.97	c  827s |      16 |   260773 |   183152 |    10276     25 |        0 |        0
829.91/830.26	c  829s |      16 |   261221 |   183552 |    10276     25 |        0 |        0
832.11/832.43	c  831s |      16 |   261448 |   183752 |    10276     26 |        0 |        0
834.51/834.86	c  834s |      16 |   262085 |   184252 |    10276     26 |        0 |        0
836.60/836.90	c  836s |      16 |   262580 |   184652 |    10276     26 |        0 |        0
838.60/838.94	c  838s |      16 |   263030 |   185052 |    10276     26 |        0 |        0
840.60/840.99	c  840s |      16 |   263511 |   185452 |    10276     26 |        0 |        0
842.80/843.14	c  842s |      16 |   264022 |   185852 |    10276     26 |        0 |        0
845.00/845.34	c  844s |      16 |   264499 |   186252 |    10276     26 |        0 |        0
847.50/847.85	c  847s |      16 |   265092 |   186752 |    10276     26 |        0 |        0
849.89/850.22	c  849s |      16 |   265670 |   187252 |    10276     26 |        0 |        0
852.30/852.69	c  852s |      16 |   266257 |   187752 |    10276     26 |        0 |        0
854.50/854.80	c  854s |      16 |   266725 |   188152 |    10276     26 |        0 |        0
856.49/856.90	c  856s |      16 |   267156 |   188552 |    10276     26 |        0 |        0
858.90/859.29	c  858s |      16 |   267608 |   188952 |    10276     26 |        0 |        0
861.00/861.35	c  860s |      16 |   268089 |   189352 |    10276     26 |        0 |        0
863.29/863.67	c  863s |      16 |   268649 |   189852 |    10276     26 |        0 |        0
865.49/865.84	c  865s |      16 |   269083 |   190252 |    10276     26 |        0 |        0
867.89/868.27	c  867s |      16 |   269685 |   190752 |    10276     26 |        0 |        0
870.39/870.71	c  870s |      16 |   270241 |   191252 |    10276     26 |        0 |        0
872.68/873.04	c  872s |      16 |   270789 |   191752 |    10276     26 |        0 |        0
875.18/875.58	c  875s |      16 |   271124 |   192052 |    10276     27 |        0 |        0
877.48/877.82	c  877s |      16 |   271807 |   192652 |    10276     27 |        0 |        0
879.87/880.22	c  879s |      16 |   272473 |   193252 |    10276     27 |        0 |        0
882.08/882.45	c  881s |      16 |   273001 |   193752 |    10276     27 |        0 |        0
884.27/884.62	c  884s |      16 |   273554 |   194252 |    10276     27 |        0 |        0
886.57/886.93	c  886s |      16 |   274100 |   194752 |    10276     27 |        0 |        0
888.97/889.30	c  888s |      16 |   274670 |   195252 |    10276     27 |        0 |        0
891.38/891.79	c  891s |      16 |   275206 |   195752 |    10276     27 |        0 |        0
893.47/893.85	c  893s |      16 |   275651 |   196152 |    11304     27 |        0 |        0
895.86/896.22	c  895s |      16 |   276218 |   196652 |    11304     27 |        0 |        0
897.86/898.24	c  897s |      16 |   276646 |   197052 |    11304     27 |        0 |        0
899.48/899.88	c  899s |      17 |   277102 |   197432 |    11304     27 |        0 |        0
901.47/901.89	c  901s |      17 |   279649 |   197632 |    11304     28 |        0 |        0
903.57/903.93	c  903s |      17 |   280944 |   198732 |    11304     28 |        0 |        0
905.66/906.08	c  905s |      17 |   282067 |   199732 |    11304     28 |        0 |        0
907.86/908.25	c  907s |      17 |   283095 |   200632 |    11304     28 |        0 |        0
909.96/910.38	c  909s |      17 |   284026 |   201432 |    11304     28 |        0 |        0
912.06/912.45	c  911s |      17 |   284919 |   202232 |    11304     28 |        0 |        0
914.15/914.58	c  914s |      17 |   285837 |   203032 |    11304     28 |        0 |        0
916.35/916.79	c  916s |      17 |   286713 |   203832 |    11304     28 |        0 |        0
918.75/919.10	c  918s |      17 |   287595 |   204632 |    11304     28 |        0 |        0
920.95/921.37	c  920s |      17 |   288383 |   205332 |    11304     28 |        0 |        0
923.36/923.75	c  923s |      17 |   289157 |   206032 |    11304     28 |        0 |        0
925.45/925.82	c  925s |      17 |   289809 |   206632 |    11304     28 |        0 |        0
927.75/928.19	c  927s |      17 |   290581 |   207332 |    11304     28 |        0 |        0
929.85/930.25	c  929s |      17 |   291261 |   207932 |    11304     28 |        0 |        0
932.05/932.46	c  932s |      17 |   291715 |   208332 |    11304     29 |        0 |        0
934.15/934.57	c  934s |      17 |   292367 |   208932 |    11304     29 |        0 |        0
936.15/936.57	c  936s |      17 |   292919 |   209432 |    11304     29 |        0 |        0
938.54/938.96	c  938s |      17 |   293581 |   210032 |    11304     29 |        0 |        0
940.84/941.22	c  940s |      17 |   294231 |   210632 |    11304     29 |        0 |        0
943.24/943.65	c  943s |      17 |   294916 |   211232 |    11304     29 |        0 |        0
945.34/945.78	c  945s |      17 |   295466 |   211732 |    11304     29 |        0 |        0
947.44/947.84	c  947s |      17 |   296031 |   212232 |    11304     29 |        0 |        0
949.84/950.26	c  949s |      17 |   296692 |   212832 |    11304     29 |        0 |        0
952.03/952.49	c  952s |      17 |   297211 |   213332 |    11304     29 |        0 |        0
954.45/954.80	c  954s |      17 |   297906 |   213932 |    11304     29 |        0 |        0
956.44/956.86	c  956s |      17 |   298474 |   214432 |    11304     29 |        0 |        0
958.74/959.12	c  958s |      17 |   299045 |   214932 |    11304     29 |        0 |        0
960.73/961.18	c  960s |      17 |   299607 |   215432 |    11304     29 |        0 |        0
963.03/963.45	c  962s |      17 |   300174 |   215932 |    11304     29 |        0 |        0
965.22/965.61	c  965s |      17 |   300726 |   216432 |    11304     29 |        0 |        0
967.53/968.00	c  967s |      17 |   301272 |   216932 |    11304     29 |        0 |        0
970.03/970.49	c  970s |      17 |   301714 |   217332 |    11304     30 |        0 |        0
972.23/972.69	c  972s |      17 |   302370 |   217932 |    11304     30 |        0 |        0
974.62/975.01	c  974s |      17 |   303025 |   218532 |    11304     30 |        0 |        0
977.02/977.40	c  976s |      17 |   303688 |   219132 |    11304     30 |        0 |        0
979.12/979.59	c  979s |      17 |   304164 |   219532 |    11304     30 |        0 |        0
981.52/981.96	c  981s |      17 |   304815 |   220132 |    11304     30 |        0 |        0
983.72/984.12	c  983s |      17 |   305376 |   220632 |    11304     30 |        0 |        0
985.82/986.23	c  985s |      17 |   305909 |   221132 |    11304     30 |        0 |        0
987.82/988.23	c  987s |      17 |   306442 |   221632 |    11304     30 |        0 |        0
989.92/990.30	c  989s |      17 |   306971 |   222132 |    11304     30 |        0 |        0
992.02/992.45	c  991s |      17 |   307522 |   222632 |    11304     30 |        0 |        0
994.42/994.86	c  994s |      17 |   308071 |   223132 |    11304     30 |        0 |        0
996.51/996.95	c  996s |      17 |   308606 |   223632 |    11304     30 |        0 |        0
998.81/999.21	c  998s |      17 |   309316 |   224232 |    11304     30 |        0 |        0
1000.81/1001.22	c 1000s |      17 |   309881 |   224732 |    11304     30 |        0 |        0
1002.83/1003.26	c 1002s |      17 |   310440 |   225232 |    11304     30 |        0 |        0
1004.82/1005.28	c 1004s |      17 |   310984 |   225732 |    11304     30 |        0 |        0
1007.01/1007.49	c 1007s |      17 |   311438 |   226132 |    11304     31 |        0 |        0
1009.21/1009.70	c 1009s |      17 |   312102 |   226732 |    11304     31 |        0 |        0
1011.41/1011.83	c 1011s |      17 |   312760 |   227332 |    11304     31 |        0 |        0
1013.61/1014.06	c 1013s |      17 |   313418 |   227932 |    11304     31 |        0 |        0
1015.81/1016.23	c 1015s |      17 |   314070 |   228532 |    11304     31 |        0 |        0
1018.11/1018.58	c 1018s |      17 |   314634 |   229032 |    11304     31 |        0 |        0
1020.41/1020.81	c 1020s |      17 |   315304 |   229632 |    11304     31 |        0 |        0
1022.41/1022.81	c 1022s |      17 |   315998 |   230232 |    11304     31 |        0 |        0
1024.51/1024.98	c 1024s |      17 |   316669 |   230832 |    11304     31 |        0 |        0
1026.61/1027.05	c 1026s |      17 |   317343 |   231432 |    11304     31 |        0 |        0
1028.81/1029.27	c 1028s |      17 |   318007 |   232032 |    11304     31 |        0 |        0
1031.10/1031.57	c 1031s |      17 |   318658 |   232632 |    11304     31 |        0 |        0
1033.40/1033.84	c 1033s |      17 |   319310 |   233232 |    11304     31 |        0 |        0
1035.61/1036.09	c 1035s |      17 |   319970 |   233832 |    11304     31 |        0 |        0
1037.71/1038.15	c 1037s |      17 |   320519 |   234332 |    11304     31 |        0 |        0
1040.01/1040.40	c 1039s |      17 |   320750 |   234532 |    11304     32 |        0 |        0
1042.21/1042.64	c 1042s |      17 |   321493 |   235232 |    11304     32 |        0 |        0
1044.51/1044.92	c 1044s |      17 |   322285 |   235932 |    11304     32 |        0 |        0
1046.51/1046.97	c 1046s |      17 |   322925 |   236532 |    11304     32 |        0 |        0
1048.60/1049.08	c 1048s |      17 |   323579 |   237132 |    11304     32 |        0 |        0
1050.70/1051.11	c 1050s |      17 |   324236 |   237732 |    11304     32 |        0 |        0
1052.70/1053.17	c 1052s |      17 |   324768 |   238232 |    11304     32 |        0 |        0
1055.00/1055.42	c 1054s |      17 |   325414 |   238832 |    11304     32 |        0 |        0
1057.10/1057.58	c 1057s |      17 |   326059 |   239432 |    11304     32 |        0 |        0
1059.30/1059.71	c 1059s |      17 |   326862 |   240132 |    11304     32 |        0 |        0
1061.50/1061.98	c 1061s |      17 |   327664 |   240832 |    11304     32 |        0 |        0
1063.60/1064.08	c 1063s |      17 |   328343 |   241432 |    11304     32 |        0 |        0
1066.00/1066.44	c 1065s |      17 |   329019 |   242032 |    11304     32 |        0 |        0
1068.20/1068.64	c 1068s |      17 |   329674 |   242632 |    11304     32 |        0 |        0
1070.30/1070.80	c 1070s |      17 |   330356 |   243232 |    11304     32 |        0 |        0
1072.50/1072.92	c 1072s |      17 |   330794 |   243632 |    11304     33 |        0 |        0
1074.50/1074.96	c 1074s |      17 |   331576 |   244332 |    11304     33 |        0 |        0
1076.70/1077.17	c 1076s |      17 |   332371 |   245032 |    11304     33 |        0 |        0
1078.81/1079.22	c 1078s |      17 |   333028 |   245632 |    11304     33 |        0 |        0
1080.79/1081.28	c 1080s |      17 |   333681 |   246232 |    11304     33 |        0 |        0
1083.21/1083.61	c 1083s |      17 |   334441 |   246932 |    11304     33 |        0 |        0
1085.41/1085.84	c 1085s |      17 |   335096 |   247532 |    11304     33 |        0 |        0
1087.50/1087.97	c 1087s |      17 |   335742 |   248132 |    11304     33 |        0 |        0
1089.70/1090.18	c 1089s |      17 |   336409 |   248732 |    11304     33 |        0 |        0
1091.80/1092.24	c 1091s |      17 |   336666 |   248932 |    11304     33 |        0 |        0
1093.90/1094.31	c 1093s |      17 |   337462 |   249632 |    11304     33 |        0 |        0
1096.00/1096.48	c 1096s |      17 |   338270 |   250332 |    11304     33 |        0 |        0
1098.30/1098.78	c 1098s |      17 |   339072 |   251032 |    11304     33 |        0 |        0
1100.30/1100.79	c 1100s |      17 |   339768 |   251632 |    11304     33 |        0 |        0
1102.70/1103.11	c 1102s |      17 |   340200 |   252032 |    11304     34 |        0 |        0
1104.80/1105.26	c 1104s |      17 |   340866 |   252632 |    11304     34 |        0 |        0
1107.00/1107.43	c 1106s |      17 |   341609 |   253332 |    11304     34 |        0 |        0
1109.09/1109.54	c 1109s |      17 |   342252 |   253932 |    11304     34 |        0 |        0
1111.20/1111.68	c 1111s |      17 |   342902 |   254532 |    11304     34 |        0 |        0
1113.50/1113.92	c 1113s |      17 |   343542 |   255132 |    11304     34 |        0 |        0
1115.80/1116.22	c 1115s |      17 |   344185 |   255732 |    11304     34 |        0 |        0
1118.09/1118.59	c 1118s |      17 |   344773 |   256232 |    11304     34 |        0 |        0
1120.39/1120.83	c 1120s |      17 |   345453 |   256832 |    11304     34 |        0 |        0
1122.59/1123.06	c 1122s |      17 |   346102 |   257432 |    11304     34 |        0 |        0
1124.79/1125.29	c 1124s |      17 |   346817 |   258032 |    11304     34 |        0 |        0
1126.99/1127.41	c 1126s |      17 |   347456 |   258632 |    11304     34 |        0 |        0
1129.19/1129.70	c 1129s |      17 |   348132 |   259232 |    11304     34 |        0 |        0
1131.60/1132.09	c 1131s |      17 |   348811 |   259832 |    11304     34 |        0 |        0
1133.99/1134.45	c 1133s |      17 |   349448 |   260432 |    11304     34 |        0 |        0
1136.49/1136.91	c 1136s |      17 |   349865 |   260832 |    11304     35 |        0 |        0
1138.59/1139.06	c 1138s |      17 |   350443 |   261332 |    11304     35 |        0 |        0
1140.79/1141.25	c 1140s |      17 |   351137 |   261932 |    11304     35 |        0 |        0
1143.09/1143.53	c 1143s |      17 |   351804 |   262532 |    11304     35 |        0 |        0
1145.39/1145.88	c 1145s |      17 |   352444 |   263132 |    11304     35 |        0 |        0
1147.49/1147.99	c 1147s |      17 |   353109 |   263732 |    11304     35 |        0 |        0
1149.79/1150.24	c 1149s |      17 |   353773 |   264332 |    11304     35 |        0 |        0
1151.99/1152.41	c 1151s |      17 |   354449 |   264932 |    11304     35 |        0 |        0
1153.99/1154.42	c 1153s |      17 |   354995 |   265432 |    11304     35 |        0 |        0
1155.99/1156.45	c 1155s |      17 |   355567 |   265932 |    11304     35 |        0 |        0
1158.28/1158.78	c 1158s |      17 |   356259 |   266532 |    11304     35 |        0 |        0
1160.69/1161.11	c 1160s |      17 |   356803 |   267032 |    11304     35 |        0 |        0
1162.99/1163.49	c 1163s |      17 |   357465 |   267632 |    11304     35 |        0 |        0
1165.29/1165.75	c 1165s |      17 |   358129 |   268232 |    11304     35 |        0 |        0
1167.39/1167.84	c 1167s |      17 |   358700 |   268732 |    11304     35 |        0 |        0
1169.58/1170.01	c 1169s |      17 |   359265 |   269232 |    11304     35 |        0 |        0
1171.68/1172.18	c 1171s |      17 |   359615 |   269532 |    11304     36 |        0 |        0
1174.08/1174.52	c 1174s |      17 |   360194 |   270032 |    11304     36 |        0 |        0
1176.19/1176.67	c 1176s |      17 |   360855 |   270632 |    11304     36 |        0 |        0
1178.39/1178.86	c 1178s |      17 |   361502 |   271232 |    11304     36 |        0 |        0
1180.78/1181.21	c 1180s |      17 |   362158 |   271832 |    11304     36 |        0 |        0
1183.08/1183.51	c 1183s |      17 |   362802 |   272432 |    11304     36 |        0 |        0
1185.18/1185.62	c 1185s |      17 |   363353 |   272932 |    11304     36 |        0 |        0
1187.39/1187.89	c 1187s |      17 |   363914 |   273432 |    11304     36 |        0 |        0
1189.48/1189.96	c 1189s |      17 |   364470 |   273932 |    11304     36 |        0 |        0
1191.58/1192.06	c 1191s |      17 |   365019 |   274432 |    11304     36 |        0 |        0
1193.68/1194.15	c 1193s |      17 |   365573 |   274932 |    11304     36 |        0 |        0
1195.88/1196.37	c 1195s |      17 |   366202 |   275532 |    11304     36 |        0 |        0
1197.98/1198.41	c 1197s |      17 |   366735 |   276032 |    11304     36 |        0 |        0
1200.38/1200.86	c 1200s |      17 |   367298 |   276532 |    11304     36 |        0 |        0
1202.58/1203.06	c 1202s |      17 |   367855 |   277032 |    11304     36 |        0 |        0
1204.88/1205.36	c 1204s |      17 |   368417 |   277532 |    11304     36 |        0 |        0
1207.28/1207.72	c 1207s |      17 |   368963 |   278032 |    11304     36 |        0 |        0
1209.59/1210.03	c 1209s |      17 |   369279 |   278332 |    11304     37 |        0 |        0
1212.78/1213.21	c 1212s |      17 |   369841 |   278832 |    11304     37 |        0 |        0
1214.88/1215.36	c 1214s |      17 |   370379 |   279332 |    11304     37 |        0 |        0
1217.18/1217.67	c 1217s |      17 |   370920 |   279832 |    11304     37 |        0 |        0
1219.48/1219.99	c 1219s |      17 |   371452 |   280332 |    11304     37 |        0 |        0
1221.87/1222.37	c 1221s |      17 |   372002 |   280832 |    11304     37 |        0 |        0
1224.47/1224.92	c 1224s |      17 |   372553 |   281332 |    11304     37 |        0 |        0
1226.58/1227.07	c 1226s |      17 |   373338 |   282032 |    11304     37 |        0 |        0
1228.98/1229.44	c 1228s |      17 |   374098 |   282732 |    11304     37 |        0 |        0
1231.17/1231.62	c 1231s |      17 |   374858 |   283432 |    11304     37 |        0 |        0
1233.28/1233.73	c 1233s |      17 |   375501 |   284032 |    11304     37 |        0 |        0
1235.47/1235.93	c 1235s |      17 |   376198 |   284632 |    11304     37 |        0 |        0
1237.87/1238.35	c 1237s |      17 |   376865 |   285232 |    11304     37 |        0 |        0
1239.87/1240.38	c 1239s |      17 |   377315 |   285632 |    11304     37 |        0 |        0
1242.27/1242.73	c 1242s |      17 |   377860 |   286132 |    11304     37 |        0 |        0
1244.57/1245.08	c 1244s |      17 |   378403 |   286632 |    11304     37 |        0 |        0
1247.28/1247.76	c 1247s |      17 |   378846 |   287032 |    11304     38 |        0 |        0
1249.47/1249.97	c 1249s |      17 |   379510 |   287632 |    11304     38 |        0 |        0
1251.77/1252.21	c 1251s |      17 |   380055 |   288132 |    11304     38 |        0 |        0
1253.97/1254.44	c 1253s |      17 |   380600 |   288632 |    11304     38 |        0 |        0
1255.97/1256.45	c 1255s |      17 |   381282 |   289232 |    11304     38 |        0 |        0
1258.07/1258.57	c 1258s |      17 |   382055 |   289932 |    11304     38 |        0 |        0
1260.37/1260.88	c 1260s |      17 |   382689 |   290532 |    11304     38 |        0 |        0
1262.77/1263.22	c 1262s |      17 |   383461 |   291232 |    11304     38 |        0 |        0
1264.77/1265.25	c 1264s |      17 |   384007 |   291732 |    11304     38 |        0 |        0
1266.77/1267.28	c 1266s |      17 |   384542 |   292232 |    11304     38 |        0 |        0
1268.97/1269.42	c 1268s |      17 |   385065 |   292732 |    11304     38 |        0 |        0
1271.17/1271.67	c 1271s |      17 |   385601 |   293232 |    11304     38 |        0 |        0
1273.57/1274.04	c 1273s |      17 |   386145 |   293732 |    11304     38 |        0 |        0
1275.77/1276.24	c 1275s |      17 |   386682 |   294232 |    12435     38 |        0 |        0
1277.87/1278.32	c 1277s |      17 |   387215 |   294732 |    12435     38 |        0 |        0
1279.97/1280.46	c 1280s |      17 |   387736 |   295232 |    12435     38 |        0 |        0
1281.97/1282.48	c 1282s |      17 |   388158 |   295632 |    12435     38 |        0 |        0
1284.16/1284.66	c 1284s |      17 |   388579 |   296032 |    12435     38 |        0 |        0
1285.36/1285.84	c 1285s |      18 |   388807 |   296252 |    12435     38 |        0 |        0
1287.86/1288.35	c 1287s |      18 |   390946 |   296352 |    12435     39 |        0 |        0
1290.07/1290.55	c 1290s |      18 |   392108 |   297352 |    12435     39 |        0 |        0
1292.27/1292.74	c 1292s |      18 |   393294 |   298352 |    12435     39 |        0 |        0
1294.37/1294.85	c 1294s |      18 |   394282 |   299252 |    12435     39 |        0 |        0
1296.57/1297.09	c 1296s |      18 |   395039 |   299952 |    12435     39 |        0 |        0
1298.86/1299.32	c 1298s |      18 |   395810 |   300652 |    12435     39 |        0 |        0
1300.87/1301.34	c 1300s |      18 |   396594 |   301352 |    12435     39 |        0 |        0
1303.07/1303.57	c 1303s |      18 |   397287 |   301952 |    12435     39 |        0 |        0
1305.16/1305.66	c 1305s |      18 |   397824 |   302452 |    12435     39 |        0 |        0
1307.17/1307.69	c 1307s |      18 |   398405 |   302952 |    12435     39 |        0 |        0
1309.36/1309.81	c 1309s |      18 |   398937 |   303452 |    12435     39 |        0 |        0
1311.46/1311.96	c 1311s |      18 |   399510 |   303952 |    12435     39 |        0 |        0
1313.56/1314.07	c 1313s |      18 |   400110 |   304452 |    12435     39 |        0 |        0
1315.66/1316.17	c 1315s |      18 |   400667 |   304952 |    12435     39 |        0 |        0
1317.76/1318.20	c 1317s |      18 |   401201 |   305452 |    12435     39 |        0 |        0
1320.16/1320.62	c 1320s |      18 |   401653 |   305852 |    12435     40 |        0 |        0
1322.16/1322.68	c 1322s |      18 |   402187 |   306352 |    12435     40 |        0 |        0
1324.26/1324.77	c 1324s |      18 |   402743 |   306852 |    12435     40 |        0 |        0
1326.56/1327.02	c 1326s |      18 |   403298 |   307352 |    12435     40 |        0 |        0
1328.76/1329.27	c 1328s |      18 |   403847 |   307852 |    12435     40 |        0 |        0
1331.16/1331.61	c 1331s |      18 |   404391 |   308352 |    12435     40 |        0 |        0
1333.26/1333.71	c 1333s |      18 |   404957 |   308852 |    12435     40 |        0 |        0
1335.36/1335.85	c 1335s |      18 |   405622 |   309452 |    12435     40 |        0 |        0
1337.75/1338.22	c 1337s |      18 |   406269 |   310052 |    12435     40 |        0 |        0
1339.75/1340.25	c 1339s |      18 |   406810 |   310552 |    12435     40 |        0 |        0
1342.15/1342.61	c 1342s |      18 |   407355 |   311052 |    12435     40 |        0 |        0
1344.45/1344.96	c 1344s |      18 |   407923 |   311552 |    12435     40 |        0 |        0
1346.76/1347.20	c 1346s |      18 |   408372 |   311952 |    12435     40 |        0 |        0
1348.86/1349.33	c 1348s |      18 |   408822 |   312352 |    12435     40 |        0 |        0
1351.05/1351.60	c 1351s |      18 |   409260 |   312752 |    12435     40 |        0 |        0
1353.55/1354.09	c 1353s |      18 |   409687 |   313152 |    12435     40 |        0 |        0
1356.06/1356.55	c 1356s |      18 |   410242 |   313652 |    12435     40 |        0 |        0
1358.45/1358.97	c 1358s |      18 |   410774 |   314152 |    12435     40 |        0 |        0
1360.55/1361.06	c 1360s |      18 |   411201 |   314552 |    12435     40 |        0 |        0
1362.75/1363.21	c 1362s |      18 |   411634 |   314952 |    12435     40 |        0 |        0
1364.95/1365.41	c 1364s |      18 |   412009 |   315252 |    12435     41 |        0 |        0
1367.26/1367.73	c 1367s |      18 |   412484 |   315652 |    12435     41 |        0 |        0
1369.55/1370.08	c 1369s |      18 |   413151 |   316252 |    12435     41 |        0 |        0
1371.75/1372.23	c 1371s |      18 |   413724 |   316752 |    12435     41 |        0 |        0
1373.95/1374.46	c 1374s |      18 |   414310 |   317252 |    12435     41 |        0 |        0
1376.05/1376.58	c 1376s |      18 |   414864 |   317752 |    12435     41 |        0 |        0
1378.45/1378.92	c 1378s |      18 |   415415 |   318252 |    12435     41 |        0 |        0
1380.65/1381.20	c 1380s |      18 |   415989 |   318752 |    12435     41 |        0 |        0
1382.85/1383.30	c 1382s |      18 |   416545 |   319252 |    12435     41 |        0 |        0
1385.15/1385.63	c 1385s |      18 |   417109 |   319752 |    12435     41 |        0 |        0
1387.15/1387.68	c 1387s |      18 |   417576 |   320152 |    12435     41 |        0 |        0
1389.35/1389.89	c 1389s |      18 |   417995 |   320552 |    12435     41 |        0 |        0
1391.55/1392.02	c 1391s |      18 |   418435 |   320952 |    12435     41 |        0 |        0
1394.05/1394.52	c 1394s |      18 |   419000 |   321452 |    12435     41 |        0 |        0
1396.45/1396.96	c 1396s |      18 |   419549 |   321952 |    12435     41 |        0 |        0
1398.55/1399.05	c 1398s |      18 |   419991 |   322352 |    12435     41 |        0 |        0
1400.65/1401.18	c 1400s |      18 |   420439 |   322752 |    12435     41 |        0 |        0
1402.95/1403.42	c 1402s |      18 |   420871 |   323152 |    12435     41 |        0 |        0
1405.36/1405.83	c 1405s |      18 |   421300 |   323552 |    12435     41 |        0 |        0
1407.56/1408.08	c 1407s |      18 |   421742 |   323952 |    12435     41 |        0 |        0
1409.75/1410.30	c 1409s |      18 |   422200 |   324352 |    12435     41 |        0 |        0
1412.05/1412.55	c 1412s |      18 |   422544 |   324652 |    12435     42 |        0 |        0
1414.45/1414.97	c 1414s |      18 |   423089 |   325152 |    12435     42 |        0 |        0
1418.44/1418.93	c 1418s |      18 |   423669 |   325652 |    12435     42 |        0 |        0
1420.54/1421.00	c 1420s |      18 |   424220 |   326152 |    12435     42 |        0 |        0
1422.64/1423.16	c 1422s |      18 |   424827 |   326652 |    12435     42 |        0 |        0
1425.04/1425.52	c 1425s |      18 |   425384 |   327152 |    12435     42 |        0 |        0
1427.35/1427.87	c 1427s |      18 |   425951 |   327652 |    12435     42 |        0 |        0
1429.65/1430.12	c 1429s |      18 |   426513 |   328152 |    12435     42 |        0 |        0
1431.85/1432.32	c 1431s |      18 |   427101 |   328652 |    12435     42 |        0 |        0
1433.95/1434.42	c 1433s |      18 |   427694 |   329152 |    12435     42 |        0 |        0
1436.04/1436.50	c 1436s |      18 |   428280 |   329652 |    12435     42 |        0 |        0
1438.04/1438.57	c 1438s |      18 |   428892 |   330152 |    12435     42 |        0 |        0
1440.24/1440.72	c 1440s |      18 |   429465 |   330652 |    12435     42 |        0 |        0
1442.64/1443.10	c 1442s |      18 |   430150 |   331252 |    12435     42 |        0 |        0
1444.94/1445.48	c 1445s |      18 |   430840 |   331852 |    12435     42 |        0 |        0
1447.14/1447.67	c 1447s |      18 |   431422 |   332352 |    12435     42 |        0 |        0
1449.54/1450.03	c 1449s |      18 |   432149 |   332952 |    12435     42 |        0 |        0
1451.84/1452.35	c 1451s |      18 |   432710 |   333452 |    12435     42 |        0 |        0
1455.04/1455.56	c 1455s |      18 |   433152 |   333852 |    12435     43 |        0 |        0
1457.15/1457.64	c 1457s |      18 |   433715 |   334352 |    12435     43 |        0 |        0
1459.54/1460.00	c 1459s |      18 |   434267 |   334852 |    12435     43 |        0 |        0
1461.64/1462.13	c 1461s |      18 |   434818 |   335352 |    12435     43 |        0 |        0
1464.03/1464.52	c 1464s |      18 |   435376 |   335852 |    12435     43 |        0 |        0
1466.44/1466.93	c 1466s |      18 |   435909 |   336352 |    12435     43 |        0 |        0
1468.84/1469.33	c 1468s |      18 |   436482 |   336852 |    12435     43 |        0 |        0
1471.14/1471.69	c 1471s |      18 |   437032 |   337352 |    12435     43 |        0 |        0
1473.64/1474.17	c 1473s |      18 |   437585 |   337852 |    12435     43 |        0 |        0
1475.74/1476.22	c 1475s |      18 |   438026 |   338252 |    12435     43 |        0 |        0
1478.04/1478.53	c 1478s |      18 |   438588 |   338752 |    12435     43 |        0 |        0
1480.63/1481.10	c 1480s |      18 |   439168 |   339252 |    12435     43 |        0 |        0
1482.64/1483.14	c 1482s |      18 |   439603 |   339652 |    12435     43 |        0 |        0
1484.94/1485.45	c 1484s |      18 |   440193 |   340152 |    12435     43 |        0 |        0
1487.04/1487.53	c 1487s |      18 |   440634 |   340552 |    12435     43 |        0 |        0
1489.14/1489.68	c 1489s |      18 |   441098 |   340952 |    12435     43 |        0 |        0
1491.44/1491.92	c 1491s |      18 |   441671 |   341452 |    12435     43 |        0 |        0
1493.83/1494.30	c 1493s |      18 |   442223 |   341952 |    12435     43 |        0 |        0
1495.83/1496.38	c 1495s |      18 |   442662 |   342352 |    12435     43 |        0 |        0
1498.33/1498.84	c 1498s |      18 |   443227 |   342852 |    12435     43 |        0 |        0
1500.73/1501.25	c 1500s |      18 |   443562 |   343152 |    12435     44 |        0 |        0
1502.84/1503.40	c 1502s |      18 |   444008 |   343552 |    12435     44 |        0 |        0
1504.93/1505.45	c 1505s |      18 |   444281 |   343752 |    12435     44 |        0 |        0
1507.13/1507.63	c 1507s |      18 |   444974 |   344352 |    12435     44 |        0 |        0
1509.43/1509.90	c 1509s |      18 |   445552 |   344852 |    12435     44 |        0 |        0
1511.53/1512.05	c 1511s |      18 |   446154 |   345352 |    12435     44 |        0 |        0
1513.84/1514.39	c 1513s |      18 |   446840 |   345952 |    12435     44 |        0 |        0
1516.03/1516.56	c 1516s |      18 |   447424 |   346452 |    12435     44 |        0 |        0
1518.43/1518.98	c 1518s |      18 |   448001 |   346952 |    12435     44 |        0 |        0
1520.63/1521.16	c 1520s |      18 |   448466 |   347352 |    12435     44 |        0 |        0
1522.83/1523.35	c 1522s |      18 |   448972 |   347752 |    12435     44 |        0 |        0
1525.24/1525.78	c 1525s |      18 |   449424 |   348152 |    12435     44 |        0 |        0
1527.33/1527.81	c 1527s |      18 |   449877 |   348552 |    12435     44 |        0 |        0
1529.33/1529.88	c 1529s |      18 |   450332 |   348952 |    12435     44 |        0 |        0
1531.52/1532.03	c 1531s |      18 |   450792 |   349352 |    12435     44 |        0 |        0
1533.83/1534.33	c 1533s |      18 |   451249 |   349752 |    12435     44 |        0 |        0
1536.13/1536.67	c 1536s |      18 |   451684 |   350152 |    12435     44 |        0 |        0
1538.44/1538.95	c 1538s |      18 |   452136 |   350552 |    12435     44 |        0 |        0
1540.82/1541.31	c 1540s |      18 |   452583 |   350952 |    12435     44 |        0 |        0
1543.22/1543.78	c 1543s |      18 |   453012 |   351352 |    12435     44 |        0 |        0
1545.72/1546.21	c 1545s |      18 |   453443 |   351752 |    12435     44 |        0 |        0
1547.92/1548.41	c 1547s |      18 |   453952 |   352152 |    12435     44 |        0 |        0
1550.53/1551.04	c 1550s |      18 |   454329 |   352452 |    12435     45 |        0 |        0
1552.62/1553.19	c 1552s |      18 |   454784 |   352852 |    12435     45 |        0 |        0
1555.22/1555.74	c 1555s |      18 |   455360 |   353352 |    12435     45 |        0 |        0
1557.43/1557.91	c 1557s |      18 |   455798 |   353752 |    12435     45 |        0 |        0
1559.52/1560.04	c 1559s |      18 |   456241 |   354152 |    12435     45 |        0 |        0
1561.53/1562.08	c 1561s |      18 |   456675 |   354552 |    12435     45 |        0 |        0
1563.73/1564.24	c 1563s |      18 |   457099 |   354952 |    12435     45 |        0 |        0
1565.82/1566.36	c 1565s |      18 |   457583 |   355352 |    12435     45 |        0 |        0
1568.13/1568.69	c 1568s |      18 |   458075 |   355752 |    12435     45 |        0 |        0
1570.33/1570.85	c 1570s |      18 |   458564 |   356152 |    12435     45 |        0 |        0
1572.52/1573.08	c 1572s |      18 |   459009 |   356552 |    12435     45 |        0 |        0
1574.92/1575.46	c 1575s |      18 |   459490 |   356952 |    12435     45 |        0 |        0
1577.22/1577.79	c 1577s |      18 |   460063 |   357352 |    12435     45 |        0 |        0
1579.62/1580.15	c 1579s |      18 |   460532 |   357752 |    12435     45 |        0 |        0
1581.62/1582.15	c 1581s |      18 |   460967 |   358152 |    12435     45 |        0 |        0
1583.82/1584.35	c 1583s |      18 |   461512 |   358552 |    12435     45 |        0 |        0
1586.31/1586.87	c 1586s |      18 |   461968 |   358952 |    12435     45 |        0 |        0
1588.82/1589.35	c 1588s |      18 |   462422 |   359352 |    12435     45 |        0 |        0
1591.32/1591.87	c 1591s |      18 |   462859 |   359752 |    12435     45 |        0 |        0
1593.92/1594.44	c 1593s |      18 |   463331 |   360152 |    12435     45 |        0 |        0
1596.42/1596.94	c 1596s |      18 |   463761 |   360552 |    12435     45 |        0 |        0
1599.02/1599.55	c 1599s |      18 |   464206 |   360952 |    12435     45 |        0 |        0
1601.52/1602.00	c 1601s |      18 |   464666 |   361352 |    12435     45 |        0 |        0
1604.52/1605.07	c 1604s |      18 |   465002 |   361652 |    12435     46 |        0 |        0
1606.81/1607.35	c 1606s |      18 |   465467 |   362052 |    12435     46 |        0 |        0
1609.82/1610.38	c 1609s |      18 |   465782 |   362352 |    12435     46 |        0 |        0
1612.32/1612.86	c 1612s |      18 |   466225 |   362752 |    12435     46 |        0 |        0
1614.82/1615.34	c 1614s |      18 |   466649 |   363152 |    12435     46 |        0 |        0
1617.02/1617.56	c 1617s |      18 |   467100 |   363552 |    12435     46 |        0 |        0
1619.31/1619.81	c 1619s |      18 |   467562 |   363952 |    12435     46 |        0 |        0
1621.51/1622.06	c 1621s |      18 |   468006 |   364352 |    12435     46 |        0 |        0
1623.72/1624.27	c 1623s |      18 |   468470 |   364752 |    12435     46 |        0 |        0
1625.91/1626.45	c 1625s |      18 |   468925 |   365152 |    12435     46 |        0 |        0
1628.32/1628.84	c 1628s |      18 |   469361 |   365552 |    12435     46 |        0 |        0
1630.61/1631.15	c 1630s |      18 |   469823 |   365952 |    12435     46 |        0 |        0
1632.91/1633.43	c 1632s |      18 |   470378 |   366452 |    12435     46 |        0 |        0
1635.22/1635.73	c 1635s |      18 |   470945 |   366952 |    12435     46 |        0 |        0
1637.52/1638.06	c 1637s |      18 |   471493 |   367452 |    12435     46 |        0 |        0
1639.81/1640.32	c 1639s |      18 |   472064 |   367952 |    12435     46 |        0 |        0
1642.01/1642.56	c 1642s |      18 |   472634 |   368452 |    12435     46 |        0 |        0
1644.21/1644.78	c 1644s |      18 |   473189 |   368952 |    12435     46 |        0 |        0
1646.81/1647.30	c 1646s |      18 |   473765 |   369452 |    12435     46 |        0 |        0
1649.01/1649.54	c 1649s |      18 |   474362 |   369952 |    12435     46 |        0 |        0
1651.21/1651.73	c 1651s |      18 |   474957 |   370452 |    12435     46 |        0 |        0
1653.31/1653.82	c 1653s |      18 |   475416 |   370852 |    12435     46 |        0 |        0
1655.31/1655.86	c 1655s |      18 |   475661 |   371052 |    12435     47 |        0 |        0
1657.61/1658.10	c 1657s |      18 |   476244 |   371552 |    12435     47 |        0 |        0
1659.80/1660.30	c 1659s |      18 |   476808 |   372052 |    12435     47 |        0 |        0
1661.80/1662.38	c 1661s |      18 |   477378 |   372552 |    12435     47 |        0 |        0
1664.01/1664.55	c 1664s |      18 |   477929 |   373052 |    12435     47 |        0 |        0
1666.30/1666.83	c 1666s |      18 |   478490 |   373552 |    12435     47 |        0 |        0
1668.61/1669.12	c 1668s |      18 |   479051 |   374052 |    12435     47 |        0 |        0
1670.90/1671.49	c 1671s |      18 |   479631 |   374552 |    12435     47 |        0 |        0
1673.40/1673.92	c 1673s |      18 |   480206 |   375052 |    12435     47 |        0 |        0
1675.80/1676.39	c 1675s |      18 |   480794 |   375552 |    12435     47 |        0 |        0
1678.21/1678.78	c 1678s |      18 |   481349 |   376052 |    12435     47 |        0 |        0
1680.31/1680.86	c 1680s |      18 |   481828 |   376452 |    12435     47 |        0 |        0
1682.70/1683.29	c 1682s |      18 |   482389 |   376952 |    12435     47 |        0 |        0
1685.00/1685.59	c 1685s |      18 |   482980 |   377452 |    12435     47 |        0 |        0
1687.51/1688.06	c 1687s |      18 |   483539 |   377952 |    12435     47 |        0 |        0
1689.60/1690.17	c 1689s |      18 |   484012 |   378352 |    12435     47 |        0 |        0
1692.20/1692.71	c 1692s |      18 |   484575 |   378852 |    12435     47 |        0 |        0
1694.41/1694.95	c 1694s |      18 |   485035 |   379252 |    12435     47 |        0 |        0
1696.81/1697.31	c 1696s |      18 |   485484 |   379652 |    12435     47 |        0 |        0
1699.11/1699.63	c 1699s |      18 |   485944 |   380052 |    12435     47 |        0 |        0
1701.21/1701.74	c 1701s |      18 |   486170 |   380252 |    12435     48 |        0 |        0
1703.70/1704.24	c 1703s |      18 |   486721 |   380752 |    12435     48 |        0 |        0
1705.70/1706.28	c 1705s |      18 |   487158 |   381152 |    12435     48 |        0 |        0
1708.30/1708.81	c 1708s |      18 |   487611 |   381552 |    12435     48 |        0 |        0
1710.69/1711.25	c 1710s |      18 |   488162 |   382052 |    12435     48 |        0 |        0
1712.99/1713.52	c 1713s |      18 |   488711 |   382552 |    12435     48 |        0 |        0
1715.00/1715.57	c 1715s |      18 |   489158 |   382952 |    12435     48 |        0 |        0
1717.10/1717.63	c 1717s |      18 |   489614 |   383352 |    12435     48 |        0 |        0
1719.09/1719.65	c 1719s |      18 |   490064 |   383752 |    12435     48 |        0 |        0
1721.30/1721.86	c 1721s |      18 |   490485 |   384152 |    12435     48 |        0 |        0
1723.60/1724.18	c 1723s |      18 |   490960 |   384552 |    12435     48 |        0 |        0
1725.89/1726.47	c 1726s |      18 |   491405 |   384952 |    12435     48 |        0 |        0
1728.30/1728.82	c 1728s |      18 |   491828 |   385352 |    12435     48 |        0 |        0
1730.59/1731.16	c 1730s |      18 |   492258 |   385752 |    12435     48 |        0 |        0
1732.79/1733.38	c 1732s |      18 |   492776 |   386152 |    12435     48 |        0 |        0
1735.20/1735.76	c 1735s |      18 |   493349 |   386652 |    12435     48 |        0 |        0
1737.50/1738.09	c 1737s |      18 |   493927 |   387152 |    12435     48 |        0 |        0
1739.89/1740.45	c 1740s |      18 |   494538 |   387652 |    12435     48 |        0 |        0
1742.19/1742.76	c 1742s |      18 |   495109 |   388152 |    12435     48 |        0 |        0
1744.29/1744.81	c 1744s |      18 |   495689 |   388652 |    12435     48 |        0 |        0
1746.60/1747.10	c 1746s |      18 |   496284 |   389152 |    12435     48 |        0 |        0
1749.49/1750.02	c 1749s |      18 |   496726 |   389552 |    12435     49 |        0 |        0
1751.49/1752.03	c 1751s |      18 |   497310 |   390052 |    12435     49 |        0 |        0
1753.90/1754.42	c 1753s |      18 |   497883 |   390552 |    12435     49 |        0 |        0
1755.89/1756.48	c 1756s |      18 |   498378 |   390952 |    12435     49 |        0 |        0
1758.10/1758.68	c 1758s |      18 |   498933 |   391452 |    12435     49 |        0 |        0
1760.49/1761.09	c 1760s |      18 |   499471 |   391952 |    12435     49 |        0 |        0
1762.99/1763.52	c 1763s |      18 |   500032 |   392452 |    12435     49 |        0 |        0
1765.10/1765.69	c 1765s |      18 |   500495 |   392852 |    12435     49 |        0 |        0
1767.39/1767.93	c 1767s |      18 |   500953 |   393252 |    12435     49 |        0 |        0
1769.39/1769.94	c 1769s |      18 |   501400 |   393652 |    12435     49 |        0 |        0
1771.59/1772.13	c 1771s |      18 |   501839 |   394052 |    12435     49 |        0 |        0
1773.59/1774.19	c 1773s |      18 |   502281 |   394452 |    12435     49 |        0 |        0
1775.89/1776.42	c 1775s |      18 |   502729 |   394852 |    12435     49 |        0 |        0
1778.09/1778.66	c 1778s |      18 |   503168 |   395252 |    12435     49 |        0 |        0
1780.29/1780.86	c 1780s |      18 |   503616 |   395652 |    12435     49 |        0 |        0
1782.60/1783.20	c 1782s |      18 |   504080 |   396052 |    12435     49 |        0 |        0
1785.09/1785.60	c 1785s |      18 |   504557 |   396452 |    12435     49 |        0 |        0
1787.28/1787.81	c 1787s |      18 |   505010 |   396852 |    12435     49 |        0 |        0
1789.39/1789.95	c 1789s |      18 |   505445 |   397252 |    12435     49 |        0 |        0
1791.78/1792.32	c 1791s |      18 |   505875 |   397652 |    12435     49 |        0 |        0
1793.98/1794.52	c 1794s |      18 |   506344 |   398052 |    12435     49 |        0 |        0
1796.09/1796.66	c 1796s |      18 |   506793 |   398452 |    12435     49 |        0 |        0
1798.28/1798.82	c 1798s |      18 |   507234 |   398852 |    12435     49 |        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-4109214-1466342495/watcher-4109214-1466342495 -o /tmp/evaluation-result-4109214-1466342495/solver-4109214-1466342495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4862 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109214-1466342495.wbo 

pid=4956
running on 4 cores: 1,3,5,7

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.00 1.82 1.03 3/179 4959
/proc/meminfo: memFree=30212064/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 2607 0 0 0 0 0 0 0 20 0 4 0 36299484 716632064 2457 33554432000 4194304 16246674 140735477356016 140735477355440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 175471 2467 441 2943 0 172365 0
[pid=4959/tid=4960] ppid=4956 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 734457856 2527 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 738652160 2543 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36299484 742846464 2560 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.00 1.82 1.03 3/179 4959
/proc/meminfo: memFree=30212064/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 27973 0 0 0 4 5 0 0 20 0 4 0 36299484 1247350784 27815 33554432000 4194304 16246674 140735477356016 140735477355440 6144396 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 304529 27823 606 2943 0 301423 0
[pid=4959/tid=4960] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 27830 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 27836 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 27841 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 2.00 1.82 1.03 3/179 4959
/proc/meminfo: memFree=30212064/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 47989 0 0 0 12 7 0 0 20 0 4 0 36299484 1247350784 47832 33554432000 4194304 16246674 140735477356016 140735477355440 6143106 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 304529 47841 606 2943 0 301423 0
[pid=4959/tid=4960] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 47847 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 47852 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 47857 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300506 s]
/proc/loadavg: 2.00 1.82 1.03 3/179 4959
/proc/meminfo: memFree=30212064/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 68174 0 0 0 19 10 0 0 20 0 4 0 36299484 1247350784 68016 33554432000 4194304 16246674 140735477356016 140735477355440 6144396 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 304529 68027 606 2943 0 301423 0
[pid=4959/tid=4960] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 68034 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 68040 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36299484 1247350784 68047 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700429 s]
/proc/loadavg: 2.00 1.82 1.03 3/179 4959
/proc/meminfo: memFree=30212064/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1307204 CPUtime=0.68 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 96072 0 0 0 53 15 0 0 20 0 4 0 36299484 1338576896 95885 33554432000 4194304 16246674 140735477356016 140735477355328 4221105 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 326801 95885 868 2943 0 323695 0
[pid=4959/tid=4960] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 95886 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 95887 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 95887 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1307204

[startup+1.50043 s]
/proc/loadavg: 2.00 1.82 1.03 3/183 4963
/proc/meminfo: memFree=29823308/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 101833 0 0 0 133 16 0 0 20 0 4 0 36299484 1338576896 101646 33554432000 4194304 16246674 140735477356016 140735477355192 5711644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 326801 101646 868 2943 0 323695 0
[pid=4959/tid=4960] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 101646 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 101646 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 101646 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.00 1.82 1.03 3/183 4963
/proc/meminfo: memFree=29791688/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 105891 0 0 0 292 17 0 0 20 0 4 0 36299484 1338576896 105704 33554432000 4194304 16246674 140735477356016 140735477337920 6020976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 326801 105704 868 2943 0 323695 0
[pid=4959/tid=4960] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 105704 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 105704 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 105704 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.00 1.82 1.03 3/183 4963
/proc/meminfo: memFree=29405348/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 201964 0 0 0 600 29 0 0 20 0 4 0 36299484 1338576896 201777 33554432000 4194304 16246674 140735477356016 140735477337920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 326801 201777 868 2943 0 323695 0
[pid=4959/tid=4960] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 201777 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 201777 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1338576896 201777 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.08 1.84 1.04 3/183 4963
/proc/meminfo: memFree=29405744/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 202022 0 0 0 1240 29 0 0 20 0 4 0 36299484 1339625472 201835 33554432000 4194304 16246674 140735477356016 140735477355192 13191810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 327057 201835 868 2943 0 323951 0
[pid=4959/tid=4960] ppid=4956 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1339625472 201835 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1339625472 201835 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1339625472 201835 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.06 1.85 1.06 3/183 4963
/proc/meminfo: memFree=29404596/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 202249 0 0 0 2519 30 0 0 20 0 4 0 36299484 1340674048 202062 33554432000 4194304 16246674 140735477356016 140735477355192 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 327313 202062 875 2943 0 324207 0
[pid=4959/tid=4960] ppid=4956 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1340674048 202062 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1340674048 202062 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1340674048 202062 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.10 1.87 1.09 4/183 4963
/proc/meminfo: memFree=29018180/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 268204 0 0 0 5068 40 0 0 20 0 4 0 36299484 1340674048 268017 33554432000 4194304 16246674 140735477356016 140735477355192 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 327313 268017 875 2943 0 324207 0
[pid=4959/tid=4960] ppid=4956 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1340674048 268017 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1340674048 268017 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1340674048 268017 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.08 1.90 1.14 3/183 4964
/proc/meminfo: memFree=28906120/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 269706 0 0 0 10184 44 0 0 20 0 4 0 36299484 1345916928 269519 33554432000 4194304 16246674 140735477356016 140735477355192 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 328593 269519 875 2943 0 325487 0
[pid=4959/tid=4960] ppid=4956 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1345916928 269519 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1345916928 269519 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1345916928 269519 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1523126272 313052 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1487428

[startup+1302.3 s]
/proc/loadavg: 2.06 2.11 1.83 3/183 5237
/proc/meminfo: memFree=29153972/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1521220 CPUtime=1301.86 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 321797 0 0 0 130028 158 0 0 20 0 4 0 36299484 1557729280 321453 33554432000 4194304 16246674 140735477356016 140735477355192 5673048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 380305 321453 876 2943 0 377199 0
[pid=4959/tid=4960] ppid=4956 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1557729280 321453 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1557729280 321453 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1557729280 321453 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1521220

[startup+1362.3 s]
/proc/loadavg: 2.27 2.15 1.86 3/183 5288
/proc/meminfo: memFree=29122628/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1521220 CPUtime=1361.85 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 321844 0 0 0 136019 166 0 0 20 0 4 0 36299484 1557729280 321500 33554432000 4194304 16246674 140735477356016 140735477337920 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 380305 321500 876 2943 0 377199 0
[pid=4959/tid=4960] ppid=4956 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1557729280 321500 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1557729280 321500 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1557729280 321500 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1521220

[startup+1422.3 s]
/proc/loadavg: 2.18 2.13 1.87 3/183 5337
/proc/meminfo: memFree=28965920/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1670724 CPUtime=1421.85 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 359093 0 0 0 142002 183 0 0 20 0 4 0 36299484 1710821376 358749 33554432000 4194304 16246674 140735477356016 140735477355192 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 417681 358749 876 2943 0 414575 0
[pid=4959/tid=4960] ppid=4956 vsize=1670724 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1710821376 358749 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1670724 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1710821376 358749 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1670724 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1710821376 358749 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1670724

[startup+1482.3 s]
/proc/loadavg: 2.18 2.14 1.89 3/183 5338
/proc/meminfo: memFree=28957828/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1670724 CPUtime=1481.83 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 359220 0 0 0 147992 191 0 0 20 0 4 0 36299484 1710821376 358876 33554432000 4194304 16246674 140735477356016 140735477355192 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 417681 358876 876 2943 0 414575 0
[pid=4959/tid=4960] ppid=4956 vsize=1670724 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1710821376 358876 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1670724 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1710821376 358876 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1670724 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1710821376 358876 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1670724

[startup+1542.31 s]
/proc/loadavg: 2.12 2.13 1.90 3/183 5339
/proc/meminfo: memFree=28840652/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1787460 CPUtime=1541.83 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 388311 0 0 0 153980 203 0 0 20 0 4 0 36299484 1830359040 387967 33554432000 4194304 16246674 140735477356016 140735477355192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 446865 387967 876 2943 0 443759 0
[pid=4959/tid=4960] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387967 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387967 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387967 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1787460

[startup+1602.3 s]
/proc/loadavg: 2.04 2.10 1.90 3/183 5340
/proc/meminfo: memFree=28840648/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1787460 CPUtime=1601.82 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 388320 0 0 0 159967 215 0 0 20 0 4 0 36299484 1830359040 387976 33554432000 4194304 16246674 140735477356016 140735477355192 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 446865 387976 876 2943 0 443759 0
[pid=4959/tid=4960] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387976 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387976 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387976 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1787460

[startup+1662.3 s]
/proc/loadavg: 2.08 2.09 1.91 3/182 5390
/proc/meminfo: memFree=28851512/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1787460 CPUtime=1661.8 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 388320 0 0 0 165956 224 0 0 20 0 4 0 36299484 1830359040 387976 33554432000 4194304 16246674 140735477356016 140735477355192 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 446865 387976 876 2943 0 443759 0
[pid=4959/tid=4960] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387976 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387976 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 387976 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1787460

[startup+1722.3 s]
/proc/loadavg: 2.15 2.11 1.92 3/184 5395
/proc/meminfo: memFree=28840628/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1787460 CPUtime=1721.8 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 388404 0 0 0 171942 238 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 140735477355192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 446865 388060 876 2943 0 443759 0
[pid=4959/tid=4960] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1787460

[startup+1782.3 s]
/proc/loadavg: 2.15 2.11 1.94 3/183 5444
/proc/meminfo: memFree=28835208/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1787460 CPUtime=1781.79 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 388404 0 0 0 177929 250 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 140735477355192 12478356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 446865 388060 876 2943 0 443759 0
[pid=4959/tid=4960] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1787460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.17 2.12 1.94 3/183 5493
/proc/meminfo: memFree=28847344/32872528 swapFree=163656/177964
[pid=4959] ppid=4956 vsize=1787460 CPUtime=1800.08 cores=1,3,5,7
/proc/4959/stat : 4959 (toysat) R 4956 4959 4845 0 -1 4202496 388404 0 0 0 179754 254 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 140735477355192 5546111 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4959/statm: 446865 388060 876 2943 0 443759 0
[pid=4959/tid=4960] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4960/stat : 4960 (toysat) S 4956 4959 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948322696432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4959/tid=4961] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4961/stat : 4961 (toysat) S 4956 4959 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948312206576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4959/tid=4962] ppid=4956 vsize=1787460 CPUtime=0 cores=1,3,5,7
/proc/4959/task/4962/stat : 4962 (toysat) S 4956 4959 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36299484 1830359040 388060 33554432000 4194304 16246674 140735477356016 139948301733040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1787460

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.12
CPU user time (s): 1797.55
CPU system time (s): 2.56861
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1787460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.56861
maximum resident set size= 1552240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388404
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= 426
involuntary context switches= 2199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46402 second user time and 8.06477 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-19 15:21:36
IDJOB=4109214
IDBENCH=78735
IDSOLVER=2553
FILE ID=node105/4109214-1466342495
RUNJOBID= node105-1466341824-4862
PBS_JOBID= 19922043
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80--soft-66-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-4109214-1466342495/watcher-4109214-1466342495 -o /tmp/evaluation-result-4109214-1466342495/solver-4109214-1466342495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4862 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109214-1466342495.wbo

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

MD5SUM BENCH= 2c1e8fe2f29e9730adde423ef6a1fb6a
RANDOM SEED=2124066861

node105.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.561
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.12
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.561
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.561
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.561
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.561
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.54
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.561
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.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30212972 kB
Buffers:          125320 kB
Cached:           345836 kB
SwapCached:         1696 kB
Active:          1415896 kB
Inactive:         323852 kB
Active(anon):    1268100 kB
Inactive(anon):     3096 kB
Active(file):     147796 kB
Inactive(file):   320756 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67099304 kB
Dirty:             16364 kB
Writeback:             4 kB
AnonPages:       1448272 kB
Mapped:            10956 kB
Shmem:                 0 kB
Slab:             608932 kB
SReclaimable:      52648 kB
SUnreclaim:       556284 kB
KernelStack:        1488 kB
PageTables:         7108 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1591740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1038336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-19 15:51:36