Trace number 4093598

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.22 1800.51

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12013_1-unsat--soft-0-100-0.wbo
MD5SUMd6ce3ef474957eba462e4a8661dbc0f2
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3541
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables29282
Total number of constraints92908
Number of soft constraints92908
Number of constraints which are clauses92428
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint93
Top cost 4698532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4698531
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 554
Number of bits of the biggest sum of numbers10
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-16T17:04:36+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093598-1466089476.wbo"]
0.00/0.01	c use --random-gen="4254299229 1675157255 4285861569 1635314750 200838051 1994700736 503188408 316885266 3526831232 107588212 3809148772 357871068 2479740082 3704882092 436872993 2879363944 2977065355 3012397314 913416245 1853370438 1818153513 1927336250 2264590297 230123690 1600595366 1942361615 3659350187 3796107163 3603472863 2354959467 2302613991 3770123056 2155923118 2607839784 2817679935 1948492917 387075184 3384624026 1748150475 3025191424 710138649 2200483650 36176231 402879252 2504704214 653193638 1662058369 2586440704 935858901 1139322516 2704239168 1752765990 350207799 66778862 1757493063 1388137988 274662192 2235727879 3137240618 1049296811 97196868 3861122632 627122723 2223118605 280851885 2240450927 2468329525 3223742036 93323785 1042507694 1177156138 965787869 55174244 3627063171 84192797 333506984 11073045 4229629015 3091993637 3879520295 3188964301 1556512146 1035780486 1172781619 269787293 2197361656 1415687892 3604746994 555015505 3476491960 2610286561 2783479075 2438305220 128602272 1024175023 1065934516 2738774636 975758965 131290943 3352038449 404211139 405858273 2293669293 1973754291 2557308004 3109383392 3536781937 295914423 441411084 275144910 3719617058 1836146801 2205951625 4091944686 720072806 1564398801 2317680467 3005198455 2225332001 3997502868 2270000172 3033326718 373621273 3186828018 348360354 2955658791 987592942 1511920903 2774351298 3938007584 2931121784 3631080076 1650268098 2699590366 1367842413 77770505 963552405 1040883967 3658011825 188342065 2095972756 1897957636 2221451965 2797934554 3594307629 2750513393 1819283839 675252244 2602398581 3864962643 209640550 1940033595 1719598494 1579552598 3189375006 3579724163 4027247868 1648128862 4159366852 457815291 896300774 2078478022 393670050 2963073073 2558269958 2021104881 950268045 1805566560 2506603811 1383958786 318772620 2335656006 3631451873 3105188142 3304708237 2966165683 3253638699 4018210192 1362978621 3832116117 2788098756 1755879888 2839156371 4157883208 1423391541 3238028433 3152965041 2526137445 872716504 988706949 4073476531 2632244634 1602998149 2332312457 2279681634 3464767593 3973230875 921100140 4258742160 4019660933 3586276524 3249681428 3594930946 4219658986 1860382503 1136971332 1767897870 4091594151 3102220726 80405038 1774946442 3287955681 2446337387 334122844 3248142872 4256245368 4026029813 1451211443 3239516230 4046587842 1300105299 3123356969 1126730019 1458493219 887829900 3261953892 2883748404 678275945 687744181 2923295314 3654717456 1384483477 3549169117 2069379694 3039914663 3231794983 3156348836 3761821791 4264854333 1846000444 346490420 3038068686 875615229 2006524005 3159440853 1974702294 1829513935 3647646129 3644488802 589655991 3520352852 3607447539 1557983218 3957115562 2447489879 1396212965 255 362436" option to reproduce the execution
30.29/30.33	c #vars 29282
30.29/30.33	c #constraints 92908
32.48/32.51	c BCD2: Hardening is enabled.
32.48/32.51	c BCD2: BiasedSearch is enabled.
32.48/32.51	c Solving starts ...
32.48/32.51	c ============================[ Search Statistics ]============================
32.48/32.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.48/32.51	c       |         |          |          |    Limit     GC | Var      | Constra 
32.48/32.51	c =============================================================================
32.48/32.53	c  0.0s |       0 |        0 |        0 |    71222      0 |        1 |        0
32.99/33.01	c  0.5s |       1 |    74997 |      100 |    71222      0 |        1 |        0
33.28/33.39	c  0.9s |       1 |   167238 |      101 |    78345      0 |        1 |        0
33.28/33.39	c #cpu_time = 0.747s
33.28/33.39	c #wall_clock_time = 0.748s
33.28/33.39	c #decision = 167238
33.28/33.39	c #random_decision = 752
33.28/33.39	c #conflict = 101
33.28/33.39	c #restart = 1
33.38/33.40	o 126356
33.88/33.93	c BCD2: updating upper bound: 4720729 -> 148553
34.48/34.51	c BCD2: 0 <= obj <= 148553
34.48/34.52	c BCD2: #cores=0, #unrelaxed=92612, #relaxed=0, #hardened=0
34.48/34.52	c BCD2: #sat=1 #unsat=1 bias=1/2
34.48/34.54	c Solving starts ...
34.48/34.54	c ============================[ Search Statistics ]============================
34.48/34.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
34.48/34.54	c       |         |          |          |    Limit     GC | Var      | Constra 
34.48/34.54	c =============================================================================
34.48/34.54	c  0.0s |       0 |        0 |        0 |    78345      0 |        1 |        0
34.58/34.62	c  0.1s |       0 |        0 |        0 |    78345      0 |        1 |        0
34.58/34.62	c #cpu_time = 0.087s
34.58/34.62	c #wall_clock_time = 0.087s
34.58/34.62	c #decision = 0
34.58/34.62	c #random_decision = 0
34.58/34.62	c #conflict = 0
34.58/34.62	c #restart = 0
34.58/34.62	c BCD2: found a new core of size 1: cost of the new core is >=22198
34.58/34.62	c lower bound updated to 0
34.58/34.67	c BCD2: 22198 <= obj <= 148553
34.58/34.67	c BCD2: #cores=1, #unrelaxed=92611, #relaxed=1, #hardened=0
34.58/34.67	c BCD2: #sat=1 #unsat=2 bias=2/3
34.58/34.67	c Solving starts ...
34.58/34.67	c ============================[ Search Statistics ]============================
34.58/34.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
34.58/34.67	c       |         |          |          |    Limit     GC | Var      | Constra 
34.58/34.67	c =============================================================================
34.58/34.67	c  0.0s |       0 |        0 |        0 |    78345      0 |        1 |        0
34.78/34.83	c  0.2s |       0 |    34615 |        0 |    78345      0 |        1 |        0
34.78/34.83	c #cpu_time = 0.150s
34.78/34.83	c #wall_clock_time = 0.151s
34.78/34.83	c #decision = 34615
34.78/34.83	c #random_decision = 0
34.78/34.83	c #conflict = 0
34.78/34.83	c #restart = 0
34.78/34.83	c BCD2: found a new core of size 18: cost of the new core is >=4
34.78/34.83	c lower bound updated to 4
34.78/34.89	c BCD2: 22202 <= obj <= 148553
34.78/34.89	c BCD2: #cores=2, #unrelaxed=92593, #relaxed=19, #hardened=0
34.78/34.89	c BCD2: #sat=1 #unsat=3 bias=3/4
34.78/34.89	c Solving starts ...
34.78/34.89	c ============================[ Search Statistics ]============================
34.78/34.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
34.78/34.89	c       |         |          |          |    Limit     GC | Var      | Constra 
34.78/34.89	c =============================================================================
34.78/34.89	c  0.0s |       0 |        0 |        0 |    78345      0 |        1 |        0
35.19/35.25	c  0.4s |       1 |    92797 |      100 |    78345      0 |        1 |        0
35.68/35.75	c  0.9s |       2 |   185611 |      250 |    86180      0 |        1 |        0
36.39/36.44	c  1.5s |       3 |   278573 |      475 |    94799      0 |        1 |        0
37.28/37.37	c  2.5s |       4 |   371625 |      813 |   104279      0 |        1 |        0
38.49/38.51	c  3.6s |       5 |   464974 |     1320 |   114707      0 |        1 |        0
40.38/40.47	c  5.6s |       6 |   558584 |     2081 |   126178      0 |        1 |        0
42.58/42.63	c  7.7s |       6 |   652641 |     3181 |   138796      0 |        1 |        0
42.68/42.74	c  7.8s |       7 |   652698 |     3223 |   138796      0 |        1 |        0
44.68/44.76	c  9.9s |       7 |   746437 |     4123 |   138796      0 |        1 |        0
46.68/46.78	c 11.9s |       7 |   747424 |     4923 |   152676      0 |        1 |        0
46.78/46.86	c 12.0s |       8 |   747443 |     4936 |   152676      0 |        1 |        0
48.88/48.98	c 14.1s |       8 |   841078 |     5636 |   152676      0 |        1 |        0
50.99/51.02	c 16.1s |       8 |   841879 |     6236 |   152676      0 |        1 |        0
53.08/53.11	c 18.2s |       8 |   842881 |     6836 |   152676      0 |        1 |        0
55.18/55.23	c 20.3s |       8 |   843683 |     7436 |   167944      0 |        1 |        0
55.48/55.52	c 20.6s |       9 |   843778 |     7506 |   167944      0 |        1 |        0
57.58/57.61	c 22.7s |       9 |   937046 |     8006 |   167944      0 |        1 |        0
59.68/59.72	c 24.8s |       9 |   938063 |     8706 |   167944      0 |        1 |        0
61.68/61.73	c 26.8s |       9 |   938736 |     9206 |   167944      0 |        1 |        0
63.79/63.84	c 28.9s |       9 |   939436 |     9706 |   167944      0 |        1 |        0
66.09/66.12	c 31.2s |       9 |   939975 |    10106 |   167944      0 |        1 |        0
68.08/68.12	c 33.2s |       9 |   940488 |    10506 |   167944      0 |        1 |        0
70.49/70.54	c 35.7s |       9 |   941030 |    10906 |   167944      0 |        1 |        0
72.38/72.45	c 37.6s |      10 |   941732 |    11361 |   184739      0 |        1 |        0
74.47/74.50	c 39.6s |      10 |  1035044 |    11761 |   184739      0 |        1 |        0
76.68/76.74	c 41.9s |      10 |  1035781 |    12261 |   184739      0 |        1 |        0
79.08/79.12	c 44.2s |      10 |  1036508 |    12761 |   184739      0 |        1 |        0
81.08/81.16	c 46.3s |      10 |  1037240 |    13261 |   184739      0 |        1 |        0
83.08/83.18	c 48.3s |      10 |  1038052 |    13761 |   184739      0 |        1 |        0
85.18/85.25	c 50.4s |      10 |  1038769 |    14261 |   184739      0 |        1 |        0
87.38/87.42	c 52.5s |      10 |  1039261 |    14661 |   184739      0 |        1 |        0
89.38/89.43	c 54.5s |      10 |  1039853 |    15061 |   184739      0 |        1 |        0
91.57/91.65	c 56.8s |      10 |  1040494 |    15561 |   184739      0 |        1 |        0
93.98/94.09	c 59.2s |      10 |  1041384 |    16161 |   184739      0 |        1 |        0
96.38/96.46	c 61.6s |      10 |  1042130 |    16661 |   184739      0 |        1 |        0
98.47/98.57	c 63.7s |      10 |  1042564 |    16961 |   203213      0 |        1 |        0
99.88/99.92	c 65.0s |      11 |  1042801 |    17144 |   203213      0 |        1 |        0
101.98/102.04	c 67.2s |      11 |  1135736 |    17344 |   203213      0 |        1 |        0
103.98/104.04	c 69.2s |      11 |  1136485 |    17844 |   203213      0 |        1 |        0
106.27/106.34	c 71.5s |      11 |  1137296 |    18444 |   203213      0 |        1 |        0
108.47/108.56	c 73.7s |      11 |  1137855 |    18844 |   203213      0 |        1 |        0
110.47/110.58	c 75.7s |      11 |  1138373 |    19244 |   203213      0 |        1 |        0
112.77/112.81	c 77.9s |      11 |  1138879 |    19644 |   203213      0 |        1 |        0
115.08/115.19	c 80.3s |      11 |  1139383 |    20044 |   203213      0 |        1 |        0
117.38/117.49	c 82.6s |      11 |  1140076 |    20544 |   203213      0 |        1 |        0
119.67/119.73	c 84.8s |      11 |  1140615 |    20944 |   203213      0 |        1 |        0
121.77/121.84	c 86.9s |      11 |  1140983 |    21244 |   203213      0 |        1 |        0
124.07/124.14	c 89.3s |      11 |  1141506 |    21644 |   203213      0 |        1 |        0
126.97/127.03	c 92.1s |      11 |  1142019 |    22044 |   203213      0 |        1 |        0
129.07/129.15	c 94.3s |      11 |  1142388 |    22344 |   203213      0 |        1 |        0
131.37/131.46	c 96.6s |      11 |  1142881 |    22744 |   203213      0 |        1 |        0
133.67/133.74	c 98.9s |      11 |  1143244 |    23044 |   203213      0 |        1 |        0
136.27/136.32	c  101s |      11 |  1143613 |    23344 |   203213      0 |        1 |        0
138.47/138.53	c  103s |      11 |  1143997 |    23644 |   203213      0 |        1 |        0
141.37/141.43	c  106s |      11 |  1144505 |    24044 |   203213      0 |        1 |        0
144.27/144.31	c  109s |      11 |  1144995 |    24444 |   203213      0 |        1 |        0
146.87/146.95	c  112s |      11 |  1145393 |    24744 |   203213      0 |        1 |        0
149.06/149.10	c  114s |      11 |  1145802 |    25044 |   203213      0 |        1 |        0
151.56/151.67	c  116s |      11 |  1146190 |    25344 |   203213      0 |        1 |        0
153.77/153.82	c  118s |      11 |  1146787 |    25744 |   223535      0 |        1 |        0
154.17/154.24	c  119s |      12 |  1146903 |    25819 |   223535      0 |        1 |        0
156.77/156.87	c  121s |      12 |  1239692 |    25919 |   223535      0 |        1 |        0
159.17/159.24	c  124s |      12 |  1240050 |    26219 |   223535      0 |        1 |        0
161.17/161.28	c  126s |      12 |  1240546 |    26619 |   223535      0 |        1 |        0
164.16/164.26	c  129s |      12 |  1240912 |    26919 |   223535      0 |        1 |        0
167.46/167.57	c  132s |      12 |  1241146 |    27119 |   223535      0 |        1 |        0
169.77/169.80	c  134s |      12 |  1241519 |    27419 |   223535      0 |        1 |        0
172.27/172.32	c  137s |      12 |  1242260 |    27919 |   223535      0 |        1 |        0
174.56/174.66	c  139s |      12 |  1242802 |    28319 |   223535      0 |        1 |        0
176.96/177.04	c  142s |      12 |  1243344 |    28719 |   223535      0 |        1 |        0
179.06/179.15	c  144s |      12 |  1243874 |    29119 |   223535      0 |        1 |        0
181.16/181.21	c  146s |      12 |  1244417 |    29519 |   223535      0 |        1 |        0
183.36/183.41	c  148s |      12 |  1245130 |    30019 |   223535      0 |        1 |        0
185.56/185.62	c  150s |      12 |  1245857 |    30519 |   223535      0 |        1 |        0
187.76/187.80	c  152s |      12 |  1246685 |    31019 |   223535      0 |        1 |        0
190.17/190.28	c  155s |      12 |  1247385 |    31519 |   223535      0 |        1 |        0
192.96/193.09	c  158s |      12 |  1247877 |    31919 |   223535      0 |        1 |        0
195.16/195.29	c  160s |      12 |  1248266 |    32219 |   223535      0 |        1 |        0
197.56/197.64	c  162s |      12 |  1248788 |    32619 |   223535      0 |        1 |        0
199.96/200.04	c  165s |      12 |  1249313 |    33019 |   223535      0 |        1 |        0
202.26/202.33	c  167s |      12 |  1249723 |    33319 |   223535      0 |        1 |        0
204.76/204.80	c  169s |      12 |  1250124 |    33619 |   223535      0 |        1 |        0
207.06/207.10	c  172s |      12 |  1250732 |    34019 |   223535      0 |        1 |        0
209.16/209.25	c  174s |      12 |  1251128 |    34319 |   223535      0 |        1 |        0
211.16/211.29	c  176s |      12 |  1251522 |    34619 |   223535      0 |        1 |        0
213.36/213.46	c  178s |      12 |  1251918 |    34919 |   223535      0 |        1 |        0
215.66/215.79	c  180s |      12 |  1252301 |    35219 |   223535      0 |        1 |        0
217.65/217.79	c  182s |      12 |  1252913 |    35619 |   223535      0 |        1 |        0
220.15/220.29	c  185s |      12 |  1253423 |    36019 |   223535      0 |        1 |        0
222.76/222.86	c  187s |      12 |  1253929 |    36419 |   223535      0 |        1 |        0
224.86/224.93	c  190s |      12 |  1254292 |    36719 |   223535      0 |        1 |        0
226.96/227.02	c  192s |      12 |  1254688 |    37019 |   223535      0 |        1 |        0
229.15/229.23	c  194s |      12 |  1255152 |    37319 |   223535      0 |        1 |        0
231.25/231.35	c  196s |      12 |  1255559 |    37619 |   223535      0 |        1 |        0
233.35/233.46	c  198s |      12 |  1255941 |    37919 |   223535      0 |        1 |        0
235.65/235.79	c  200s |      12 |  1256338 |    38219 |   223535      0 |        1 |        0
237.75/237.87	c  202s |      12 |  1256726 |    38519 |   245889      0 |        1 |        0
239.86/239.93	c  205s |      13 |  1257218 |    38832 |   245889      0 |        1 |        0
242.76/242.89	c  207s |      13 |  1350003 |    38932 |   245889      0 |        1 |        0
245.26/245.36	c  210s |      13 |  1350681 |    39432 |   245889      0 |        1 |        0
247.95/248.01	c  213s |      13 |  1351169 |    39832 |   245889      0 |        1 |        0
250.05/250.16	c  215s |      13 |  1351550 |    40132 |   245889      0 |        1 |        0
252.15/252.24	c  217s |      13 |  1351961 |    40432 |   245889      0 |        1 |        0
254.55/254.63	c  219s |      13 |  1352637 |    40932 |   245889      0 |        1 |        0
256.65/256.76	c  221s |      13 |  1353128 |    41332 |   245889      0 |        1 |        0
259.05/259.19	c  224s |      13 |  1353630 |    41732 |   245889      0 |        1 |        0
261.25/261.33	c  226s |      13 |  1354190 |    42132 |   245889      0 |        1 |        0
263.25/263.34	c  228s |      13 |  1354557 |    42432 |   245889      0 |        1 |        0
265.25/265.39	c  230s |      13 |  1354969 |    42732 |   245889      0 |        1 |        0
267.75/267.83	c  232s |      13 |  1355509 |    43132 |   245889      0 |        1 |        0
270.45/270.51	c  235s |      13 |  1355969 |    43532 |   245889      0 |        1 |        0
273.04/273.12	c  238s |      13 |  1356454 |    43932 |   245889      0 |        1 |        0
275.34/275.41	c  240s |      13 |  1356820 |    44232 |   245889      0 |        1 |        0
277.35/277.47	c  242s |      13 |  1357191 |    44532 |   245889      0 |        1 |        0
279.75/279.81	c  244s |      13 |  1357583 |    44832 |   245889      0 |        1 |        0
282.15/282.20	c  247s |      13 |  1357958 |    45132 |   245889      0 |        1 |        0
284.65/284.71	c  249s |      13 |  1358337 |    45432 |   245889      0 |        1 |        0
287.35/287.44	c  252s |      13 |  1358692 |    45732 |   245889      0 |        1 |        0
290.15/290.27	c  255s |      13 |  1359066 |    46032 |   245889      0 |        1 |        0
292.85/292.94	c  258s |      13 |  1359452 |    46332 |   245889      0 |        1 |        0
294.94/295.06	c  260s |      13 |  1359884 |    46632 |   245889      0 |        1 |        0
297.14/297.20	c  262s |      13 |  1360487 |    47032 |   245889      0 |        1 |        0
299.64/299.75	c  264s |      13 |  1361175 |    47532 |   245889      0 |        1 |        0
302.04/302.17	c  267s |      13 |  1361665 |    47932 |   245889      0 |        1 |        0
304.14/304.24	c  269s |      13 |  1362194 |    48332 |   245889      0 |        1 |        0
306.54/306.62	c  271s |      13 |  1362725 |    48732 |   245889      0 |        1 |        0
308.64/308.72	c  273s |      13 |  1363258 |    49132 |   245889      0 |        1 |        0
310.84/310.99	c  276s |      13 |  1363772 |    49532 |   245889      0 |        1 |        0
313.45/313.51	c  278s |      13 |  1364321 |    49932 |   245889      0 |        1 |        0
315.54/315.61	c  280s |      13 |  1364737 |    50232 |   245889      0 |        1 |        0
317.54/317.66	c  282s |      13 |  1365131 |    50532 |   245889      0 |        1 |        0
319.64/319.70	c  284s |      13 |  1365520 |    50832 |   245889      0 |        1 |        0
322.14/322.27	c  287s |      13 |  1365913 |    51132 |   245889      0 |        1 |        0
324.55/324.66	c  289s |      13 |  1366307 |    51432 |   245889      0 |        1 |        0
327.04/327.11	c  292s |      13 |  1366943 |    51932 |   245889      0 |        1 |        0
329.44/329.52	c  294s |      13 |  1367455 |    52332 |   245889      0 |        1 |        0
331.44/331.57	c  296s |      13 |  1367813 |    52632 |   245889      0 |        1 |        0
333.83/333.94	c  299s |      13 |  1368184 |    52932 |   245889      0 |        1 |        0
336.84/336.91	c  302s |      13 |  1368716 |    53332 |   245889      0 |        1 |        0
339.44/339.50	c  304s |      13 |  1369105 |    53632 |   245889      0 |        1 |        0
341.64/341.75	c  306s |      13 |  1369488 |    53932 |   245889      0 |        1 |        0
343.73/343.85	c  308s |      13 |  1369871 |    54232 |   245889      0 |        1 |        0
346.13/346.27	c  311s |      13 |  1370236 |    54532 |   245889      0 |        1 |        0
348.94/349.01	c  314s |      13 |  1370640 |    54832 |   245889      0 |        1 |        0
351.44/351.54	c  316s |      13 |  1371006 |    55132 |   245889      0 |        1 |        0
353.53/353.65	c  318s |      13 |  1371393 |    55432 |   245889      0 |        1 |        0
355.73/355.86	c  320s |      13 |  1371770 |    55732 |   245889      0 |        1 |        0
358.04/358.18	c  323s |      13 |  1372026 |    55932 |   245889      0 |        1 |        0
360.54/360.65	c  325s |      13 |  1372391 |    56232 |   245889      0 |        1 |        0
363.33/363.44	c  328s |      13 |  1372746 |    56532 |   245889      0 |        1 |        0
366.24/366.31	c  331s |      13 |  1373080 |    56832 |   245889      0 |        1 |        0
369.03/369.19	c  334s |      13 |  1373459 |    57132 |   245889      0 |        1 |        0
371.44/371.51	c  336s |      13 |  1373877 |    57432 |   245889      0 |        1 |        0
373.74/373.82	c  338s |      13 |  1374270 |    57732 |   245889      0 |        1 |        0
375.73/375.87	c  340s |      13 |  1374652 |    58032 |   270478      0 |        1 |        0
378.23/378.30	c  343s |      13 |  1375019 |    58332 |   270478      0 |        1 |        0
378.34/378.49	c  343s |      14 |  1375039 |    58352 |   270478      0 |        1 |        0
382.63/382.71	c  347s |      14 |  1467820 |    58452 |   270478      0 |        1 |        0
384.73/384.84	c  349s |      14 |  1468197 |    58752 |   270478      0 |        1 |        0
387.33/387.46	c  352s |      14 |  1468710 |    59152 |   270478      0 |        1 |        0
389.93/390.02	c  355s |      14 |  1469170 |    59452 |   270478      0 |        1 |        0
392.13/392.24	c  357s |      14 |  1469423 |    59652 |   270478      0 |        1 |        0
394.83/394.97	c  360s |      14 |  1469801 |    59952 |   270478      0 |        1 |        0
397.03/397.13	c  362s |      14 |  1470220 |    60252 |   270478      0 |        1 |        0
399.73/399.87	c  364s |      14 |  1470725 |    60652 |   270478      0 |        1 |        0
402.13/402.29	c  367s |      14 |  1471241 |    61052 |   270478      0 |        1 |        0
404.32/404.47	c  369s |      14 |  1471601 |    61352 |   270478      0 |        1 |        0
406.94/407.01	c  372s |      14 |  1472085 |    61752 |   270478      0 |        1 |        0
409.03/409.17	c  374s |      14 |  1472454 |    62052 |   270478      0 |        1 |        0
411.33/411.42	c  376s |      14 |  1472874 |    62352 |   270478      0 |        1 |        0
413.42/413.51	c  378s |      14 |  1473107 |    62552 |   270478      0 |        1 |        0
415.83/415.95	c  381s |      14 |  1473348 |    62752 |   270478      0 |        1 |        0
418.62/418.74	c  383s |      14 |  1473724 |    63052 |   270478      0 |        1 |        0
420.63/420.78	c  385s |      14 |  1474085 |    63352 |   270478      0 |        1 |        0
422.82/422.91	c  388s |      14 |  1474432 |    63652 |   270478      0 |        1 |        0
424.92/425.06	c  390s |      14 |  1474816 |    63952 |   270478      0 |        1 |        0
427.22/427.37	c  392s |      14 |  1475322 |    64352 |   270478      0 |        1 |        0
429.73/429.86	c  394s |      14 |  1475925 |    64852 |   270478      0 |        1 |        0
432.13/432.20	c  397s |      14 |  1476426 |    65252 |   270478      0 |        1 |        0
434.12/434.29	c  399s |      14 |  1476780 |    65552 |   270478      0 |        1 |        0
436.73/436.86	c  401s |      14 |  1477138 |    65852 |   270478      0 |        1 |        0
438.82/438.93	c  404s |      14 |  1477405 |    66052 |   270478      0 |        1 |        0
441.72/441.84	c  406s |      14 |  1477782 |    66352 |   270478      0 |        1 |        0
444.52/444.60	c  409s |      14 |  1478168 |    66652 |   270478      0 |        1 |        0
446.52/446.67	c  411s |      14 |  1478420 |    66852 |   270478      0 |        1 |        0
448.62/448.76	c  413s |      14 |  1478666 |    67052 |   270478      0 |        1 |        0
451.42/451.51	c  416s |      14 |  1479057 |    67352 |   270478      0 |        1 |        0
453.62/453.75	c  418s |      14 |  1479279 |    67552 |   270478      0 |        1 |        0
455.81/455.90	c  421s |      14 |  1479529 |    67752 |   270478      0 |        1 |        0
457.81/457.98	c  423s |      14 |  1479762 |    67952 |   270478      0 |        1 |        0
460.72/460.85	c  425s |      14 |  1480121 |    68252 |   270478      0 |        1 |        0
463.72/463.87	c  428s |      14 |  1480493 |    68552 |   270478      0 |        1 |        0
466.01/466.17	c  431s |      14 |  1480729 |    68752 |   270478      0 |        1 |        0
468.72/468.87	c  433s |      14 |  1481162 |    69052 |   270478      0 |        1 |        0
470.91/471.01	c  436s |      14 |  1481567 |    69352 |   270478      0 |        1 |        0
473.41/473.58	c  438s |      14 |  1481974 |    69652 |   270478      0 |        1 |        0
476.02/476.15	c  441s |      14 |  1482336 |    69952 |   270478      0 |        1 |        0
478.42/478.59	c  443s |      14 |  1482760 |    70252 |   270478      0 |        1 |        0
480.62/480.78	c  445s |      14 |  1483128 |    70552 |   270478      0 |        1 |        0
482.92/483.01	c  448s |      14 |  1483508 |    70852 |   270478      0 |        1 |        0
485.12/485.23	c  450s |      14 |  1483899 |    71152 |   270478      0 |        1 |        0
487.61/487.71	c  452s |      14 |  1484252 |    71452 |   270478      0 |        1 |        0
490.41/490.53	c  455s |      14 |  1484610 |    71752 |   270478      0 |        1 |        0
492.42/492.55	c  457s |      14 |  1484878 |    71952 |   270478      0 |        1 |        0
494.41/494.56	c  459s |      14 |  1485150 |    72152 |   270478      0 |        1 |        0
496.52/496.60	c  461s |      14 |  1485383 |    72352 |   270478      0 |        1 |        0
499.42/499.50	c  464s |      14 |  1485741 |    72652 |   270478      0 |        1 |        0
502.12/502.30	c  467s |      14 |  1486116 |    72952 |   270478      0 |        1 |        0
504.71/504.88	c  469s |      14 |  1486453 |    73252 |   270478      0 |        1 |        0
507.41/507.59	c  472s |      14 |  1486802 |    73552 |   270478      0 |        1 |        0
510.01/510.15	c  475s |      14 |  1487174 |    73852 |   270478      0 |        1 |        0
512.81/512.98	c  478s |      14 |  1487523 |    74152 |   270478      0 |        1 |        0
515.70/515.84	c  480s |      14 |  1487868 |    74452 |   270478      0 |        1 |        0
518.80/518.90	c  484s |      14 |  1488236 |    74752 |   270478      0 |        1 |        0
521.01/521.19	c  486s |      14 |  1488473 |    74952 |   270478      0 |        1 |        0
523.70/523.80	c  488s |      14 |  1488722 |    75152 |   270478      0 |        1 |        0
526.71/526.82	c  491s |      14 |  1489130 |    75452 |   270478      0 |        1 |        0
529.71/529.89	c  495s |      14 |  1489502 |    75752 |   270478      0 |        1 |        0
532.71/532.85	c  497s |      14 |  1489906 |    76052 |   270478      0 |        1 |        0
535.00/535.10	c  500s |      14 |  1490139 |    76252 |   270478      0 |        1 |        0
537.41/537.50	c  502s |      14 |  1490510 |    76552 |   270478      0 |        1 |        0
539.71/539.88	c  504s |      14 |  1490910 |    76852 |   270478      0 |        1 |        0
542.21/542.39	c  507s |      14 |  1491128 |    77052 |   270478      0 |        1 |        0
544.21/544.39	c  509s |      14 |  1491408 |    77252 |   270478      0 |        1 |        0
546.81/546.96	c  512s |      14 |  1491771 |    77552 |   270478      0 |        1 |        0
549.11/549.29	c  514s |      14 |  1492026 |    77752 |   270478      0 |        1 |        0
551.40/551.50	c  516s |      14 |  1492292 |    77952 |   270478      0 |        1 |        0
553.60/553.73	c  518s |      14 |  1492525 |    78152 |   270478      0 |        1 |        0
555.81/555.95	c  521s |      14 |  1492764 |    78352 |   270478      0 |        1 |        0
558.50/558.61	c  523s |      14 |  1493022 |    78552 |   270478      0 |        1 |        0
561.60/561.75	c  526s |      14 |  1493386 |    78852 |   270478      0 |        1 |        0
564.30/564.43	c  529s |      14 |  1493628 |    79052 |   270478      0 |        1 |        0
566.90/567.06	c  532s |      14 |  1493865 |    79252 |   270478      0 |        1 |        0
569.30/569.44	c  534s |      14 |  1494227 |    79552 |   270478      0 |        1 |        0
571.50/571.62	c  536s |      14 |  1494586 |    79852 |   270478      0 |        1 |        0
574.11/574.24	c  539s |      14 |  1494986 |    80152 |   270478      0 |        1 |        0
576.60/576.74	c  541s |      14 |  1495332 |    80452 |   270478      0 |        1 |        0
578.90/579.05	c  544s |      14 |  1495583 |    80652 |   270478      0 |        1 |        0
581.39/581.51	c  546s |      14 |  1495934 |    80952 |   270478      0 |        1 |        0
583.69/583.85	c  548s |      14 |  1496321 |    81252 |   270478      0 |        1 |        0
586.59/586.79	c  551s |      14 |  1496680 |    81552 |   270478      0 |        1 |        0
589.61/589.77	c  554s |      14 |  1497040 |    81852 |   270478      0 |        1 |        0
592.60/592.70	c  557s |      14 |  1497440 |    82152 |   270478      0 |        1 |        0
596.00/596.20	c  561s |      14 |  1497789 |    82452 |   270478      0 |        1 |        0
598.70/598.89	c  563s |      14 |  1498128 |    82752 |   270478      0 |        1 |        0
600.90/601.04	c  566s |      14 |  1498362 |    82952 |   270478      0 |        1 |        0
602.89/603.09	c  568s |      14 |  1498600 |    83152 |   270478      0 |        1 |        0
605.00/605.13	c  570s |      14 |  1498835 |    83352 |   270478      0 |        1 |        0
607.30/607.44	c  572s |      14 |  1499065 |    83552 |   270478      0 |        1 |        0
610.40/610.58	c  575s |      14 |  1499304 |    83752 |   270478      0 |        1 |        0
613.19/613.34	c  578s |      14 |  1499656 |    84052 |   270478      0 |        1 |        0
615.69/615.88	c  580s |      14 |  1500020 |    84352 |   270478      0 |        1 |        0
618.39/618.56	c  583s |      14 |  1500382 |    84652 |   270478      0 |        1 |        0
620.40/620.57	c  585s |      14 |  1500613 |    84852 |   270478      0 |        1 |        0
622.50/622.62	c  587s |      14 |  1500880 |    85052 |   270478      0 |        1 |        0
624.99/625.18	c  590s |      14 |  1501245 |    85352 |   270478      0 |        1 |        0
627.49/627.68	c  592s |      14 |  1501648 |    85652 |   270478      0 |        1 |        0
629.99/630.13	c  595s |      14 |  1502036 |    85952 |   270478      0 |        1 |        0
631.99/632.16	c  597s |      14 |  1502299 |    86152 |   270478      0 |        1 |        0
634.70/634.83	c  599s |      14 |  1502671 |    86452 |   270478      0 |        1 |        0
637.19/637.32	c  602s |      14 |  1503066 |    86752 |   270478      0 |        1 |        0
639.59/639.70	c  604s |      14 |  1503502 |    87052 |   297526      0 |        1 |        0
641.79/641.95	c  607s |      14 |  1503981 |    87352 |   297526      0 |        1 |        0
644.28/644.45	c  609s |      15 |  1504324 |    87632 |   297526      0 |        1 |        0
650.98/651.18	c  616s |      15 |  1597094 |    87732 |   297526      0 |        1 |        0
653.89/654.08	c  619s |      15 |  1597493 |    88032 |   297526      0 |        1 |        0
656.69/656.85	c  621s |      15 |  1597876 |    88332 |   297526      0 |        1 |        0
658.98/659.15	c  624s |      15 |  1598246 |    88632 |   297526      0 |        1 |        0
662.20/662.34	c  627s |      15 |  1598642 |    88932 |   297526      0 |        1 |        0
664.59/664.77	c  629s |      15 |  1599060 |    89232 |   297526      0 |        1 |        0
667.19/667.38	c  632s |      15 |  1599443 |    89532 |   297526      0 |        1 |        0
670.28/670.44	c  635s |      15 |  1599797 |    89832 |   297526      0 |        1 |        0
672.39/672.56	c  637s |      15 |  1600093 |    90032 |   297526      0 |        1 |        0
675.18/675.36	c  640s |      15 |  1600484 |    90332 |   297526      0 |        1 |        0
677.68/677.81	c  642s |      15 |  1600874 |    90632 |   297526      0 |        1 |        0
680.39/680.55	c  645s |      15 |  1601238 |    90932 |   297526      0 |        1 |        0
683.68/683.86	c  648s |      15 |  1601628 |    91232 |   297526      0 |        1 |        0
686.48/686.68	c  651s |      15 |  1602002 |    91532 |   297526      0 |        1 |        0
689.18/689.38	c  654s |      15 |  1602402 |    91832 |   297526      0 |        1 |        0
692.48/692.69	c  657s |      15 |  1602778 |    92132 |   297526      0 |        1 |        0
694.58/694.75	c  659s |      15 |  1603020 |    92332 |   297526      0 |        1 |        0
696.78/696.94	c  662s |      15 |  1603270 |    92532 |   297526      0 |        1 |        0
699.08/699.22	c  664s |      15 |  1603535 |    92732 |   297526      0 |        1 |        0
701.69/701.82	c  666s |      15 |  1603968 |    93032 |   297526      0 |        1 |        0
703.89/704.04	c  669s |      15 |  1604372 |    93332 |   297526      0 |        1 |        0
706.68/706.88	c  671s |      15 |  1604952 |    93732 |   297526      0 |        1 |        0
709.48/709.66	c  674s |      15 |  1605321 |    94032 |   297526      0 |        1 |        0
711.98/712.12	c  677s |      15 |  1605598 |    94232 |   297526      0 |        1 |        0
714.37/714.54	c  679s |      15 |  1605964 |    94532 |   297526      0 |        1 |        0
717.09/717.25	c  682s |      15 |  1606373 |    94832 |   297526      0 |        1 |        0
719.78/719.92	c  685s |      15 |  1606789 |    95132 |   297526      0 |        1 |        0
721.97/722.10	c  687s |      15 |  1607052 |    95332 |   297526      0 |        1 |        0
724.78/724.97	c  690s |      15 |  1607457 |    95632 |   297526      0 |        1 |        0
727.08/727.24	c  692s |      15 |  1607674 |    95832 |   297526      0 |        1 |        0
729.08/729.24	c  694s |      15 |  1607957 |    96032 |   297526      0 |        1 |        0
731.08/731.25	c  696s |      15 |  1608223 |    96232 |   297526      0 |        1 |        0
733.77/733.90	c  699s |      15 |  1608640 |    96532 |   297526      0 |        1 |        0
735.78/735.94	c  701s |      15 |  1608897 |    96732 |   297526      0 |        1 |        0
737.77/737.99	c  703s |      15 |  1609157 |    96932 |   297526      0 |        1 |        0
740.87/741.07	c  706s |      15 |  1609545 |    97232 |   297526      0 |        1 |        0
743.58/743.76	c  708s |      15 |  1609928 |    97532 |   297526      0 |        1 |        0
746.17/746.33	c  711s |      15 |  1610297 |    97832 |   297526      0 |        1 |        0
748.78/748.99	c  714s |      15 |  1610697 |    98132 |   297526      0 |        1 |        0
751.18/751.35	c  716s |      15 |  1611153 |    98432 |   297526      0 |        1 |        0
753.27/753.47	c  718s |      15 |  1611397 |    98632 |   297526      0 |        1 |        0
755.77/755.90	c  721s |      15 |  1611807 |    98932 |   297526      0 |        1 |        0
757.97/758.13	c  723s |      15 |  1612272 |    99232 |   297526      0 |        1 |        0
760.08/760.23	c  725s |      15 |  1612538 |    99432 |   297526      0 |        1 |        0
762.47/762.67	c  727s |      15 |  1613042 |    99732 |   297526      0 |        1 |        0
764.77/764.97	c  730s |      15 |  1613275 |    99932 |   297526      0 |        1 |        0
767.37/767.56	c  732s |      15 |  1613533 |   100132 |   297526      0 |        1 |        0
769.87/770.03	c  735s |      15 |  1613954 |   100432 |   297526      0 |        1 |        0
771.97/772.13	c  737s |      15 |  1614219 |   100632 |   297526      0 |        1 |        0
774.67/774.85	c  739s |      15 |  1614508 |   100832 |   297526      0 |        1 |        0
776.76/776.99	c  742s |      15 |  1614774 |   101032 |   297526      0 |        1 |        0
778.87/779.00	c  744s |      15 |  1615060 |   101232 |   297526      0 |        1 |        0
780.87/781.08	c  746s |      15 |  1615356 |   101432 |   297526      0 |        1 |        0
783.47/783.62	c  748s |      15 |  1615587 |   101632 |   297526      0 |        1 |        0
785.57/785.71	c  750s |      15 |  1615852 |   101832 |   297526      0 |        1 |        0
788.46/788.65	c  753s |      15 |  1616125 |   102032 |   297526      0 |        1 |        0
790.87/791.05	c  756s |      15 |  1616414 |   102232 |   297526      0 |        1 |        0
794.36/794.52	c  759s |      15 |  1616708 |   102432 |   297526      0 |        1 |        0
797.66/797.81	c  762s |      15 |  1616947 |   102632 |   297526      0 |        1 |        0
800.47/800.61	c  765s |      15 |  1617193 |   102832 |   297526      0 |        1 |        0
803.16/803.39	c  768s |      15 |  1617434 |   103032 |   297526      0 |        1 |        0
805.36/805.57	c  770s |      15 |  1617729 |   103232 |   297526      0 |        1 |        0
807.46/807.60	c  772s |      15 |  1617854 |   103332 |   297526      0 |        1 |        0
809.67/809.89	c  774s |      15 |  1618143 |   103532 |   297526      0 |        1 |        0
812.26/812.47	c  777s |      15 |  1618408 |   103732 |   297526      0 |        1 |        0
815.46/815.68	c  780s |      15 |  1618640 |   103932 |   297526      0 |        1 |        0
818.56/818.71	c  783s |      15 |  1618911 |   104132 |   297526      0 |        1 |        0
821.36/821.54	c  786s |      15 |  1619202 |   104332 |   297526      0 |        1 |        0
824.26/824.49	c  789s |      15 |  1619459 |   104532 |   297526      0 |        1 |        0
827.86/828.05	c  793s |      15 |  1619706 |   104732 |   297526      0 |        1 |        0
831.96/832.15	c  797s |      15 |  1620019 |   104932 |   297526      0 |        1 |        0
835.26/835.43	c  800s |      15 |  1620289 |   105132 |   297526      0 |        1 |        0
839.36/839.56	c  804s |      15 |  1620569 |   105332 |   297526      0 |        1 |        0
841.65/841.86	c  806s |      15 |  1620691 |   105432 |   297526      0 |        1 |        0
844.06/844.30	c  809s |      15 |  1620809 |   105532 |   297526      0 |        1 |        0
846.36/846.56	c  811s |      15 |  1620920 |   105632 |   297526      0 |        1 |        0
848.56/848.77	c  813s |      15 |  1621207 |   105832 |   297526      0 |        1 |        0
850.76/850.92	c  816s |      15 |  1621467 |   106032 |   297526      0 |        1 |        0
853.46/853.68	c  818s |      15 |  1621956 |   106332 |   297526      0 |        1 |        0
855.66/855.86	c  820s |      15 |  1622241 |   106532 |   297526      0 |        1 |        0
857.96/858.18	c  823s |      15 |  1622663 |   106832 |   297526      0 |        1 |        0
860.35/860.54	c  825s |      15 |  1623233 |   107232 |   297526      0 |        1 |        0
863.66/863.82	c  828s |      15 |  1623618 |   107532 |   297526      0 |        1 |        0
866.56/866.71	c  831s |      15 |  1624025 |   107832 |   297526      0 |        1 |        0
869.15/869.35	c  834s |      15 |  1624444 |   108132 |   297526      0 |        1 |        0
871.25/871.49	c  836s |      15 |  1624732 |   108332 |   297526      0 |        1 |        0
873.86/874.06	c  839s |      15 |  1624969 |   108532 |   297526      0 |        1 |        0
876.46/876.66	c  841s |      15 |  1625228 |   108732 |   297526      0 |        1 |        0
878.55/878.73	c  843s |      15 |  1625344 |   108832 |   297526      0 |        1 |        0
881.06/881.26	c  846s |      15 |  1625626 |   109032 |   297526      0 |        1 |        0
883.65/883.83	c  848s |      15 |  1626077 |   109332 |   297526      0 |        1 |        0
886.25/886.44	c  851s |      15 |  1626532 |   109632 |   297526      0 |        1 |        0
888.65/888.84	c  853s |      15 |  1626962 |   109932 |   297526      0 |        1 |        0
891.05/891.25	c  856s |      15 |  1627364 |   110232 |   297526      0 |        1 |        0
893.35/893.57	c  858s |      15 |  1627639 |   110432 |   297526      0 |        1 |        0
895.55/895.78	c  860s |      15 |  1627902 |   110632 |   297526      0 |        1 |        0
897.75/897.92	c  863s |      15 |  1628285 |   110932 |   297526      0 |        1 |        0
899.76/899.94	c  865s |      15 |  1628548 |   111132 |   297526      0 |        1 |        0
901.86/902.03	c  867s |      15 |  1628826 |   111332 |   297526      0 |        1 |        0
904.95/905.18	c  870s |      15 |  1629231 |   111632 |   297526      0 |        1 |        0
907.75/907.91	c  873s |      15 |  1629666 |   111932 |   297526      0 |        1 |        0
909.85/910.05	c  875s |      15 |  1629936 |   112132 |   297526      0 |        1 |        0
912.54/912.76	c  877s |      15 |  1630302 |   112432 |   297526      0 |        1 |        0
914.95/915.15	c  880s |      15 |  1630563 |   112632 |   297526      0 |        1 |        0
917.85/918.02	c  883s |      15 |  1630958 |   112932 |   297526      0 |        1 |        0
920.85/921.07	c  886s |      15 |  1631337 |   113232 |   297526      0 |        1 |        0
923.74/923.92	c  889s |      15 |  1631582 |   113432 |   297526      0 |        1 |        0
926.05/926.25	c  891s |      15 |  1631835 |   113632 |   297526      0 |        1 |        0
928.05/928.29	c  893s |      15 |  1632096 |   113832 |   297526      0 |        1 |        0
930.35/930.55	c  895s |      15 |  1632367 |   114032 |   297526      0 |        1 |        0
932.65/932.81	c  897s |      15 |  1632686 |   114232 |   297526      0 |        1 |        0
936.44/936.63	c  901s |      15 |  1633065 |   114532 |   297526      0 |        1 |        0
938.74/938.96	c  904s |      15 |  1633330 |   114732 |   297526      0 |        1 |        0
941.34/941.56	c  906s |      15 |  1633614 |   114932 |   297526      0 |        1 |        0
944.04/944.23	c  909s |      15 |  1633893 |   115132 |   297526      0 |        1 |        0
947.25/947.47	c  912s |      15 |  1634132 |   115332 |   297526      0 |        1 |        0
949.75/949.99	c  915s |      15 |  1634400 |   115532 |   297526      0 |        1 |        0
952.84/953.04	c  918s |      15 |  1634632 |   115732 |   297526      0 |        1 |        0
955.64/955.80	c  920s |      15 |  1634893 |   115932 |   297526      0 |        1 |        0
958.94/959.11	c  924s |      15 |  1635113 |   116132 |   297526      0 |        1 |        0
962.14/962.34	c  927s |      15 |  1635383 |   116332 |   297526      0 |        1 |        0
964.24/964.46	c  929s |      15 |  1635504 |   116432 |   297526      0 |        1 |        0
967.44/967.64	c  932s |      15 |  1635766 |   116632 |   297526      0 |        1 |        0
970.04/970.21	c  935s |      15 |  1636051 |   116832 |   297526      0 |        1 |        0
972.84/973.07	c  938s |      15 |  1636316 |   117032 |   297526      0 |        1 |        0
976.65/976.82	c  941s |      15 |  1636586 |   117232 |   297526      0 |        1 |        0
978.74/978.94	c  944s |      15 |  1636703 |   117332 |   297526      0 |        1 |        0
982.04/982.27	c  947s |      15 |  1636976 |   117532 |   297526      0 |        1 |        0
986.55/986.77	c  951s |      15 |  1637229 |   117732 |   297526      0 |        1 |        0
989.73/989.99	c  955s |      15 |  1637502 |   117932 |   297526      0 |        1 |        0
993.63/993.89	c  959s |      15 |  1637758 |   118132 |   297526      0 |        1 |        0
996.93/997.14	c  962s |      15 |  1638012 |   118332 |   297526      0 |        1 |        0
999.03/999.21	c  964s |      15 |  1638286 |   118532 |   297526      0 |        1 |        0
1001.73/1002.00	c  967s |      15 |  1638571 |   118732 |   297526      0 |        1 |        0
1004.74/1004.90	c  970s |      15 |  1638827 |   118932 |   297526      0 |        1 |        0
1007.83/1008.06	c  973s |      15 |  1639092 |   119132 |   297526      0 |        1 |        0
1011.63/1011.89	c  976s |      15 |  1639362 |   119332 |   297526      0 |        1 |        0
1014.74/1014.97	c  980s |      15 |  1639606 |   119532 |   297526      0 |        1 |        0
1017.93/1018.10	c  983s |      15 |  1639842 |   119732 |   297526      0 |        1 |        0
1020.84/1021.06	c  986s |      15 |  1640098 |   119932 |   297526      0 |        1 |        0
1023.43/1023.70	c  988s |      15 |  1640503 |   120232 |   297526      0 |        1 |        0
1026.23/1026.43	c  991s |      15 |  1640911 |   120532 |   297526      0 |        1 |        0
1028.23/1028.48	c  993s |      15 |  1641189 |   120732 |   297526      0 |        1 |        0
1031.03/1031.25	c  996s |      15 |  1641585 |   121032 |   297526      0 |        1 |        0
1033.43/1033.63	c  998s |      15 |  1641853 |   121232 |   297526      0 |        1 |        0
1035.53/1035.76	c 1000s |      15 |  1642112 |   121432 |   297526      0 |        1 |        0
1038.13/1038.37	c 1003s |      15 |  1642361 |   121632 |   297526      0 |        1 |        0
1040.73/1040.96	c 1006s |      15 |  1642611 |   121832 |   297526      0 |        1 |        0
1042.83/1043.08	c 1008s |      15 |  1642856 |   122032 |   297526      0 |        1 |        0
1044.94/1045.16	c 1010s |      15 |  1643124 |   122232 |   297526      0 |        1 |        0
1047.13/1047.34	c 1012s |      15 |  1643384 |   122432 |   297526      0 |        1 |        0
1049.34/1049.59	c 1014s |      15 |  1643622 |   122632 |   297526      0 |        1 |        0
1051.53/1051.76	c 1016s |      15 |  1643883 |   122832 |   297526      0 |        1 |        0
1053.73/1053.91	c 1019s |      15 |  1644114 |   123032 |   297526      0 |        1 |        0
1055.73/1055.93	c 1021s |      15 |  1644348 |   123232 |   297526      0 |        1 |        0
1057.93/1058.12	c 1023s |      15 |  1644636 |   123432 |   297526      0 |        1 |        0
1060.03/1060.27	c 1025s |      15 |  1644862 |   123632 |   297526      0 |        1 |        0
1063.23/1063.44	c 1028s |      15 |  1645263 |   123932 |   297526      0 |        1 |        0
1066.02/1066.22	c 1031s |      15 |  1645661 |   124232 |   297526      0 |        1 |        0
1068.12/1068.33	c 1033s |      15 |  1645912 |   124432 |   297526      0 |        1 |        0
1070.13/1070.38	c 1035s |      15 |  1646174 |   124632 |   297526      0 |        1 |        0
1072.33/1072.60	c 1037s |      15 |  1646427 |   124832 |   297526      0 |        1 |        0
1074.53/1074.79	c 1039s |      15 |  1646698 |   125032 |   297526      0 |        1 |        0
1076.62/1076.89	c 1042s |      15 |  1646934 |   125232 |   297526      0 |        1 |        0
1078.83/1079.00	c 1044s |      15 |  1647183 |   125432 |   297526      0 |        1 |        0
1081.02/1081.20	c 1046s |      15 |  1647447 |   125632 |   297526      0 |        1 |        0
1083.02/1083.20	c 1048s |      15 |  1647695 |   125832 |   297526      0 |        1 |        0
1085.82/1086.09	c 1051s |      15 |  1647941 |   126032 |   297526      0 |        1 |        0
1088.82/1089.02	c 1054s |      15 |  1648311 |   126332 |   297526      0 |        1 |        0
1091.62/1091.85	c 1056s |      15 |  1648691 |   126632 |   297526      0 |        1 |        0
1093.82/1094.06	c 1059s |      15 |  1649104 |   126932 |   297526      0 |        1 |        0
1096.02/1096.20	c 1061s |      15 |  1649363 |   127132 |   297526      0 |        1 |        0
1098.12/1098.34	c 1063s |      15 |  1649616 |   127332 |   297526      0 |        1 |        0
1100.62/1100.80	c 1065s |      15 |  1649867 |   127532 |   297526      0 |        1 |        0
1102.82/1103.06	c 1068s |      15 |  1650115 |   127732 |   297526      0 |        1 |        0
1105.32/1105.55	c 1070s |      15 |  1650354 |   127932 |   297526      0 |        1 |        0
1107.92/1108.10	c 1073s |      15 |  1650629 |   128132 |   297526      0 |        1 |        0
1110.31/1110.58	c 1075s |      15 |  1650891 |   128332 |   297526      0 |        1 |        0
1113.12/1113.32	c 1078s |      15 |  1651151 |   128532 |   297526      0 |        1 |        0
1116.32/1116.59	c 1081s |      15 |  1651367 |   128732 |   297526      0 |        1 |        0
1119.52/1119.76	c 1084s |      15 |  1651626 |   128932 |   297526      0 |        1 |        0
1122.12/1122.34	c 1087s |      15 |  1651875 |   129132 |   297526      0 |        1 |        0
1124.61/1124.83	c 1089s |      15 |  1652252 |   129432 |   297526      0 |        1 |        0
1127.02/1127.27	c 1092s |      15 |  1652528 |   129632 |   297526      0 |        1 |        0
1129.62/1129.81	c 1094s |      15 |  1652775 |   129832 |   297526      0 |        1 |        0
1132.62/1132.81	c 1097s |      15 |  1653040 |   130032 |   297526      0 |        1 |        0
1135.51/1135.76	c 1100s |      15 |  1653272 |   130232 |   297526      0 |        1 |        0
1138.82/1139.06	c 1104s |      15 |  1653677 |   130532 |   297526      0 |        1 |        0
1141.11/1141.39	c 1106s |      15 |  1653946 |   130732 |   327279      0 |        1 |        0
1143.71/1143.94	c 1109s |      15 |  1654215 |   130932 |   327279      0 |        1 |        0
1145.91/1146.17	c 1111s |      15 |  1654497 |   131132 |   327279      0 |        1 |        0
1149.01/1149.27	c 1114s |      15 |  1654739 |   131332 |   327279      0 |        1 |        0
1151.51/1151.77	c 1116s |      15 |  1654993 |   131532 |   327279      0 |        1 |        0
1151.81/1152.07	c 1117s |      16 |  1655023 |   131552 |   327279      0 |        1 |        0
1162.41/1162.61	c 1127s |      16 |  1747822 |   131652 |   327279      0 |        1 |        0
1164.71/1164.97	c 1130s |      16 |  1748111 |   131852 |   327279      0 |        1 |        0
1167.50/1167.75	c 1132s |      16 |  1748381 |   132052 |   327279      0 |        1 |        0
1171.01/1171.26	c 1136s |      16 |  1748616 |   132252 |   327279      0 |        1 |        0
1173.31/1173.56	c 1138s |      16 |  1748874 |   132452 |   327279      0 |        1 |        0
1175.50/1175.75	c 1140s |      16 |  1749122 |   132652 |   327279      0 |        1 |        0
1177.71/1177.99	c 1143s |      16 |  1749391 |   132852 |   327279      0 |        1 |        0
1180.30/1180.53	c 1145s |      16 |  1749801 |   133152 |   327279      0 |        1 |        0
1183.11/1183.30	c 1148s |      16 |  1750174 |   133452 |   327279      0 |        1 |        0
1186.11/1186.37	c 1151s |      16 |  1750412 |   133652 |   327279      0 |        1 |        0
1188.30/1188.59	c 1153s |      16 |  1750668 |   133852 |   327279      0 |        1 |        0
1190.70/1190.93	c 1156s |      16 |  1751073 |   134152 |   327279      0 |        1 |        0
1193.20/1193.45	c 1158s |      16 |  1751490 |   134452 |   327279      0 |        1 |        0
1195.51/1195.77	c 1160s |      16 |  1752011 |   134852 |   327279      0 |        1 |        0
1198.00/1198.30	c 1163s |      16 |  1752389 |   135152 |   327279      0 |        1 |        0
1200.51/1200.78	c 1165s |      16 |  1752766 |   135452 |   327279      0 |        1 |        0
1202.90/1203.11	c 1168s |      16 |  1753015 |   135652 |   327279      0 |        1 |        0
1205.30/1205.55	c 1170s |      16 |  1753275 |   135852 |   327279      0 |        1 |        0
1207.60/1207.87	c 1172s |      16 |  1753532 |   136052 |   327279      0 |        1 |        0
1210.30/1210.57	c 1175s |      16 |  1753776 |   136252 |   327279      0 |        1 |        0
1212.50/1212.70	c 1177s |      16 |  1754032 |   136452 |   327279      0 |        1 |        0
1214.59/1214.89	c 1180s |      16 |  1754315 |   136652 |   327279      0 |        1 |        0
1217.00/1217.27	c 1182s |      16 |  1754562 |   136852 |   327279      0 |        1 |        0
1219.60/1219.89	c 1184s |      16 |  1755098 |   137252 |   327279      0 |        1 |        0
1221.70/1221.94	c 1187s |      16 |  1755505 |   137552 |   327279      0 |        1 |        0
1224.50/1224.71	c 1189s |      16 |  1755940 |   137852 |   327279      0 |        1 |        0
1227.10/1227.30	c 1192s |      16 |  1756196 |   138052 |   327279      0 |        1 |        0
1230.49/1230.74	c 1195s |      16 |  1756466 |   138252 |   327279      0 |        1 |        0
1233.29/1233.57	c 1198s |      16 |  1756725 |   138452 |   327279      0 |        1 |        0
1235.70/1235.95	c 1201s |      16 |  1756991 |   138652 |   327279      0 |        1 |        0
1238.40/1238.62	c 1203s |      16 |  1757408 |   138952 |   327279      0 |        1 |        0
1240.79/1241.03	c 1206s |      16 |  1757687 |   139152 |   327279      0 |        1 |        0
1242.80/1243.04	c 1208s |      16 |  1757933 |   139352 |   327279      0 |        1 |        0
1245.00/1245.24	c 1210s |      16 |  1758208 |   139552 |   327279      0 |        1 |        0
1247.70/1247.96	c 1213s |      16 |  1758479 |   139752 |   327279      0 |        1 |        0
1249.99/1250.21	c 1215s |      16 |  1758737 |   139952 |   327279      0 |        1 |        0
1252.39/1252.66	c 1217s |      16 |  1758986 |   140152 |   327279      0 |        1 |        0
1254.59/1254.84	c 1219s |      16 |  1759261 |   140352 |   327279      0 |        1 |        0
1256.89/1257.12	c 1222s |      16 |  1759702 |   140652 |   327279      0 |        1 |        0
1259.09/1259.32	c 1224s |      16 |  1760079 |   140952 |   327279      0 |        1 |        0
1261.89/1262.19	c 1227s |      16 |  1760491 |   141252 |   327279      0 |        1 |        0
1264.19/1264.43	c 1229s |      16 |  1760762 |   141452 |   327279      0 |        1 |        0
1266.19/1266.43	c 1231s |      16 |  1761019 |   141652 |   327279      0 |        1 |        0
1268.39/1268.62	c 1233s |      16 |  1761272 |   141852 |   327279      0 |        1 |        0
1270.59/1270.82	c 1235s |      16 |  1761507 |   142052 |   327279      0 |        1 |        0
1272.69/1272.90	c 1238s |      16 |  1761759 |   142252 |   327279      0 |        1 |        0
1275.09/1275.34	c 1240s |      16 |  1761994 |   142452 |   327279      0 |        1 |        0
1277.49/1277.73	c 1242s |      16 |  1762241 |   142652 |   327279      0 |        1 |        0
1279.79/1280.05	c 1245s |      16 |  1762471 |   142852 |   327279      0 |        1 |        0
1282.19/1282.44	c 1247s |      16 |  1762706 |   143052 |   327279      0 |        1 |        0
1284.39/1284.67	c 1249s |      16 |  1762992 |   143252 |   327279      0 |        1 |        0
1287.19/1287.44	c 1252s |      16 |  1763233 |   143452 |   327279      0 |        1 |        0
1289.89/1290.13	c 1255s |      16 |  1763469 |   143652 |   327279      0 |        1 |        0
1292.69/1292.95	c 1258s |      16 |  1763706 |   143852 |   327279      0 |        1 |        0
1295.38/1295.62	c 1260s |      16 |  1763949 |   144052 |   327279      0 |        1 |        0
1297.99/1298.22	c 1263s |      16 |  1764199 |   144252 |   327279      0 |        1 |        0
1300.69/1300.96	c 1266s |      16 |  1764448 |   144452 |   327279      0 |        1 |        0
1302.98/1303.28	c 1268s |      16 |  1764676 |   144652 |   327279      0 |        1 |        0
1305.39/1305.60	c 1270s |      16 |  1764926 |   144852 |   327279      0 |        1 |        0
1308.09/1308.39	c 1273s |      16 |  1765158 |   145052 |   327279      0 |        1 |        0
1310.99/1311.24	c 1276s |      16 |  1765438 |   145252 |   327279      0 |        1 |        0
1313.78/1314.08	c 1279s |      16 |  1765660 |   145452 |   327279      0 |        1 |        0
1316.28/1316.58	c 1281s |      16 |  1765890 |   145652 |   327279      0 |        1 |        0
1318.88/1319.19	c 1284s |      16 |  1766122 |   145852 |   327279      0 |        1 |        0
1321.69/1321.92	c 1287s |      16 |  1766388 |   146052 |   327279      0 |        1 |        0
1324.19/1324.50	c 1289s |      16 |  1766637 |   146252 |   327279      0 |        1 |        0
1326.38/1326.66	c 1291s |      16 |  1766883 |   146452 |   327279      0 |        1 |        0
1328.98/1329.25	c 1294s |      16 |  1767110 |   146652 |   327279      0 |        1 |        0
1331.68/1331.91	c 1297s |      16 |  1767342 |   146852 |   327279      0 |        1 |        0
1334.98/1335.23	c 1300s |      16 |  1767589 |   147052 |   327279      0 |        1 |        0
1337.18/1337.49	c 1302s |      16 |  1767830 |   147252 |   327279      0 |        1 |        0
1339.98/1340.20	c 1305s |      16 |  1768091 |   147452 |   327279      0 |        1 |        0
1342.88/1343.20	c 1308s |      16 |  1768318 |   147652 |   327279      0 |        1 |        0
1345.98/1346.21	c 1311s |      16 |  1768561 |   147852 |   327279      0 |        1 |        0
1348.58/1348.80	c 1313s |      16 |  1768806 |   148052 |   327279      0 |        1 |        0
1351.08/1351.30	c 1316s |      16 |  1769080 |   148252 |   327279      0 |        1 |        0
1353.98/1354.21	c 1319s |      16 |  1769338 |   148452 |   327279      0 |        1 |        0
1357.18/1357.44	c 1322s |      16 |  1769579 |   148652 |   327279      0 |        1 |        0
1360.37/1360.60	c 1325s |      16 |  1769797 |   148852 |   327279      0 |        1 |        0
1363.38/1363.62	c 1328s |      16 |  1770035 |   149052 |   327279      0 |        1 |        0
1366.58/1366.89	c 1332s |      16 |  1770262 |   149252 |   327279      0 |        1 |        0
1369.48/1369.76	c 1334s |      16 |  1770494 |   149452 |   327279      0 |        1 |        0
1372.17/1372.42	c 1337s |      16 |  1770740 |   149652 |   327279      0 |        1 |        0
1375.07/1375.33	c 1340s |      16 |  1770978 |   149852 |   327279      0 |        1 |        0
1377.57/1377.83	c 1342s |      16 |  1771233 |   150052 |   327279      0 |        1 |        0
1380.57/1380.89	c 1346s |      16 |  1771491 |   150252 |   327279      0 |        1 |        0
1383.37/1383.60	c 1348s |      16 |  1771880 |   150552 |   327279      0 |        1 |        0
1385.37/1385.64	c 1350s |      16 |  1772115 |   150752 |   327279      0 |        1 |        0
1387.77/1388.00	c 1353s |      16 |  1772355 |   150952 |   327279      0 |        1 |        0
1389.87/1390.13	c 1355s |      16 |  1772591 |   151152 |   327279      0 |        1 |        0
1392.37/1392.62	c 1357s |      16 |  1772872 |   151352 |   327279      0 |        1 |        0
1395.07/1395.32	c 1360s |      16 |  1773110 |   151552 |   327279      0 |        1 |        0
1397.67/1397.98	c 1363s |      16 |  1773358 |   151752 |   327279      0 |        1 |        0
1400.08/1400.38	c 1365s |      16 |  1773616 |   151952 |   327279      0 |        1 |        0
1402.28/1402.52	c 1367s |      16 |  1773854 |   152152 |   327279      0 |        1 |        0
1404.37/1404.63	c 1369s |      16 |  1774122 |   152352 |   327279      0 |        1 |        0
1406.86/1407.17	c 1372s |      16 |  1774365 |   152552 |   327279      0 |        1 |        0
1409.87/1410.15	c 1375s |      16 |  1774604 |   152752 |   327279      0 |        1 |        0
1412.57/1412.87	c 1377s |      16 |  1774841 |   152952 |   327279      0 |        1 |        0
1415.27/1415.59	c 1380s |      16 |  1775088 |   153152 |   327279      0 |        1 |        0
1418.36/1418.66	c 1383s |      16 |  1775333 |   153352 |   327279      0 |        1 |        0
1421.47/1421.74	c 1386s |      16 |  1775586 |   153552 |   327279      0 |        1 |        0
1424.47/1424.73	c 1389s |      16 |  1775805 |   153752 |   327279      0 |        1 |        0
1428.06/1428.36	c 1393s |      16 |  1776034 |   153952 |   327279      0 |        1 |        0
1431.26/1431.53	c 1396s |      16 |  1776270 |   154152 |   327279      0 |        1 |        0
1435.16/1435.41	c 1400s |      16 |  1776527 |   154352 |   327279      0 |        1 |        0
1437.97/1438.25	c 1403s |      16 |  1776759 |   154552 |   327279      0 |        1 |        0
1440.86/1441.12	c 1406s |      16 |  1777045 |   154752 |   327279      0 |        1 |        0
1443.47/1443.79	c 1408s |      16 |  1777295 |   154952 |   327279      0 |        1 |        0
1446.47/1446.77	c 1411s |      16 |  1777542 |   155152 |   327279      0 |        1 |        0
1448.57/1448.88	c 1413s |      16 |  1777656 |   155252 |   327279      0 |        1 |        0
1451.66/1451.93	c 1417s |      16 |  1777920 |   155452 |   327279      0 |        1 |        0
1454.46/1454.74	c 1419s |      16 |  1778167 |   155652 |   327279      0 |        1 |        0
1457.66/1457.96	c 1423s |      16 |  1778425 |   155852 |   327279      0 |        1 |        0
1461.77/1462.03	c 1427s |      16 |  1778691 |   156052 |   327279      0 |        1 |        0
1465.16/1465.49	c 1430s |      16 |  1778925 |   156252 |   327279      0 |        1 |        0
1467.86/1468.11	c 1433s |      16 |  1779183 |   156452 |   327279      0 |        1 |        0
1470.66/1470.99	c 1436s |      16 |  1779438 |   156652 |   327279      0 |        1 |        0
1473.65/1473.95	c 1439s |      16 |  1779695 |   156852 |   327279      0 |        1 |        0
1476.76/1477.04	c 1442s |      16 |  1779948 |   157052 |   327279      0 |        1 |        0
1479.85/1480.10	c 1445s |      16 |  1780210 |   157252 |   327279      0 |        1 |        0
1483.25/1483.55	c 1448s |      16 |  1780458 |   157452 |   327279      0 |        1 |        0
1486.26/1486.50	c 1451s |      16 |  1780726 |   157652 |   327279      0 |        1 |        0
1490.26/1490.51	c 1455s |      16 |  1780961 |   157852 |   327279      0 |        1 |        0
1494.66/1494.92	c 1460s |      16 |  1781220 |   158052 |   327279      0 |        1 |        0
1497.85/1498.20	c 1463s |      16 |  1781459 |   158252 |   327279      0 |        1 |        0
1501.65/1501.97	c 1467s |      16 |  1781698 |   158452 |   327279      0 |        1 |        0
1505.76/1506.05	c 1471s |      16 |  1781953 |   158652 |   327279      0 |        1 |        0
1509.35/1509.63	c 1474s |      16 |  1782218 |   158852 |   327279      0 |        1 |        0
1511.45/1511.70	c 1476s |      16 |  1782338 |   158952 |   327279      0 |        1 |        0
1515.25/1515.56	c 1480s |      16 |  1782592 |   159152 |   327279      0 |        1 |        0
1517.65/1517.99	c 1483s |      16 |  1782712 |   159252 |   327279      0 |        1 |        0
1519.85/1520.15	c 1485s |      16 |  1782849 |   159352 |   327279      0 |        1 |        0
1522.05/1522.36	c 1487s |      16 |  1782968 |   159452 |   327279      0 |        1 |        0
1526.15/1526.49	c 1491s |      16 |  1783223 |   159652 |   327279      0 |        1 |        0
1529.25/1529.57	c 1494s |      16 |  1783349 |   159752 |   327279      0 |        1 |        0
1532.05/1532.38	c 1497s |      16 |  1783468 |   159852 |   327279      0 |        1 |        0
1537.15/1537.48	c 1502s |      16 |  1783696 |   160052 |   327279      0 |        1 |        0
1540.65/1540.95	c 1506s |      16 |  1783932 |   160252 |   327279      0 |        1 |        0
1544.25/1544.58	c 1509s |      16 |  1784165 |   160452 |   327279      0 |        1 |        0
1547.25/1547.57	c 1512s |      16 |  1784421 |   160652 |   327279      0 |        1 |        0
1549.65/1549.99	c 1515s |      16 |  1784691 |   160852 |   327279      0 |        1 |        0
1553.15/1553.44	c 1518s |      16 |  1784928 |   161052 |   327279      0 |        1 |        0
1556.64/1556.99	c 1522s |      16 |  1785178 |   161252 |   327279      0 |        1 |        0
1559.85/1560.16	c 1525s |      16 |  1785430 |   161452 |   327279      0 |        1 |        0
1562.44/1562.73	c 1527s |      16 |  1785695 |   161652 |   327279      0 |        1 |        0
1565.75/1566.02	c 1531s |      16 |  1785911 |   161852 |   327279      0 |        1 |        0
1568.85/1569.17	c 1534s |      16 |  1786164 |   162052 |   327279      0 |        1 |        0
1572.24/1572.55	c 1537s |      16 |  1786392 |   162252 |   327279      0 |        1 |        0
1575.15/1575.43	c 1540s |      16 |  1786625 |   162452 |   327279      0 |        1 |        0
1578.14/1578.44	c 1543s |      16 |  1786865 |   162652 |   327279      0 |        1 |        0
1581.14/1581.44	c 1546s |      16 |  1787108 |   162852 |   327279      0 |        1 |        0
1583.94/1584.21	c 1549s |      16 |  1787344 |   163052 |   327279      0 |        1 |        0
1587.15/1587.41	c 1552s |      16 |  1787552 |   163252 |   327279      0 |        1 |        0
1590.54/1590.87	c 1555s |      16 |  1787777 |   163452 |   327279      0 |        1 |        0
1593.65/1593.96	c 1559s |      16 |  1788006 |   163652 |   327279      0 |        1 |        0
1596.44/1596.71	c 1561s |      16 |  1788275 |   163852 |   327279      0 |        1 |        0
1598.54/1598.87	c 1563s |      16 |  1788409 |   163952 |   327279      0 |        1 |        0
1601.54/1601.82	c 1566s |      16 |  1788643 |   164152 |   327279      0 |        1 |        0
1604.44/1604.76	c 1569s |      16 |  1788869 |   164352 |   327279      0 |        1 |        0
1608.05/1608.34	c 1573s |      16 |  1789120 |   164552 |   327279      0 |        1 |        0
1611.24/1611.56	c 1576s |      16 |  1789354 |   164752 |   327279      0 |        1 |        0
1614.44/1614.75	c 1579s |      16 |  1789591 |   164952 |   327279      0 |        1 |        0
1617.95/1618.22	c 1583s |      16 |  1789818 |   165152 |   327279      0 |        1 |        0
1621.24/1621.59	c 1586s |      16 |  1790050 |   165352 |   327279      0 |        1 |        0
1623.34/1623.67	c 1588s |      16 |  1790169 |   165452 |   327279      0 |        1 |        0
1627.03/1627.30	c 1592s |      16 |  1790398 |   165652 |   327279      0 |        1 |        0
1629.94/1630.25	c 1595s |      16 |  1790615 |   165852 |   327279      0 |        1 |        0
1632.44/1632.78	c 1597s |      16 |  1790895 |   166052 |   327279      0 |        1 |        0
1634.73/1635.02	c 1600s |      16 |  1791134 |   166252 |   327279      0 |        1 |        0
1637.23/1637.56	c 1602s |      16 |  1791425 |   166452 |   327279      0 |        1 |        0
1640.04/1640.36	c 1605s |      16 |  1791667 |   166652 |   327279      0 |        1 |        0
1643.13/1643.42	c 1608s |      16 |  1791906 |   166852 |   327279      0 |        1 |        0
1645.83/1646.12	c 1611s |      16 |  1792152 |   167052 |   327279      0 |        1 |        0
1649.13/1649.46	c 1614s |      16 |  1792391 |   167252 |   327279      0 |        1 |        0
1651.73/1652.07	c 1617s |      16 |  1792681 |   167452 |   327279      0 |        1 |        0
1654.73/1655.08	c 1620s |      16 |  1792894 |   167652 |   327279      0 |        1 |        0
1658.03/1658.39	c 1623s |      16 |  1793139 |   167852 |   327279      0 |        1 |        0
1660.74/1661.07	c 1626s |      16 |  1793387 |   168052 |   327279      0 |        1 |        0
1663.53/1663.89	c 1629s |      16 |  1793607 |   168252 |   327279      0 |        1 |        0
1666.63/1666.91	c 1632s |      16 |  1793852 |   168452 |   327279      0 |        1 |        0
1669.33/1669.61	c 1634s |      16 |  1794091 |   168652 |   327279      0 |        1 |        0
1671.63/1671.91	c 1637s |      16 |  1794345 |   168852 |   327279      0 |        1 |        0
1673.63/1673.97	c 1639s |      16 |  1794451 |   168952 |   327279      0 |        1 |        0
1676.23/1676.54	c 1641s |      16 |  1794684 |   169152 |   327279      0 |        1 |        0
1679.23/1679.57	c 1644s |      16 |  1794929 |   169352 |   327279      0 |        1 |        0
1682.33/1682.60	c 1647s |      16 |  1795164 |   169552 |   327279      0 |        1 |        0
1685.43/1685.72	c 1650s |      16 |  1795401 |   169752 |   327279      0 |        1 |        0
1688.43/1688.78	c 1653s |      16 |  1795656 |   169952 |   327279      0 |        1 |        0
1691.53/1691.86	c 1656s |      16 |  1795877 |   170152 |   327279      0 |        1 |        0
1694.62/1694.95	c 1660s |      16 |  1796098 |   170352 |   327279      0 |        1 |        0
1697.62/1697.90	c 1663s |      16 |  1796333 |   170552 |   327279      0 |        1 |        0
1701.02/1701.38	c 1666s |      16 |  1796576 |   170752 |   327279      0 |        1 |        0
1704.22/1704.59	c 1669s |      16 |  1796819 |   170952 |   327279      0 |        1 |        0
1707.42/1707.73	c 1672s |      16 |  1797044 |   171152 |   327279      0 |        1 |        0
1711.13/1711.42	c 1676s |      16 |  1797279 |   171352 |   327279      0 |        1 |        0
1714.23/1714.56	c 1679s |      16 |  1797504 |   171552 |   327279      0 |        1 |        0
1717.52/1717.81	c 1682s |      16 |  1797761 |   171752 |   327279      0 |        1 |        0
1721.52/1721.81	c 1686s |      16 |  1798018 |   171952 |   327279      0 |        1 |        0
1724.42/1724.77	c 1689s |      16 |  1798272 |   172152 |   327279      0 |        1 |        0
1726.62/1726.94	c 1692s |      16 |  1798388 |   172252 |   327279      0 |        1 |        0
1729.82/1730.14	c 1695s |      16 |  1798645 |   172452 |   327279      0 |        1 |        0
1732.72/1733.02	c 1698s |      16 |  1798876 |   172652 |   327279      0 |        1 |        0
1735.42/1735.80	c 1700s |      16 |  1799110 |   172852 |   327279      0 |        1 |        0
1738.61/1738.90	c 1704s |      16 |  1799344 |   173052 |   327279      0 |        1 |        0
1741.82/1742.14	c 1707s |      16 |  1799579 |   173252 |   327279      0 |        1 |        0
1744.81/1745.13	c 1710s |      16 |  1799817 |   173452 |   327279      0 |        1 |        0
1747.52/1747.82	c 1712s |      16 |  1800050 |   173652 |   327279      0 |        1 |        0
1750.71/1751.06	c 1716s |      16 |  1800303 |   173852 |   327279      0 |        1 |        0
1753.92/1754.25	c 1719s |      16 |  1800551 |   174052 |   327279      0 |        1 |        0
1756.02/1756.33	c 1721s |      16 |  1800678 |   174152 |   327279      0 |        1 |        0
1759.21/1759.55	c 1724s |      16 |  1800895 |   174352 |   327279      0 |        1 |        0
1762.62/1762.99	c 1728s |      16 |  1801128 |   174552 |   327279      0 |        1 |        0
1765.92/1766.29	c 1731s |      16 |  1801361 |   174752 |   327279      0 |        1 |        0
1769.21/1769.59	c 1734s |      16 |  1801594 |   174952 |   327279      0 |        1 |        0
1772.71/1773.05	c 1738s |      16 |  1801806 |   175152 |   327279      0 |        1 |        0
1775.91/1776.22	c 1741s |      16 |  1802049 |   175352 |   327279      0 |        1 |        0
1779.31/1779.67	c 1744s |      16 |  1802278 |   175552 |   327279      0 |        1 |        0
1783.01/1783.31	c 1748s |      16 |  1802496 |   175752 |   327279      0 |        1 |        0
1785.82/1786.16	c 1751s |      16 |  1802732 |   175952 |   327279      0 |        1 |        0
1789.01/1789.34	c 1754s |      16 |  1802960 |   176152 |   327279      0 |        1 |        0
1792.41/1792.79	c 1757s |      16 |  1803173 |   176352 |   327279      0 |        1 |        0
1795.51/1795.88	c 1760s |      16 |  1803404 |   176552 |   327279      0 |        1 |        0
1798.71/1799.02	c 1764s |      16 |  1803634 |   176752 |   327279      0 |        1 |        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-4093598-1466089476/watcher-4093598-1466089476 -o /tmp/evaluation-result-4093598-1466089476/solver-4093598-1466089476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9713 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093598-1466089476.wbo 

