Trace number 4093412

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.11 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
MD5SUM374ed8d346409439b64d782bc7a820e5
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.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints94
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 5200
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5199
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
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-16T15:46:57+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-4093412-1466084817.wbo"]
0.00/0.01	c use --random-gen="4044739794 3016077878 1470539020 3398304018 1438116290 3478267024 92122572 2340949657 4052451761 3220678004 3888784395 2749622204 2770183748 2348671881 3287350227 1831736582 4177683277 1976257414 4064257396 2185734187 3162143013 4246925907 1082102615 1126191396 3637063459 285002135 3897916361 2891527689 2236466290 4183525377 1258274291 215980063 3200048002 3840570197 2470889032 3867653988 3713661314 1803879013 1675309633 3465999684 3034099058 2769434791 3898210686 2844025328 874864761 4198896807 1246962160 2302456636 1730569008 3929045973 1445896087 2474179369 3445052575 1729024752 3009593048 1712853865 3465752549 3590707784 1425348070 426266219 2414338590 37488199 3444436673 374448146 2037346573 605964072 1596352564 3687649562 501735755 1608351759 1053304745 1428780960 3445489664 862543683 3691780402 3662142358 2330620164 4216677550 3173083187 113717369 3604042449 4101020620 2385196912 2415519170 2436903239 1248673284 1014388081 2234610706 2858182342 285803234 813516382 819909980 3050599709 2692156012 1002307461 2752140092 3757583931 3648960102 3895221459 2533618076 3711949283 1387857790 1667846964 2673738229 4066590565 144991859 1597550585 2910150764 4138696264 1274021203 229300511 2187825901 3851081178 2908570080 512341656 4051790205 3956908143 4022352028 3553968182 2471054510 2172717630 3975896869 2549625899 2830562246 3061599070 538905408 629067292 2182890857 1127212351 1560917647 1035947407 2647268795 937869871 89292129 3320956030 647239985 3175667989 3965704599 80392966 1407668684 2069107124 4158300397 256610225 2074117334 753431243 1567436608 2051021259 3488044666 341739763 1010049570 237873311 3652980181 952145790 2845726469 946765517 2992592808 3260694868 2943787382 3784043156 3515635347 2655314850 1212698933 2091777385 2038433261 3851267810 1209574508 991754151 1687086301 1644149115 261567270 2314089689 2882170165 2456416228 2777702769 2242540939 2169273613 871735244 3579796133 1679479241 1376328500 2831730300 4097974306 3329480665 4283134684 2294000237 1973878645 3834236282 2589914291 3632311169 556354380 1661880895 913251215 2946169124 2942895065 3738061908 2566122474 1252101836 1049554858 3638589992 3229152476 1995666853 2400697498 4167242129 1154099891 616046425 1499869836 4172292524 3041896942 3225021542 2157957919 3327788046 2929141160 3845142859 1443366537 1227906675 1633923383 3808390538 3456365450 2037715291 2654968157 2201056542 2294763145 1099643007 1563304486 3538807636 1527046575 233766789 2390701710 1448588124 769641084 3832066684 2988932379 2110057260 758479634 430215162 946638001 3667234645 1000711414 4101398759 349370714 1348839183 199085073 2146557021 4013001771 2932540053 1003176673 2605531767 843260891 1866946878 1457337202 7899710 2245622619 619759181 2381590173 1891948232 904341077 255 362436" option to reproduce the execution
0.19/0.24	c #vars 4970
0.19/0.24	c #constraints 141
0.19/0.27	c BCD2: Hardening is enabled.
0.19/0.27	c BCD2: BiasedSearch is enabled.
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     1735      0 |        0 |        0
0.28/0.34	c  0.1s |       1 |      276 |      100 |     1735      0 |        0 |        0
0.28/0.37	c  0.1s |       1 |     3502 |      102 |     1909      0 |        0 |        0
0.28/0.37	c #cpu_time = 0.098s
0.28/0.37	c #wall_clock_time = 0.098s
0.28/0.37	c #decision = 3502
0.28/0.37	c #random_decision = 12
0.28/0.37	c #conflict = 102
0.28/0.37	c #restart = 1
0.28/0.37	o 2858
0.28/0.37	c BCD2: updating upper bound: 5199 -> 2857
0.28/0.37	c BCD2: 0 <= obj <= 2857
0.28/0.37	c BCD2: #cores=0, #unrelaxed=94, #relaxed=0, #hardened=0
0.28/0.37	c BCD2: #sat=1 #unsat=1 bias=1/2
0.28/0.37	c Solving starts ...
0.28/0.37	c ============================[ Search Statistics ]============================
0.28/0.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.37	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.37	c =============================================================================
0.28/0.37	c  0.0s |       0 |        0 |        0 |     1909      0 |        0 |        0
0.59/0.63	c  0.3s |       1 |     1839 |      100 |     1909      0 |        0 |        0
0.69/0.76	c  0.4s |       2 |     3962 |      250 |     2100      0 |        0 |        0
1.39/1.40	c  1.0s |       3 |     6968 |      475 |     2310      0 |        0 |        0
2.08/2.17	c  1.8s |       4 |    10891 |      813 |     2541      0 |        0 |        0
2.88/2.95	c  2.6s |       5 |    14501 |     1320 |     2796      0 |        0 |        0
4.09/4.17	c  3.8s |       6 |    17931 |     2081 |     3076      0 |        0 |        0
6.29/6.34	c  6.0s |       6 |    21798 |     3181 |     3384      0 |        0 |        0
6.39/6.43	c  6.1s |       7 |    21853 |     3223 |     3384      0 |        0 |        0
8.49/8.53	c  8.2s |       7 |    25741 |     4223 |     3384      0 |        0 |        0
10.00/10.09	c  9.7s |       8 |    26550 |     4936 |     3723      0 |        0 |        0
12.20/12.21	c 11.8s |       8 |    30407 |     6036 |     3723      1 |        0 |        0
14.30/14.33	c 14.0s |       8 |    31574 |     7036 |     3723      1 |        0 |        0
15.40/15.41	c 15.0s |       9 |    32107 |     7506 |     4096      1 |        0 |        0
17.49/17.50	c 17.1s |       9 |    35820 |     8506 |     4096      2 |        0 |        0
19.59/19.60	c 19.2s |       9 |    36808 |     9406 |     4096      2 |        0 |        0
21.59/21.65	c 21.3s |       9 |    37721 |    10206 |     4096      2 |        0 |        0
23.69/23.71	c 23.3s |       9 |    38515 |    10906 |     4096      2 |        0 |        0
24.99/25.03	c 24.7s |      10 |    39009 |    11361 |     4506      2 |        0 |        0
26.99/27.04	c 26.7s |      10 |    42811 |    12361 |     4506      3 |        0 |        0
29.19/29.26	c 28.9s |      10 |    43712 |    13161 |     4506      3 |        0 |        0
31.39/31.40	c 31.0s |      10 |    44523 |    13861 |     4506      3 |        0 |        0
33.48/33.50	c 33.1s |      10 |    45198 |    14461 |     4506      3 |        0 |        0
35.68/35.76	c 35.4s |      10 |    45874 |    15061 |     4506      3 |        0 |        0
37.78/37.83	c 37.5s |      10 |    46420 |    15561 |     4506      3 |        0 |        0
39.98/40.05	c 39.7s |      10 |    47320 |    16361 |     4506      3 |        0 |        0
42.08/42.13	c 41.8s |      10 |    48016 |    16961 |     4957      3 |        0 |        0
42.78/42.83	c 42.5s |      11 |    48226 |    17144 |     4957      3 |        0 |        0
44.98/45.06	c 44.7s |      11 |    52157 |    17844 |     4957      4 |        0 |        0
47.09/47.11	c 46.7s |      11 |    52971 |    18544 |     4957      4 |        0 |        0
49.28/49.31	c 48.9s |      11 |    53752 |    19244 |     4957      4 |        0 |        0
51.28/51.37	c 51.0s |      11 |    54563 |    19944 |     4957      4 |        0 |        0
53.38/53.47	c 53.1s |      11 |    55218 |    20544 |     4957      4 |        0 |        0
55.68/55.77	c 55.4s |      11 |    55881 |    21144 |     4957      4 |        0 |        0
57.68/57.78	c 57.4s |      11 |    56566 |    21744 |     4957      4 |        0 |        0
59.88/59.93	c 59.6s |      11 |    57234 |    22344 |     4957      4 |        0 |        0
61.98/62.08	c 61.7s |      11 |    57798 |    22844 |     4957      5 |        0 |        0
64.28/64.39	c 64.0s |      11 |    58470 |    23444 |     4957      5 |        0 |        0
66.68/66.70	c 66.3s |      11 |    59181 |    24044 |     4957      5 |        0 |        0
68.68/68.73	c 68.4s |      11 |    59737 |    24544 |     4957      5 |        0 |        0
70.88/70.94	c 70.6s |      11 |    60296 |    25044 |     4957      5 |        0 |        0
72.98/73.00	c 72.6s |      11 |    60881 |    25544 |     4957      5 |        0 |        0
73.98/74.10	c 73.7s |      12 |    61211 |    25819 |     5453      5 |        0 |        0
76.07/76.11	c 75.7s |      12 |    65089 |    26819 |     5453      6 |        0 |        0
78.19/78.26	c 77.9s |      12 |    66042 |    27619 |     5453      6 |        0 |        0
80.48/80.53	c 80.2s |      12 |    67018 |    28419 |     5453      6 |        0 |        0
82.48/82.59	c 82.2s |      12 |    67709 |    29019 |     5453      6 |        0 |        0
84.87/84.95	c 84.6s |      12 |    68375 |    29619 |     5453      6 |        0 |        0
87.07/87.11	c 86.7s |      12 |    69071 |    30219 |     5453      6 |        0 |        0
89.28/89.38	c 89.0s |      12 |    69727 |    30819 |     5453      6 |        0 |        0
91.38/91.44	c 91.1s |      12 |    70281 |    31319 |     5453      6 |        0 |        0
93.48/93.57	c 93.2s |      12 |    71067 |    32019 |     5453      6 |        0 |        0
95.78/95.86	c 95.5s |      12 |    71741 |    32619 |     5453      7 |        0 |        0
97.88/97.98	c 97.6s |      12 |    72426 |    33219 |     5453      7 |        0 |        0
100.08/100.11	c 99.7s |      12 |    72989 |    33719 |     5453      7 |        0 |        0
102.28/102.36	c  101s |      12 |    73551 |    34219 |     5453      7 |        0 |        0
104.68/104.72	c  104s |      12 |    74093 |    34719 |     5453      7 |        0 |        0
106.88/106.90	c  106s |      12 |    74644 |    35219 |     5453      7 |        0 |        0
108.88/108.97	c  108s |      12 |    75182 |    35719 |     5453      7 |        0 |        0
111.18/111.23	c  110s |      12 |    75714 |    36219 |     5453      7 |        0 |        0
113.48/113.59	c  113s |      12 |    76259 |    36719 |     5453      7 |        0 |        0
115.78/115.89	c  115s |      12 |    76803 |    37219 |     5453      7 |        0 |        0
117.98/118.09	c  117s |      12 |    77246 |    37619 |     5453      8 |        0 |        0
120.17/120.21	c  119s |      12 |    77794 |    38119 |     5453      8 |        0 |        0
122.47/122.53	c  122s |      12 |    78348 |    38619 |     5999      8 |        0 |        0
123.37/123.44	c  123s |      13 |    78577 |    38832 |     5999      8 |        0 |        0
125.47/125.52	c  125s |      13 |    81853 |    39432 |     5999      9 |        0 |        0
127.67/127.76	c  127s |      13 |    82651 |    40132 |     5999      9 |        0 |        0
129.77/129.87	c  129s |      13 |    83314 |    40732 |     5999      9 |        0 |        0
132.07/132.12	c  131s |      13 |    83960 |    41332 |     5999      9 |        0 |        0
134.36/134.45	c  134s |      13 |    84624 |    41932 |     5999      9 |        0 |        0
136.48/136.53	c  136s |      13 |    85161 |    42432 |     5999      9 |        0 |        0
138.68/138.77	c  138s |      13 |    85853 |    43032 |     5999      9 |        0 |        0
140.87/140.94	c  140s |      13 |    86396 |    43532 |     5999      9 |        0 |        0
142.97/143.06	c  142s |      13 |    86979 |    44032 |     5999      9 |        0 |        0
145.17/145.23	c  144s |      13 |    87552 |    44532 |     5999      9 |        0 |        0
147.16/147.29	c  146s |      13 |    88164 |    45032 |     5999      9 |        0 |        0
149.36/149.47	c  149s |      13 |    88707 |    45532 |     5999      9 |        0 |        0
151.66/151.71	c  151s |      13 |    89287 |    46032 |     5999      9 |        0 |        0
153.98/154.06	c  153s |      13 |    89750 |    46432 |     5999     10 |        0 |        0
156.27/156.39	c  156s |      13 |    90314 |    46932 |     5999     10 |        0 |        0
158.57/158.60	c  158s |      13 |    90870 |    47432 |     5999     10 |        0 |        0
160.67/160.79	c  160s |      13 |    91473 |    47932 |     5999     10 |        0 |        0
162.87/162.99	c  162s |      13 |    92053 |    48432 |     5999     10 |        0 |        0
165.16/165.23	c  164s |      13 |    92621 |    48932 |     5999     10 |        0 |        0
167.46/167.56	c  167s |      13 |    93179 |    49432 |     5999     10 |        0 |        0
169.87/169.93	c  169s |      13 |    93778 |    49932 |     5999     10 |        0 |        0
171.86/171.99	c  171s |      13 |    94369 |    50432 |     5999     10 |        0 |        0
174.16/174.20	c  173s |      13 |    94919 |    50932 |     5999     10 |        0 |        0
176.46/176.58	c  176s |      13 |    95502 |    51432 |     5999     10 |        0 |        0
179.06/179.11	c  178s |      13 |    95984 |    51832 |     5999     11 |        0 |        0
181.36/181.42	c  181s |      13 |    96555 |    52332 |     5999     11 |        0 |        0
183.56/183.68	c  183s |      13 |    97124 |    52832 |     5999     11 |        0 |        0
185.96/186.00	c  185s |      13 |    97706 |    53332 |     5999     11 |        0 |        0
188.16/188.28	c  187s |      13 |    98272 |    53832 |     5999     11 |        0 |        0
190.56/190.63	c  190s |      13 |    98837 |    54332 |     5999     11 |        0 |        0
192.66/192.78	c  192s |      13 |    99289 |    54732 |     5999     11 |        0 |        0
194.77/194.85	c  194s |      13 |    99743 |    55132 |     5999     11 |        0 |        0
196.87/196.95	c  196s |      13 |   100211 |    55532 |     5999     11 |        0 |        0
198.86/198.96	c  198s |      13 |   100683 |    55932 |     5999     11 |        0 |        0
201.06/201.13	c  200s |      13 |   101242 |    56432 |     5999     11 |        0 |        0
203.46/203.58	c  203s |      13 |   101808 |    56932 |     5999     11 |        0 |        0
205.85/205.92	c  205s |      13 |   102297 |    57332 |     5999     12 |        0 |        0
207.86/207.97	c  207s |      13 |   102762 |    57732 |     5999     12 |        0 |        0
210.45/210.50	c  210s |      13 |   103321 |    58232 |     6599     12 |        0 |        0
211.05/211.11	c  210s |      14 |   103451 |    58352 |     6599     12 |        0 |        0
213.16/213.20	c  212s |      14 |   106763 |    59252 |     6599     12 |        0 |        0
215.36/215.43	c  215s |      14 |   107801 |    60152 |     6599     12 |        0 |        0
217.56/217.66	c  217s |      14 |   108727 |    60952 |     6599     12 |        0 |        0
219.86/219.91	c  219s |      14 |   109648 |    61752 |     6599     12 |        0 |        0
221.86/221.95	c  221s |      14 |   110463 |    62452 |     6599     12 |        0 |        0
224.15/224.24	c  223s |      14 |   111237 |    63152 |     6599     12 |        0 |        0
226.35/226.41	c  226s |      14 |   111816 |    63652 |     6599     13 |        0 |        0
228.35/228.48	c  228s |      14 |   112476 |    64252 |     6599     13 |        0 |        0
230.66/230.72	c  230s |      14 |   113150 |    64852 |     6599     13 |        0 |        0
232.75/232.86	c  232s |      14 |   113818 |    65452 |     6599     13 |        0 |        0
235.05/235.19	c  234s |      14 |   114465 |    66052 |     6599     13 |        0 |        0
237.35/237.44	c  237s |      14 |   115179 |    66652 |     6599     13 |        0 |        0
239.65/239.72	c  239s |      14 |   115861 |    67252 |     6599     13 |        0 |        0
241.75/241.83	c  241s |      14 |   116538 |    67852 |     6599     13 |        0 |        0
243.74/243.85	c  243s |      14 |   117082 |    68352 |     6599     13 |        0 |        0
246.04/246.11	c  245s |      14 |   117635 |    68852 |     6599     13 |        0 |        0
248.24/248.36	c  247s |      14 |   118075 |    69252 |     6599     14 |        0 |        0
250.24/250.36	c  249s |      14 |   118663 |    69752 |     6599     14 |        0 |        0
252.34/252.47	c  252s |      14 |   119366 |    70352 |     6599     14 |        0 |        0
254.64/254.71	c  254s |      14 |   120060 |    70952 |     6599     14 |        0 |        0
256.74/256.85	c  256s |      14 |   120732 |    71552 |     6599     14 |        0 |        0
258.93/259.05	c  258s |      14 |   121275 |    72052 |     6599     14 |        0 |        0
261.24/261.30	c  260s |      14 |   121867 |    72552 |     6599     14 |        0 |        0
263.54/263.68	c  263s |      14 |   122443 |    73052 |     6599     14 |        0 |        0
265.84/265.99	c  265s |      14 |   123033 |    73552 |     6599     14 |        0 |        0
268.03/268.16	c  267s |      14 |   123637 |    74052 |     6599     14 |        0 |        0
270.43/270.60	c  270s |      14 |   124222 |    74552 |     6599     14 |        0 |        0
272.84/272.99	c  272s |      14 |   124692 |    74952 |     6599     15 |        0 |        0
274.94/275.05	c  274s |      14 |   125300 |    75452 |     6599     15 |        0 |        0
277.23/277.34	c  276s |      14 |   125891 |    75952 |     6599     15 |        0 |        0
279.33/279.50	c  279s |      14 |   126491 |    76452 |     6599     15 |        0 |        0
281.54/281.68	c  281s |      14 |   127201 |    77052 |     6599     15 |        0 |        0
283.84/283.98	c  283s |      14 |   127883 |    77652 |     6599     15 |        0 |        0
285.94/286.04	c  285s |      14 |   128428 |    78152 |     6599     15 |        0 |        0
288.33/288.42	c  288s |      14 |   129118 |    78752 |     6599     15 |        0 |        0
290.33/290.48	c  290s |      14 |   129697 |    79252 |     6599     15 |        0 |        0
292.72/292.83	c  292s |      14 |   130373 |    79852 |     6599     15 |        0 |        0
294.92/295.02	c  294s |      14 |   130915 |    80352 |     6599     15 |        0 |        0
297.23/297.38	c  297s |      14 |   131475 |    80852 |     6599     16 |        0 |        0
299.53/299.66	c  299s |      14 |   132036 |    81352 |     6599     16 |        0 |        0
301.83/301.93	c  301s |      14 |   132617 |    81852 |     6599     16 |        0 |        0
304.12/304.29	c  303s |      14 |   133177 |    82352 |     6599     16 |        0 |        0
306.42/306.57	c  306s |      14 |   133718 |    82852 |     6599     16 |        0 |        0
308.62/308.70	c  308s |      14 |   134259 |    83352 |     6599     16 |        0 |        0
310.82/310.95	c  310s |      14 |   134934 |    83952 |     6599     16 |        0 |        0
313.13/313.24	c  312s |      14 |   135620 |    84552 |     6599     16 |        0 |        0
315.12/315.28	c  314s |      14 |   136180 |    85052 |     6599     16 |        0 |        0
317.22/317.37	c  316s |      14 |   136734 |    85552 |     6599     16 |        0 |        0
320.13/320.27	c  319s |      14 |   137294 |    86052 |     6599     17 |        0 |        0
322.32/322.46	c  322s |      14 |   137958 |    86652 |     6599     17 |        0 |        0
324.52/324.62	c  324s |      14 |   138527 |    87152 |     7259     17 |        0 |        0
326.21/326.33	c  325s |      15 |   139072 |    87632 |     7259     17 |        0 |        0
328.32/328.47	c  328s |      15 |   142293 |    88532 |     7259     18 |        0 |        0
330.32/330.49	c  330s |      15 |   143317 |    89432 |     7259     18 |        0 |        0
332.42/332.59	c  332s |      15 |   144221 |    90232 |     7259     18 |        0 |        0
334.51/334.65	c  334s |      15 |   145097 |    91032 |     7259     18 |        0 |        0
336.71/336.82	c  336s |      15 |   146111 |    91932 |     7259     18 |        0 |        0
338.82/338.94	c  338s |      15 |   146887 |    92632 |     7259     18 |        0 |        0
341.11/341.25	c  340s |      15 |   147690 |    93332 |     7259     18 |        0 |        0
343.11/343.26	c  342s |      15 |   148432 |    93932 |     7259     18 |        0 |        0
345.31/345.50	c  345s |      15 |   149244 |    94632 |     7259     18 |        0 |        0
347.70/347.82	c  347s |      15 |   149935 |    95232 |     7259     18 |        0 |        0
349.72/349.89	c  349s |      15 |   150512 |    95732 |     7259     18 |        0 |        0
352.30/352.40	c  352s |      15 |   151084 |    96232 |     7259     19 |        0 |        0
354.30/354.41	c  354s |      15 |   151787 |    96832 |     7259     19 |        0 |        0
356.41/356.54	c  356s |      15 |   152483 |    97432 |     7259     19 |        0 |        0
358.70/358.88	c  358s |      15 |   153158 |    98032 |     7259     19 |        0 |        0
360.90/361.08	c  360s |      15 |   153741 |    98532 |     7259     19 |        0 |        0
363.00/363.17	c  362s |      15 |   154331 |    99032 |     7259     19 |        0 |        0
365.39/365.52	c  365s |      15 |   155016 |    99632 |     7259     19 |        0 |        0
367.50/367.61	c  367s |      15 |   155613 |   100132 |     7259     19 |        0 |        0
369.69/369.89	c  369s |      15 |   156192 |   100632 |     7259     19 |        0 |        0
371.89/372.07	c  371s |      15 |   156748 |   101132 |     7259     19 |        0 |        0
374.19/374.30	c  373s |      15 |   157311 |   101632 |     7259     19 |        0 |        0
377.19/377.31	c  376s |      15 |   157889 |   102132 |     7259     20 |        0 |        0
379.18/379.37	c  379s |      15 |   158425 |   102632 |     7259     20 |        0 |        0
381.38/381.58	c  381s |      15 |   158965 |   103132 |     7259     20 |        0 |        0
383.57/383.75	c  383s |      15 |   159523 |   103632 |     7259     20 |        0 |        0
385.77/385.96	c  385s |      15 |   160046 |   104132 |     7259     20 |        0 |        0
387.78/387.98	c  387s |      15 |   160597 |   104632 |     7259     20 |        0 |        0
389.88/390.08	c  389s |      15 |   161288 |   105232 |     7259     20 |        0 |        0
392.17/392.39	c  392s |      15 |   161957 |   105832 |     7259     20 |        0 |        0
394.27/394.45	c  394s |      15 |   162505 |   106332 |     7259     20 |        0 |        0
396.47/396.61	c  396s |      15 |   163074 |   106832 |     7259     20 |        0 |        0
398.47/398.62	c  398s |      15 |   163653 |   107332 |     7259     20 |        0 |        0
400.57/400.73	c  400s |      15 |   164204 |   107832 |     7259     20 |        0 |        0
402.86/403.00	c  402s |      15 |   164783 |   108332 |     7259     21 |        0 |        0
405.06/405.22	c  404s |      15 |   165559 |   109032 |     7259     21 |        0 |        0
407.16/407.31	c  406s |      15 |   166118 |   109532 |     7259     21 |        0 |        0
409.26/409.41	c  409s |      15 |   166681 |   110032 |     7259     21 |        0 |        0
411.57/411.74	c  411s |      15 |   167244 |   110532 |     7259     21 |        0 |        0
413.86/414.08	c  413s |      15 |   167789 |   111032 |     7259     21 |        0 |        0
416.06/416.28	c  415s |      15 |   168332 |   111532 |     7259     21 |        0 |        0
418.06/418.29	c  417s |      15 |   168908 |   112032 |     7259     21 |        0 |        0
420.26/420.49	c  420s |      15 |   169474 |   112532 |     7259     21 |        0 |        0
422.56/422.70	c  422s |      15 |   169999 |   113032 |     7259     21 |        0 |        0
424.96/425.11	c  424s |      15 |   170544 |   113532 |     7259     21 |        0 |        0
427.06/427.22	c  426s |      15 |   171162 |   114032 |     7259     21 |        0 |        0
429.05/429.28	c  428s |      15 |   171515 |   114332 |     7259     22 |        0 |        0
431.25/431.42	c  431s |      15 |   172178 |   114932 |     7259     22 |        0 |        0
433.65/433.81	c  433s |      15 |   172836 |   115532 |     7259     22 |        0 |        0
435.65/435.88	c  435s |      15 |   173399 |   116032 |     7259     22 |        0 |        0
437.96/438.13	c  437s |      15 |   174079 |   116632 |     7259     22 |        0 |        0
440.05/440.23	c  439s |      15 |   174641 |   117132 |     7259     22 |        0 |        0
442.25/442.40	c  442s |      15 |   175183 |   117632 |     7259     22 |        0 |        0
444.35/444.59	c  444s |      15 |   175724 |   118132 |     7259     22 |        0 |        0
446.45/446.70	c  446s |      15 |   176415 |   118732 |     7259     22 |        0 |        0
448.65/448.85	c  448s |      15 |   177125 |   119332 |     7259     22 |        0 |        0
450.86/451.01	c  450s |      15 |   177814 |   119932 |     7259     22 |        0 |        0
452.95/453.17	c  452s |      15 |   178423 |   120432 |     7259     23 |        0 |        0
455.05/455.29	c  454s |      15 |   179101 |   121032 |     7259     23 |        0 |        0
457.05/457.29	c  456s |      15 |   179677 |   121532 |     7259     23 |        0 |        0
459.24/459.47	c  459s |      15 |   180343 |   122132 |     7259     23 |        0 |        0
461.64/461.85	c  461s |      15 |   181014 |   122732 |     7259     23 |        0 |        0
463.74/463.99	c  463s |      15 |   181717 |   123332 |     7259     23 |        0 |        0
465.84/466.02	c  465s |      15 |   182261 |   123832 |     7259     23 |        0 |        0
468.03/468.28	c  467s |      15 |   182924 |   124432 |     7259     23 |        0 |        0
470.33/470.58	c  470s |      15 |   183612 |   125032 |     7259     23 |        0 |        0
472.44/472.68	c  472s |      15 |   184191 |   125532 |     7259     23 |        0 |        0
474.63/474.84	c  474s |      15 |   184772 |   126032 |     7259     23 |        0 |        0
476.83/477.05	c  476s |      15 |   185217 |   126432 |     7259     24 |        0 |        0
479.13/479.36	c  478s |      15 |   186010 |   127132 |     7259     24 |        0 |        0
481.63/481.89	c  481s |      15 |   186573 |   127632 |     7259     24 |        0 |        0
483.83/484.09	c  483s |      15 |   187270 |   128232 |     7259     24 |        0 |        0
485.82/486.09	c  485s |      15 |   187829 |   128732 |     7259     24 |        0 |        0
488.12/488.33	c  487s |      15 |   188526 |   129332 |     7259     24 |        0 |        0
490.53/490.73	c  490s |      15 |   189166 |   129932 |     7259     24 |        0 |        0
492.82/493.06	c  492s |      15 |   189773 |   130432 |     7259     24 |        0 |        0
494.92/495.12	c  494s |      15 |   190207 |   130832 |     7985     24 |        0 |        0
497.42/497.62	c  497s |      15 |   190753 |   131332 |     7985     24 |        0 |        0
498.52/498.75	c  498s |      16 |   190997 |   131552 |     7985     24 |        0 |        0
500.62/500.84	c  500s |      16 |   193538 |   132152 |     7985     25 |        0 |        0
502.71/502.99	c  502s |      16 |   194538 |   133052 |     7985     25 |        0 |        0
504.91/505.11	c  504s |      16 |   195438 |   133852 |     7985     25 |        0 |        0
507.11/507.34	c  506s |      16 |   196360 |   134652 |     7985     25 |        0 |        0
509.30/509.55	c  509s |      16 |   197219 |   135352 |     7985     25 |        0 |        0
511.32/511.59	c  511s |      16 |   197969 |   135952 |     7985     25 |        0 |        0
513.51/513.74	c  513s |      16 |   198677 |   136552 |     7985     25 |        0 |        0
515.71/515.92	c  515s |      16 |   199364 |   137152 |     7985     25 |        0 |        0
517.81/518.00	c  517s |      16 |   200096 |   137752 |     7985     25 |        0 |        0
520.21/520.41	c  520s |      16 |   200754 |   138352 |     7985     25 |        0 |        0
522.41/522.61	c  522s |      16 |   201228 |   138752 |     7985     26 |        0 |        0
524.70/524.93	c  524s |      16 |   201905 |   139352 |     7985     26 |        0 |        0
526.71/526.96	c  526s |      16 |   202466 |   139852 |     7985     26 |        0 |        0
528.91/529.12	c  528s |      16 |   203038 |   140352 |     7985     26 |        0 |        0
531.00/531.26	c  530s |      16 |   203575 |   140852 |     7985     26 |        0 |        0
533.19/533.42	c  533s |      16 |   204120 |   141352 |     7985     26 |        0 |        0
535.19/535.43	c  535s |      16 |   204667 |   141852 |     7985     26 |        0 |        0
537.70/537.91	c  537s |      16 |   205349 |   142452 |     7985     26 |        0 |        0
539.79/540.04	c  539s |      16 |   205909 |   142952 |     7985     26 |        0 |        0
542.19/542.40	c  542s |      16 |   206662 |   143552 |     7985     26 |        0 |        0
544.39/544.70	c  544s |      16 |   207371 |   144152 |     7985     26 |        0 |        0
546.49/546.79	c  546s |      16 |   207963 |   144652 |     7985     26 |        0 |        0
549.28/549.56	c  549s |      16 |   208514 |   145152 |     7985     27 |        0 |        0
551.48/551.75	c  551s |      16 |   209215 |   145752 |     7985     27 |        0 |        0
553.58/553.81	c  553s |      16 |   209908 |   146352 |     7985     27 |        0 |        0
555.68/555.95	c  555s |      16 |   210589 |   146952 |     7985     27 |        0 |        0
557.98/558.20	c  557s |      16 |   211316 |   147552 |     7985     27 |        0 |        0
560.18/560.44	c  560s |      16 |   211968 |   148152 |     7985     27 |        0 |        0
562.38/562.67	c  562s |      16 |   212655 |   148752 |     7985     27 |        0 |        0
564.77/565.00	c  564s |      16 |   213332 |   149352 |     7985     27 |        0 |        0
567.17/567.42	c  567s |      16 |   213898 |   149852 |     7985     27 |        0 |        0
569.17/569.46	c  569s |      16 |   214346 |   150252 |     7985     27 |        0 |        0
571.27/571.56	c  571s |      16 |   214808 |   150652 |     7985     27 |        0 |        0
573.46/573.71	c  573s |      16 |   215233 |   151052 |     7985     27 |        0 |        0
575.57/575.85	c  575s |      16 |   215692 |   151452 |     7985     27 |        0 |        0
577.77/578.00	c  577s |      16 |   216034 |   151752 |     7985     28 |        0 |        0
579.77/580.09	c  579s |      16 |   216609 |   152252 |     7985     28 |        0 |        0
581.87/582.14	c  581s |      16 |   217175 |   152752 |     7985     28 |        0 |        0
583.87/584.20	c  583s |      16 |   217740 |   153252 |     7985     28 |        0 |        0
586.26/586.54	c  586s |      16 |   218451 |   153852 |     7985     28 |        0 |        0
588.27/588.58	c  588s |      16 |   219065 |   154352 |     7985     28 |        0 |        0
590.46/590.71	c  590s |      16 |   219634 |   154852 |     7985     28 |        0 |        0
592.55/592.88	c  592s |      16 |   220198 |   155352 |     7985     28 |        0 |        0
594.55/594.89	c  594s |      16 |   220639 |   155752 |     7985     28 |        0 |        0
596.96/597.28	c  596s |      16 |   221203 |   156252 |     7985     28 |        0 |        0
599.06/599.36	c  598s |      16 |   221804 |   156752 |     7985     28 |        0 |        0
601.66/601.95	c  601s |      16 |   222352 |   157252 |     7985     28 |        0 |        0
603.85/604.17	c  603s |      16 |   222907 |   157752 |     7985     28 |        0 |        0
606.15/606.48	c  606s |      16 |   223337 |   158152 |     7985     29 |        0 |        0
608.45/608.76	c  608s |      16 |   223890 |   158652 |     7985     29 |        0 |        0
610.65/610.96	c  610s |      16 |   224479 |   159152 |     7985     29 |        0 |        0
612.74/613.08	c  612s |      16 |   225032 |   159652 |     7985     29 |        0 |        0
615.04/615.31	c  614s |      16 |   225596 |   160152 |     7985     29 |        0 |        0
617.14/617.46	c  617s |      16 |   226162 |   160652 |     7985     29 |        0 |        0
619.34/619.61	c  619s |      16 |   226729 |   161152 |     7985     29 |        0 |        0
621.64/621.93	c  621s |      16 |   227305 |   161652 |     7985     29 |        0 |        0
624.13/624.40	c  624s |      16 |   227886 |   162152 |     7985     29 |        0 |        0
626.63/626.92	c  626s |      16 |   228471 |   162652 |     7985     29 |        0 |        0
628.74/629.00	c  628s |      16 |   228941 |   163052 |     7985     29 |        0 |        0
630.84/631.17	c  630s |      16 |   229391 |   163452 |     7985     29 |        0 |        0
633.13/633.42	c  633s |      16 |   229840 |   163852 |     7985     29 |        0 |        0
635.23/635.55	c  635s |      16 |   230297 |   164252 |     7985     29 |        0 |        0
637.33/637.66	c  637s |      16 |   230632 |   164552 |     7985     30 |        0 |        0
639.73/640.01	c  639s |      16 |   231207 |   165052 |     7985     30 |        0 |        0
641.92/642.27	c  641s |      16 |   231769 |   165552 |     7985     30 |        0 |        0
643.92/644.28	c  643s |      16 |   232233 |   165952 |     7985     30 |        0 |        0
646.02/646.33	c  645s |      16 |   232679 |   166352 |     7985     30 |        0 |        0
648.52/648.82	c  648s |      16 |   233293 |   166852 |     7985     30 |        0 |        0
650.92/651.26	c  650s |      16 |   233859 |   167352 |     7985     30 |        0 |        0
653.42/653.72	c  653s |      16 |   234427 |   167852 |     7985     30 |        0 |        0
655.82/656.17	c  655s |      16 |   235017 |   168352 |     7985     30 |        0 |        0
657.92/658.22	c  657s |      16 |   235473 |   168752 |     7985     30 |        0 |        0
660.32/660.68	c  660s |      16 |   236043 |   169252 |     7985     30 |        0 |        0
662.71/663.05	c  662s |      16 |   236486 |   169652 |     7985     30 |        0 |        0
665.11/665.45	c  665s |      16 |   236920 |   170052 |     7985     30 |        0 |        0
667.21/667.50	c  667s |      16 |   237388 |   170452 |     7985     30 |        0 |        0
669.51/669.83	c  669s |      16 |   237837 |   170852 |     7985     31 |        0 |        0
671.91/672.21	c  671s |      16 |   238522 |   171452 |     7985     31 |        0 |        0
674.01/674.33	c  673s |      16 |   239094 |   171952 |     7985     31 |        0 |        0
676.31/676.60	c  676s |      16 |   239685 |   172452 |     7985     31 |        0 |        0
678.30/678.66	c  678s |      16 |   240250 |   172952 |     7985     31 |        0 |        0
680.40/680.74	c  680s |      16 |   240813 |   173452 |     7985     31 |        0 |        0
682.69/683.08	c  682s |      16 |   241362 |   173952 |     7985     31 |        0 |        0
685.30/685.69	c  685s |      16 |   241907 |   174452 |     7985     31 |        0 |        0
687.60/687.96	c  687s |      16 |   242466 |   174952 |     7985     31 |        0 |        0
689.99/690.38	c  690s |      16 |   243048 |   175452 |     7985     31 |        0 |        0
691.99/692.38	c  692s |      16 |   243479 |   175852 |     7985     31 |        0 |        0
694.29/694.68	c  694s |      16 |   244058 |   176352 |     7985     31 |        0 |        0
696.39/696.73	c  696s |      16 |   244506 |   176752 |     7985     31 |        0 |        0
698.59/698.95	c  698s |      16 |   244845 |   177052 |     7985     32 |        0 |        0
701.19/701.56	c  701s |      16 |   245318 |   177452 |     7985     32 |        0 |        0
703.18/703.58	c  703s |      16 |   245880 |   177952 |     7985     32 |        0 |        0
705.28/705.64	c  705s |      16 |   246444 |   178452 |     7985     32 |        0 |        0
707.38/707.75	c  707s |      16 |   247018 |   178952 |     7985     32 |        0 |        0
709.78/710.19	c  709s |      16 |   247599 |   179452 |     7985     32 |        0 |        0
712.17/712.52	c  712s |      16 |   248180 |   179952 |     7985     32 |        0 |        0
714.37/714.78	c  714s |      16 |   248709 |   180452 |     7985     32 |        0 |        0
716.88/717.24	c  716s |      16 |   249265 |   180952 |     7985     32 |        0 |        0
719.18/719.51	c  719s |      16 |   249809 |   181452 |     7985     32 |        0 |        0
721.57/721.97	c  721s |      16 |   250364 |   181952 |     7985     32 |        0 |        0
723.98/724.35	c  723s |      16 |   250917 |   182452 |     7985     32 |        0 |        0
726.37/726.78	c  726s |      16 |   251456 |   182952 |     7985     32 |        0 |        0
728.47/728.84	c  728s |      16 |   251904 |   183352 |     7985     32 |        0 |        0
730.77/731.14	c  730s |      16 |   252364 |   183752 |     7985     33 |        0 |        0
733.26/733.62	c  733s |      16 |   252917 |   184252 |     7985     33 |        0 |        0
735.46/735.83	c  735s |      16 |   253484 |   184752 |     7985     33 |        0 |        0
737.66/738.09	c  737s |      16 |   254045 |   185252 |     7985     33 |        0 |        0
740.07/740.49	c  740s |      16 |   254608 |   185752 |     7985     33 |        0 |        0
742.26/742.63	c  742s |      16 |   255173 |   186252 |     7985     33 |        0 |        0
744.55/744.90	c  744s |      16 |   255723 |   186752 |     7985     33 |        0 |        0
746.57/746.99	c  746s |      16 |   256170 |   187152 |     7985     33 |        0 |        0
748.96/749.36	c  748s |      16 |   256743 |   187652 |     7985     33 |        0 |        0
751.26/751.66	c  751s |      16 |   257308 |   188152 |     7985     33 |        0 |        0
753.75/754.12	c  753s |      16 |   257853 |   188652 |     7985     33 |        0 |        0
755.75/756.16	c  755s |      16 |   258291 |   189052 |     7985     33 |        0 |        0
757.85/758.25	c  757s |      16 |   258732 |   189452 |     7985     33 |        0 |        0
760.75/761.15	c  760s |      16 |   259156 |   189852 |     7985     34 |        0 |        0
762.95/763.34	c  762s |      16 |   259591 |   190252 |     7985     34 |        0 |        0
764.95/765.39	c  765s |      16 |   260060 |   190652 |     7985     34 |        0 |        0
767.35/767.76	c  767s |      16 |   260596 |   191152 |     7985     34 |        0 |        0
769.75/770.11	c  769s |      16 |   261169 |   191652 |     7985     34 |        0 |        0
772.05/772.41	c  772s |      16 |   261700 |   192152 |     7985     34 |        0 |        0
774.05/774.48	c  774s |      16 |   262118 |   192552 |     7985     34 |        0 |        0
776.04/776.48	c  776s |      16 |   262548 |   192952 |     7985     34 |        0 |        0
778.14/778.56	c  778s |      16 |   262969 |   193352 |     7985     34 |        0 |        0
780.34/780.71	c  780s |      16 |   263417 |   193752 |     7985     34 |        0 |        0
782.54/782.91	c  782s |      16 |   263849 |   194152 |     7985     34 |        0 |        0
784.74/785.13	c  784s |      16 |   264304 |   194552 |     7985     34 |        0 |        0
787.25/787.64	c  787s |      16 |   264852 |   195052 |     7985     34 |        0 |        0
789.35/789.76	c  789s |      16 |   265271 |   195452 |     7985     34 |        0 |        0
791.55/791.90	c  791s |      16 |   265721 |   195852 |     7985     34 |        0 |        0
793.85/794.24	c  793s |      16 |   266163 |   196252 |     8784     34 |        0 |        0
796.24/796.69	c  796s |      16 |   266582 |   196652 |     8784     34 |        0 |        0
799.14/799.52	c  799s |      16 |   267019 |   197052 |     8784     35 |        0 |        0
801.14/801.52	c  801s |      17 |   267436 |   197432 |     8784     35 |        0 |        0
803.34/803.74	c  803s |      17 |   270174 |   198232 |     8784     35 |        0 |        0
805.44/805.82	c  805s |      17 |   270972 |   198932 |     8784     35 |        0 |        0
807.64/808.06	c  807s |      17 |   271874 |   199732 |     8784     35 |        0 |        0
809.74/810.18	c  809s |      17 |   272572 |   200332 |     8784     35 |        0 |        0
812.04/812.45	c  812s |      17 |   273381 |   201032 |     8784     35 |        0 |        0
814.24/814.64	c  814s |      17 |   274045 |   201632 |     8784     35 |        0 |        0
816.44/816.81	c  816s |      17 |   274614 |   202132 |     8784     35 |        0 |        0
818.74/819.10	c  818s |      17 |   275171 |   202632 |     8784     35 |        0 |        0
820.94/821.36	c  820s |      17 |   275741 |   203132 |     8784     35 |        0 |        0
823.24/823.69	c  823s |      17 |   276282 |   203632 |     8784     35 |        0 |        0
825.34/825.74	c  825s |      17 |   276734 |   204032 |     8784     36 |        0 |        0
827.53/827.96	c  827s |      17 |   277296 |   204532 |     8784     36 |        0 |        0
829.83/830.28	c  829s |      17 |   277853 |   205032 |     8784     36 |        0 |        0
832.23/832.63	c  832s |      17 |   278381 |   205532 |     8784     36 |        0 |        0
834.73/835.17	c  834s |      17 |   278926 |   206032 |     8784     36 |        0 |        0
837.13/837.52	c  837s |      17 |   279466 |   206532 |     8784     36 |        0 |        0
839.23/839.61	c  839s |      17 |   279908 |   206932 |     8784     36 |        0 |        0
841.64/842.01	c  841s |      17 |   280364 |   207332 |     8784     36 |        0 |        0
843.74/844.17	c  843s |      17 |   280805 |   207732 |     8784     36 |        0 |        0
845.93/846.35	c  845s |      17 |   281266 |   208132 |     8784     36 |        0 |        0
847.93/848.37	c  847s |      17 |   281713 |   208532 |     8784     36 |        0 |        0
850.33/850.73	c  850s |      17 |   282253 |   209032 |     8784     36 |        0 |        0
852.83/853.23	c  852s |      17 |   282805 |   209532 |     8784     36 |        0 |        0
855.03/855.44	c  855s |      17 |   283246 |   209932 |     8784     36 |        0 |        0
857.14/857.53	c  857s |      17 |   283675 |   210332 |     8784     36 |        0 |        0
860.64/861.02	c  860s |      17 |   284173 |   210732 |     8784     37 |        0 |        0
862.83/863.21	c  862s |      17 |   284753 |   211232 |     8784     37 |        0 |        0
865.13/865.57	c  865s |      17 |   285312 |   211732 |     8784     37 |        0 |        0
867.33/867.79	c  867s |      17 |   285903 |   212232 |     8784     37 |        0 |        0
869.43/869.80	c  869s |      17 |   286345 |   212632 |     8784     37 |        0 |        0
871.63/872.02	c  871s |      17 |   286789 |   213032 |     8784     37 |        0 |        0
873.93/874.32	c  873s |      17 |   287356 |   213532 |     8784     37 |        0 |        0
876.23/876.63	c  876s |      17 |   287940 |   214032 |     8784     37 |        0 |        0
878.53/878.97	c  878s |      17 |   288584 |   214532 |     8784     37 |        0 |        0
880.93/881.39	c  881s |      17 |   289051 |   214932 |     8784     37 |        0 |        0
883.53/883.96	c  883s |      17 |   289497 |   215332 |     8784     37 |        0 |        0
885.63/886.03	c  885s |      17 |   289935 |   215732 |     8784     37 |        0 |        0
887.83/888.29	c  887s |      17 |   290387 |   216132 |     8784     37 |        0 |        0
890.43/890.81	c  890s |      17 |   290837 |   216532 |     8784     37 |        0 |        0
893.03/893.41	c  893s |      17 |   291321 |   216932 |     8784     37 |        0 |        0
895.92/896.32	c  895s |      17 |   291742 |   217332 |     8784     38 |        0 |        0
898.33/898.73	c  898s |      17 |   292291 |   217832 |     8784     38 |        0 |        0
901.23/901.63	c  901s |      17 |   292828 |   218332 |     8784     38 |        0 |        0
903.23/903.68	c  903s |      17 |   293282 |   218732 |     8784     38 |        0 |        0
905.73/906.18	c  905s |      17 |   293814 |   219232 |     8784     38 |        0 |        0
907.93/908.31	c  907s |      17 |   294265 |   219632 |     8784     38 |        0 |        0
910.12/910.54	c  910s |      17 |   294702 |   220032 |     8784     38 |        0 |        0
912.63/913.07	c  912s |      17 |   295252 |   220532 |     8784     38 |        0 |        0
915.02/915.41	c  915s |      17 |   295694 |   220932 |     8784     38 |        0 |        0
917.33/917.72	c  917s |      17 |   296173 |   221332 |     8784     38 |        0 |        0
919.43/919.82	c  919s |      17 |   296625 |   221732 |     8784     38 |        0 |        0
921.63/922.00	c  921s |      17 |   297058 |   222132 |     8784     38 |        0 |        0
923.82/924.26	c  923s |      17 |   297520 |   222532 |     8784     38 |        0 |        0
926.32/926.72	c  926s |      17 |   297936 |   222932 |     8784     38 |        0 |        0
928.82/929.29	c  928s |      17 |   298363 |   223332 |     8784     38 |        0 |        0
931.22/931.63	c  931s |      17 |   298797 |   223732 |     8784     38 |        0 |        0
934.32/934.76	c  934s |      17 |   299248 |   224132 |     8784     39 |        0 |        0
936.42/936.81	c  936s |      17 |   299687 |   224532 |     8784     39 |        0 |        0
939.03/939.46	c  939s |      17 |   300218 |   225032 |     8784     39 |        0 |        0
941.43/941.84	c  941s |      17 |   300665 |   225432 |     8784     39 |        0 |        0
943.43/943.87	c  943s |      17 |   301258 |   225832 |     8784     39 |        0 |        0
945.63/946.07	c  945s |      17 |   301711 |   226232 |     8784     39 |        0 |        0
948.12/948.55	c  948s |      17 |   302319 |   226732 |     8784     39 |        0 |        0
950.42/950.90	c  950s |      17 |   302891 |   227232 |     8784     39 |        0 |        0
952.52/952.96	c  952s |      17 |   303333 |   227632 |     8784     39 |        0 |        0
954.72/955.14	c  954s |      17 |   303762 |   228032 |     8784     39 |        0 |        0
956.82/957.26	c  956s |      17 |   304192 |   228432 |     8784     39 |        0 |        0
958.83/959.28	c  958s |      17 |   304653 |   228832 |     8784     39 |        0 |        0
960.92/961.32	c  960s |      17 |   305096 |   229232 |     8784     39 |        0 |        0
963.12/963.59	c  963s |      17 |   305606 |   229632 |     8784     39 |        0 |        0
965.22/965.60	c  965s |      17 |   305929 |   229932 |     8784     39 |        0 |        0
967.72/968.14	c  967s |      17 |   306384 |   230332 |     8784     39 |        0 |        0
969.71/970.19	c  969s |      17 |   306845 |   230732 |     8784     39 |        0 |        0
971.91/972.39	c  972s |      17 |   307189 |   231032 |     8784     40 |        0 |        0
974.32/974.76	c  974s |      17 |   307738 |   231532 |     8784     40 |        0 |        0
976.71/977.16	c  976s |      17 |   308290 |   232032 |     8784     40 |        0 |        0
978.81/979.24	c  978s |      17 |   308728 |   232432 |     8784     40 |        0 |        0
981.21/981.64	c  981s |      17 |   309329 |   232932 |     8784     40 |        0 |        0
983.52/983.92	c  983s |      17 |   309892 |   233432 |     8784     40 |        0 |        0
985.82/986.21	c  985s |      17 |   310440 |   233932 |     8784     40 |        0 |        0
988.42/988.82	c  988s |      17 |   311001 |   234432 |     8784     40 |        0 |        0
990.82/991.28	c  990s |      17 |   311555 |   234932 |     8784     40 |        0 |        0
992.81/993.30	c  992s |      17 |   312001 |   235332 |     8784     40 |        0 |        0
995.01/995.43	c  995s |      17 |   312413 |   235732 |     8784     40 |        0 |        0
997.21/997.67	c  997s |      17 |   312821 |   236132 |     8784     40 |        0 |        0
999.41/999.82	c  999s |      17 |   313289 |   236532 |     8784     40 |        0 |        0
1001.51/1001.97	c 1001s |      17 |   313740 |   236932 |     8784     40 |        0 |        0
1003.81/1004.29	c 1003s |      17 |   314167 |   237332 |     8784     40 |        0 |        0
1006.12/1006.60	c 1006s |      17 |   314487 |   237632 |     8784     41 |        0 |        0
1008.32/1008.76	c 1008s |      17 |   314932 |   238032 |     8784     41 |        0 |        0
1010.71/1011.16	c 1010s |      17 |   315659 |   238632 |     8784     41 |        0 |        0
1012.81/1013.24	c 1012s |      17 |   316237 |   239132 |     8784     41 |        0 |        0
1014.91/1015.39	c 1015s |      17 |   316827 |   239632 |     8784     41 |        0 |        0
1017.41/1017.81	c 1017s |      17 |   317524 |   240232 |     8784     41 |        0 |        0
1019.51/1019.96	c 1019s |      17 |   318119 |   240732 |     8784     41 |        0 |        0
1021.52/1021.97	c 1021s |      17 |   318589 |   241132 |     8784     41 |        0 |        0
1023.81/1024.27	c 1023s |      17 |   319149 |   241632 |     8784     41 |        0 |        0
1026.11/1026.54	c 1026s |      17 |   319707 |   242132 |     8784     41 |        0 |        0
1028.51/1029.00	c 1028s |      17 |   320367 |   242632 |     8784     41 |        0 |        0
1030.71/1031.19	c 1030s |      17 |   320862 |   243032 |     8784     41 |        0 |        0
1033.21/1033.62	c 1033s |      17 |   321459 |   243532 |     8784     41 |        0 |        0
1035.30/1035.75	c 1035s |      17 |   321905 |   243932 |     8784     41 |        0 |        0
1037.40/1037.84	c 1037s |      17 |   322373 |   244332 |     8784     41 |        0 |        0
1039.60/1040.07	c 1039s |      17 |   322725 |   244632 |     8784     42 |        0 |        0
1041.61/1042.08	c 1041s |      17 |   323170 |   245032 |     8784     42 |        0 |        0
1044.01/1044.42	c 1044s |      17 |   323765 |   245532 |     8784     42 |        0 |        0
1046.01/1046.46	c 1046s |      17 |   324207 |   245932 |     8784     42 |        0 |        0
1048.11/1048.55	c 1048s |      17 |   324656 |   246332 |     8784     42 |        0 |        0
1050.50/1050.94	c 1050s |      17 |   325259 |   246832 |     8784     42 |        0 |        0
1052.80/1053.28	c 1052s |      17 |   325809 |   247332 |     8784     42 |        0 |        0
1055.40/1055.89	c 1055s |      17 |   326375 |   247832 |     8784     42 |        0 |        0
1057.60/1058.05	c 1057s |      17 |   326818 |   248232 |     8784     42 |        0 |        0
1059.91/1060.32	c 1059s |      17 |   327333 |   248632 |     8784     42 |        0 |        0
1061.91/1062.39	c 1062s |      17 |   327814 |   249032 |     8784     42 |        0 |        0
1064.00/1064.42	c 1064s |      17 |   328262 |   249432 |     8784     42 |        0 |        0
1066.20/1066.65	c 1066s |      17 |   328710 |   249832 |     8784     42 |        0 |        0
1068.50/1068.97	c 1068s |      17 |   329150 |   250232 |     8784     42 |        0 |        0
1070.90/1071.35	c 1070s |      17 |   329601 |   250632 |     8784     42 |        0 |        0
1073.30/1073.77	c 1073s |      17 |   330063 |   251032 |     8784     42 |        0 |        0
1075.60/1076.09	c 1075s |      17 |   330406 |   251332 |     8784     43 |        0 |        0
1077.80/1078.21	c 1077s |      17 |   330851 |   251732 |     8784     43 |        0 |        0
1079.80/1080.25	c 1079s |      17 |   331312 |   252132 |     8784     43 |        0 |        0
1082.00/1082.50	c 1082s |      17 |   331757 |   252532 |     8784     43 |        0 |        0
1084.49/1084.98	c 1084s |      17 |   332233 |   252932 |     8784     43 |        0 |        0
1086.70/1087.17	c 1086s |      17 |   332798 |   253432 |     8784     43 |        0 |        0
1088.80/1089.28	c 1088s |      17 |   333251 |   253832 |     8784     43 |        0 |        0
1091.10/1091.50	c 1091s |      17 |   333684 |   254232 |     8784     43 |        0 |        0
1093.40/1093.87	c 1093s |      17 |   334150 |   254632 |     8784     43 |        0 |        0
1096.00/1096.48	c 1096s |      17 |   334611 |   255032 |     8784     43 |        0 |        0
1098.30/1098.71	c 1098s |      17 |   335112 |   255432 |     8784     43 |        0 |        0
1100.29/1100.77	c 1100s |      17 |   335574 |   255832 |     8784     43 |        0 |        0
1102.80/1103.27	c 1102s |      17 |   335995 |   256232 |     8784     43 |        0 |        0
1105.40/1105.87	c 1105s |      17 |   336446 |   256632 |     8784     43 |        0 |        0
1107.40/1107.88	c 1107s |      17 |   336801 |   256932 |     8784     43 |        0 |        0
1109.79/1110.27	c 1109s |      17 |   337247 |   257332 |     8784     43 |        0 |        0
1112.09/1112.59	c 1112s |      17 |   337683 |   257732 |     8784     43 |        0 |        0
1114.39/1114.80	c 1114s |      17 |   337902 |   257932 |     8784     44 |        0 |        0
1116.49/1116.94	c 1116s |      17 |   338336 |   258332 |     8784     44 |        0 |        0
1118.89/1119.35	c 1118s |      17 |   338910 |   258832 |     8784     44 |        0 |        0
1121.30/1121.79	c 1121s |      17 |   339374 |   259232 |     8784     44 |        0 |        0
1123.40/1123.80	c 1123s |      17 |   339849 |   259632 |     8784     44 |        0 |        0
1125.39/1125.89	c 1125s |      17 |   340305 |   260032 |     8784     44 |        0 |        0
1127.59/1128.05	c 1127s |      17 |   340734 |   260432 |     8784     44 |        0 |        0
1129.99/1130.47	c 1130s |      17 |   341195 |   260832 |     8784     44 |        0 |        0
1132.19/1132.66	c 1132s |      17 |   341621 |   261232 |     8784     44 |        0 |        0
1134.49/1134.96	c 1134s |      17 |   342061 |   261632 |     8784     44 |        0 |        0
1137.00/1137.48	c 1137s |      17 |   342486 |   262032 |     8784     44 |        0 |        0
1139.79/1140.20	c 1139s |      17 |   342927 |   262432 |     8784     44 |        0 |        0
1141.99/1142.41	c 1142s |      17 |   343366 |   262832 |     8784     44 |        0 |        0
1144.39/1144.82	c 1144s |      17 |   343816 |   263232 |     8784     44 |        0 |        0
1146.69/1147.18	c 1146s |      17 |   344246 |   263632 |     8784     44 |        0 |        0
1149.10/1149.58	c 1149s |      17 |   344691 |   264032 |     8784     44 |        0 |        0
1151.69/1152.14	c 1151s |      17 |   345122 |   264432 |     8784     44 |        0 |        0
1154.09/1154.50	c 1154s |      17 |   345457 |   264732 |     8784     45 |        0 |        0
1156.18/1156.64	c 1156s |      17 |   345900 |   265132 |     8784     45 |        0 |        0
1158.38/1158.87	c 1158s |      17 |   346335 |   265532 |     8784     45 |        0 |        0
1160.78/1161.21	c 1160s |      17 |   346784 |   265932 |     8784     45 |        0 |        0
1162.89/1163.30	c 1162s |      17 |   347250 |   266332 |     8784     45 |        0 |        0
1164.89/1165.35	c 1164s |      17 |   347677 |   266732 |     8784     45 |        0 |        0
1167.29/1167.76	c 1167s |      17 |   348241 |   267232 |     8784     45 |        0 |        0
1169.68/1170.18	c 1169s |      17 |   348802 |   267732 |     8784     45 |        0 |        0
1171.98/1172.40	c 1172s |      17 |   349355 |   268232 |     8784     45 |        0 |        0
1173.98/1174.47	c 1174s |      17 |   349778 |   268632 |     8784     45 |        0 |        0
1176.19/1176.69	c 1176s |      17 |   350206 |   269032 |     8784     45 |        0 |        0
1178.28/1178.76	c 1178s |      17 |   350525 |   269332 |     8784     45 |        0 |        0
1180.78/1181.20	c 1180s |      17 |   350952 |   269732 |     8784     45 |        0 |        0
1182.88/1183.39	c 1183s |      17 |   351388 |   270132 |     8784     45 |        0 |        0
1185.38/1185.87	c 1185s |      17 |   351812 |   270532 |     8784     45 |        0 |        0
1187.89/1188.30	c 1187s |      17 |   352220 |   270932 |     8784     45 |        0 |        0
1190.49/1190.94	c 1190s |      17 |   352677 |   271332 |     8784     45 |        0 |        0
1192.69/1193.13	c 1192s |      17 |   352897 |   271532 |     8784     46 |        0 |        0
1194.88/1195.32	c 1194s |      17 |   353464 |   272032 |     8784     46 |        0 |        0
1196.98/1197.46	c 1197s |      17 |   354010 |   272532 |     8784     46 |        0 |        0
1199.28/1199.77	c 1199s |      17 |   354559 |   273032 |     8784     46 |        0 |        0
1201.58/1202.02	c 1201s |      17 |   354997 |   273432 |     8784     46 |        0 |        0
1203.98/1204.50	c 1204s |      17 |   355420 |   273832 |     8784     46 |        0 |        0
1206.38/1206.83	c 1206s |      17 |   355851 |   274232 |     8784     46 |        0 |        0
1208.68/1209.19	c 1208s |      17 |   356275 |   274632 |     8784     46 |        0 |        0
1210.98/1211.45	c 1211s |      17 |   356730 |   275032 |     8784     46 |        0 |        0
1213.08/1213.52	c 1213s |      17 |   357155 |   275432 |     8784     46 |        0 |        0
1215.38/1215.82	c 1215s |      17 |   357607 |   275832 |     8784     46 |        0 |        0
1217.88/1218.38	c 1218s |      17 |   358039 |   276232 |     8784     46 |        0 |        0
1220.38/1220.83	c 1220s |      17 |   358464 |   276632 |     8784     46 |        0 |        0
1222.58/1223.08	c 1222s |      17 |   358927 |   277032 |     8784     46 |        0 |        0
1224.67/1225.19	c 1224s |      17 |   359351 |   277432 |     8784     46 |        0 |        0
1227.18/1227.68	c 1227s |      17 |   359908 |   277932 |     8784     46 |        0 |        0
1229.78/1230.29	c 1229s |      17 |   360241 |   278232 |     8784     47 |        0 |        0
1231.88/1232.35	c 1231s |      17 |   360675 |   278632 |     8784     47 |        0 |        0
1233.98/1234.40	c 1234s |      17 |   361096 |   279032 |     8784     47 |        0 |        0
1236.18/1236.60	c 1236s |      17 |   361528 |   279432 |     8784     47 |        0 |        0
1238.18/1238.68	c 1238s |      17 |   361939 |   279832 |     8784     47 |        0 |        0
1240.38/1240.84	c 1240s |      17 |   362375 |   280232 |     8784     47 |        0 |        0
1242.37/1242.87	c 1242s |      17 |   362876 |   280632 |     8784     47 |        0 |        0
1244.47/1244.98	c 1244s |      17 |   363371 |   281032 |     8784     47 |        0 |        0
1246.77/1247.25	c 1246s |      17 |   363795 |   281432 |     8784     47 |        0 |        0
1249.07/1249.51	c 1249s |      17 |   364234 |   281832 |     8784     47 |        0 |        0
1251.28/1251.71	c 1251s |      17 |   364685 |   282232 |     8784     47 |        0 |        0
1253.28/1253.75	c 1253s |      17 |   365144 |   282632 |     8784     47 |        0 |        0
1255.58/1256.07	c 1255s |      17 |   365587 |   283032 |     8784     47 |        0 |        0
1257.67/1258.12	c 1257s |      17 |   366022 |   283432 |     8784     47 |        0 |        0
1259.77/1260.24	c 1259s |      17 |   366549 |   283832 |     8784     47 |        0 |        0
1262.17/1262.63	c 1262s |      17 |   367010 |   284232 |     8784     47 |        0 |        0
1264.58/1265.06	c 1264s |      17 |   367476 |   284632 |     8784     47 |        0 |        0
1266.67/1267.18	c 1266s |      17 |   367845 |   284932 |     8784     47 |        0 |        0
1269.08/1269.52	c 1269s |      17 |   368169 |   285232 |     8784     48 |        0 |        0
1271.28/1271.72	c 1271s |      17 |   368701 |   285732 |     8784     48 |        0 |        0
1273.27/1273.77	c 1273s |      17 |   369134 |   286132 |     8784     48 |        0 |        0
1275.47/1275.94	c 1275s |      17 |   369577 |   286532 |     8784     48 |        0 |        0
1277.67/1278.11	c 1277s |      17 |   370028 |   286932 |     8784     48 |        0 |        0
1279.86/1280.32	c 1279s |      17 |   370460 |   287332 |     8784     48 |        0 |        0
1281.97/1282.48	c 1282s |      17 |   370931 |   287732 |     8784     48 |        0 |        0
1284.07/1284.52	c 1284s |      17 |   371501 |   288232 |     8784     48 |        0 |        0
1286.17/1286.61	c 1286s |      17 |   372060 |   288732 |     8784     48 |        0 |        0
1288.17/1288.64	c 1288s |      17 |   372491 |   289132 |     8784     48 |        0 |        0
1290.17/1290.65	c 1290s |      17 |   372931 |   289532 |     8784     48 |        0 |        0
1292.77/1293.26	c 1292s |      17 |   373352 |   289932 |     8784     48 |        0 |        0
1295.07/1295.60	c 1295s |      17 |   373780 |   290332 |     8784     48 |        0 |        0
1297.47/1297.97	c 1297s |      17 |   374204 |   290732 |     8784     48 |        0 |        0
1300.17/1300.68	c 1300s |      17 |   374640 |   291132 |     8784     48 |        0 |        0
1302.36/1302.84	c 1302s |      17 |   374984 |   291432 |     8784     48 |        0 |        0
1305.86/1306.37	c 1306s |      17 |   375409 |   291832 |     8784     49 |        0 |        0
1308.16/1308.63	c 1308s |      17 |   375982 |   292332 |     8784     49 |        0 |        0
1310.26/1310.74	c 1310s |      17 |   376550 |   292832 |     8784     49 |        0 |        0
1312.36/1312.82	c 1312s |      17 |   377003 |   293232 |     8784     49 |        0 |        0
1314.47/1314.92	c 1314s |      17 |   377451 |   293632 |     8784     49 |        0 |        0
1316.57/1317.09	c 1316s |      17 |   377899 |   294032 |     8784     49 |        0 |        0
1318.67/1319.13	c 1318s |      17 |   378344 |   294432 |     9663     49 |        0 |        0
1320.77/1321.29	c 1320s |      17 |   378797 |   294832 |     9663     49 |        0 |        0
1322.97/1323.44	c 1323s |      17 |   379290 |   295232 |     9663     49 |        0 |        0
1325.36/1325.86	c 1325s |      17 |   379768 |   295632 |     9663     49 |        0 |        0
1327.56/1328.08	c 1327s |      17 |   380265 |   296032 |     9663     49 |        0 |        0
1328.86/1329.39	c 1329s |      18 |   380530 |   296252 |     9663     49 |        0 |        0
1331.06/1331.51	c 1331s |      18 |   383916 |   296552 |     9663     50 |        0 |        0
1333.16/1333.67	c 1333s |      18 |   384820 |   297352 |     9663     50 |        0 |        0
1335.27/1335.75	c 1335s |      18 |   385659 |   298052 |     9663     50 |        0 |        0
1337.46/1337.90	c 1337s |      18 |   386381 |   298652 |     9663     50 |        0 |        0
1339.56/1340.01	c 1339s |      18 |   386929 |   299152 |     9663     50 |        0 |        0
1341.76/1342.29	c 1341s |      18 |   387614 |   299752 |     9663     50 |        0 |        0
1344.16/1344.69	c 1344s |      18 |   388284 |   300352 |     9663     50 |        0 |        0
1346.26/1346.73	c 1346s |      18 |   388869 |   300852 |     9663     50 |        0 |        0
1348.27/1348.77	c 1348s |      18 |   389421 |   301352 |     9663     50 |        0 |        0
1350.46/1350.99	c 1350s |      18 |   389989 |   301852 |     9663     50 |        0 |        0
1352.86/1353.31	c 1352s |      18 |   390538 |   302352 |     9663     50 |        0 |        0
1355.25/1355.70	c 1355s |      18 |   391094 |   302852 |     9663     50 |        0 |        0
1357.55/1358.02	c 1357s |      18 |   391643 |   303352 |     9663     50 |        0 |        0
1359.76/1360.29	c 1359s |      18 |   392212 |   303852 |     9663     50 |        0 |        0
1362.06/1362.54	c 1362s |      18 |   392753 |   304352 |     9663     50 |        0 |        0
1364.56/1365.01	c 1364s |      18 |   393327 |   304852 |     9663     50 |        0 |        0
1367.26/1367.72	c 1367s |      18 |   393777 |   305252 |     9663     51 |        0 |        0
1369.56/1370.03	c 1369s |      18 |   394219 |   305652 |     9663     51 |        0 |        0
1371.56/1372.05	c 1371s |      18 |   394656 |   306052 |     9663     51 |        0 |        0
1373.86/1374.34	c 1373s |      18 |   395114 |   306452 |     9663     51 |        0 |        0
1376.35/1376.81	c 1376s |      18 |   395543 |   306852 |     9663     51 |        0 |        0
1378.75/1379.29	c 1378s |      18 |   395989 |   307252 |     9663     51 |        0 |        0
1380.85/1381.32	c 1380s |      18 |   396325 |   307552 |     9663     51 |        0 |        0
1383.36/1383.90	c 1383s |      18 |   396768 |   307952 |     9663     51 |        0 |        0
1385.95/1386.43	c 1386s |      18 |   397254 |   308352 |     9663     51 |        0 |        0
1388.05/1388.54	c 1388s |      18 |   397598 |   308652 |     9663     51 |        0 |        0
1390.65/1391.17	c 1390s |      18 |   398026 |   309052 |     9663     51 |        0 |        0
1393.26/1393.74	c 1393s |      18 |   398479 |   309452 |     9663     51 |        0 |        0
1395.36/1395.82	c 1395s |      18 |   398804 |   309752 |     9663     51 |        0 |        0
1397.36/1397.85	c 1397s |      18 |   399134 |   310052 |     9663     51 |        0 |        0
1399.86/1400.31	c 1399s |      18 |   399594 |   310452 |     9663     51 |        0 |        0
1402.35/1402.86	c 1402s |      18 |   400046 |   310852 |     9663     51 |        0 |        0
1404.45/1404.99	c 1404s |      18 |   400363 |   311152 |     9663     51 |        0 |        0
1407.15/1407.62	c 1407s |      18 |   400816 |   311552 |     9663     51 |        0 |        0
1409.65/1410.14	c 1409s |      18 |   401258 |   311952 |     9663     51 |        0 |        0
1412.25/1412.73	c 1412s |      18 |   401704 |   312352 |     9663     51 |        0 |        0
1414.75/1415.24	c 1414s |      18 |   402052 |   312652 |     9663     52 |        0 |        0
1416.95/1417.48	c 1417s |      18 |   402504 |   313052 |     9663     52 |        0 |        0
1419.24/1419.76	c 1419s |      18 |   402925 |   313452 |     9663     52 |        0 |        0
1421.65/1422.14	c 1421s |      18 |   403370 |   313852 |     9663     52 |        0 |        0
1423.95/1424.48	c 1424s |      18 |   403810 |   314252 |     9663     52 |        0 |        0
1426.35/1426.85	c 1426s |      18 |   404239 |   314652 |     9663     52 |        0 |        0
1428.45/1429.00	c 1428s |      18 |   404583 |   314952 |     9663     52 |        0 |        0
1430.94/1431.46	c 1431s |      18 |   405021 |   315352 |     9663     52 |        0 |        0
1433.54/1434.01	c 1433s |      18 |   405455 |   315752 |     9663     52 |        0 |        0
1435.64/1436.12	c 1435s |      18 |   405792 |   316052 |     9663     52 |        0 |        0
1437.65/1438.12	c 1437s |      18 |   406106 |   316352 |     9663     52 |        0 |        0
1440.15/1440.67	c 1440s |      18 |   406548 |   316752 |     9663     52 |        0 |        0
1442.85/1443.39	c 1443s |      18 |   406993 |   317152 |     9663     52 |        0 |        0
1445.34/1445.88	c 1445s |      18 |   407427 |   317552 |     9663     52 |        0 |        0
1447.84/1448.32	c 1447s |      18 |   407883 |   317952 |     9663     52 |        0 |        0
1450.24/1450.76	c 1450s |      18 |   408334 |   318352 |     9663     52 |        0 |        0
1452.75/1453.28	c 1452s |      18 |   408773 |   318752 |     9663     52 |        0 |        0
1455.44/1455.94	c 1455s |      18 |   409193 |   319152 |     9663     52 |        0 |        0
1457.84/1458.34	c 1457s |      18 |   409639 |   319552 |     9663     52 |        0 |        0
1460.14/1460.62	c 1460s |      18 |   409845 |   319752 |     9663     53 |        0 |        0
1462.44/1462.93	c 1462s |      18 |   410287 |   320152 |     9663     53 |        0 |        0
1464.75/1465.24	c 1464s |      18 |   410734 |   320552 |     9663     53 |        0 |        0
1466.74/1467.28	c 1466s |      18 |   411087 |   320852 |     9663     53 |        0 |        0
1469.25/1469.73	c 1469s |      18 |   411666 |   321352 |     9663     53 |        0 |        0
1471.35/1471.81	c 1471s |      18 |   412117 |   321752 |     9663     53 |        0 |        0
1473.65/1474.14	c 1473s |      18 |   412555 |   322152 |     9663     53 |        0 |        0
1475.94/1476.45	c 1476s |      18 |   413013 |   322552 |     9663     53 |        0 |        0
1478.14/1478.65	c 1478s |      18 |   413451 |   322952 |     9663     53 |        0 |        0
1480.34/1480.80	c 1480s |      18 |   413890 |   323352 |     9663     53 |        0 |        0
1482.63/1483.18	c 1482s |      18 |   414351 |   323752 |     9663     53 |        0 |        0
1485.23/1485.71	c 1485s |      18 |   414784 |   324152 |     9663     53 |        0 |        0
1487.63/1488.11	c 1487s |      18 |   415212 |   324552 |     9663     53 |        0 |        0
1490.23/1490.71	c 1490s |      18 |   415643 |   324952 |     9663     53 |        0 |        0
1492.64/1493.19	c 1492s |      18 |   416086 |   325352 |     9663     53 |        0 |        0
1495.24/1495.77	c 1495s |      18 |   416501 |   325752 |     9663     53 |        0 |        0
1497.24/1497.79	c 1497s |      18 |   416810 |   326052 |     9663     53 |        0 |        0
1499.34/1499.81	c 1499s |      18 |   417150 |   326352 |     9663     53 |        0 |        0
1501.33/1501.88	c 1501s |      18 |   417468 |   326652 |     9663     53 |        0 |        0
1504.13/1504.64	c 1504s |      18 |   417779 |   326952 |     9663     54 |        0 |        0
1506.54/1507.10	c 1506s |      18 |   418122 |   327252 |     9663     54 |        0 |        0
1508.84/1509.37	c 1509s |      18 |   418567 |   327652 |     9663     54 |        0 |        0
1511.34/1511.88	c 1511s |      18 |   419006 |   328052 |     9663     54 |        0 |        0
1513.94/1514.49	c 1514s |      18 |   419441 |   328452 |     9663     54 |        0 |        0
1516.03/1516.50	c 1516s |      18 |   419777 |   328752 |     9663     54 |        0 |        0
1518.53/1519.02	c 1518s |      18 |   420226 |   329152 |     9663     54 |        0 |        0
1521.03/1521.58	c 1521s |      18 |   420660 |   329552 |     9663     54 |        0 |        0
1523.74/1524.29	c 1523s |      18 |   421107 |   329952 |     9663     54 |        0 |        0
1525.83/1526.38	c 1526s |      18 |   421440 |   330252 |     9663     54 |        0 |        0
1528.03/1528.56	c 1528s |      18 |   421763 |   330552 |     9663     54 |        0 |        0
1530.23/1530.74	c 1530s |      18 |   422090 |   330852 |     9663     54 |        0 |        0
1532.63/1533.10	c 1532s |      18 |   422411 |   331152 |     9663     54 |        0 |        0
1535.03/1535.54	c 1535s |      18 |   422731 |   331452 |     9663     54 |        0 |        0
1537.53/1538.02	c 1537s |      18 |   423064 |   331752 |     9663     54 |        0 |        0
1539.83/1540.36	c 1539s |      18 |   423377 |   332052 |     9663     54 |        0 |        0
1542.43/1542.91	c 1542s |      18 |   423712 |   332352 |     9663     54 |        0 |        0
1544.63/1545.14	c 1544s |      18 |   424025 |   332652 |     9663     54 |        0 |        0
1547.24/1547.78	c 1547s |      18 |   424362 |   332952 |     9663     54 |        0 |        0
1549.83/1550.37	c 1549s |      18 |   424692 |   333252 |     9663     54 |        0 |        0
1552.43/1552.91	c 1552s |      18 |   425025 |   333552 |     9663     54 |        0 |        0
1555.33/1555.82	c 1555s |      18 |   425359 |   333852 |     9663     54 |        0 |        0
1559.03/1559.55	c 1559s |      18 |   425685 |   334152 |     9663     55 |        0 |        0
1561.63/1562.13	c 1561s |      18 |   426129 |   334552 |     9663     55 |        0 |        0
1564.03/1564.57	c 1564s |      18 |   426469 |   334852 |     9663     55 |        0 |        0
1566.22/1566.71	c 1566s |      18 |   426781 |   335152 |     9663     55 |        0 |        0
1568.52/1569.00	c 1568s |      18 |   427104 |   335452 |     9663     55 |        0 |        0
1570.92/1571.42	c 1571s |      18 |   427433 |   335752 |     9663     55 |        0 |        0
1573.42/1573.91	c 1573s |      18 |   427753 |   336052 |     9663     55 |        0 |        0
1575.94/1576.44	c 1576s |      18 |   428087 |   336352 |     9663     55 |        0 |        0
1578.33/1578.88	c 1578s |      18 |   428412 |   336652 |     9663     55 |        0 |        0
1580.92/1581.46	c 1581s |      18 |   428755 |   336952 |     9663     55 |        0 |        0
1583.22/1583.71	c 1583s |      18 |   429325 |   337452 |     9663     55 |        0 |        0
1585.22/1585.73	c 1585s |      18 |   429773 |   337852 |     9663     55 |        0 |        0
1587.32/1587.85	c 1587s |      18 |   430205 |   338252 |     9663     55 |        0 |        0
1589.52/1590.03	c 1589s |      18 |   430647 |   338652 |     9663     55 |        0 |        0
1591.92/1592.46	c 1592s |      18 |   431082 |   339052 |     9663     55 |        0 |        0
1594.42/1594.90	c 1594s |      18 |   431524 |   339452 |     9663     55 |        0 |        0
1596.72/1597.28	c 1596s |      18 |   432062 |   339952 |     9663     55 |        0 |        0
1599.22/1599.79	c 1599s |      18 |   432599 |   340452 |     9663     55 |        0 |        0
1601.42/1601.91	c 1601s |      18 |   433027 |   340852 |     9663     55 |        0 |        0
1603.62/1604.16	c 1603s |      18 |   433436 |   341252 |     9663     55 |        0 |        0
1605.63/1606.18	c 1605s |      18 |   433655 |   341452 |     9663     56 |        0 |        0
1607.92/1608.49	c 1608s |      18 |   434222 |   341952 |     9663     56 |        0 |        0
1610.42/1610.92	c 1610s |      18 |   434772 |   342452 |     9663     56 |        0 |        0
1612.42/1612.96	c 1612s |      18 |   435203 |   342852 |     9663     56 |        0 |        0
1614.42/1614.96	c 1614s |      18 |   435632 |   343252 |     9663     56 |        0 |        0
1616.92/1617.48	c 1617s |      18 |   436181 |   343752 |     9663     56 |        0 |        0
1619.22/1619.72	c 1619s |      18 |   436603 |   344152 |     9663     56 |        0 |        0
1621.31/1621.89	c 1621s |      18 |   437047 |   344552 |     9663     56 |        0 |        0
1623.81/1624.30	c 1623s |      18 |   437473 |   344952 |     9663     56 |        0 |        0
1626.11/1626.68	c 1626s |      18 |   437918 |   345352 |     9663     56 |        0 |        0
1628.62/1629.16	c 1628s |      18 |   438335 |   345752 |     9663     56 |        0 |        0
1631.12/1631.69	c 1631s |      18 |   438738 |   346152 |     9663     56 |        0 |        0
1633.32/1633.83	c 1633s |      18 |   439067 |   346452 |     9663     56 |        0 |        0
1635.42/1635.96	c 1635s |      18 |   439394 |   346752 |     9663     56 |        0 |        0
1638.02/1638.56	c 1638s |      18 |   439725 |   347052 |     9663     56 |        0 |        0
1640.11/1640.68	c 1640s |      18 |   440196 |   347452 |     9663     56 |        0 |        0
1642.61/1643.12	c 1642s |      18 |   440647 |   347852 |     9663     56 |        0 |        0
1645.12/1645.62	c 1645s |      18 |   441078 |   348252 |     9663     56 |        0 |        0
1648.01/1648.53	c 1648s |      18 |   441499 |   348652 |     9663     57 |        0 |        0
1650.11/1650.68	c 1650s |      18 |   441943 |   349052 |     9663     57 |        0 |        0
1652.31/1652.81	c 1652s |      18 |   442381 |   349452 |     9663     57 |        0 |        0
1654.41/1654.90	c 1654s |      18 |   442832 |   349852 |     9663     57 |        0 |        0
1656.52/1657.07	c 1656s |      18 |   443280 |   350252 |     9663     57 |        0 |        0
1659.01/1659.56	c 1659s |      18 |   443618 |   350552 |     9663     57 |        0 |        0
1661.51/1662.06	c 1661s |      18 |   444166 |   351052 |     9663     57 |        0 |        0
1664.01/1664.55	c 1664s |      18 |   444739 |   351552 |     9663     57 |        0 |        0
1666.12/1666.61	c 1666s |      18 |   445172 |   351952 |     9663     57 |        0 |        0
1668.71/1669.22	c 1668s |      18 |   445732 |   352452 |     9663     57 |        0 |        0
1670.81/1671.30	c 1670s |      18 |   446182 |   352852 |     9663     57 |        0 |        0
1672.91/1673.46	c 1673s |      18 |   446622 |   353252 |     9663     57 |        0 |        0
1675.01/1675.57	c 1675s |      18 |   447073 |   353652 |     9663     57 |        0 |        0
1677.31/1677.80	c 1677s |      18 |   447514 |   354052 |     9663     57 |        0 |        0
1679.40/1679.98	c 1679s |      18 |   447949 |   354452 |     9663     57 |        0 |        0
1682.00/1682.54	c 1682s |      18 |   448365 |   354852 |     9663     57 |        0 |        0
1684.40/1684.91	c 1684s |      18 |   448823 |   355252 |     9663     57 |        0 |        0
1686.41/1686.97	c 1686s |      18 |   449145 |   355552 |     9663     57 |        0 |        0
1689.22/1689.75	c 1689s |      18 |   449466 |   355852 |     9663     58 |        0 |        0
1691.42/1691.96	c 1691s |      18 |   449890 |   356252 |     9663     58 |        0 |        0
1693.61/1694.16	c 1693s |      18 |   450318 |   356652 |     9663     58 |        0 |        0
1696.01/1696.54	c 1696s |      18 |   450741 |   357052 |     9663     58 |        0 |        0
1698.30/1698.86	c 1698s |      18 |   451171 |   357452 |     9663     58 |        0 |        0
1700.70/1701.22	c 1700s |      18 |   451599 |   357852 |     9663     58 |        0 |        0
1703.30/1703.85	c 1703s |      18 |   452044 |   358252 |     9663     58 |        0 |        0
1706.01/1706.50	c 1706s |      18 |   452469 |   358652 |     9663     58 |        0 |        0
1708.51/1709.04	c 1708s |      18 |   452877 |   359052 |     9663     58 |        0 |        0
1710.61/1711.11	c 1710s |      18 |   453195 |   359352 |     9663     58 |        0 |        0
1712.70/1713.28	c 1712s |      18 |   453520 |   359652 |     9663     58 |        0 |        0
1714.90/1715.48	c 1715s |      18 |   453824 |   359952 |     9663     58 |        0 |        0
1717.10/1717.62	c 1717s |      18 |   454131 |   360252 |     9663     58 |        0 |        0
1719.50/1720.05	c 1719s |      18 |   454574 |   360652 |     9663     58 |        0 |        0
1721.90/1722.41	c 1722s |      18 |   455010 |   361052 |     9663     58 |        0 |        0
1724.20/1724.71	c 1724s |      18 |   455428 |   361452 |     9663     58 |        0 |        0
1726.51/1727.07	c 1726s |      18 |   455868 |   361852 |     9663     58 |        0 |        0
1728.80/1729.30	c 1728s |      18 |   456297 |   362252 |     9663     58 |        0 |        0
1731.20/1731.73	c 1731s |      18 |   456726 |   362652 |     9663     58 |        0 |        0
1733.70/1734.22	c 1733s |      18 |   457165 |   363052 |     9663     58 |        0 |        0
1736.20/1736.73	c 1736s |      18 |   457483 |   363352 |     9663     59 |        0 |        0
1738.40/1738.92	c 1738s |      18 |   457912 |   363752 |     9663     59 |        0 |        0
1740.60/1741.10	c 1740s |      18 |   458347 |   364152 |     9663     59 |        0 |        0
1742.90/1743.47	c 1743s |      18 |   458766 |   364552 |     9663     59 |        0 |        0
1745.21/1745.78	c 1745s |      18 |   459179 |   364952 |     9663     59 |        0 |        0
1747.70/1748.20	c 1747s |      18 |   459613 |   365352 |     9663     59 |        0 |        0
1749.90/1750.49	c 1750s |      18 |   460046 |   365752 |     9663     59 |        0 |        0
1752.59/1753.10	c 1752s |      18 |   460475 |   366152 |     9663     59 |        0 |        0
1754.60/1755.18	c 1754s |      18 |   460802 |   366452 |     9663     59 |        0 |        0
1757.10/1757.62	c 1757s |      18 |   461238 |   366852 |     9663     59 |        0 |        0
1759.70/1760.29	c 1759s |      18 |   461661 |   367252 |     9663     59 |        0 |        0
1761.90/1762.40	c 1762s |      18 |   461986 |   367552 |     9663     59 |        0 |        0
1763.90/1764.48	c 1764s |      18 |   462310 |   367852 |     9663     59 |        0 |        0
1766.30/1766.83	c 1766s |      18 |   462750 |   368252 |     9663     59 |        0 |        0
1768.69/1769.21	c 1768s |      18 |   463170 |   368652 |     9663     59 |        0 |        0
1771.09/1771.60	c 1771s |      18 |   463617 |   369052 |     9663     59 |        0 |        0
1773.59/1774.14	c 1773s |      18 |   464053 |   369452 |     9663     59 |        0 |        0
1775.69/1776.22	c 1775s |      18 |   464529 |   369852 |     9663     59 |        0 |        0
1777.90/1778.47	c 1778s |      18 |   464989 |   370252 |     9663     59 |        0 |        0
1780.30/1780.86	c 1780s |      18 |   465319 |   370552 |     9663     60 |        0 |        0
1782.70/1783.24	c 1782s |      18 |   465859 |   371052 |     9663     60 |        0 |        0
1785.09/1785.66	c 1785s |      18 |   466420 |   371552 |     9663     60 |        0 |        0
1787.49/1788.09	c 1787s |      18 |   466964 |   372052 |     9663     60 |        0 |        0
1789.69/1790.26	c 1789s |      18 |   467391 |   372452 |     9663     60 |        0 |        0
1792.09/1792.68	c 1792s |      18 |   467866 |   372852 |     9663     60 |        0 |        0
1794.39/1794.99	c 1794s |      18 |   468307 |   373252 |     9663     60 |        0 |        0
1796.69/1797.24	c 1796s |      18 |   468734 |   373652 |     9663     60 |        0 |        0
1799.19/1799.79	c 1799s |      18 |   469167 |   374052 |     9663     60 |        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-4093412-1466084817/watcher-4093412-1466084817 -o /tmp/evaluation-result-4093412-1466084817/solver-4093412-1466084817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093412-1466084817.wbo 

