Trace number 4079337

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.61

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat50_6_9_0_ic.opb
MD5SUM5dafdb536ba017bedf49ae7d6c6eb1e1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22753379
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables125200
Total number of constraints250157
Number of constraints which are clauses120150
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints130000
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 7400
Biggest coefficient in the objective function 127263527
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 37737792482
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 127263527
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 37737792482
Number of bits of the biggest sum of numbers36
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-08T06:05:22+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-4079337-1465358721.opb"]
0.00/0.01	c use --random-gen="3680008194 3595948986 2023588015 1818051948 2586419216 2819480793 307992277 247910551 1402183007 1504543467 3533093785 3059904052 2106532070 1118075066 1772886979 690788354 2971048731 1357274267 2415793554 1276247197 3660709335 162061221 727465534 3118516622 1587795932 3832221339 262118852 810446414 3484124913 583750735 2105887366 3116863747 2722700200 3881727350 3971374526 412102733 3879906926 2238788594 271571952 1987886912 1131372714 39595451 2318530468 2177803132 3006106067 3988893756 3732739921 3545774023 777587636 2650187131 1134531480 4026914536 3968632346 3840344080 2335302326 4027153225 2543604675 607974423 1507687138 4082689188 651998619 241344123 1542282194 1087100660 2019385871 583276978 1061799016 3019903391 3524343587 3886020529 4166856511 4231168548 678902844 2279842214 2088614602 4070977539 1590055747 360974973 985840832 1391977796 3904769516 3648035969 2621968931 3218572626 2047182668 942697058 3372952578 1710866373 2864185009 3447127047 229977525 3215408616 921434433 567207906 2197436110 2773241142 3733370718 2253335556 2104499123 1162451604 1191711630 3148528888 1590294574 3884447065 2687723038 2021078886 2147835919 1929358415 2683857855 3660169804 2873443386 1721934170 2519646215 1666218758 538353921 1220718688 514167870 4185720055 848855958 1288419443 1998115158 52990644 647066747 1795396237 3149525977 3148702210 3938362929 683195293 3696212853 2299648118 2449072483 2996924595 2042604886 3655331254 3941529835 2634983113 1775319974 2888132867 3887963640 4037313866 2411088341 899214923 1909168144 2183833441 1712176787 851043689 3429755782 3965868571 503081463 4070836532 4615467 3269809529 339788219 4011840002 56233035 2256196872 3179387686 63255059 3176167320 1524977426 4108555660 2557243238 2072549092 1175436917 2226296682 2575993340 910446872 868906244 502043541 3049473685 1605898442 1894780626 953764550 1944969980 2936559085 2472412349 1356587187 465030317 295674457 1327908911 2247180571 4227415438 138154083 776087233 1741864323 3398896881 2080950449 2489213170 164024557 624882653 2768898953 244980284 4154401968 2211632213 1396643311 3041026157 3349163051 1839028602 3618710618 907704768 3428413517 1894356487 1309493554 2060651893 1923067834 2685708532 3410919954 3705377023 3669586527 1346400374 1636131518 4009742924 1811917383 2469613655 662338371 1153894615 2970332806 2701187444 1394111959 4104167516 2111551232 2899483530 3719657016 2346860528 1336034707 3753529107 681755438 1551201961 1449851667 2582762506 3293888281 3195563235 1960411821 403163513 2994003396 1401524516 3351537633 2036892758 3357270640 1170962710 679866944 4087773885 3801411629 1519035079 638935474 792545245 1679627118 3531399407 3285933327 3898394541 1737907376 1324349221 902052014 2507809903 1202778484 3863417162 255 362436" option to reproduce the execution
1.99/2.07	c #vars 125200
1.99/2.07	c #constraints 250157
6.89/6.96	c BCD2: Hardening is enabled.
6.89/6.96	c BCD2: BiasedSearch is enabled.
6.89/6.96	c Solving starts ...
6.89/6.96	c ============================[ Search Statistics ]============================
6.89/6.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.89/6.96	c       |         |          |          |    Limit     GC | Var      | Constra 
6.89/6.96	c =============================================================================
6.98/7.06	c  0.0s |       0 |        0 |        0 |   127569      0 |      150 |        0
18.28/18.33	c 11.3s |       0 |      144 |      100 |   127569      0 |      150 |        0
18.38/18.45	c 11.4s |       1 |      144 |      100 |   127569      0 |      150 |        0
20.99/21.04	c 14.0s |       2 |      499 |      250 |   140326      0 |      150 |        0
24.29/24.32	c 17.3s |       2 |      775 |      450 |   154359      0 |      150 |        0
24.68/24.78	c 17.7s |       3 |      814 |      475 |   154359      0 |      150 |        0
26.98/27.09	c 20.0s |       3 |     1056 |      675 |   169795      0 |      150 |        0
28.28/28.39	c 21.3s |       4 |     1196 |      813 |   169795      0 |      150 |        0
30.38/30.45	c 23.4s |       4 |     1602 |      913 |   186775      0 |      150 |        0
32.88/32.94	c 25.9s |       4 |     1807 |     1113 |   186775      0 |      150 |        0
35.48/35.53	c 28.5s |       4 |     2012 |     1313 |   186775      0 |      150 |        0
35.68/35.75	c 28.7s |       5 |     2021 |     1320 |   186775      0 |      150 |        0
38.59/38.63	c 31.6s |       5 |     2413 |     1520 |   205453      0 |      150 |        0
40.98/41.08	c 34.0s |       5 |     2619 |     1620 |   205453      0 |      150 |        0
43.19/43.26	c 36.2s |       5 |     2717 |     1720 |   205453      0 |      150 |        0
47.30/47.40	c 40.3s |       5 |     2836 |     1820 |   205453      0 |      150 |        0
50.79/50.81	c 43.8s |       5 |     2940 |     1920 |   205453      0 |      150 |        0
52.90/52.92	c 45.9s |       5 |     3136 |     2020 |   205453      0 |      150 |        0
58.18/58.23	c 51.2s |       6 |     3247 |     2081 |   225999      0 |      150 |        0
60.78/60.85	c 53.8s |       6 |     3519 |     2281 |   225999      0 |      150 |        0
63.38/63.49	c 56.4s |       6 |     3876 |     2581 |   225999      0 |      150 |        0
66.38/66.47	c 59.4s |       6 |     4203 |     2881 |   225999      0 |      150 |        0
68.48/68.59	c 61.5s |       6 |     4421 |     3081 |   225999      0 |      150 |        0
70.08/70.19	c 63.1s |       7 |     4581 |     3223 |   248599      0 |      150 |        0
72.28/72.38	c 65.3s |       7 |     4885 |     3323 |   248599      0 |      150 |        0
75.48/75.53	c 68.5s |       7 |     5100 |     3523 |   248599      0 |      150 |        0
78.48/78.51	c 71.5s |       7 |     5315 |     3723 |   248599      0 |      150 |        0
81.18/81.29	c 74.2s |       7 |     5522 |     3923 |   248599      0 |      150 |        0
83.98/84.03	c 77.0s |       7 |     5740 |     4123 |   248599      0 |      150 |        0
86.68/86.76	c 79.7s |       7 |     5951 |     4323 |   248599      0 |      150 |        0
89.28/89.36	c 82.3s |       7 |     6197 |     4523 |   248599      0 |      150 |        0
91.88/91.90	c 84.8s |       7 |     6424 |     4723 |   248599      0 |      150 |        0
94.69/94.77	c 87.7s |       7 |     6652 |     4923 |   273459      0 |      150 |        0
94.98/95.01	c 88.0s |       8 |     6657 |     4936 |   273459      0 |      150 |        0
97.68/97.76	c 90.7s |       8 |     6916 |     5136 |   273459      0 |      150 |        0
100.78/100.83	c 93.8s |       8 |     7273 |     5436 |   273459      0 |      150 |        0
103.57/103.64	c 96.6s |       8 |     7486 |     5636 |   273459      0 |      150 |        0
106.57/106.70	c 99.6s |       8 |     7691 |     5836 |   273459      0 |      150 |        0
109.17/109.21	c  102s |       8 |     7908 |     6036 |   273459      0 |      150 |        0
111.27/111.30	c  104s |       8 |     8116 |     6236 |   273459      0 |      150 |        0
113.47/113.55	c  106s |       8 |     8333 |     6436 |   273459      0 |      150 |        0
115.97/116.04	c  108s |       8 |     8558 |     6636 |   273459      0 |      150 |        0
118.37/118.41	c  111s |       8 |     8785 |     6836 |   273459      0 |      150 |        0
120.57/120.67	c  113s |       8 |     9000 |     7036 |   273459      0 |      150 |        0
122.67/122.71	c  115s |       8 |     9225 |     7236 |   273459      0 |      150 |        0
124.77/124.88	c  117s |       8 |     9445 |     7436 |   273459      0 |      150 |        0
125.77/125.86	c  118s |       9 |     9525 |     7506 |   300805      0 |      150 |        0
131.98/132.04	c  124s |       9 |     9998 |     7606 |   300805      0 |      150 |        0
134.57/134.60	c  127s |       9 |    10232 |     7706 |   300805      0 |      150 |        0
137.07/137.12	c  130s |       9 |    10386 |     7806 |   300805      0 |      150 |        0
139.37/139.42	c  132s |       9 |    10691 |     8106 |   300805      0 |      150 |        0
141.47/141.54	c  134s |       9 |    10989 |     8406 |   300805      0 |      150 |        0
143.67/143.74	c  136s |       9 |    11292 |     8706 |   300805      0 |      150 |        0
145.87/145.92	c  138s |       9 |    11595 |     9006 |   300805      0 |      150 |        0
147.97/148.05	c  140s |       9 |    11895 |     9306 |   300805      0 |      150 |        0
150.17/150.24	c  143s |       9 |    12192 |     9606 |   300805      0 |      150 |        0
152.17/152.26	c  145s |       9 |    12424 |     9806 |   300805      0 |      150 |        0
154.17/154.28	c  147s |       9 |    12727 |    10006 |   300805      0 |      150 |        0
156.66/156.77	c  149s |       9 |    12951 |    10206 |   300805      0 |      150 |        0
159.47/159.60	c  152s |       9 |    13310 |    10506 |   300805      0 |      150 |        0
161.56/161.69	c  154s |       9 |    13537 |    10706 |   300805      0 |      150 |        0
163.66/163.71	c  156s |       9 |    13780 |    10906 |   300805      0 |      150 |        0
165.66/165.72	c  158s |       9 |    13988 |    11106 |   300805      0 |      150 |        0
167.66/167.78	c  160s |       9 |    14189 |    11306 |   330886      0 |      150 |        0
168.37/168.43	c  161s |      10 |    14245 |    11361 |   330886      0 |      150 |        0
170.47/170.55	c  163s |      10 |    14396 |    11461 |   330886      0 |      150 |        0
173.06/173.16	c  166s |      10 |    14630 |    11661 |   330886      0 |      150 |        0
175.76/175.84	c  168s |      10 |    14840 |    11861 |   330886      0 |      150 |        0
178.17/178.29	c  171s |      10 |    15048 |    12061 |   330886      0 |      150 |        0
180.56/180.65	c  173s |      10 |    15263 |    12261 |   330886      0 |      150 |        0
182.86/182.96	c  175s |      10 |    15490 |    12461 |   330886      0 |      150 |        0
185.36/185.48	c  178s |      10 |    15717 |    12661 |   330886      0 |      150 |        0
187.56/187.69	c  180s |      10 |    15952 |    12861 |   330886      0 |      150 |        0
190.37/190.42	c  183s |      10 |    16164 |    13061 |   330886      0 |      150 |        0
192.66/192.77	c  185s |      10 |    16380 |    13261 |   330886      0 |      150 |        0
195.26/195.31	c  188s |      10 |    16595 |    13461 |   330886      0 |      150 |        0
197.65/197.79	c  190s |      10 |    16825 |    13661 |   330886      0 |      150 |        0
200.05/200.15	c  193s |      10 |    17036 |    13861 |   330886      0 |      150 |        0
202.65/202.77	c  195s |      10 |    17275 |    14061 |   330886      0 |      150 |        0
205.05/205.11	c  198s |      10 |    17502 |    14261 |   330886      0 |      150 |        0
207.45/207.58	c  200s |      10 |    17717 |    14461 |   330886      0 |      150 |        0
210.16/210.24	c  203s |      10 |    17935 |    14661 |   330886      0 |      150 |        0
212.85/212.97	c  205s |      10 |    18155 |    14861 |   330886      0 |      150 |        0
215.25/215.35	c  208s |      10 |    18370 |    15061 |   330886      0 |      150 |        0
217.65/217.79	c  210s |      10 |    18595 |    15261 |   330886      0 |      150 |        0
220.25/220.36	c  213s |      10 |    18804 |    15461 |   330886      0 |      150 |        0
222.85/222.91	c  215s |      10 |    19022 |    15661 |   330886      0 |      150 |        0
225.25/225.33	c  218s |      10 |    19245 |    15861 |   330886      0 |      150 |        0
227.76/227.85	c  220s |      10 |    19466 |    16061 |   330886      0 |      150 |        0
230.15/230.26	c  223s |      10 |    19682 |    16261 |   330886      0 |      150 |        0
232.75/232.80	c  225s |      10 |    19900 |    16461 |   330886      0 |      150 |        0
234.95/235.02	c  227s |      10 |    20141 |    16661 |   330886      0 |      150 |        0
237.45/237.51	c  230s |      10 |    20359 |    16861 |   330886      0 |      150 |        0
240.05/240.16	c  233s |      10 |    20576 |    17061 |   363975      0 |      150 |        0
241.15/241.26	c  234s |      11 |    20668 |    17144 |   363975      0 |      150 |        0
243.45/243.53	c  236s |      11 |    20851 |    17244 |   363975      0 |      150 |        0
246.36/246.48	c  239s |      11 |    21074 |    17444 |   363975      0 |      150 |        0
249.15/249.28	c  242s |      11 |    21295 |    17644 |   363975      0 |      150 |        0
252.15/252.20	c  245s |      11 |    21501 |    17844 |   363975      0 |      150 |        0
254.85/254.95	c  247s |      11 |    21722 |    18044 |   363975      0 |      150 |        0
257.24/257.35	c  250s |      11 |    21943 |    18244 |   363975      0 |      150 |        0
259.74/259.80	c  252s |      11 |    22187 |    18444 |   363975      0 |      150 |        0
262.25/262.37	c  255s |      11 |    22413 |    18644 |   363975      0 |      150 |        0
265.06/265.12	c  258s |      11 |    22621 |    18844 |   363975      0 |      150 |        0
267.75/267.83	c  260s |      11 |    22827 |    19044 |   363975      0 |      150 |        0
270.15/270.28	c  263s |      11 |    23038 |    19244 |   363975      0 |      150 |        0
272.55/272.61	c  265s |      11 |    23257 |    19444 |   363975      0 |      150 |        0
275.35/275.42	c  268s |      11 |    23464 |    19644 |   363975      0 |      150 |        0
277.85/277.92	c  270s |      11 |    23677 |    19844 |   363975      0 |      150 |        0
280.15/280.23	c  273s |      11 |    23895 |    20044 |   363975      0 |      150 |        0
282.55/282.69	c  275s |      11 |    24130 |    20244 |   363975      0 |      150 |        0
285.05/285.12	c  278s |      11 |    24369 |    20444 |   363975      0 |      150 |        0
287.75/287.87	c  280s |      11 |    24583 |    20644 |   363975      0 |      150 |        0
290.46/290.51	c  283s |      11 |    24819 |    20844 |   363975      0 |      150 |        0
292.66/292.79	c  285s |      11 |    25043 |    21044 |   363975      0 |      150 |        0
295.55/295.67	c  288s |      11 |    25256 |    21244 |   363975      0 |      150 |        0
298.06/298.14	c  291s |      11 |    25475 |    21444 |   363975      0 |      150 |        0
300.65/300.79	c  293s |      11 |    25684 |    21644 |   363975      0 |      150 |        0
303.05/303.15	c  296s |      11 |    25910 |    21844 |   363975      0 |      150 |        0
305.44/305.53	c  298s |      11 |    26123 |    22044 |   363975      0 |      150 |        0
307.96/308.10	c  301s |      11 |    26340 |    22244 |   363975      0 |      150 |        0
310.54/310.61	c  303s |      11 |    26556 |    22444 |   363975      0 |      150 |        0
312.84/312.96	c  305s |      11 |    26769 |    22644 |   363975      0 |      150 |        0
315.34/315.42	c  308s |      11 |    26980 |    22844 |   363975      0 |      150 |        0
317.54/317.67	c  310s |      11 |    27191 |    23044 |   363975      0 |      150 |        0
320.05/320.18	c  313s |      11 |    27401 |    23244 |   363975      0 |      150 |        0
322.44/322.59	c  315s |      11 |    27626 |    23444 |   363975      0 |      150 |        0
324.94/325.00	c  317s |      11 |    27855 |    23644 |   363975      0 |      150 |        0
327.54/327.62	c  320s |      11 |    28062 |    23844 |   363975      0 |      150 |        0
330.14/330.21	c  323s |      11 |    28269 |    24044 |   363975      0 |      150 |        0
332.84/332.98	c  325s |      11 |    28489 |    24244 |   363975      0 |      150 |        0
335.64/335.71	c  328s |      11 |    28713 |    24444 |   363975      0 |      150 |        0
338.24/338.33	c  331s |      11 |    28934 |    24644 |   363975      0 |      150 |        0
340.64/340.72	c  333s |      11 |    29156 |    24844 |   363975      0 |      150 |        0
342.94/343.08	c  336s |      11 |    29384 |    25044 |   363975      0 |      150 |        0
345.45/345.59	c  338s |      11 |    29595 |    25244 |   363975      0 |      150 |        0
347.94/348.04	c  340s |      11 |    29817 |    25444 |   363975      0 |      150 |        0
350.64/350.70	c  343s |      11 |    30051 |    25644 |   363975      0 |      150 |        0
352.34/352.48	c  345s |      12 |    30253 |    25819 |   400373      0 |      150 |        0
354.54/354.68	c  347s |      12 |    30702 |    25919 |   400373      0 |      150 |        0
356.74/356.89	c  349s |      12 |    31005 |    26219 |   400373      0 |      150 |        0
358.94/359.10	c  352s |      12 |    31301 |    26519 |   400373      0 |      150 |        0
361.24/361.30	c  354s |      12 |    31602 |    26819 |   400373      0 |      150 |        0
363.43/363.54	c  356s |      12 |    31904 |    27119 |   400373      0 |      150 |        0
365.63/365.76	c  358s |      12 |    32203 |    27419 |   400373      0 |      150 |        0
367.93/368.05	c  360s |      12 |    32502 |    27719 |   400373      0 |      150 |        0
370.13/370.28	c  363s |      12 |    32803 |    28019 |   400373      0 |      150 |        0
372.43/372.54	c  365s |      12 |    33099 |    28319 |   400373      0 |      150 |        0
374.63/374.76	c  367s |      12 |    33404 |    28619 |   400373      0 |      150 |        0
376.93/377.00	c  369s |      12 |    33705 |    28919 |   400373      0 |      150 |        0
379.13/379.28	c  372s |      12 |    34003 |    29219 |   400373      0 |      150 |        0
381.53/381.68	c  374s |      12 |    34204 |    29419 |   400373      0 |      150 |        0
384.43/384.55	c  377s |      12 |    34502 |    29719 |   400373      0 |      150 |        0
386.43/386.56	c  379s |      12 |    34704 |    29919 |   400373      0 |      150 |        0
391.43/391.60	c  384s |      12 |    40327 |    30119 |   400373      0 |      150 |        0
394.23/394.32	c  387s |      12 |    40734 |    30319 |   400373      0 |      150 |        0
397.23/397.35	c  390s |      12 |    41192 |    30519 |   400373      0 |      150 |        0
399.93/400.07	c  393s |      12 |    41554 |    30819 |   400373      0 |      150 |        0
402.64/402.75	c  395s |      12 |    41865 |    31119 |   400373      0 |      150 |        0
405.03/405.13	c  398s |      12 |    42164 |    31419 |   400373      0 |      150 |        0
407.63/407.76	c  400s |      12 |    42467 |    31719 |   400373      0 |      150 |        0
410.34/410.41	c  403s |      12 |    42776 |    32019 |   400373      0 |      150 |        0
412.83/412.94	c  405s |      12 |    43078 |    32319 |   400373      0 |      150 |        0
415.33/415.48	c  408s |      12 |    43376 |    32619 |   400373      0 |      150 |        0
417.94/418.03	c  410s |      12 |    43679 |    32919 |   400373      0 |      150 |        0
420.53/420.61	c  413s |      12 |    43976 |    33219 |   400373      0 |      150 |        0
423.12/423.26	c  416s |      12 |    44278 |    33519 |   400373      0 |      150 |        0
425.73/425.87	c  418s |      12 |    44578 |    33819 |   400373      0 |      150 |        0
428.32/428.48	c  421s |      12 |    44877 |    34119 |   400373      0 |      150 |        0
430.92/431.07	c  424s |      12 |    45176 |    34419 |   400373      0 |      150 |        0
433.62/433.71	c  426s |      12 |    45477 |    34719 |   400373      0 |      150 |        0
436.32/436.41	c  429s |      12 |    45774 |    35019 |   400373      0 |      150 |        0
439.02/439.16	c  432s |      12 |    46077 |    35319 |   400373      0 |      150 |        0
441.72/441.83	c  434s |      12 |    46377 |    35619 |   400373      0 |      150 |        0
444.62/444.71	c  437s |      12 |    46675 |    35919 |   400373      0 |      150 |        0
447.32/447.46	c  440s |      12 |    46976 |    36219 |   400373      0 |      150 |        0
450.02/450.19	c  443s |      12 |    47274 |    36519 |   400373      0 |      150 |        0
452.82/452.94	c  445s |      12 |    47575 |    36819 |   400373      0 |      150 |        0
455.12/455.25	c  448s |      12 |    47780 |    37019 |   400373      0 |      150 |        0
458.12/458.23	c  451s |      12 |    48077 |    37319 |   400373      0 |      150 |        0
461.02/461.16	c  454s |      12 |    48375 |    37619 |   400373      0 |      150 |        0
463.03/463.18	c  456s |      12 |    48577 |    37819 |   400373      0 |      150 |        0
466.02/466.13	c  459s |      12 |    48875 |    38119 |   400373      0 |      150 |        0
468.02/468.18	c  461s |      12 |    49079 |    38319 |   400373      0 |      150 |        0
470.12/470.23	c  463s |      12 |    49277 |    38519 |   400373      0 |      150 |        0
472.12/472.25	c  465s |      12 |    49478 |    38719 |   440411      0 |      150 |        0
473.42/473.56	c  466s |      13 |    49591 |    38832 |   440411      0 |      150 |        0
476.72/476.88	c  469s |      13 |    49874 |    38932 |   440411      0 |      150 |        0
479.72/479.80	c  472s |      13 |    50091 |    39132 |   440411      0 |      150 |        0
482.92/483.08	c  476s |      13 |    50412 |    39332 |   440411      0 |      150 |        0
485.61/485.71	c  478s |      13 |    50649 |    39532 |   440411      0 |      150 |        0
487.91/488.08	c  481s |      13 |    50888 |    39732 |   440411      0 |      150 |        0
490.11/490.28	c  483s |      13 |    51120 |    39932 |   440411      0 |      150 |        0
492.21/492.39	c  485s |      13 |    51327 |    40132 |   440411      0 |      150 |        0
494.51/494.69	c  487s |      13 |    51532 |    40332 |   440411      0 |      150 |        0
497.61/497.78	c  490s |      13 |    51838 |    40632 |   440411      0 |      150 |        0
499.71/499.89	c  492s |      13 |    52038 |    40832 |   440411      0 |      150 |        0
501.91/502.09	c  495s |      13 |    52241 |    41032 |   440411      0 |      150 |        0
504.21/504.30	c  497s |      13 |    52449 |    41232 |   440411      0 |      150 |        0
506.41/506.54	c  499s |      13 |    52662 |    41432 |   440411      0 |      150 |        0
508.51/508.68	c  501s |      13 |    52870 |    41632 |   440411      0 |      150 |        0
510.81/510.92	c  503s |      13 |    53079 |    41832 |   440411      0 |      150 |        0
513.41/513.53	c  506s |      13 |    53303 |    42032 |   440411      0 |      150 |        0
515.61/515.73	c  508s |      13 |    53514 |    42232 |   440411      0 |      150 |        0
518.81/518.91	c  511s |      13 |    53836 |    42532 |   440411      0 |      150 |        0
521.21/521.37	c  514s |      13 |    54051 |    42732 |   440411      0 |      150 |        0
523.62/523.76	c  516s |      13 |    54267 |    42932 |   440411      0 |      150 |        0
525.91/526.03	c  518s |      13 |    54483 |    43132 |   440411      0 |      150 |        0
528.11/528.27	c  521s |      13 |    54700 |    43332 |   440411      0 |      150 |        0
530.51/530.60	c  523s |      13 |    54925 |    43532 |   440411      0 |      150 |        0
532.81/532.93	c  525s |      13 |    55137 |    43732 |   440411      0 |      150 |        0
535.31/535.41	c  528s |      13 |    55370 |    43932 |   440411      0 |      150 |        0
537.82/537.94	c  530s |      13 |    55588 |    44132 |   440411      0 |      150 |        0
540.21/540.35	c  533s |      13 |    55795 |    44332 |   440411      0 |      150 |        0
542.41/542.58	c  535s |      13 |    55999 |    44532 |   440411      0 |      150 |        0
544.71/544.86	c  537s |      13 |    56217 |    44732 |   440411      0 |      150 |        0
547.00/547.18	c  540s |      13 |    56431 |    44932 |   440411      0 |      150 |        0
549.40/549.51	c  542s |      13 |    56633 |    45132 |   440411      0 |      150 |        0
551.80/551.95	c  544s |      13 |    56851 |    45332 |   440411      0 |      150 |        0
554.20/554.30	c  547s |      13 |    57060 |    45532 |   440411      0 |      150 |        0
556.51/556.61	c  549s |      13 |    57275 |    45732 |   440411      0 |      150 |        0
558.90/559.00	c  551s |      13 |    57491 |    45932 |   440411      0 |      150 |        0
561.30/561.42	c  554s |      13 |    57702 |    46132 |   440411      0 |      150 |        0
563.60/563.71	c  556s |      13 |    57921 |    46332 |   440411      0 |      150 |        0
565.90/566.08	c  559s |      13 |    58142 |    46532 |   440411      0 |      150 |        0
568.30/568.43	c  561s |      13 |    58368 |    46732 |   440411      0 |      150 |        0
570.70/570.84	c  563s |      13 |    58580 |    46932 |   440411      0 |      150 |        0
573.01/573.16	c  566s |      13 |    58792 |    47132 |   440411      0 |      150 |        0
575.40/575.57	c  568s |      13 |    59010 |    47332 |   440411      0 |      150 |        0
577.90/578.02	c  570s |      13 |    59230 |    47532 |   440411      0 |      150 |        0
580.30/580.42	c  573s |      13 |    59447 |    47732 |   440411      0 |      150 |        0
582.70/582.86	c  575s |      13 |    59655 |    47932 |   440411      0 |      150 |        0
585.11/585.23	c  578s |      13 |    59864 |    48132 |   440411      0 |      150 |        0
587.50/587.65	c  580s |      13 |    60090 |    48332 |   440411      0 |      150 |        0
589.90/590.08	c  583s |      13 |    60301 |    48532 |   440411      0 |      150 |        0
592.40/592.51	c  585s |      13 |    60514 |    48732 |   440411      0 |      150 |        0
594.80/594.94	c  587s |      13 |    60737 |    48932 |   440411      0 |      150 |        0
597.10/597.27	c  590s |      13 |    60952 |    49132 |   440411      0 |      150 |        0
599.41/599.52	c  592s |      13 |    61165 |    49332 |   440411      0 |      150 |        0
601.90/602.03	c  594s |      13 |    61380 |    49532 |   440411      0 |      150 |        0
604.40/604.59	c  597s |      13 |    61610 |    49732 |   440411      0 |      150 |        0
606.79/606.97	c  599s |      13 |    61819 |    49932 |   440411      0 |      150 |        0
609.30/609.43	c  602s |      13 |    62053 |    50132 |   440411      0 |      150 |        0
611.69/611.83	c  604s |      13 |    62261 |    50332 |   440411      0 |      150 |        0
614.19/614.34	c  607s |      13 |    62477 |    50532 |   440411      0 |      150 |        0
616.79/616.90	c  609s |      13 |    62705 |    50732 |   440411      0 |      150 |        0
619.20/619.31	c  612s |      13 |    62917 |    50932 |   440411      0 |      150 |        0
621.59/621.78	c  614s |      13 |    63146 |    51132 |   440411      0 |      150 |        0
624.19/624.32	c  617s |      13 |    63367 |    51332 |   440411      0 |      150 |        0
626.59/626.79	c  619s |      13 |    63585 |    51532 |   440411      0 |      150 |        0
629.10/629.30	c  622s |      13 |    63801 |    51732 |   440411      0 |      150 |        0
631.49/631.69	c  624s |      13 |    64008 |    51932 |   440411      0 |      150 |        0
633.99/634.19	c  627s |      13 |    64220 |    52132 |   440411      0 |      150 |        0
636.49/636.61	c  629s |      13 |    64425 |    52332 |   440411      0 |      150 |        0
638.69/638.88	c  631s |      13 |    64640 |    52532 |   440411      0 |      150 |        0
641.20/641.31	c  634s |      13 |    64855 |    52732 |   440411      0 |      150 |        0
643.59/643.75	c  636s |      13 |    65059 |    52932 |   440411      0 |      150 |        0
646.09/646.27	c  639s |      13 |    65275 |    53132 |   440411      0 |      150 |        0
648.69/648.80	c  641s |      13 |    65507 |    53332 |   440411      0 |      150 |        0
651.20/651.36	c  644s |      13 |    65718 |    53532 |   440411      0 |      150 |        0
653.79/653.94	c  646s |      13 |    65943 |    53732 |   440411      0 |      150 |        0
656.29/656.50	c  649s |      13 |    66164 |    53932 |   440411      0 |      150 |        0
658.69/658.87	c  651s |      13 |    66380 |    54132 |   440411      0 |      150 |        0
661.00/661.16	c  654s |      13 |    66601 |    54332 |   440411      0 |      150 |        0
663.39/663.52	c  656s |      13 |    66807 |    54532 |   440411      0 |      150 |        0
665.88/666.06	c  659s |      13 |    67020 |    54732 |   440411      0 |      150 |        0
668.38/668.54	c  661s |      13 |    67238 |    54932 |   440411      0 |      150 |        0
670.89/671.02	c  663s |      13 |    67449 |    55132 |   440411      0 |      150 |        0
673.38/673.57	c  666s |      13 |    67665 |    55332 |   440411      0 |      150 |        0
675.88/676.02	c  668s |      13 |    67875 |    55532 |   440411      0 |      150 |        0
678.38/678.53	c  671s |      13 |    68087 |    55732 |   440411      0 |      150 |        0
680.89/681.01	c  673s |      13 |    68319 |    55932 |   440411      0 |      150 |        0
683.48/683.61	c  676s |      13 |    68538 |    56132 |   440411      0 |      150 |        0
685.98/686.14	c  679s |      13 |    68753 |    56332 |   440411      0 |      150 |        0
688.49/688.68	c  681s |      13 |    68966 |    56532 |   440411      0 |      150 |        0
690.98/691.17	c  684s |      13 |    69169 |    56732 |   440411      0 |      150 |        0
693.48/693.66	c  686s |      13 |    69379 |    56932 |   440411      0 |      150 |        0
696.08/696.24	c  689s |      13 |    69609 |    57132 |   440411      0 |      150 |        0
698.68/698.82	c  691s |      13 |    69828 |    57332 |   440411      0 |      150 |        0
701.18/701.35	c  694s |      13 |    70052 |    57532 |   440411      0 |      150 |        0
703.78/704.00	c  696s |      13 |    70269 |    57732 |   440411      0 |      150 |        0
706.38/706.57	c  699s |      13 |    70480 |    57932 |   440411      0 |      150 |        0
708.88/709.04	c  701s |      13 |    70688 |    58132 |   484453      0 |      150 |        0
711.48/711.61	c  704s |      13 |    70904 |    58332 |   484453      0 |      150 |        0
711.78/711.98	c  704s |      14 |    70925 |    58352 |   484453      0 |      150 |        0
714.78/714.95	c  707s |      14 |    71201 |    58452 |   484453      0 |      150 |        0
717.28/717.46	c  710s |      14 |    71413 |    58652 |   484453      0 |      150 |        0
719.88/720.09	c  713s |      14 |    71627 |    58852 |   484453      0 |      150 |        0
722.38/722.59	c  715s |      14 |    71839 |    59052 |   484453      0 |      150 |        0
724.98/725.16	c  718s |      14 |    72055 |    59252 |   484453      0 |      150 |        0
727.48/727.68	c  720s |      14 |    72278 |    59452 |   484453      0 |      150 |        0
730.07/730.21	c  723s |      14 |    72492 |    59652 |   484453      0 |      150 |        0
732.48/732.68	c  725s |      14 |    72712 |    59852 |   484453      0 |      150 |        0
734.87/735.09	c  728s |      14 |    72920 |    60052 |   484453      0 |      150 |        0
737.37/737.57	c  730s |      14 |    73137 |    60252 |   484453      0 |      150 |        0
739.87/740.01	c  732s |      14 |    73354 |    60452 |   484453      0 |      150 |        0
742.27/742.40	c  735s |      14 |    73564 |    60652 |   484453      0 |      150 |        0
744.77/744.96	c  737s |      14 |    73784 |    60852 |   484453      0 |      150 |        0
747.17/747.38	c  740s |      14 |    74011 |    61052 |   484453      0 |      150 |        0
749.77/749.94	c  742s |      14 |    74236 |    61252 |   484453      0 |      150 |        0
752.28/752.47	c  745s |      14 |    74448 |    61452 |   484453      0 |      150 |        0
754.76/754.96	c  747s |      14 |    74657 |    61652 |   484453      0 |      150 |        0
757.36/757.52	c  750s |      14 |    74870 |    61852 |   484453      0 |      150 |        0
759.76/759.94	c  752s |      14 |    75090 |    62052 |   484453      0 |      150 |        0
762.46/762.63	c  755s |      14 |    75307 |    62252 |   484453      0 |      150 |        0
764.96/765.15	c  758s |      14 |    75520 |    62452 |   484453      0 |      150 |        0
767.36/767.52	c  760s |      14 |    75732 |    62652 |   484453      0 |      150 |        0
769.97/770.13	c  763s |      14 |    75953 |    62852 |   484453      0 |      150 |        0
772.56/772.76	c  765s |      14 |    76173 |    63052 |   484453      0 |      150 |        0
775.55/775.70	c  768s |      14 |    76396 |    63252 |   484453      0 |      150 |        0
778.35/778.50	c  771s |      14 |    76611 |    63452 |   484453      0 |      150 |        0
780.86/781.09	c  774s |      14 |    76825 |    63652 |   484453      0 |      150 |        0
783.75/783.94	c  776s |      14 |    77051 |    63852 |   484453      0 |      150 |        0
786.46/786.69	c  779s |      14 |    77276 |    64052 |   484453      0 |      150 |        0
789.35/789.57	c  782s |      14 |    77507 |    64252 |   484453      0 |      150 |        0
792.55/792.75	c  785s |      14 |    77734 |    64452 |   484453      0 |      150 |        0
795.15/795.37	c  788s |      14 |    77940 |    64652 |   484453      0 |      150 |        0
797.94/798.15	c  791s |      14 |    78184 |    64852 |   484453      0 |      150 |        0
800.84/801.05	c  793s |      14 |    78468 |    65052 |   484453      0 |      150 |        0
803.74/803.93	c  796s |      14 |    78681 |    65252 |   484453      0 |      150 |        0
806.44/806.61	c  799s |      14 |    78899 |    65452 |   484453      0 |      150 |        0
809.14/809.32	c  802s |      14 |    79120 |    65652 |   484453      0 |      150 |        0
811.84/812.04	c  804s |      14 |    79339 |    65852 |   484453      0 |      150 |        0
814.54/814.72	c  807s |      14 |    79541 |    66052 |   484453      0 |      150 |        0
817.24/817.47	c  810s |      14 |    79765 |    66252 |   484453      0 |      150 |        0
820.03/820.21	c  813s |      14 |    79978 |    66452 |   484453      0 |      150 |        0
822.83/823.02	c  815s |      14 |    80186 |    66652 |   484453      0 |      150 |        0
825.53/825.75	c  818s |      14 |    80408 |    66852 |   484453      0 |      150 |        0
828.14/828.35	c  821s |      14 |    80608 |    67052 |   484453      0 |      150 |        0
830.93/831.15	c  824s |      14 |    80827 |    67252 |   484453      0 |      150 |        0
833.82/834.04	c  826s |      14 |    81035 |    67452 |   484453      0 |      150 |        0
836.52/836.71	c  829s |      14 |    81235 |    67652 |   484453      0 |      150 |        0
839.32/839.54	c  832s |      14 |    81462 |    67852 |   484453      0 |      150 |        0
842.02/842.27	c  835s |      14 |    81692 |    68052 |   484453      0 |      150 |        0
844.82/845.05	c  837s |      14 |    81898 |    68252 |   484453      0 |      150 |        0
847.61/847.87	c  840s |      14 |    82119 |    68452 |   484453      0 |      150 |        0
850.41/850.68	c  843s |      14 |    82342 |    68652 |   484453      0 |      150 |        0
853.31/853.58	c  846s |      14 |    82566 |    68852 |   484453      0 |      150 |        0
856.21/856.46	c  849s |      14 |    82785 |    69052 |   484453      0 |      150 |        0
859.31/859.52	c  852s |      14 |    83003 |    69252 |   484453      0 |      150 |        0
862.22/862.45	c  855s |      14 |    83215 |    69452 |   484453      0 |      150 |        0
865.01/865.29	c  858s |      14 |    83435 |    69652 |   484453      0 |      150 |        0
867.82/868.08	c  861s |      14 |    83650 |    69852 |   484453      0 |      150 |        0
870.70/870.92	c  863s |      14 |    83859 |    70052 |   484453      0 |      150 |        0
873.40/873.61	c  866s |      14 |    84068 |    70252 |   484453      0 |      150 |        0
876.20/876.40	c  869s |      14 |    84282 |    70452 |   484453      0 |      150 |        0
878.90/879.14	c  872s |      14 |    84484 |    70652 |   484453      0 |      150 |        0
881.50/881.74	c  874s |      14 |    84696 |    70852 |   484453      0 |      150 |        0
884.20/884.43	c  877s |      14 |    84904 |    71052 |   484453      0 |      150 |        0
886.89/887.16	c  880s |      14 |    85112 |    71252 |   484453      0 |      150 |        0
889.99/890.21	c  883s |      14 |    85357 |    71452 |   484453      0 |      150 |        0
892.79/893.09	c  886s |      14 |    85614 |    71652 |   484453      0 |      150 |        0
895.79/896.00	c  888s |      14 |    85830 |    71852 |   484453      0 |      150 |        0
898.99/899.29	c  892s |      14 |    86088 |    72052 |   484453      0 |      150 |        0
902.19/902.49	c  895s |      14 |    86292 |    72252 |   484453      0 |      150 |        0
905.09/905.36	c  898s |      14 |    86503 |    72452 |   484453      0 |      150 |        0
907.88/908.19	c  901s |      14 |    86719 |    72652 |   484453      0 |      150 |        0
910.88/911.13	c  904s |      14 |    86953 |    72852 |   484453      0 |      150 |        0
913.68/913.92	c  906s |      14 |    87170 |    73052 |   484453      0 |      150 |        0
916.78/917.05	c  909s |      14 |    87382 |    73252 |   484453      0 |      150 |        0
919.58/919.86	c  912s |      14 |    87606 |    73452 |   484453      0 |      150 |        0
922.48/922.77	c  915s |      14 |    87854 |    73652 |   484453      0 |      150 |        0
925.57/925.84	c  918s |      14 |    88071 |    73852 |   484453      0 |      150 |        0
928.47/928.71	c  921s |      14 |    88292 |    74052 |   484453      0 |      150 |        0
931.07/931.39	c  924s |      14 |    88500 |    74252 |   484453      0 |      150 |        0
933.96/934.20	c  927s |      14 |    88698 |    74452 |   484453      0 |      150 |        0
936.86/937.18	c  930s |      14 |    88919 |    74652 |   484453      0 |      150 |        0
939.56/939.88	c  932s |      14 |    89132 |    74852 |   484453      0 |      150 |        0
942.47/942.73	c  935s |      14 |    89348 |    75052 |   484453      0 |      150 |        0
945.25/945.53	c  938s |      14 |    89564 |    75252 |   484453      0 |      150 |        0
948.06/948.37	c  941s |      14 |    89788 |    75452 |   484453      0 |      150 |        0
950.85/951.13	c  944s |      14 |    90015 |    75652 |   484453      0 |      150 |        0
953.65/953.90	c  946s |      14 |    90220 |    75852 |   484453      0 |      150 |        0
956.35/956.63	c  949s |      14 |    90428 |    76052 |   484453      0 |      150 |        0
959.06/959.39	c  952s |      14 |    90633 |    76252 |   484453      0 |      150 |        0
961.94/962.24	c  955s |      14 |    90845 |    76452 |   484453      0 |      150 |        0
964.94/965.20	c  958s |      14 |    91056 |    76652 |   484453      0 |      150 |        0
968.14/968.43	c  961s |      14 |    91273 |    76852 |   484453      0 |      150 |        0
971.24/971.50	c  964s |      14 |    91501 |    77052 |   484453      0 |      150 |        0
974.23/974.55	c  967s |      14 |    91715 |    77252 |   484453      0 |      150 |        0
977.33/977.65	c  970s |      14 |    91936 |    77452 |   484453      0 |      150 |        0
980.53/980.83	c  973s |      14 |    92152 |    77652 |   484453      0 |      150 |        0
983.83/984.13	c  977s |      14 |    92369 |    77852 |   484453      0 |      150 |        0
986.93/987.20	c  980s |      14 |    92583 |    78052 |   484453      0 |      150 |        0
989.84/990.17	c  983s |      14 |    92802 |    78252 |   484453      0 |      150 |        0
992.83/993.14	c  986s |      14 |    93009 |    78452 |   484453      0 |      150 |        0
995.92/996.27	c  989s |      14 |    93224 |    78652 |   484453      0 |      150 |        0
999.02/999.38	c  992s |      14 |    93430 |    78852 |   484453      0 |      150 |        0
1002.22/1002.50	c  995s |      14 |    93639 |    79052 |   484453      0 |      150 |        0
1005.13/1005.47	c  998s |      14 |    93846 |    79252 |   484453      0 |      150 |        0
1008.12/1008.41	c 1001s |      14 |    94048 |    79452 |   484453      0 |      150 |        0
1011.42/1011.72	c 1004s |      14 |    94270 |    79652 |   484453      0 |      150 |        0
1014.61/1014.94	c 1007s |      14 |    94481 |    79852 |   484453      0 |      150 |        0
1017.91/1018.25	c 1011s |      14 |    94693 |    80052 |   484453      0 |      150 |        0
1021.31/1021.67	c 1014s |      14 |    94916 |    80252 |   484453      0 |      150 |        0
1024.61/1024.90	c 1017s |      14 |    95122 |    80452 |   484453      0 |      150 |        0
1027.71/1028.07	c 1021s |      14 |    95329 |    80652 |   484453      0 |      150 |        0
1031.01/1031.39	c 1024s |      14 |    95541 |    80852 |   484453      0 |      150 |        0
1034.40/1034.74	c 1027s |      14 |    95759 |    81052 |   484453      0 |      150 |        0
1037.70/1038.06	c 1031s |      14 |    95975 |    81252 |   484453      0 |      150 |        0
1040.80/1041.11	c 1034s |      14 |    96183 |    81452 |   484453      0 |      150 |        0
1044.10/1044.48	c 1037s |      14 |    96392 |    81652 |   484453      0 |      150 |        0
1047.40/1047.71	c 1040s |      14 |    96601 |    81852 |   484453      0 |      150 |        0
1050.50/1050.87	c 1043s |      14 |    96815 |    82052 |   484453      0 |      150 |        0
1053.60/1053.91	c 1046s |      14 |    97018 |    82252 |   484453      0 |      150 |        0
1056.80/1057.16	c 1050s |      14 |    97224 |    82452 |   484453      0 |      150 |        0
1059.99/1060.34	c 1053s |      14 |    97426 |    82652 |   484453      0 |      150 |        0
1063.19/1063.55	c 1056s |      14 |    97644 |    82852 |   484453      0 |      150 |        0
1066.38/1066.78	c 1059s |      14 |    97854 |    83052 |   484453      0 |      150 |        0
1069.68/1070.09	c 1063s |      14 |    98062 |    83252 |   484453      0 |      150 |        0
1072.98/1073.39	c 1066s |      14 |    98269 |    83452 |   484453      0 |      150 |        0
1076.28/1076.69	c 1069s |      14 |    98492 |    83652 |   484453      0 |      150 |        0
1079.68/1080.03	c 1072s |      14 |    98707 |    83852 |   484453      0 |      150 |        0
1083.08/1083.43	c 1076s |      14 |    98911 |    84052 |   484453      0 |      150 |        0
1086.27/1086.64	c 1079s |      14 |    99117 |    84252 |   484453      0 |      150 |        0
1089.88/1090.27	c 1083s |      14 |    99333 |    84452 |   484453      0 |      150 |        0
1093.37/1093.74	c 1086s |      14 |    99541 |    84652 |   484453      0 |      150 |        0
1096.87/1097.21	c 1090s |      14 |    99749 |    84852 |   484453      0 |      150 |        0
1099.87/1100.28	c 1093s |      14 |    99944 |    85052 |   484453      0 |      150 |        0
1103.37/1103.75	c 1096s |      14 |   100168 |    85252 |   484453      0 |      150 |        0
1106.77/1107.19	c 1100s |      14 |   100388 |    85452 |   484453      0 |      150 |        0
1109.87/1110.27	c 1103s |      14 |   100586 |    85652 |   484453      0 |      150 |        0
1113.27/1113.61	c 1106s |      14 |   100798 |    85852 |   484453      0 |      150 |        0
1116.66/1117.02	c 1109s |      14 |   101006 |    86052 |   484453      0 |      150 |        0
1119.86/1120.28	c 1113s |      14 |   101209 |    86252 |   484453      0 |      150 |        0
1122.96/1123.31	c 1116s |      14 |   101404 |    86452 |   484453      0 |      150 |        0
1125.95/1126.31	c 1119s |      14 |   101606 |    86652 |   484453      0 |      150 |        0
1126.04/1130.07	c 1123s |      14 |   101826 |    86852 |   484453      0 |      150 |        0
1126.04/1133.60	c 1126s |      14 |   102030 |    87052 |   532899      0 |      150 |        0
1126.04/1137.01	c 1129s |      14 |   102262 |    87252 |   532899      0 |      150 |        0
1126.04/1140.41	c 1133s |      14 |   102498 |    87452 |   532899      0 |      150 |        0
1126.04/1143.59	c 1136s |      15 |   102692 |    87632 |   532899      0 |      150 |        0
1126.04/1147.64	c 1140s |      15 |   102966 |    87732 |   532899      0 |      150 |        0
1148.56/1149.94	c 1142s |      15 |   103076 |    87832 |   532899      0 |      150 |        0
1150.86/1152.75	c 1145s |      15 |   103286 |    88032 |   532899      0 |      150 |        0
1150.86/1155.70	c 1148s |      15 |   103497 |    88232 |   532899      0 |      150 |        0
1150.86/1158.57	c 1151s |      15 |   103728 |    88432 |   532899      0 |      150 |        0
1150.86/1161.37	c 1154s |      15 |   103950 |    88632 |   532899      0 |      150 |        0
1150.86/1164.42	c 1157s |      15 |   104168 |    88832 |   532899      0 |      150 |        0
1150.86/1167.35	c 1160s |      15 |   104421 |    89032 |   532899      0 |      150 |        0
1150.86/1170.45	c 1163s |      15 |   104629 |    89232 |   532899      0 |      150 |        0
1150.86/1173.61	c 1166s |      15 |   104839 |    89432 |   532899      0 |      150 |        0
1150.86/1176.60	c 1169s |      15 |   105088 |    89632 |   532899      0 |      150 |        0
1150.86/1179.66	c 1172s |      15 |   105304 |    89832 |   532899      0 |      150 |        0
1181.25/1182.34	c 1175s |      15 |   105501 |    90032 |   532899      0 |      150 |        0
1181.25/1185.68	c 1178s |      15 |   105719 |    90232 |   532899      0 |      150 |        0
1181.25/1188.66	c 1181s |      15 |   105934 |    90432 |   532899      0 |      150 |        0
1181.25/1191.59	c 1184s |      15 |   106136 |    90632 |   532899      0 |      150 |        0
1181.25/1194.48	c 1187s |      15 |   106351 |    90832 |   532899      0 |      150 |        0
1181.25/1197.41	c 1190s |      15 |   106557 |    91032 |   532899      0 |      150 |        0
1181.25/1200.66	c 1193s |      15 |   106771 |    91232 |   532899      0 |      150 |        0
1181.25/1203.71	c 1196s |      15 |   106983 |    91432 |   532899      0 |      150 |        0
1181.25/1206.97	c 1199s |      15 |   107212 |    91632 |   532899      0 |      150 |        0
1181.25/1210.09	c 1203s |      15 |   107426 |    91832 |   532899      0 |      150 |        0
1181.25/1213.31	c 1206s |      15 |   107677 |    92032 |   532899      0 |      150 |        0
1181.25/1216.18	c 1209s |      15 |   107904 |    92232 |   532899      0 |      150 |        0
1218.34/1219.21	c 1212s |      15 |   108116 |    92432 |   532899      0 |      150 |        0
1220.33/1222.52	c 1215s |      15 |   108346 |    92632 |   532899      0 |      150 |        0
1222.24/1225.57	c 1218s |      15 |   108570 |    92832 |   532899      0 |      150 |        0
1227.44/1228.71	c 1221s |      15 |   108808 |    93032 |   532899      0 |      150 |        0
1228.35/1232.14	c 1225s |      15 |   109032 |    93232 |   532899      0 |      150 |        0
1228.35/1235.24	c 1228s |      15 |   109244 |    93432 |   532899      0 |      150 |        0
1235.88/1238.24	c 1231s |      15 |   109447 |    93632 |   532899      0 |      150 |        0
1239.87/1241.44	c 1234s |      15 |   109669 |    93832 |   532899      0 |      150 |        0
1241.63/1244.55	c 1237s |      15 |   109880 |    94032 |   532899      0 |      150 |        0
1246.52/1247.83	c 1240s |      15 |   110083 |    94232 |   532899      0 |      150 |        0
1248.44/1250.94	c 1243s |      15 |   110295 |    94432 |   532899      0 |      150 |        0
1248.44/1254.02	c 1246s |      15 |   110493 |    94632 |   532899      0 |      150 |        0
1248.44/1257.55	c 1250s |      15 |   110706 |    94832 |   532899      0 |      150 |        0
1260.04/1260.74	c 1253s |      15 |   110913 |    95032 |   532899      0 |      150 |        0
1263.63/1264.06	c 1257s |      15 |   111124 |    95232 |   532899      0 |      150 |        0
1263.63/1267.40	c 1260s |      15 |   111342 |    95432 |   532899      0 |      150 |        0
1263.63/1270.49	c 1263s |      15 |   111555 |    95632 |   532899      0 |      150 |        0
1272.19/1273.46	c 1266s |      15 |   111763 |    95832 |   532899      0 |      150 |        0
1274.14/1276.55	c 1269s |      15 |   111974 |    96032 |   532899      0 |      150 |        0
1274.14/1279.46	c 1272s |      15 |   112179 |    96232 |   532899      0 |      150 |        0
1274.14/1282.43	c 1275s |      15 |   112386 |    96432 |   532899      0 |      150 |        0
1274.14/1285.68	c 1278s |      15 |   112615 |    96632 |   532899      0 |      150 |        0
1274.14/1288.87	c 1281s |      15 |   112839 |    96832 |   532899      0 |      150 |        0
1274.14/1292.07	c 1285s |      15 |   113067 |    97032 |   532899      0 |      150 |        0
1274.14/1295.51	c 1288s |      15 |   113285 |    97232 |   532899      0 |      150 |        0
1274.14/1298.58	c 1291s |      15 |   113511 |    97432 |   532899      0 |      150 |        0
1301.50/1301.91	c 1294s |      15 |   113718 |    97632 |   532899      0 |      150 |        0
1303.29/1305.26	c 1298s |      15 |   113944 |    97832 |   532899      0 |      150 |        0
1306.39/1308.64	c 1301s |      15 |   114155 |    98032 |   532899      0 |      150 |        0
1309.90/1311.91	c 1304s |      15 |   114384 |    98232 |   532899      0 |      150 |        0
1314.43/1315.04	c 1307s |      15 |   114594 |    98432 |   532899      0 |      150 |        0
1316.02/1318.02	c 1310s |      15 |   114807 |    98632 |   532899      0 |      150 |        0
1319.33/1320.60	c 1313s |      15 |   115006 |    98832 |   532899      0 |      150 |        0
1319.33/1323.51	c 1316s |      15 |   115211 |    99032 |   532899      0 |      150 |        0
1319.33/1326.66	c 1319s |      15 |   115418 |    99232 |   532899      0 |      150 |        0
1326.74/1330.01	c 1322s |      15 |   115643 |    99432 |   532899      0 |      150 |        0
1332.27/1332.89	c 1325s |      15 |   115856 |    99632 |   532899      0 |      150 |        0
1334.90/1336.29	c 1329s |      15 |   116061 |    99832 |   532899      0 |      150 |        0
1335.91/1339.80	c 1332s |      15 |   116263 |   100032 |   532899      0 |      150 |        0
1335.91/1343.03	c 1335s |      15 |   116477 |   100232 |   532899      0 |      150 |        0
1335.91/1346.38	c 1339s |      15 |   116678 |   100432 |   532899      0 |      150 |        0
1335.91/1349.59	c 1342s |      15 |   116884 |   100632 |   532899      0 |      150 |        0
1335.91/1352.78	c 1345s |      15 |   117094 |   100832 |   532899      0 |      150 |        0
1353.10/1356.27	c 1349s |      15 |   117310 |   101032 |   532899      0 |      150 |        0
1356.61/1359.37	c 1352s |      15 |   117518 |   101232 |   532899      0 |      150 |        0
1356.61/1362.79	c 1355s |      15 |   117728 |   101432 |   532899      0 |      150 |        0
1363.18/1365.97	c 1358s |      15 |   117940 |   101632 |   532899      0 |      150 |        0
1363.18/1369.14	c 1362s |      15 |   118166 |   101832 |   532899      0 |      150 |        0
1370.69/1372.44	c 1365s |      15 |   118377 |   102032 |   532899      0 |      150 |        0
1370.69/1375.72	c 1368s |      15 |   118580 |   102232 |   532899      0 |      150 |        0
1378.38/1379.11	c 1372s |      15 |   118798 |   102432 |   532899      0 |      150 |        0
1380.39/1382.43	c 1375s |      15 |   119007 |   102632 |   532899      0 |      150 |        0
1385.01/1385.87	c 1378s |      15 |   119211 |   102832 |   532899      0 |      150 |        0
1386.17/1389.22	c 1382s |      15 |   119431 |   103032 |   532899      0 |      150 |        0
1391.27/1392.39	c 1385s |      15 |   119637 |   103232 |   532899      0 |      150 |        0
1391.27/1395.50	c 1388s |      15 |   119850 |   103432 |   532899      0 |      150 |        0
1391.27/1399.00	c 1391s |      15 |   120069 |   103632 |   532899      0 |      150 |        0
1391.27/1402.19	c 1395s |      15 |   120292 |   103832 |   532899      0 |      150 |        0
1391.27/1405.59	c 1398s |      15 |   120496 |   104032 |   532899      0 |      150 |        0
1407.16/1407.60	c 1400s |      15 |   120606 |   104132 |   532899      0 |      150 |        0
1407.77/1411.03	c 1403s |      15 |   120814 |   104332 |   532899      0 |      150 |        0
1407.77/1414.29	c 1407s |      15 |   121022 |   104532 |   532899      0 |      150 |        0
1407.77/1417.49	c 1410s |      15 |   121229 |   104732 |   532899      0 |      150 |        0
1407.77/1420.84	c 1413s |      15 |   121435 |   104932 |   532899      0 |      150 |        0
1423.77/1424.21	c 1417s |      15 |   121644 |   105132 |   532899      0 |      150 |        0
1427.06/1427.53	c 1420s |      15 |   121861 |   105332 |   532899      0 |      150 |        0
1430.25/1430.76	c 1423s |      15 |   122074 |   105532 |   532899      0 |      150 |        0
1433.66/1434.12	c 1427s |      15 |   122276 |   105732 |   532899      0 |      150 |        0
1436.85/1437.33	c 1430s |      15 |   122495 |   105932 |   532899      0 |      150 |        0
1440.05/1440.57	c 1433s |      15 |   122700 |   106132 |   532899      0 |      150 |        0
1443.24/1443.77	c 1436s |      15 |   122907 |   106332 |   532899      0 |      150 |        0
1446.85/1447.32	c 1440s |      15 |   123114 |   106532 |   532899      0 |      150 |        0
1449.74/1450.26	c 1443s |      15 |   123306 |   106732 |   532899      0 |      150 |        0
1453.24/1453.77	c 1446s |      15 |   123531 |   106932 |   532899      0 |      150 |        0
1456.64/1457.17	c 1450s |      15 |   123732 |   107132 |   532899      0 |      150 |        0
1460.15/1460.61	c 1453s |      15 |   123953 |   107332 |   532899      0 |      150 |        0
1463.45/1463.96	c 1456s |      15 |   124158 |   107532 |   532899      0 |      150 |        0
1467.14/1467.67	c 1460s |      15 |   124371 |   107732 |   532899      0 |      150 |        0
1470.44/1470.98	c 1463s |      15 |   124586 |   107932 |   532899      0 |      150 |        0
1473.74/1474.22	c 1467s |      15 |   124793 |   108132 |   532899      0 |      150 |        0
1475.94/1476.43	c 1469s |      15 |   125232 |   108232 |   532899      0 |      150 |        0
1478.23/1478.79	c 1471s |      15 |   125389 |   108332 |   532899      0 |      150 |        0
1481.73/1482.26	c 1475s |      15 |   125633 |   108532 |   532899      0 |      150 |        0
1484.73/1485.21	c 1478s |      15 |   125865 |   108732 |   532899      0 |      150 |        0
1492.92/1493.47	c 1486s |      15 |   126135 |   108832 |   532899      0 |      150 |        0
1499.73/1500.27	c 1493s |      15 |   126224 |   108932 |   532899      0 |      150 |        0
1503.62/1504.12	c 1497s |      15 |   126995 |   109032 |   532899      0 |      150 |        0
1508.52/1509.09	c 1502s |      15 |   127154 |   109132 |   532899      0 |      150 |        0
1512.61/1513.17	c 1506s |      15 |   127338 |   109232 |   532899      0 |      150 |        0
1520.01/1520.58	c 1513s |      15 |   127567 |   109332 |   532899      0 |      150 |        0
1527.80/1528.32	c 1521s |      15 |   128033 |   109432 |   532899      0 |      150 |        0
1531.20/1531.75	c 1524s |      15 |   128122 |   109532 |   532899      0 |      150 |        0
1536.01/1536.54	c 1529s |      15 |   128224 |   109632 |   532899      0 |      150 |        0
1538.22/1538.73	c 1531s |      15 |   128329 |   109732 |   532899      0 |      150 |        0
1541.61/1542.10	c 1535s |      15 |   128590 |   109932 |   532899      0 |      150 |        0
1546.50/1547.06	c 1540s |      15 |   128900 |   110132 |   532899      0 |      150 |        0
1549.11/1549.67	c 1542s |      15 |   128999 |   110232 |   532899      0 |      150 |        0
1551.70/1552.26	c 1545s |      15 |   129095 |   110332 |   532899      0 |      150 |        0
1553.89/1554.47	c 1547s |      15 |   129199 |   110432 |   532899      0 |      150 |        0
1556.69/1557.21	c 1550s |      15 |   129303 |   110532 |   532899      0 |      150 |        0
1560.89/1561.41	c 1554s |      15 |   129623 |   110732 |   532899      0 |      150 |        0
1564.89/1565.45	c 1558s |      15 |   129727 |   110832 |   532899      0 |      150 |        0
1568.09/1568.61	c 1561s |      15 |   129859 |   110932 |   532899      0 |      150 |        0
1571.49/1572.05	c 1564s |      15 |   129983 |   111032 |   532899      0 |      150 |        0
1573.69/1574.21	c 1567s |      15 |   130100 |   111132 |   532899      0 |      150 |        0
1576.79/1577.38	c 1570s |      15 |   130418 |   111232 |   532899      0 |      150 |        0
1578.98/1579.58	c 1572s |      15 |   130562 |   111332 |   532899      0 |      150 |        0
1581.18/1581.71	c 1574s |      15 |   130661 |   111432 |   532899      0 |      150 |        0
1583.48/1584.02	c 1576s |      15 |   130765 |   111532 |   532899      0 |      150 |        0
1586.08/1586.62	c 1579s |      15 |   130941 |   111632 |   532899      0 |      150 |        0
1589.58/1590.15	c 1583s |      15 |   131108 |   111732 |   532899      0 |      150 |        0
1593.78/1594.31	c 1587s |      15 |   131193 |   111832 |   532899      0 |      150 |        0
1597.59/1598.12	c 1591s |      15 |   131284 |   111932 |   532899      0 |      150 |        0
1601.99/1602.52	c 1595s |      15 |   131393 |   112032 |   532899      0 |      150 |        0
1604.98/1605.52	c 1598s |      15 |   131503 |   112132 |   532899      0 |      150 |        0
1610.69/1611.24	c 1604s |      15 |   131605 |   112232 |   532899      0 |      150 |        0
1614.38/1614.90	c 1607s |      15 |   131710 |   112332 |   532899      0 |      150 |        0
1617.18/1617.79	c 1610s |      15 |   131847 |   112432 |   532899      0 |      150 |        0
1622.17/1622.75	c 1615s |      15 |   132144 |   112532 |   532899      0 |      150 |        0
1627.28/1627.89	c 1620s |      15 |   132274 |   112632 |   532899      0 |      150 |        0
1631.97/1632.57	c 1625s |      15 |   132734 |   112732 |   532899      0 |      150 |        0
1634.57/1635.15	c 1628s |      15 |   132866 |   112832 |   532899      0 |      150 |        0
1637.57/1638.15	c 1631s |      15 |   133125 |   113032 |   532899      0 |      150 |        0
1640.67/1641.25	c 1634s |      15 |   133357 |   113232 |   532899      0 |      150 |        0
1643.78/1644.36	c 1637s |      15 |   133595 |   113432 |   532899      0 |      150 |        0
1646.67/1647.24	c 1640s |      15 |   133823 |   113632 |   532899      0 |      150 |        0
1649.37/1649.90	c 1642s |      15 |   134041 |   113832 |   532899      0 |      150 |        0
1652.58/1653.18	c 1646s |      15 |   134270 |   114032 |   532899      0 |      150 |        0
1655.37/1655.99	c 1648s |      15 |   134476 |   114232 |   532899      0 |      150 |        0
1658.17/1658.75	c 1651s |      15 |   134688 |   114432 |   532899      0 |      150 |        0
1660.87/1661.42	c 1654s |      15 |   134907 |   114632 |   532899      0 |      150 |        0
1663.58/1664.11	c 1657s |      15 |   135117 |   114832 |   532899      0 |      150 |        0
1666.27/1666.88	c 1659s |      15 |   135318 |   115032 |   532899      0 |      150 |        0
1668.87/1669.44	c 1662s |      15 |   135526 |   115232 |   532899      0 |      150 |        0
1671.67/1672.24	c 1665s |      15 |   135735 |   115432 |   532899      0 |      150 |        0
1674.37/1674.97	c 1667s |      15 |   135943 |   115632 |   532899      0 |      150 |        0
1677.17/1677.77	c 1670s |      15 |   136147 |   115832 |   532899      0 |      150 |        0
1680.17/1680.74	c 1673s |      15 |   136352 |   116032 |   532899      0 |      150 |        0
1682.47/1683.03	c 1675s |      15 |   136459 |   116132 |   532899      0 |      150 |        0
1684.97/1685.50	c 1678s |      15 |   136671 |   116332 |   532899      0 |      150 |        0
1687.47/1688.02	c 1680s |      15 |   136883 |   116532 |   532899      0 |      150 |        0
1689.77/1690.37	c 1683s |      15 |   137087 |   116732 |   532899      0 |      150 |        0
1692.26/1692.87	c 1685s |      15 |   137300 |   116932 |   532899      0 |      150 |        0
1694.66/1695.20	c 1688s |      15 |   137500 |   117132 |   532899      0 |      150 |        0
1697.36/1697.93	c 1690s |      15 |   137709 |   117332 |   532899      0 |      150 |        0
1699.56/1700.14	c 1693s |      15 |   137904 |   117532 |   532899      0 |      150 |        0
1702.46/1703.01	c 1695s |      15 |   138128 |   117732 |   532899      0 |      150 |        0
1705.27/1705.87	c 1698s |      15 |   138353 |   117932 |   532899      0 |      150 |        0
1707.85/1708.42	c 1701s |      15 |   138557 |   118132 |   532899      0 |      150 |        0
1710.76/1711.32	c 1704s |      15 |   138766 |   118332 |   532899      0 |      150 |        0
1713.55/1714.17	c 1707s |      15 |   138981 |   118532 |   532899      0 |      150 |        0
1716.05/1716.65	c 1709s |      15 |   139191 |   118732 |   532899      0 |      150 |        0
1718.65/1719.27	c 1712s |      15 |   139408 |   118932 |   532899      0 |      150 |        0
1721.15/1721.77	c 1714s |      15 |   139627 |   119132 |   532899      0 |      150 |        0
1724.06/1724.68	c 1717s |      15 |   139838 |   119332 |   532899      0 |      150 |        0
1726.45/1727.08	c 1720s |      15 |   140033 |   119532 |   532899      0 |      150 |        0
1729.15/1729.74	c 1722s |      15 |   140253 |   119732 |   532899      0 |      150 |        0
1731.85/1732.41	c 1725s |      15 |   140475 |   119932 |   532899      0 |      150 |        0
1734.05/1734.63	c 1727s |      15 |   140671 |   120132 |   532899      0 |      150 |        0
1739.55/1740.12	c 1733s |      15 |   140948 |   120232 |   532899      0 |      150 |        0
1742.25/1742.81	c 1735s |      15 |   141063 |   120332 |   532899      0 |      150 |        0
1746.94/1747.59	c 1740s |      15 |   141154 |   120432 |   532899      0 |      150 |        0
1750.35/1750.92	c 1743s |      15 |   141262 |   120532 |   532899      0 |      150 |        0
1754.44/1755.05	c 1747s |      15 |   141352 |   120632 |   532899      0 |      150 |        0
1757.94/1758.55	c 1751s |      15 |   141457 |   120732 |   532899      0 |      150 |        0
1762.34/1763.00	c 1755s |      15 |   141700 |   120932 |   532899      0 |      150 |        0
1766.14/1766.74	c 1759s |      15 |   141788 |   121032 |   532899      0 |      150 |        0
1769.25/1769.84	c 1762s |      15 |   141901 |   121132 |   532899      0 |      150 |        0
1774.65/1775.23	c 1768s |      15 |   142151 |   121232 |   532899      0 |      150 |        0
1777.64/1778.28	c 1771s |      15 |   142515 |   121332 |   532899      0 |      150 |        0
1780.34/1780.91	c 1773s |      15 |   142632 |   121432 |   532899      0 |      150 |        0
1783.74/1784.34	c 1777s |      15 |   142834 |   121532 |   532899      0 |      150 |        0
1790.44/1791.04	c 1783s |      15 |   142931 |   121632 |   532899      0 |      150 |        0
1796.34/1796.95	c 1789s |      15 |   143037 |   121732 |   532899      0 |      150 |        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-4079337-1465358721/watcher-4079337-1465358721 -o /tmp/evaluation-result-4079337-1465358721/solver-4079337-1465358721 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465358721-25296 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079337-1465358721.opb 

