Trace number 4078848

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.1 1800.47

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-116.opb
MD5SUMf3a33f6abe76a69a8be60a1cc6635095
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables44846
Total number of constraints988104
Number of constraints which are clauses884812
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints99769
Minimum length of a constraint2
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
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-07T06:53:54+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078848-1465275233.opb"]
0.00/0.01	c use --random-gen="1423424377 3671344325 2864201895 1722875007 3200990484 1297410992 1257974156 457368354 2695905641 1773493443 4265323990 3113336402 4157949510 3222796474 995817934 699659640 1307928748 350350942 2328923132 101454274 3407249238 3104371504 3981212262 1558231442 1872863266 1726761252 345977733 1347125728 1159492222 1879023128 3703586017 928796508 1850895953 1019733415 3239412170 3211387922 3134624619 1596378115 1015210352 2717385468 1213470984 2290562774 3347021077 2738228352 3181038328 2138890618 3647349116 2774881363 3530079255 2766761682 1628958016 1123056458 2775374769 534279851 877630602 3859999173 3196991005 4248095706 904898445 3508954393 545140258 1079640555 3633956857 709701985 2896649508 658972827 1061642772 1031713513 1591130713 28423520 3040992137 3472241871 2384984299 3099300916 3092534100 3842783183 2048590332 1475547863 2916598788 3201723230 4273138111 3966397813 2530104615 1189504006 638123965 3074295910 3184742022 3552706443 3217279743 2633500347 4275132306 1457188896 2839129159 534657281 198082641 2702028130 854482949 113223715 4269339356 1221425766 984650314 1740516738 2045035655 2635576067 2693526808 2417025109 387584885 3748852861 3228622911 2811458705 3381150774 2943152609 3858622226 3122281684 3929963262 789270935 3127805412 2426881515 2853292566 1100620945 2802284875 558742887 963681452 1060959802 3576473206 893740571 3857822857 2654582779 1089018138 755971739 3470980564 2791315998 4131041437 853223917 4245016765 3902554036 396677598 2015380753 708279507 1754960944 216025711 2649547730 1608751933 2806846018 3086668661 1338801096 250940668 296219540 1140130764 1355954073 997188044 353657148 3785148885 354892342 1126796246 1088390477 2634240422 2215144245 3703052485 140667270 3442204097 4133629153 2825379658 3594338492 1061831525 2834909911 1721095105 2417780340 1356342352 2054185272 3656986800 898654127 1519974147 124275239 3479310599 2133772685 1174029715 2642845371 2088624189 2853197235 2986943554 2728724704 1594377783 3295285441 786465763 1575751255 92068363 2028378664 983141885 3676759155 1676426521 3349979543 139554116 4284326165 2976717916 850341980 1069714311 3393896397 2189461747 1119098561 1148146521 824529845 376157977 403775452 3816435534 3169037742 1160039577 2333128269 3343819027 548391172 3841940807 33303948 1722423518 3296626035 1687947764 381689749 3540021825 2467871729 544026722 3399330409 3799322997 406859529 5315687 3380357150 4014557386 4007791760 646209189 3863173537 3794989694 2160467627 558351531 772631906 1395544916 2634372419 3229952434 1993873732 169380292 3168694607 1505940932 1130008080 3315501717 3097383845 3203556621 1084737013 129703707 2504839412 1938276916 2029687548 1115697255 2332573288 886229720 486041189 3870436850 199223404 2722387334 1772504402 255 362436" option to reproduce the execution
8.59/8.69	c #vars 44846
8.59/8.69	c #constraints 988104
26.99/27.07	c Solving starts ...
26.99/27.07	c ============================[ Search Statistics ]============================
26.99/27.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.99/27.07	c       |         |          |          |    Limit     GC | Var      | Constra 
26.99/27.07	c =============================================================================
26.99/27.08	c  0.0s |       0 |        0 |        0 |   344907      0 |        0 |        0
27.78/27.86	c  0.8s |       1 |      146 |      100 |   344907      0 |        0 |        0
28.99/29.04	c  2.0s |       2 |      978 |      250 |   379398      0 |        0 |        0
30.08/30.12	c  3.0s |       3 |     1643 |      475 |   417338      0 |        0 |        0
32.28/32.30	c  5.2s |       4 |     2356 |      813 |   459072      0 |        0 |        0
34.98/35.04	c  8.0s |       4 |    13999 |     1013 |   504980      0 |        0 |        0
36.28/36.39	c  9.3s |       5 |    15035 |     1320 |   504980      0 |        0 |        0
41.89/41.99	c 14.9s |       5 |    51804 |     1420 |   555478      0 |        0 |        0
45.29/45.30	c 18.2s |       5 |    82920 |     1520 |   555478      0 |        0 |        0
48.09/48.19	c 21.1s |       5 |   118051 |     1620 |   555478      0 |        0 |        0
53.49/53.56	c 26.5s |       5 |   169323 |     1820 |   555478      0 |        0 |        0
55.19/55.28	c 28.2s |       6 |   179215 |     2081 |   611026      0 |        0 |        0
57.39/57.49	c 30.4s |       6 |   182702 |     2381 |   611026      0 |        0 |        0
59.68/59.78	c 32.7s |       6 |   183310 |     2881 |   611026      0 |        0 |        0
61.18/61.23	c 34.2s |       7 |   183723 |     3223 |   672129      0 |        0 |        0
63.38/63.47	c 36.4s |       7 |   184639 |     3823 |   672129      0 |        0 |        0
65.58/65.67	c 38.6s |       7 |   185592 |     4623 |   672129      0 |        0 |        0
66.48/66.56	c 39.5s |       8 |   185943 |     4936 |   739342      0 |        0 |        0
70.08/70.16	c 43.1s |       8 |   218726 |     5136 |   739342      0 |        0 |        0
72.38/72.43	c 45.4s |       8 |   236611 |     5236 |   739342      0 |        0 |        0
75.99/76.09	c 49.0s |       8 |   275583 |     5436 |   739342      0 |        0 |        0
80.58/80.61	c 53.5s |       8 |   330522 |     5536 |   739342      0 |        0 |        0
86.99/87.04	c 60.0s |       8 |   408131 |     5636 |   739342      0 |        0 |        0
90.48/90.56	c 63.5s |       8 |   446163 |     5736 |   739342      0 |        0 |        0
93.69/93.75	c 66.7s |       8 |   471645 |     5836 |   739342      0 |        0 |        0
97.99/98.01	c 70.9s |       8 |   502101 |     5936 |   739342      0 |        0 |        0
100.38/100.45	c 73.4s |       8 |   529297 |     6036 |   739342      0 |        0 |        0
102.68/102.77	c 75.7s |       8 |   531587 |     6636 |   739342      0 |        0 |        0
105.78/105.89	c 78.8s |       8 |   556071 |     6936 |   739342      0 |        0 |        0
107.98/108.06	c 81.0s |       8 |   570720 |     7036 |   739342      0 |        0 |        0
110.48/110.54	c 83.5s |       8 |   571217 |     7436 |   739342      0 |        0 |        0
110.88/110.97	c 83.9s |       9 |   571305 |     7506 |   813277      0 |        0 |        0
113.58/113.60	c 86.5s |       9 |   589834 |     7606 |   813277      0 |        0 |        0
115.88/115.93	c 88.9s |       9 |   667850 |     8106 |   813277      0 |        0 |        0
118.28/118.33	c 91.3s |       9 |   707034 |     8606 |   813277      0 |        0 |        0
120.47/120.51	c 93.4s |       9 |   707896 |     9206 |   813277      0 |        0 |        0
122.47/122.53	c 95.5s |       9 |   708670 |     9806 |   813277      0 |        0 |        0
124.67/124.73	c 97.7s |       9 |   709363 |    10406 |   813277      0 |        0 |        0
126.77/126.83	c 99.8s |       9 |   709917 |    10906 |   813277      0 |        0 |        0
128.67/128.71	c  101s |      10 |   710446 |    11361 |   894605      0 |        0 |        0
130.87/130.91	c  103s |      10 |   711183 |    11861 |   894605      0 |        0 |        0
133.18/133.23	c  106s |      10 |   712002 |    12561 |   894605      0 |        0 |        0
135.17/135.25	c  108s |      10 |   712666 |    13161 |   894605      0 |        0 |        0
137.27/137.32	c  110s |      10 |   713342 |    13761 |   894605      0 |        0 |        0
139.47/139.59	c  112s |      10 |   714140 |    14461 |   894605      0 |        0 |        0
141.87/141.91	c  114s |      10 |   714926 |    15161 |   894605      0 |        0 |        0
143.87/143.93	c  116s |      10 |   715606 |    15761 |   894605      0 |        0 |        0
146.48/146.57	c  119s |      10 |   739759 |    16061 |   894605      0 |        0 |        0
149.78/149.83	c  122s |      10 |   764964 |    16261 |   894605      0 |        0 |        0
153.57/153.60	c  126s |      10 |   813038 |    16461 |   894605      0 |        0 |        0
155.77/155.81	c  128s |      10 |   829211 |    16561 |   894605      0 |        0 |        0
158.37/158.47	c  131s |      10 |   853784 |    16761 |   894605      0 |        0 |        0
160.37/160.49	c  133s |      10 |   854992 |    17061 |   984066      0 |        0 |        0
161.97/162.02	c  134s |      11 |   867615 |    17144 |   984066      0 |        0 |        0
164.87/164.91	c  137s |      11 |   900109 |    17344 |   984066      0 |        0 |        0
167.17/167.21	c  140s |      11 |  1003836 |    17844 |   984066      0 |        0 |        0
170.57/170.69	c  143s |      11 |  1087835 |    18544 |   984066      0 |        0 |        0
172.66/172.75	c  145s |      11 |  1096863 |    18844 |   984066      0 |        0 |        0
174.76/174.84	c  147s |      11 |  1101760 |    19244 |   984066      0 |        0 |        0
177.36/177.44	c  150s |      11 |  1102523 |    19644 |   984066      0 |        0 |        0
179.56/179.63	c  152s |      11 |  1103108 |    20044 |   984066      0 |        0 |        0
181.57/181.70	c  154s |      11 |  1103764 |    20444 |   984066      0 |        0 |        0
183.96/184.05	c  156s |      11 |  1104244 |    20844 |   984066      0 |        0 |        0
186.36/186.45	c  159s |      11 |  1104756 |    21244 |   984066      0 |        0 |        0
188.56/188.61	c  161s |      11 |  1105265 |    21644 |   984066      0 |        0 |        0
190.87/190.94	c  163s |      11 |  1105854 |    22044 |   984066      0 |        0 |        0
193.26/193.33	c  166s |      11 |  1106418 |    22444 |   984066      0 |        0 |        0
195.76/195.87	c  168s |      11 |  1106896 |    22844 |   984066      0 |        0 |        0
197.96/198.02	c  170s |      11 |  1107380 |    23244 |   984066      0 |        0 |        0
200.16/200.22	c  173s |      11 |  1107952 |    23644 |   984066      0 |        0 |        0
202.16/202.25	c  175s |      11 |  1108353 |    23944 |   984066      0 |        0 |        0
204.56/204.63	c  177s |      11 |  1108898 |    24344 |   984066      0 |        0 |        0
206.96/207.07	c  180s |      11 |  1109368 |    24744 |   984066      0 |        0 |        0
209.07/209.12	c  182s |      11 |  1109896 |    25144 |   984066      0 |        0 |        0
211.66/211.70	c  184s |      11 |  1110473 |    25544 |   984066      0 |        0 |        0
213.57/213.61	c  186s |      12 |  1111022 |    25819 |  1082473      0 |        0 |        0
215.56/215.64	c  188s |      12 |  1124039 |    25919 |  1082473      0 |        0 |        0
220.46/220.57	c  193s |      12 |  1147774 |    26119 |  1082473      0 |        0 |        0
223.56/223.67	c  196s |      12 |  1240186 |    26419 |  1082473      0 |        0 |        0
225.76/225.83	c  198s |      12 |  1316108 |    26719 |  1082473      0 |        0 |        0
228.36/228.41	c  201s |      12 |  1398027 |    27319 |  1082473      0 |        0 |        0
231.16/231.25	c  204s |      12 |  1415101 |    27519 |  1082473      0 |        0 |        0
233.36/233.43	c  206s |      12 |  1418559 |    27919 |  1082473      0 |        0 |        0
235.46/235.59	c  208s |      12 |  1428724 |    28119 |  1082473      0 |        0 |        0
237.56/237.63	c  210s |      12 |  1473732 |    28619 |  1082473      0 |        0 |        0
240.16/240.20	c  213s |      12 |  1487529 |    28919 |  1082473      0 |        0 |        0
242.36/242.45	c  215s |      12 |  1532953 |    29519 |  1082473      0 |        0 |        0
244.85/244.93	c  217s |      12 |  1534040 |    30019 |  1082473      0 |        0 |        0
247.25/247.38	c  220s |      12 |  1534805 |    30419 |  1082473      0 |        0 |        0
249.45/249.54	c  222s |      12 |  1535372 |    30819 |  1082473      0 |        0 |        0
251.75/251.84	c  224s |      12 |  1535948 |    31219 |  1082473      0 |        0 |        0
254.16/254.29	c  227s |      12 |  1536414 |    31619 |  1082473      0 |        0 |        0
256.46/256.59	c  229s |      12 |  1536890 |    32019 |  1082473      0 |        0 |        0
258.66/258.76	c  231s |      12 |  1537443 |    32419 |  1082473      0 |        0 |        0
261.15/261.25	c  234s |      12 |  1537945 |    32819 |  1082473      0 |        0 |        0
263.45/263.56	c  236s |      12 |  1538456 |    33219 |  1082473      0 |        0 |        0
265.65/265.74	c  238s |      12 |  1539023 |    33619 |  1082473      0 |        0 |        0
268.05/268.11	c  241s |      12 |  1539716 |    34119 |  1082473      0 |        0 |        0
270.25/270.36	c  243s |      12 |  1540340 |    34519 |  1082473      0 |        0 |        0
272.55/272.64	c  245s |      12 |  1541084 |    34919 |  1082473      0 |        0 |        0
275.16/275.25	c  248s |      12 |  1541752 |    35319 |  1082473      0 |        0 |        0
277.65/277.70	c  250s |      12 |  1542414 |    35719 |  1082473      0 |        0 |        0
279.65/279.77	c  252s |      12 |  1542791 |    36019 |  1082473      0 |        0 |        0
282.05/282.10	c  255s |      12 |  1543324 |    36419 |  1082473      0 |        0 |        0
284.05/284.14	c  257s |      12 |  1543804 |    36819 |  1082473      0 |        0 |        0
286.55/286.62	c  259s |      12 |  1544329 |    37219 |  1082473      0 |        0 |        0
288.55/288.64	c  261s |      12 |  1544687 |    37519 |  1082473      0 |        0 |        0
290.75/290.80	c  263s |      12 |  1545025 |    37819 |  1082473      0 |        0 |        0
292.95/293.03	c  265s |      12 |  1545492 |    38219 |  1082473      0 |        0 |        0
295.35/295.48	c  268s |      12 |  1545975 |    38619 |  1190721      0 |        0 |        0
297.15/297.22	c  270s |      13 |  1546226 |    38832 |  1190721      0 |        0 |        0
300.35/300.43	c  273s |      13 |  1591519 |    39032 |  1190721      0 |        0 |        0
303.35/303.44	c  276s |      13 |  1629363 |    39332 |  1190721      0 |        0 |        0
305.35/305.46	c  278s |      13 |  1641046 |    39532 |  1190721      0 |        0 |        0
307.75/307.81	c  280s |      13 |  1690025 |    39832 |  1190721      0 |        0 |        0
309.75/309.83	c  282s |      13 |  1720262 |    40232 |  1190721      0 |        0 |        0
312.45/312.52	c  285s |      13 |  1784290 |    40832 |  1190721      0 |        0 |        0
314.44/314.58	c  287s |      13 |  1788113 |    41132 |  1190721      0 |        0 |        0
316.74/316.81	c  289s |      13 |  1798909 |    41332 |  1190721      0 |        0 |        0
318.74/318.82	c  291s |      13 |  1828238 |    41532 |  1190721      0 |        0 |        0
320.74/320.88	c  293s |      13 |  1894916 |    42132 |  1190721      0 |        0 |        0
323.45/323.59	c  296s |      13 |  1922564 |    42232 |  1190721      0 |        0 |        0
325.65/325.80	c  298s |      13 |  1922982 |    42532 |  1190721      0 |        0 |        0
329.34/329.40	c  302s |      13 |  1955098 |    42732 |  1190721      0 |        0 |        0
332.35/332.41	c  305s |      13 |  1985276 |    42832 |  1190721      0 |        0 |        0
335.14/335.23	c  308s |      13 |  2011602 |    42932 |  1190721      0 |        0 |        0
337.75/337.81	c  310s |      13 |  2012332 |    43332 |  1190721      0 |        0 |        0
340.24/340.38	c  313s |      13 |  2012925 |    43732 |  1190721      0 |        0 |        0
342.44/342.54	c  315s |      13 |  2013275 |    44032 |  1190721      0 |        0 |        0
344.94/345.08	c  318s |      13 |  2013807 |    44432 |  1190721      0 |        0 |        0
347.14/347.23	c  320s |      13 |  2014819 |    44732 |  1190721      0 |        0 |        0
349.14/349.30	c  322s |      13 |  2015247 |    45032 |  1190721      0 |        0 |        0
351.54/351.69	c  324s |      13 |  2015972 |    45432 |  1190721      0 |        0 |        0
354.25/354.33	c  327s |      13 |  2016483 |    45832 |  1190721      0 |        0 |        0
356.64/356.71	c  329s |      13 |  2016961 |    46232 |  1190721      0 |        0 |        0
359.04/359.11	c  332s |      13 |  2030456 |    46432 |  1190721      0 |        0 |        0
361.24/361.32	c  334s |      13 |  2030931 |    46632 |  1190721      0 |        0 |        0
363.54/363.65	c  336s |      13 |  2031179 |    46832 |  1190721      0 |        0 |        0
365.94/366.07	c  338s |      13 |  2031402 |    47032 |  1190721      0 |        0 |        0
368.04/368.18	c  341s |      13 |  2031728 |    47232 |  1190721      0 |        0 |        0
371.04/371.11	c  344s |      13 |  2032082 |    47532 |  1190721      0 |        0 |        0
373.54/373.67	c  346s |      13 |  2032442 |    47832 |  1190721      0 |        0 |        0
376.34/376.47	c  349s |      13 |  2032791 |    48132 |  1190721      0 |        0 |        0
378.73/378.85	c  351s |      13 |  2033119 |    48432 |  1190721      0 |        0 |        0
381.53/381.67	c  354s |      13 |  2033486 |    48732 |  1190721      0 |        0 |        0
384.13/384.29	c  357s |      13 |  2033836 |    49032 |  1190721      0 |        0 |        0
386.54/386.68	c  359s |      13 |  2034177 |    49332 |  1190721      0 |        0 |        0
388.83/388.99	c  361s |      13 |  2034537 |    49632 |  1190721      0 |        0 |        0
392.63/392.77	c  365s |      13 |  2034892 |    49932 |  1190721      0 |        0 |        0
395.23/395.32	c  368s |      13 |  2035266 |    50232 |  1190721      0 |        0 |        0
397.63/397.71	c  370s |      13 |  2035631 |    50532 |  1190721      0 |        0 |        0
400.23/400.30	c  373s |      13 |  2036086 |    50832 |  1190721      0 |        0 |        0
402.93/403.05	c  375s |      13 |  2036438 |    51132 |  1190721      0 |        0 |        0
405.03/405.10	c  378s |      13 |  2036672 |    51332 |  1190721      0 |        0 |        0
407.83/407.92	c  380s |      13 |  2037375 |    51632 |  1190721      0 |        0 |        0
410.82/410.93	c  383s |      13 |  2038130 |    51932 |  1190721      0 |        0 |        0
413.64/413.80	c  386s |      13 |  2038499 |    52232 |  1190721      0 |        0 |        0
416.53/416.60	c  389s |      13 |  2038856 |    52532 |  1190721      0 |        0 |        0
419.52/419.66	c  392s |      13 |  2044393 |    52832 |  1190721      0 |        0 |        0
421.62/421.73	c  394s |      13 |  2051431 |    53032 |  1190721      0 |        0 |        0
423.93/424.04	c  396s |      13 |  2059975 |    53432 |  1190721      0 |        0 |        0
426.33/426.42	c  399s |      13 |  2060315 |    53732 |  1190721      0 |        0 |        0
428.93/429.10	c  402s |      13 |  2060668 |    54032 |  1190721      0 |        0 |        0
431.13/431.26	c  404s |      13 |  2061023 |    54332 |  1190721      0 |        0 |        0
433.63/433.73	c  406s |      13 |  2061390 |    54632 |  1190721      0 |        0 |        0
436.33/436.41	c  409s |      13 |  2061723 |    54932 |  1190721      0 |        0 |        0
438.93/439.02	c  411s |      13 |  2062083 |    55232 |  1190721      0 |        0 |        0
441.32/441.48	c  414s |      13 |  2062412 |    55532 |  1190721      0 |        0 |        0
444.83/444.95	c  417s |      13 |  2062736 |    55832 |  1190721      0 |        0 |        0
447.23/447.30	c  420s |      13 |  2063095 |    56132 |  1190721      0 |        0 |        0
449.32/449.40	c  422s |      13 |  2063451 |    56432 |  1190721      0 |        0 |        0
451.52/451.61	c  424s |      13 |  2063801 |    56732 |  1190721      0 |        0 |        0
453.82/453.99	c  426s |      13 |  2064167 |    57032 |  1190721      0 |        0 |        0
456.12/456.28	c  429s |      13 |  2064514 |    57332 |  1190721      0 |        0 |        0
458.42/458.56	c  431s |      13 |  2064850 |    57632 |  1190721      0 |        0 |        0
460.52/460.63	c  433s |      13 |  2065216 |    57932 |  1190721      0 |        0 |        0
462.62/462.76	c  435s |      13 |  2065540 |    58232 |  1309794      0 |        0 |        0
463.62/463.70	c  436s |      14 |  2068951 |    58352 |  1309794      0 |        0 |        0
466.22/466.36	c  439s |      14 |  2082300 |    58652 |  1309794      0 |        0 |        0
468.92/469.04	c  441s |      14 |  2105971 |    59152 |  1309794      0 |        0 |        0
471.42/471.57	c  444s |      14 |  2106969 |    59452 |  1309794      0 |        0 |        0
473.72/473.84	c  446s |      14 |  2107439 |    59752 |  1309794      0 |        0 |        0
475.82/475.96	c  448s |      14 |  2107798 |    60052 |  1309794      0 |        0 |        0
477.82/477.98	c  450s |      14 |  2108143 |    60352 |  1309794      0 |        0 |        0
480.12/480.24	c  453s |      14 |  2108665 |    60752 |  1309794      0 |        0 |        0
482.62/482.70	c  455s |      14 |  2109155 |    61152 |  1309794      0 |        0 |        0
484.82/484.93	c  457s |      14 |  2109631 |    61552 |  1309794      0 |        0 |        0
487.32/487.49	c  460s |      14 |  2110097 |    61952 |  1309794      0 |        0 |        0
489.42/489.57	c  462s |      14 |  2110505 |    62252 |  1309794      0 |        0 |        0
491.52/491.67	c  464s |      14 |  2110915 |    62552 |  1309794      0 |        0 |        0
494.02/494.15	c  467s |      14 |  2111463 |    62952 |  1309794      0 |        0 |        0
496.62/496.76	c  469s |      14 |  2112158 |    63352 |  1309794      0 |        0 |        0
498.82/498.98	c  471s |      14 |  2112542 |    63652 |  1309794      0 |        0 |        0
501.11/501.25	c  474s |      14 |  2112895 |    63952 |  1309794      0 |        0 |        0
503.31/503.43	c  476s |      14 |  2113249 |    64252 |  1309794      0 |        0 |        0
505.91/506.10	c  479s |      14 |  2113729 |    64652 |  1309794      0 |        0 |        0
508.51/508.61	c  481s |      14 |  2114233 |    65052 |  1309794      0 |        0 |        0
511.11/511.29	c  484s |      14 |  2114748 |    65452 |  1309794      0 |        0 |        0
513.82/513.98	c  486s |      14 |  2115146 |    65752 |  1309794      0 |        0 |        0
516.31/516.49	c  489s |      14 |  2115527 |    66052 |  1309794      0 |        0 |        0
518.61/518.75	c  491s |      14 |  2115871 |    66352 |  1309794      0 |        0 |        0
521.11/521.21	c  494s |      14 |  2116376 |    66652 |  1309794      0 |        0 |        0
523.41/523.57	c  496s |      14 |  2116786 |    66952 |  1309794      0 |        0 |        0
526.11/526.21	c  499s |      14 |  2117148 |    67252 |  1309794      0 |        0 |        0
528.71/528.81	c  501s |      14 |  2117516 |    67552 |  1309794      0 |        0 |        0
530.81/530.95	c  503s |      14 |  2117852 |    67852 |  1309794      0 |        0 |        0
533.01/533.18	c  506s |      14 |  2118204 |    68152 |  1309794      0 |        0 |        0
535.31/535.48	c  508s |      14 |  2118571 |    68452 |  1309794      0 |        0 |        0
537.71/537.88	c  510s |      14 |  2118923 |    68752 |  1309794      0 |        0 |        0
540.11/540.25	c  513s |      14 |  2119289 |    69052 |  1309794      0 |        0 |        0
542.51/542.64	c  515s |      14 |  2119631 |    69352 |  1309794      0 |        0 |        0
544.51/544.66	c  517s |      14 |  2119897 |    69552 |  1309794      0 |        0 |        0
547.11/547.24	c  520s |      14 |  2120256 |    69852 |  1309794      0 |        0 |        0
549.91/550.03	c  522s |      14 |  2120638 |    70152 |  1309794      0 |        0 |        0
552.41/552.57	c  525s |      14 |  2120974 |    70452 |  1309794      0 |        0 |        0
555.21/555.32	c  528s |      14 |  2121355 |    70752 |  1309794      0 |        0 |        0
557.71/557.81	c  530s |      14 |  2121710 |    71052 |  1309794      0 |        0 |        0
560.20/560.38	c  533s |      14 |  2122055 |    71352 |  1309794      0 |        0 |        0
562.80/562.95	c  535s |      14 |  2122429 |    71652 |  1309794      0 |        0 |        0
565.20/565.37	c  538s |      14 |  2122797 |    71952 |  1309794      0 |        0 |        0
568.00/568.13	c  541s |      14 |  2123207 |    72252 |  1309794      0 |        0 |        0
570.60/570.76	c  543s |      14 |  2123655 |    72552 |  1309794      0 |        0 |        0
572.70/572.80	c  545s |      14 |  2123888 |    72752 |  1309794      0 |        0 |        0
575.31/575.43	c  548s |      14 |  2124251 |    73052 |  1309794      0 |        0 |        0
578.00/578.12	c  551s |      14 |  2124613 |    73352 |  1309794      0 |        0 |        0
580.20/580.36	c  553s |      14 |  2124965 |    73652 |  1309794      0 |        0 |        0
582.70/582.84	c  555s |      14 |  2125313 |    73952 |  1309794      0 |        0 |        0
585.00/585.19	c  558s |      14 |  2125690 |    74252 |  1309794      0 |        0 |        0
587.60/587.74	c  560s |      14 |  2126068 |    74552 |  1309794      0 |        0 |        0
590.30/590.44	c  563s |      14 |  2126427 |    74852 |  1309794      0 |        0 |        0
592.90/593.06	c  565s |      14 |  2126800 |    75152 |  1309794      0 |        0 |        0
595.50/595.69	c  568s |      14 |  2127152 |    75452 |  1309794      0 |        0 |        0
598.30/598.43	c  571s |      14 |  2127526 |    75752 |  1309794      0 |        0 |        0
600.30/600.45	c  573s |      14 |  2127773 |    75952 |  1309794      0 |        0 |        0
602.70/602.82	c  575s |      14 |  2128117 |    76252 |  1309794      0 |        0 |        0
605.50/605.64	c  578s |      14 |  2128497 |    76552 |  1309794      0 |        0 |        0
607.99/608.12	c  581s |      14 |  2128869 |    76852 |  1309794      0 |        0 |        0
610.39/610.53	c  583s |      14 |  2129243 |    77152 |  1309794      0 |        0 |        0
612.89/613.04	c  585s |      14 |  2129569 |    77452 |  1309794      0 |        0 |        0
615.39/615.51	c  588s |      14 |  2129893 |    77752 |  1309794      0 |        0 |        0
617.89/618.02	c  590s |      14 |  2130244 |    78052 |  1309794      0 |        0 |        0
620.50/620.61	c  593s |      14 |  2130577 |    78352 |  1309794      0 |        0 |        0
623.09/623.27	c  596s |      14 |  2130902 |    78652 |  1309794      0 |        0 |        0
625.29/625.42	c  598s |      14 |  2131148 |    78852 |  1309794      0 |        0 |        0
627.29/627.42	c  600s |      14 |  2131395 |    79052 |  1309794      0 |        0 |        0
629.69/629.87	c  602s |      14 |  2131779 |    79352 |  1309794      0 |        0 |        0
632.39/632.57	c  605s |      14 |  2132039 |    79552 |  1309794      0 |        0 |        0
635.49/635.65	c  608s |      14 |  2132462 |    79852 |  1309794      0 |        0 |        0
637.59/637.79	c  610s |      14 |  2132722 |    80052 |  1309794      0 |        0 |        0
641.59/641.76	c  614s |      14 |  2133059 |    80352 |  1309794      0 |        0 |        0
644.29/644.43	c  617s |      14 |  2133426 |    80652 |  1309794      0 |        0 |        0
646.80/646.93	c  619s |      14 |  2133780 |    80952 |  1309794      0 |        0 |        0
649.10/649.27	c  622s |      14 |  2134155 |    81252 |  1309794      0 |        0 |        0
651.20/651.38	c  624s |      14 |  2134498 |    81552 |  1309794      0 |        0 |        0
653.40/653.56	c  626s |      14 |  2134848 |    81852 |  1309794      0 |        0 |        0
655.70/655.81	c  628s |      14 |  2135195 |    82152 |  1309794      0 |        0 |        0
658.09/658.20	c  631s |      14 |  2135519 |    82452 |  1309794      0 |        0 |        0
660.59/660.78	c  633s |      14 |  2135888 |    82752 |  1309794      0 |        0 |        0
662.99/663.19	c  636s |      14 |  2136235 |    83052 |  1309794      0 |        0 |        0
665.50/665.64	c  638s |      14 |  2136567 |    83352 |  1309794      0 |        0 |        0
667.70/667.88	c  640s |      14 |  2136909 |    83652 |  1309794      0 |        0 |        0
670.00/670.18	c  643s |      14 |  2137268 |    83952 |  1309794      0 |        0 |        0
672.49/672.60	c  645s |      14 |  2137660 |    84252 |  1309794      0 |        0 |        0
674.69/674.81	c  647s |      14 |  2137900 |    84452 |  1309794      0 |        0 |        0
676.89/677.04	c  649s |      14 |  2138146 |    84652 |  1309794      0 |        0 |        0
679.69/679.85	c  652s |      14 |  2138458 |    84952 |  1309794      0 |        0 |        0
681.79/681.90	c  654s |      14 |  2138681 |    85152 |  1309794      0 |        0 |        0
684.19/684.39	c  657s |      14 |  2139080 |    85452 |  1309794      0 |        0 |        0
686.29/686.40	c  659s |      14 |  2139290 |    85652 |  1309794      0 |        0 |        0
688.39/688.56	c  661s |      14 |  2139523 |    85852 |  1309794      0 |        0 |        0
690.69/690.80	c  663s |      14 |  2139906 |    86152 |  1309794      0 |        0 |        0
693.18/693.36	c  666s |      14 |  2140307 |    86452 |  1309794      0 |        0 |        0
696.08/696.23	c  669s |      14 |  2140641 |    86752 |  1309794      0 |        0 |        0
698.78/698.96	c  671s |      14 |  2140969 |    87052 |  1440774      0 |        0 |        0
701.68/701.84	c  674s |      14 |  2141316 |    87352 |  1440774      0 |        0 |        0
704.18/704.33	c  677s |      15 |  2141661 |    87632 |  1440774      0 |        0 |        0
706.88/707.09	c  680s |      15 |  2142386 |    87732 |  1440774      0 |        0 |        0
709.08/709.22	c  682s |      15 |  2142948 |    87932 |  1440774      0 |        0 |        0
711.28/711.41	c  684s |      15 |  2143217 |    88132 |  1440774      0 |        0 |        0
714.28/714.42	c  687s |      15 |  2143652 |    88432 |  1440774      0 |        0 |        0
717.48/717.64	c  690s |      15 |  2144087 |    88732 |  1440774      0 |        0 |        0
719.78/719.95	c  692s |      15 |  2144336 |    88932 |  1440774      0 |        0 |        0
721.78/721.97	c  694s |      15 |  2144709 |    89132 |  1440774      0 |        0 |        0
723.89/724.03	c  696s |      15 |  2144941 |    89332 |  1440774      0 |        0 |        0
726.68/726.81	c  699s |      15 |  2145283 |    89632 |  1440774      0 |        0 |        0
728.68/728.88	c  701s |      15 |  2145511 |    89832 |  1440774      0 |        0 |        0
730.88/731.00	c  703s |      15 |  2145762 |    90032 |  1440774      0 |        0 |        0
732.88/733.01	c  705s |      15 |  2146004 |    90232 |  1440774      0 |        0 |        0
735.08/735.28	c  708s |      15 |  2146231 |    90432 |  1440774      0 |        0 |        0
737.38/737.57	c  710s |      15 |  2146448 |    90632 |  1440774      0 |        0 |        0
740.17/740.30	c  713s |      15 |  2146792 |    90932 |  1440774      0 |        0 |        0
743.27/743.45	c  716s |      15 |  2147158 |    91232 |  1440774      0 |        0 |        0
745.57/745.75	c  718s |      15 |  2147389 |    91432 |  1440774      0 |        0 |        0
747.67/747.83	c  720s |      15 |  2147626 |    91632 |  1440774      0 |        0 |        0
750.29/750.44	c  723s |      15 |  2147838 |    91832 |  1440774      0 |        0 |        0
752.58/752.77	c  725s |      15 |  2148055 |    92032 |  1440774      0 |        0 |        0
754.68/754.84	c  727s |      15 |  2148300 |    92232 |  1440774      0 |        0 |        0
757.77/757.90	c  730s |      15 |  2148683 |    92532 |  1440774      0 |        0 |        0
760.47/760.68	c  733s |      15 |  2148918 |    92732 |  1440774      0 |        0 |        0
763.07/763.25	c  736s |      15 |  2149153 |    92932 |  1440774      0 |        0 |        0
765.47/765.63	c  738s |      15 |  2149375 |    93132 |  1440774      0 |        0 |        0
767.97/768.13	c  741s |      15 |  2149606 |    93332 |  1440774      0 |        0 |        0
770.17/770.32	c  743s |      15 |  2149842 |    93532 |  1440774      0 |        0 |        0
772.36/772.57	c  745s |      15 |  2149959 |    93632 |  1440774      0 |        0 |        0
774.66/774.84	c  747s |      15 |  2150187 |    93832 |  1440774      0 |        0 |        0
776.87/777.05	c  749s |      15 |  2150435 |    94032 |  1440774      0 |        0 |        0
779.57/779.75	c  752s |      15 |  2150827 |    94332 |  1440774      0 |        0 |        0
781.67/781.84	c  754s |      15 |  2151103 |    94532 |  1440774      0 |        0 |        0
783.77/783.90	c  756s |      15 |  2151365 |    94732 |  1440774      0 |        0 |        0
785.87/786.07	c  759s |      15 |  2151605 |    94932 |  1440774      0 |        0 |        0
787.97/788.14	c  761s |      15 |  2151847 |    95132 |  1440774      0 |        0 |        0
790.88/791.04	c  763s |      15 |  2152194 |    95432 |  1440774      0 |        0 |        0
792.97/793.10	c  766s |      15 |  2152443 |    95632 |  1440774      0 |        0 |        0
795.67/795.81	c  768s |      15 |  2152816 |    95932 |  1440774      0 |        0 |        0
797.77/797.91	c  770s |      15 |  2153055 |    96132 |  1440774      0 |        0 |        0
800.57/800.77	c  773s |      15 |  2153420 |    96432 |  1440774      0 |        0 |        0
802.77/802.91	c  775s |      15 |  2153669 |    96632 |  1440774      0 |        0 |        0
804.87/805.05	c  777s |      15 |  2153920 |    96832 |  1440774      0 |        0 |        0
807.57/807.70	c  780s |      15 |  2154181 |    97032 |  1440774      0 |        0 |        0
809.87/810.04	c  782s |      15 |  2154412 |    97232 |  1440774      0 |        0 |        0
811.96/812.13	c  785s |      15 |  2154647 |    97432 |  1440774      0 |        0 |        0
814.16/814.31	c  787s |      15 |  2154881 |    97632 |  1440774      0 |        0 |        0
816.96/817.17	c  790s |      15 |  2155241 |    97932 |  1440774      0 |        0 |        0
819.06/819.25	c  792s |      15 |  2155488 |    98132 |  1440774      0 |        0 |        0
821.26/821.48	c  794s |      15 |  2155742 |    98332 |  1440774      0 |        0 |        0
823.36/823.58	c  796s |      15 |  2155972 |    98532 |  1440774      0 |        0 |        0
825.56/825.72	c  798s |      15 |  2156225 |    98732 |  1440774      0 |        0 |        0
828.86/829.06	c  801s |      15 |  2156595 |    99032 |  1440774      0 |        0 |        0
831.16/831.35	c  804s |      15 |  2156837 |    99232 |  1440774      0 |        0 |        0
833.36/833.52	c  806s |      15 |  2157093 |    99432 |  1440774      0 |        0 |        0
835.46/835.62	c  808s |      15 |  2157336 |    99632 |  1440774      0 |        0 |        0
837.96/838.11	c  811s |      15 |  2157603 |    99832 |  1440774      0 |        0 |        0
840.36/840.57	c  813s |      15 |  2157824 |   100032 |  1440774      0 |        0 |        0
842.96/843.13	c  816s |      15 |  2158074 |   100232 |  1440774      0 |        0 |        0
845.45/845.63	c  818s |      15 |  2158316 |   100432 |  1440774      0 |        0 |        0
848.06/848.22	c  821s |      15 |  2158551 |   100632 |  1440774      0 |        0 |        0
850.26/850.47	c  823s |      15 |  2158820 |   100832 |  1440774      0 |        0 |        0
853.15/853.31	c  826s |      15 |  2159188 |   101132 |  1440774      0 |        0 |        0
855.95/856.18	c  829s |      15 |  2159572 |   101432 |  1440774      0 |        0 |        0
858.07/858.28	c  831s |      15 |  2159817 |   101632 |  1440774      0 |        0 |        0
860.17/860.36	c  833s |      15 |  2160066 |   101832 |  1440774      0 |        0 |        0
862.86/863.09	c  836s |      15 |  2160409 |   102132 |  1440774      0 |        0 |        0
864.96/865.19	c  838s |      15 |  2160635 |   102332 |  1440774      0 |        0 |        0
867.96/868.18	c  841s |      15 |  2161009 |   102632 |  1440774      0 |        0 |        0
870.36/870.54	c  843s |      15 |  2161227 |   102832 |  1440774      0 |        0 |        0
872.56/872.71	c  845s |      15 |  2161492 |   103032 |  1440774      0 |        0 |        0
875.46/875.65	c  848s |      15 |  2161763 |   103232 |  1440774      0 |        0 |        0
877.96/878.19	c  851s |      15 |  2162012 |   103432 |  1440774      0 |        0 |        0
880.15/880.34	c  853s |      15 |  2162268 |   103632 |  1440774      0 |        0 |        0
882.45/882.63	c  855s |      15 |  2162527 |   103832 |  1440774      0 |        0 |        0
884.95/885.13	c  858s |      15 |  2162798 |   104032 |  1440774      0 |        0 |        0
887.35/887.56	c  860s |      15 |  2163078 |   104232 |  1440774      0 |        0 |        0
890.05/890.21	c  863s |      15 |  2163342 |   104432 |  1440774      0 |        0 |        0
892.85/893.00	c  865s |      15 |  2163576 |   104632 |  1440774      0 |        0 |        0
896.85/897.02	c  869s |      15 |  2163807 |   104832 |  1440774      0 |        0 |        0
899.05/899.26	c  872s |      15 |  2164068 |   105032 |  1440774      0 |        0 |        0
901.96/902.18	c  875s |      15 |  2164410 |   105332 |  1440774      0 |        0 |        0
904.26/904.43	c  877s |      15 |  2164655 |   105532 |  1440774      0 |        0 |        0
906.46/906.68	c  879s |      15 |  2164882 |   105732 |  1440774      0 |        0 |        0
908.85/909.08	c  882s |      15 |  2165117 |   105932 |  1440774      0 |        0 |        0
911.25/911.46	c  884s |      15 |  2165358 |   106132 |  1440774      0 |        0 |        0
913.55/913.75	c  886s |      15 |  2165612 |   106332 |  1440774      0 |        0 |        0
915.85/916.07	c  889s |      15 |  2165834 |   106532 |  1440774      0 |        0 |        0
918.55/918.72	c  891s |      15 |  2166117 |   106732 |  1440774      0 |        0 |        0
920.65/920.89	c  893s |      15 |  2166380 |   106932 |  1440774      0 |        0 |        0
923.65/923.87	c  896s |      15 |  2166722 |   107232 |  1440774      0 |        0 |        0
925.75/925.97	c  898s |      15 |  2166941 |   107432 |  1440774      0 |        0 |        0
928.25/928.40	c  901s |      15 |  2167170 |   107632 |  1440774      0 |        0 |        0
930.65/930.85	c  903s |      15 |  2167387 |   107832 |  1440774      0 |        0 |        0
933.34/933.59	c  906s |      15 |  2167641 |   108032 |  1440774      0 |        0 |        0
935.94/936.10	c  909s |      15 |  2167853 |   108232 |  1440774      0 |        0 |        0
938.35/938.52	c  911s |      15 |  2168110 |   108432 |  1440774      0 |        0 |        0
940.74/940.90	c  913s |      15 |  2168363 |   108632 |  1440774      0 |        0 |        0
943.24/943.41	c  916s |      15 |  2168602 |   108832 |  1440774      0 |        0 |        0
945.74/945.91	c  918s |      15 |  2168844 |   109032 |  1440774      0 |        0 |        0
948.34/948.58	c  921s |      15 |  2169093 |   109232 |  1440774      0 |        0 |        0
950.74/950.92	c  923s |      15 |  2169321 |   109432 |  1440774      0 |        0 |        0
952.94/953.15	c  926s |      15 |  2169579 |   109632 |  1440774      0 |        0 |        0
955.64/955.86	c  928s |      15 |  2169816 |   109832 |  1440774      0 |        0 |        0
958.24/958.45	c  931s |      15 |  2170121 |   110032 |  1440774      0 |        0 |        0
960.74/960.97	c  933s |      15 |  2170354 |   110232 |  1440774      0 |        0 |        0
963.54/963.78	c  936s |      15 |  2170599 |   110432 |  1440774      0 |        0 |        0
966.04/966.21	c  939s |      15 |  2170877 |   110632 |  1440774      0 |        0 |        0
968.34/968.55	c  941s |      15 |  2171122 |   110832 |  1440774      0 |        0 |        0
970.84/971.00	c  943s |      15 |  2171347 |   111032 |  1440774      0 |        0 |        0
972.94/973.10	c  946s |      15 |  2171632 |   111232 |  1440774      0 |        0 |        0
975.14/975.34	c  948s |      15 |  2171881 |   111432 |  1440774      0 |        0 |        0
977.34/977.53	c  950s |      15 |  2172098 |   111632 |  1440774      0 |        0 |        0
979.54/979.73	c  952s |      15 |  2172342 |   111832 |  1440774      0 |        0 |        0
981.63/981.88	c  954s |      15 |  2172617 |   112032 |  1440774      0 |        0 |        0
984.34/984.51	c  957s |      15 |  2172865 |   112232 |  1440774      0 |        0 |        0
986.54/986.75	c  959s |      15 |  2173091 |   112432 |  1440774      0 |        0 |        0
989.43/989.65	c  962s |      15 |  2173314 |   112632 |  1440774      0 |        0 |        0
991.63/991.85	c  964s |      15 |  2173553 |   112832 |  1440774      0 |        0 |        0
995.33/995.59	c  968s |      15 |  2173783 |   113032 |  1440774      0 |        0 |        0
997.53/997.73	c  970s |      15 |  2174030 |   113232 |  1440774      0 |        0 |        0
999.84/1000.09	c  973s |      15 |  2174254 |   113432 |  1440774      0 |        0 |        0
1003.03/1003.25	c  976s |      15 |  2174590 |   113732 |  1440774      0 |        0 |        0
1005.03/1005.28	c  978s |      15 |  2174805 |   113932 |  1440774      0 |        0 |        0
1007.33/1007.50	c  980s |      15 |  2175039 |   114132 |  1440774      0 |        0 |        0
1009.43/1009.61	c  982s |      15 |  2175264 |   114332 |  1440774      0 |        0 |        0
1011.43/1011.62	c  984s |      15 |  2175475 |   114532 |  1440774      0 |        0 |        0
1013.53/1013.75	c  986s |      15 |  2175732 |   114732 |  1440774      0 |        0 |        0
1016.23/1016.42	c  989s |      15 |  2175960 |   114932 |  1440774      0 |        0 |        0
1018.53/1018.73	c  991s |      15 |  2176182 |   115132 |  1440774      0 |        0 |        0
1021.23/1021.41	c  994s |      15 |  2176423 |   115332 |  1440774      0 |        0 |        0
1024.13/1024.38	c  997s |      15 |  2176674 |   115532 |  1440774      0 |        0 |        0
1026.73/1026.93	c  999s |      15 |  2176941 |   115732 |  1440774      0 |        0 |        0
1029.22/1029.47	c 1002s |      15 |  2177196 |   115932 |  1440774      0 |        0 |        0
1031.62/1031.83	c 1004s |      15 |  2177494 |   116132 |  1440774      0 |        0 |        0
1033.72/1033.92	c 1006s |      15 |  2177752 |   116332 |  1440774      0 |        0 |        0
1036.02/1036.22	c 1009s |      15 |  2178008 |   116532 |  1440774      0 |        0 |        0
1038.43/1038.65	c 1011s |      15 |  2178247 |   116732 |  1440774      0 |        0 |        0
1040.72/1040.95	c 1013s |      15 |  2178476 |   116932 |  1440774      0 |        0 |        0
1043.12/1043.39	c 1016s |      15 |  2178714 |   117132 |  1440774      0 |        0 |        0
1046.22/1046.46	c 1019s |      15 |  2179065 |   117432 |  1440774      0 |        0 |        0
1048.82/1049.05	c 1021s |      15 |  2179323 |   117632 |  1440774      0 |        0 |        0
1051.32/1051.53	c 1024s |      15 |  2179598 |   117832 |  1440774      0 |        0 |        0
1054.12/1054.34	c 1027s |      15 |  2179849 |   118032 |  1440774      0 |        0 |        0
1056.92/1057.14	c 1030s |      15 |  2180089 |   118232 |  1440774      0 |        0 |        0
1059.23/1059.47	c 1032s |      15 |  2180338 |   118432 |  1440774      0 |        0 |        0
1061.62/1061.83	c 1034s |      15 |  2180579 |   118632 |  1440774      0 |        0 |        0
1064.12/1064.38	c 1037s |      15 |  2180804 |   118832 |  1440774      0 |        0 |        0
1066.72/1066.98	c 1039s |      15 |  2181076 |   119032 |  1440774      0 |        0 |        0
1069.61/1069.80	c 1042s |      15 |  2181325 |   119232 |  1440774      0 |        0 |        0
1071.82/1072.06	c 1044s |      15 |  2181559 |   119432 |  1440774      0 |        0 |        0
1074.32/1074.56	c 1047s |      15 |  2181676 |   119532 |  1440774      0 |        0 |        0
1076.72/1076.95	c 1049s |      15 |  2181901 |   119732 |  1440774      0 |        0 |        0
1079.13/1079.36	c 1052s |      15 |  2182179 |   119932 |  1440774      0 |        0 |        0
1081.42/1081.66	c 1054s |      15 |  2182420 |   120132 |  1440774      0 |        0 |        0
1084.12/1084.33	c 1057s |      15 |  2182649 |   120332 |  1440774      0 |        0 |        0
1086.62/1086.87	c 1059s |      15 |  2182913 |   120532 |  1440774      0 |        0 |        0
1089.03/1089.27	c 1062s |      15 |  2183154 |   120732 |  1440774      0 |        0 |        0
1091.12/1091.38	c 1064s |      15 |  2183383 |   120932 |  1440774      0 |        0 |        0
1093.43/1093.63	c 1066s |      15 |  2183628 |   121132 |  1440774      0 |        0 |        0
1096.02/1096.26	c 1069s |      15 |  2183908 |   121332 |  1440774      0 |        0 |        0
1098.42/1098.69	c 1071s |      15 |  2184157 |   121532 |  1440774      0 |        0 |        0
1100.52/1100.78	c 1073s |      15 |  2184408 |   121732 |  1440774      0 |        0 |        0
1103.62/1103.87	c 1076s |      15 |  2184758 |   122032 |  1440774      0 |        0 |        0
1106.71/1106.96	c 1079s |      15 |  2185113 |   122332 |  1440774      0 |        0 |        0
1109.51/1109.76	c 1082s |      15 |  2185493 |   122632 |  1440774      0 |        0 |        0
1112.02/1112.27	c 1085s |      15 |  2185855 |   122932 |  1440774      0 |        0 |        0
1114.61/1114.80	c 1087s |      15 |  2186191 |   123232 |  1440774      0 |        0 |        0
1116.61/1116.81	c 1089s |      15 |  2186457 |   123432 |  1440774      0 |        0 |        0
1118.72/1118.93	c 1091s |      15 |  2186670 |   123632 |  1440774      0 |        0 |        0
1120.71/1120.96	c 1093s |      15 |  2186924 |   123832 |  1440774      0 |        0 |        0
1123.91/1124.14	c 1097s |      15 |  2187274 |   124132 |  1440774      0 |        0 |        0
1125.91/1126.18	c 1099s |      15 |  2187504 |   124332 |  1440774      0 |        0 |        0
1128.11/1128.31	c 1101s |      15 |  2187729 |   124532 |  1440774      0 |        0 |        0
1130.30/1130.53	c 1103s |      15 |  2187986 |   124732 |  1440774      0 |        0 |        0
1132.70/1132.99	c 1105s |      15 |  2188216 |   124932 |  1440774      0 |        0 |        0
1135.60/1135.82	c 1108s |      15 |  2188438 |   125132 |  1440774      0 |        0 |        0
1138.41/1138.65	c 1111s |      15 |  2188680 |   125332 |  1440774      0 |        0 |        0
1141.20/1141.41	c 1114s |      15 |  2188894 |   125532 |  1440774      0 |        0 |        0
1145.00/1145.27	c 1118s |      15 |  2189141 |   125732 |  1440774      0 |        0 |        0
1148.20/1148.42	c 1121s |      15 |  2189506 |   126032 |  1440774      0 |        0 |        0
1150.50/1150.75	c 1123s |      15 |  2189733 |   126232 |  1440774      0 |        0 |        0
1152.60/1152.90	c 1125s |      15 |  2189951 |   126432 |  1440774      0 |        0 |        0
1154.90/1155.12	c 1128s |      15 |  2190188 |   126632 |  1440774      0 |        0 |        0
1156.99/1157.29	c 1130s |      15 |  2190457 |   126832 |  1440774      0 |        0 |        0
1159.49/1159.78	c 1132s |      15 |  2190743 |   127032 |  1440774      0 |        0 |        0
1161.89/1162.12	c 1135s |      15 |  2190970 |   127232 |  1440774      0 |        0 |        0
1164.09/1164.37	c 1137s |      15 |  2191191 |   127432 |  1440774      0 |        0 |        0
1167.10/1167.34	c 1140s |      15 |  2191512 |   127732 |  1440774      0 |        0 |        0
1169.19/1169.42	c 1142s |      15 |  2191772 |   127932 |  1440774      0 |        0 |        0
1171.80/1172.00	c 1144s |      15 |  2192023 |   128132 |  1440774      0 |        0 |        0
1174.20/1174.43	c 1147s |      15 |  2192290 |   128332 |  1440774      0 |        0 |        0
1176.39/1176.68	c 1149s |      15 |  2192531 |   128532 |  1440774      0 |        0 |        0
1178.49/1178.73	c 1151s |      15 |  2192819 |   128732 |  1440774      0 |        0 |        0
1180.79/1181.02	c 1153s |      15 |  2193055 |   128932 |  1440774      0 |        0 |        0
1183.60/1183.85	c 1156s |      15 |  2193415 |   129232 |  1440774      0 |        0 |        0
1185.99/1186.22	c 1159s |      15 |  2193635 |   129432 |  1440774      0 |        0 |        0
1188.19/1188.41	c 1161s |      15 |  2193865 |   129632 |  1440774      0 |        0 |        0
1190.39/1190.67	c 1163s |      15 |  2194099 |   129832 |  1440774      0 |        0 |        0
1192.69/1192.95	c 1165s |      15 |  2194324 |   130032 |  1440774      0 |        0 |        0
1195.18/1195.46	c 1168s |      15 |  2194579 |   130232 |  1440774      0 |        0 |        0
1197.89/1198.19	c 1171s |      15 |  2194812 |   130432 |  1440774      0 |        0 |        0
1201.28/1201.54	c 1174s |      15 |  2195074 |   130632 |  1440774      0 |        0 |        0
1204.99/1205.22	c 1178s |      15 |  2195299 |   130832 |  1584852      0 |        0 |        0
1208.19/1208.49	c 1181s |      15 |  2195544 |   131032 |  1584852      0 |        0 |        0
1210.89/1211.13	c 1184s |      15 |  2195673 |   131132 |  1584852      0 |        0 |        0
1213.49/1213.76	c 1186s |      15 |  2195941 |   131332 |  1584852      0 |        0 |        0
1215.98/1216.21	c 1189s |      15 |  2196172 |   131532 |  1584852      0 |        0 |        0
1216.18/1216.48	c 1189s |      16 |  2196207 |   131552 |  1584852      0 |        0 |        0
1221.99/1222.25	c 1195s |      16 |  2235115 |   131652 |  1584852      0 |        0 |        0
1229.58/1229.82	c 1202s |      16 |  2317277 |   131752 |  1584852      0 |        0 |        0
1231.98/1232.28	c 1205s |      16 |  2326609 |   131852 |  1584852      0 |        0 |        0
1241.57/1241.87	c 1214s |      16 |  2411908 |   131952 |  1584852      0 |        0 |        0
1249.18/1249.48	c 1222s |      16 |  2470627 |   132052 |  1584852      0 |        0 |        0
1251.37/1251.65	c 1224s |      16 |  2470953 |   132252 |  1584852      0 |        0 |        0
1253.57/1253.88	c 1226s |      16 |  2471184 |   132452 |  1584852      0 |        0 |        0
1256.87/1257.18	c 1230s |      16 |  2471409 |   132652 |  1584852      0 |        0 |        0
1259.27/1259.52	c 1232s |      16 |  2471746 |   132952 |  1584852      0 |        0 |        0
1262.07/1262.35	c 1235s |      16 |  2472130 |   133252 |  1584852      0 |        0 |        0
1264.57/1264.85	c 1237s |      16 |  2472479 |   133552 |  1584852      0 |        0 |        0
1266.87/1267.17	c 1240s |      16 |  2472853 |   133852 |  1584852      0 |        0 |        0
1269.17/1269.41	c 1242s |      16 |  2473202 |   134152 |  1584852      0 |        0 |        0
1271.37/1271.67	c 1244s |      16 |  2473690 |   134552 |  1584852      0 |        0 |        0
1274.67/1274.91	c 1247s |      16 |  2483433 |   134852 |  1584852      0 |        0 |        0
1278.77/1279.00	c 1251s |      16 |  2517599 |   134952 |  1584852      0 |        0 |        0
1280.96/1281.22	c 1254s |      16 |  2522565 |   135252 |  1584852      0 |        0 |        0
1283.46/1283.79	c 1256s |      16 |  2528701 |   135552 |  1584852      0 |        0 |        0
1286.26/1286.51	c 1259s |      16 |  2564284 |   135952 |  1584852      0 |        0 |        0
1288.46/1288.77	c 1261s |      16 |  2582751 |   136052 |  1584852      0 |        0 |        0
1290.86/1291.13	c 1264s |      16 |  2595895 |   136152 |  1584852      0 |        0 |        0
1294.06/1294.35	c 1267s |      16 |  2603792 |   136352 |  1584852      0 |        0 |        0
1296.16/1296.43	c 1269s |      16 |  2604090 |   136552 |  1584852      0 |        0 |        0
1298.36/1298.67	c 1271s |      16 |  2604328 |   136752 |  1584852      0 |        0 |        0
1300.66/1300.96	c 1273s |      16 |  2604553 |   136952 |  1584852      0 |        0 |        0
1303.16/1303.42	c 1276s |      16 |  2604827 |   137152 |  1584852      0 |        0 |        0
1306.06/1306.36	c 1279s |      16 |  2605085 |   137352 |  1584852      0 |        0 |        0
1308.76/1309.01	c 1281s |      16 |  2605345 |   137552 |  1584852      0 |        0 |        0
1311.07/1311.35	c 1284s |      16 |  2605721 |   137752 |  1584852      0 |        0 |        0
1313.16/1313.46	c 1286s |      16 |  2605970 |   137952 |  1584852      0 |        0 |        0
1316.06/1316.34	c 1289s |      16 |  2606262 |   138152 |  1584852      0 |        0 |        0
1318.96/1319.21	c 1292s |      16 |  2606486 |   138352 |  1584852      0 |        0 |        0
1321.45/1321.73	c 1294s |      16 |  2606594 |   138452 |  1584852      0 |        0 |        0
1323.55/1323.86	c 1296s |      16 |  2606828 |   138652 |  1584852      0 |        0 |        0
1325.55/1325.87	c 1298s |      16 |  2607056 |   138852 |  1584852      0 |        0 |        0
1328.55/1328.87	c 1301s |      16 |  2607411 |   139152 |  1584852      0 |        0 |        0
1330.75/1331.00	c 1303s |      16 |  2607679 |   139352 |  1584852      0 |        0 |        0
1332.75/1333.01	c 1305s |      16 |  2607922 |   139552 |  1584852      0 |        0 |        0
1335.65/1335.95	c 1308s |      16 |  2608274 |   139852 |  1584852      0 |        0 |        0
1337.75/1338.00	c 1310s |      16 |  2608511 |   140052 |  1584852      0 |        0 |        0
1340.44/1340.79	c 1313s |      16 |  2608876 |   140352 |  1584852      0 |        0 |        0
1342.96/1343.28	c 1316s |      16 |  2609212 |   140652 |  1584852      0 |        0 |        0
1345.85/1346.12	c 1319s |      16 |  2609602 |   140952 |  1584852      0 |        0 |        0
1348.85/1349.18	c 1322s |      16 |  2609978 |   141252 |  1584852      0 |        0 |        0
1351.64/1352.00	c 1324s |      16 |  2610332 |   141552 |  1584852      0 |        0 |        0
1354.44/1354.72	c 1327s |      16 |  2610701 |   141852 |  1584852      0 |        0 |        0
1357.35/1357.63	c 1330s |      16 |  2611081 |   142152 |  1584852      0 |        0 |        0
1359.44/1359.75	c 1332s |      16 |  2611335 |   142352 |  1584852      0 |        0 |        0
1361.74/1362.02	c 1334s |      16 |  2611598 |   142552 |  1584852      0 |        0 |        0
1364.04/1364.32	c 1337s |      16 |  2611827 |   142752 |  1584852      0 |        0 |        0
1366.14/1366.47	c 1339s |      16 |  2612050 |   142952 |  1584852      0 |        0 |        0
1368.25/1368.54	c 1341s |      16 |  2612303 |   143152 |  1584852      0 |        0 |        0
1370.64/1370.96	c 1343s |      16 |  2612549 |   143352 |  1584852      0 |        0 |        0
1373.64/1373.93	c 1346s |      16 |  2612903 |   143652 |  1584852      0 |        0 |        0
1376.24/1376.53	c 1349s |      16 |  2613257 |   143952 |  1584852      0 |        0 |        0
1378.33/1378.63	c 1351s |      16 |  2613373 |   144052 |  1584852      0 |        0 |        0
1380.83/1381.19	c 1354s |      16 |  2613791 |   144352 |  1584852      0 |        0 |        0
1383.23/1383.58	c 1356s |      16 |  2614170 |   144652 |  1584852      0 |        0 |        0
1386.03/1386.36	c 1359s |      16 |  2614528 |   144952 |  1584852      0 |        0 |        0
1388.74/1389.08	c 1362s |      16 |  2614907 |   145252 |  1584852      0 |        0 |        0
1391.64/1391.96	c 1364s |      16 |  2615271 |   145552 |  1584852      0 |        0 |        0
1394.24/1394.54	c 1367s |      16 |  2615597 |   145852 |  1584852      0 |        0 |        0
1397.04/1397.36	c 1370s |      16 |  2615969 |   146152 |  1584852      0 |        0 |        0
1399.24/1399.59	c 1372s |      16 |  2616325 |   146452 |  1584852      0 |        0 |        0
1401.94/1402.25	c 1375s |      16 |  2616687 |   146752 |  1584852      0 |        0 |        0
1404.44/1404.77	c 1377s |      16 |  2617049 |   147052 |  1584852      0 |        0 |        0
1407.04/1407.35	c 1380s |      16 |  2617404 |   147352 |  1584852      0 |        0 |        0
1409.73/1410.01	c 1382s |      16 |  2617679 |   147552 |  1584852      0 |        0 |        0
1412.63/1412.98	c 1385s |      16 |  2617919 |   147752 |  1584852      0 |        0 |        0
1415.23/1415.56	c 1388s |      16 |  2618184 |   147952 |  1584852      0 |        0 |        0
1417.93/1418.23	c 1391s |      16 |  2618410 |   148152 |  1584852      0 |        0 |        0
1421.04/1421.31	c 1394s |      16 |  2618667 |   148352 |  1584852      0 |        0 |        0
1425.13/1425.43	c 1398s |      16 |  2618898 |   148552 |  1584852      0 |        0 |        0
1428.33/1428.64	c 1401s |      16 |  2619299 |   148852 |  1584852      0 |        0 |        0
1430.53/1430.86	c 1403s |      16 |  2619538 |   149052 |  1584852      0 |        0 |        0
1432.63/1432.96	c 1405s |      16 |  2619764 |   149252 |  1584852      0 |        0 |        0
1434.73/1435.05	c 1407s |      16 |  2620010 |   149452 |  1584852      0 |        0 |        0
1436.83/1437.10	c 1410s |      16 |  2620246 |   149652 |  1584852      0 |        0 |        0
1439.83/1440.14	c 1413s |      16 |  2620579 |   149952 |  1584852      0 |        0 |        0
1442.63/1442.90	c 1415s |      16 |  2620923 |   150252 |  1584852      0 |        0 |        0
1445.33/1445.69	c 1418s |      16 |  2621281 |   150552 |  1584852      0 |        0 |        0
1447.73/1448.05	c 1420s |      16 |  2621606 |   150852 |  1584852      0 |        0 |        0
1450.03/1450.35	c 1423s |      16 |  2621937 |   151152 |  1584852      0 |        0 |        0
1452.02/1452.36	c 1425s |      16 |  2622174 |   151352 |  1584852      0 |        0 |        0
1454.53/1454.81	c 1427s |      16 |  2622413 |   151552 |  1584852      0 |        0 |        0
1457.22/1457.51	c 1430s |      16 |  2622661 |   151752 |  1584852      0 |        0 |        0
1460.42/1460.71	c 1433s |      16 |  2622904 |   151952 |  1584852      0 |        0 |        0
1463.22/1463.52	c 1436s |      16 |  2623127 |   152152 |  1584852      0 |        0 |        0
1466.23/1466.59	c 1439s |      16 |  2623360 |   152352 |  1584852      0 |        0 |        0
1469.02/1469.36	c 1442s |      16 |  2623592 |   152552 |  1584852      0 |        0 |        0
1472.83/1473.15	c 1446s |      16 |  2623848 |   152752 |  1584852      0 |        0 |        0
1475.31/1475.61	c 1448s |      16 |  2624083 |   152952 |  1584852      0 |        0 |        0
1477.71/1478.06	c 1450s |      16 |  2624323 |   153152 |  1584852      0 |        0 |        0
1479.81/1480.13	c 1453s |      16 |  2624601 |   153352 |  1584852      0 |        0 |        0
1481.91/1482.29	c 1455s |      16 |  2624837 |   153552 |  1584852      0 |        0 |        0
1484.02/1484.37	c 1457s |      16 |  2625069 |   153752 |  1584852      0 |        0 |        0
1486.21/1486.52	c 1459s |      16 |  2625315 |   153952 |  1584852      0 |        0 |        0
1488.41/1488.71	c 1461s |      16 |  2625565 |   154152 |  1584852      0 |        0 |        0
1490.71/1491.01	c 1463s |      16 |  2625820 |   154352 |  1584852      0 |        0 |        0
1493.72/1494.07	c 1466s |      16 |  2626087 |   154552 |  1584852      0 |        0 |        0
1496.61/1496.93	c 1469s |      16 |  2626347 |   154752 |  1584852      0 |        0 |        0
1499.60/1499.91	c 1472s |      16 |  2626620 |   154952 |  1584852      0 |        0 |        0
1502.52/1502.82	c 1475s |      16 |  2626878 |   155152 |  1584852      0 |        0 |        0
1505.11/1505.40	c 1478s |      16 |  2627112 |   155352 |  1584852      0 |        0 |        0
1508.01/1508.32	c 1481s |      16 |  2627356 |   155552 |  1584852      0 |        0 |        0
1510.90/1511.21	c 1484s |      16 |  2627627 |   155752 |  1584852      0 |        0 |        0
1513.80/1514.14	c 1487s |      16 |  2627861 |   155952 |  1584852      0 |        0 |        0
1516.00/1516.34	c 1489s |      16 |  2627975 |   156052 |  1584852      0 |        0 |        0
1518.50/1518.82	c 1491s |      16 |  2628215 |   156252 |  1584852      0 |        0 |        0
1520.90/1521.24	c 1494s |      16 |  2628440 |   156452 |  1584852      0 |        0 |        0
1523.50/1523.86	c 1496s |      16 |  2628691 |   156652 |  1584852      0 |        0 |        0
1526.10/1526.41	c 1499s |      16 |  2628962 |   156852 |  1584852      0 |        0 |        0
1528.81/1529.19	c 1502s |      16 |  2629195 |   157052 |  1584852      0 |        0 |        0
1531.20/1531.59	c 1504s |      16 |  2629479 |   157252 |  1584852      0 |        0 |        0
1534.09/1534.40	c 1507s |      16 |  2629801 |   157452 |  1584852      0 |        0 |        0
1536.60/1536.96	c 1509s |      16 |  2630031 |   157652 |  1584852      0 |        0 |        0
1538.89/1539.29	c 1512s |      16 |  2630259 |   157852 |  1584852      0 |        0 |        0
1541.69/1542.03	c 1514s |      16 |  2630484 |   158052 |  1584852      0 |        0 |        0
1543.70/1544.09	c 1517s |      16 |  2630729 |   158252 |  1584852      0 |        0 |        0
1545.79/1546.14	c 1519s |      16 |  2630954 |   158452 |  1584852      0 |        0 |        0
1547.79/1548.15	c 1521s |      16 |  2631204 |   158652 |  1584852      0 |        0 |        0
1550.40/1550.70	c 1523s |      16 |  2631446 |   158852 |  1584852      0 |        0 |        0
1552.59/1552.93	c 1525s |      16 |  2631704 |   159052 |  1584852      0 |        0 |        0
1554.69/1555.05	c 1527s |      16 |  2631824 |   159152 |  1584852      0 |        0 |        0
1557.29/1557.61	c 1530s |      16 |  2632196 |   159452 |  1584852      0 |        0 |        0
1559.99/1560.30	c 1533s |      16 |  2632565 |   159752 |  1584852      0 |        0 |        0
1563.09/1563.42	c 1536s |      16 |  2632973 |   160052 |  1584852      0 |        0 |        0
1565.28/1565.67	c 1538s |      16 |  2633231 |   160252 |  1584852      0 |        0 |        0
1567.28/1567.69	c 1540s |      16 |  2633469 |   160452 |  1584852      0 |        0 |        0
1569.38/1569.76	c 1542s |      16 |  2633700 |   160652 |  1584852      0 |        0 |        0
1571.58/1571.91	c 1544s |      16 |  2633946 |   160852 |  1584852      0 |        0 |        0
1573.68/1574.00	c 1546s |      16 |  2634190 |   161052 |  1584852      0 |        0 |        0
1576.48/1576.89	c 1549s |      16 |  2634534 |   161352 |  1584852      0 |        0 |        0
1578.57/1578.98	c 1551s |      16 |  2634751 |   161552 |  1584852      0 |        0 |        0
1580.78/1581.19	c 1554s |      16 |  2634980 |   161752 |  1584852      0 |        0 |        0
1582.87/1583.25	c 1556s |      16 |  2635215 |   161952 |  1584852      0 |        0 |        0
1585.07/1585.46	c 1558s |      16 |  2635473 |   162152 |  1584852      0 |        0 |        0
1587.27/1587.61	c 1560s |      16 |  2635704 |   162352 |  1584852      0 |        0 |        0
1590.48/1590.83	c 1563s |      16 |  2635942 |   162552 |  1584852      0 |        0 |        0
1593.47/1593.81	c 1566s |      16 |  2636275 |   162852 |  1584852      0 |        0 |        0
1596.37/1596.76	c 1569s |      16 |  2636646 |   163152 |  1584852      0 |        0 |        0
1598.77/1599.10	c 1572s |      16 |  2637013 |   163352 |  1584852      0 |        0 |        0
1601.07/1601.49	c 1574s |      16 |  2637259 |   163552 |  1584852      0 |        0 |        0
1603.27/1603.69	c 1576s |      16 |  2637498 |   163752 |  1584852      0 |        0 |        0
1605.88/1606.25	c 1579s |      16 |  2637732 |   163952 |  1584852      0 |        0 |        0
1608.37/1608.73	c 1581s |      16 |  2637959 |   164152 |  1584852      0 |        0 |        0
1610.56/1610.99	c 1583s |      16 |  2638236 |   164352 |  1584852      0 |        0 |        0
1612.97/1613.33	c 1586s |      16 |  2638486 |   164552 |  1584852      0 |        0 |        0
1616.06/1616.48	c 1589s |      16 |  2638838 |   164852 |  1584852      0 |        0 |        0
1619.26/1619.61	c 1592s |      16 |  2639174 |   165152 |  1584852      0 |        0 |        0
1621.47/1621.80	c 1594s |      16 |  2639401 |   165352 |  1584852      0 |        0 |        0
1624.06/1624.43	c 1597s |      16 |  2639536 |   165452 |  1584852      0 |        0 |        0
1626.06/1626.49	c 1599s |      16 |  2639752 |   165652 |  1584852      0 |        0 |        0
1628.56/1628.94	c 1601s |      16 |  2640088 |   165952 |  1584852      0 |        0 |        0
1631.06/1631.45	c 1604s |      16 |  2640450 |   166252 |  1584852      0 |        0 |        0
1633.76/1634.11	c 1607s |      16 |  2640793 |   166552 |  1584852      0 |        0 |        0
1637.46/1637.86	c 1610s |      16 |  2678761 |   166652 |  1584852      0 |        0 |        0
1639.66/1640.02	c 1612s |      16 |  2691264 |   166752 |  1584852      0 |        0 |        0
1641.96/1642.38	c 1615s |      16 |  2705129 |   166952 |  1584852      0 |        0 |        0
1644.27/1644.66	c 1617s |      16 |  2705387 |   167152 |  1584852      0 |        0 |        0
1646.96/1647.38	c 1620s |      16 |  2729258 |   167352 |  1584852      0 |        0 |        0
1650.76/1651.17	c 1624s |      16 |  2750483 |   167552 |  1584852      0 |        0 |        0
1653.76/1654.15	c 1627s |      16 |  2779098 |   167752 |  1584852      0 |        0 |        0
1657.66/1658.05	c 1630s |      16 |  2791494 |   167852 |  1584852      0 |        0 |        0
1660.16/1660.55	c 1633s |      16 |  2798761 |   168052 |  1584852      0 |        0 |        0
1663.06/1663.47	c 1636s |      16 |  2816131 |   168352 |  1584852      0 |        0 |        0
1668.16/1668.58	c 1641s |      16 |  2836659 |   168552 |  1584852      0 |        0 |        0
1670.35/1670.74	c 1643s |      16 |  2866402 |   168652 |  1584852      0 |        0 |        0
1672.75/1673.10	c 1646s |      16 |  2880889 |   168752 |  1584852      0 |        0 |        0
1676.16/1676.53	c 1649s |      16 |  2881185 |   168952 |  1584852      0 |        0 |        0
1678.46/1678.84	c 1651s |      16 |  2891820 |   169152 |  1584852      0 |        0 |        0
1681.95/1682.32	c 1655s |      16 |  2918184 |   169352 |  1584852      0 |        0 |        0
1685.46/1685.88	c 1658s |      16 |  2969464 |   169652 |  1584852      0 |        0 |        0
1690.46/1690.88	c 1663s |      16 |  2987607 |   169852 |  1584852      0 |        0 |        0
1692.45/1692.89	c 1665s |      16 |  3019487 |   170052 |  1584852      0 |        0 |        0
1695.96/1696.31	c 1669s |      16 |  3037042 |   170252 |  1584852      0 |        0 |        0
1698.26/1698.66	c 1671s |      16 |  3082736 |   170552 |  1584852      0 |        0 |        0
1700.65/1701.04	c 1673s |      16 |  3139535 |   171252 |  1584852      0 |        0 |        0
1703.95/1704.39	c 1677s |      16 |  3156097 |   171552 |  1584852      0 |        0 |        0
1706.75/1707.14	c 1680s |      16 |  3157942 |   171752 |  1584852      0 |        0 |        0
1709.64/1710.03	c 1682s |      16 |  3158284 |   171952 |  1584852      0 |        0 |        0
1711.94/1712.33	c 1685s |      16 |  3158552 |   172152 |  1584852      0 |        0 |        0
1714.14/1714.51	c 1687s |      16 |  3158784 |   172352 |  1584852      0 |        0 |        0
1716.45/1716.89	c 1689s |      16 |  3159026 |   172552 |  1584852      0 |        0 |        0
1718.84/1719.23	c 1692s |      16 |  3159248 |   172752 |  1584852      0 |        0 |        0
1721.15/1721.58	c 1694s |      16 |  3159486 |   172952 |  1584852      0 |        0 |        0
1723.45/1723.88	c 1696s |      16 |  3159604 |   173052 |  1584852      0 |        0 |        0
1725.55/1725.90	c 1698s |      16 |  3159835 |   173252 |  1584852      0 |        0 |        0
1728.24/1728.64	c 1701s |      16 |  3165691 |   173452 |  1584852      0 |        0 |        0
1731.64/1732.03	c 1704s |      16 |  3166029 |   173652 |  1584852      0 |        0 |        0
1734.84/1735.20	c 1708s |      16 |  3167343 |   173852 |  1584852      0 |        0 |        0
1737.04/1737.40	c 1710s |      16 |  3177516 |   173952 |  1584852      0 |        0 |        0
1739.14/1739.56	c 1712s |      16 |  3205781 |   174352 |  1584852      0 |        0 |        0
1741.84/1742.26	c 1715s |      16 |  3220828 |   174752 |  1584852      0 |        0 |        0
1744.24/1744.60	c 1717s |      16 |  3221081 |   174952 |  1584852      0 |        0 |        0
1746.73/1747.12	c 1720s |      16 |  3221337 |   175152 |  1584852      0 |        0 |        0
1748.84/1749.29	c 1722s |      16 |  3221573 |   175352 |  1584852      0 |        0 |        0
1750.93/1751.33	c 1724s |      16 |  3221833 |   175552 |  1584852      0 |        0 |        0
1753.03/1753.43	c 1726s |      16 |  3221935 |   175652 |  1584852      0 |        0 |        0
1755.53/1755.97	c 1728s |      16 |  3222286 |   175952 |  1584852      0 |        0 |        0
1758.23/1758.67	c 1731s |      16 |  3222656 |   176252 |  1584852      0 |        0 |        0
1760.73/1761.14	c 1734s |      16 |  3222971 |   176552 |  1584852      0 |        0 |        0
1763.63/1764.05	c 1736s |      16 |  3223327 |   176852 |  1584852      0 |        0 |        0
1765.73/1766.16	c 1739s |      16 |  3223549 |   177052 |  1584852      0 |        0 |        0
1768.83/1769.29	c 1742s |      16 |  3223908 |   177352 |  1584852      0 |        0 |        0
1770.93/1771.37	c 1744s |      16 |  3224145 |   177552 |  1584852      0 |        0 |        0
1773.43/1773.87	c 1746s |      16 |  3224406 |   177752 |  1584852      0 |        0 |        0
1775.63/1776.05	c 1748s |      16 |  3224641 |   177952 |  1584852      0 |        0 |        0
1777.93/1778.36	c 1751s |      16 |  3224895 |   178152 |  1584852      0 |        0 |        0
1780.23/1780.61	c 1753s |      16 |  3225122 |   178352 |  1584852      0 |        0 |        0
1783.13/1783.54	c 1756s |      16 |  3225481 |   178652 |  1584852      0 |        0 |        0
1785.33/1785.72	c 1758s |      16 |  3225594 |   178752 |  1584852      0 |        0 |        0
1787.73/1788.14	c 1761s |      16 |  3225929 |   179052 |  1584852      0 |        0 |        0
1790.43/1790.88	c 1763s |      16 |  3226285 |   179352 |  1584852      0 |        0 |        0
1793.22/1793.62	c 1766s |      16 |  3226616 |   179652 |  1584852      0 |        0 |        0
1795.32/1795.77	c 1768s |      16 |  3226866 |   179852 |  1584852      0 |        0 |        0
1798.32/1798.71	c 1771s |      16 |  3227210 |   180152 |  1584852      0 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078848-1465275233/watcher-4078848-1465275233 -o /tmp/evaluation-result-4078848-1465275233/solver-4078848-1465275233 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078848-1465275233.opb 

