Trace number 4093715

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.51

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
MD5SUMcab96e9f0187cae75501af3130753b71
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.35379
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2750
Total number of constraints105
Number of soft constraints105
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 5686
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5685
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T18:02:04+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093715-1466092924.wbo"]
0.00/0.01	c use --random-gen="4278291339 3504209755 22337200 2839879622 805699889 269659946 1457940353 1621178999 2376695217 3068902435 3815709328 39390266 364564434 1059352073 3169580552 888148747 94389595 1047431419 841778591 2162307697 302106805 2095916929 2431605713 381036708 3596353433 3346673806 893377791 1638201394 2599229150 3814309369 3717101627 1260894888 4197022623 3587022787 3904855423 3211309230 499063576 869334619 3685214954 3864853505 3799119960 3413954161 1949978884 4021874737 3677575584 2166651459 2579056398 925612826 3442764573 2212566995 3181851550 2627035058 2952361748 1430961168 3719322893 1787738698 710788298 2287328065 3212043305 3594884914 2965391440 3326734319 2827402682 2259538052 4016569559 1480584345 1283932821 18619995 171654462 3470459585 713750006 1245493278 1913986204 2590930485 2789221055 1179929999 3174088616 3922123266 1968555753 3440857376 490252012 3403531245 128444201 125431227 2397966936 3055747453 2132272973 1839490145 3296323909 997227067 1057816343 2896388708 4174685912 2794403096 3076210907 3244728875 3738652780 3747130854 4025015996 407559988 3654659718 1918773434 3853756791 4088281523 69697437 910894738 171233617 3916080234 202510278 663176445 400763589 2494071401 1424998279 1173787176 286047302 3037921926 1737734712 2041118023 926622272 3409119413 66765279 1879854849 3581492245 1087140792 3549883425 1664757601 935548931 2863069984 2298859393 46300242 1175037178 1483886589 566839402 1798759692 1695893358 2898247050 232708888 317675421 2615541815 1707948920 3781173897 2662521799 3185054501 1268305286 3094076303 1025317149 2916929959 3892709665 2199853072 1232471577 2924590205 1957749231 1559209351 1995648863 3133691879 2339217539 2636765554 697930921 1813499190 2485321163 3733811505 2915490977 2915711626 1793355299 1078083999 1435185716 3102364248 3639537332 1865930873 1561687461 1158291840 2544201868 3144941619 3295354476 3862220746 3766875788 3818490570 2016813155 209798293 1518240993 2297532303 413013973 26379783 1439817864 26014754 484639337 2514893553 2282199522 2294496050 372729796 3509024499 985681428 3062676513 3725270407 1221686518 2294162655 1959134006 910702406 984828786 21502407 1407205976 241858531 3497102617 1607592771 1012829832 2608850620 3330066327 2901763131 3616366746 1558660039 4126143580 3396305643 2343618804 1268915261 2186568595 683902785 1634955249 2901264247 1848248554 3324190860 3248996377 629652707 2997800484 996257238 1304364886 562003613 2625349308 113313592 3188405984 3580190326 1063241022 3955325061 2154111062 2164262845 1039783251 2990521962 2367807534 1330708300 217546113 3631021045 3676950486 3063408201 1883757818 793691938 751212235 2635069343 1053370278 2915924269 773940342 4159653300 3444681248 1727602075 2382154813 1660759517 884744971 601498727 255 362436" option to reproduce the execution
0.08/0.13	c #vars 2750
0.08/0.13	c #constraints 105
0.08/0.15	c BCD2: Hardening is enabled.
0.08/0.15	c BCD2: BiasedSearch is enabled.
0.08/0.15	c Solving starts ...
0.08/0.15	c ============================[ Search Statistics ]============================
0.08/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.15	c =============================================================================
0.08/0.15	c  0.0s |       0 |        0 |        0 |      986      0 |        0 |        0
0.08/0.15	c  0.0s |       0 |      155 |        0 |      986      0 |        0 |        0
0.08/0.15	c #cpu_time = 0.003s
0.08/0.15	c #wall_clock_time = 0.003s
0.08/0.15	c #decision = 155
0.08/0.15	c #random_decision = 0
0.08/0.15	c #conflict = 0
0.08/0.15	c #restart = 0
0.08/0.15	o 2877
0.08/0.15	c BCD2: updating upper bound: 5685 -> 2876
0.08/0.15	c BCD2: 0 <= obj <= 2876
0.08/0.15	c BCD2: #cores=0, #unrelaxed=105, #relaxed=0, #hardened=0
0.08/0.15	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.15	c Solving starts ...
0.08/0.15	c ============================[ Search Statistics ]============================
0.08/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.15	c =============================================================================
0.08/0.15	c  0.0s |       0 |        0 |        0 |      986      0 |        0 |        0
0.18/0.21	c  0.1s |       1 |      268 |      100 |      986      0 |        0 |        0
0.29/0.35	c  0.2s |       2 |      996 |      250 |     1085      0 |        0 |        0
0.59/0.61	c  0.5s |       3 |     2833 |      475 |     1194      0 |        0 |        0
0.99/1.07	c  0.9s |       4 |     4999 |      813 |     1314      0 |        0 |        0
1.79/1.89	c  1.7s |       5 |     7289 |     1320 |     1446      0 |        0 |        0
2.79/2.90	c  2.7s |       6 |     9588 |     2081 |     1751      0 |        0 |        0
4.79/4.84	c  4.7s |       7 |    12252 |     3223 |     1927      1 |        0 |        0
6.89/6.92	c  6.8s |       7 |    15280 |     4623 |     1927      2 |        0 |        0
7.39/7.44	c  7.3s |       8 |    15622 |     4936 |     2120      2 |        0 |        0
9.49/9.53	c  9.4s |       8 |    18616 |     6336 |     2120      3 |        0 |        0
11.49/11.56	c 11.4s |       8 |    19886 |     7436 |     2120      3 |        0 |        0
11.69/11.72	c 11.6s |       9 |    19963 |     7506 |     2332      3 |        0 |        0
13.79/13.89	c 13.7s |       9 |    22800 |     8806 |     2332      4 |        0 |        0
15.79/15.89	c 15.7s |       9 |    23937 |     9806 |     2332      4 |        0 |        0
17.89/17.99	c 17.8s |       9 |    25028 |    10806 |     2332      5 |        0 |        0
19.19/19.24	c 19.1s |      10 |    25640 |    11361 |     2566      5 |        0 |        0
21.19/21.28	c 21.1s |      10 |    28431 |    12561 |     2566      6 |        0 |        0
23.39/23.45	c 23.3s |      10 |    29702 |    13661 |     2566      6 |        0 |        0
25.49/25.56	c 25.4s |      10 |    30720 |    14561 |     2566      6 |        0 |        0
27.69/27.72	c 27.6s |      10 |    31614 |    15361 |     2566      7 |        0 |        0
29.79/29.88	c 29.7s |      10 |    32503 |    16161 |     2566      7 |        0 |        0
32.08/32.10	c 31.9s |      10 |    33394 |    16961 |     2566      7 |        0 |        0
32.58/32.67	c 32.5s |      11 |    33590 |    17144 |     2823      7 |        0 |        0
34.68/34.80	c 34.6s |      11 |    36917 |    18344 |     2823      8 |        0 |        0
36.78/36.82	c 36.7s |      11 |    38146 |    19444 |     2823      8 |        0 |        0
38.88/38.99	c 38.8s |      11 |    39280 |    20444 |     2823      9 |        0 |        0
41.08/41.14	c 41.0s |      11 |    40284 |    21344 |     2823      9 |        0 |        0
43.28/43.35	c 43.2s |      11 |    41316 |    22244 |     2823      9 |        0 |        0
45.48/45.59	c 45.4s |      11 |    42330 |    23144 |     2823      9 |        0 |        0
47.58/47.67	c 47.5s |      11 |    43233 |    23944 |     2823     10 |        0 |        0
49.68/49.72	c 49.6s |      11 |    44229 |    24844 |     2823     10 |        0 |        0
51.88/51.94	c 51.8s |      11 |    45139 |    25644 |     2823     10 |        0 |        0
52.38/52.41	c 52.3s |      12 |    45320 |    25819 |     3106     10 |        0 |        0
54.48/54.51	c 54.4s |      12 |    47958 |    26719 |     3106     11 |        0 |        0
56.58/56.67	c 56.5s |      12 |    48983 |    27619 |     3106     11 |        0 |        0
58.78/58.87	c 58.7s |      12 |    50035 |    28519 |     3106     11 |        0 |        0
61.07/61.11	c 61.0s |      12 |    50958 |    29319 |     3106     12 |        0 |        0
63.08/63.19	c 63.0s |      12 |    51715 |    30019 |     3106     12 |        0 |        0
65.28/65.36	c 65.2s |      12 |    52504 |    30719 |     3106     12 |        0 |        0
67.58/67.62	c 67.5s |      12 |    53296 |    31419 |     3106     12 |        0 |        0
69.77/69.82	c 69.7s |      12 |    53963 |    32019 |     3106     13 |        0 |        0
71.87/71.94	c 71.8s |      12 |    54754 |    32719 |     3106     13 |        0 |        0
74.07/74.10	c 73.9s |      12 |    55414 |    33319 |     3106     13 |        0 |        0
76.17/76.29	c 76.1s |      12 |    56080 |    33919 |     3106     13 |        0 |        0
78.38/78.44	c 78.3s |      12 |    56859 |    34619 |     3106     13 |        0 |        0
80.58/80.64	c 80.5s |      12 |    57653 |    35319 |     3106     14 |        0 |        0
82.78/82.81	c 82.7s |      12 |    58431 |    36019 |     3106     14 |        0 |        0
85.08/85.10	c 84.9s |      12 |    59232 |    36719 |     3106     14 |        0 |        0
87.28/87.32	c 87.2s |      12 |    60028 |    37419 |     3106     14 |        0 |        0
89.47/89.54	c 89.4s |      12 |    60751 |    38019 |     3106     15 |        0 |        0
91.57/91.69	c 91.5s |      12 |    61633 |    38819 |     3417     15 |        0 |        0
91.67/91.73	c 91.6s |      13 |    61649 |    38832 |     3417     15 |        0 |        0
93.77/93.85	c 93.7s |      13 |    64151 |    39632 |     3417     16 |        0 |        0
95.97/96.01	c 95.9s |      13 |    65128 |    40432 |     3417     16 |        0 |        0
98.17/98.24	c 98.1s |      13 |    66054 |    41232 |     3417     16 |        0 |        0
100.27/100.37	c  100s |      13 |    66869 |    41932 |     3417     16 |        0 |        0
102.57/102.62	c  102s |      13 |    67680 |    42632 |     3417     16 |        0 |        0
104.87/104.94	c  104s |      13 |    68472 |    43332 |     3417     17 |        0 |        0
106.98/107.05	c  106s |      13 |    69144 |    43932 |     3417     17 |        0 |        0
109.07/109.18	c  109s |      13 |    69818 |    44532 |     3417     17 |        0 |        0
111.37/111.46	c  111s |      13 |    70518 |    45132 |     3417     17 |        0 |        0
113.77/113.80	c  113s |      13 |    71211 |    45732 |     3417     17 |        0 |        0
115.97/116.02	c  115s |      13 |    71771 |    46232 |     3417     18 |        0 |        0
117.97/118.03	c  117s |      13 |    72452 |    46832 |     3417     18 |        0 |        0
120.27/120.35	c  120s |      13 |    73142 |    47432 |     3417     18 |        0 |        0
122.57/122.64	c  122s |      13 |    73816 |    48032 |     3417     18 |        0 |        0
124.77/124.83	c  124s |      13 |    74486 |    48632 |     3417     18 |        0 |        0
127.37/127.40	c  127s |      13 |    75148 |    49232 |     3417     19 |        0 |        0
129.47/129.54	c  129s |      13 |    75848 |    49832 |     3417     19 |        0 |        0
131.46/131.59	c  131s |      13 |    76574 |    50432 |     3417     19 |        0 |        0
133.77/133.81	c  133s |      13 |    77251 |    51032 |     3417     19 |        0 |        0
135.97/136.08	c  135s |      13 |    77932 |    51632 |     3417     19 |        0 |        0
138.27/138.30	c  138s |      13 |    78696 |    52232 |     3417     20 |        0 |        0
140.47/140.54	c  140s |      13 |    79512 |    52932 |     3417     20 |        0 |        0
142.67/142.77	c  142s |      13 |    80296 |    53632 |     3417     20 |        0 |        0
144.67/144.78	c  144s |      13 |    80974 |    54232 |     3417     20 |        0 |        0
146.76/146.87	c  146s |      13 |    81649 |    54832 |     3417     20 |        0 |        0
148.86/148.92	c  148s |      13 |    82256 |    55332 |     3417     21 |        0 |        0
151.06/151.12	c  150s |      13 |    82937 |    55932 |     3417     21 |        0 |        0
153.26/153.32	c  153s |      13 |    83596 |    56532 |     3417     21 |        0 |        0
155.37/155.41	c  155s |      13 |    84259 |    57132 |     3417     21 |        0 |        0
157.47/157.59	c  157s |      13 |    84937 |    57732 |     3417     21 |        0 |        0
159.67/159.77	c  159s |      13 |    85602 |    58332 |     3759     21 |        0 |        0
159.77/159.85	c  159s |      14 |    85641 |    58352 |     3759     21 |        0 |        0
161.87/161.92	c  161s |      14 |    87930 |    59052 |     3759     22 |        0 |        0
164.07/164.19	c  164s |      14 |    88904 |    59852 |     3759     22 |        0 |        0
166.17/166.24	c  166s |      14 |    89583 |    60452 |     3759     22 |        0 |        0
168.37/168.44	c  168s |      14 |    90281 |    61052 |     3759     22 |        0 |        0
170.86/170.98	c  170s |      14 |    91098 |    61752 |     3759     23 |        0 |        0
173.06/173.16	c  173s |      14 |    91784 |    62352 |     3759     23 |        0 |        0
175.37/175.42	c  175s |      14 |    92607 |    63052 |     3759     23 |        0 |        0
177.46/177.54	c  177s |      14 |    93312 |    63652 |     3759     23 |        0 |        0
179.76/179.84	c  179s |      14 |    93996 |    64252 |     3759     23 |        0 |        0
181.86/181.97	c  181s |      14 |    94542 |    64752 |     3759     23 |        0 |        0
184.16/184.21	c  184s |      14 |    95115 |    65252 |     3759     24 |        0 |        0
186.36/186.48	c  186s |      14 |    95807 |    65852 |     3759     24 |        0 |        0
188.66/188.73	c  188s |      14 |    96510 |    66452 |     3759     24 |        0 |        0
190.66/190.76	c  190s |      14 |    97072 |    66952 |     3759     24 |        0 |        0
192.66/192.78	c  192s |      14 |    97689 |    67452 |     3759     24 |        0 |        0
194.95/195.02	c  194s |      14 |    98388 |    68052 |     3759     24 |        0 |        0
197.06/197.12	c  196s |      14 |    98975 |    68552 |     3759     25 |        0 |        0
199.46/199.55	c  199s |      14 |    99632 |    69152 |     3759     25 |        0 |        0
201.75/201.90	c  201s |      14 |   100312 |    69752 |     3759     25 |        0 |        0
204.26/204.32	c  204s |      14 |   100974 |    70352 |     3759     25 |        0 |        0
206.36/206.46	c  206s |      14 |   101537 |    70852 |     3759     25 |        0 |        0
208.56/208.63	c  208s |      14 |   102111 |    71352 |     3759     25 |        0 |        0
210.85/210.90	c  210s |      14 |   102667 |    71852 |     3759     26 |        0 |        0
212.95/213.02	c  212s |      14 |   103226 |    72352 |     3759     26 |        0 |        0
214.95/215.06	c  214s |      14 |   103773 |    72852 |     3759     26 |        0 |        0
217.24/217.37	c  217s |      14 |   104463 |    73452 |     3759     26 |        0 |        0
219.35/219.40	c  219s |      14 |   105185 |    74052 |     3759     26 |        0 |        0
221.45/221.56	c  221s |      14 |   105760 |    74552 |     3759     27 |        0 |        0
223.55/223.68	c  223s |      14 |   106440 |    75152 |     3759     27 |        0 |        0
225.84/225.91	c  225s |      14 |   107171 |    75752 |     3759     27 |        0 |        0
227.94/228.08	c  227s |      14 |   107748 |    76252 |     3759     27 |        0 |        0
230.15/230.24	c  230s |      14 |   108329 |    76752 |     3759     27 |        0 |        0
232.15/232.28	c  232s |      14 |   108871 |    77252 |     3759     27 |        0 |        0
234.74/234.80	c  234s |      14 |   109546 |    77852 |     3759     28 |        0 |        0
237.04/237.17	c  237s |      14 |   110220 |    78452 |     3759     28 |        0 |        0
239.14/239.22	c  239s |      14 |   110788 |    78952 |     3759     28 |        0 |        0
241.14/241.22	c  241s |      14 |   111339 |    79452 |     3759     28 |        0 |        0
243.24/243.35	c  243s |      14 |   111899 |    79952 |     3759     28 |        0 |        0
245.35/245.49	c  245s |      14 |   112424 |    80452 |     3759     28 |        0 |        0
247.54/247.62	c  247s |      14 |   112974 |    80952 |     3759     28 |        0 |        0
249.84/249.92	c  249s |      14 |   113512 |    81452 |     3759     29 |        0 |        0
251.95/252.08	c  251s |      14 |   114083 |    81952 |     3759     29 |        0 |        0
254.34/254.41	c  254s |      14 |   114636 |    82452 |     3759     29 |        0 |        0
256.64/256.72	c  256s |      14 |   115200 |    82952 |     3759     29 |        0 |        0
258.94/259.07	c  258s |      14 |   115741 |    83452 |     3759     29 |        0 |        0
261.23/261.37	c  261s |      14 |   116436 |    84052 |     3759     29 |        0 |        0
263.33/263.40	c  263s |      14 |   117026 |    84552 |     3759     30 |        0 |        0
265.63/265.79	c  265s |      14 |   117704 |    85152 |     3759     30 |        0 |        0
267.84/267.93	c  267s |      14 |   118425 |    85752 |     3759     30 |        0 |        0
269.94/270.04	c  269s |      14 |   118989 |    86252 |     3759     30 |        0 |        0
272.13/272.29	c  272s |      14 |   119565 |    86752 |     3759     30 |        0 |        0
274.53/274.68	c  274s |      14 |   120091 |    87252 |     4135     30 |        0 |        0
276.33/276.43	c  276s |      15 |   120533 |    87632 |     4135     30 |        0 |        0
278.43/278.50	c  278s |      15 |   124051 |    88732 |     4135     31 |        0 |        0
280.43/280.51	c  280s |      15 |   125251 |    89732 |     4135     31 |        0 |        0
282.52/282.63	c  282s |      15 |   126369 |    90732 |     4135     31 |        0 |        0
284.52/284.66	c  284s |      15 |   127166 |    91432 |     4135     32 |        0 |        0
286.82/286.94	c  286s |      15 |   128140 |    92232 |     4135     32 |        0 |        0
288.93/289.07	c  288s |      15 |   128814 |    92832 |     4135     32 |        0 |        0
291.22/291.30	c  291s |      15 |   129498 |    93432 |     4135     32 |        0 |        0
293.52/293.60	c  293s |      15 |   130178 |    94032 |     4135     32 |        0 |        0
295.72/295.85	c  295s |      15 |   130729 |    94532 |     4135     33 |        0 |        0
297.92/298.07	c  297s |      15 |   131391 |    95132 |     4135     33 |        0 |        0
300.23/300.33	c  300s |      15 |   132066 |    95732 |     4135     33 |        0 |        0
302.22/302.35	c  302s |      15 |   132619 |    96232 |     4135     33 |        0 |        0
304.52/304.64	c  304s |      15 |   133277 |    96832 |     4135     33 |        0 |        0
306.83/306.99	c  306s |      15 |   133971 |    97432 |     4135     33 |        0 |        0
309.03/309.17	c  309s |      15 |   134521 |    97932 |     4135     34 |        0 |        0
311.23/311.34	c  311s |      15 |   135182 |    98532 |     4135     34 |        0 |        0
313.31/313.41	c  313s |      15 |   135844 |    99132 |     4135     34 |        0 |        0
315.51/315.62	c  315s |      15 |   136649 |    99832 |     4135     34 |        0 |        0
317.61/317.70	c  317s |      15 |   137315 |   100432 |     4135     34 |        0 |        0
319.92/320.06	c  319s |      15 |   137986 |   101032 |     4135     34 |        0 |        0
322.11/322.24	c  322s |      15 |   138540 |   101532 |     4135     35 |        0 |        0
324.31/324.47	c  324s |      15 |   139192 |   102132 |     4135     35 |        0 |        0
326.72/326.81	c  326s |      15 |   139856 |   102732 |     4135     35 |        0 |        0
328.92/329.00	c  328s |      15 |   140542 |   103332 |     4135     35 |        0 |        0
331.21/331.34	c  331s |      15 |   141212 |   103932 |     4135     35 |        0 |        0
333.42/333.55	c  333s |      15 |   141910 |   104532 |     4135     35 |        0 |        0
335.72/335.83	c  335s |      15 |   142585 |   105132 |     4135     36 |        0 |        0
338.01/338.11	c  337s |      15 |   143261 |   105732 |     4135     36 |        0 |        0
340.11/340.29	c  340s |      15 |   143928 |   106332 |     4135     36 |        0 |        0
342.40/342.50	c  342s |      15 |   144606 |   106932 |     4135     36 |        0 |        0
344.50/344.65	c  344s |      15 |   145279 |   107532 |     4135     36 |        0 |        0
347.00/347.15	c  346s |      15 |   145937 |   108132 |     4135     37 |        0 |        0
349.21/349.39	c  349s |      15 |   146869 |   108932 |     4135     37 |        0 |        0
351.31/351.46	c  351s |      15 |   147649 |   109632 |     4135     37 |        0 |        0
353.50/353.64	c  353s |      15 |   148530 |   110432 |     4135     37 |        0 |        0
355.70/355.80	c  355s |      15 |   149321 |   111132 |     4135     37 |        0 |        0
357.90/358.09	c  357s |      15 |   149986 |   111732 |     4135     38 |        0 |        0
359.99/360.10	c  359s |      15 |   150672 |   112332 |     4135     38 |        0 |        0
362.10/362.25	c  362s |      15 |   151346 |   112932 |     4135     38 |        0 |        0
364.50/364.62	c  364s |      15 |   152148 |   113632 |     4135     38 |        0 |        0
366.70/366.81	c  366s |      15 |   152828 |   114232 |     4135     38 |        0 |        0
369.00/369.14	c  368s |      15 |   153497 |   114832 |     4135     38 |        0 |        0
371.29/371.44	c  371s |      15 |   154172 |   115432 |     4135     39 |        0 |        0
373.69/373.81	c  373s |      15 |   154836 |   116032 |     4135     39 |        0 |        0
375.99/376.16	c  376s |      15 |   155638 |   116732 |     4135     39 |        0 |        0
378.30/378.44	c  378s |      15 |   156289 |   117332 |     4135     39 |        0 |        0
380.50/380.62	c  380s |      15 |   156841 |   117832 |     4135     39 |        0 |        0
382.98/383.12	c  382s |      15 |   157388 |   118332 |     4135     40 |        0 |        0
385.19/385.34	c  385s |      15 |   158203 |   119032 |     4135     40 |        0 |        0
387.29/387.48	c  387s |      15 |   158867 |   119632 |     4135     40 |        0 |        0
389.49/389.67	c  389s |      15 |   159530 |   120232 |     4135     40 |        0 |        0
391.89/392.08	c  391s |      15 |   160185 |   120832 |     4135     40 |        0 |        0
393.98/394.14	c  393s |      15 |   160731 |   121332 |     4135     40 |        0 |        0
396.28/396.46	c  396s |      15 |   161300 |   121832 |     4135     41 |        0 |        0
398.68/398.82	c  398s |      15 |   161961 |   122432 |     4135     41 |        0 |        0
400.88/401.03	c  400s |      15 |   162494 |   122932 |     4135     41 |        0 |        0
403.07/403.27	c  403s |      15 |   163153 |   123532 |     4135     41 |        0 |        0
405.48/405.62	c  405s |      15 |   163800 |   124132 |     4135     41 |        0 |        0
407.48/407.67	c  407s |      15 |   164352 |   124632 |     4135     41 |        0 |        0
409.68/409.83	c  409s |      15 |   164877 |   125132 |     4135     42 |        0 |        0
411.88/412.09	c  411s |      15 |   165511 |   125732 |     4135     42 |        0 |        0
413.88/414.09	c  413s |      15 |   166196 |   126332 |     4135     42 |        0 |        0
416.27/416.42	c  416s |      15 |   166983 |   127032 |     4135     42 |        0 |        0
418.38/418.54	c  418s |      15 |   167628 |   127632 |     4135     42 |        0 |        0
420.48/420.67	c  420s |      15 |   168297 |   128232 |     4135     42 |        0 |        0
422.47/422.67	c  422s |      15 |   168845 |   128732 |     4135     43 |        0 |        0
424.87/425.01	c  424s |      15 |   169655 |   129432 |     4135     43 |        0 |        0
426.97/427.13	c  426s |      15 |   170327 |   130032 |     4135     43 |        0 |        0
429.18/429.38	c  429s |      15 |   170987 |   130632 |     4135     43 |        0 |        0
431.67/431.81	c  431s |      15 |   171646 |   131232 |     4549     43 |        0 |        0
432.97/433.19	c  433s |      16 |   171992 |   131552 |     4549     43 |        0 |        0
435.17/435.31	c  435s |      16 |   174525 |   132552 |     4549     44 |        0 |        0
437.37/437.53	c  437s |      16 |   175699 |   133552 |     4549     44 |        0 |        0
439.37/439.59	c  439s |      16 |   176576 |   134352 |     4549     44 |        0 |        0
441.57/441.76	c  441s |      16 |   177630 |   135252 |     4549     44 |        0 |        0
443.76/443.91	c  443s |      16 |   178561 |   136052 |     4549     45 |        0 |        0
445.87/446.05	c  445s |      16 |   179364 |   136752 |     4549     45 |        0 |        0
447.97/448.18	c  448s |      16 |   180177 |   137452 |     4549     45 |        0 |        0
450.27/450.46	c  450s |      16 |   180966 |   138152 |     4549     45 |        0 |        0
452.57/452.71	c  452s |      16 |   181741 |   138852 |     4549     45 |        0 |        0
454.57/454.79	c  454s |      16 |   182470 |   139452 |     4549     46 |        0 |        0
456.87/457.03	c  456s |      16 |   183260 |   140152 |     4549     46 |        0 |        0
459.17/459.32	c  459s |      16 |   184027 |   140852 |     4549     46 |        0 |        0
461.16/461.34	c  461s |      16 |   184706 |   141452 |     4549     46 |        0 |        0
463.36/463.59	c  463s |      16 |   185485 |   142152 |     4549     46 |        0 |        0
465.46/465.61	c  465s |      16 |   186144 |   142752 |     4549     47 |        0 |        0
467.56/467.74	c  467s |      16 |   186928 |   143452 |     4549     47 |        0 |        0
469.56/469.80	c  469s |      16 |   187588 |   144052 |     4549     47 |        0 |        0
471.96/472.11	c  471s |      16 |   188379 |   144752 |     4549     47 |        0 |        0
474.26/474.40	c  474s |      16 |   189154 |   145452 |     4549     47 |        0 |        0
476.36/476.58	c  476s |      16 |   189794 |   146052 |     4549     47 |        0 |        0
478.46/478.63	c  478s |      16 |   190344 |   146552 |     4549     48 |        0 |        0
480.66/480.82	c  480s |      16 |   191097 |   147252 |     4549     48 |        0 |        0
482.86/483.02	c  482s |      16 |   191879 |   147952 |     4549     48 |        0 |        0
485.26/485.42	c  485s |      16 |   192640 |   148652 |     4549     48 |        0 |        0
487.45/487.66	c  487s |      16 |   193301 |   149252 |     4549     48 |        0 |        0
489.75/489.99	c  489s |      16 |   193952 |   149852 |     4549     48 |        0 |        0
492.05/492.20	c  492s |      16 |   194615 |   150452 |     4549     49 |        0 |        0
494.25/494.40	c  494s |      16 |   195286 |   151052 |     4549     49 |        0 |        0
496.25/496.43	c  496s |      16 |   195841 |   151552 |     4549     49 |        0 |        0
498.34/498.57	c  498s |      16 |   196477 |   152152 |     4549     49 |        0 |        0
500.45/500.61	c  500s |      16 |   197407 |   152952 |     4549     49 |        0 |        0
502.54/502.78	c  502s |      16 |   198160 |   153652 |     4549     50 |        0 |        0
504.85/505.02	c  504s |      16 |   199103 |   154452 |     4549     50 |        0 |        0
506.85/507.06	c  506s |      16 |   199892 |   155152 |     4549     50 |        0 |        0
508.85/509.07	c  508s |      16 |   200572 |   155752 |     4549     50 |        0 |        0
511.04/511.21	c  511s |      16 |   201369 |   156452 |     4549     50 |        0 |        0
513.04/513.28	c  513s |      16 |   202037 |   157052 |     4549     50 |        0 |        0
515.14/515.31	c  515s |      16 |   202689 |   157652 |     4549     51 |        0 |        0
517.44/517.62	c  517s |      16 |   203573 |   158452 |     4549     51 |        0 |        0
519.43/519.66	c  519s |      16 |   204235 |   159052 |     4549     51 |        0 |        0
521.73/521.94	c  521s |      16 |   205015 |   159752 |     4549     51 |        0 |        0
523.93/524.13	c  523s |      16 |   205651 |   160352 |     4549     51 |        0 |        0
526.13/526.38	c  526s |      16 |   206316 |   160952 |     4549     52 |        0 |        0
528.24/528.47	c  528s |      16 |   206967 |   161552 |     4549     52 |        0 |        0
530.34/530.51	c  530s |      16 |   207642 |   162152 |     4549     52 |        0 |        0
532.34/532.52	c  532s |      16 |   208307 |   162752 |     4549     52 |        0 |        0
534.33/534.55	c  534s |      16 |   208838 |   163252 |     4549     52 |        0 |        0
536.43/536.67	c  536s |      16 |   209515 |   163852 |     4549     52 |        0 |        0
538.73/538.95	c  538s |      16 |   210180 |   164452 |     4549     53 |        0 |        0
540.73/540.99	c  540s |      16 |   210945 |   165152 |     4549     53 |        0 |        0
542.82/543.07	c  542s |      16 |   211595 |   165752 |     4549     53 |        0 |        0
545.03/545.29	c  545s |      16 |   212261 |   166352 |     4549     53 |        0 |        0
547.32/547.55	c  547s |      16 |   212944 |   166952 |     4549     53 |        0 |        0
549.62/549.85	c  549s |      16 |   213597 |   167552 |     4549     53 |        0 |        0
551.82/552.06	c  551s |      16 |   214158 |   168052 |     4549     54 |        0 |        0
554.13/554.40	c  554s |      16 |   214813 |   168652 |     4549     54 |        0 |        0
556.43/556.70	c  556s |      16 |   215774 |   169452 |     4549     54 |        0 |        0
558.52/558.73	c  558s |      16 |   216590 |   170152 |     4549     54 |        0 |        0
560.83/561.01	c  560s |      16 |   217377 |   170852 |     4549     54 |        0 |        0
562.92/563.14	c  562s |      16 |   218034 |   171452 |     4549     54 |        0 |        0
564.92/565.17	c  565s |      16 |   218576 |   171952 |     4549     55 |        0 |        0
567.11/567.36	c  567s |      16 |   219714 |   172852 |     4549     55 |        0 |        0
569.31/569.57	c  569s |      16 |   220642 |   173652 |     4549     55 |        0 |        0
571.51/571.75	c  571s |      16 |   221480 |   174352 |     4549     55 |        0 |        0
573.51/573.79	c  573s |      16 |   222160 |   174952 |     4549     55 |        0 |        0
575.71/575.92	c  575s |      16 |   222993 |   175652 |     4549     56 |        0 |        0
577.91/578.11	c  577s |      16 |   223943 |   176452 |     4549     56 |        0 |        0
580.01/580.27	c  580s |      16 |   224756 |   177152 |     4549     56 |        0 |        0
582.11/582.39	c  582s |      16 |   225424 |   177752 |     4549     56 |        0 |        0
584.40/584.62	c  584s |      16 |   226198 |   178452 |     4549     56 |        0 |        0
586.50/586.78	c  586s |      16 |   226904 |   179052 |     4549     57 |        0 |        0
588.61/588.84	c  588s |      16 |   227716 |   179752 |     4549     57 |        0 |        0
590.62/590.89	c  590s |      16 |   228508 |   180452 |     4549     57 |        0 |        0
593.00/593.23	c  593s |      16 |   229303 |   181152 |     4549     57 |        0 |        0
595.00/595.24	c  595s |      16 |   229889 |   181652 |     4549     57 |        0 |        0
597.40/597.64	c  597s |      16 |   230449 |   182152 |     4549     57 |        0 |        0
599.49/599.71	c  599s |      16 |   230915 |   182552 |     4549     58 |        0 |        0
601.70/601.94	c  601s |      16 |   231469 |   183052 |     4549     58 |        0 |        0
603.70/603.97	c  603s |      16 |   232035 |   183552 |     4549     58 |        0 |        0
606.20/606.43	c  606s |      16 |   232577 |   184052 |     4549     58 |        0 |        0
608.59/608.88	c  608s |      16 |   233135 |   184552 |     4549     58 |        0 |        0
610.99/611.25	c  611s |      16 |   233737 |   185052 |     4549     58 |        0 |        0
613.39/613.61	c  613s |      16 |   234310 |   185552 |     4549     58 |        0 |        0
615.69/615.93	c  615s |      16 |   234759 |   185952 |     4549     59 |        0 |        0
617.88/618.16	c  618s |      16 |   235344 |   186452 |     4549     59 |        0 |        0
620.29/620.57	c  620s |      16 |   235907 |   186952 |     4549     59 |        0 |        0
622.39/622.61	c  622s |      16 |   236611 |   187552 |     4549     59 |        0 |        0
624.38/624.64	c  624s |      16 |   237405 |   188252 |     4549     59 |        0 |        0
626.48/626.79	c  626s |      16 |   238189 |   188952 |     4549     59 |        0 |        0
628.68/628.99	c  628s |      16 |   238870 |   189552 |     4549     60 |        0 |        0
630.78/631.05	c  630s |      16 |   239671 |   190252 |     4549     60 |        0 |        0
632.88/633.16	c  633s |      16 |   240453 |   190952 |     4549     60 |        0 |        0
635.28/635.51	c  635s |      16 |   241214 |   191652 |     4549     60 |        0 |        0
637.38/637.63	c  637s |      16 |   241917 |   192252 |     4549     60 |        0 |        0
639.68/639.91	c  639s |      16 |   242722 |   192952 |     4549     60 |        0 |        0
641.78/642.04	c  641s |      16 |   243364 |   193552 |     4549     61 |        0 |        0
644.07/644.31	c  644s |      16 |   244148 |   194252 |     4549     61 |        0 |        0
646.27/646.55	c  646s |      16 |   244956 |   194952 |     4549     61 |        0 |        0
648.37/648.68	c  648s |      16 |   245663 |   195552 |     4549     61 |        0 |        0
650.47/650.76	c  650s |      16 |   246329 |   196152 |     5004     61 |        0 |        0
652.46/652.79	c  652s |      16 |   247003 |   196752 |     5004     61 |        0 |        0
654.66/654.96	c  654s |      16 |   247671 |   197352 |     5004     62 |        0 |        0
654.96/655.21	c  655s |      17 |   247762 |   197432 |     5004     62 |        0 |        0
657.07/657.31	c  657s |      17 |   250240 |   198432 |     5004     62 |        0 |        0
659.26/659.53	c  659s |      17 |   251290 |   199332 |     5004     62 |        0 |        0
661.36/661.65	c  661s |      17 |   252199 |   200132 |     5004     62 |        0 |        0
663.56/663.80	c  663s |      17 |   253112 |   200932 |     5004     62 |        0 |        0
665.76/666.02	c  665s |      17 |   253868 |   201632 |     5004     63 |        0 |        0
667.86/668.18	c  668s |      17 |   254635 |   202332 |     5004     63 |        0 |        0
670.16/670.42	c  670s |      17 |   255398 |   203032 |     5004     63 |        0 |        0
672.46/672.79	c  672s |      17 |   256198 |   203732 |     5004     63 |        0 |        0
674.75/675.05	c  674s |      17 |   256850 |   204332 |     5004     63 |        0 |        0
677.37/677.66	c  677s |      17 |   257517 |   204932 |     5004     64 |        0 |        0
679.56/679.81	c  679s |      17 |   258275 |   205632 |     5004     64 |        0 |        0
681.86/682.18	c  682s |      17 |   259036 |   206332 |     5004     64 |        0 |        0
684.15/684.45	c  684s |      17 |   259684 |   206932 |     5004     64 |        0 |        0
686.35/686.68	c  686s |      17 |   260337 |   207532 |     5004     64 |        0 |        0
688.66/688.99	c  688s |      17 |   260975 |   208132 |     5004     64 |        0 |        0
691.26/691.58	c  691s |      17 |   261645 |   208732 |     5004     65 |        0 |        0
693.35/693.64	c  693s |      17 |   262301 |   209332 |     5004     65 |        0 |        0
695.35/695.67	c  695s |      17 |   262950 |   209932 |     5004     65 |        0 |        0
697.45/697.74	c  697s |      17 |   263578 |   210532 |     5004     65 |        0 |        0
699.46/699.75	c  699s |      17 |   264241 |   211132 |     5004     65 |        0 |        0
701.66/701.92	c  701s |      17 |   264918 |   211732 |     5004     65 |        0 |        0
703.75/704.02	c  703s |      17 |   265600 |   212332 |     5004     65 |        0 |        0
705.85/706.18	c  706s |      17 |   266328 |   212932 |     5004     66 |        0 |        0
707.95/708.24	c  708s |      17 |   267131 |   213632 |     5004     66 |        0 |        0
710.14/710.48	c  710s |      17 |   267942 |   214332 |     5004     66 |        0 |        0
712.44/712.77	c  712s |      17 |   268874 |   215132 |     5004     66 |        0 |        0
714.74/715.02	c  714s |      17 |   269656 |   215832 |     5004     66 |        0 |        0
716.94/717.29	c  717s |      17 |   270336 |   216432 |     5004     67 |        0 |        0
719.14/719.40	c  719s |      17 |   271038 |   217032 |     5004     67 |        0 |        0
721.14/721.46	c  721s |      17 |   271716 |   217632 |     5004     67 |        0 |        0
723.33/723.65	c  723s |      17 |   272535 |   218332 |     5004     67 |        0 |        0
725.54/725.85	c  725s |      17 |   273316 |   219032 |     5004     67 |        0 |        0
727.54/727.89	c  727s |      17 |   273974 |   219632 |     5004     67 |        0 |        0
730.03/730.38	c  730s |      17 |   274637 |   220232 |     5004     68 |        0 |        0
732.13/732.46	c  732s |      17 |   275315 |   220832 |     5004     68 |        0 |        0
734.23/734.57	c  734s |      17 |   275954 |   221432 |     5004     68 |        0 |        0
736.53/736.84	c  736s |      17 |   276760 |   222132 |     5004     68 |        0 |        0
738.73/739.09	c  738s |      17 |   277533 |   222832 |     5004     68 |        0 |        0
740.93/741.21	c  741s |      17 |   278203 |   223432 |     5004     68 |        0 |        0
743.02/743.30	c  743s |      17 |   278888 |   224032 |     5004     68 |        0 |        0
745.23/745.51	c  745s |      17 |   279432 |   224532 |     5004     69 |        0 |        0
747.22/747.53	c  747s |      17 |   280230 |   225232 |     5004     69 |        0 |        0
749.52/749.88	c  749s |      17 |   281005 |   225932 |     5004     69 |        0 |        0
751.82/752.13	c  751s |      17 |   281666 |   226532 |     5004     69 |        0 |        0
753.92/754.29	c  754s |      17 |   282328 |   227132 |     5004     69 |        0 |        0
756.32/756.64	c  756s |      17 |   283127 |   227832 |     5004     69 |        0 |        0
758.52/758.86	c  758s |      17 |   283798 |   228432 |     5004     70 |        0 |        0
760.62/760.93	c  760s |      17 |   284456 |   229032 |     5004     70 |        0 |        0
762.92/763.21	c  763s |      17 |   285241 |   229732 |     5004     70 |        0 |        0
765.01/765.31	c  765s |      17 |   285965 |   230332 |     5004     70 |        0 |        0
767.21/767.50	c  767s |      17 |   286806 |   231032 |     5004     70 |        0 |        0
769.61/769.93	c  769s |      17 |   287621 |   231732 |     5004     71 |        0 |        0
771.81/772.15	c  771s |      17 |   288425 |   232432 |     5004     71 |        0 |        0
773.90/774.28	c  774s |      17 |   289260 |   233132 |     5004     71 |        0 |        0
776.11/776.40	c  776s |      17 |   290086 |   233832 |     5004     71 |        0 |        0
778.11/778.47	c  778s |      17 |   290756 |   234432 |     5004     71 |        0 |        0
780.41/780.72	c  780s |      17 |   291552 |   235132 |     5004     71 |        0 |        0
782.51/782.87	c  782s |      17 |   292242 |   235732 |     5004     72 |        0 |        0
784.71/785.08	c  784s |      17 |   293015 |   236432 |     5004     72 |        0 |        0
786.90/787.20	c  787s |      17 |   293682 |   237032 |     5004     72 |        0 |        0
788.90/789.20	c  789s |      17 |   294325 |   237632 |     5004     72 |        0 |        0
791.00/791.35	c  791s |      17 |   294972 |   238232 |     5004     72 |        0 |        0
792.99/793.39	c  793s |      17 |   295655 |   238832 |     5004     72 |        0 |        0
795.10/795.47	c  795s |      17 |   296198 |   239332 |     5004     73 |        0 |        0
797.40/797.72	c  797s |      17 |   296857 |   239932 |     5004     73 |        0 |        0
799.80/800.10	c  799s |      17 |   297507 |   240532 |     5004     73 |        0 |        0
801.90/802.21	c  802s |      17 |   298173 |   241132 |     5004     73 |        0 |        0
804.19/804.50	c  804s |      17 |   298951 |   241832 |     5004     73 |        0 |        0
806.19/806.59	c  806s |      17 |   299610 |   242432 |     5004     73 |        0 |        0
808.59/808.95	c  808s |      17 |   300253 |   243032 |     5004     73 |        0 |        0
810.89/811.25	c  811s |      17 |   300808 |   243532 |     5004     74 |        0 |        0
813.09/813.49	c  813s |      17 |   301551 |   244232 |     5004     74 |        0 |        0
815.39/815.76	c  815s |      17 |   302346 |   244932 |     5004     74 |        0 |        0
817.49/817.86	c  817s |      17 |   303010 |   245532 |     5004     74 |        0 |        0
819.58/819.96	c  819s |      17 |   303654 |   246132 |     5004     74 |        0 |        0
821.58/821.97	c  821s |      17 |   304204 |   246632 |     5004     74 |        0 |        0
823.88/824.22	c  824s |      17 |   304760 |   247132 |     5004     75 |        0 |        0
825.98/826.32	c  826s |      17 |   305422 |   247732 |     5004     75 |        0 |        0
827.99/828.33	c  828s |      17 |   306065 |   248332 |     5004     75 |        0 |        0
830.19/830.51	c  830s |      17 |   306716 |   248932 |     5004     75 |        0 |        0
832.38/832.77	c  832s |      17 |   307397 |   249532 |     5004     75 |        0 |        0
834.77/835.14	c  834s |      17 |   308069 |   250132 |     5004     75 |        0 |        0
836.98/837.39	c  837s |      17 |   308711 |   250732 |     5004     75 |        0 |        0
839.38/839.77	c  839s |      17 |   309351 |   251332 |     5004     76 |        0 |        0
841.68/842.03	c  841s |      17 |   310017 |   251932 |     5004     76 |        0 |        0
843.67/844.08	c  843s |      17 |   310669 |   252532 |     5004     76 |        0 |        0
845.77/846.13	c  845s |      17 |   311361 |   253132 |     5004     76 |        0 |        0
847.97/848.37	c  848s |      17 |   312026 |   253732 |     5004     76 |        0 |        0
850.07/850.42	c  850s |      17 |   312564 |   254232 |     5004     76 |        0 |        0
852.18/852.52	c  852s |      17 |   313107 |   254732 |     5004     77 |        0 |        0
854.38/854.78	c  854s |      17 |   313750 |   255332 |     5004     77 |        0 |        0
856.47/856.88	c  856s |      17 |   314393 |   255932 |     5004     77 |        0 |        0
858.57/858.91	c  858s |      17 |   314922 |   256432 |     5004     77 |        0 |        0
860.97/861.35	c  861s |      17 |   315570 |   257032 |     5004     77 |        0 |        0
863.07/863.42	c  863s |      17 |   316107 |   257532 |     5004     77 |        0 |        0
865.47/865.81	c  865s |      17 |   316669 |   258032 |     5004     77 |        0 |        0
867.97/868.31	c  868s |      17 |   317199 |   258532 |     5004     78 |        0 |        0
870.07/870.45	c  870s |      17 |   317745 |   259032 |     5004     78 |        0 |        0
872.47/872.81	c  872s |      17 |   318393 |   259632 |     5004     78 |        0 |        0
874.56/874.90	c  874s |      17 |   318931 |   260132 |     5004     78 |        0 |        0
876.76/877.17	c  877s |      17 |   319743 |   260832 |     5004     78 |        0 |        0
878.97/879.32	c  879s |      17 |   320412 |   261432 |     5004     78 |        0 |        0
880.97/881.35	c  881s |      17 |   320972 |   261932 |     5004     78 |        0 |        0
883.27/883.62	c  883s |      17 |   321524 |   262432 |     5004     79 |        0 |        0
885.27/885.69	c  885s |      17 |   322188 |   263032 |     5004     79 |        0 |        0
887.47/887.87	c  887s |      17 |   322826 |   263632 |     5004     79 |        0 |        0
889.47/889.87	c  889s |      17 |   323366 |   264132 |     5004     79 |        0 |        0
891.47/891.88	c  891s |      17 |   323899 |   264632 |     5004     79 |        0 |        0
893.57/893.94	c  893s |      17 |   324435 |   265132 |     5004     79 |        0 |        0
895.87/896.23	c  896s |      17 |   325130 |   265732 |     5004     79 |        0 |        0
897.97/898.35	c  898s |      17 |   325694 |   266232 |     5004     80 |        0 |        0
900.17/900.50	c  900s |      17 |   326475 |   266932 |     5004     80 |        0 |        0
902.16/902.59	c  902s |      17 |   327137 |   267532 |     5004     80 |        0 |        0
904.36/904.73	c  904s |      17 |   327802 |   268132 |     5004     80 |        0 |        0
906.56/906.94	c  906s |      17 |   328509 |   268732 |     5004     80 |        0 |        0
908.66/909.06	c  908s |      17 |   329171 |   269332 |     5004     80 |        0 |        0
910.76/911.16	c  911s |      17 |   329811 |   269932 |     5004     80 |        0 |        0
912.86/913.22	c  913s |      17 |   330345 |   270432 |     5004     81 |        0 |        0
915.16/915.51	c  915s |      17 |   331016 |   271032 |     5004     81 |        0 |        0
917.17/917.59	c  917s |      17 |   331557 |   271532 |     5004     81 |        0 |        0
919.16/919.60	c  919s |      17 |   332089 |   272032 |     5004     81 |        0 |        0
921.36/921.74	c  921s |      17 |   332645 |   272532 |     5004     81 |        0 |        0
923.66/924.02	c  923s |      17 |   333309 |   273132 |     5004     81 |        0 |        0
925.66/926.09	c  925s |      17 |   333861 |   273632 |     5004     81 |        0 |        0
928.07/928.44	c  928s |      17 |   334410 |   274132 |     5004     82 |        0 |        0
930.16/930.52	c  930s |      17 |   334991 |   274632 |     5004     82 |        0 |        0
932.26/932.67	c  932s |      17 |   335788 |   275332 |     5004     82 |        0 |        0
934.36/934.74	c  934s |      17 |   336463 |   275932 |     5004     82 |        0 |        0
936.45/936.81	c  936s |      17 |   337125 |   276532 |     5004     82 |        0 |        0
938.55/938.97	c  938s |      17 |   337782 |   277132 |     5004     82 |        0 |        0
940.76/941.14	c  940s |      17 |   338320 |   277632 |     5004     83 |        0 |        0
943.06/943.41	c  943s |      17 |   338966 |   278232 |     5004     83 |        0 |        0
945.36/945.72	c  945s |      17 |   339631 |   278832 |     5004     83 |        0 |        0
947.55/947.91	c  947s |      17 |   340269 |   279432 |     5004     83 |        0 |        0
949.95/950.30	c  950s |      17 |   340926 |   280032 |     5004     83 |        0 |        0
952.06/952.44	c  952s |      17 |   341471 |   280532 |     5004     83 |        0 |        0
954.16/954.58	c  954s |      17 |   342036 |   281032 |     5004     83 |        0 |        0
956.86/957.24	c  957s |      17 |   342578 |   281532 |     5004     84 |        0 |        0
959.05/959.43	c  959s |      17 |   343227 |   282132 |     5004     84 |        0 |        0
961.35/961.77	c  961s |      17 |   343870 |   282732 |     5004     84 |        0 |        0
963.55/963.91	c  963s |      17 |   344392 |   283232 |     5004     84 |        0 |        0
965.86/966.24	c  966s |      17 |   344932 |   283732 |     5004     84 |        0 |        0
968.25/968.64	c  968s |      17 |   345474 |   284232 |     5004     84 |        0 |        0
970.55/970.92	c  970s |      17 |   346021 |   284732 |     5004     84 |        0 |        0
972.95/973.32	c  973s |      17 |   346592 |   285232 |     5004     84 |        0 |        0
975.15/975.54	c  975s |      17 |   347004 |   285632 |     5004     85 |        0 |        0
977.45/977.86	c  977s |      17 |   347552 |   286132 |     5004     85 |        0 |        0
979.76/980.15	c  979s |      17 |   348089 |   286632 |     5004     85 |        0 |        0
982.16/982.56	c  982s |      17 |   348619 |   287132 |     5004     85 |        0 |        0
984.16/984.58	c  984s |      17 |   349066 |   287532 |     5004     85 |        0 |        0
986.65/987.02	c  986s |      17 |   349608 |   288032 |     5004     85 |        0 |        0
988.66/989.08	c  988s |      17 |   350047 |   288432 |     5004     85 |        0 |        0
990.76/991.16	c  991s |      17 |   350480 |   288832 |     5004     85 |        0 |        0
992.96/993.39	c  993s |      17 |   350898 |   289232 |     5004     86 |        0 |        0
995.05/995.45	c  995s |      17 |   351327 |   289632 |     5004     86 |        0 |        0
997.45/997.83	c  997s |      17 |   351878 |   290132 |     5004     86 |        0 |        0
999.55/999.92	c  999s |      17 |   352335 |   290532 |     5004     86 |        0 |        0
1001.65/1002.09	c 1001s |      17 |   352762 |   290932 |     5004     86 |        0 |        0
1004.06/1004.41	c 1004s |      17 |   353197 |   291332 |     5004     86 |        0 |        0
1006.35/1006.79	c 1006s |      17 |   353755 |   291832 |     5004     86 |        0 |        0
1008.35/1008.80	c 1008s |      17 |   354304 |   292332 |     5004     86 |        0 |        0
1010.75/1011.13	c 1010s |      17 |   354853 |   292832 |     5004     86 |        0 |        0
1012.85/1013.25	c 1013s |      17 |   355306 |   293232 |     5004     87 |        0 |        0
1015.15/1015.50	c 1015s |      17 |   355857 |   293732 |     5004     87 |        0 |        0
1017.45/1017.80	c 1017s |      17 |   356415 |   294232 |     5505     87 |        0 |        0
1019.54/1019.92	c 1019s |      17 |   356858 |   294632 |     5505     87 |        0 |        0
1021.74/1022.19	c 1022s |      17 |   357416 |   295132 |     5505     87 |        0 |        0
1024.34/1024.70	c 1024s |      17 |   357950 |   295632 |     5505     87 |        0 |        0
1026.54/1026.90	c 1026s |      17 |   358281 |   295932 |     5505     87 |        0 |        0
1028.44/1028.88	c 1028s |      18 |   358619 |   296252 |     5505     87 |        0 |        0
1030.54/1030.91	c 1030s |      18 |   361098 |   297552 |     5505     88 |        0 |        0
1032.74/1033.13	c 1032s |      18 |   362809 |   299052 |     5505     89 |        0 |        0
1034.85/1035.27	c 1035s |      18 |   364740 |   300752 |     5505     89 |        0 |        0
1037.05/1037.48	c 1037s |      18 |   366304 |   302152 |     5505     90 |        0 |        0
1039.15/1039.51	c 1039s |      18 |   368179 |   303852 |     5505     90 |        0 |        0
1041.25/1041.66	c 1041s |      18 |   369749 |   305252 |     5505     91 |        0 |        0
1043.25/1043.67	c 1043s |      18 |   371484 |   306752 |     5505     91 |        0 |        0
1045.54/1045.91	c 1045s |      18 |   373400 |   308452 |     5505     92 |        0 |        0
1047.54/1047.93	c 1047s |      18 |   375345 |   310152 |     5505     92 |        0 |        0
1049.74/1050.11	c 1049s |      18 |   377083 |   311552 |     5505     93 |        0 |        0
1051.74/1052.11	c 1051s |      18 |   378622 |   312952 |     5505     93 |        0 |        0
1053.74/1054.15	c 1053s |      18 |   380283 |   314352 |     5505     93 |        0 |        0
1055.75/1056.17	c 1056s |      18 |   382035 |   315752 |     5505     94 |        0 |        0
1057.85/1058.23	c 1058s |      18 |   383955 |   317352 |     5505     94 |        0 |        0
1059.84/1060.23	c 1060s |      18 |   385544 |   318752 |     5505     95 |        0 |        0
1061.94/1062.31	c 1062s |      18 |   387317 |   320352 |     5505     95 |        0 |        0
1063.94/1064.34	c 1064s |      18 |   388797 |   321652 |     5505     96 |        0 |        0
1065.94/1066.38	c 1066s |      18 |   390391 |   323052 |     5505     96 |        0 |        0
1068.04/1068.42	c 1068s |      18 |   391592 |   324152 |     5505     97 |        0 |        0
1070.04/1070.43	c 1070s |      18 |   393101 |   325452 |     5505     97 |        0 |        0
1072.14/1072.58	c 1072s |      18 |   394572 |   326752 |     5505     97 |        0 |        0
1074.23/1074.68	c 1074s |      18 |   395992 |   327952 |     5505     98 |        0 |        0
1076.33/1076.71	c 1076s |      18 |   398000 |   329252 |     5505     98 |        0 |        0
1078.43/1078.86	c 1078s |      18 |   399458 |   330452 |     5505     98 |        0 |        0
1080.44/1080.89	c 1080s |      18 |   400624 |   331452 |     5505     98 |        0 |        0
1082.54/1082.91	c 1082s |      18 |   401518 |   332252 |     5505     98 |        0 |        0
1084.64/1085.06	c 1084s |      18 |   402300 |   332952 |     5505     99 |        0 |        0
1086.84/1087.21	c 1087s |      18 |   403335 |   333852 |     5505     99 |        0 |        0
1088.94/1089.32	c 1089s |      18 |   404237 |   334652 |     5505     99 |        0 |        0
1091.13/1091.54	c 1091s |      18 |   405163 |   335452 |     5505     99 |        0 |        0
1093.23/1093.66	c 1093s |      18 |   405869 |   336052 |     5505     99 |        0 |        0
1095.43/1095.87	c 1095s |      18 |   406531 |   336652 |     5505    100 |        0 |        0
1097.63/1098.09	c 1097s |      18 |   407289 |   337352 |     5505    100 |        0 |        0
1099.93/1100.36	c 1100s |      18 |   408196 |   338152 |     5505    100 |        0 |        0
1102.24/1102.66	c 1102s |      18 |   408959 |   338852 |     5505    100 |        0 |        0
1104.44/1104.84	c 1104s |      18 |   409705 |   339552 |     5505    100 |        0 |        0
1106.53/1106.98	c 1106s |      18 |   410457 |   340252 |     5505    100 |        0 |        0
1108.83/1109.22	c 1109s |      18 |   410994 |   340752 |     5505    101 |        0 |        0
1110.83/1111.27	c 1111s |      18 |   411797 |   341452 |     5505    101 |        0 |        0
1113.13/1113.52	c 1113s |      18 |   412678 |   342252 |     5505    101 |        0 |        0
1115.33/1115.72	c 1115s |      18 |   413430 |   342952 |     5505    101 |        0 |        0
1117.63/1118.02	c 1117s |      18 |   414192 |   343652 |     5505    101 |        0 |        0
1119.83/1120.23	c 1120s |      18 |   414831 |   344252 |     5505    101 |        0 |        0
1122.13/1122.50	c 1122s |      18 |   415407 |   344752 |     5505    102 |        0 |        0
1124.43/1124.81	c 1124s |      18 |   416285 |   345552 |     5505    102 |        0 |        0
1126.63/1127.03	c 1126s |      18 |   417051 |   346252 |     5505    102 |        0 |        0
1128.63/1129.07	c 1128s |      18 |   417707 |   346852 |     5505    102 |        0 |        0
1131.03/1131.45	c 1131s |      18 |   418479 |   347552 |     5505    102 |        0 |        0
1133.13/1133.55	c 1133s |      18 |   419118 |   348152 |     5505    102 |        0 |        0
1135.53/1135.93	c 1135s |      18 |   419777 |   348752 |     5505    103 |        0 |        0
1137.83/1138.26	c 1138s |      18 |   420575 |   349452 |     5505    103 |        0 |        0
1139.83/1140.29	c 1140s |      18 |   421103 |   349952 |     5505    103 |        0 |        0
1142.13/1142.52	c 1142s |      18 |   422057 |   350752 |     5505    103 |        0 |        0
1144.43/1144.83	c 1144s |      18 |   422937 |   351552 |     5505    103 |        0 |        0
1146.43/1146.85	c 1146s |      18 |   423741 |   352252 |     5505    103 |        0 |        0
1148.83/1149.27	c 1149s |      18 |   424406 |   352852 |     5505    104 |        0 |        0
1151.13/1151.58	c 1151s |      18 |   425154 |   353552 |     5505    104 |        0 |        0
1153.22/1153.61	c 1153s |      18 |   425940 |   354252 |     5505    104 |        0 |        0
1155.22/1155.64	c 1155s |      18 |   426716 |   354952 |     5505    104 |        0 |        0
1157.42/1157.87	c 1157s |      18 |   427625 |   355752 |     5505    104 |        0 |        0
1159.52/1159.96	c 1159s |      18 |   428452 |   356452 |     5505    104 |        0 |        0
1161.83/1162.24	c 1162s |      18 |   429249 |   357152 |     5505    105 |        0 |        0
1163.93/1164.35	c 1164s |      18 |   430178 |   357952 |     5505    105 |        0 |        0
1166.02/1166.47	c 1166s |      18 |   430985 |   358652 |     5505    105 |        0 |        0
1168.22/1168.61	c 1168s |      18 |   431861 |   359452 |     5505    105 |        0 |        0
1170.32/1170.78	c 1170s |      18 |   432637 |   360152 |     5505    105 |        0 |        0
1172.42/1172.89	c 1172s |      18 |   433406 |   360852 |     5505    105 |        0 |        0
1174.62/1175.00	c 1174s |      18 |   434070 |   361452 |     5505    106 |        0 |        0
1176.82/1177.29	c 1177s |      18 |   434884 |   362152 |     5505    106 |        0 |        0
1179.13/1179.52	c 1179s |      18 |   435690 |   362852 |     5505    106 |        0 |        0
1181.13/1181.59	c 1181s |      18 |   436357 |   363452 |     5505    106 |        0 |        0
1183.23/1183.69	c 1183s |      18 |   437026 |   364052 |     5505    106 |        0 |        0
1185.43/1185.88	c 1185s |      18 |   437715 |   364652 |     5505    106 |        0 |        0
1187.73/1188.12	c 1187s |      18 |   438268 |   365152 |     5505    107 |        0 |        0
1189.72/1190.13	c 1189s |      18 |   439130 |   365852 |     5505    107 |        0 |        0
1192.02/1192.41	c 1192s |      18 |   439983 |   366552 |     5505    107 |        0 |        0
1194.12/1194.59	c 1194s |      18 |   440650 |   367152 |     5505    107 |        0 |        0
1196.42/1196.84	c 1196s |      18 |   441498 |   367852 |     5505    107 |        0 |        0
1198.62/1199.01	c 1198s |      18 |   442235 |   368452 |     5505    107 |        0 |        0
1201.01/1201.42	c 1201s |      18 |   442921 |   369052 |     5505    108 |        0 |        0
1203.13/1203.58	c 1203s |      18 |   443648 |   369652 |     5505    108 |        0 |        0
1205.42/1205.84	c 1205s |      18 |   444460 |   370352 |     5505    108 |        0 |        0
1207.62/1208.06	c 1207s |      18 |   445256 |   371052 |     5505    108 |        0 |        0
1209.72/1210.16	c 1210s |      18 |   445946 |   371652 |     5505    108 |        0 |        0
1211.92/1212.34	c 1212s |      18 |   446652 |   372252 |     5505    108 |        0 |        0
1214.21/1214.60	c 1214s |      18 |   447329 |   372852 |     5505    108 |        0 |        0
1216.41/1216.81	c 1216s |      18 |   448034 |   373452 |     5505    109 |        0 |        0
1218.61/1219.04	c 1218s |      18 |   448818 |   374152 |     5505    109 |        0 |        0
1220.73/1221.19	c 1221s |      18 |   449466 |   374752 |     5505    109 |        0 |        0
1223.02/1223.42	c 1223s |      18 |   450161 |   375352 |     5505    109 |        0 |        0
1225.22/1225.60	c 1225s |      18 |   450828 |   375952 |     5505    109 |        0 |        0
1227.32/1227.72	c 1227s |      18 |   451546 |   376552 |     5505    109 |        0 |        0
1229.42/1229.90	c 1229s |      18 |   452276 |   377152 |     5505    110 |        0 |        0
1231.51/1231.92	c 1231s |      18 |   453070 |   377852 |     5505    110 |        0 |        0
1233.61/1234.07	c 1233s |      18 |   453843 |   378552 |     5505    110 |        0 |        0
1235.82/1236.21	c 1236s |      18 |   454646 |   379252 |     5505    110 |        0 |        0
1237.92/1238.39	c 1238s |      18 |   455410 |   379952 |     5505    110 |        0 |        0
1240.11/1240.59	c 1240s |      18 |   456084 |   380552 |     5505    110 |        0 |        0
1242.51/1242.95	c 1242s |      18 |   456753 |   381152 |     5505    110 |        0 |        0
1244.61/1245.03	c 1244s |      18 |   457311 |   381652 |     5505    111 |        0 |        0
1246.81/1247.24	c 1247s |      18 |   457979 |   382252 |     5505    111 |        0 |        0
1249.01/1249.40	c 1249s |      18 |   458636 |   382852 |     5505    111 |        0 |        0
1251.21/1251.63	c 1251s |      18 |   459439 |   383552 |     5505    111 |        0 |        0
1253.31/1253.77	c 1253s |      18 |   460129 |   384152 |     5505    111 |        0 |        0
1255.51/1255.98	c 1255s |      18 |   460939 |   384852 |     5505    111 |        0 |        0
1257.61/1258.00	c 1257s |      18 |   461622 |   385452 |     5505    112 |        0 |        0
1259.71/1260.17	c 1260s |      18 |   462400 |   386152 |     5505    112 |        0 |        0
1261.91/1262.34	c 1262s |      18 |   463178 |   386852 |     5505    112 |        0 |        0
1264.11/1264.53	c 1264s |      18 |   463936 |   387552 |     5505    112 |        0 |        0
1266.10/1266.59	c 1266s |      18 |   464593 |   388152 |     5505    112 |        0 |        0
1268.30/1268.78	c 1268s |      18 |   465246 |   388752 |     5505    112 |        0 |        0
1270.60/1271.04	c 1270s |      18 |   465878 |   389352 |     5505    112 |        0 |        0
1272.80/1273.23	c 1273s |      18 |   466540 |   389952 |     5505    113 |        0 |        0
1275.21/1275.61	c 1275s |      18 |   467298 |   390652 |     5505    113 |        0 |        0
1277.21/1277.69	c 1277s |      18 |   467953 |   391252 |     5505    113 |        0 |        0
1279.61/1280.06	c 1279s |      18 |   468575 |   391852 |     5505    113 |        0 |        0
1281.61/1282.06	c 1281s |      18 |   469255 |   392452 |     5505    113 |        0 |        0
1283.61/1284.07	c 1283s |      18 |   469916 |   393052 |     5505    113 |        0 |        0
1285.81/1286.27	c 1286s |      18 |   470553 |   393652 |     5505    114 |        0 |        0
1287.90/1288.30	c 1288s |      18 |   471232 |   394252 |     5505    114 |        0 |        0
1289.91/1290.36	c 1290s |      18 |   472010 |   394952 |     5505    114 |        0 |        0
1292.11/1292.53	c 1292s |      18 |   472915 |   395752 |     5505    114 |        0 |        0
1294.10/1294.59	c 1294s |      18 |   473715 |   396452 |     5505    114 |        0 |        0
1296.20/1296.69	c 1296s |      18 |   474470 |   397152 |     5505    114 |        0 |        0
1298.30/1298.78	c 1298s |      18 |   475264 |   397852 |     5505    115 |        0 |        0
1300.71/1301.12	c 1300s |      18 |   476163 |   398652 |     5505    115 |        0 |        0
1302.91/1303.32	c 1303s |      18 |   476927 |   399352 |     5505    115 |        0 |        0
1305.10/1305.54	c 1305s |      18 |   477698 |   400052 |     5505    115 |        0 |        0
1307.40/1307.90	c 1307s |      18 |   478472 |   400752 |     5505    115 |        0 |        0
1309.60/1310.05	c 1309s |      18 |   479226 |   401452 |     5505    115 |        0 |        0
1311.90/1312.30	c 1312s |      18 |   480031 |   402152 |     5505    116 |        0 |        0
1314.01/1314.49	c 1314s |      18 |   480999 |   403052 |     5505    116 |        0 |        0
1316.31/1316.72	c 1316s |      18 |   481881 |   403852 |     5505    116 |        0 |        0
1318.51/1318.93	c 1318s |      18 |   482665 |   404552 |     5505    116 |        0 |        0
1320.60/1321.06	c 1320s |      18 |   483407 |   405252 |     5505    116 |        0 |        0
1322.80/1323.23	c 1323s |      18 |   484198 |   405952 |     5505    117 |        0 |        0
1325.00/1325.43	c 1325s |      18 |   485079 |   406752 |     5505    117 |        0 |        0
1327.00/1327.48	c 1327s |      18 |   485864 |   407452 |     5505    117 |        0 |        0
1329.10/1329.54	c 1329s |      18 |   486629 |   408152 |     5505    117 |        0 |        0
1331.29/1331.76	c 1331s |      18 |   487395 |   408852 |     5505    117 |        0 |        0
1333.50/1333.94	c 1333s |      18 |   488051 |   409452 |     5505    117 |        0 |        0
1335.80/1336.20	c 1336s |      18 |   488732 |   410052 |     5505    118 |        0 |        0
1337.80/1338.26	c 1338s |      18 |   489496 |   410752 |     5505    118 |        0 |        0
1340.10/1340.52	c 1340s |      18 |   490254 |   411452 |     5505    118 |        0 |        0
1342.30/1342.73	c 1342s |      18 |   491027 |   412152 |     5505    118 |        0 |        0
1344.50/1344.94	c 1344s |      18 |   491796 |   412852 |     5505    118 |        0 |        0
1346.60/1347.03	c 1346s |      18 |   492446 |   413452 |     5505    118 |        0 |        0
1348.69/1349.15	c 1348s |      18 |   493116 |   414052 |     5505    119 |        0 |        0
1350.89/1351.36	c 1351s |      18 |   493789 |   414652 |     5505    119 |        0 |        0
1352.89/1353.38	c 1353s |      18 |   494346 |   415152 |     5505    119 |        0 |        0
1355.09/1355.53	c 1355s |      18 |   494903 |   415652 |     5505    119 |        0 |        0
1357.29/1357.77	c 1357s |      18 |   495552 |   416252 |     5505    119 |        0 |        0
1359.49/1359.94	c 1359s |      18 |   496315 |   416852 |     5505    119 |        0 |        0
1361.59/1362.06	c 1361s |      18 |   497614 |   417752 |     5505    119 |        0 |        0
1363.70/1364.12	c 1363s |      18 |   498421 |   418452 |     5505    120 |        0 |        0
1365.90/1366.33	c 1366s |      18 |   499394 |   419252 |     5505    120 |        0 |        0
1368.19/1368.60	c 1368s |      18 |   500315 |   420052 |     5505    120 |        0 |        0
1370.39/1370.87	c 1370s |      18 |   501179 |   420752 |     5505    120 |        0 |        0
1372.59/1373.00	c 1372s |      18 |   502016 |   421452 |     5505    120 |        0 |        0
1374.59/1375.08	c 1374s |      18 |   502698 |   422052 |     5505    121 |        0 |        0
1376.80/1377.27	c 1377s |      18 |   503491 |   422752 |     5505    121 |        0 |        0
1378.89/1379.34	c 1379s |      18 |   504277 |   423452 |     5505    121 |        0 |        0
1381.20/1381.61	c 1381s |      18 |   505055 |   424152 |     5505    121 |        0 |        0
1383.29/1383.71	c 1383s |      18 |   505717 |   424752 |     5505    121 |        0 |        0
1385.39/1385.87	c 1385s |      18 |   506369 |   425352 |     5505    121 |        0 |        0
1387.79/1388.26	c 1388s |      18 |   507005 |   425952 |     5505    122 |        0 |        0
1389.99/1390.41	c 1390s |      18 |   507708 |   426552 |     5505    122 |        0 |        0
1392.20/1392.68	c 1392s |      18 |   508472 |   427252 |     5505    122 |        0 |        0
1394.40/1394.86	c 1394s |      18 |   509152 |   427852 |     5505    122 |        0 |        0
1396.69/1397.14	c 1396s |      18 |   509926 |   428552 |     5505    122 |        0 |        0
1398.99/1399.44	c 1399s |      18 |   510704 |   429252 |     5505    122 |        0 |        0
1401.18/1401.64	c 1401s |      18 |   511540 |   429952 |     5505    122 |        0 |        0
1403.49/1403.99	c 1403s |      18 |   512313 |   430652 |     5505    123 |        0 |        0
1405.79/1406.28	c 1406s |      18 |   513206 |   431452 |     5505    123 |        0 |        0
1407.89/1408.31	c 1408s |      18 |   513852 |   432052 |     5505    123 |        0 |        0
1409.99/1410.41	c 1410s |      18 |   514519 |   432652 |     5505    123 |        0 |        0
1412.09/1412.54	c 1412s |      18 |   515152 |   433252 |     5505    123 |        0 |        0
1414.38/1414.82	c 1414s |      18 |   515854 |   433852 |     5505    123 |        0 |        0
1416.58/1417.02	c 1416s |      18 |   516640 |   434552 |     5505    124 |        0 |        0
1418.70/1419.18	c 1419s |      18 |   517529 |   435352 |     5505    124 |        0 |        0
1420.80/1421.20	c 1421s |      18 |   518292 |   436052 |     5505    124 |        0 |        0
1422.99/1423.42	c 1423s |      18 |   519239 |   436852 |     5505    124 |        0 |        0
1424.99/1425.48	c 1425s |      18 |   520012 |   437552 |     5505    124 |        0 |        0
1427.18/1427.61	c 1427s |      18 |   520723 |   438152 |     5505    125 |        0 |        0
1429.18/1429.69	c 1429s |      18 |   521633 |   438952 |     5505    125 |        0 |        0
1431.38/1431.86	c 1431s |      18 |   522405 |   439652 |     5505    125 |        0 |        0
1433.69/1434.14	c 1433s |      18 |   523182 |   440352 |     5505    125 |        0 |        0
1435.89/1436.38	c 1436s |      18 |   523979 |   441052 |     5505    125 |        0 |        0
1438.08/1438.53	c 1438s |      18 |   524628 |   441652 |     6056    125 |        0 |        0
1440.28/1440.74	c 1440s |      18 |   525256 |   442252 |     6056    125 |        0 |        0
1442.48/1442.95	c 1442s |      18 |   525945 |   442852 |     6056    126 |        0 |        0
1444.48/1444.98	c 1444s |      18 |   526734 |   443552 |     6056    126 |        0 |        0
1446.68/1447.13	c 1446s |      18 |   527500 |   444252 |     6056    126 |        0 |        0
1447.38/1447.86	c 1447s |      19 |   527754 |   444482 |     6056    126 |        0 |        0
1449.49/1449.94	c 1449s |      19 |   530974 |   445582 |     6056    127 |        0 |        0
1451.48/1451.99	c 1451s |      19 |   532160 |   446582 |     6056    127 |        0 |        0
1453.48/1454.00	c 1453s |      19 |   533083 |   447382 |     6056    127 |        0 |        0
1455.68/1456.14	c 1455s |      19 |   534064 |   448182 |     6056    127 |        0 |        0
1457.68/1458.17	c 1458s |      19 |   534852 |   448882 |     6056    127 |        0 |        0
1459.68/1460.18	c 1460s |      19 |   535660 |   449582 |     6056    127 |        0 |        0
1461.88/1462.38	c 1462s |      19 |   536342 |   450182 |     6056    128 |        0 |        0
1463.98/1464.48	c 1464s |      19 |   537170 |   450882 |     6056    128 |        0 |        0
1466.08/1466.58	c 1466s |      19 |   538030 |   451582 |     6056    128 |        0 |        0
1468.38/1468.84	c 1468s |      19 |   538895 |   452282 |     6056    128 |        0 |        0
1470.68/1471.17	c 1471s |      19 |   539733 |   452982 |     6056    128 |        0 |        0
1472.97/1473.47	c 1473s |      19 |   540458 |   453582 |     6056    128 |        0 |        0
1475.27/1475.72	c 1475s |      19 |   541165 |   454182 |     6056    128 |        0 |        0
1477.38/1477.83	c 1477s |      19 |   541614 |   454582 |     6056    129 |        0 |        0
1479.58/1480.02	c 1479s |      19 |   542442 |   455282 |     6056    129 |        0 |        0
1481.58/1482.09	c 1481s |      19 |   543249 |   455982 |     6056    129 |        0 |        0
1483.67/1484.10	c 1483s |      19 |   544053 |   456682 |     6056    129 |        0 |        0
1485.78/1486.25	c 1486s |      19 |   544863 |   457382 |     6056    129 |        0 |        0
1487.77/1488.30	c 1488s |      19 |   545539 |   457982 |     6056    129 |        0 |        0
1490.08/1490.56	c 1490s |      19 |   546181 |   458582 |     6056    129 |        0 |        0
1492.18/1492.66	c 1492s |      19 |   546740 |   459082 |     6056    130 |        0 |        0
1494.38/1494.90	c 1494s |      19 |   547526 |   459782 |     6056    130 |        0 |        0
1496.68/1497.10	c 1496s |      19 |   548312 |   460482 |     6056    130 |        0 |        0
1498.77/1499.30	c 1499s |      19 |   549101 |   461182 |     6056    130 |        0 |        0
1500.97/1501.48	c 1501s |      19 |   549778 |   461782 |     6056    130 |        0 |        0
1503.18/1503.63	c 1503s |      19 |   550435 |   462382 |     6056    130 |        0 |        0
1505.28/1505.72	c 1505s |      19 |   551131 |   462982 |     6056    130 |        0 |        0
1507.38/1507.88	c 1507s |      19 |   551877 |   463582 |     6056    131 |        0 |        0
1509.57/1510.07	c 1509s |      19 |   552741 |   464282 |     6056    131 |        0 |        0
1511.77/1512.20	c 1512s |      19 |   553518 |   464982 |     6056    131 |        0 |        0
1513.87/1514.35	c 1514s |      19 |   554360 |   465682 |     6056    131 |        0 |        0
1516.17/1516.64	c 1516s |      19 |   555205 |   466382 |     6056    131 |        0 |        0
1518.27/1518.73	c 1518s |      19 |   555901 |   466982 |     6056    131 |        0 |        0
1520.47/1520.90	c 1520s |      19 |   556493 |   467482 |     6056    132 |        0 |        0
1522.47/1522.93	c 1522s |      19 |   557150 |   468082 |     6056    132 |        0 |        0
1524.67/1525.11	c 1524s |      19 |   557821 |   468682 |     6056    132 |        0 |        0
1526.77/1527.22	c 1527s |      19 |   558514 |   469282 |     6056    132 |        0 |        0
1528.87/1529.39	c 1529s |      19 |   559295 |   469982 |     6056    132 |        0 |        0
1531.27/1531.70	c 1531s |      19 |   560108 |   470682 |     6056    132 |        0 |        0
1533.37/1533.86	c 1533s |      19 |   560751 |   471282 |     6056    132 |        0 |        0
1535.47/1535.95	c 1535s |      19 |   561470 |   471882 |     6056    133 |        0 |        0
1537.47/1537.98	c 1537s |      19 |   562336 |   472582 |     6056    133 |        0 |        0
1539.96/1540.40	c 1540s |      19 |   563135 |   473282 |     6056    133 |        0 |        0
1542.17/1542.62	c 1542s |      19 |   563948 |   473982 |     6056    133 |        0 |        0
1544.17/1544.68	c 1544s |      19 |   564636 |   474582 |     6056    133 |        0 |        0
1546.17/1546.70	c 1546s |      19 |   565339 |   475182 |     6056    133 |        0 |        0
1548.26/1548.72	c 1548s |      19 |   566017 |   475782 |     6056    133 |        0 |        0
1550.27/1550.76	c 1550s |      19 |   566655 |   476282 |     6056    134 |        0 |        0
1552.47/1552.92	c 1552s |      19 |   567514 |   476982 |     6056    134 |        0 |        0
1554.57/1555.09	c 1554s |      19 |   568188 |   477582 |     6056    134 |        0 |        0
1557.06/1557.54	c 1557s |      19 |   568854 |   478182 |     6056    134 |        0 |        0
1559.26/1559.72	c 1559s |      19 |   569634 |   478882 |     6056    134 |        0 |        0
1561.47/1561.99	c 1561s |      19 |   570458 |   479582 |     6056    134 |        0 |        0
1563.87/1564.38	c 1564s |      19 |   571277 |   480282 |     6056    134 |        0 |        0
1566.07/1566.59	c 1566s |      19 |   572005 |   480882 |     6056    135 |        0 |        0
1568.27/1568.72	c 1568s |      19 |   572872 |   481582 |     6056    135 |        0 |        0
1570.37/1570.83	c 1570s |      19 |   573677 |   482282 |     6056    135 |        0 |        0
1572.57/1573.09	c 1572s |      19 |   574482 |   482982 |     6056    135 |        0 |        0
1574.87/1575.37	c 1575s |      19 |   575278 |   483682 |     6056    135 |        0 |        0
1577.16/1577.61	c 1577s |      19 |   576002 |   484282 |     6056    135 |        0 |        0
1579.66/1580.17	c 1580s |      19 |   576672 |   484882 |     6056    136 |        0 |        0
1581.76/1582.28	c 1582s |      19 |   577381 |   485482 |     6056    136 |        0 |        0
1583.86/1584.31	c 1584s |      19 |   578068 |   486082 |     6056    136 |        0 |        0
1585.96/1586.43	c 1586s |      19 |   578810 |   486682 |     6056    136 |        0 |        0
1588.16/1588.69	c 1588s |      19 |   579652 |   487382 |     6056    136 |        0 |        0
1590.46/1590.95	c 1590s |      19 |   580453 |   488082 |     6056    136 |        0 |        0
1592.66/1593.15	c 1592s |      19 |   581141 |   488682 |     6056    136 |        0 |        0
1595.16/1595.65	c 1595s |      19 |   581864 |   489282 |     6056    137 |        0 |        0
1597.16/1597.70	c 1597s |      19 |   582561 |   489882 |     6056    137 |        0 |        0
1599.26/1599.72	c 1599s |      19 |   583264 |   490482 |     6056    137 |        0 |        0
1601.56/1602.04	c 1601s |      19 |   584139 |   491182 |     6056    137 |        0 |        0
1603.86/1604.37	c 1604s |      19 |   584992 |   491882 |     6056    137 |        0 |        0
1605.96/1606.47	c 1606s |      19 |   585698 |   492482 |     6056    137 |        0 |        0
1608.16/1608.62	c 1608s |      19 |   586380 |   493082 |     6056    137 |        0 |        0
1610.25/1610.77	c 1610s |      19 |   586943 |   493582 |     6056    138 |        0 |        0
1612.45/1612.92	c 1612s |      19 |   587611 |   494182 |     6056    138 |        0 |        0
1614.75/1615.21	c 1615s |      19 |   588260 |   494782 |     6056    138 |        0 |        0
1616.86/1617.32	c 1617s |      19 |   588947 |   495382 |     6056    138 |        0 |        0
1618.96/1619.44	c 1619s |      19 |   589626 |   495982 |     6056    138 |        0 |        0
1621.26/1621.77	c 1621s |      19 |   590320 |   496582 |     6056    138 |        0 |        0
1623.35/1623.81	c 1623s |      19 |   590873 |   497082 |     6056    138 |        0 |        0
1625.65/1626.13	c 1625s |      19 |   591716 |   497782 |     6056    138 |        0 |        0
1627.85/1628.34	c 1628s |      19 |   592434 |   498382 |     6056    139 |        0 |        0
1630.05/1630.52	c 1630s |      19 |   593224 |   499082 |     6056    139 |        0 |        0
1632.15/1632.69	c 1632s |      19 |   593912 |   499682 |     6056    139 |        0 |        0
1634.45/1634.91	c 1634s |      19 |   594592 |   500282 |     6056    139 |        0 |        0
1636.75/1637.26	c 1637s |      19 |   595276 |   500882 |     6056    139 |        0 |        0
1639.05/1639.56	c 1639s |      19 |   595962 |   501482 |     6056    139 |        0 |        0
1641.56/1642.00	c 1641s |      19 |   596635 |   502082 |     6056    139 |        0 |        0
1643.85/1644.39	c 1644s |      19 |   597194 |   502582 |     6056    140 |        0 |        0
1646.15/1646.63	c 1646s |      19 |   597907 |   503182 |     6056    140 |        0 |        0
1648.35/1648.85	c 1648s |      19 |   598574 |   503782 |     6056    140 |        0 |        0
1650.45/1650.91	c 1650s |      19 |   599125 |   504282 |     6056    140 |        0 |        0
1652.55/1653.02	c 1652s |      19 |   599678 |   504782 |     6056    140 |        0 |        0
1654.75/1655.24	c 1655s |      19 |   600234 |   505282 |     6056    140 |        0 |        0
1656.94/1657.40	c 1657s |      19 |   600816 |   505782 |     6056    140 |        0 |        0
1659.15/1659.60	c 1659s |      19 |   601368 |   506282 |     6056    140 |        0 |        0
1661.15/1661.63	c 1661s |      19 |   601808 |   506682 |     6056    141 |        0 |        0
1663.35/1663.80	c 1663s |      19 |   602343 |   507182 |     6056    141 |        0 |        0
1665.45/1665.93	c 1665s |      19 |   603040 |   507782 |     6056    141 |        0 |        0
1667.44/1667.99	c 1667s |      19 |   603751 |   508382 |     6056    141 |        0 |        0
1669.55/1670.07	c 1669s |      19 |   604432 |   508982 |     6056    141 |        0 |        0
1671.95/1672.45	c 1672s |      19 |   605095 |   509582 |     6056    141 |        0 |        0
1674.15/1674.63	c 1674s |      19 |   605630 |   510082 |     6056    141 |        0 |        0
1676.35/1676.84	c 1676s |      19 |   606200 |   510582 |     6056    141 |        0 |        0
1678.64/1679.11	c 1678s |      19 |   606751 |   511082 |     6056    142 |        0 |        0
1680.94/1681.46	c 1681s |      19 |   607533 |   511782 |     6056    142 |        0 |        0
1683.05/1683.55	c 1683s |      19 |   608251 |   512382 |     6056    142 |        0 |        0
1685.35/1685.82	c 1685s |      19 |   608933 |   512982 |     6056    142 |        0 |        0
1687.35/1687.87	c 1687s |      19 |   609494 |   513482 |     6056    142 |        0 |        0
1689.64/1690.12	c 1689s |      19 |   610148 |   514082 |     6056    142 |        0 |        0
1692.04/1692.52	c 1692s |      19 |   610811 |   514682 |     6056    142 |        0 |        0
1694.14/1694.62	c 1694s |      19 |   611390 |   515182 |     6056    142 |        0 |        0
1696.14/1696.65	c 1696s |      19 |   611839 |   515582 |     6056    143 |        0 |        0
1698.55/1699.02	c 1698s |      19 |   612531 |   516182 |     6056    143 |        0 |        0
1700.54/1701.03	c 1700s |      19 |   613091 |   516682 |     6056    143 |        0 |        0
1702.84/1703.34	c 1703s |      19 |   613757 |   517282 |     6056    143 |        0 |        0
1704.84/1705.39	c 1705s |      19 |   614309 |   517782 |     6056    143 |        0 |        0
1707.14/1707.62	c 1707s |      19 |   614846 |   518282 |     6056    143 |        0 |        0
1709.35/1709.88	c 1709s |      19 |   615395 |   518782 |     6056    143 |        0 |        0
1711.64/1712.17	c 1712s |      19 |   615981 |   519282 |     6056    143 |        0 |        0
1713.74/1714.26	c 1714s |      19 |   616415 |   519682 |     6056    144 |        0 |        0
1716.04/1716.57	c 1716s |      19 |   617072 |   520282 |     6056    144 |        0 |        0
1718.14/1718.69	c 1718s |      19 |   617606 |   520782 |     6056    144 |        0 |        0
1720.24/1720.70	c 1720s |      19 |   618179 |   521282 |     6056    144 |        0 |        0
1722.24/1722.74	c 1722s |      19 |   618983 |   521982 |     6056    144 |        0 |        0
1724.44/1724.98	c 1724s |      19 |   619774 |   522682 |     6056    144 |        0 |        0
1726.65/1727.17	c 1727s |      19 |   620535 |   523382 |     6056    144 |        0 |        0
1729.34/1729.80	c 1729s |      19 |   621310 |   524082 |     6056    145 |        0 |        0
1731.54/1732.05	c 1731s |      19 |   622099 |   524782 |     6056    145 |        0 |        0
1733.84/1734.39	c 1734s |      19 |   622776 |   525382 |     6056    145 |        0 |        0
1735.84/1736.40	c 1736s |      19 |   623467 |   525982 |     6056    145 |        0 |        0
1738.04/1738.58	c 1738s |      19 |   624150 |   526582 |     6056    145 |        0 |        0
1740.04/1740.59	c 1740s |      19 |   624718 |   527082 |     6056    145 |        0 |        0
1742.24/1742.70	c 1742s |      19 |   625272 |   527582 |     6056    145 |        0 |        0
1744.53/1745.00	c 1744s |      19 |   625940 |   528182 |     6056    145 |        0 |        0
1746.63/1747.15	c 1746s |      19 |   626460 |   528682 |     6056    146 |        0 |        0
1748.83/1749.32	c 1749s |      19 |   627024 |   529182 |     6056    146 |        0 |        0
1751.03/1751.52	c 1751s |      19 |   627687 |   529782 |     6056    146 |        0 |        0
1753.33/1753.81	c 1753s |      19 |   628346 |   530382 |     6056    146 |        0 |        0
1755.54/1756.07	c 1755s |      19 |   629002 |   530982 |     6056    146 |        0 |        0
1758.03/1758.54	c 1758s |      19 |   629662 |   531582 |     6056    146 |        0 |        0
1760.53/1761.05	c 1760s |      19 |   630201 |   532082 |     6056    146 |        0 |        0
1763.23/1763.70	c 1763s |      19 |   630880 |   532682 |     6056    147 |        0 |        0
1765.23/1765.79	c 1765s |      19 |   631682 |   533382 |     6056    147 |        0 |        0
1767.44/1767.91	c 1767s |      19 |   632348 |   533982 |     6056    147 |        0 |        0
1769.74/1770.22	c 1770s |      19 |   633032 |   534582 |     6056    147 |        0 |        0
1771.94/1772.49	c 1772s |      19 |   633680 |   535182 |     6056    147 |        0 |        0
1774.04/1774.52	c 1774s |      19 |   634219 |   535682 |     6056    147 |        0 |        0
1776.23/1776.78	c 1776s |      19 |   634904 |   536282 |     6056    147 |        0 |        0
1778.34/1778.90	c 1778s |      19 |   635438 |   536782 |     6056    147 |        0 |        0
1780.63/1781.14	c 1780s |      19 |   635993 |   537282 |     6056    148 |        0 |        0
1782.63/1783.15	c 1782s |      19 |   636651 |   537882 |     6056    148 |        0 |        0
1785.03/1785.50	c 1785s |      19 |   637321 |   538482 |     6056    148 |        0 |        0
1787.43/1787.91	c 1787s |      19 |   637952 |   539082 |     6056    148 |        0 |        0
1789.53/1790.05	c 1789s |      19 |   638485 |   539582 |     6056    148 |        0 |        0
1791.73/1792.27	c 1792s |      19 |   639145 |   540182 |     6056    148 |        0 |        0
1793.73/1794.28	c 1794s |      19 |   639693 |   540682 |     6056    148 |        0 |        0
1795.93/1796.48	c 1796s |      19 |   640225 |   541182 |     6056    148 |        0 |        0
1798.03/1798.58	c 1798s |      19 |   640656 |   541582 |     6056    149 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093715-1466092924/watcher-4093715-1466092924 -o /tmp/evaluation-result-4093715-1466092924/solver-4093715-1466092924 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12743 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093715-1466092924.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 14895
/proc/meminfo: memFree=30609436/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 2627 0 0 0 0 0 0 0 20 0 4 0 11339013 721874944 2988 33554432000 4194304 16246674 140735113830576 140735113830000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 177007 2997 441 2943 0 173901 0
[pid=14895/tid=14896] ppid=14892 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 740749312 3059 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 744943616 3076 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11339014 749137920 3092 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 14895
/proc/meminfo: memFree=30609436/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 25310 0 0 0 6 2 0 0 20 0 4 0 11339013 1247350784 25664 33554432000 4194304 16246674 140735113830576 140735113830000 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 304529 25673 603 2943 0 301423 0
[pid=14895/tid=14896] ppid=14892 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1247350784 25680 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1247350784 25686 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11339014 1247350784 25692 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200528 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 14895
/proc/meminfo: memFree=30609436/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 47641 0 0 0 13 5 0 0 20 0 4 0 11339013 1247350784 47987 33554432000 4194304 16246674 140735113830576 140735113830000 5724032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 304529 48000 805 2943 0 301423 0
[pid=14895/tid=14896] ppid=14892 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1247350784 48008 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1247350784 48014 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11339014 1247350784 48025 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30049 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 14895
/proc/meminfo: memFree=30609436/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 65897 0 0 0 21 8 0 0 20 0 4 0 11339013 1334382592 66221 33554432000 4194304 16246674 140735113830576 140735113829888 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 325777 66230 865 2943 0 322671 0
[pid=14895/tid=14896] ppid=14892 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1334382592 66235 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1334382592 66241 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1334382592 66244 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700421 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 14895
/proc/meminfo: memFree=30609436/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 88644 0 0 0 57 12 0 0 20 0 4 0 11339013 1338576896 88968 33554432000 4194304 16246674 140735113830576 140735113812480 5545993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 326801 88968 865 2943 0 323695 0
[pid=14895/tid=14896] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 88968 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 88968 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 88968 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50041 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14899
/proc/meminfo: memFree=30254212/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 166066 0 0 0 127 22 0 0 20 0 4 0 11339013 1338576896 166391 33554432000 4194304 16246674 140735113830576 140735113812480 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 326801 166412 865 2943 0 323695 0
[pid=14895/tid=14896] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 166420 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 166429 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 166437 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.05 2.02 2.00 4/183 14899
/proc/meminfo: memFree=29537244/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 267819 0 0 0 272 37 0 0 20 0 4 0 11339013 1338576896 268143 33554432000 4194304 16246674 140735113830576 140735113812480 13191314 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 326801 268143 870 2943 0 323695 0
[pid=14895/tid=14896] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 268143 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 268143 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 268143 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 14899
/proc/meminfo: memFree=29537196/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 267919 0 0 0 592 37 0 0 20 0 4 0 11339013 1338576896 268243 33554432000 4194304 16246674 140735113830576 140735113812480 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 326801 268243 870 2943 0 323695 0
[pid=14895/tid=14896] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 268243 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 268243 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1338576896 268243 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14900
/proc/meminfo: memFree=29535848/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 268490 0 0 0 1232 37 0 0 20 0 4 0 11339013 1341722624 268814 33554432000 4194304 16246674 140735113830576 140735113812480 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 327569 268814 873 2943 0 324463 0
[pid=14895/tid=14896] ppid=14892 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1341722624 268814 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1341722624 268814 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1341722624 268814 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14900
/proc/meminfo: memFree=29531180/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 269458 0 0 0 2512 37 0 0 20 0 4 0 11339013 1344868352 269782 33554432000 4194304 16246674 140735113830576 140735113812480 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 328337 269782 873 2943 0 325231 0
[pid=14895/tid=14896] ppid=14892 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1344868352 269782 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1344868352 269782 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1344868352 269782 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1006 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14900
/proc/meminfo: memFree=29529824/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 269836 0 0 0 5071 37 0 0 20 0 4 0 11339013 1346965504 270160 33554432000 4194304 16246674 140735113830576 140735113812480 5722490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 328849 270160 873 2943 0 325743 0
[pid=14895/tid=14896] ppid=14892 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1346965504 270160 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1346965504 270160 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1346965504 270160 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14901
/proc/meminfo: memFree=29524740/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 270849 0 0 0 10189 39 0 0 20 0 4 0 11339013 1351159808 271173 33554432000 4194304 16246674 140735113830576 140735113829752 13896839 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 329873 271173 873 2943 0 326767 0
[pid=14895/tid=14896] ppid=14892 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1351159808 271173 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1351159808 271173 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1351159808 271173 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1354305536 272089 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 14981
/proc/meminfo: memFree=29512812/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1322564 CPUtime=1361.89 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272122 0 0 0 136069 120 0 0 20 0 4 0 11339013 1354305536 272089 33554432000 4194304 16246674 140735113830576 140735113829752 5861864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330641 272089 873 2943 0 327535 0
[pid=14895/tid=14896] ppid=14892 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1354305536 272089 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1354305536 272089 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1354305536 272089 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 14982
/proc/meminfo: memFree=29511720/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1421.89 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 142064 125 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113829752 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/183 14983
/proc/meminfo: memFree=29511624/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1481.88 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 148060 128 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113812480 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.15 2.09 2.01 3/183 14984
/proc/meminfo: memFree=29512032/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1541.87 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 154056 131 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113829752 6011784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/183 14986
/proc/meminfo: memFree=29512496/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1601.86 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 160050 136 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113829752 5523315 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/183 14987
/proc/meminfo: memFree=29512372/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1661.85 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 166046 139 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113829752 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/184 14991
/proc/meminfo: memFree=29512176/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1721.83 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 172040 143 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113829752 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1323588