pid=25326
running on 8 cores: 0-3,8-11

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.00 2.00 2.34 3/261 25329
/proc/meminfo: memFree=30777048/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1139132 CPUtime=0 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 4321 0 0 0 0 0 0 0 20 0 4 0 117714208 1166471168 4683 33554432000 4194304 16246674 140733765920000 140733765919424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 285295 4692 441 2943 0 282189 0
[pid=25329/tid=25330] ppid=25326 vsize=1164732 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1192685568 4785 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1169852 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1197928448 4804 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1173948 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1202122752 4821 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.10011 s]
/proc/loadavg: 2.00 2.00 2.34 3/261 25329
/proc/meminfo: memFree=30777048/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1303108 CPUtime=0.09 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 31060 0 0 0 5 4 0 0 20 0 4 0 117714208 1334382592 31359 33554432000 4194304 16246674 140733765920000 140733765919312 12752373 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 325777 31371 801 2943 0 322671 0
[pid=25329/tid=25330] ppid=25326 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1334382592 31381 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1334382592 31393 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1303108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1334382592 31403 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200483 s]
/proc/loadavg: 2.00 2.00 2.34 3/261 25329
/proc/meminfo: memFree=30777048/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1313348 CPUtime=0.19 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 45445 0 0 0 14 5 0 0 20 0 4 0 117714208 1344868352 46255 33554432000 4194304 16246674 140733765920000 140733765919312 13750800 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 328337 46255 801 2943 0 325231 0
[pid=25329/tid=25330] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 46255 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 46255 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 46255 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300479 s]
/proc/loadavg: 2.00 2.00 2.34 3/261 25329
/proc/meminfo: memFree=30777048/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1313348 CPUtime=0.29 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 52694 0 0 0 23 6 0 0 20 0 4 0 117714208 1344868352 53504 33554432000 4194304 16246674 140733765920000 140733765919312 7366306 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 328337 53504 801 2943 0 325231 0
[pid=25329/tid=25330] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 53504 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 53504 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 53504 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700428 s]
/proc/loadavg: 2.00 2.00 2.34 3/261 25329
/proc/meminfo: memFree=30777048/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1313348 CPUtime=0.68 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 65406 0 0 0 61 7 0 0 20 0 4 0 117714208 1344868352 66216 33554432000 4194304 16246674 140733765920000 140733765902992 7375654 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 328337 66216 802 2943 0 325231 0
[pid=25329/tid=25330] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 66216 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 66216 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1344868352 66216 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.34 3/265 25333
/proc/meminfo: memFree=30043856/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1325636 CPUtime=1.49 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 109469 0 0 0 135 14 0 0 20 0 4 0 117714208 1357451264 112323 33554432000 4194304 16246674 140733765920000 140733765902992 4221116 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 331409 112323 802 2943 0 328303 0
[pid=25329/tid=25330] ppid=25326 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1357451264 112323 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1357451264 112323 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1325636 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1357451264 112323 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.34 3/265 25333
/proc/meminfo: memFree=29652264/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1356356 CPUtime=3.09 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 230135 0 0 0 278 31 0 0 20 0 4 0 117714208 1388908544 233501 33554432000 4194304 16246674 140733765920000 140733765901888 13930238 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 339089 233507 843 2943 0 335983 0
[pid=25329/tid=25330] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 233512 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 233517 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 233522 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1356356

