Trace number 4119960

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.41

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb
MD5SUM24615c0f37d61401b7b7596da6e70ed8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark3.54146
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

Solver Data 

0.00/0.00	c 2016-06-30T11:45:47+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119960-1467279947.opb"]
0.00/0.02	c use --random-gen="2086118477 1674772970 77505584 4098739467 3436656750 2281074728 699914891 2757814188 4286334652 4201193943 4247566845 4276161771 2028786646 4124998066 660719515 1824463103 1482707787 3615249069 899993577 3532021687 3427912181 2318495998 1166165518 89733256 1277589025 520444219 1740306940 1053270380 3562684613 1276763955 1630722017 3295738681 1767529309 2013659713 3795250383 593684739 3143834248 3071960441 4028659620 488066407 4176896287 344292154 1034642620 4029344970 3722403182 3796743995 2212391291 77926409 1468387689 3615811271 296043971 1424069206 307203332 2415156160 784489056 1556973572 2922942064 1931877380 628500927 1481896496 1283200734 879746579 4042459369 3992285331 234367150 1643411483 1860138611 1680363093 861642614 1687186891 1946795362 3113513699 2122262777 3065187115 2162251291 506578309 3484232880 4095444550 564416833 2162814837 1974335951 4115973159 308308860 1606362950 1824767805 1503984370 1158382127 629766750 3459003723 1399995056 2166061396 526414703 903187756 833515085 710699862 1993170886 3958797205 3921544302 1144236376 987226918 3612631855 2970321806 137434835 181914792 195478154 1869592312 2584864740 3435629519 4208541727 846595932 1786899167 2963069754 3734631932 3358949568 178804388 1164940603 2843691329 2644806002 850248710 1517548171 3199265853 1040207277 2490594638 2461850946 207980327 3476554736 2563404784 1915392629 4066383859 1664166232 1316895885 2634242307 800914689 2159592745 4181831058 4261754972 2519535039 253225317 3057231881 4186939116 136824093 3247854739 445166134 1617048182 1083692195 2745655783 2214005840 4007296531 2140386933 158031408 1016537845 2324628279 3017423497 1843757963 3085815651 2930049295 2164016881 1223391213 1941675151 2366373870 1897543982 4118451408 2148190403 3662889155 3361849515 1136906604 2735484764 3165290250 2834110931 321461630 980266723 4253360624 1412011935 1967949210 266549793 3603157104 3291843009 4116382270 1283946884 595580825 422953692 1267210493 3118021733 1985419428 2154598728 1228135553 3754870430 1193629899 3742844449 1743428763 2084965800 2627123472 2585834916 58113658 1933542782 2851163781 2116663580 2353039112 2650346616 2767955150 1692295637 1304341263 2904293030 1445928501 1328560438 1881046208 3087670319 3668636824 3316734893 726691559 21298726 2701058030 195872365 2158021152 801301845 1873395916 3517106288 1561036459 1423447571 1376108467 3684738182 3949834859 246682216 2361464567 4085786882 682791890 3420144914 2697852346 4059265283 1236635051 1933692171 2637549610 613142737 4067530956 2501245282 2917743595 1496233318 2049778800 2676754410 43140975 3184999839 2599581849 2325447197 4091820270 2864046687 488120004 661629088 644425084 1097558132 4123608183 332594977 2867935311 31232270 563107355 1805006093 771330973 255 362436" option to reproduce the execution
0.08/0.13	c #vars 11200
0.08/0.13	c #constraints 478
0.18/0.26	c BCD2: Hardening is enabled.
0.18/0.26	c BCD2: BiasedSearch is enabled.
0.18/0.26	c Solving starts ...
0.18/0.26	c ============================[ Search Statistics ]============================
0.18/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.26	c =============================================================================
0.18/0.29	c  0.0s |       0 |        0 |        0 |     3892      0 |        0 |        0
0.28/0.31	c  0.1s |       0 |      218 |        0 |     3892      0 |        0 |        0
0.28/0.31	c #cpu_time = 0.045s
0.28/0.31	c #wall_clock_time = 0.046s
0.28/0.31	c #decision = 218
0.28/0.31	c #random_decision = 0
0.28/0.31	c #conflict = 0
0.28/0.31	c #restart = 0
0.28/0.31	o 64
0.28/0.31	c BCD2: updating upper bound: 64 -> 63
0.28/0.31	c BCD2: 0 <= obj <= 63
0.28/0.31	c BCD2: #cores=0, #unrelaxed=64, #relaxed=0, #hardened=0
0.28/0.31	c BCD2: #sat=1 #unsat=1 bias=1/2
0.28/0.31	c Solving starts ...
0.28/0.31	c ============================[ Search Statistics ]============================
0.28/0.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.31	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.31	c =============================================================================
0.28/0.31	c  0.0s |       0 |        0 |        0 |     3892      0 |        0 |        0
0.28/0.32	c  0.0s |       0 |       47 |        0 |     3892      0 |        0 |        0
0.28/0.32	c #cpu_time = 0.008s
0.28/0.32	c #wall_clock_time = 0.008s
0.28/0.32	c #decision = 47
0.28/0.32	c #random_decision = 0
0.28/0.32	c #conflict = 0
0.28/0.32	c #restart = 0
0.28/0.32	c BCD2: found a new core of size 48: cost of the new core is >=1
0.28/0.32	c lower bound updated to 1
0.28/0.32	c BCD2: 1 <= obj <= 63
0.28/0.32	c BCD2: #cores=1, #unrelaxed=16, #relaxed=48, #hardened=0
0.28/0.32	c BCD2: #sat=1 #unsat=2 bias=2/3
0.28/0.32	c Solving starts ...
0.28/0.32	c ============================[ Search Statistics ]============================
0.28/0.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.32	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.32	c =============================================================================
0.28/0.32	c  0.0s |       0 |        0 |        0 |     3892      0 |        0 |        0
0.28/0.36	c  0.0s |       0 |     4984 |        0 |     3892      0 |        0 |        0
0.28/0.36	c #cpu_time = 0.033s
0.28/0.36	c #wall_clock_time = 0.033s
0.28/0.36	c #decision = 4984
0.28/0.36	c #random_decision = 15
0.28/0.36	c #conflict = 0
0.28/0.36	c #restart = 0
0.28/0.36	o 19
0.28/0.36	c BCD2: updating upper bound: 63 -> 18
0.28/0.36	c BCD2: 1 <= obj <= 18
0.28/0.36	c BCD2: #cores=1, #unrelaxed=16, #relaxed=48, #hardened=0
0.28/0.36	c BCD2: #sat=2 #unsat=2 bias=2/4
0.28/0.36	c Solving starts ...
0.28/0.36	c ============================[ Search Statistics ]============================
0.28/0.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.36	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.36	c =============================================================================
0.28/0.36	c  0.0s |       0 |        0 |        0 |     3892      0 |        0 |        1
0.38/0.44	c  0.1s |       1 |     3192 |      100 |     3892      0 |        0 |        1
0.48/0.56	c  0.2s |       2 |     3388 |      250 |     4282      0 |        0 |        1
0.68/0.78	c  0.4s |       3 |     3660 |      475 |     4711      0 |        0 |        1
1.09/1.12	c  0.8s |       4 |     4058 |      813 |     5183      0 |        0 |        1
1.59/1.63	c  1.3s |       5 |     4602 |     1320 |     5702      0 |        0 |        1
2.19/2.22	c  1.9s |       6 |     5411 |     2081 |     6901      0 |        0 |        1
3.08/3.18	c  2.8s |       7 |     6584 |     3223 |     7592      0 |        0 |        1
4.08/4.16	c  3.8s |       8 |     8338 |     4936 |     8352      0 |        0 |        1
6.08/6.19	c  5.8s |       8 |    10811 |     7336 |     8352      0 |        0 |        1
6.28/6.30	c  5.9s |       9 |    10984 |     7506 |     9188      0 |        0 |        1
8.28/8.34	c  8.0s |       9 |    13068 |     9506 |     9188      0 |        0 |        1
9.78/9.86	c  9.5s |      10 |    14945 |    11361 |    10107      0 |        0 |        1
11.78/11.89	c 11.5s |      10 |    17415 |    13761 |    10107      1 |        0 |        1
13.88/13.93	c 13.6s |      10 |    19530 |    15861 |    10107      1 |        0 |        1
14.68/14.70	c 14.3s |      11 |    20837 |    17144 |    11118      1 |        0 |        1
16.68/16.72	c 16.4s |      11 |    23209 |    19444 |    11118      2 |        0 |        1
18.69/18.78	c 18.4s |      11 |    24963 |    21144 |    11118      2 |        0 |        1
20.78/20.81	c 20.4s |      11 |    27769 |    23944 |    11118      2 |        0 |        1
22.88/22.90	c 22.5s |      12 |    29652 |    25819 |    12230      2 |        0 |        1
24.98/25.03	c 24.7s |      12 |    31608 |    27719 |    12230      3 |        0 |        1
26.98/27.07	c 26.7s |      12 |    34134 |    30219 |    12230      3 |        0 |        1
29.08/29.12	c 28.8s |      12 |    36127 |    32219 |    12230      3 |        0 |        1
31.08/31.16	c 30.8s |      12 |    38236 |    34319 |    12230      3 |        0 |        1
33.18/33.21	c 32.8s |      12 |    40755 |    36819 |    12230      4 |        0 |        1
35.28/35.32	c 35.0s |      12 |    42659 |    38719 |    13454      4 |        0 |        1
35.37/35.43	c 35.1s |      13 |    42758 |    38832 |    13454      4 |        0 |        1
37.38/37.45	c 37.1s |      13 |    44805 |    40832 |    13454      4 |        0 |        1
39.37/39.49	c 39.1s |      13 |    47201 |    43232 |    13454      4 |        0 |        1
41.47/41.56	c 41.2s |      13 |    49519 |    45532 |    13454      4 |        0 |        1
43.57/43.68	c 43.3s |      13 |    51510 |    47532 |    13454      5 |        0 |        1
45.67/45.73	c 45.4s |      13 |    54118 |    50132 |    13454      5 |        0 |        1
47.67/47.75	c 47.4s |      13 |    56028 |    52032 |    13454      5 |        0 |        1
49.67/49.77	c 49.4s |      13 |    58331 |    54332 |    13454      5 |        0 |        1
51.78/51.88	c 51.5s |      13 |    60125 |    56132 |    13454      6 |        0 |        1
53.77/53.89	c 53.5s |      14 |    62359 |    58352 |    14800      6 |        0 |        1
57.68/57.73	c 57.4s |      14 |    63937 |    59852 |    14800      6 |        0 |        1
59.67/59.78	c 59.4s |      14 |    65839 |    61752 |    14800      6 |        0 |        1
61.68/61.78	c 61.4s |      14 |    67739 |    63652 |    14800      6 |        0 |        1
63.78/63.83	c 63.5s |      14 |    68827 |    64752 |    14800      7 |        0 |        1
65.77/65.86	c 65.5s |      14 |    71051 |    66952 |    14800      7 |        0 |        1
67.77/67.86	c 67.5s |      14 |    73162 |    69052 |    14800      7 |        0 |        1
69.87/69.97	c 69.6s |      14 |    74646 |    70552 |    14800      7 |        0 |        1
71.97/72.07	c 71.7s |      14 |    76962 |    72852 |    14800      7 |        0 |        1
74.07/74.12	c 73.8s |      14 |    78556 |    74452 |    14800      8 |        0 |        1
76.07/76.19	c 75.8s |      14 |    80775 |    76652 |    14800      8 |        0 |        1
78.18/78.23	c 77.9s |      14 |    82668 |    78552 |    14800      8 |        0 |        1
80.17/80.26	c 79.9s |      14 |    84381 |    80252 |    14800      8 |        0 |        1
82.17/82.28	c 81.9s |      14 |    86074 |    81952 |    14800      8 |        0 |        1
84.46/84.50	c 84.1s |      14 |    87296 |    83152 |    14800      9 |        0 |        1
86.46/86.50	c 86.1s |      14 |    89776 |    85652 |    14800      9 |        0 |        1
88.07/88.17	c 87.8s |      15 |    91784 |    87632 |    16281      9 |        0 |        1
92.56/92.62	c 92.3s |      15 |    93780 |    89532 |    16281      9 |        0 |        1
94.56/94.64	c 94.3s |      15 |    95985 |    91732 |    16281      9 |        0 |        1
96.76/96.81	c 96.5s |      15 |    98083 |    93832 |    16281     10 |        0 |        1
98.76/98.84	c 98.5s |      15 |    99798 |    95532 |    16281     10 |        0 |        1
100.85/100.91	c  100s |      15 |   102290 |    98032 |    16281     10 |        0 |        1
102.95/103.08	c  102s |      15 |   103991 |    99732 |    16281     10 |        0 |        1
104.95/105.08	c  104s |      15 |   105604 |   101332 |    16281     10 |        0 |        1
107.05/107.10	c  106s |      15 |   107590 |   103332 |    16281     10 |        0 |        1
109.06/109.14	c  108s |      15 |   108891 |   104632 |    16281     11 |        0 |        1
111.07/111.15	c  110s |      15 |   110109 |   105832 |    16281     11 |        0 |        1
113.16/113.28	c  112s |      15 |   112209 |   107932 |    16281     11 |        0 |        1
115.26/115.31	c  114s |      15 |   113618 |   109332 |    16281     11 |        0 |        1
117.26/117.31	c  116s |      15 |   115505 |   111232 |    16281     11 |        0 |        1
119.25/119.36	c  119s |      15 |   116805 |   112532 |    16281     11 |        0 |        1
121.35/121.47	c  121s |      15 |   118524 |   114232 |    16281     11 |        0 |        1
123.56/123.65	c  123s |      15 |   119920 |   115632 |    16281     12 |        0 |        1
125.65/125.71	c  125s |      15 |   121930 |   117632 |    16281     12 |        0 |        1
127.75/127.81	c  127s |      15 |   123428 |   119132 |    16281     12 |        0 |        1
129.76/129.88	c  129s |      15 |   125328 |   121032 |    16281     12 |        0 |        1
131.85/131.97	c  131s |      15 |   127139 |   122832 |    16281     12 |        0 |        1
133.85/133.97	c  133s |      15 |   128832 |   124532 |    16281     12 |        0 |        1
135.95/136.08	c  135s |      15 |   130437 |   126132 |    16281     13 |        0 |        1
138.05/138.15	c  137s |      15 |   133034 |   128732 |    16281     13 |        0 |        1
140.15/140.23	c  139s |      15 |   135033 |   130732 |    17910     13 |        0 |        1
140.86/140.96	c  140s |      16 |   135863 |   131552 |    17910     13 |        0 |        1
142.96/143.00	c  142s |      16 |   137900 |   133552 |    17910     13 |        0 |        1
144.95/145.06	c  144s |      16 |   140005 |   135652 |    17910     13 |        0 |        1
148.75/148.88	c  148s |      16 |   141938 |   137552 |    17910     14 |        0 |        1
150.85/150.93	c  150s |      16 |   143029 |   138652 |    17910     14 |        0 |        1
152.86/152.98	c  152s |      16 |   145224 |   140852 |    17910     14 |        0 |        1
154.95/155.02	c  154s |      16 |   147242 |   142852 |    17910     14 |        0 |        1
156.95/157.02	c  156s |      16 |   149033 |   144652 |    17910     14 |        0 |        1
158.95/159.02	c  158s |      16 |   150541 |   146152 |    17910     14 |        0 |        1
160.95/161.03	c  160s |      16 |   152344 |   147952 |    17910     14 |        0 |        1
162.95/163.04	c  162s |      16 |   153644 |   149252 |    17910     15 |        0 |        1
165.05/165.15	c  164s |      16 |   155760 |   151352 |    17910     15 |        0 |        1
167.05/167.19	c  166s |      16 |   157555 |   153152 |    17910     15 |        0 |        1
169.15/169.29	c  168s |      16 |   159158 |   154752 |    17910     15 |        0 |        1
171.35/171.44	c  171s |      16 |   161060 |   156652 |    17910     15 |        0 |        1
173.44/173.51	c  173s |      16 |   162853 |   158452 |    17910     15 |        0 |        1
175.44/175.53	c  175s |      16 |   164359 |   159952 |    17910     15 |        0 |        1
177.44/177.59	c  177s |      16 |   166164 |   161752 |    17910     16 |        0 |        1
179.54/179.60	c  179s |      16 |   168362 |   163952 |    17910     16 |        0 |        1
181.55/181.63	c  181s |      16 |   170669 |   166252 |    17910     16 |        0 |        1
183.54/183.67	c  183s |      16 |   172873 |   168452 |    17910     16 |        0 |        1
185.74/185.85	c  185s |      16 |   174690 |   170252 |    17910     16 |        0 |        1
187.84/187.93	c  187s |      16 |   175986 |   171552 |    17910     16 |        0 |        1
190.44/190.50	c  190s |      16 |   177394 |   172952 |    17910     17 |        0 |        1
192.44/192.56	c  192s |      16 |   179484 |   175052 |    17910     17 |        0 |        1
194.43/194.59	c  194s |      16 |   181480 |   177052 |    17910     17 |        0 |        1
196.53/196.69	c  196s |      16 |   183492 |   179052 |    17910     17 |        0 |        1
198.63/198.79	c  198s |      16 |   185399 |   180952 |    17910     17 |        0 |        1
200.73/200.81	c  200s |      16 |   186997 |   182552 |    17910     17 |        0 |        1
202.83/202.93	c  202s |      16 |   188709 |   184252 |    17910     17 |        0 |        1
204.83/204.95	c  204s |      16 |   190706 |   186252 |    17910     18 |        0 |        1
206.93/207.01	c  206s |      16 |   193012 |   188552 |    17910     18 |        0 |        1
208.93/209.02	c  208s |      16 |   193825 |   189352 |    17910     18 |        0 |        1
210.93/211.04	c  210s |      16 |   195523 |   191052 |    17910     18 |        0 |        1
213.03/213.11	c  212s |      16 |   197133 |   192652 |    17910     18 |        0 |        1
215.03/215.13	c  214s |      16 |   198733 |   194252 |    17910     18 |        0 |        1
217.03/217.13	c  216s |      16 |   200530 |   196052 |    17910     18 |        0 |        1
218.62/218.73	c  218s |      17 |   201911 |   197432 |    19701     18 |        0 |        1
224.34/224.49	c  224s |      17 |   202042 |   197532 |    19701     19 |        0 |        1
226.33/226.49	c  226s |      17 |   203163 |   198632 |    19701     19 |        0 |        1
228.43/228.50	c  228s |      17 |   204667 |   200132 |    19701     19 |        0 |        1
230.43/230.54	c  230s |      17 |   205890 |   201332 |    19701     19 |        0 |        1
232.43/232.59	c  232s |      17 |   207306 |   202732 |    19701     19 |        0 |        1
234.52/234.66	c  234s |      17 |   209128 |   204532 |    19701     19 |        0 |        1
236.62/236.76	c  236s |      17 |   210328 |   205732 |    19701     19 |        0 |        1
238.73/238.85	c  238s |      17 |   211442 |   206832 |    19701     19 |        0 |        1
240.83/240.94	c  240s |      17 |   212737 |   208132 |    19701     19 |        0 |        1
242.82/242.97	c  242s |      17 |   213787 |   209132 |    19701     20 |        0 |        1
244.92/245.05	c  244s |      17 |   214907 |   210232 |    19701     20 |        0 |        1
247.02/247.18	c  246s |      17 |   216640 |   211932 |    19701     20 |        0 |        1
249.22/249.36	c  248s |      17 |   217867 |   213132 |    19701     20 |        0 |        1
251.32/251.45	c  251s |      17 |   219418 |   214632 |    19701     20 |        0 |        1
253.51/253.63	c  253s |      17 |   220560 |   215732 |    19701     20 |        0 |        1
255.51/255.66	c  255s |      17 |   221873 |   217032 |    19701     20 |        0 |        1
257.61/257.72	c  257s |      17 |   223372 |   218532 |    19701     20 |        0 |        1
259.71/259.82	c  259s |      17 |   224470 |   219632 |    19701     20 |        0 |        1
262.01/262.13	c  261s |      17 |   225804 |   220932 |    19701     21 |        0 |        1
264.02/264.13	c  263s |      17 |   227120 |   222232 |    19701     21 |        0 |        1
266.01/266.19	c  265s |      17 |   228906 |   223932 |    19701     21 |        0 |        1
268.21/268.30	c  267s |      17 |   230627 |   225632 |    19701     21 |        0 |        1
270.41/270.50	c  270s |      17 |   232378 |   227332 |    19701     21 |        0 |        1
272.41/272.50	c  272s |      17 |   233901 |   228832 |    19701     21 |        0 |        1
274.41/274.52	c  274s |      17 |   235643 |   230532 |    19701     21 |        0 |        1
276.51/276.65	c  276s |      17 |   237288 |   232132 |    19701     21 |        0 |        1
278.71/278.81	c  278s |      17 |   238905 |   233732 |    19701     21 |        0 |        1
280.71/280.89	c  280s |      17 |   240614 |   235432 |    19701     22 |        0 |        1
284.01/284.19	c  283s |      17 |   242538 |   237332 |    19701     22 |        0 |        1
286.21/286.30	c  285s |      17 |   243021 |   237832 |    19701     22 |        0 |        1
288.21/288.35	c  287s |      17 |   244634 |   239432 |    19701     22 |        0 |        1
290.31/290.49	c  290s |      17 |   246134 |   240932 |    19701     22 |        0 |        1
292.41/292.56	c  292s |      17 |   247746 |   242532 |    19701     22 |        0 |        1
294.50/294.69	c  294s |      17 |   249335 |   244132 |    19701     22 |        0 |        1
296.60/296.74	c  296s |      17 |   250644 |   245432 |    19701     22 |        0 |        1
298.60/298.75	c  298s |      17 |   252257 |   247032 |    19701     23 |        0 |        1
300.80/300.96	c  300s |      17 |   253752 |   248532 |    19701     23 |        0 |        1
303.00/303.11	c  302s |      17 |   255649 |   250432 |    19701     23 |        0 |        1
305.00/305.19	c  304s |      17 |   257150 |   251932 |    19701     23 |        0 |        1
307.10/307.28	c  306s |      17 |   258859 |   253632 |    19701     23 |        0 |        1
309.20/309.31	c  308s |      17 |   260457 |   255232 |    19701     23 |        0 |        1
311.31/311.42	c  311s |      17 |   261870 |   256632 |    19701     23 |        0 |        1
313.30/313.49	c  313s |      17 |   263356 |   258132 |    19701     23 |        0 |        1
315.40/315.56	c  315s |      17 |   264864 |   259632 |    19701     24 |        0 |        1
317.50/317.63	c  317s |      17 |   266562 |   261332 |    19701     24 |        0 |        1
319.60/319.72	c  319s |      17 |   268269 |   263032 |    19701     24 |        0 |        1
321.60/321.80	c  321s |      17 |   269977 |   264732 |    19701     24 |        0 |        1
323.70/323.87	c  323s |      17 |   271787 |   266532 |    19701     24 |        0 |        1
325.80/325.90	c  325s |      17 |   273684 |   268432 |    19701     24 |        0 |        1
328.81/328.98	c  328s |      17 |   275302 |   270032 |    19701     25 |        0 |        1
330.90/331.03	c  330s |      17 |   276499 |   271232 |    19701     25 |        0 |        1
332.90/333.08	c  332s |      17 |   278190 |   272932 |    19701     25 |        0 |        1
335.00/335.15	c  334s |      17 |   280001 |   274732 |    19701     25 |        0 |        1
337.10/337.21	c  336s |      17 |   281901 |   276632 |    19701     25 |        0 |        1
339.10/339.22	c  338s |      17 |   283815 |   278532 |    19701     25 |        0 |        1
341.20/341.31	c  340s |      17 |   285712 |   280432 |    19701     25 |        0 |        1
343.21/343.33	c  342s |      17 |   287514 |   282232 |    19701     25 |        0 |        1
345.20/345.39	c  345s |      17 |   289217 |   283932 |    19701     26 |        0 |        1
347.30/347.43	c  347s |      17 |   291619 |   286332 |    19701     26 |        0 |        1
349.40/349.57	c  349s |      17 |   293937 |   288632 |    19701     26 |        0 |        1
351.50/351.60	c  351s |      17 |   295428 |   290132 |    19701     26 |        0 |        1
353.49/353.69	c  353s |      17 |   297140 |   291832 |    19701     26 |        0 |        1
355.69/355.83	c  355s |      17 |   298940 |   293632 |    19701     26 |        0 |        1
357.69/357.88	c  357s |      17 |   300543 |   295232 |    21672     26 |        0 |        1
359.09/359.22	c  358s |      18 |   301568 |   296252 |    21672     26 |        0 |        1
362.39/362.55	c  362s |      18 |   301696 |   296352 |    21672     27 |        0 |        1
364.78/364.91	c  364s |      18 |   301799 |   296452 |    21672     27 |        0 |        1
366.78/366.93	c  366s |      18 |   303016 |   297652 |    21672     27 |        0 |        1
368.88/369.02	c  368s |      18 |   304633 |   299252 |    21672     27 |        0 |        1
370.88/371.03	c  370s |      18 |   305982 |   300552 |    21672     27 |        0 |        1
372.98/373.12	c  372s |      18 |   307423 |   301952 |    21672     27 |        0 |        1
375.09/375.25	c  374s |      18 |   309035 |   303552 |    21672     27 |        0 |        1
377.29/377.47	c  377s |      18 |   310350 |   304852 |    21672     27 |        0 |        1
379.39/379.51	c  379s |      18 |   311164 |   305652 |    21672     27 |        0 |        1
381.38/381.59	c  381s |      18 |   312398 |   306852 |    21672     27 |        0 |        1
383.68/383.80	c  383s |      18 |   313196 |   307652 |    21672     27 |        0 |        1
385.68/385.87	c  385s |      18 |   314211 |   308652 |    21672     27 |        0 |        1
388.29/388.42	c  388s |      18 |   315605 |   310052 |    21672     28 |        0 |        1
390.28/390.42	c  390s |      18 |   317004 |   311452 |    21672     28 |        0 |        1
392.38/392.59	c  392s |      18 |   317624 |   312052 |    21672     28 |        0 |        1
394.47/394.64	c  394s |      18 |   319151 |   313552 |    21672     28 |        0 |        1
396.47/396.67	c  396s |      18 |   320493 |   314852 |    21672     28 |        0 |        1
398.57/398.79	c  398s |      18 |   321705 |   316052 |    21672     28 |        0 |        1
400.77/400.96	c  400s |      18 |   323360 |   317652 |    21672     28 |        0 |        1
402.87/403.07	c  402s |      18 |   324574 |   318852 |    21672     28 |        0 |        1
404.97/405.14	c  404s |      18 |   325875 |   320152 |    21672     28 |        0 |        1
406.97/407.15	c  406s |      18 |   326983 |   321252 |    21672     28 |        0 |        1
409.07/409.29	c  408s |      18 |   328482 |   322752 |    21672     28 |        0 |        1
411.17/411.34	c  410s |      18 |   329992 |   324252 |    21672     29 |        0 |        1
413.27/413.44	c  413s |      18 |   331535 |   325752 |    21672     29 |        0 |        1
415.26/415.45	c  415s |      18 |   332974 |   327152 |    21672     29 |        0 |        1
417.36/417.54	c  417s |      18 |   334390 |   328552 |    21672     29 |        0 |        1
419.46/419.60	c  419s |      18 |   336083 |   330252 |    21672     29 |        0 |        1
421.56/421.71	c  421s |      18 |   337696 |   331852 |    21672     29 |        0 |        1
423.66/423.80	c  423s |      18 |   339430 |   333552 |    21672     29 |        0 |        1
425.67/425.88	c  425s |      18 |   341155 |   335252 |    21672     29 |        0 |        1
427.77/427.96	c  427s |      18 |   343154 |   337252 |    21672     29 |        0 |        1
430.27/430.43	c  430s |      18 |   343274 |   337352 |    21672     30 |        0 |        1
432.37/432.50	c  432s |      18 |   343564 |   337652 |    21672     30 |        0 |        1
434.37/434.54	c  434s |      18 |   345669 |   339752 |    21672     30 |        0 |        1
436.46/436.63	c  436s |      18 |   347356 |   341452 |    21672     30 |        0 |        1
438.46/438.69	c  438s |      18 |   349369 |   343452 |    21672     30 |        0 |        1
440.56/440.70	c  440s |      18 |   350773 |   344852 |    21672     30 |        0 |        1
442.56/442.76	c  442s |      18 |   352474 |   346552 |    21672     30 |        0 |        1
444.76/444.92	c  444s |      18 |   353984 |   348052 |    21672     30 |        0 |        1
446.86/447.00	c  446s |      18 |   355583 |   349652 |    21672     30 |        0 |        1
448.96/449.15	c  448s |      18 |   356980 |   351052 |    21672     31 |        0 |        1
451.06/451.26	c  450s |      18 |   358982 |   353052 |    21672     31 |        0 |        1
453.06/453.30	c  452s |      18 |   360278 |   354352 |    21672     31 |        0 |        1
455.15/455.30	c  454s |      18 |   361983 |   356052 |    21672     31 |        0 |        1
457.15/457.34	c  456s |      18 |   363491 |   357552 |    21672     31 |        0 |        1
459.15/459.37	c  459s |      18 |   364786 |   358852 |    21672     31 |        0 |        1
461.15/461.39	c  461s |      18 |   366292 |   360352 |    21672     31 |        0 |        1
463.35/463.57	c  463s |      18 |   367798 |   361852 |    21672     31 |        0 |        1
465.45/465.65	c  465s |      18 |   369205 |   363252 |    21672     31 |        0 |        1
467.85/468.01	c  467s |      18 |   370601 |   364652 |    21672     32 |        0 |        1
469.85/470.06	c  469s |      18 |   372511 |   366552 |    21672     32 |        0 |        1
471.95/472.12	c  471s |      18 |   374621 |   368652 |    21672     32 |        0 |        1
474.55/474.74	c  474s |      18 |   376160 |   370152 |    21672     32 |        0 |        1
476.65/476.82	c  476s |      18 |   377253 |   371252 |    21672     32 |        0 |        1
478.65/478.86	c  478s |      18 |   378654 |   372652 |    21672     32 |        0 |        1
480.75/480.94	c  480s |      18 |   380161 |   374152 |    21672     32 |        0 |        1
482.85/483.02	c  482s |      18 |   381565 |   375552 |    21672     32 |        0 |        1
484.95/485.16	c  484s |      18 |   383063 |   377052 |    21672     32 |        0 |        1
487.04/487.26	c  486s |      18 |   384562 |   378552 |    21672     33 |        0 |        1
489.04/489.28	c  488s |      18 |   386660 |   380652 |    21672     33 |        0 |        1
491.14/491.33	c  490s |      18 |   388867 |   382852 |    21672     33 |        0 |        1
493.24/493.42	c  493s |      18 |   390965 |   384952 |    21672     33 |        0 |        1
495.34/495.50	c  495s |      18 |   393070 |   387052 |    21672     33 |        0 |        1
497.53/497.70	c  497s |      18 |   394690 |   388652 |    21672     33 |        0 |        1
499.53/499.73	c  499s |      18 |   396177 |   390152 |    21672     33 |        0 |        1
501.54/501.78	c  501s |      18 |   397487 |   391452 |    21672     34 |        0 |        1
503.64/503.85	c  503s |      18 |   399391 |   393352 |    21672     34 |        0 |        1
505.63/505.87	c  505s |      18 |   401197 |   395152 |    21672     34 |        0 |        1
507.73/507.94	c  507s |      18 |   402887 |   396852 |    21672     34 |        0 |        1
509.73/509.94	c  509s |      18 |   404692 |   398652 |    21672     34 |        0 |        1
511.83/512.01	c  511s |      18 |   406499 |   400452 |    21672     34 |        0 |        1
514.03/514.26	c  513s |      18 |   408207 |   402152 |    21672     34 |        0 |        1
516.13/516.32	c  515s |      18 |   409503 |   403452 |    21672     34 |        0 |        1
518.63/518.85	c  518s |      18 |   410999 |   404952 |    21672     35 |        0 |        1
520.63/520.85	c  520s |      18 |   413314 |   407252 |    21672     35 |        0 |        1
522.63/522.87	c  522s |      18 |   415422 |   409352 |    21672     35 |        0 |        1
524.64/524.90	c  524s |      18 |   417520 |   411452 |    21672     35 |        0 |        1
526.74/526.96	c  526s |      18 |   420122 |   414052 |    21672     35 |        0 |        1
528.83/529.00	c  528s |      18 |   422121 |   416052 |    21672     35 |        0 |        1
530.93/531.11	c  530s |      18 |   423828 |   417752 |    21672     35 |        0 |        1
533.23/533.40	c  533s |      18 |   425439 |   419352 |    21672     36 |        0 |        1
535.23/535.46	c  535s |      18 |   427037 |   420952 |    21672     36 |        0 |        1
537.33/537.50	c  537s |      18 |   429246 |   423152 |    21672     36 |        0 |        1
539.33/539.50	c  539s |      18 |   430847 |   424752 |    21672     36 |        0 |        1
541.33/541.57	c  541s |      18 |   432843 |   426752 |    21672     36 |        0 |        1
543.43/543.69	c  543s |      18 |   434550 |   428452 |    21672     36 |        0 |        1
545.53/545.78	c  545s |      18 |   435755 |   429652 |    21672     36 |        0 |        1
547.63/547.89	c  547s |      18 |   436954 |   430852 |    21672     36 |        0 |        1
551.22/551.47	c  551s |      18 |   438655 |   432552 |    21672     37 |        0 |        1
556.12/556.30	c  555s |      18 |   440060 |   433952 |    21672     37 |        0 |        1
558.22/558.40	c  558s |      18 |   441873 |   435752 |    21672     37 |        0 |        1
560.32/560.52	c  560s |      18 |   443664 |   437552 |    21672     37 |        0 |        1
562.32/562.56	c  562s |      18 |   445667 |   439552 |    21672     37 |        0 |        1
564.42/564.62	c  564s |      18 |   447474 |   441352 |    23840     37 |        0 |        1
566.42/566.67	c  566s |      18 |   448472 |   442352 |    23840     37 |        0 |        1
568.72/568.91	c  568s |      18 |   449673 |   443552 |    23840     37 |        0 |        1
570.22/570.41	c  570s |      19 |   450605 |   444482 |    23840     37 |        0 |        1
581.61/581.84	c  581s |      19 |   450751 |   444582 |    23840     38 |        0 |        1
583.71/583.93	c  583s |      19 |   452164 |   445982 |    23840     38 |        0 |        1
585.81/586.04	c  585s |      19 |   454210 |   447982 |    23840     38 |        0 |        1
592.31/592.50	c  592s |      19 |   454537 |   448282 |    23840     38 |        0 |        1
594.41/594.63	c  594s |      19 |   455739 |   449482 |    23840     38 |        0 |        1
596.41/596.68	c  596s |      19 |   457186 |   450882 |    23840     38 |        0 |        1
598.51/598.73	c  598s |      19 |   458034 |   451682 |    23840     38 |        0 |        1
600.61/600.80	c  600s |      19 |   459229 |   452882 |    23840     38 |        0 |        1
602.71/602.99	c  602s |      19 |   460251 |   453882 |    23840     38 |        0 |        1
605.01/605.26	c  604s |      19 |   461161 |   454782 |    23840     38 |        0 |        1
607.11/607.35	c  606s |      19 |   462072 |   455682 |    23840     38 |        0 |        1
609.11/609.39	c  609s |      19 |   463179 |   456782 |    23840     38 |        0 |        1
611.21/611.45	c  611s |      19 |   464035 |   457582 |    23840     38 |        0 |        1
613.30/613.57	c  613s |      19 |   464938 |   458482 |    23840     38 |        0 |        1
615.50/615.77	c  615s |      19 |   465935 |   459482 |    23840     38 |        0 |        1
618.12/618.33	c  617s |      19 |   466472 |   459982 |    23840     39 |        0 |        1
620.11/620.39	c  620s |      19 |   467697 |   461182 |    23840     39 |        0 |        1
622.31/622.54	c  622s |      19 |   469133 |   462582 |    23840     39 |        0 |        1
624.40/624.62	c  624s |      19 |   470342 |   463782 |    23840     39 |        0 |        1
626.40/626.69	c  626s |      19 |   471699 |   465082 |    23840     39 |        0 |        1
628.50/628.76	c  628s |      19 |   473115 |   466482 |    23840     39 |        0 |        1
630.70/630.95	c  630s |      19 |   474333 |   467682 |    23840     39 |        0 |        1
632.80/633.05	c  632s |      19 |   475680 |   468982 |    23840     39 |        0 |        1
634.90/635.13	c  634s |      19 |   476884 |   470182 |    23840     39 |        0 |        1
636.90/637.14	c  636s |      19 |   477894 |   471182 |    23840     39 |        0 |        1
638.90/639.17	c  638s |      19 |   479300 |   472582 |    23840     39 |        0 |        1
641.10/641.36	c  641s |      19 |   480687 |   473982 |    23840     39 |        0 |        1
643.20/643.43	c  643s |      19 |   481594 |   474882 |    23840     40 |        0 |        1
645.29/645.54	c  645s |      19 |   483412 |   476682 |    23840     40 |        0 |        1
647.29/647.60	c  647s |      19 |   485521 |   478782 |    23840     40 |        0 |        1
649.39/649.67	c  649s |      19 |   487531 |   480782 |    23840     40 |        0 |        1
651.79/652.00	c  651s |      19 |   488055 |   481282 |    23840     40 |        0 |        1
653.79/654.09	c  653s |      19 |   488548 |   481782 |    23840     40 |        0 |        1
655.99/656.21	c  655s |      19 |   490046 |   483282 |    23840     40 |        0 |        1
658.19/658.40	c  658s |      19 |   491356 |   484582 |    23840     40 |        0 |        1
660.29/660.54	c  660s |      19 |   492351 |   485582 |    23840     40 |        0 |        1
662.39/662.62	c  662s |      19 |   493247 |   486482 |    23840     40 |        0 |        1
664.39/664.68	c  664s |      19 |   494163 |   487382 |    23840     40 |        0 |        1
666.59/666.80	c  666s |      19 |   495457 |   488682 |    23840     40 |        0 |        1
668.59/668.90	c  668s |      19 |   496552 |   489782 |    23840     41 |        0 |        1
670.89/671.14	c  670s |      19 |   497865 |   491082 |    23840     41 |        0 |        1
672.99/673.21	c  672s |      19 |   498960 |   492182 |    23840     41 |        0 |        1
675.08/675.33	c  674s |      19 |   500673 |   493882 |    23840     41 |        0 |        1
677.18/677.42	c  677s |      19 |   501979 |   495182 |    23840     41 |        0 |        1
679.28/679.51	c  679s |      19 |   502883 |   496082 |    23840     41 |        0 |        1
681.28/681.54	c  681s |      19 |   503978 |   497182 |    23840     41 |        0 |        1
683.38/683.66	c  683s |      19 |   505678 |   498882 |    23840     41 |        0 |        1
685.48/685.78	c  685s |      19 |   506682 |   499882 |    23840     41 |        0 |        1
687.58/687.85	c  687s |      19 |   507477 |   500682 |    23840     41 |        0 |        1
689.59/689.90	c  689s |      19 |   508589 |   501782 |    23840     41 |        0 |        1
691.79/692.05	c  691s |      19 |   509900 |   503082 |    23840     42 |        0 |        1
693.99/694.22	c  693s |      19 |   511288 |   504482 |    23840     42 |        0 |        1
696.09/696.34	c  695s |      19 |   513004 |   506182 |    23840     42 |        0 |        1
698.08/698.37	c  698s |      19 |   514205 |   507382 |    23840     42 |        0 |        1
700.18/700.40	c  700s |      19 |   515308 |   508482 |    23840     42 |        0 |        1
702.38/702.64	c  702s |      19 |   516806 |   509982 |    23840     42 |        0 |        1
704.48/704.75	c  704s |      19 |   517803 |   510982 |    23840     42 |        0 |        1
706.68/706.94	c  706s |      19 |   519315 |   512482 |    23840     42 |        0 |        1
708.78/709.08	c  708s |      19 |   520318 |   513482 |    23840     42 |        0 |        1
710.88/711.13	c  710s |      19 |   521710 |   514882 |    23840     42 |        0 |        1
713.08/713.37	c  713s |      19 |   522718 |   515882 |    23840     42 |        0 |        1
715.17/715.41	c  715s |      19 |   524027 |   517182 |    23840     42 |        0 |        1
717.17/717.42	c  717s |      19 |   524818 |   517982 |    23840     43 |        0 |        1
719.28/719.52	c  719s |      19 |   526624 |   519782 |    23840     43 |        0 |        1
721.27/721.59	c  721s |      19 |   528320 |   521482 |    23840     43 |        0 |        1
723.37/723.63	c  723s |      19 |   529929 |   523082 |    23840     43 |        0 |        1
725.47/725.78	c  725s |      19 |   531824 |   524982 |    23840     43 |        0 |        1
727.57/727.87	c  727s |      19 |   533637 |   526782 |    23840     43 |        0 |        1
729.57/729.89	c  729s |      19 |   535858 |   528982 |    23840     43 |        0 |        1
732.27/732.50	c  732s |      19 |   536186 |   529282 |    23840     43 |        0 |        1
734.27/734.59	c  734s |      19 |   536984 |   530082 |    23840     43 |        0 |        1
736.37/736.64	c  736s |      19 |   538380 |   531482 |    23840     43 |        0 |        1
738.37/738.67	c  738s |      19 |   538984 |   532082 |    23840     44 |        0 |        1
740.66/740.97	c  740s |      19 |   539901 |   532982 |    23840     44 |        0 |        1
742.76/743.08	c  742s |      19 |   542005 |   535082 |    23840     44 |        0 |        1
744.86/745.13	c  744s |      19 |   543500 |   536582 |    23840     44 |        0 |        1
747.06/747.31	c  746s |      19 |   545401 |   538482 |    23840     44 |        0 |        1
749.06/749.33	c  748s |      19 |   546806 |   539882 |    23840     44 |        0 |        1
751.17/751.43	c  751s |      19 |   548506 |   541582 |    23840     44 |        0 |        1
753.27/753.50	c  753s |      19 |   549812 |   542882 |    23840     44 |        0 |        1
755.26/755.52	c  755s |      19 |   551313 |   544382 |    23840     44 |        0 |        1
757.26/757.58	c  757s |      19 |   552706 |   545782 |    23840     44 |        0 |        1
759.36/759.66	c  759s |      19 |   553817 |   546882 |    23840     45 |        0 |        1
761.46/761.72	c  761s |      19 |   555618 |   548682 |    23840     45 |        0 |        1
763.56/763.81	c  763s |      19 |   557314 |   550382 |    23840     45 |        0 |        1
765.66/765.91	c  765s |      19 |   559120 |   552182 |    23840     45 |        0 |        1
767.77/768.00	c  767s |      19 |   560824 |   553882 |    23840     45 |        0 |        1
769.77/770.05	c  769s |      19 |   562628 |   555682 |    23840     45 |        0 |        1
773.56/773.88	c  773s |      19 |   564838 |   557882 |    23840     45 |        0 |        1
775.66/775.91	c  775s |      19 |   566235 |   559282 |    23840     45 |        0 |        1
778.76/779.08	c  778s |      19 |   567445 |   560482 |    23840     46 |        0 |        1
780.96/781.21	c  780s |      19 |   569342 |   562382 |    23840     46 |        0 |        1
782.97/783.21	c  782s |      19 |   571248 |   564282 |    23840     46 |        0 |        1
785.06/785.32	c  784s |      19 |   572942 |   565982 |    23840     46 |        0 |        1
787.16/787.41	c  787s |      19 |   574655 |   567682 |    23840     46 |        0 |        1
789.16/789.43	c  789s |      19 |   576447 |   569482 |    23840     46 |        0 |        1
791.16/791.44	c  791s |      19 |   578063 |   571082 |    23840     46 |        0 |        1
793.16/793.47	c  793s |      19 |   579962 |   572982 |    23840     46 |        0 |        1
796.06/796.34	c  795s |      19 |   580790 |   573782 |    23840     46 |        0 |        1
798.06/798.35	c  797s |      19 |   581989 |   574982 |    23840     46 |        0 |        1
800.16/800.44	c  800s |      19 |   583182 |   576182 |    23840     47 |        0 |        1
802.26/802.54	c  802s |      19 |   585197 |   578182 |    23840     47 |        0 |        1
804.26/804.58	c  804s |      19 |   587203 |   580182 |    23840     47 |        0 |        1
806.36/806.69	c  806s |      19 |   588909 |   581882 |    23840     47 |        0 |        1
808.46/808.71	c  808s |      19 |   590908 |   583882 |    23840     47 |        0 |        1
810.46/810.77	c  810s |      19 |   593105 |   586082 |    23840     47 |        0 |        1
812.55/812.86	c  812s |      19 |   595307 |   588282 |    23840     47 |        0 |        1
814.55/814.87	c  814s |      19 |   597014 |   589982 |    23840     47 |        0 |        1
816.65/816.97	c  816s |      19 |   598410 |   591382 |    23840     48 |        0 |        1
818.75/819.01	c  818s |      19 |   600512 |   593482 |    23840     48 |        0 |        1
820.75/821.03	c  820s |      19 |   602520 |   595482 |    23840     48 |        0 |        1
822.85/823.18	c  822s |      19 |   604121 |   597082 |    23840     48 |        0 |        1
824.95/825.29	c  824s |      19 |   605620 |   598582 |    23840     48 |        0 |        1
827.06/827.37	c  827s |      19 |   607528 |   600482 |    23840     48 |        0 |        1
829.05/829.39	c  829s |      19 |   608627 |   601582 |    23840     48 |        0 |        1
831.25/831.59	c  831s |      19 |   609723 |   602682 |    23840     48 |        0 |        1
833.35/833.60	c  833s |      19 |   610928 |   603882 |    23840     48 |        0 |        1
836.16/836.40	c  836s |      19 |   612531 |   605482 |    23840     49 |        0 |        1
842.46/842.78	c  842s |      19 |   613736 |   606682 |    23840     49 |        0 |        1
844.56/844.80	c  844s |      19 |   615330 |   608282 |    23840     49 |        0 |        1
846.55/846.85	c  846s |      19 |   617027 |   609982 |    23840     49 |        0 |        1
848.65/848.90	c  848s |      19 |   618928 |   611882 |    23840     49 |        0 |        1
850.65/850.92	c  850s |      19 |   619439 |   612382 |    23840     49 |        0 |        1
852.65/852.93	c  852s |      19 |   620635 |   613582 |    23840     49 |        0 |        1
854.85/855.12	c  854s |      19 |   621740 |   614682 |    23840     49 |        0 |        1
856.95/857.20	c  856s |      19 |   622837 |   615782 |    23840     49 |        0 |        1
859.05/859.32	c  858s |      19 |   624043 |   616982 |    23840     49 |        0 |        1
861.15/861.47	c  861s |      19 |   625139 |   618082 |    23840     49 |        0 |        1
863.25/863.58	c  863s |      19 |   626648 |   619582 |    23840     49 |        0 |        1
865.34/865.67	c  865s |      19 |   628346 |   621282 |    23840     49 |        0 |        1
867.44/867.73	c  867s |      19 |   629151 |   622082 |    23840     50 |        0 |        1
876.46/876.70	c  876s |      19 |   630563 |   623482 |    23840     50 |        0 |        1
878.45/878.77	c  878s |      19 |   632048 |   624982 |    23840     50 |        0 |        1
880.55/880.87	c  880s |      19 |   633556 |   626482 |    23840     50 |        0 |        1
882.65/882.95	c  882s |      19 |   635361 |   628282 |    23840     50 |        0 |        1
884.65/884.96	c  884s |      19 |   637063 |   629982 |    23840     50 |        0 |        1
886.65/886.99	c  886s |      19 |   639061 |   631982 |    23840     50 |        0 |        1
888.75/889.07	c  888s |      19 |   640965 |   633882 |    23840     50 |        0 |        1
891.45/891.73	c  891s |      19 |   641962 |   634882 |    23840     51 |        0 |        1
895.04/895.39	c  895s |      19 |   642165 |   635082 |    23840     51 |        0 |        1
897.14/897.41	c  897s |      19 |   643863 |   636782 |    23840     51 |        0 |        1
899.24/899.54	c  899s |      19 |   645564 |   638482 |    23840     51 |        0 |        1
901.24/901.59	c  901s |      19 |   647171 |   640082 |    23840     51 |        0 |        1
903.34/903.69	c  903s |      19 |   649074 |   641982 |    23840     51 |        0 |        1
905.44/905.79	c  905s |      19 |   651079 |   643982 |    23840     51 |        0 |        1
907.54/907.85	c  907s |      19 |   653381 |   646282 |    23840     51 |        0 |        1
910.84/911.13	c  910s |      19 |   653591 |   646482 |    23840     51 |        0 |        1
912.84/913.14	c  912s |      19 |   654792 |   647682 |    23840     51 |        0 |        1
915.14/915.40	c  915s |      19 |   655692 |   648582 |    23840     51 |        0 |        1
920.94/921.21	c  920s |      19 |   656295 |   649182 |    23840     52 |        0 |        1
922.94/923.24	c  922s |      19 |   657986 |   650882 |    23840     52 |        0 |        1
925.04/925.37	c  925s |      19 |   659690 |   652582 |    23840     52 |        0 |        1
927.05/927.38	c  927s |      19 |   661100 |   653982 |    23840     52 |        0 |        1
929.14/929.44	c  929s |      19 |   662491 |   655382 |    23840     52 |        0 |        1
931.24/931.57	c  931s |      19 |   663997 |   656882 |    23840     52 |        0 |        1
933.44/933.74	c  933s |      19 |   665605 |   658482 |    23840     52 |        0 |        1
935.54/935.88	c  935s |      19 |   667012 |   659882 |    23840     52 |        0 |        1
937.64/937.94	c  937s |      19 |   668515 |   661382 |    23840     52 |        0 |        1
939.74/940.00	c  939s |      19 |   669924 |   662782 |    26225     52 |        0 |        1
941.74/942.06	c  941s |      19 |   671538 |   664382 |    26225     52 |        0 |        1
948.13/948.42	c  948s |      19 |   672143 |   664982 |    26225     53 |        0 |        1
950.24/950.51	c  950s |      19 |   673561 |   666382 |    26225     53 |        0 |        1
950.84/951.11	c  950s |      20 |   673991 |   666827 |    26225     53 |        0 |        1
955.64/955.92	c  955s |      20 |   674525 |   667327 |    26225     53 |        0 |        1
957.63/957.97	c  957s |      20 |   676038 |   668827 |    26225     53 |        0 |        1
959.73/960.03	c  959s |      20 |   677111 |   669827 |    26225     53 |        0 |        1
961.83/962.19	c  961s |      20 |   678002 |   670727 |    26225     53 |        0 |        1
963.93/964.30	c  963s |      20 |   678899 |   671627 |    26225     53 |        0 |        1
966.23/966.54	c  966s |      20 |   680013 |   672727 |    26225     53 |        0 |        1
968.23/968.57	c  968s |      20 |   680802 |   673527 |    26225     53 |        0 |        1
970.43/970.71	c  970s |      20 |   681713 |   674427 |    26225     53 |        0 |        1
972.53/972.84	c  972s |      20 |   682719 |   675427 |    26225     53 |        0 |        1
974.53/974.88	c  974s |      20 |   683720 |   676427 |    26225     53 |        0 |        1
976.73/977.04	c  976s |      20 |   684818 |   677527 |    26225     53 |        0 |        1
978.93/979.27	c  978s |      20 |   685908 |   678627 |    26225     53 |        0 |        1
981.03/981.37	c  981s |      20 |   686915 |   679627 |    26225     53 |        0 |        1
983.03/983.40	c  983s |      20 |   687928 |   680627 |    26225     53 |        0 |        1
987.33/987.61	c  987s |      20 |   688619 |   681327 |    26225     54 |        0 |        1
989.33/989.67	c  989s |      20 |   690136 |   682827 |    26225     54 |        0 |        1
991.43/991.71	c  991s |      20 |   692242 |   684927 |    26225     54 |        0 |        1
999.64/999.94	c  999s |      20 |   692643 |   685327 |    26225     54 |        0 |        1
1001.63/1001.96	c 1001s |      20 |   693849 |   686527 |    26225     54 |        0 |        1
1003.73/1004.04	c 1003s |      20 |   695760 |   688427 |    26225     54 |        0 |        1
1005.83/1006.12	c 1005s |      20 |   696960 |   689627 |    26225     54 |        0 |        1
1007.93/1008.25	c 1007s |      20 |   697964 |   690627 |    26225     54 |        0 |        1
1010.03/1010.33	c 1009s |      20 |   699265 |   691927 |    26225     54 |        0 |        1
1012.13/1012.47	c 1012s |      20 |   700960 |   693627 |    26225     54 |        0 |        1
1014.23/1014.54	c 1014s |      20 |   701966 |   694627 |    26225     54 |        0 |        1
1016.24/1016.57	c 1016s |      20 |   702774 |   695427 |    26225     55 |        0 |        1
1018.34/1018.61	c 1018s |      20 |   703983 |   696627 |    26225     55 |        0 |        1
1020.43/1020.74	c 1020s |      20 |   705481 |   698127 |    26225     55 |        0 |        1
1022.43/1022.74	c 1022s |      20 |   706691 |   699327 |    26225     55 |        0 |        1
1024.63/1024.97	c 1024s |      20 |   707674 |   700327 |    26225     55 |        0 |        1
1026.63/1026.97	c 1026s |      20 |   708684 |   701327 |    26225     55 |        0 |        1
1028.93/1029.20	c 1028s |      20 |   710402 |   703027 |    26225     55 |        0 |        1
1030.93/1031.27	c 1030s |      20 |   711396 |   704027 |    26225     55 |        0 |        1
1033.03/1033.38	c 1033s |      20 |   712292 |   704927 |    26225     55 |        0 |        1
1035.13/1035.44	c 1035s |      20 |   713300 |   705927 |    26225     55 |        0 |        1
1037.13/1037.49	c 1037s |      20 |   714702 |   707327 |    26225     55 |        0 |        1
1039.23/1039.51	c 1039s |      20 |   715689 |   708327 |    26225     55 |        0 |        1
1041.22/1041.54	c 1041s |      20 |   717100 |   709727 |    26225     55 |        0 |        1
1043.32/1043.63	c 1043s |      20 |   718304 |   710927 |    26225     55 |        0 |        1
1045.32/1045.66	c 1045s |      20 |   719210 |   711827 |    26225     56 |        0 |        1
1047.42/1047.75	c 1047s |      20 |   721010 |   713627 |    26225     56 |        0 |        1
1049.52/1049.89	c 1049s |      20 |   722306 |   714927 |    26225     56 |        0 |        1
1051.72/1052.01	c 1051s |      20 |   723914 |   716527 |    26225     56 |        0 |        1
1053.72/1054.01	c 1053s |      20 |   725127 |   717727 |    26225     56 |        0 |        1
1055.83/1056.12	c 1055s |      20 |   726620 |   719227 |    26225     56 |        0 |        1
1057.93/1058.29	c 1057s |      20 |   727830 |   720427 |    26225     56 |        0 |        1
1060.02/1060.35	c 1059s |      20 |   729234 |   721827 |    26225     56 |        0 |        1
1062.02/1062.39	c 1062s |      20 |   730241 |   722827 |    26225     56 |        0 |        1
1064.22/1064.54	c 1064s |      20 |   731633 |   724227 |    26225     56 |        0 |        1
1066.22/1066.58	c 1066s |      20 |   732850 |   725427 |    26225     56 |        0 |        1
1068.32/1068.64	c 1068s |      20 |   734045 |   726627 |    26225     56 |        0 |        1
1070.32/1070.68	c 1070s |      20 |   735051 |   727627 |    26225     57 |        0 |        1
1072.42/1072.71	c 1072s |      20 |   736754 |   729327 |    26225     57 |        0 |        1
1074.42/1074.73	c 1074s |      20 |   738574 |   731127 |    26225     57 |        0 |        1
1076.42/1076.80	c 1076s |      20 |   740483 |   733027 |    26225     57 |        0 |        1
1078.92/1079.23	c 1078s |      20 |   740719 |   733227 |    26225     57 |        0 |        1
1081.02/1081.31	c 1080s |      20 |   741304 |   733827 |    26225     57 |        0 |        1
1083.01/1083.33	c 1082s |      20 |   742903 |   735427 |    26225     57 |        0 |        1
1085.11/1085.42	c 1085s |      20 |   744206 |   736727 |    26225     57 |        0 |        1
1087.21/1087.52	c 1087s |      20 |   746008 |   738527 |    26225     57 |        0 |        1
1089.21/1089.54	c 1089s |      20 |   747308 |   739827 |    26225     57 |        0 |        1
1091.21/1091.59	c 1091s |      20 |   749018 |   741527 |    26225     57 |        0 |        1
1093.51/1093.87	c 1093s |      20 |   750228 |   742727 |    26225     58 |        0 |        1
1095.51/1095.88	c 1095s |      20 |   751526 |   744027 |    26225     58 |        0 |        1
1097.62/1097.91	c 1097s |      20 |   753124 |   745627 |    26225     58 |        0 |        1
1099.61/1099.98	c 1099s |      20 |   754828 |   747327 |    26225     58 |        0 |        1
1101.71/1102.07	c 1101s |      20 |   756231 |   748727 |    26225     58 |        0 |        1
1103.71/1104.09	c 1103s |      20 |   757732 |   750227 |    26225     58 |        0 |        1
1105.91/1106.20	c 1105s |      20 |   759232 |   751727 |    26225     58 |        0 |        1
1108.01/1108.32	c 1107s |      20 |   760642 |   753127 |    26225     58 |        0 |        1
1110.11/1110.43	c 1110s |      20 |   761845 |   754327 |    26225     58 |        0 |        1
1112.11/1112.43	c 1112s |      20 |   763152 |   755627 |    26225     58 |        0 |        1
1114.21/1114.57	c 1114s |      20 |   764445 |   756927 |    26225     58 |        0 |        1
1116.41/1116.76	c 1116s |      20 |   765946 |   758427 |    26225     58 |        0 |        1
1118.61/1118.93	c 1118s |      20 |   766958 |   759427 |    26225     59 |        0 |        1
1120.61/1120.99	c 1120s |      20 |   769187 |   761627 |    26225     59 |        0 |        1
1124.02/1124.33	c 1123s |      20 |   769509 |   761927 |    26225     59 |        0 |        1
1126.01/1126.38	c 1126s |      20 |   770707 |   763127 |    26225     59 |        0 |        1
1128.21/1128.51	c 1128s |      20 |   772018 |   764427 |    26225     59 |        0 |        1
1130.31/1130.64	c 1130s |      20 |   773415 |   765827 |    26225     59 |        0 |        1
1132.41/1132.71	c 1132s |      20 |   774828 |   767227 |    26225     59 |        0 |        1
1134.41/1134.76	c 1134s |      20 |   776023 |   768427 |    26225     59 |        0 |        1
1136.51/1136.89	c 1136s |      20 |   777430 |   769827 |    26225     59 |        0 |        1
1138.71/1139.01	c 1138s |      20 |   778933 |   771327 |    26225     59 |        0 |        1
1140.71/1141.07	c 1140s |      20 |   780331 |   772727 |    26225     59 |        0 |        1
1142.81/1143.13	c 1142s |      20 |   781833 |   774227 |    26225     59 |        0 |        1
1145.01/1145.32	c 1144s |      20 |   782833 |   775227 |    26225     60 |        0 |        1
1147.02/1147.40	c 1147s |      20 |   784949 |   777327 |    26225     60 |        0 |        1
1149.11/1149.43	c 1149s |      20 |   786170 |   778527 |    26225     60 |        0 |        1
1151.31/1151.63	c 1151s |      20 |   787569 |   779927 |    26225     60 |        0 |        1
1153.41/1153.76	c 1153s |      20 |   788173 |   780527 |    26225     60 |        0 |        1
1155.51/1155.87	c 1155s |      20 |   789677 |   782027 |    26225     60 |        0 |        1
1157.71/1158.03	c 1157s |      20 |   790775 |   783127 |    26225     60 |        0 |        1
1159.70/1160.06	c 1159s |      20 |   791976 |   784327 |    26225     60 |        0 |        1
1161.80/1162.10	c 1161s |      20 |   792979 |   785327 |    26225     60 |        0 |        1
1163.80/1164.19	c 1163s |      20 |   794470 |   786827 |    26225     60 |        0 |        1
1165.90/1166.25	c 1165s |      20 |   795681 |   788027 |    26225     60 |        0 |        1
1167.91/1168.27	c 1167s |      20 |   796680 |   789027 |    26225     60 |        0 |        1
1170.00/1170.39	c 1170s |      20 |   797988 |   790327 |    26225     60 |        0 |        1
1172.31/1172.68	c 1172s |      20 |   799096 |   791427 |    26225     61 |        0 |        1
1174.40/1174.72	c 1174s |      20 |   801392 |   793727 |    26225     61 |        0 |        1
1176.40/1176.78	c 1176s |      20 |   803811 |   796127 |    26225     61 |        0 |        1
1178.50/1178.83	c 1178s |      20 |   804521 |   796827 |    26225     61 |        0 |        1
1180.60/1180.94	c 1180s |      20 |   806121 |   798427 |    26225     61 |        0 |        1
1182.60/1182.98	c 1182s |      20 |   807626 |   799927 |    26225     61 |        0 |        1
1184.80/1185.17	c 1184s |      20 |   809324 |   801627 |    26225     61 |        0 |        1
1186.80/1187.17	c 1186s |      20 |   811231 |   803527 |    26225     61 |        0 |        1
1188.91/1189.22	c 1188s |      20 |   812847 |   805127 |    26225     61 |        0 |        1
1190.90/1191.22	c 1190s |      20 |   814146 |   806427 |    26225     61 |        0 |        1
1193.40/1193.76	c 1193s |      20 |   815454 |   807727 |    26225     62 |        0 |        1
1195.40/1195.76	c 1195s |      20 |   817956 |   810227 |    26225     62 |        0 |        1
1197.50/1197.84	c 1197s |      20 |   820263 |   812527 |    26225     62 |        0 |        1
1199.60/1199.90	c 1199s |      20 |   822266 |   814527 |    26225     62 |        0 |        1
1201.60/1201.92	c 1201s |      20 |   824070 |   816327 |    26225     62 |        0 |        1
1203.60/1203.98	c 1203s |      20 |   825767 |   818027 |    26225     62 |        0 |        1
1205.69/1206.02	c 1205s |      20 |   827271 |   819527 |    26225     62 |        0 |        1
1207.79/1208.12	c 1207s |      20 |   828382 |   820627 |    26225     62 |        0 |        1
1209.80/1210.18	c 1209s |      20 |   830179 |   822427 |    26225     62 |        0 |        1
1212.09/1212.49	c 1212s |      20 |   831278 |   823527 |    26225     63 |        0 |        1
1214.21/1214.55	c 1214s |      20 |   831487 |   823727 |    26225     63 |        0 |        1
1216.31/1216.67	c 1216s |      20 |   832980 |   825227 |    26225     63 |        0 |        1
1218.40/1218.72	c 1218s |      20 |   834583 |   826827 |    26225     63 |        0 |        1
1220.40/1220.77	c 1220s |      20 |   836288 |   828527 |    26225     63 |        0 |        1
1222.60/1222.94	c 1222s |      20 |   837394 |   829627 |    26225     63 |        0 |        1
1224.60/1224.94	c 1224s |      20 |   838194 |   830427 |    26225     63 |        0 |        1
1226.70/1227.09	c 1226s |      20 |   839293 |   831527 |    26225     63 |        0 |        1
1228.80/1229.17	c 1228s |      20 |   840596 |   832827 |    26225     63 |        0 |        1
1231.00/1231.31	c 1230s |      20 |   842093 |   834327 |    26225     63 |        0 |        1
1233.19/1233.55	c 1233s |      20 |   842404 |   834627 |    26225     63 |        0 |        1
1235.19/1235.59	c 1235s |      20 |   843601 |   835827 |    26225     63 |        0 |        1
1237.30/1237.64	c 1237s |      20 |   844505 |   836727 |    26225     63 |        0 |        1
1239.40/1239.74	c 1239s |      20 |   845312 |   837527 |    26225     63 |        0 |        1
1241.70/1242.04	c 1241s |      20 |   846304 |   838527 |    26225     63 |        0 |        1
1243.90/1244.22	c 1243s |      20 |   847207 |   839427 |    26225     63 |        0 |        1
1245.89/1246.22	c 1245s |      20 |   847814 |   840027 |    26225     64 |        0 |        1
1247.89/1248.25	c 1247s |      20 |   849713 |   841927 |    26225     64 |        0 |        1
1249.89/1250.27	c 1249s |      20 |   851921 |   844127 |    26225     64 |        0 |        1
1252.09/1252.44	c 1252s |      20 |   853329 |   845527 |    26225     64 |        0 |        1
1264.59/1264.90	c 1264s |      20 |   853827 |   846027 |    26225     64 |        0 |        1
1266.69/1267.07	c 1266s |      20 |   855119 |   847327 |    26225     64 |        0 |        1
1268.79/1269.10	c 1268s |      20 |   856125 |   848327 |    26225     64 |        0 |        1
1270.78/1271.11	c 1270s |      20 |   857030 |   849227 |    26225     64 |        0 |        1
1272.88/1273.22	c 1272s |      20 |   858224 |   850427 |    26225     64 |        0 |        1
1274.88/1275.24	c 1274s |      20 |   859229 |   851427 |    26225     64 |        0 |        1
1277.08/1277.40	c 1277s |      20 |   860624 |   852827 |    26225     64 |        0 |        1
1279.18/1279.52	c 1279s |      20 |   862127 |   854327 |    26225     64 |        0 |        1
1281.29/1281.62	c 1281s |      20 |   863367 |   855527 |    26225     65 |        0 |        1
1283.39/1283.78	c 1283s |      20 |   864764 |   856927 |    26225     65 |        0 |        1
1289.09/1289.49	c 1289s |      20 |   865469 |   857627 |    26225     65 |        0 |        1
1291.19/1291.52	c 1291s |      20 |   867166 |   859327 |    26225     65 |        0 |        1
1293.18/1293.56	c 1293s |      20 |   868876 |   861027 |    26225     65 |        0 |        1
1295.18/1295.57	c 1295s |      20 |   870375 |   862527 |    26225     65 |        0 |        1
1297.28/1297.61	c 1297s |      20 |   871877 |   864027 |    26225     65 |        0 |        1
1299.28/1299.69	c 1299s |      20 |   873469 |   865627 |    26225     65 |        0 |        1
1301.38/1301.71	c 1301s |      20 |   874977 |   867127 |    26225     65 |        0 |        1
1309.48/1309.89	c 1309s |      20 |   876890 |   869027 |    26225     65 |        0 |        1
1311.58/1311.99	c 1311s |      20 |   878092 |   870227 |    26225     65 |        0 |        1
1313.68/1314.04	c 1313s |      20 |   878803 |   870927 |    26225     66 |        0 |        1
1320.08/1320.40	c 1320s |      20 |   879912 |   872027 |    26225     66 |        0 |        1
1322.08/1322.42	c 1322s |      20 |   881501 |   873627 |    26225     66 |        0 |        1
1324.19/1324.54	c 1324s |      20 |   882709 |   874827 |    26225     66 |        0 |        1
1326.29/1326.66	c 1326s |      20 |   884110 |   876227 |    26225     66 |        0 |        1
1328.38/1328.74	c 1328s |      20 |   885215 |   877327 |    26225     66 |        0 |        1
1330.58/1330.91	c 1330s |      20 |   886613 |   878727 |    26225     66 |        0 |        1
1332.58/1332.99	c 1332s |      20 |   888018 |   880127 |    26225     66 |        0 |        1
1334.68/1335.07	c 1334s |      20 |   889225 |   881327 |    26225     66 |        0 |        1
1336.88/1337.25	c 1336s |      20 |   890415 |   882527 |    26225     66 |        0 |        1
1338.98/1339.32	c 1338s |      20 |   891720 |   883827 |    26225     66 |        0 |        1
1340.98/1341.33	c 1340s |      20 |   892930 |   885027 |    26225     66 |        0 |        1
1342.98/1343.39	c 1343s |      20 |   894129 |   886227 |    26225     66 |        0 |        1
1345.88/1346.25	c 1345s |      20 |   895138 |   887227 |    26225     67 |        0 |        1
1347.98/1348.39	c 1348s |      20 |   897242 |   889327 |    26225     67 |        0 |        1
1350.18/1350.56	c 1350s |      20 |   898848 |   890927 |    26225     67 |        0 |        1
1352.18/1352.59	c 1352s |      20 |   900160 |   892227 |    26225     67 |        0 |        1
1354.28/1354.64	c 1354s |      20 |   901245 |   893327 |    26225     67 |        0 |        1
1360.18/1360.51	c 1360s |      20 |   901464 |   893527 |    26225     67 |        0 |        1
1362.28/1362.62	c 1362s |      20 |   903152 |   895227 |    26225     67 |        0 |        1
1364.38/1364.72	c 1364s |      20 |   904362 |   896427 |    26225     67 |        0 |        1
1366.48/1366.88	c 1366s |      20 |   905863 |   897927 |    26225     67 |        0 |        1
1368.48/1368.89	c 1368s |      20 |   907267 |   899327 |    26225     67 |        0 |        1
1370.78/1371.16	c 1370s |      20 |   908465 |   900527 |    26225     67 |        0 |        1
1372.98/1373.37	c 1373s |      20 |   910071 |   902127 |    26225     67 |        0 |        1
1375.07/1375.46	c 1375s |      20 |   910969 |   903027 |    26225     68 |        0 |        1
1377.07/1377.46	c 1377s |      20 |   912877 |   904927 |    26225     68 |        0 |        1
1379.18/1379.55	c 1379s |      20 |   914679 |   906727 |    26225     68 |        0 |        1
1381.28/1381.61	c 1381s |      20 |   916686 |   908727 |    26225     68 |        0 |        1
1383.27/1383.69	c 1383s |      20 |   918678 |   910727 |    26225     68 |        0 |        1
1385.37/1385.70	c 1385s |      20 |   920177 |   912227 |    26225     68 |        0 |        1
1387.47/1387.82	c 1387s |      20 |   921495 |   913527 |    26225     68 |        0 |        1
1389.57/1389.99	c 1389s |      20 |   922586 |   914627 |    26225     68 |        0 |        1
1394.37/1394.70	c 1394s |      20 |   923396 |   915427 |    26225     68 |        0 |        1
1405.37/1405.77	c 1405s |      20 |   923806 |   915827 |    26225     68 |        0 |        1
1407.47/1407.89	c 1407s |      20 |   925302 |   917327 |    26225     68 |        0 |        1
1409.57/1409.96	c 1409s |      20 |   926293 |   918327 |    26225     69 |        0 |        1
1421.66/1422.08	c 1421s |      20 |   927617 |   919627 |    26225     69 |        0 |        1
1423.86/1424.21	c 1423s |      20 |   929403 |   921427 |    26225     69 |        0 |        1
1425.96/1426.33	c 1425s |      20 |   930601 |   922627 |    26225     69 |        0 |        1
1428.06/1428.41	c 1428s |      20 |   931713 |   923727 |    26225     69 |        0 |        1
1430.06/1430.49	c 1430s |      20 |   933320 |   925327 |    26225     69 |        0 |        1
1432.36/1432.71	c 1432s |      20 |   934513 |   926527 |    26225     69 |        0 |        1
1434.56/1434.99	c 1434s |      20 |   936124 |   928127 |    26225     69 |        0 |        1
1436.86/1437.20	c 1436s |      20 |   937111 |   929127 |    26225     69 |        0 |        1
1438.86/1439.21	c 1438s |      20 |   938125 |   930127 |    26225     69 |        0 |        1
1440.96/1441.37	c 1441s |      20 |   939316 |   931327 |    26225     69 |        0 |        1
1443.26/1443.60	c 1443s |      20 |   940213 |   932227 |    26225     69 |        0 |        1
1445.76/1446.11	c 1445s |      20 |   941535 |   933527 |    26225     70 |        0 |        1
1447.76/1448.17	c 1447s |      20 |   943029 |   935027 |    26225     70 |        0 |        1
1449.76/1450.18	c 1449s |      20 |   944625 |   936627 |    26225     70 |        0 |        1
1451.86/1452.21	c 1451s |      20 |   946325 |   938327 |    26225     70 |        0 |        1
1453.96/1454.33	c 1453s |      20 |   947928 |   939927 |    26225     70 |        0 |        1
1456.06/1456.47	c 1456s |      20 |   949428 |   941427 |    26225     70 |        0 |        1
1458.26/1458.64	c 1458s |      20 |   950836 |   942827 |    26225     70 |        0 |        1
1460.36/1460.72	c 1460s |      20 |   952341 |   944327 |    26225     70 |        0 |        1
1462.45/1462.86	c 1462s |      20 |   953941 |   945927 |    26225     70 |        0 |        1
1464.45/1464.88	c 1464s |      20 |   955551 |   947527 |    26225     70 |        0 |        1
1467.06/1467.44	c 1467s |      20 |   956256 |   948227 |    26225     71 |        0 |        1
1469.15/1469.54	c 1469s |      20 |   957660 |   949627 |    26225     71 |        0 |        1
1471.25/1471.67	c 1471s |      20 |   958858 |   950827 |    26225     71 |        0 |        1
1473.35/1473.72	c 1473s |      20 |   959769 |   951727 |    26225     71 |        0 |        1
1475.35/1475.77	c 1475s |      20 |   960556 |   952527 |    26225     71 |        0 |        1
1478.96/1479.36	c 1478s |      20 |   960876 |   952827 |    26225     71 |        0 |        1
1481.06/1481.43	c 1481s |      20 |   962366 |   954327 |    26225     71 |        0 |        1
1483.16/1483.54	c 1483s |      20 |   963476 |   955427 |    26225     71 |        0 |        1
1485.36/1485.71	c 1485s |      20 |   964370 |   956327 |    26225     71 |        0 |        1
1487.45/1487.81	c 1487s |      20 |   965170 |   957127 |    26225     71 |        0 |        1
1489.55/1489.92	c 1489s |      20 |   966582 |   958527 |    26225     71 |        0 |        1
1491.55/1491.93	c 1491s |      20 |   967578 |   959527 |    26225     71 |        0 |        1
1493.85/1494.22	c 1493s |      20 |   968478 |   960427 |    26225     71 |        0 |        1
1495.85/1496.22	c 1495s |      20 |   969688 |   961627 |    26225     71 |        0 |        1
1497.96/1498.33	c 1497s |      20 |   970682 |   962627 |    26225     71 |        0 |        1
1500.55/1500.99	c 1500s |      20 |   971374 |   963327 |    26225     72 |        0 |        1
1502.65/1503.06	c 1502s |      20 |   972492 |   964427 |    26225     72 |        0 |        1
1504.75/1505.11	c 1504s |      20 |   973892 |   965827 |    26225     72 |        0 |        1
1506.85/1507.28	c 1506s |      20 |   974987 |   966927 |    26225     72 |        0 |        1
1508.96/1509.32	c 1508s |      20 |   976494 |   968427 |    26225     72 |        0 |        1
1510.95/1511.35	c 1510s |      20 |   977599 |   969527 |    26225     72 |        0 |        1
1513.05/1513.45	c 1513s |      20 |   979095 |   971027 |    26225     72 |        0 |        1
1515.25/1515.62	c 1515s |      20 |   980200 |   972127 |    26225     72 |        0 |        1
1517.25/1517.68	c 1517s |      20 |   981497 |   973427 |    26225     72 |        0 |        1
1519.35/1519.71	c 1519s |      20 |   982504 |   974427 |    26225     72 |        0 |        1
1521.45/1521.80	c 1521s |      20 |   983705 |   975627 |    26225     72 |        0 |        1
1523.55/1523.92	c 1523s |      20 |   985003 |   976927 |    26225     72 |        0 |        1
1525.65/1526.09	c 1525s |      20 |   986008 |   977927 |    26225     72 |        0 |        1
1527.95/1528.34	c 1527s |      20 |   987302 |   979227 |    26225     72 |        0 |        1
1530.05/1530.40	c 1530s |      20 |   988308 |   980227 |    26225     73 |        0 |        1
1532.05/1532.43	c 1532s |      20 |   990006 |   981927 |    26225     73 |        0 |        1
1534.15/1534.56	c 1534s |      20 |   991721 |   983627 |    26225     73 |        0 |        1
1537.05/1537.44	c 1537s |      20 |   993660 |   985527 |    26225     73 |        0 |        1
1539.24/1539.60	c 1539s |      20 |   994353 |   986227 |    26225     73 |        0 |        1
1541.24/1541.66	c 1541s |      20 |   995666 |   987527 |    26225     73 |        0 |        1
1543.34/1543.78	c 1543s |      20 |   996650 |   988527 |    26225     73 |        0 |        1
1545.64/1546.08	c 1545s |      20 |   997553 |   989427 |    26225     73 |        0 |        1
1547.94/1548.34	c 1547s |      20 |   998364 |   990227 |    26225     73 |        0 |        1
1556.75/1557.10	c 1556s |      20 |   998764 |   990627 |    26225     73 |        0 |        1
1558.85/1559.21	c 1558s |      20 |  1000368 |   992227 |    26225     73 |        0 |        1
1560.85/1561.22	c 1560s |      20 |  1001381 |   993227 |    28848     73 |        0 |        1
1563.05/1563.44	c 1563s |      20 |  1002178 |   994027 |    28848     73 |        0 |        1
1565.05/1565.45	c 1565s |      20 |  1002880 |   994727 |    28848     73 |        0 |        1
1567.15/1567.57	c 1567s |      20 |  1003473 |   995327 |    28848     73 |        0 |        1
1569.24/1569.65	c 1569s |      20 |  1004377 |   996227 |    28848     73 |        0 |        1
1571.34/1571.75	c 1571s |      20 |  1005773 |   997627 |    28848     73 |        0 |        1
1573.44/1573.85	c 1573s |      20 |  1006885 |   998727 |    28848     74 |        0 |        1
1575.64/1576.01	c 1575s |      20 |  1007878 |   999727 |    28848     74 |        0 |        1
1576.74/1577.10	c 1576s |      21 |  1008501 |  1000345 |    28848     74 |        0 |        1
1578.84/1579.20	c 1578s |      21 |  1009570 |  1001345 |    28848     74 |        0 |        1
1580.84/1581.25	c 1580s |      21 |  1011171 |  1002945 |    28848     74 |        0 |        1
1582.94/1583.34	c 1582s |      21 |  1012382 |  1004145 |    28848     74 |        0 |        1
1584.94/1585.37	c 1585s |      21 |  1014080 |  1005845 |    28848     74 |        0 |        1
1586.95/1587.39	c 1587s |      21 |  1015199 |  1006945 |    28848     74 |        0 |        1
1589.04/1589.40	c 1589s |      21 |  1016698 |  1008445 |    28848     74 |        0 |        1
1591.04/1591.41	c 1591s |      21 |  1017792 |  1009545 |    28848     74 |        0 |        1
1593.14/1593.52	c 1593s |      21 |  1019289 |  1011045 |    28848     74 |        0 |        1
1595.14/1595.60	c 1595s |      21 |  1020387 |  1012145 |    28848     74 |        0 |        1
1597.24/1597.69	c 1597s |      21 |  1021802 |  1013545 |    28848     74 |        0 |        1
1599.74/1600.12	c 1599s |      21 |  1022808 |  1014545 |    28848     75 |        0 |        1
1601.74/1602.13	c 1601s |      21 |  1024512 |  1016245 |    28848     75 |        0 |        1
1603.74/1604.19	c 1603s |      21 |  1026108 |  1017845 |    28848     75 |        0 |        1
1605.94/1606.30	c 1605s |      21 |  1027715 |  1019445 |    28848     75 |        0 |        1
1607.94/1608.31	c 1607s |      21 |  1029111 |  1020845 |    28848     75 |        0 |        1
1609.94/1610.36	c 1610s |      21 |  1030622 |  1022345 |    28848     75 |        0 |        1
1612.04/1612.40	c 1612s |      21 |  1032112 |  1023845 |    28848     75 |        0 |        1
1614.14/1614.55	c 1614s |      21 |  1033625 |  1025345 |    28848     75 |        0 |        1
1616.14/1616.57	c 1616s |      21 |  1035125 |  1026845 |    28848     75 |        0 |        1
1622.43/1622.89	c 1622s |      21 |  1036380 |  1028045 |    28848     75 |        0 |        1
1629.43/1629.86	c 1629s |      21 |  1036564 |  1028245 |    28848     75 |        0 |        1
1631.63/1632.01	c 1631s |      21 |  1037258 |  1028945 |    28848     75 |        0 |        1
1633.73/1634.16	c 1633s |      21 |  1038471 |  1030145 |    28848     75 |        0 |        1
1637.13/1637.53	c 1637s |      21 |  1039375 |  1031045 |    28848     76 |        0 |        1
1639.23/1639.63	c 1639s |      21 |  1040678 |  1032345 |    28848     76 |        0 |        1
1641.23/1641.66	c 1641s |      21 |  1042385 |  1034045 |    28848     76 |        0 |        1
1643.43/1643.80	c 1643s |      21 |  1043684 |  1035345 |    28848     76 |        0 |        1
1645.43/1645.86	c 1645s |      21 |  1045178 |  1036845 |    28848     76 |        0 |        1
1647.54/1647.95	c 1647s |      21 |  1046579 |  1038245 |    28848     76 |        0 |        1
1649.64/1650.01	c 1649s |      21 |  1047575 |  1039245 |    28848     76 |        0 |        1
1651.73/1652.19	c 1651s |      21 |  1049091 |  1040745 |    28848     76 |        0 |        1
1653.93/1654.30	c 1653s |      21 |  1050187 |  1041845 |    28848     76 |        0 |        1
1655.93/1656.31	c 1655s |      21 |  1051393 |  1043045 |    28848     76 |        0 |        1
1658.03/1658.42	c 1658s |      21 |  1052500 |  1044145 |    28848     76 |        0 |        1
1660.13/1660.57	c 1660s |      21 |  1053501 |  1045145 |    28848     76 |        0 |        1
1662.23/1662.62	c 1662s |      21 |  1054711 |  1046345 |    28848     76 |        0 |        1
1664.33/1664.79	c 1664s |      21 |  1055601 |  1047245 |    28848     76 |        0 |        1
1667.23/1667.62	c 1667s |      21 |  1056913 |  1048545 |    28848     77 |        0 |        1
1669.33/1669.72	c 1669s |      21 |  1058519 |  1050145 |    28848     77 |        0 |        1
1671.43/1671.80	c 1671s |      21 |  1060112 |  1051745 |    28848     77 |        0 |        1
1673.43/1673.85	c 1673s |      21 |  1061516 |  1053145 |    28848     77 |        0 |        1
1675.53/1675.91	c 1675s |      21 |  1063212 |  1054845 |    28848     77 |        0 |        1
1677.53/1677.93	c 1677s |      21 |  1064714 |  1056345 |    28848     77 |        0 |        1
1679.52/1679.95	c 1679s |      21 |  1066226 |  1057845 |    28848     77 |        0 |        1
1681.63/1682.04	c 1681s |      21 |  1067729 |  1059345 |    28848     77 |        0 |        1
1686.42/1686.88	c 1686s |      21 |  1069247 |  1060845 |    28848     77 |        0 |        1
1688.52/1688.93	c 1688s |      21 |  1069830 |  1061445 |    28848     77 |        0 |        1
1690.63/1691.05	c 1690s |      21 |  1070745 |  1062345 |    28848     77 |        0 |        1
1692.73/1693.19	c 1692s |      21 |  1071547 |  1063145 |    28848     77 |        0 |        1
1694.93/1695.35	c 1694s |      21 |  1072155 |  1063745 |    28848     77 |        0 |        1
1696.93/1697.35	c 1696s |      21 |  1073053 |  1064645 |    28848     77 |        0 |        1
1699.92/1700.32	c 1699s |      21 |  1073744 |  1065345 |    28848     78 |        0 |        1
1701.92/1702.39	c 1702s |      21 |  1075147 |  1066745 |    28848     78 |        0 |        1
1703.92/1704.39	c 1704s |      21 |  1076756 |  1068345 |    28848     78 |        0 |        1
1706.02/1706.42	c 1706s |      21 |  1078457 |  1070045 |    28848     78 |        0 |        1
1708.12/1708.50	c 1708s |      21 |  1079949 |  1071545 |    28848     78 |        0 |        1
1710.13/1710.58	c 1710s |      21 |  1081557 |  1073145 |    28848     78 |        0 |        1
1712.22/1712.65	c 1712s |      21 |  1083358 |  1074945 |    28848     78 |        0 |        1
1714.32/1714.72	c 1714s |      21 |  1084962 |  1076545 |    28848     78 |        0 |        1
1716.32/1716.74	c 1716s |      21 |  1086461 |  1078045 |    28848     78 |        0 |        1
1719.72/1720.12	c 1719s |      21 |  1087788 |  1079345 |    28848     78 |        0 |        1
1721.72/1722.19	c 1721s |      21 |  1088783 |  1080345 |    28848     78 |        0 |        1
1723.92/1724.31	c 1723s |      21 |  1089887 |  1081445 |    28848     78 |        0 |        1
1726.02/1726.41	c 1726s |      21 |  1090889 |  1082445 |    28848     78 |        0 |        1
1728.02/1728.49	c 1728s |      21 |  1091693 |  1083245 |    28848     79 |        0 |        1
1730.12/1730.53	c 1730s |      21 |  1093198 |  1084745 |    28848     79 |        0 |        1
1732.22/1732.63	c 1732s |      21 |  1095202 |  1086745 |    28848     79 |        0 |        1
1734.32/1734.72	c 1734s |      21 |  1097422 |  1088945 |    28848     79 |        0 |        1
1736.32/1736.79	c 1736s |      21 |  1099019 |  1090545 |    28848     79 |        0 |        1
1738.42/1738.84	c 1738s |      21 |  1100827 |  1092345 |    28848     79 |        0 |        1
1740.52/1740.93	c 1740s |      21 |  1102653 |  1094145 |    28848     79 |        0 |        1
1742.62/1743.03	c 1742s |      21 |  1104657 |  1096145 |    28848     79 |        0 |        1
1744.72/1745.15	c 1744s |      21 |  1106361 |  1097845 |    28848     79 |        0 |        1
1746.82/1747.22	c 1746s |      21 |  1107858 |  1099345 |    28848     79 |        0 |        1
1748.92/1749.35	c 1748s |      21 |  1109267 |  1100745 |    28848     79 |        0 |        1
1751.01/1751.45	c 1751s |      21 |  1110269 |  1101745 |    28848     80 |        0 |        1
1753.02/1753.48	c 1753s |      21 |  1112275 |  1103745 |    28848     80 |        0 |        1
1755.12/1755.55	c 1755s |      21 |  1113678 |  1105145 |    28848     80 |        0 |        1
1757.22/1757.63	c 1757s |      21 |  1115774 |  1107245 |    28848     80 |        0 |        1
1759.32/1759.73	c 1759s |      21 |  1117189 |  1108645 |    28848     80 |        0 |        1
1761.32/1761.74	c 1761s |      21 |  1118480 |  1109945 |    28848     80 |        0 |        1
1763.32/1763.77	c 1763s |      21 |  1119886 |  1111345 |    28848     80 |        0 |        1
1765.51/1765.90	c 1765s |      21 |  1121179 |  1112645 |    28848     80 |        0 |        1
1767.61/1768.06	c 1767s |      21 |  1122185 |  1113645 |    28848     80 |        0 |        1
1769.81/1770.25	c 1769s |      21 |  1123189 |  1114645 |    28848     80 |        0 |        1
1772.01/1772.42	c 1772s |      21 |  1124193 |  1115645 |    28848     80 |        0 |        1
1774.11/1774.52	c 1774s |      21 |  1125295 |  1116745 |    28848     80 |        0 |        1
1776.12/1776.58	c 1776s |      21 |  1126396 |  1117845 |    28848     80 |        0 |        1
1779.11/1779.56	c 1779s |      21 |  1127891 |  1119345 |    28848     81 |        0 |        1
1781.21/1781.66	c 1781s |      21 |  1129099 |  1120545 |    28848     81 |        0 |        1
1794.20/1794.64	c 1794s |      21 |  1129205 |  1120645 |    28848     81 |        0 |        1
1796.20/1796.67	c 1796s |      21 |  1130605 |  1122045 |    28848     81 |        0 |        1
1798.30/1798.78	c 1798s |      21 |  1132296 |  1123745 |    28848     81 |        0 |        1

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-4119960-1467279947/watcher-4119960-1467279947 -o /tmp/evaluation-result-4119960-1467279947/solver-4119960-1467279947 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467279947-10940 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119960-1467279947.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.04 1.17 3/234 10959
/proc/meminfo: memFree=31326236/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 4 0 9101208 246870016 1670 33554432000 4194304 16246674 140733987054512 140733987053936 13847824 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10959/statm: 60271 1672 436 2943 0 57165 0
[pid=10959/tid=10961] ppid=10956 vsize=243132 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 248967168 1694 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=247228 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 253161472 1711 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=251324 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 257355776 1727 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 1.06 1.04 1.17 3/234 10959
/proc/meminfo: memFree=31326236/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 23510 0 0 0 5 3 0 0 20 0 4 0 9101208 1250496512 24319 33554432000 4194304 16246674 140733987054512 140733987053824 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10959/statm: 305297 24319 800 2943 0 302191 0
[pid=10959/tid=10961] ppid=10956 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1250496512 24319 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1250496512 24321 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1250496512 24323 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200447 s]
/proc/loadavg: 1.06 1.04 1.17 3/234 10959
/proc/meminfo: memFree=31326236/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1302084 CPUtime=0.18 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 43797 0 0 0 12 6 0 0 20 0 4 0 9101208 1333334016 44606 33554432000 4194304 16246674 140733987054512 140733987036416 5590960 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10959/statm: 325521 44606 833 2943 0 322415 0
[pid=10959/tid=10961] ppid=10956 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1333334016 44606 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1333334016 44606 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1333334016 44606 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300356 s]
/proc/loadavg: 1.06 1.04 1.17 3/234 10959
/proc/meminfo: memFree=31326236/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 62647 0 0 0 19 9 0 0 20 0 4 0 9101208 1345916928 63456 33554432000 4194304 16246674 140733987054512 140733987037504 13950184 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10959/statm: 328593 63456 879 2943 0 325487 0
[pid=10959/tid=10961] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 63456 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 63456 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 63456 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700286 s]
/proc/loadavg: 1.06 1.04 1.17 3/234 10959
/proc/meminfo: memFree=31326236/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 74612 0 0 0 57 11 0 0 20 0 4 0 9101208 1345916928 75421 33554432000 4194304 16246674 140733987054512 140733987036416 6837038 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10959/statm: 328593 75421 915 2943 0 325487 0
[pid=10959/tid=10961] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 75421 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 75421 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 75421 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 1.06 1.04 1.17 3/247 10977
/proc/meminfo: memFree=30421652/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 187805 0 0 0 123 26 0 0 20 0 4 0 9101208 1345916928 188614 33554432000 4194304 16246674 140733987054512 140733987036416 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 328593 188622 915 2943 0 325487 0
[pid=10959/tid=10961] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 188624 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 188629 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 188633 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 1.13 1.05 1.17 3/247 10977
/proc/meminfo: memFree=29868852/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1314372 CPUtime=3.08 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 269803 0 0 0 271 37 0 0 20 0 4 0 9101208 1345916928 270612 33554432000 4194304 16246674 140733987054512 140733987036416 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 328593 270612 916 2943 0 325487 0
[pid=10959/tid=10961] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270612 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270612 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270612 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372