pid=12176
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.10 2.07 2.01 3/179 12179
/proc/meminfo: memFree=30577484/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 2829 0 0 0 0 0 0 0 20 0 4 0 10997652 774303744 3189 33554432000 4194304 16246674 140734813148016 140734813147440 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 189807 3198 441 2943 0 186701 0
[pid=12179/tid=12180] ppid=12176 vsize=773564 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 792129536 3257 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 797372416 3276 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10997652 801566720 3293 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 12179
/proc/meminfo: memFree=30577484/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 27445 0 0 0 5 4 0 0 20 0 4 0 10997652 1250496512 27745 33554432000 4194304 16246674 140734813148016 140734813147328 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 305297 27751 801 2943 0 302191 0
[pid=12179/tid=12180] ppid=12176 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1250496512 27755 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1250496512 27759 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1250496512 27762 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.2005 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 12179
/proc/meminfo: memFree=30577484/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 49858 0 0 0 12 7 0 0 20 0 4 0 10997652 1343819776 50669 33554432000 4194304 16246674 140734813148016 140734813129920 7372110 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 328081 50669 801 2943 0 324975 0
[pid=12179/tid=12180] ppid=12176 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1343819776 50669 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1343819776 50669 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1343819776 50669 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300496 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 12179
/proc/meminfo: memFree=30577484/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 60639 0 0 0 20 9 0 0 20 0 4 0 10997652 1344868352 61450 33554432000 4194304 16246674 140734813148016 140734813129920 12752244 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 328337 61450 801 2943 0 325231 0
[pid=12179/tid=12180] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 61450 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 61450 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 61450 33554432000 4194304 16246674 140734813148016 140003564833968 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) 1313348