[startup+6.3004 s]
/proc/loadavg: 2.08 2.02 2.34 3/265 25333
/proc/meminfo: memFree=28801384/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1356356 CPUtime=6.29 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 277166 0 0 0 591 38 0 0 20 0 4 0 117714208 1388908544 280531 33554432000 4194304 16246674 140733765920000 140733765901888 5876420 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 339089 280531 845 2943 0 335983 0
[pid=25329/tid=25330] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280531 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280531 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280531 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1356356

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.34 3/265 25333
/proc/meminfo: memFree=28801136/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1356356 CPUtime=12.68 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 277216 0 0 0 1230 38 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140733765901888 5661532 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 339089 280581 894 2943 0 335983 0
[pid=25329/tid=25330] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1356356

[startup+25.5005 s]
/proc/loadavg: 2.06 2.02 2.33 3/265 25333
/proc/meminfo: memFree=28801672/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1356356 CPUtime=25.48 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 277216 0 0 0 2510 38 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140733765901888 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 339089 280581 894 2943 0 335983 0
[pid=25329/tid=25330] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1356356

[startup+51.1005 s]
/proc/loadavg: 2.04 2.02 2.32 3/265 25333
/proc/meminfo: memFree=28801840/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1356356 CPUtime=51.09 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 277216 0 0 0 5070 39 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140733765919312 5673980 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 339089 280581 894 2943 0 335983 0
[pid=25329/tid=25330] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1356356