pid=18126
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.17 2.10 2.09 3/177 18129
/proc/meminfo: memFree=30152480/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=715332 CPUtime=0 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 2673 0 0 0 0 0 0 0 20 0 4 0 10531835 732499968 2522 33554432000 4194304 16246674 140735894366144 140735894365568 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 179601 2532 442 2943 0 176495 0
[pid=18129/tid=18130] ppid=18126 vsize=733764 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 751374336 2593 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=737860 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 755568640 2610 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=742980 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531835 760811520 2626 33554432000 4194304 16246674 140735894366144 139775227972784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10012 s]
/proc/loadavg: 2.17 2.10 2.09 3/177 18129
/proc/meminfo: memFree=30152480/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 27052 0 0 0 6 3 0 0 20 0 4 0 10531835 1247350784 26894 33554432000 4194304 16246674 140735894366144 140735894365568 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 304529 26902 606 2943 0 301423 0
[pid=18129/tid=18130] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 26907 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 26915 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 26921 33554432000 4194304 16246674 140735894366144 139775227972784 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.200485 s]
/proc/loadavg: 2.17 2.10 2.09 3/177 18129
/proc/meminfo: memFree=30152480/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 47645 0 0 0 14 5 0 0 20 0 4 0 10531835 1247350784 47487 33554432000 4194304 16246674 140735894366144 140735894365568 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 304529 47497 606 2943 0 301423 0
[pid=18129/tid=18130] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 47504 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 47510 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 47515 33554432000 4194304 16246674 140735894366144 139775227972784 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.30044 s]
/proc/loadavg: 2.17 2.10 2.09 3/177 18129
/proc/meminfo: memFree=30152480/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 70585 0 0 0 20 8 0 0 20 0 4 0 10531835 1247350784 70421 33554432000 4194304 16246674 140735894366144 140735894365568 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 304529 70430 775 2943 0 301423 0
[pid=18129/tid=18130] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 70439 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 70447 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10531835 1247350784 70457 33554432000 4194304 16246674 140735894366144 139775227972784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700377 s]
/proc/loadavg: 2.17 2.10 2.09 3/177 18129
/proc/meminfo: memFree=30152480/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 99080 0 0 0 57 12 0 0 20 0 4 0 10531835 1338576896 98893 33554432000 4194304 16246674 140735894366144 140735894365456 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 326801 98893 869 2943 0 323695 0
[pid=18129/tid=18130] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 98893 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 98893 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 98893 33554432000 4194304 16246674 140735894366144 139775227972784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50037 s]
/proc/loadavg: 2.17 2.10 2.09 3/181 18133
/proc/meminfo: memFree=29741736/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 105990 0 0 0 136 13 0 0 20 0 4 0 10531835 1338576896 105803 33554432000 4194304 16246674 140735894366144 140735894365320 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 326801 105803 869 2943 0 323695 0
[pid=18129/tid=18130] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 105803 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 105803 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 105803 33554432000 4194304 16246674 140735894366144 139775227972784 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.10037 s]
/proc/loadavg: 2.17 2.10 2.09 3/181 18133
/proc/meminfo: memFree=29728700/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 108255 0 0 0 295 14 0 0 20 0 4 0 10531835 1338576896 108068 33554432000 4194304 16246674 140735894366144 140735894349144 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 326801 108068 869 2943 0 323695 0
[pid=18129/tid=18130] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 108068 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 108068 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1338576896 108068 33554432000 4194304 16246674 140735894366144 139775227972784 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.30038 s]
/proc/loadavg: 2.15 2.09 2.09 3/181 18133
/proc/meminfo: memFree=29155636/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 249482 0 0 0 596 33 0 0 20 0 4 0 10531835 1339625472 249295 33554432000 4194304 16246674 140735894366144 140735894348032 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 327057 249295 869 2943 0 323951 0
[pid=18129/tid=18130] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249295 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249295 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249295 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.14 2.09 2.09 3/181 18133
/proc/meminfo: memFree=29155248/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 249497 0 0 0 1236 33 0 0 20 0 4 0 10531835 1339625472 249310 33554432000 4194304 16246674 140735894366144 140735894348032 5717140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 327057 249310 875 2943 0 323951 0
[pid=18129/tid=18130] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249310 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249310 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249310 33554432000 4194304 16246674 140735894366144 139775227972784 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.11 2.09 2.08 3/181 18133
/proc/meminfo: memFree=29155992/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 249498 0 0 0 2516 33 0 0 20 0 4 0 10531835 1339625472 249311 33554432000 4194304 16246674 140735894366144 140735894348032 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 327057 249311 876 2943 0 323951 0
[pid=18129/tid=18130] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249311 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249311 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1339625472 249311 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.07 2.08 2.08 3/181 18133
/proc/meminfo: memFree=29077344/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 269100 0 0 0 5072 36 0 0 20 0 4 0 10531835 1343819776 268913 33554432000 4194304 16246674 140735894366144 140735894365320 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 328081 268913 876 2943 0 324975 0
[pid=18129/tid=18130] ppid=18126 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1343819776 268913 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1343819776 268913 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1343819776 268913 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1312324