[startup+0.700448 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 12179
/proc/meminfo: memFree=30577484/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 65081 0 0 0 59 9 0 0 20 0 4 0 10997652 1344868352 65892 33554432000 4194304 16246674 140734813148016 140734813129920 4220965 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 328337 65892 815 2943 0 325231 0
[pid=12179/tid=12180] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 65892 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 65892 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 65892 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 12183
/proc/meminfo: memFree=30314792/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 96465 0 0 0 135 14 0 0 20 0 4 0 10997652 1344868352 97276 33554432000 4194304 16246674 140734813148016 140734813129920 6144966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 328337 97281 832 2943 0 325231 0
[pid=12179/tid=12180] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 97284 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 97290 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1344868352 97293 33554432000 4194304 16246674 140734813148016 140003564833968 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) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 12183
/proc/meminfo: memFree=29823248/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 274672 0 0 0 270 39 0 0 20 0 4 0 10997652 1368985600 275483 33554432000 4194304 16246674 140734813148016 140734813129920 13955779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 334225 275483 834 2943 0 331119 0
[pid=12179/tid=12180] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275483 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275483 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275483 33554432000 4194304 16246674 140734813148016 140003564833968 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) 1336900

[startup+6.30043 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 12183
/proc/meminfo: memFree=29475692/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1336900 CPUtime=6.29 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 274843 0 0 0 590 39 0 0 20 0 4 0 10997652 1368985600 275654 33554432000 4194304 16246674 140734813148016 140734813129920 13923640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 334225 275654 834 2943 0 331119 0
[pid=12179/tid=12180] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275654 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275654 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275654 33554432000 4194304 16246674 140734813148016 140003564833968 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) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 12183
/proc/meminfo: memFree=29475792/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1336900 CPUtime=12.69 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 274843 0 0 0 1230 39 0 0 20 0 4 0 10997652 1368985600 275654 33554432000 4194304 16246674 140734813148016 140734813129920 13807453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 334225 275654 834 2943 0 331119 0
[pid=12179/tid=12180] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275654 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275654 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275654 33554432000 4194304 16246674 140734813148016 140003564833968 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) 1336900