[startup+102.301 s]
/proc/loadavg: 2.01 2.01 2.30 3/265 25335
/proc/meminfo: memFree=28800600/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1356356 CPUtime=102.29 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 277216 0 0 0 10190 39 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140733765901888 5828829 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 339089 280581 894 2943 0 335983 0
[pid=25329/tid=25330] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1356356 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1388908544 280581 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1356356


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

/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1476164

[startup+1363.25 s]
/proc/loadavg: 2.11 2.09 2.10 4/264 25364
/proc/meminfo: memFree=28621136/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1476164 CPUtime=1362.83 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 307516 0 0 0 136238 45 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140733765901888 5712608 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 369041 310534 895 2943 0 365935 0
[pid=25329/tid=25330] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1362.83
Current children cumulated vsize (KiB) 1476164

[startup+1423.25 s]
/proc/loadavg: 2.05 2.07 2.09 3/264 25365
/proc/meminfo: memFree=28621432/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1476164 CPUtime=1422.8 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 307551 0 0 0 142234 46 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140733765901888 5712608 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 369041 310534 895 2943 0 365935 0
[pid=25329/tid=25330] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1422.8
Current children cumulated vsize (KiB) 1476164

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.08 4/266 25370
/proc/meminfo: memFree=28621272/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1476164 CPUtime=1481.83 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 307573 0 0 0 148137 46 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140733765901888 5553764 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 369041 310534 895 2943 0 365935 0
[pid=25329/tid=25330] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1476164 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1511591936 310534 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1476164

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.08 4/265 25371
/proc/meminfo: memFree=28323664/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1774148 CPUtime=1541.81 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 381938 0 0 0 154124 57 0 0 20 0 4 0 117714208 1816727552 384869 33554432000 4194304 16246674 140733765920000 140733765901888 13760208 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 443537 384869 895 2943 0 440431 0
[pid=25329/tid=25330] ppid=25326 vsize=1774148 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1816727552 384869 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1774148 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1816727552 384869 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1774148 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1816727552 384869 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1774148

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.08 4/265 25372
/proc/meminfo: memFree=28220280/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1876548 CPUtime=1601.78 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 407646 0 0 0 160117 61 0 0 20 0 4 0 117714208 1921585152 410556 33554432000 4194304 16246674 140733765920000 140733765919176 12415827 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 469137 410556 895 2943 0 466031 0
[pid=25329/tid=25330] ppid=25326 vsize=1876548 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1921585152 410556 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1876548 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1921585152 410556 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1876548 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1921585152 410556 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1876548