[startup+6.30039 s]
/proc/loadavg: 1.13 1.05 1.17 3/247 10977
/proc/meminfo: memFree=29868024/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1314372 CPUtime=6.28 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 269803 0 0 0 591 37 0 0 20 0 4 0 9101208 1345916928 270612 33554432000 4194304 16246674 140733987054512 140733987036416 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 328593 270612 916 2943 0 325487 0
[pid=10959/tid=10961] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270612 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270612 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270612 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 1.26 1.08 1.18 3/247 10977
/proc/meminfo: memFree=29858544/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1314372 CPUtime=12.68 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 269808 0 0 0 1231 37 0 0 20 0 4 0 9101208 1345916928 270617 33554432000 4194304 16246674 140733987054512 140733987037512 13774488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 328593 270617 917 2943 0 325487 0
[pid=10959/tid=10961] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270617 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270617 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270617 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 1.38 1.11 1.19 3/247 10977
/proc/meminfo: memFree=29469276/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 269810 0 0 0 2511 37 0 0 20 0 4 0 9101208 1345916928 270618 33554432000 4194304 16246674 140733987054512 140733987036416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 328593 270618 918 2943 0 325487 0
[pid=10959/tid=10961] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270618 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270618 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270618 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 1.59 1.18 1.21 3/247 10977
/proc/meminfo: memFree=29469992/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1314372 CPUtime=51.07 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 269822 0 0 0 5070 37 0 0 20 0 4 0 9101208 1345916928 270618 33554432000 4194304 16246674 140733987054512 140733987036416 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 328593 270618 918 2943 0 325487 0
[pid=10959/tid=10961] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270618 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270618 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1345916928 270618 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 1.83 1.32 1.25 3/247 10978
/proc/meminfo: memFree=29427220/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1356356 CPUtime=102.26 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 280334 0 0 0 10187 39 0 0 20 0 4 0 9101208 1388908544 281114 33554432000 4194304 16246674 140733987054512 140733987036416 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 339089 281114 918 2943 0 335983 0
[pid=10959/tid=10961] ppid=10956 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1388908544 281114 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1388908544 281114 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1388908544 281114 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1356356


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