[startup+25.5005 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 12183
/proc/meminfo: memFree=29476268/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1336900 CPUtime=25.48 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 274850 0 0 0 2509 39 0 0 20 0 4 0 10997652 1368985600 275661 33554432000 4194304 16246674 140734813148016 140734813129920 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 334225 275661 840 2943 0 331119 0
[pid=12179/tid=12180] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275661 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275661 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1368985600 275661 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 12184
/proc/meminfo: memFree=29396108/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1416772 CPUtime=51.09 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 294860 0 0 0 5067 42 0 0 20 0 4 0 10997652 1450774528 295671 33554432000 4194304 16246674 140734813148016 140734813129920 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 354193 295671 935 2943 0 351087 0
[pid=12179/tid=12180] ppid=12176 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1450774528 295671 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1450774528 295671 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1450774528 295671 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1416772

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/182 12185
/proc/meminfo: memFree=29396532/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=1416772 CPUtime=102.28 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 294860 0 0 0 10182 46 0 0 20 0 4 0 10997652 1450774528 295671 33554432000 4194304 16246674 140734813148016 140734813129920 5823037 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 354193 295671 935 2943 0 351087 0
[pid=12179/tid=12180] ppid=12176 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 1450774528 295671 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 1450774528 295671 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=1416772 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 1450774528 295671 33554432000 4194304 16246674 140734813148016 140003564833968 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) 1416772


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