[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.08 3/181 18134
/proc/meminfo: memFree=29074064/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 269400 0 0 0 10188 40 0 0 20 0 4 0 10531835 1344868352 269468 33554432000 4194304 16246674 140735894366144 140735894365320 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 328337 269468 876 2943 0 325231 0
[pid=18129/tid=18130] ppid=18126 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1344868352 269468 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1344868352 269468 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1344868352 269468 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1313348


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

/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.02 3/181 18236
/proc/meminfo: memFree=29326004/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1301.86 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 130088 98 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894365320 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.02 3/181 18237
/proc/meminfo: memFree=29325780/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1361.86 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 136085 101 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894365320 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/182 18241
/proc/meminfo: memFree=29325468/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1421.86 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 142083 103 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894365320 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.02 3/181 18243
/proc/meminfo: memFree=29325256/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1481.84 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 148079 105 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894348032 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.01 3/181 18244
/proc/meminfo: memFree=29249860/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1541.83 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 154075 108 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894365320 13191984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/181 18245
/proc/meminfo: memFree=29249864/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1601.82 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 160072 110 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894365320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/181 18246
/proc/meminfo: memFree=29088540/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1661.81 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 166068 113 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894348032 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/181 18247
/proc/meminfo: memFree=29088416/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1721.8 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 172065 115 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894365320 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/181 18249
/proc/meminfo: memFree=29087796/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1781.79 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 178061 118 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894365320 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 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) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.05 2.01 3/181 18249
/proc/meminfo: memFree=29088168/32872528 swapFree=446836/479540
[pid=18129] ppid=18126 vsize=1331780 CPUtime=1800.09 cores=1,3,5,7
/proc/18129/stat : 18129 (toysat) R 18126 18129 15681 0 -1 4202496 274405 0 0 0 179891 118 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 140735894365320 5832313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18129/statm: 332945 274141 876 2943 0 329839 0
[pid=18129/tid=18130] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18130/stat : 18130 (toysat) S 18126 18129 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775248936176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18129/tid=18131] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18131/stat : 18131 (toysat) S 18126 18129 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775238446320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18129/tid=18132] ppid=18126 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18129/task/18132/stat : 18132 (toysat) S 18126 18129 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10531835 1363742720 274141 33554432000 4194304 16246674 140735894366144 139775227972784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1331780

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 18129 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.61
CPU time (s): 1800.11
CPU user time (s): 1798.91
CPU system time (s): 1.19082
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.19082
maximum resident set size= 1096564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274405
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= 347
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76012 second user time and 7.17391 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 15:46:57
IDJOB=4093412
IDBENCH=78732
IDSOLVER=2553
FILE ID=node104/4093412-1466084817
RUNJOBID= node104-1466074317-17184
PBS_JOBID= 19904028
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 374ed8d346409439b64d782bc7a820e5
RANDOM SEED=988911239

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30152744 kB
Buffers:           32012 kB
Cached:           102476 kB
SwapCached:          516 kB
Active:          1477544 kB
Inactive:          61648 kB
Active(anon):    1405776 kB
Inactive(anon):     1168 kB
Active(file):      71768 kB
Inactive(file):    60480 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1975564 kB
Mapped:            10548 kB
Shmem:                 0 kB
Slab:             566712 kB
SReclaimable:      11136 kB
SUnreclaim:       555576 kB
KernelStack:        1504 kB
PageTables:         7712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2018600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1396736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node104 at 2016-06-16 16:16:58