/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1381956

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.80 3/247 11031
/proc/meminfo: memFree=28363008/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1381956 CPUtime=1301.98 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 286941 0 0 0 130137 61 0 0 20 0 4 0 9101208 1415122944 287515 33554432000 4194304 16246674 140733987054512 140733987036416 5600476 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 345489 287515 919 2943 0 342383 0
[pid=10959/tid=10961] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1381956

[startup+1362.3 s]
/proc/loadavg: 2.12 2.05 1.82 3/247 11032
/proc/meminfo: memFree=28303780/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1381956 CPUtime=1361.98 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 286941 0 0 0 136135 63 0 0 20 0 4 0 9101208 1415122944 287515 33554432000 4194304 16246674 140733987054512 140733987036416 6022333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 345489 287515 919 2943 0 342383 0
[pid=10959/tid=10961] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1381956

[startup+1422.3 s]
/proc/loadavg: 2.04 2.04 1.83 3/248 11042
/proc/meminfo: memFree=28231440/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1381956 CPUtime=1421.97 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 286941 0 0 0 142132 65 0 0 20 0 4 0 9101208 1415122944 287515 33554432000 4194304 16246674 140733987054512 140733987053688 13774516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 345489 287515 919 2943 0 342383 0
[pid=10959/tid=10961] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1381956

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.83 4/248 11045
/proc/meminfo: memFree=28165024/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1381956 CPUtime=1481.96 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 286941 0 0 0 148130 66 0 0 20 0 4 0 9101208 1415122944 287515 33554432000 4194304 16246674 140733987054512 140733987036416 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 345489 287515 919 2943 0 342383 0
[pid=10959/tid=10961] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1381956

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 1.84 3/247 11046
/proc/meminfo: memFree=28109888/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1381956 CPUtime=1541.95 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 286941 0 0 0 154129 66 0 0 20 0 4 0 9101208 1415122944 287515 33554432000 4194304 16246674 140733987054512 140733987036416 6023286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 345489 287515 919 2943 0 342383 0
[pid=10959/tid=10961] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1415122944 287515 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1381956

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 1.85 3/247 11047
/proc/meminfo: memFree=28043204/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1384004 CPUtime=1601.94 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 287453 0 0 0 160127 67 0 0 20 0 4 0 9101208 1417220096 288027 33554432000 4194304 16246674 140733987054512 140733987036416 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 346001 288027 919 2943 0 342895 0
[pid=10959/tid=10961] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1384004

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/247 11048
/proc/meminfo: memFree=27995620/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1384004 CPUtime=1661.93 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 287453 0 0 0 166125 68 0 0 20 0 4 0 9101208 1417220096 288027 33554432000 4194304 16246674 140733987054512 140733987037512 5823682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 346001 288027 919 2943 0 342895 0
[pid=10959/tid=10961] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1384004

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 1.87 3/247 11050
/proc/meminfo: memFree=27935896/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1384004 CPUtime=1721.92 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 287453 0 0 0 172123 69 0 0 20 0 4 0 9101208 1417220096 288027 33554432000 4194304 16246674 140733987054512 140733987036416 5823355 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 346001 288027 919 2943 0 342895 0
[pid=10959/tid=10961] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1417220096 288027 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1384004