pid=15918
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.06 2.10 2.09 3/179 15921
/proc/meminfo: memFree=30457296/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=670276 CPUtime=0 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 2493 0 0 0 0 0 0 0 20 0 4 0 109456888 686362624 3365 33554432000 4194304 16246674 140735175119680 140735175119104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 168337 3373 442 2943 0 165231 0
[pid=15921/tid=15922] ppid=15918 vsize=688708 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 705236992 3435 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=692804 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 709431296 3452 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=696900 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 713625600 3469 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 15921
/proc/meminfo: memFree=30457296/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 25492 0 0 0 6 3 0 0 20 0 4 0 109456888 1332285440 26301 33554432000 4194304 16246674 140735175119680 140735175118992 7375574 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 325265 26316 801 2943 0 322159 0
[pid=15921/tid=15922] ppid=15918 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 1332285440 26328 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 1332285440 26339 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 1332285440 26350 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200535 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 15921
/proc/meminfo: memFree=30457296/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 51141 0 0 0 12 7 0 0 20 0 4 0 109456888 1340674048 52461 33554432000 4194304 16246674 140735175119680 140735175118992 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 327313 52464 801 2943 0 324207 0
[pid=15921/tid=15922] ppid=15918 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 1340674048 52468 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 1340674048 52470 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 1340674048 52472 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300496 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 15921
/proc/meminfo: memFree=30457296/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 61995 0 0 0 21 8 0 0 20 0 4 0 109456888 1345916928 63315 33554432000 4194304 16246674 140735175119680 140735175118992 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 328593 63315 801 2943 0 325487 0
[pid=15921/tid=15922] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 63315 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 63315 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 63315 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700409 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 15921
/proc/meminfo: memFree=30457296/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 69923 0 0 0 60 9 0 0 20 0 4 0 109456888 1345916928 71243 33554432000 4194304 16246674 140735175119680 140735175118992 13750868 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 328593 71243 801 2943 0 325487 0
[pid=15921/tid=15922] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 71243 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 71243 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 71243 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50044 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 15925
/proc/meminfo: memFree=30119388/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 85099 0 0 0 137 12 0 0 20 0 4 0 109456888 1345916928 86419 33554432000 4194304 16246674 140735175119680 140735175117504 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 328593 86419 803 2943 0 325487 0
[pid=15921/tid=15922] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 86419 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 86419 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 1345916928 86419 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 15925
/proc/meminfo: memFree=30040032/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=1325636 CPUtime=3.09 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 120363 0 0 0 292 17 0 0 20 0 4 0 109456888 1357451264 121683 33554432000 4194304 16246674 140735175119680 140735175117504 13928594 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 331409 121683 803 2943 0 328303 0
[pid=15921/tid=15922] ppid=15918 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 1357451264 121683 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 1357451264 121683 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 1357451264 121683 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30043 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 15925
/proc/meminfo: memFree=29566640/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=1374788 CPUtime=6.29 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 214044 0 0 0 598 31 0 0 20 0 4 0 109456888 1407782912 224051 33554432000 4194304 16246674 140735175119680 140735175102672 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 343697 224051 803 2943 0 340591 0
[pid=15921/tid=15922] ppid=15918 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 1407782912 224051 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 1407782912 224051 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 1407782912 224051 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1374788