[pid=12179] ppid=12176 vsize=3372612 CPUtime=1362.08 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 783772 0 0 0 135885 323 0 0 20 0 4 0 10997652 3453554688 784583 33554432000 4194304 16246674 140734813148016 140734813129920 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 843153 784583 936 2943 0 840047 0
[pid=12179/tid=12180] ppid=12176 vsize=3372612 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3453554688 784583 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3372612 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3453554688 784583 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3372612 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3453554688 784583 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3372612

[startup+1422.3 s]
/proc/loadavg: 2.01 2.05 2.03 3/183 12218
/proc/meminfo: memFree=24631960/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=3430980 CPUtime=1422.07 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 798327 0 0 0 141871 336 0 0 20 0 4 0 10997652 3513323520 799138 33554432000 4194304 16246674 140734813148016 140734813129920 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 857745 799138 936 2943 0 854639 0
[pid=12179/tid=12180] ppid=12176 vsize=3430980 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3513323520 799138 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3430980 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3513323520 799138 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3430980 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3513323520 799138 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3430980

[startup+1482.3 s]
/proc/loadavg: 2.24 2.12 2.05 3/183 12219
/proc/meminfo: memFree=24432224/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=3534404 CPUtime=1482.06 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 824309 0 0 0 147854 352 0 0 20 0 4 0 10997652 3619229696 825120 33554432000 4194304 16246674 140734813148016 140734813147192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 883601 825120 936 2943 0 880495 0
[pid=12179/tid=12180] ppid=12176 vsize=3534404 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3619229696 825120 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3534404 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3619229696 825120 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3534404 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3619229696 825120 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3534404