[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 1.88 3/247 11051
/proc/meminfo: memFree=27878892/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1406532 CPUtime=1781.91 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 293085 0 0 0 178121 70 0 0 20 0 4 0 9101208 1440288768 293659 33554432000 4194304 16246674 140733987054512 140733987036416 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 351633 293659 919 2943 0 348527 0
[pid=10959/tid=10961] ppid=10956 vsize=1406532 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1440288768 293659 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1406532 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1440288768 293659 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1406532 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1440288768 293659 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1406532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.05 1.88 3/247 11051
/proc/meminfo: memFree=27859640/32872528 swapFree=189444/189444
[pid=10959] ppid=10956 vsize=1406532 CPUtime=1800 cores=0,2,4,6
/proc/10959/stat : 10959 (toysat) R 10956 10959 9799 0 -1 4202496 293085 0 0 0 179929 71 0 0 20 0 4 0 9101208 1440288768 293659 33554432000 4194304 16246674 140733987054512 140733987036416 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10959/statm: 351633 293659 919 2943 0 348527 0
[pid=10959/tid=10961] ppid=10956 vsize=1406532 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10961/stat : 10961 (toysat) S 10956 10959 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101209 1440288768 293659 33554432000 4194304 16246674 140733987054512 140632957889776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10959/tid=10962] ppid=10956 vsize=1406532 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10962/stat : 10962 (toysat) S 10956 10959 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101209 1440288768 293659 33554432000 4194304 16246674 140733987054512 140632947399920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10959/tid=10963] ppid=10956 vsize=1406532 CPUtime=0 cores=0,2,4,6
/proc/10959/task/10963/stat : 10963 (toysat) S 10956 10959 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101209 1440288768 293659 33554432000 4194304 16246674 140733987054512 140632865631408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1406532

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 10959 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.41
CPU time (s): 1800.02
CPU user time (s): 1799.3
CPU system time (s): 0.71889
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 1406532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.71889
maximum resident set size= 1174636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293085
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= 254
involuntary context switches= 1934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40633 second user time and 7.10592 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 11:45:47
IDJOB=4119960
IDBENCH=111825
IDSOLVER=2542
FILE ID=node102/4119960-1467279947
RUNJOBID= node102-1467279947-10940
PBS_JOBID= 20004490
Free space on /tmp= 71668 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119960-1467279947/watcher-4119960-1467279947 -o /tmp/evaluation-result-4119960-1467279947/solver-4119960-1467279947 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467279947-10940 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119960-1467279947.opb

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

MD5SUM BENCH= 24615c0f37d61401b7b7596da6e70ed8
RANDOM SEED=355705037

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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:        31324268 kB
Buffers:          144012 kB
Cached:           455340 kB
SwapCached:            0 kB
Active:           208588 kB
Inactive:         410828 kB
Active(anon):      22428 kB
Inactive(anon):        0 kB
Active(file):     186160 kB
Inactive(file):   410828 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17500 kB
Writeback:             0 kB
AnonPages:        209484 kB
Mapped:            14240 kB
Shmem:               204 kB
Slab:             607308 kB
SReclaimable:      51388 kB
SUnreclaim:       555920 kB
KernelStack:        1904 kB
PageTables:         4332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     307212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71636 MiB
End job on node102 at 2016-06-30 12:15:47