[startup+12.7004 s]
/proc/loadavg: 2.05 2.10 2.09 3/183 15925
/proc/meminfo: memFree=29255720/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=1439300 CPUtime=12.69 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 288189 0 0 0 1229 40 0 0 20 0 4 0 109456888 1473843200 300751 33554432000 4194304 16246674 140735175119680 140735175117504 4220978 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 359825 300751 848 2943 0 356719 0
[pid=15921/tid=15922] ppid=15918 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 1473843200 300751 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 1473843200 300751 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 1473843200 300751 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1439300

[startup+25.5073 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 15925
/proc/meminfo: memFree=28366808/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=2326084 CPUtime=25.49 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 509892 0 0 0 2480 69 0 0 20 0 4 0 109456888 2381910016 522454 33554432000 4194304 16246674 140735175119680 140735175118776 12457817 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 581521 522454 850 2943 0 578415 0
[pid=15921/tid=15922] ppid=15918 vsize=2326084 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 2381910016 522454 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=2326084 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 2381910016 522454 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=2326084 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 2381910016 522454 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2326084

[startup+51.1004 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 15925
/proc/meminfo: memFree=27984608/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=2703940 CPUtime=51.09 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 604401 0 0 0 5022 87 0 0 20 0 4 0 109456888 2768834560 617985 33554432000 4194304 16246674 140735175119680 140735175101568 5823898 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 675985 617985 892 2943 0 672879 0
[pid=15921/tid=15922] ppid=15918 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 2768834560 617985 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 2768834560 617985 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 2768834560 617985 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2703940

[startup+102.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 15926
/proc/meminfo: memFree=27983644/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=2703940 CPUtime=102.28 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 604401 0 0 0 10141 87 0 0 20 0 4 0 109456888 2768834560 617985 33554432000 4194304 16246674 140735175119680 140735175101568 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 675985 617985 892 2943 0 672879 0
[pid=15921/tid=15922] ppid=15918 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 2768834560 617985 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 2768834560 617985 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 2768834560 617985 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2703940


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

/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 2995326976 673194 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2925124

[startup+1362.3 s]
/proc/loadavg: 2.05 2.09 2.09 3/183 15982
/proc/meminfo: memFree=27743348/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=2940484 CPUtime=1362.04 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 663635 0 0 0 135919 285 0 0 20 0 4 0 109456888 3011055616 677125 33554432000 4194304 16246674 140735175119680 140735175118856 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 735121 677125 893 2943 0 732015 0
[pid=15921/tid=15922] ppid=15918 vsize=2940484 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3011055616 677125 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=2940484 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3011055616 677125 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=2940484 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3011055616 677125 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2940484

[startup+1422.3 s]
/proc/loadavg: 2.07 2.09 2.08 3/183 15983
/proc/meminfo: memFree=27711856/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=2972228 CPUtime=1422.03 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 671580 0 0 0 141868 335 0 0 20 0 4 0 109456888 3043561472 685061 33554432000 4194304 16246674 140735175119680 140735175118856 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 743057 685061 893 2943 0 739951 0
[pid=15921/tid=15922] ppid=15918 vsize=2972228 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3043561472 685061 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=2972228 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3043561472 685061 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=2972228 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3043561472 685061 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2972228

[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 15984
/proc/meminfo: memFree=27556672/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=3031620 CPUtime=1482.01 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 686415 0 0 0 147861 340 0 0 20 0 4 0 109456888 3104378880 699888 33554432000 4194304 16246674 140735175119680 140735175101568 5662867 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 757905 699888 893 2943 0 754799 0
[pid=15921/tid=15922] ppid=15918 vsize=3031620 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3104378880 699888 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=3031620 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3104378880 699888 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=3031620 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3104378880 699888 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 3031620

[startup+1542.3 s]
/proc/loadavg: 2.19 2.11 2.09 3/183 15985
/proc/meminfo: memFree=27533100/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=3055172 CPUtime=1542 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 692352 0 0 0 153821 379 0 0 20 0 4 0 109456888 3128496128 705797 33554432000 4194304 16246674 140735175119680 140735175118856 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 763793 705797 893 2943 0 760687 0
[pid=15921/tid=15922] ppid=15918 vsize=3055172 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3128496128 705797 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=3055172 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3128496128 705797 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=3055172 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3128496128 705797 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 3055172

[startup+1602.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/184 16037
/proc/meminfo: memFree=27602096/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=3095108 CPUtime=1601.97 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 702217 0 0 0 159779 418 0 0 20 0 4 0 109456888 3169390592 715635 33554432000 4194304 16246674 140735175119680 140735175101568 5677888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 773777 715635 893 2943 0 770671 0
[pid=15921/tid=15922] ppid=15918 vsize=3095108 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3169390592 715635 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=3095108 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3169390592 715635 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=3095108 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3169390592 715635 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3095108

[startup+1662.31 s]
/proc/loadavg: 2.21 2.13 2.10 3/183 16039
/proc/meminfo: memFree=27565756/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=3130948 CPUtime=1661.96 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 711160 0 0 0 165768 428 0 0 20 0 4 0 109456888 3206090752 724578 33554432000 4194304 16246674 140735175119680 140735175101568 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 782737 724578 893 2943 0 779631 0
[pid=15921/tid=15922] ppid=15918 vsize=3130948 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3206090752 724578 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=3130948 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3206090752 724578 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=3130948 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3206090752 724578 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3130948

[startup+1722.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 16040
/proc/meminfo: memFree=27555732/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=3140164 CPUtime=1721.95 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 713629 0 0 0 171757 438 0 0 20 0 4 0 109456888 3215527936 727045 33554432000 4194304 16246674 140735175119680 140735175118856 4220850 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 785041 727045 893 2943 0 781935 0
[pid=15921/tid=15922] ppid=15918 vsize=3140164 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3215527936 727045 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=3140164 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3215527936 727045 33554432000 4194304 16246674 140735175119680 140556715924496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=3140164 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3215527936 727045 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 3140164

[startup+1782.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 16041
/proc/meminfo: memFree=27534812/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=3160644 CPUtime=1781.93 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 718762 0 0 0 177747 446 0 0 20 0 4 0 109456888 3236499456 732165 33554432000 4194304 16246674 140735175119680 140735175118856 5675344 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 790161 732165 893 2943 0 787055 0
[pid=15921/tid=15922] ppid=15918 vsize=3160644 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3236499456 732165 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=3160644 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3236499456 732165 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=3160644 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3236499456 732165 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 3160644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 16042
/proc/meminfo: memFree=27520016/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=3176004 CPUtime=1800.01 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 722430 0 0 0 179551 450 0 0 20 0 4 0 109456888 3252228096 735821 33554432000 4194304 16246674 140735175119680 140735175118856 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 794001 735821 893 2943 0 790895 0
[pid=15921/tid=15922] ppid=15918 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3252228096 735821 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3252228096 735821 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3252228096 735821 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3176004

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

[startup+1800.4 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 16042
/proc/meminfo: memFree=27520016/32872528 swapFree=11196/354588
[pid=15921] ppid=15918 vsize=3176004 CPUtime=1800.01 cores=0,2,4,6
/proc/15921/stat : 15921 (toysat) R 15918 15921 12837 0 -1 4202496 722430 0 0 0 179551 450 0 0 20 0 4 0 109456888 3252228096 735821 33554432000 4194304 16246674 140735175119680 140735175118856 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15921/statm: 794001 735821 893 2943 0 790895 0
[pid=15921/tid=15922] ppid=15918 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15922/stat : 15922 (toysat) S 15918 15921 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109456888 3252228096 735821 33554432000 4194304 16246674 140735175119680 140556726414576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15921/tid=15923] ppid=15918 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15923/stat : 15923 (toysat) S 15918 15921 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109456888 3252228096 735821 33554432000 4194304 16246674 140735175119680 140556715924720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15921/tid=15924] ppid=15918 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/15921/task/15924/stat : 15924 (toysat) S 15918 15921 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109456888 3252228096 735821 33554432000 4194304 16246674 140735175119680 140556629961904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3176004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.47
CPU time (s): 1800.1
CPU user time (s): 1795.52
CPU system time (s): 4.5783
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 3176004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.52
system time used= 4.5783
maximum resident set size= 2943284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 722430
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= 295
involuntary context switches= 1829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.16921 second user time and 6.90495 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 06:53:54
IDJOB=4078848
IDBENCH=89654
IDSOLVER=2542
FILE ID=node126/4078848-1465275233
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-116.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078848-1465275233/watcher-4078848-1465275233 -o /tmp/evaluation-result-4078848-1465275233/solver-4078848-1465275233 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078848-1465275233.opb

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

MD5SUM BENCH= f3a33f6abe76a69a8be60a1cc6635095
RANDOM SEED=1552023815

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30457940 kB
Buffers:           32740 kB
Cached:           176404 kB
SwapCached:         2168 kB
Active:          1241144 kB
Inactive:          88184 kB
Active(anon):    1118436 kB
Inactive(anon):     4052 kB
Active(file):     122708 kB
Inactive(file):    84132 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             60432 kB
Writeback:             0 kB
AnonPages:       1473840 kB
Mapped:            10672 kB
Shmem:                 0 kB
Slab:             599104 kB
SReclaimable:      42772 kB
SUnreclaim:       556332 kB
KernelStack:        1448 kB
PageTables:         6928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1616268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 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= 71660 MiB
End job on node126 at 2016-06-07 07:23:55