[startup+1542.31 s]
/proc/loadavg: 2.08 2.09 2.05 3/184 12223
/proc/meminfo: memFree=24213252/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=3619396 CPUtime=1542.05 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 845370 0 0 0 153834 371 0 0 20 0 4 0 10997652 3706261504 846181 33554432000 4194304 16246674 140734813148016 140734813129920 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 904849 846181 936 2943 0 901743 0
[pid=12179/tid=12180] ppid=12176 vsize=3619396 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3706261504 846181 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3619396 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3706261504 846181 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3619396 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3706261504 846181 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3619396

[startup+1602.3 s]
/proc/loadavg: 2.16 2.10 2.05 3/183 12225
/proc/meminfo: memFree=24028044/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=3677764 CPUtime=1602.04 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 860029 0 0 0 159817 387 0 0 20 0 4 0 10997652 3766030336 860840 33554432000 4194304 16246674 140734813148016 140734813129920 5822989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 919441 860840 936 2943 0 916335 0
[pid=12179/tid=12180] ppid=12176 vsize=3677764 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3766030336 860840 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3677764 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3766030336 860840 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3677764 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3766030336 860840 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3677764

[startup+1662.3 s]
/proc/loadavg: 2.13 2.11 2.06 3/183 12226
/proc/meminfo: memFree=23860540/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=3734084 CPUtime=1662.03 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 874201 0 0 0 165799 404 0 0 20 0 4 0 10997652 3823702016 875012 33554432000 4194304 16246674 140734813148016 140734813147192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 933521 875012 936 2943 0 930415 0
[pid=12179/tid=12180] ppid=12176 vsize=3734084 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3823702016 875012 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3734084 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3823702016 875012 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3734084 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3823702016 875012 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3734084