[startup+1662.3 s]
/proc/loadavg: 2.27 2.12 2.10 4/265 25373
/proc/meminfo: memFree=28220200/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1876548 CPUtime=1661.77 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 407646 0 0 0 166116 61 0 0 20 0 4 0 117714208 1921585152 410556 33554432000 4194304 16246674 140733765920000 140733765901888 5600331 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 469137 410556 895 2943 0 466031 0
[pid=25329/tid=25330] ppid=25326 vsize=1876548 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1921585152 410556 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1876548 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1921585152 410556 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1876548 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1921585152 410556 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1876548

[startup+1722.3 s]
/proc/loadavg: 2.20 2.12 2.10 4/265 25374
/proc/meminfo: memFree=28193700/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1903172 CPUtime=1721.76 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 414264 0 0 0 172114 62 0 0 20 0 4 0 117714208 1948848128 417157 33554432000 4194304 16246674 140733765920000 140733765901888 13752941 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 475793 417157 895 2943 0 472687 0
[pid=25329/tid=25330] ppid=25326 vsize=1903172 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1948848128 417157 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1903172 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1948848128 417157 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1903172 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1948848128 417157 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1903172

[startup+1782.3 s]
/proc/loadavg: 2.30 2.16 2.11 4/265 25376
/proc/meminfo: memFree=28153440/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1943108 CPUtime=1781.74 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 424329 0 0 0 178110 64 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140733765901888 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 485777 427218 895 2943 0 482671 0
[pid=25329/tid=25330] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1943108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.15 2.10 3/257 25385
/proc/meminfo: memFree=29297980/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1943108 CPUtime=1800.03 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 424331 0 0 0 179939 64 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140733765901888 5601643 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 485777 427218 895 2943 0 482671 0
[pid=25329/tid=25330] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1943108

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