[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/183 14992
/proc/meminfo: memFree=29511700/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1781.83 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 178037 146 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113829752 5546616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 14992
/proc/meminfo: memFree=29512312/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1800.02 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 179855 147 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113829752 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1323588

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 14992
/proc/meminfo: memFree=29512312/32872528 swapFree=302776/319128
[pid=14895] ppid=14892 vsize=1323588 CPUtime=1800.02 cores=0,2,4,6
/proc/14895/stat : 14895 (toysat) R 14892 14895 7942 0 -1 4202496 272378 0 0 0 179855 147 0 0 20 0 4 0 11339013 1355354112 272345 33554432000 4194304 16246674 140735113830576 140735113829752 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14895/statm: 330897 272345 873 2943 0 327791 0
[pid=14895/tid=14896] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14896/stat : 14896 (toysat) S 14892 14895 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026509765872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14895/tid=14897] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14897/stat : 14897 (toysat) S 14892 14895 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026499276016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14895/tid=14898] ppid=14892 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (toysat) S 14892 14895 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11339014 1355354112 272345 33554432000 4194304 16246674 140735113830576 140026488802480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1323588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1798.56
CPU system time (s): 1.47978
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.47978
maximum resident set size= 1089380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272378
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= 372
involuntary context switches= 1901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.082 second user time and 15.3727 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 18:02:04
IDJOB=4093715
IDBENCH=79168
IDSOLVER=2553
FILE ID=node128/4093715-1466092924
RUNJOBID= node128-1466075273-12743
PBS_JOBID= 19904011
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= cab96e9f0187cae75501af3130753b71
RANDOM SEED=325042471

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30610088 kB
Buffers:           44644 kB
Cached:           107476 kB
SwapCached:         2104 kB
Active:          1168980 kB
Inactive:          72544 kB
Active(anon):    1090316 kB
Inactive(anon):     1596 kB
Active(file):      78664 kB
Inactive(file):    70948 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1407684 kB
Mapped:            10604 kB
Shmem:                 0 kB
Slab:             568176 kB
SReclaimable:      12064 kB
SUnreclaim:       556112 kB
KernelStack:        1480 kB
PageTables:         7156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1551872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1097728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node128 at 2016-06-16 18:32:04