[startup+1722.3 s]
/proc/loadavg: 2.14 2.12 2.06 3/183 12227
/proc/meminfo: memFree=23696016/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=3795524 CPUtime=1722.02 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 889602 0 0 0 171782 420 0 0 20 0 4 0 10997652 3886616576 890413 33554432000 4194304 16246674 140734813148016 140734813147192 6021388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 948881 890413 936 2943 0 945775 0
[pid=12179/tid=12180] ppid=12176 vsize=3795524 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3886616576 890413 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3795524 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3886616576 890413 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3795524 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3886616576 890413 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3795524

[startup+1782.3 s]
/proc/loadavg: 2.09 2.11 2.06 3/183 12277
/proc/meminfo: memFree=27034344/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=3852868 CPUtime=1782.01 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 903938 0 0 0 177766 435 0 0 20 0 4 0 10997652 3945336832 904749 33554432000 4194304 16246674 140734813148016 140734813145856 4221960 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 963217 904749 936 2943 0 960111 0
[pid=12179/tid=12180] ppid=12176 vsize=3852868 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3945336832 904749 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3852868 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3945336832 904749 33554432000 4194304 16246674 140734813148016 140003575307280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3852868 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3945336832 904749 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3852868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.12 2.07 3/183 12277
/proc/meminfo: memFree=27000920/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=3884612 CPUtime=1800.01 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) R 12176 12179 7549 0 -1 4202496 911741 0 0 0 179562 439 0 0 20 0 4 0 10997652 3977842688 912554 33554432000 4194304 16246674 140734813148016 140734813147112 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 971153 912554 936 2943 0 968047 0
[pid=12179/tid=12180] ppid=12176 vsize=3884612 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) S 12176 12179 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10997652 3977842688 912554 33554432000 4194304 16246674 140734813148016 140003585797360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12179/tid=12181] ppid=12176 vsize=3884612 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12181/stat : 12181 (toysat) S 12176 12179 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10997652 3977842688 912554 33554432000 4194304 16246674 140734813148016 140003575307504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12179/tid=12182] ppid=12176 vsize=3884612 CPUtime=0 cores=0,2,4,6
/proc/12179/task/12182/stat : 12182 (toysat) S 12176 12179 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10997652 3977842688 912554 33554432000 4194304 16246674 140734813148016 140003564833968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3884612

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