[startup+1800.6 s]
/proc/loadavg: 2.22 2.15 2.10 3/257 25385
/proc/meminfo: memFree=29297980/32872528 swapFree=9196/9196
[pid=25329] ppid=25326 vsize=1943108 CPUtime=1800.03 cores=0-3,8-11
/proc/25329/stat : 25329 (toysat) R 25326 25329 20050 0 -1 4202496 424331 0 0 0 179939 64 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140733765901888 5601643 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/25329/statm: 485777 427218 895 2943 0 482671 0
[pid=25329/tid=25330] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140117063740656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140117053250800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1943108 CPUtime=0 cores=0-3,8-11
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714208 1989742592 427218 33554432000 4194304 16246674 140733765920000 140116932684976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1943108

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.4
CPU system time (s): 0.648901
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1943108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.648901
maximum resident set size= 1708872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424331
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= 527
involuntary context switches= 1930

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.47971 second user time and 17.7383 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-08 06:05:22
IDJOB=4079337
IDBENCH=92786
IDSOLVER=2542
FILE ID=node132/4079337-1465358721
RUNJOBID= node132-1465358721-25296
PBS_JOBID= 19853401
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_0_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079337-1465358721/watcher-4079337-1465358721 -o /tmp/evaluation-result-4079337-1465358721/solver-4079337-1465358721 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465358721-25296 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079337-1465358721.opb

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

MD5SUM BENCH= 5dafdb536ba017bedf49ae7d6c6eb1e1
RANDOM SEED=1599913016

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30777048 kB
Buffers:          183380 kB
Cached:           901228 kB
SwapCached:         3220 kB
Active:           646008 kB
Inactive:         675800 kB
Active(anon):     236320 kB
Inactive(anon):     3312 kB
Active(file):     409688 kB
Inactive(file):   672488 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094612 kB
Dirty:             46300 kB
Writeback:             0 kB
AnonPages:        240104 kB
Mapped:            10044 kB
Shmem:                 0 kB
Slab:             626584 kB
SReclaimable:      66412 kB
SUnreclaim:       560172 kB
KernelStack:        2104 kB
PageTables:         5816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1234596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71720 MiB
End job on node132 at 2016-06-08 06:35:23