[startup+1800.4 s]
/proc/loadavg: 2.15 2.12 2.07 3/183 12277
/proc/meminfo: memFree=27000920/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=0 CPUtime=1800.11 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) Z 12176 12179 7549 0 -1 4203532 911741 0 0 0 179562 449 0 0 20 0 2 0 10997652 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 0 0 0 0 0 0 0
[pid=12179/tid=12180] ppid=12176 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) R 12176 12179 7549 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 10997652 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

[startup+1800.5 s]
/proc/loadavg: 2.15 2.12 2.07 3/183 12277
/proc/meminfo: memFree=27000920/32872528 swapFree=240572/273276
[pid=12179] ppid=12176 vsize=0 CPUtime=1800.21 cores=0,2,4,6
/proc/12179/stat : 12179 (toysat) Z 12176 12179 7549 0 -1 4203532 911741 0 0 0 179562 459 0 0 20 0 2 0 10997652 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12179/statm: 0 0 0 0 0 0 0
[pid=12179/tid=12180] ppid=12176 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/12179/task/12180/stat : 12180 (toysat) R 12176 12179 7549 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 10997652 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.22
CPU user time (s): 1795.62
CPU system time (s): 4.5943
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 3884612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.63
system time used= 4.5943
maximum resident set size= 3650216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 911741
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= 282
involuntary context switches= 1814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1525 second user time and 18.3372 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 17:04:36
IDJOB=4093598
IDBENCH=79128
IDSOLVER=2553
FILE ID=node107/4093598-1466089476
RUNJOBID= node107-1466074715-9713
PBS_JOBID= 19904025
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB10/oliveras/j120/normalized-j12013_1-unsat--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-4093598-1466089476/watcher-4093598-1466089476 -o /tmp/evaluation-result-4093598-1466089476/solver-4093598-1466089476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9713 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093598-1466089476.wbo

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

MD5SUM BENCH= d6ce3ef474957eba462e4a8661dbc0f2
RANDOM SEED=1804312907

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30577856 kB
Buffers:           40816 kB
Cached:           123468 kB
SwapCached:         2508 kB
Active:          1241192 kB
Inactive:          79092 kB
Active(anon):    1156240 kB
Inactive(anon):     2156 kB
Active(file):      84952 kB
Inactive(file):    76936 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             20020 kB
Writeback:             0 kB
AnonPages:       1428008 kB
Mapped:            10956 kB
Shmem:                 0 kB
Slab:             567836 kB
SReclaimable:      11428 kB
SUnreclaim:       556408 kB
KernelStack:        1480 kB
PageTables:         6572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1569248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71676 MiB
End job on node107 at 2016-06-16 17:34:37