Trace number 4079307

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.54

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_7.opb
MD5SUMb79cf832cc8fb39cc9e05c792def1a32
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4630639
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 95222180678
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 95222180678
Number of bits of the biggest sum of numbers37
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-08T00:19:57+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-4079307-1465337997.opb"]
0.00/0.01	c use --random-gen="1240746058 2511333428 1258433922 3888323785 4116048669 1753047685 1778675951 1838241141 1921515668 4034285574 2577310739 3314791451 372756618 2037826181 589192322 1247678742 1944639013 152613200 3854790419 1742772238 2296043608 3901758022 4030728572 2523970006 1246307783 2665645681 4146020787 3655413319 4133396685 197749031 3649991874 2591410883 357448524 3990369397 4234922102 4096608534 491165247 587960880 3432059267 1093583747 392919969 1495961916 1343975410 3385256975 1356688437 889838048 1447628480 2182563903 1554249742 54393715 3056851991 1984389837 1787879862 777064714 597525718 696034997 469836940 1244856623 411707477 3556578711 2572630784 808618658 330493647 570496890 1721842529 2164486888 2607493758 632728304 1831619165 967840982 1419703454 3275076420 4054348034 42414472 1041966485 1731297388 4038505353 2507942853 451361956 6569684 2976675374 1068937604 3580779266 287612889 1564428392 821282445 2427719286 3598268037 3032175154 4146122587 630022561 3886459219 2989971474 2419237532 1378285761 1221420758 3842053253 624665795 2696593456 968076305 969493977 2050545994 981999879 3462831749 2572756265 3151255977 2217583431 754153916 4110276174 2559451092 925795756 2820104726 548217561 1304372302 3817257465 1635650730 2529980312 1386391860 1306288466 2205402436 1662737667 3732636397 1015448126 3445233455 2115288361 3540162927 2749531638 3342228789 54202951 2750692401 573351741 661825924 3611487334 3669401148 3710688036 1441823186 2296474681 2987290742 60832447 1209724053 1852584405 4248944374 1256000901 2792769760 1450850546 2500509279 950159953 1693075266 2367207224 942463144 1791186807 3373264465 1873343511 118780307 238035946 809443848 2950561152 2556448184 2005742069 582646067 151826142 2241293729 2070397578 1541447206 2261669618 972969859 952224630 2609057545 4291863830 774902893 4282393121 193036184 229817373 3410522469 2298014485 3477045939 1149392660 1034076709 878022082 3679375832 4129218597 971136236 2696467300 2768327920 1220450032 2089743588 271740560 1227831453 3800382279 1275103531 4174458537 2467609047 3012645203 4109377733 3654939615 941732776 897490400 2677788310 2719561445 2910372235 3116601125 2185937838 1725206381 3289879712 2882185078 3917117886 3549953013 725093580 3226204698 818512983 1416117748 2186019578 2548272396 4173275176 3605342016 939107590 760789141 413494705 3874190682 1555099018 1339657663 2541340698 2198721267 2318896942 692494181 1472606180 4000796968 4045865980 1384779488 2975505991 831964065 4166400837 3717623886 1972617113 3849048366 1795727852 2037218505 3609366609 1656443115 2573295459 281616076 2356346322 2903769224 3052241522 2362769190 2361537942 1583787713 1632235459 3532984400 2277841292 1268632031 2388479275 1125662021 878009708 3138208524 1315811975 255 362436" option to reproduce the execution
0.09/0.19	c #vars 9940
0.09/0.19	c #constraints 14846
0.68/0.70	c BCD2: Hardening is enabled.
0.68/0.70	c BCD2: BiasedSearch is enabled.
0.68/0.70	c Solving starts ...
0.68/0.70	c ============================[ Search Statistics ]============================
0.68/0.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.68/0.70	c       |         |          |          |    Limit     GC | Var      | Constra 
0.68/0.70	c =============================================================================
0.68/0.70	c  0.0s |       0 |        0 |        0 |    11482      0 |      140 |        0
0.88/0.98	c  0.3s |       1 |      151 |      100 |    11482      0 |      140 |        0
2.78/2.82	c  2.1s |       2 |     1308 |      250 |    12631      0 |      140 |        0
4.58/4.65	c  3.9s |       3 |     1665 |      475 |    13895      0 |      140 |        0
6.28/6.36	c  5.7s |       4 |     2061 |      813 |    15285      0 |      140 |        0
9.18/9.29	c  8.6s |       4 |     2356 |     1013 |    16814      0 |      140 |        0
12.19/12.29	c 11.6s |       4 |     2583 |     1213 |    16814      0 |      140 |        0
13.38/13.47	c 12.8s |       5 |     2828 |     1320 |    16814      0 |      140 |        0
15.89/15.99	c 15.3s |       5 |     3242 |     1620 |    18496      0 |      140 |        0
18.49/18.58	c 17.9s |       5 |     3561 |     1920 |    18496      0 |      140 |        0
18.99/19.03	c 18.3s |       6 |     3717 |     2081 |    20346      0 |      140 |        0
20.99/21.07	c 20.4s |       6 |     5993 |     2281 |    20346      0 |      140 |        0
23.09/23.16	c 22.5s |       6 |     7038 |     3181 |    20346      0 |      140 |        0
23.20/23.24	c 22.5s |       7 |     7083 |     3223 |    22381      0 |      140 |        0
25.59/25.68	c 25.0s |       7 |     7279 |     3323 |    22381      0 |      140 |        0
28.49/28.51	c 27.8s |       7 |     7558 |     3523 |    22381      0 |      140 |        0
30.99/31.08	c 30.4s |       7 |     7914 |     3723 |    22381      0 |      140 |        0
33.09/33.16	c 32.5s |       7 |     8047 |     3823 |    22381      0 |      140 |        0
36.09/36.18	c 35.5s |       7 |     8289 |     4023 |    22381      0 |      140 |        0
38.89/38.98	c 38.3s |       7 |     8846 |     4323 |    22381      0 |      140 |        0
41.19/41.20	c 40.5s |       7 |     8973 |     4423 |    22381      0 |      140 |        0
45.38/45.44	c 44.7s |       7 |     9262 |     4623 |    22381      0 |      140 |        0
48.98/49.00	c 48.3s |       7 |     9659 |     4823 |    22381      0 |      140 |        0
50.59/50.62	c 49.9s |       8 |     9975 |     4936 |    24620      0 |      140 |        0
52.68/52.73	c 52.0s |       8 |    10812 |     5036 |    24620      0 |      140 |        0
55.78/55.82	c 55.1s |       8 |    10937 |     5136 |    24620      0 |      140 |        0
58.68/58.74	c 58.0s |       8 |    11081 |     5236 |    24620      0 |      140 |        0
61.98/62.01	c 61.3s |       8 |    11253 |     5336 |    24620      0 |      140 |        0
63.98/64.05	c 63.4s |       8 |    11395 |     5436 |    24620      0 |      140 |        0
67.88/67.98	c 67.3s |       8 |    11498 |     5536 |    24620      0 |      140 |        0
70.08/70.13	c 69.4s |       8 |    11599 |     5636 |    24620      0 |      140 |        0
72.18/72.26	c 71.6s |       8 |    11695 |     5736 |    24620      0 |      140 |        0
74.17/74.29	c 73.6s |       8 |    11859 |     5836 |    24620      0 |      140 |        0
76.67/76.74	c 76.0s |       8 |    12226 |     6136 |    24620      0 |      140 |        0
78.78/78.84	c 78.1s |       8 |    12552 |     6336 |    24620      0 |      140 |        0
81.08/81.10	c 80.4s |       8 |    13075 |     6636 |    24620      0 |      140 |        0
83.59/83.64	c 82.9s |       8 |    13481 |     7036 |    24620      0 |      140 |        0
85.79/85.82	c 85.1s |       8 |    13700 |     7236 |    24620      0 |      140 |        0
87.08/87.18	c 86.5s |       9 |    13998 |     7506 |    27083      0 |      140 |        0
89.58/89.61	c 88.9s |       9 |    14290 |     7706 |    27083      0 |      140 |        0
91.88/91.93	c 91.2s |       9 |    14615 |     8006 |    27083      0 |      140 |        0
94.08/94.18	c 93.5s |       9 |    15015 |     8406 |    27083      0 |      140 |        0
96.18/96.26	c 95.6s |       9 |    15416 |     8806 |    27083      0 |      140 |        0
98.28/98.35	c 97.7s |       9 |    15857 |     9206 |    27083      0 |      140 |        0
100.78/100.87	c  100s |       9 |    16242 |     9506 |    27083      0 |      140 |        0
102.98/103.07	c  102s |       9 |    16554 |     9806 |    27083      0 |      140 |        0
105.08/105.16	c  104s |       9 |    16913 |    10106 |    27083      0 |      140 |        0
107.67/107.71	c  107s |       9 |    17285 |    10406 |    27083      0 |      140 |        0
110.17/110.27	c  109s |       9 |    17585 |    10706 |    27083      0 |      140 |        0
112.37/112.40	c  111s |       9 |    18003 |    11106 |    27083      0 |      140 |        0
114.07/114.14	c  113s |      10 |    18293 |    11361 |    29792      0 |      140 |        0
116.07/116.19	c  115s |      10 |    18652 |    11561 |    29792      0 |      140 |        0
118.47/118.55	c  117s |      10 |    18962 |    11861 |    29792      0 |      140 |        0
121.08/121.13	c  120s |      10 |    19403 |    12261 |    29792      0 |      140 |        0
123.47/123.55	c  122s |      10 |    19719 |    12561 |    29792      0 |      140 |        0
125.77/125.81	c  125s |      10 |    20038 |    12861 |    29792      0 |      140 |        0
127.87/127.93	c  127s |      10 |    20344 |    13161 |    29792      0 |      140 |        0
130.37/130.49	c  129s |      10 |    20667 |    13461 |    29792      0 |      140 |        0
132.47/132.51	c  131s |      10 |    20974 |    13761 |    29792      0 |      140 |        0
134.77/134.81	c  134s |      10 |    21429 |    14161 |    29792      0 |      140 |        0
137.17/137.29	c  136s |      10 |    21831 |    14561 |    29792      0 |      140 |        0
139.47/139.51	c  138s |      10 |    22134 |    14861 |    29792      0 |      140 |        0
141.57/141.61	c  140s |      10 |    22538 |    15261 |    29792      0 |      140 |        0
143.97/144.07	c  143s |      10 |    23037 |    15761 |    29792      0 |      140 |        0
146.97/147.09	c  146s |      10 |    23369 |    16061 |    29792      0 |      140 |        0
149.27/149.35	c  148s |      10 |    23669 |    16361 |    29792      0 |      140 |        0
151.77/151.89	c  151s |      10 |    24088 |    16761 |    29792      0 |      140 |        0
154.26/154.37	c  153s |      10 |    24404 |    17061 |    32772      0 |      140 |        0
154.66/154.79	c  154s |      11 |    24483 |    17144 |    32772      0 |      140 |        0
157.06/157.13	c  156s |      11 |    24884 |    17444 |    32772      0 |      140 |        0
159.16/159.27	c  158s |      11 |    25217 |    17744 |    32772      0 |      140 |        0
161.46/161.58	c  160s |      11 |    25549 |    18044 |    32772      0 |      140 |        0
163.67/163.75	c  163s |      11 |    25772 |    18244 |    32772      0 |      140 |        0
166.17/166.25	c  165s |      11 |    26106 |    18544 |    32772      0 |      140 |        0
168.37/168.46	c  167s |      11 |    26423 |    18844 |    32772      0 |      140 |        0
170.87/170.99	c  170s |      11 |    26736 |    19144 |    32772      0 |      140 |        0
173.27/173.35	c  172s |      11 |    27162 |    19544 |    32772      0 |      140 |        0
175.67/175.78	c  175s |      11 |    27483 |    19844 |    32772      0 |      140 |        0
177.77/177.81	c  177s |      11 |    27799 |    20144 |    32772      0 |      140 |        0
179.96/180.05	c  179s |      11 |    28239 |    20544 |    32772      0 |      140 |        0
182.67/182.76	c  182s |      11 |    28555 |    20844 |    32772      0 |      140 |        0
185.06/185.19	c  184s |      11 |    28876 |    21144 |    32772      0 |      140 |        0
187.36/187.43	c  186s |      11 |    29226 |    21444 |    32772      0 |      140 |        0
189.76/189.88	c  189s |      11 |    29531 |    21744 |    32772      0 |      140 |        0
192.66/192.77	c  192s |      11 |    29861 |    22044 |    32772      0 |      140 |        0
195.06/195.10	c  194s |      11 |    30182 |    22344 |    32772      0 |      140 |        0
197.16/197.26	c  196s |      11 |    30493 |    22644 |    32772      0 |      140 |        0
199.76/199.84	c  199s |      11 |    30922 |    23044 |    32772      0 |      140 |        0
202.16/202.21	c  201s |      11 |    31363 |    23444 |    32772      0 |      140 |        0
204.76/204.82	c  204s |      11 |    31905 |    23944 |    32772      0 |      140 |        0
207.26/207.30	c  206s |      11 |    32258 |    24244 |    32772      0 |      140 |        0
209.36/209.43	c  208s |      11 |    32619 |    24544 |    32772      0 |      140 |        0
212.06/212.12	c  211s |      11 |    32952 |    24844 |    32772      0 |      140 |        0
214.06/214.17	c  213s |      11 |    33303 |    25144 |    32772      0 |      140 |        0
216.56/216.62	c  215s |      11 |    33506 |    25344 |    32772      0 |      140 |        0
219.26/219.32	c  218s |      11 |    33935 |    25744 |    36050      0 |      140 |        0
220.46/220.51	c  219s |      12 |    34005 |    25819 |    36050      0 |      140 |        0
222.86/222.93	c  222s |      12 |    34179 |    25919 |    36050      0 |      140 |        0
225.26/225.35	c  224s |      12 |    34500 |    26119 |    36050      0 |      140 |        0
228.86/228.96	c  228s |      12 |    34700 |    26319 |    36050      0 |      140 |        0
232.85/232.90	c  232s |      12 |    35036 |    26519 |    36050      0 |      140 |        0
236.46/236.53	c  235s |      12 |    35156 |    26619 |    36050      0 |      140 |        0
240.46/240.59	c  239s |      12 |    35287 |    26719 |    36050      0 |      140 |        0
245.16/245.22	c  244s |      12 |    35393 |    26819 |    36050      0 |      140 |        0
250.45/250.52	c  249s |      12 |    35474 |    26919 |    36050      0 |      140 |        0
257.65/257.78	c  257s |      12 |    35585 |    27019 |    36050      0 |      140 |        0
268.25/268.37	c  267s |      12 |    35730 |    27119 |    36050      0 |      140 |        0
276.34/276.49	c  275s |      12 |    35907 |    27219 |    36050      0 |      140 |        0
284.24/284.34	c  283s |      12 |    36023 |    27319 |    36050      0 |      140 |        0
294.75/294.89	c  294s |      12 |    36173 |    27419 |    36050      0 |      140 |        0
299.64/299.71	c  299s |      12 |    36265 |    27519 |    36050      0 |      140 |        0
303.15/303.26	c  302s |      12 |    36374 |    27619 |    36050      0 |      140 |        0
306.64/306.72	c  306s |      12 |    36465 |    27719 |    36050      0 |      140 |        0
310.15/310.29	c  309s |      12 |    36575 |    27819 |    36050      0 |      140 |        0
313.05/313.18	c  312s |      12 |    36666 |    27919 |    36050      0 |      140 |        0
315.05/315.18	c  314s |      12 |    36776 |    28019 |    36050      0 |      140 |        0
317.95/318.01	c  317s |      12 |    36994 |    28219 |    36050      0 |      140 |        0
320.34/320.40	c  319s |      12 |    37181 |    28419 |    36050      0 |      140 |        0
322.94/323.06	c  322s |      12 |    37356 |    28519 |    36050      0 |      140 |        0
326.64/326.71	c  326s |      12 |    37443 |    28619 |    36050      0 |      140 |        0
330.84/330.90	c  330s |      12 |    37559 |    28719 |    36050      0 |      140 |        0
336.03/336.11	c  335s |      12 |    37689 |    28819 |    36050      0 |      140 |        0
338.93/339.02	c  338s |      12 |    37999 |    29019 |    36050      0 |      140 |        0
342.24/342.33	c  341s |      12 |    38329 |    29319 |    36050      0 |      140 |        0
346.45/346.58	c  345s |      12 |    38558 |    29519 |    36050      0 |      140 |        0
349.14/349.22	c  348s |      12 |    38777 |    29719 |    36050      0 |      140 |        0
352.74/352.87	c  352s |      12 |    38980 |    29919 |    36050      0 |      140 |        0
355.54/355.68	c  354s |      12 |    39209 |    30119 |    36050      0 |      140 |        0
358.74/358.84	c  358s |      12 |    39434 |    30319 |    36050      0 |      140 |        0
360.84/360.93	c  360s |      12 |    39529 |    30419 |    36050      0 |      140 |        0
363.73/363.82	c  363s |      12 |    39742 |    30619 |    36050      0 |      140 |        0
367.93/368.07	c  367s |      12 |    39933 |    30819 |    36050      0 |      140 |        0
370.03/370.15	c  369s |      12 |    40148 |    31019 |    36050      0 |      140 |        0
372.53/372.60	c  371s |      12 |    40357 |    31219 |    36050      0 |      140 |        0
376.83/376.96	c  376s |      12 |    40561 |    31419 |    36050      0 |      140 |        0
380.04/380.13	c  379s |      12 |    40797 |    31619 |    36050      0 |      140 |        0
383.94/384.07	c  383s |      12 |    41036 |    31819 |    36050      0 |      140 |        0
386.23/386.39	c  385s |      12 |    41157 |    31919 |    36050      0 |      140 |        0
388.54/388.64	c  387s |      12 |    41278 |    32019 |    36050      0 |      140 |        0
391.33/391.46	c  390s |      12 |    41496 |    32219 |    36050      0 |      140 |        0
393.53/393.65	c  392s |      12 |    41622 |    32319 |    36050      0 |      140 |        0
395.94/396.03	c  395s |      12 |    41728 |    32419 |    36050      0 |      140 |        0
398.53/398.69	c  397s |      12 |    41836 |    32519 |    36050      0 |      140 |        0
401.73/401.83	c  401s |      12 |    42156 |    32719 |    36050      0 |      140 |        0
404.63/404.77	c  404s |      12 |    42262 |    32819 |    36050      0 |      140 |        0
406.73/406.83	c  406s |      12 |    42364 |    32919 |    36050      0 |      140 |        0
408.92/409.08	c  408s |      12 |    42478 |    33019 |    36050      0 |      140 |        0
410.93/411.08	c  410s |      12 |    42590 |    33119 |    36050      0 |      140 |        0
414.83/414.98	c  414s |      12 |    42827 |    33319 |    36050      0 |      140 |        0
417.62/417.77	c  417s |      12 |    42946 |    33419 |    36050      0 |      140 |        0
419.82/419.90	c  419s |      12 |    43050 |    33519 |    36050      0 |      140 |        0
424.42/424.59	c  423s |      12 |    43286 |    33719 |    36050      0 |      140 |        0
426.83/426.96	c  426s |      12 |    43395 |    33819 |    36050      0 |      140 |        0
429.72/429.86	c  429s |      12 |    43491 |    33919 |    36050      0 |      140 |        0
432.33/432.45	c  431s |      12 |    43606 |    34019 |    36050      0 |      140 |        0
436.82/436.93	c  436s |      12 |    43820 |    34219 |    36050      0 |      140 |        0
440.82/440.90	c  440s |      12 |    43921 |    34319 |    36050      0 |      140 |        0
444.03/444.12	c  443s |      12 |    44027 |    34419 |    36050      0 |      140 |        0
446.72/446.85	c  446s |      12 |    44153 |    34519 |    36050      0 |      140 |        0
449.72/449.83	c  449s |      12 |    44251 |    34619 |    36050      0 |      140 |        0
455.32/455.42	c  454s |      12 |    44486 |    34819 |    36050      0 |      140 |        0
458.73/458.81	c  458s |      12 |    44584 |    34919 |    36050      0 |      140 |        0
461.62/461.78	c  461s |      12 |    44707 |    35019 |    36050      0 |      140 |        0
465.02/465.15	c  464s |      12 |    44900 |    35219 |    36050      0 |      140 |        0
468.41/468.57	c  467s |      12 |    45026 |    35319 |    36050      0 |      140 |        0
471.52/471.63	c  470s |      12 |    45129 |    35419 |    36050      0 |      140 |        0
474.72/474.82	c  474s |      12 |    45236 |    35519 |    36050      0 |      140 |        0
477.51/477.63	c  476s |      12 |    45340 |    35619 |    36050      0 |      140 |        0
481.52/481.61	c  480s |      12 |    45446 |    35719 |    36050      0 |      140 |        0
485.02/485.18	c  484s |      12 |    45593 |    35819 |    36050      0 |      140 |        0
487.91/488.05	c  487s |      12 |    45704 |    35919 |    36050      0 |      140 |        0
490.42/490.50	c  489s |      12 |    45815 |    36019 |    36050      0 |      140 |        0
492.62/492.76	c  492s |      12 |    45910 |    36119 |    36050      0 |      140 |        0
494.71/494.80	c  494s |      12 |    46033 |    36219 |    36050      0 |      140 |        0
499.42/499.57	c  498s |      12 |    46137 |    36319 |    36050      0 |      140 |        0
503.31/503.45	c  502s |      12 |    46243 |    36419 |    36050      0 |      140 |        0
507.41/507.58	c  506s |      12 |    46349 |    36519 |    36050      0 |      140 |        0
510.21/510.33	c  509s |      12 |    46460 |    36619 |    36050      0 |      140 |        0
512.52/512.60	c  511s |      12 |    46559 |    36719 |    36050      0 |      140 |        0
515.21/515.31	c  514s |      12 |    46764 |    36819 |    36050      0 |      140 |        0
518.92/519.06	c  518s |      12 |    46871 |    36919 |    36050      0 |      140 |        0
523.11/523.25	c  522s |      12 |    46970 |    37019 |    36050      0 |      140 |        0
526.01/526.11	c  525s |      12 |    47089 |    37119 |    36050      0 |      140 |        0
528.51/528.62	c  527s |      12 |    47198 |    37219 |    36050      0 |      140 |        0
532.71/532.84	c  532s |      12 |    47300 |    37319 |    36050      0 |      140 |        0
535.51/535.63	c  534s |      12 |    47463 |    37419 |    36050      0 |      140 |        0
538.10/538.28	c  537s |      12 |    47583 |    37519 |    36050      0 |      140 |        0
540.12/540.29	c  539s |      12 |    47712 |    37619 |    36050      0 |      140 |        0
543.60/543.71	c  543s |      12 |    47803 |    37719 |    36050      0 |      140 |        0
545.71/545.88	c  545s |      12 |    47898 |    37819 |    36050      0 |      140 |        0
548.51/548.62	c  547s |      12 |    48007 |    37919 |    36050      0 |      140 |        0
551.70/551.83	c  551s |      12 |    48117 |    38019 |    36050      0 |      140 |        0
554.51/554.63	c  553s |      12 |    48229 |    38119 |    36050      0 |      140 |        0
557.20/557.35	c  556s |      12 |    48340 |    38219 |    36050      0 |      140 |        0
561.11/561.26	c  560s |      12 |    48493 |    38319 |    36050      0 |      140 |        0
565.20/565.39	c  564s |      12 |    48598 |    38419 |    36050      0 |      140 |        0
569.50/569.60	c  568s |      12 |    48728 |    38519 |    36050      0 |      140 |        0
573.20/573.31	c  572s |      12 |    48827 |    38619 |    39655      0 |      140 |        0
576.20/576.35	c  575s |      12 |    48944 |    38719 |    39655      0 |      140 |        0
580.10/580.22	c  579s |      12 |    49045 |    38819 |    39655      0 |      140 |        0
580.30/580.49	c  579s |      13 |    49062 |    38832 |    39655      0 |      140 |        0
583.50/583.60	c  582s |      13 |    50661 |    38932 |    39655      0 |      140 |        0
585.80/585.93	c  585s |      13 |    50996 |    39232 |    39655      0 |      140 |        0
588.80/588.97	c  588s |      13 |    51347 |    39532 |    39655      0 |      140 |        0
591.20/591.32	c  590s |      13 |    51792 |    39832 |    39655      0 |      140 |        0
593.80/593.91	c  593s |      13 |    52303 |    40132 |    39655      0 |      140 |        0
596.20/596.34	c  595s |      13 |    53050 |    40432 |    39655      0 |      140 |        0
598.30/598.42	c  597s |      13 |    53576 |    40732 |    39655      0 |      140 |        0
600.39/600.54	c  599s |      13 |    53832 |    40932 |    39655      0 |      140 |        0
602.80/602.93	c  602s |      13 |    54050 |    41132 |    39655      0 |      140 |        0
605.00/605.13	c  604s |      13 |    54627 |    41532 |    39655      0 |      140 |        0
607.30/607.49	c  606s |      13 |    55125 |    41932 |    39655      0 |      140 |        0
609.99/610.14	c  609s |      13 |    55628 |    42232 |    39655      0 |      140 |        0
612.39/612.51	c  611s |      13 |    56144 |    42632 |    39655      0 |      140 |        0
615.09/615.26	c  614s |      13 |    56615 |    42932 |    39655      0 |      140 |        0
617.49/617.60	c  616s |      13 |    57088 |    43332 |    39655      0 |      140 |        0
619.69/619.80	c  619s |      13 |    57627 |    43832 |    39655      0 |      140 |        0
622.50/622.67	c  621s |      13 |    58092 |    44232 |    39655      0 |      140 |        0
624.89/625.04	c  624s |      13 |    58756 |    44832 |    39655      0 |      140 |        0
626.99/627.11	c  626s |      13 |    59362 |    45432 |    39655      0 |      140 |        0
628.98/629.18	c  628s |      13 |    59731 |    45732 |    39655      0 |      140 |        0
631.09/631.27	c  630s |      13 |    60068 |    46032 |    39655      0 |      140 |        0
633.59/633.78	c  633s |      13 |    60413 |    46332 |    39655      1 |      140 |        0
635.79/635.97	c  635s |      13 |    60915 |    46732 |    39655      1 |      140 |        0
638.58/638.73	c  638s |      13 |    61349 |    47132 |    39655      1 |      140 |        0
641.28/641.46	c  640s |      13 |    61573 |    47332 |    39655      1 |      140 |        0
643.48/643.65	c  642s |      13 |    61911 |    47632 |    39655      1 |      140 |        0
645.98/646.11	c  645s |      13 |    62556 |    48232 |    39655      1 |      140 |        0
648.08/648.24	c  647s |      13 |    63136 |    48732 |    39655      1 |      140 |        0
650.57/650.76	c  650s |      13 |    63789 |    49132 |    39655      1 |      140 |        0
652.87/653.04	c  652s |      13 |    64277 |    49532 |    39655      1 |      140 |        0
655.17/655.34	c  654s |      13 |    64604 |    49732 |    39655      1 |      140 |        0
657.57/657.73	c  657s |      13 |    64960 |    49932 |    39655      1 |      140 |        0
659.98/660.19	c  659s |      13 |    65354 |    50232 |    39655      1 |      140 |        0
662.67/662.85	c  662s |      13 |    65977 |    50632 |    39655      1 |      140 |        0
664.96/665.11	c  664s |      13 |    66489 |    51032 |    39655      1 |      140 |        0
667.16/667.34	c  666s |      13 |    66818 |    51332 |    39655      1 |      140 |        0
669.86/670.05	c  669s |      13 |    67170 |    51632 |    39655      1 |      140 |        0
672.17/672.37	c  671s |      13 |    67578 |    52032 |    39655      1 |      140 |        0
674.46/674.66	c  673s |      13 |    68125 |    52532 |    39655      1 |      140 |        0
677.56/677.73	c  677s |      13 |    68794 |    52932 |    39655      1 |      140 |        0
680.35/680.56	c  679s |      13 |    69268 |    53232 |    39655      1 |      140 |        0
682.85/683.00	c  682s |      13 |    69776 |    53532 |    39655      1 |      140 |        0
685.55/685.76	c  685s |      13 |    70291 |    53832 |    39655      1 |      140 |        0
688.25/688.40	c  687s |      13 |    70993 |    54132 |    39655      1 |      140 |        0
690.76/690.96	c  690s |      13 |    71700 |    54432 |    39655      1 |      140 |        0
693.46/693.65	c  692s |      13 |    72474 |    54832 |    39655      1 |      140 |        0
695.85/696.07	c  695s |      13 |    72793 |    55132 |    39655      1 |      140 |        0
697.95/698.14	c  697s |      13 |    73109 |    55432 |    39655      1 |      140 |        0
700.44/700.65	c  699s |      13 |    73326 |    55632 |    39655      1 |      140 |        0
702.44/702.66	c  701s |      13 |    73586 |    55832 |    39655      1 |      140 |        0
705.24/705.48	c  704s |      13 |    73934 |    56132 |    39655      1 |      140 |        0
707.94/708.19	c  707s |      13 |    74177 |    56332 |    39655      1 |      140 |        0
710.34/710.59	c  709s |      13 |    74442 |    56532 |    39655      1 |      140 |        0
712.75/712.96	c  712s |      13 |    74702 |    56732 |    39655      1 |      140 |        0
715.54/715.79	c  715s |      13 |    74923 |    56932 |    39655      1 |      140 |        0
718.64/718.88	c  718s |      13 |    75391 |    57232 |    39655      1 |      140 |        0
721.44/721.61	c  720s |      13 |    75653 |    57432 |    39655      1 |      140 |        0
723.83/724.03	c  723s |      13 |    75912 |    57632 |    39655      1 |      140 |        0
726.43/726.65	c  725s |      13 |    76134 |    57832 |    39655      1 |      140 |        0
728.93/729.11	c  728s |      13 |    76390 |    58032 |    43621      1 |      140 |        0
731.63/731.87	c  731s |      13 |    76635 |    58232 |    43621      1 |      140 |        0
733.03/733.21	c  732s |      14 |    76797 |    58352 |    43621      1 |      140 |        0
737.33/737.52	c  736s |      14 |    76969 |    58452 |    43621      1 |      140 |        0
741.13/741.30	c  740s |      14 |    77211 |    58652 |    43621      1 |      140 |        0
744.43/744.66	c  743s |      14 |    77446 |    58852 |    43621      1 |      140 |        0
747.83/748.09	c  747s |      14 |    77688 |    59052 |    43621      1 |      140 |        0
751.32/751.56	c  750s |      14 |    77934 |    59252 |    43621      1 |      140 |        0
755.02/755.24	c  754s |      14 |    78202 |    59452 |    43621      1 |      140 |        0
758.92/759.15	c  758s |      14 |    78461 |    59652 |    43621      1 |      140 |        0
762.71/762.91	c  762s |      14 |    78685 |    59852 |    43621      1 |      140 |        0
766.31/766.59	c  765s |      14 |    78949 |    60052 |    43621      1 |      140 |        0
768.61/768.90	c  768s |      14 |    79077 |    60152 |    43621      1 |      140 |        0
770.81/771.06	c  770s |      14 |    79302 |    60352 |    43621      1 |      140 |        0
773.30/773.58	c  772s |      14 |    79513 |    60552 |    43621      1 |      140 |        0
775.60/775.80	c  775s |      14 |    79618 |    60652 |    43621      1 |      140 |        0
779.60/779.84	c  779s |      14 |    79868 |    60852 |    43621      1 |      140 |        0
784.01/784.28	c  783s |      14 |    80113 |    61052 |    43621      1 |      140 |        0
788.10/788.31	c  787s |      14 |    80333 |    61252 |    43621      1 |      140 |        0
790.60/790.84	c  790s |      14 |    80598 |    61452 |    43621      1 |      140 |        0
793.30/793.55	c  792s |      14 |    80844 |    61652 |    43621      1 |      140 |        0
796.70/796.92	c  796s |      14 |    81087 |    61852 |    43621      1 |      140 |        0
800.49/800.76	c  800s |      14 |    81328 |    62052 |    43621      1 |      140 |        0
802.59/802.82	c  802s |      14 |    81434 |    62152 |    43621      1 |      140 |        0
804.69/804.91	c  804s |      14 |    81540 |    62252 |    43621      1 |      140 |        0
807.09/807.35	c  806s |      14 |    81687 |    62352 |    43621      1 |      140 |        0
810.09/810.37	c  809s |      14 |    81980 |    62552 |    43621      1 |      140 |        0
812.98/813.20	c  812s |      14 |    82222 |    62752 |    43621      1 |      140 |        0
816.58/816.82	c  816s |      14 |    82470 |    62952 |    43621      1 |      140 |        0
820.39/820.65	c  819s |      14 |    82747 |    63152 |    43621      1 |      140 |        0
824.18/824.49	c  823s |      14 |    83047 |    63352 |    43621      1 |      140 |        0
826.99/827.28	c  826s |      14 |    83262 |    63552 |    43621      1 |      140 |        0
829.28/829.57	c  828s |      14 |    83414 |    63652 |    43621      1 |      140 |        0
831.57/831.86	c  831s |      14 |    83536 |    63752 |    43621      1 |      140 |        0
835.17/835.45	c  834s |      14 |    83774 |    63952 |    43621      1 |      140 |        0
838.97/839.21	c  838s |      14 |    84046 |    64152 |    43621      1 |      140 |        0
842.67/842.90	c  842s |      14 |    84268 |    64352 |    43621      1 |      140 |        0
844.77/845.09	c  844s |      14 |    84404 |    64452 |    43621      1 |      140 |        0
847.06/847.34	c  846s |      14 |    84522 |    64552 |    43621      1 |      140 |        0
849.26/849.59	c  848s |      14 |    84749 |    64752 |    43621      1 |      140 |        0
851.56/851.80	c  851s |      14 |    84860 |    64852 |    43621      1 |      140 |        0
855.16/855.48	c  854s |      14 |    85151 |    65052 |    43621      1 |      140 |        0
859.25/859.57	c  858s |      14 |    85413 |    65252 |    43621      1 |      140 |        0
862.95/863.22	c  862s |      14 |    85672 |    65452 |    43621      1 |      140 |        0
865.15/865.40	c  864s |      14 |    85761 |    65552 |    43621      1 |      140 |        0
867.35/867.61	c  866s |      14 |    85882 |    65652 |    43621      1 |      140 |        0
869.44/869.76	c  869s |      14 |    85986 |    65752 |    43621      1 |      140 |        0
872.74/873.06	c  872s |      14 |    86254 |    65952 |    43621      1 |      140 |        0
875.04/875.39	c  874s |      14 |    86362 |    66052 |    43621      1 |      140 |        0
879.14/879.49	c  878s |      14 |    86613 |    66252 |    43621      1 |      140 |        0
882.74/883.09	c  882s |      14 |    86899 |    66452 |    43621      1 |      140 |        0
885.53/885.83	c  885s |      14 |    87297 |    66752 |    43621      1 |      140 |        0
887.54/887.84	c  887s |      14 |    87406 |    66852 |    43621      1 |      140 |        0
891.03/891.33	c  890s |      14 |    87701 |    67052 |    43621      1 |      140 |        0
893.23/893.51	c  892s |      14 |    87816 |    67152 |    43621      1 |      140 |        0
895.43/895.75	c  895s |      14 |    87918 |    67252 |    43621      1 |      140 |        0
897.43/897.77	c  897s |      14 |    88026 |    67352 |    43621      1 |      140 |        0
901.53/901.85	c  901s |      14 |    88238 |    67552 |    43621      1 |      140 |        0
903.63/903.95	c  903s |      14 |    88367 |    67652 |    43621      1 |      140 |        0
905.83/906.12	c  905s |      14 |    88477 |    67752 |    43621      1 |      140 |        0
908.43/908.79	c  908s |      14 |    88777 |    68052 |    43621      1 |      140 |        0
912.12/912.40	c  911s |      14 |    89034 |    68252 |    43621      1 |      140 |        0
914.32/914.60	c  913s |      14 |    89151 |    68352 |    43621      1 |      140 |        0
916.82/917.13	c  916s |      14 |    89250 |    68452 |    43621      1 |      140 |        0
919.11/919.42	c  918s |      14 |    89354 |    68552 |    43621      1 |      140 |        0
923.01/923.30	c  922s |      14 |    89661 |    68752 |    43621      1 |      140 |        0
925.51/925.87	c  925s |      14 |    89775 |    68852 |    43621      1 |      140 |        0
928.01/928.30	c  927s |      14 |    89879 |    68952 |    43621      1 |      140 |        0
930.11/930.40	c  929s |      14 |    89978 |    69052 |    43621      1 |      140 |        0
932.10/932.47	c  931s |      14 |    90097 |    69152 |    43621      1 |      140 |        0
935.81/936.17	c  935s |      14 |    90317 |    69352 |    43621      1 |      140 |        0
939.59/939.94	c  939s |      14 |    90604 |    69552 |    43621      1 |      140 |        0
942.09/942.40	c  941s |      14 |    90829 |    69752 |    43621      1 |      140 |        0
945.80/946.15	c  945s |      14 |    91149 |    70052 |    43621      1 |      140 |        0
949.39/949.74	c  949s |      14 |    91408 |    70252 |    43621      1 |      140 |        0
951.39/951.76	c  951s |      14 |    91529 |    70352 |    43621      1 |      140 |        0
960.09/960.43	c  959s |      14 |    91799 |    70552 |    43621      2 |      140 |        0
962.09/962.48	c  961s |      14 |    91884 |    70652 |    43621      2 |      140 |        0
964.98/965.33	c  964s |      14 |    92272 |    70952 |    43621      2 |      140 |        0
967.98/968.33	c  967s |      14 |    92588 |    71252 |    43621      2 |      140 |        0
971.58/971.97	c  971s |      14 |    92802 |    71452 |    43621      2 |      140 |        0
975.08/975.48	c  974s |      14 |    93031 |    71652 |    43621      2 |      140 |        0
978.87/979.25	c  978s |      14 |    93254 |    71852 |    43621      2 |      140 |        0
981.17/981.56	c  980s |      14 |    93365 |    71952 |    43621      2 |      140 |        0
984.47/984.80	c  984s |      14 |    93591 |    72152 |    43621      2 |      140 |        0
986.57/986.98	c  986s |      14 |    93686 |    72252 |    43621      2 |      140 |        0
990.07/990.48	c  989s |      14 |    94087 |    72452 |    43621      2 |      140 |        0
992.56/992.91	c  992s |      14 |    94308 |    72652 |    43621      2 |      140 |        0
994.96/995.34	c  994s |      14 |    94507 |    72852 |    43621      2 |      140 |        0
998.57/999.00	c  998s |      14 |    94783 |    73052 |    43621      2 |      140 |        0
1000.67/1001.08	c 1000s |      14 |    94901 |    73152 |    43621      2 |      140 |        0
1004.86/1005.22	c 1004s |      14 |    95129 |    73352 |    43621      2 |      140 |        0
1007.16/1007.55	c 1006s |      14 |    95224 |    73452 |    43621      2 |      140 |        0
1009.15/1009.56	c 1008s |      14 |    95528 |    73752 |    43621      2 |      140 |        0
1011.35/1011.71	c 1011s |      14 |    95851 |    74052 |    43621      2 |      140 |        0
1013.86/1014.26	c 1013s |      14 |    96237 |    74452 |    43621      2 |      140 |        0
1016.06/1016.41	c 1015s |      14 |    96453 |    74652 |    43621      2 |      140 |        0
1019.24/1019.67	c 1018s |      14 |    96667 |    74852 |    43621      2 |      140 |        0
1022.44/1022.84	c 1022s |      14 |    96881 |    75052 |    43621      2 |      140 |        0
1025.04/1025.45	c 1024s |      14 |    97112 |    75252 |    43621      2 |      140 |        0
1027.94/1028.36	c 1027s |      14 |    97341 |    75452 |    43621      2 |      140 |        0
1030.94/1031.31	c 1030s |      14 |    97592 |    75652 |    43621      2 |      140 |        0
1033.04/1033.41	c 1032s |      14 |    97691 |    75752 |    43621      2 |      140 |        0
1035.14/1035.51	c 1034s |      14 |    97991 |    76052 |    43621      2 |      140 |        0
1037.14/1037.55	c 1036s |      14 |    98297 |    76352 |    43621      2 |      140 |        0
1040.24/1040.68	c 1039s |      14 |    98508 |    76552 |    43621      2 |      140 |        0
1044.03/1044.48	c 1043s |      14 |    98723 |    76752 |    43621      2 |      140 |        0
1047.23/1047.62	c 1046s |      14 |    98924 |    76952 |    43621      2 |      140 |        0
1049.53/1049.95	c 1049s |      14 |    99355 |    77352 |    43621      2 |      140 |        0
1052.44/1052.86	c 1052s |      14 |    99714 |    77652 |    43621      2 |      140 |        0
1055.83/1056.21	c 1055s |      14 |    99950 |    77852 |    43621      2 |      140 |        0
1057.93/1058.33	c 1057s |      14 |   100060 |    77952 |    43621      2 |      140 |        0
1060.02/1060.47	c 1059s |      14 |   100159 |    78052 |    43621      2 |      140 |        0
1063.22/1063.63	c 1062s |      14 |   100411 |    78252 |    43621      2 |      140 |        0
1065.53/1065.98	c 1065s |      14 |   100814 |    78652 |    43621      2 |      140 |        0
1067.72/1068.14	c 1067s |      14 |   101036 |    78852 |    43621      2 |      140 |        0
1070.41/1070.83	c 1070s |      14 |   101234 |    79052 |    43621      2 |      140 |        0
1073.11/1073.53	c 1072s |      14 |   101696 |    79452 |    43621      2 |      140 |        0
1077.31/1077.72	c 1077s |      14 |   101994 |    79752 |    43621      2 |      140 |        0
1080.01/1080.44	c 1079s |      14 |   102111 |    79852 |    43621      2 |      140 |        0
1082.91/1083.34	c 1082s |      14 |   102221 |    79952 |    43621      2 |      140 |        0
1085.61/1086.09	c 1085s |      14 |   102319 |    80052 |    43621      2 |      140 |        0
1088.72/1089.16	c 1088s |      14 |   102417 |    80152 |    43621      2 |      140 |        0
1090.82/1091.23	c 1090s |      14 |   102536 |    80252 |    43621      2 |      140 |        0
1094.60/1095.01	c 1094s |      14 |   102823 |    80452 |    43621      2 |      140 |        0
1097.11/1097.57	c 1096s |      14 |   102939 |    80552 |    43621      2 |      140 |        0
1101.31/1101.75	c 1101s |      14 |   103159 |    80752 |    43621      2 |      140 |        0
1103.50/1103.95	c 1103s |      14 |   103260 |    80852 |    43621      2 |      140 |        0
1106.60/1107.08	c 1106s |      14 |   103370 |    80952 |    43621      2 |      140 |        0
1109.91/1110.33	c 1109s |      14 |   103463 |    81052 |    43621      2 |      140 |        0
1112.01/1112.44	c 1111s |      14 |   103569 |    81152 |    43621      2 |      140 |        0
1114.81/1115.25	c 1114s |      14 |   103785 |    81352 |    43621      2 |      140 |        0
1117.11/1117.52	c 1116s |      14 |   104013 |    81552 |    43621      2 |      140 |        0
1119.30/1119.72	c 1119s |      14 |   104228 |    81752 |    43621      2 |      140 |        0
1121.62/1122.01	c 1121s |      14 |   104514 |    81952 |    43621      2 |      140 |        0
1124.50/1124.97	c 1124s |      14 |   104621 |    82052 |    43621      2 |      140 |        0
1126.60/1127.07	c 1126s |      14 |   104721 |    82152 |    43621      2 |      140 |        0
1129.91/1130.38	c 1129s |      14 |   104949 |    82352 |    43621      2 |      140 |        0
1133.50/1133.93	c 1133s |      14 |   105180 |    82552 |    43621      2 |      140 |        0
1135.91/1136.38	c 1135s |      14 |   105286 |    82652 |    43621      2 |      140 |        0
1138.90/1139.31	c 1138s |      14 |   105388 |    82752 |    43621      2 |      140 |        0
1141.80/1142.27	c 1141s |      14 |   105599 |    82952 |    43621      2 |      140 |        0
1144.10/1144.50	c 1143s |      14 |   106022 |    83252 |    43621      2 |      140 |        0
1146.80/1147.23	c 1146s |      14 |   106377 |    83552 |    43621      2 |      140 |        0
1149.00/1149.47	c 1148s |      14 |   106591 |    83752 |    43621      2 |      140 |        0
1151.90/1152.38	c 1151s |      14 |   106960 |    84052 |    43621      2 |      140 |        0
1154.10/1154.59	c 1153s |      14 |   107217 |    84252 |    43621      2 |      140 |        0
1156.50/1156.99	c 1156s |      14 |   107487 |    84452 |    43621      2 |      140 |        0
1158.60/1159.02	c 1158s |      14 |   107749 |    84652 |    43621      2 |      140 |        0
1161.21/1161.65	c 1160s |      14 |   108290 |    84952 |    43621      2 |      140 |        0
1164.10/1164.58	c 1163s |      14 |   108605 |    85152 |    43621      2 |      140 |        0
1167.59/1168.02	c 1167s |      14 |   108707 |    85252 |    43621      2 |      140 |        0
1171.00/1171.43	c 1170s |      14 |   108820 |    85352 |    43621      2 |      140 |        0
1174.59/1175.07	c 1174s |      14 |   108913 |    85452 |    43621      2 |      140 |        0
1177.19/1177.60	c 1176s |      14 |   109042 |    85552 |    43621      2 |      140 |        0
1179.90/1180.39	c 1179s |      14 |   109155 |    85652 |    43621      2 |      140 |        0
1183.39/1183.81	c 1183s |      14 |   109263 |    85752 |    43621      2 |      140 |        0
1185.50/1185.95	c 1185s |      14 |   109375 |    85852 |    43621      2 |      140 |        0
1188.10/1188.54	c 1187s |      14 |   109791 |    86152 |    43621      2 |      140 |        0
1191.01/1191.42	c 1190s |      14 |   110242 |    86452 |    43621      2 |      140 |        0
1193.99/1194.42	c 1193s |      14 |   110519 |    86652 |    43621      2 |      140 |        0
1196.09/1196.50	c 1195s |      14 |   110734 |    86852 |    43621      2 |      140 |        0
1198.10/1198.55	c 1197s |      14 |   110981 |    87052 |    47984      2 |      140 |        0
1200.29/1200.76	c 1200s |      14 |   111236 |    87252 |    47984      2 |      140 |        0
1202.80/1203.22	c 1202s |      14 |   111500 |    87452 |    47984      2 |      140 |        0
1204.59/1205.03	c 1204s |      15 |   111811 |    87632 |    47984      2 |      140 |        0
1208.29/1208.75	c 1208s |      15 |   111979 |    87732 |    47984      2 |      140 |        0
1210.49/1210.93	c 1210s |      15 |   112339 |    88032 |    47984      2 |      140 |        0
1212.69/1213.11	c 1212s |      15 |   112559 |    88232 |    47984      2 |      140 |        0
1215.59/1216.02	c 1215s |      15 |   112788 |    88432 |    47984      2 |      140 |        0
1218.99/1219.46	c 1218s |      15 |   113015 |    88632 |    47984      2 |      140 |        0
1222.59/1223.08	c 1222s |      15 |   113234 |    88832 |    47984      2 |      140 |        0
1224.69/1225.11	c 1224s |      15 |   113348 |    88932 |    47984      2 |      140 |        0
1227.69/1228.19	c 1227s |      15 |   113633 |    89132 |    47984      2 |      140 |        0
1230.49/1230.95	c 1230s |      15 |   113851 |    89332 |    47984      2 |      140 |        0
1233.49/1233.99	c 1233s |      15 |   114198 |    89632 |    47984      2 |      140 |        0
1236.39/1236.83	c 1236s |      15 |   114427 |    89832 |    47984      2 |      140 |        0
1238.98/1239.41	c 1238s |      15 |   114760 |    90132 |    47984      2 |      140 |        0
1241.68/1242.14	c 1241s |      15 |   115004 |    90332 |    47984      2 |      140 |        0
1245.28/1245.70	c 1244s |      15 |   115218 |    90532 |    47984      2 |      140 |        0
1248.68/1249.11	c 1248s |      15 |   115469 |    90732 |    47984      2 |      140 |        0
1250.78/1251.23	c 1250s |      15 |   115707 |    90932 |    47984      2 |      140 |        0
1253.18/1253.68	c 1252s |      15 |   115927 |    91132 |    47984      2 |      140 |        0
1255.38/1255.87	c 1255s |      15 |   116184 |    91332 |    47984      2 |      140 |        0
1258.18/1258.60	c 1257s |      15 |   116536 |    91632 |    47984      2 |      140 |        0
1260.29/1260.73	c 1260s |      15 |   116766 |    91832 |    47984      2 |      140 |        0
1262.39/1262.85	c 1262s |      15 |   117007 |    92032 |    47984      2 |      140 |        0
1264.59/1265.02	c 1264s |      15 |   117286 |    92232 |    47984      2 |      140 |        0
1266.79/1267.23	c 1266s |      15 |   117520 |    92432 |    47984      2 |      140 |        0
1268.99/1269.49	c 1268s |      15 |   117744 |    92632 |    47984      2 |      140 |        0
1271.78/1272.22	c 1271s |      15 |   118113 |    92932 |    47984      2 |      140 |        0
1274.08/1274.52	c 1273s |      15 |   118324 |    93132 |    47984      2 |      140 |        0
1276.88/1277.38	c 1276s |      15 |   118648 |    93432 |    47984      2 |      140 |        0
1279.48/1279.91	c 1279s |      15 |   118998 |    93732 |    47984      2 |      140 |        0
1281.58/1282.03	c 1281s |      15 |   119118 |    93832 |    47984      2 |      140 |        0
1284.68/1285.11	c 1284s |      15 |   119343 |    94032 |    47984      2 |      140 |        0
1287.58/1288.01	c 1287s |      15 |   119586 |    94232 |    47984      2 |      140 |        0
1289.58/1290.07	c 1289s |      15 |   119696 |    94332 |    47984      2 |      140 |        0
1291.67/1292.19	c 1291s |      15 |   120035 |    94632 |    47984      2 |      140 |        0
1294.17/1294.67	c 1293s |      15 |   120344 |    94832 |    47984      2 |      140 |        0
1297.97/1298.44	c 1297s |      15 |   120567 |    95032 |    47984      2 |      140 |        0
1300.27/1300.78	c 1300s |      15 |   120804 |    95232 |    47984      2 |      140 |        0
1303.18/1303.63	c 1302s |      15 |   121154 |    95532 |    47984      2 |      140 |        0
1305.67/1306.15	c 1305s |      15 |   121508 |    95832 |    47984      2 |      140 |        0
1309.07/1309.55	c 1308s |      15 |   121755 |    96032 |    47984      2 |      140 |        0
1312.47/1312.98	c 1312s |      15 |   121992 |    96232 |    47984      2 |      140 |        0
1315.67/1316.11	c 1315s |      15 |   122471 |    96532 |    47984      2 |      140 |        0
1319.17/1319.67	c 1318s |      15 |   122686 |    96732 |    47984      2 |      140 |        0
1322.57/1323.00	c 1322s |      15 |   123046 |    97032 |    47984      2 |      140 |        0
1325.47/1325.91	c 1325s |      15 |   123252 |    97232 |    47984      2 |      140 |        0
1327.57/1328.00	c 1327s |      15 |   123627 |    97532 |    47984      2 |      140 |        0
1331.07/1331.53	c 1330s |      15 |   123840 |    97732 |    47984      2 |      140 |        0
1334.37/1334.88	c 1334s |      15 |   124057 |    97932 |    47984      2 |      140 |        0
1336.57/1337.07	c 1336s |      15 |   124166 |    98032 |    47984      2 |      140 |        0
1338.97/1339.44	c 1338s |      15 |   124424 |    98232 |    47984      2 |      140 |        0
1342.57/1343.05	c 1342s |      15 |   124629 |    98432 |    47984      2 |      140 |        0
1345.17/1345.65	c 1344s |      15 |   125114 |    98832 |    47984      2 |      140 |        0
1347.37/1347.86	c 1347s |      15 |   125365 |    99032 |    47984      2 |      140 |        0
1350.66/1351.16	c 1350s |      15 |   125602 |    99232 |    47984      2 |      140 |        0
1354.07/1354.56	c 1353s |      15 |   125818 |    99432 |    47984      2 |      140 |        0
1356.37/1356.89	c 1356s |      15 |   125915 |    99532 |    47984      2 |      140 |        0
1358.97/1359.41	c 1358s |      15 |   126261 |    99832 |    47984      2 |      140 |        0
1360.97/1361.42	c 1360s |      15 |   126593 |   100132 |    47984      2 |      140 |        0
1363.58/1364.04	c 1363s |      15 |   127027 |   100532 |    47984      2 |      140 |        0
1368.67/1369.18	c 1368s |      15 |   127322 |   100732 |    47984      3 |      140 |        0
1370.86/1371.37	c 1370s |      15 |   127420 |   100832 |    47984      3 |      140 |        0
1374.36/1374.86	c 1374s |      15 |   127643 |   101032 |    47984      3 |      140 |        0
1377.56/1378.06	c 1377s |      15 |   127904 |   101232 |    47984      3 |      140 |        0
1380.66/1381.16	c 1380s |      15 |   128130 |   101432 |    47984      3 |      140 |        0
1384.36/1384.83	c 1384s |      15 |   128418 |   101632 |    47984      3 |      140 |        0
1387.36/1387.87	c 1387s |      15 |   128792 |   101932 |    47984      3 |      140 |        0
1390.07/1390.53	c 1389s |      15 |   129027 |   102132 |    47984      3 |      140 |        0
1392.46/1392.90	c 1392s |      15 |   129476 |   102532 |    47984      3 |      140 |        0
1395.96/1396.48	c 1395s |      15 |   130002 |   102932 |    47984      3 |      140 |        0
1399.26/1399.70	c 1399s |      15 |   130196 |   103132 |    47984      3 |      140 |        0
1402.17/1402.66	c 1401s |      15 |   130429 |   103332 |    47984      3 |      140 |        0
1405.06/1405.57	c 1404s |      15 |   130659 |   103532 |    47984      3 |      140 |        0
1408.77/1409.23	c 1408s |      15 |   130882 |   103732 |    47984      3 |      140 |        0
1412.66/1413.19	c 1412s |      15 |   131090 |   103932 |    47984      3 |      140 |        0
1414.76/1415.22	c 1414s |      15 |   131215 |   104032 |    47984      3 |      140 |        0
1417.96/1418.49	c 1417s |      15 |   131440 |   104232 |    47984      3 |      140 |        0
1420.56/1421.08	c 1420s |      15 |   131763 |   104532 |    47984      3 |      140 |        0
1423.76/1424.24	c 1423s |      15 |   131975 |   104732 |    47984      3 |      140 |        0
1426.66/1427.15	c 1426s |      15 |   132403 |   105132 |    47984      3 |      140 |        0
1430.05/1430.58	c 1429s |      15 |   132628 |   105332 |    47984      3 |      140 |        0
1432.55/1433.00	c 1432s |      15 |   132744 |   105432 |    47984      3 |      140 |        0
1435.76/1436.29	c 1435s |      15 |   132963 |   105632 |    47984      3 |      140 |        0
1439.16/1439.61	c 1438s |      15 |   133194 |   105832 |    47984      3 |      140 |        0
1442.96/1443.40	c 1442s |      15 |   133405 |   106032 |    47984      3 |      140 |        0
1446.75/1447.21	c 1446s |      15 |   133631 |   106232 |    47984      3 |      140 |        0
1449.65/1450.17	c 1449s |      15 |   133864 |   106432 |    47984      3 |      140 |        0
1453.06/1453.53	c 1452s |      15 |   134102 |   106632 |    47984      3 |      140 |        0
1455.06/1455.55	c 1454s |      15 |   134194 |   106732 |    47984      3 |      140 |        0
1459.36/1459.81	c 1459s |      15 |   134406 |   106932 |    47984      3 |      140 |        0
1462.15/1462.69	c 1461s |      15 |   134606 |   107132 |    47984      3 |      140 |        0
1464.36/1464.84	c 1464s |      15 |   134914 |   107432 |    47984      3 |      140 |        0
1467.55/1468.09	c 1467s |      15 |   135490 |   107832 |    47984      3 |      140 |        0
1470.65/1471.16	c 1470s |      15 |   135883 |   108032 |    47984      3 |      140 |        0
1472.85/1473.38	c 1472s |      15 |   136101 |   108232 |    47984      3 |      140 |        0
1478.95/1479.43	c 1478s |      15 |   136292 |   108432 |    47984      3 |      140 |        0
1480.95/1481.44	c 1480s |      15 |   136381 |   108532 |    47984      3 |      140 |        0
1483.74/1484.27	c 1483s |      15 |   136509 |   108632 |    47984      3 |      140 |        0
1486.76/1487.30	c 1486s |      15 |   136598 |   108732 |    47984      3 |      140 |        0
1491.65/1492.16	c 1491s |      15 |   136682 |   108832 |    47984      3 |      140 |        0
1493.65/1494.18	c 1493s |      15 |   136800 |   108932 |    47984      3 |      140 |        0
1495.74/1496.22	c 1495s |      15 |   137228 |   109332 |    47984      3 |      140 |        0
1497.95/1498.43	c 1497s |      15 |   137628 |   109632 |    47984      3 |      140 |        0
1499.96/1500.44	c 1499s |      15 |   137909 |   109832 |    47984      3 |      140 |        0
1502.26/1502.73	c 1502s |      15 |   138226 |   110132 |    47984      3 |      140 |        0
1504.95/1505.46	c 1504s |      15 |   138659 |   110532 |    47984      3 |      140 |        0
1508.25/1508.73	c 1508s |      15 |   138879 |   110732 |    47984      3 |      140 |        0
1510.64/1511.11	c 1510s |      15 |   138976 |   110832 |    47984      3 |      140 |        0
1512.74/1513.27	c 1512s |      15 |   139083 |   110932 |    47984      3 |      140 |        0
1514.94/1515.43	c 1514s |      15 |   139178 |   111032 |    47984      3 |      140 |        0
1517.14/1517.68	c 1516s |      15 |   139294 |   111132 |    47984      3 |      140 |        0
1519.24/1519.72	c 1519s |      15 |   139389 |   111232 |    47984      3 |      140 |        0
1521.55/1522.06	c 1521s |      15 |   139491 |   111332 |    47984      3 |      140 |        0
1525.14/1525.62	c 1524s |      15 |   139728 |   111532 |    47984      3 |      140 |        0
1529.04/1529.52	c 1528s |      15 |   139938 |   111732 |    47984      3 |      140 |        0
1532.44/1532.97	c 1532s |      15 |   140147 |   111932 |    47984      3 |      140 |        0
1536.25/1536.77	c 1536s |      15 |   140372 |   112132 |    47984      3 |      140 |        0
1539.84/1540.30	c 1539s |      15 |   140465 |   112232 |    47984      3 |      140 |        0
1542.14/1542.66	c 1541s |      15 |   140571 |   112332 |    47984      3 |      140 |        0
1544.34/1544.82	c 1544s |      15 |   140678 |   112432 |    47984      3 |      140 |        0
1546.34/1546.89	c 1546s |      15 |   140785 |   112532 |    47984      3 |      140 |        0
1549.74/1550.25	c 1549s |      15 |   141007 |   112732 |    47984      3 |      140 |        0
1551.94/1552.40	c 1551s |      15 |   141124 |   112832 |    47984      3 |      140 |        0
1554.54/1555.04	c 1554s |      15 |   141230 |   112932 |    47984      3 |      140 |        0
1557.74/1558.20	c 1557s |      15 |   141326 |   113032 |    47984      3 |      140 |        0
1559.94/1560.47	c 1559s |      15 |   141587 |   113232 |    47984      3 |      140 |        0
1562.43/1562.95	c 1562s |      15 |   141788 |   113432 |    47984      3 |      140 |        0
1565.04/1565.57	c 1564s |      15 |   142020 |   113632 |    47984      3 |      140 |        0
1567.23/1567.80	c 1567s |      15 |   142258 |   113832 |    47984      3 |      140 |        0
1570.34/1570.87	c 1570s |      15 |   142702 |   114132 |    47984      3 |      140 |        0
1573.54/1574.03	c 1573s |      15 |   142907 |   114332 |    47984      3 |      140 |        0
1576.33/1576.83	c 1576s |      15 |   143088 |   114532 |    47984      3 |      140 |        0
1578.83/1579.36	c 1578s |      15 |   143405 |   114732 |    47984      3 |      140 |        0
1580.93/1581.49	c 1580s |      15 |   143796 |   114932 |    47984      3 |      140 |        0
1583.13/1583.65	c 1582s |      15 |   144092 |   115232 |    47984      3 |      140 |        0
1585.24/1585.79	c 1585s |      15 |   144418 |   115532 |    47984      3 |      140 |        0
1587.44/1587.93	c 1587s |      15 |   144737 |   115832 |    47984      3 |      140 |        0
1589.84/1590.37	c 1589s |      15 |   145065 |   116132 |    47984      3 |      140 |        0
1591.94/1592.45	c 1591s |      15 |   145438 |   116432 |    47984      3 |      140 |        0
1594.54/1595.06	c 1594s |      15 |   145970 |   116832 |    47984      3 |      140 |        0
1596.63/1597.15	c 1596s |      15 |   146474 |   117232 |    47984      3 |      140 |        0
1598.94/1599.43	c 1598s |      15 |   147018 |   117632 |    47984      3 |      140 |        0
1601.04/1601.56	c 1600s |      15 |   147573 |   118032 |    47984      3 |      140 |        0
1603.53/1604.06	c 1603s |      15 |   148043 |   118432 |    47984      3 |      140 |        0
1605.93/1606.46	c 1605s |      15 |   148486 |   118832 |    47984      3 |      140 |        0
1608.03/1608.53	c 1607s |      15 |   148828 |   119132 |    47984      3 |      140 |        0
1610.33/1610.87	c 1610s |      15 |   149304 |   119532 |    47984      3 |      140 |        0
1612.53/1613.09	c 1612s |      15 |   149755 |   119932 |    47984      3 |      140 |        0
1614.93/1615.42	c 1614s |      15 |   150183 |   120332 |    47984      3 |      140 |        0
1617.03/1617.54	c 1616s |      15 |   150516 |   120632 |    47984      3 |      140 |        0
1619.43/1619.98	c 1619s |      15 |   150973 |   121032 |    47984      3 |      140 |        0
1621.53/1622.03	c 1621s |      15 |   151288 |   121332 |    47984      3 |      140 |        0
1624.13/1624.64	c 1623s |      15 |   151703 |   121732 |    47984      3 |      140 |        0
1626.54/1627.03	c 1626s |      15 |   152173 |   122132 |    47984      3 |      140 |        0
1628.63/1629.14	c 1628s |      15 |   152594 |   122532 |    47984      3 |      140 |        0
1630.84/1631.38	c 1630s |      15 |   153030 |   122932 |    47984      3 |      140 |        0
1633.33/1633.84	c 1633s |      15 |   153506 |   123332 |    47984      3 |      140 |        0
1635.52/1636.08	c 1635s |      15 |   153944 |   123732 |    47984      3 |      140 |        0
1637.93/1638.48	c 1637s |      15 |   154361 |   124132 |    47984      3 |      140 |        0
1640.12/1640.60	c 1639s |      15 |   154810 |   124532 |    47984      3 |      140 |        0
1642.33/1642.89	c 1642s |      15 |   155231 |   124932 |    47984      3 |      140 |        0
1644.73/1645.25	c 1644s |      15 |   155644 |   125332 |    47984      3 |      140 |        0
1647.12/1647.68	c 1646s |      15 |   156055 |   125732 |    47984      3 |      140 |        0
1649.42/1649.94	c 1649s |      15 |   156483 |   126132 |    47984      3 |      140 |        0
1651.73/1652.29	c 1651s |      15 |   156907 |   126532 |    47984      3 |      140 |        0
1654.12/1654.63	c 1653s |      15 |   157234 |   126832 |    47984      3 |      140 |        0
1656.42/1656.95	c 1656s |      15 |   157636 |   127232 |    47984      3 |      140 |        0
1658.92/1659.43	c 1658s |      15 |   158047 |   127632 |    47984      3 |      140 |        0
1661.22/1661.73	c 1661s |      15 |   158465 |   128032 |    47984      3 |      140 |        0
1663.62/1664.12	c 1663s |      15 |   158878 |   128432 |    47984      3 |      140 |        0
1665.72/1666.29	c 1665s |      15 |   159280 |   128832 |    47984      3 |      140 |        0
1668.02/1668.52	c 1667s |      15 |   159683 |   129232 |    47984      3 |      140 |        0
1670.32/1670.88	c 1670s |      15 |   160127 |   129632 |    47984      3 |      140 |        0
1672.52/1673.09	c 1672s |      15 |   160528 |   130032 |    47984      3 |      140 |        0
1675.12/1675.68	c 1674s |      15 |   160943 |   130432 |    47984      3 |      140 |        0
1677.52/1678.01	c 1677s |      15 |   161338 |   130832 |    52783      3 |      140 |        0
1680.02/1680.50	c 1679s |      15 |   161739 |   131232 |    52783      3 |      140 |        0
1682.02/1682.54	c 1681s |      16 |   162090 |   131552 |    52783      3 |      140 |        0
1689.13/1689.62	c 1688s |      16 |   162395 |   131652 |    52783      4 |      140 |        0
1698.62/1699.17	c 1698s |      16 |   162576 |   131752 |    52783      4 |      140 |        0
1712.23/1712.76	c 1712s |      16 |   162663 |   131852 |    52783      4 |      140 |        0
1724.32/1724.85	c 1724s |      16 |   162906 |   131952 |    52783      4 |      140 |        0
1726.41/1726.98	c 1726s |      16 |   163274 |   132152 |    52783      4 |      140 |        0
1728.52/1729.04	c 1728s |      16 |   163380 |   132252 |    52783      4 |      140 |        0
1730.61/1731.13	c 1730s |      16 |   163464 |   132352 |    52783      4 |      140 |        0
1734.41/1734.97	c 1734s |      16 |   163661 |   132552 |    52783      4 |      140 |        0
1736.71/1737.25	c 1736s |      16 |   163749 |   132652 |    52783      4 |      140 |        0
1739.91/1740.45	c 1739s |      16 |   164046 |   132852 |    52783      4 |      140 |        0
1742.71/1743.27	c 1742s |      16 |   164261 |   132952 |    52783      4 |      140 |        0
1745.32/1745.87	c 1745s |      16 |   164589 |   133152 |    52783      4 |      140 |        0
1747.71/1748.21	c 1747s |      16 |   165218 |   133752 |    52783      4 |      140 |        0
1750.21/1750.75	c 1750s |      16 |   165640 |   134152 |    52783      4 |      140 |        0
1753.51/1754.00	c 1753s |      16 |   165843 |   134352 |    52783      4 |      140 |        0
1756.91/1757.40	c 1756s |      16 |   166065 |   134552 |    52783      4 |      140 |        0
1760.11/1760.68	c 1759s |      16 |   166337 |   134752 |    52783      4 |      140 |        0
1763.20/1763.78	c 1763s |      16 |   166579 |   134952 |    52783      4 |      140 |        0
1766.40/1766.94	c 1766s |      16 |   166801 |   135152 |    52783      4 |      140 |        0
1769.70/1770.27	c 1769s |      16 |   167039 |   135352 |    52783      4 |      140 |        0
1772.30/1772.83	c 1772s |      16 |   167177 |   135452 |    52783      4 |      140 |        0
1775.60/1776.11	c 1775s |      16 |   167285 |   135552 |    52783      4 |      140 |        0
1779.50/1780.00	c 1779s |      16 |   167396 |   135652 |    52783      4 |      140 |        0
1783.61/1784.19	c 1783s |      16 |   167484 |   135752 |    52783      4 |      140 |        0
1787.90/1788.45	c 1787s |      16 |   167600 |   135852 |    52783      4 |      140 |        0
1791.30/1791.80	c 1791s |      16 |   167700 |   135952 |    52783      4 |      140 |        0
1794.71/1795.22	c 1794s |      16 |   167791 |   136052 |    52783      4 |      140 |        0
1799.21/1799.72	c 1799s |      16 |   167887 |   136152 |    52783      4 |      140 |        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-4079307-1465337997/watcher-4079307-1465337997 -o /tmp/evaluation-result-4079307-1465337997/solver-4079307-1465337997 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079307-1465337997.opb 

pid=23797
running on 4 cores: 1,3,5,7

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.13 2.12 2.09 3/179 23800
/proc/meminfo: memFree=30388500/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 2596 0 0 0 0 0 0 0 20 0 4 0 115733124 713486336 3467 33554432000 4194304 16246674 140734117226592 140734117226016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 174703 3475 441 2943 0 171597 0
[pid=23800/tid=23801] ppid=23797 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 731312128 3532 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 734457856 3547 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 738652160 3563 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100137 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 23800
/proc/meminfo: memFree=30388500/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 28432 0 0 0 5 4 0 0 20 0 4 0 115733124 1333334016 29241 33554432000 4194304 16246674 140734117226592 140734117225904 7853005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 325521 29256 800 2943 0 322415 0
[pid=23800/tid=23801] ppid=23797 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1333334016 29268 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1333334016 29278 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1333334016 29289 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.2005 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 23800
/proc/meminfo: memFree=30388500/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 47935 0 0 0 13 6 0 0 20 0 4 0 115733124 1344868352 49255 33554432000 4194304 16246674 140734117226592 140734117225904 6762074 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 328337 49255 837 2943 0 325231 0
[pid=23800/tid=23801] ppid=23797 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1344868352 49255 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1344868352 49255 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1344868352 49255 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300448 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 23800
/proc/meminfo: memFree=30388500/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 49953 0 0 0 23 6 0 0 20 0 4 0 115733124 1344868352 51273 33554432000 4194304 16246674 140734117226592 140734117225904 5740329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 328337 51281 839 2943 0 325231 0
[pid=23800/tid=23801] ppid=23797 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1344868352 51286 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1344868352 51291 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1344868352 51296 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700375 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 23800
/proc/meminfo: memFree=30388500/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1327684 CPUtime=0.68 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 92297 0 0 0 56 12 0 0 20 0 4 0 115733124 1359548416 93617 33554432000 4194304 16246674 140734117226592 140734117225904 8224749 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 331921 93617 842 2943 0 328815 0
[pid=23800/tid=23801] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93617 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93617 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93617 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1327684

[startup+1.50038 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 23804
/proc/meminfo: memFree=30014904/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1327684 CPUtime=1.48 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 92343 0 0 0 136 12 0 0 20 0 4 0 115733124 1359548416 93663 33554432000 4194304 16246674 140734117226592 140734117208512 12477999 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 331921 93663 888 2943 0 328815 0
[pid=23800/tid=23801] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93663 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93663 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93663 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1327684

[startup+3.10037 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 23804
/proc/meminfo: memFree=30005232/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1327684 CPUtime=3.08 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 92345 0 0 0 296 12 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140734117208512 5828829 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 331921 93665 890 2943 0 328815 0
[pid=23800/tid=23801] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1327684

[startup+6.30039 s]
/proc/loadavg: 2.11 2.11 2.09 3/184 23807
/proc/meminfo: memFree=30001768/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1327684 CPUtime=6.28 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 92345 0 0 0 616 12 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140734117208512 5711338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 331921 93665 890 2943 0 328815 0
[pid=23800/tid=23801] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1327684

[startup+12.7004 s]
/proc/loadavg: 2.10 2.11 2.09 3/184 23807
/proc/meminfo: memFree=30000576/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1327684 CPUtime=12.68 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 92345 0 0 0 1256 12 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140734117225768 13759456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 331921 93665 890 2943 0 328815 0
[pid=23800/tid=23801] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 93665 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1327684

[startup+25.5005 s]
/proc/loadavg: 2.14 2.12 2.09 3/184 23807
/proc/meminfo: memFree=29905116/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1327684 CPUtime=25.49 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 116417 0 0 0 2533 16 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140734117225768 5828829 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 331921 117737 894 2943 0 328815 0
[pid=23800/tid=23801] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1327684

[startup+51.1005 s]
/proc/loadavg: 2.15 2.13 2.09 3/184 23807
/proc/meminfo: memFree=29905072/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 116417 0 0 0 5092 16 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140734117208512 5711624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 331921 117737 894 2943 0 328815 0
[pid=23800/tid=23801] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1327684

[startup+102.301 s]
/proc/loadavg: 2.23 2.15 2.10 3/183 23808
/proc/meminfo: memFree=29904464/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1327684 CPUtime=102.28 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 116417 0 0 0 10210 18 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140734117208512 5711968 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 331921 117737 894 2943 0 328815 0
[pid=23800/tid=23801] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1359548416 117737 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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

/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1484356

[startup+1362.3 s]
/proc/loadavg: 2.14 2.09 2.08 3/183 23888
/proc/meminfo: memFree=29135440/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1484356 CPUtime=1361.87 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 242691 0 0 0 136006 181 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140734117208512 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 371089 313097 898 2943 0 367983 0
[pid=23800/tid=23801] ppid=23797 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1484356

[startup+1422.3 s]
/proc/loadavg: 2.11 2.09 2.08 3/183 23889
/proc/meminfo: memFree=29104704/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1484356 CPUtime=1421.86 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 242691 0 0 0 142005 181 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140734117208512 5717481 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 371089 313097 898 2943 0 367983 0
[pid=23800/tid=23801] ppid=23797 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1519980544 313097 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1484356

[startup+1482.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 23890
/proc/meminfo: memFree=29043592/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1545796 CPUtime=1481.85 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 257970 0 0 0 147988 197 0 0 20 0 4 0 115733124 1582895104 328376 33554432000 4194304 16246674 140734117226592 140734117225768 5721616 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 386449 328376 898 2943 0 383343 0
[pid=23800/tid=23801] ppid=23797 vsize=1545796 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1582895104 328376 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1545796 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1582895104 328376 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1545796 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1582895104 328376 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1545796

[startup+1542.31 s]
/proc/loadavg: 2.21 2.12 2.10 3/183 23892
/proc/meminfo: memFree=28974556/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1614404 CPUtime=1541.85 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 275157 0 0 0 153970 215 0 0 20 0 4 0 115733124 1653149696 345563 33554432000 4194304 16246674 140734117226592 140734117225768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 403601 345563 898 2943 0 400495 0
[pid=23800/tid=23801] ppid=23797 vsize=1614404 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1653149696 345563 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1614404 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1653149696 345563 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1614404 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1653149696 345563 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1614404

[startup+1602.3 s]
/proc/loadavg: 2.28 2.15 2.10 3/183 23893
/proc/meminfo: memFree=28972980/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1614404 CPUtime=1601.83 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 275203 0 0 0 159959 224 0 0 20 0 4 0 115733124 1653149696 345609 33554432000 4194304 16246674 140734117226592 140734117208512 12483212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 403601 345609 898 2943 0 400495 0
[pid=23800/tid=23801] ppid=23797 vsize=1614404 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1653149696 345609 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1614404 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1653149696 345609 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1614404 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1653149696 345609 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1614404

[startup+1662.3 s]
/proc/loadavg: 2.22 2.15 2.10 3/183 23894
/proc/meminfo: memFree=28923772/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1663556 CPUtime=1661.82 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 287390 0 0 0 165916 266 0 0 20 0 4 0 115733124 1703481344 357796 33554432000 4194304 16246674 140734117226592 140734117225768 12478799 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 415889 357796 898 2943 0 412783 0
[pid=23800/tid=23801] ppid=23797 vsize=1663556 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1703481344 357796 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1663556 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1703481344 357796 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1663556 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1703481344 357796 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1663556

[startup+1722.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 23895
/proc/meminfo: memFree=28777980/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1808964 CPUtime=1721.82 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 323802 0 0 0 171851 331 0 0 20 0 4 0 115733124 1852379136 394208 33554432000 4194304 16246674 140734117226592 140734117208512 12483230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 452241 394208 898 2943 0 449135 0
[pid=23800/tid=23801] ppid=23797 vsize=1808964 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1852379136 394208 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1808964 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1852379136 394208 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1808964 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1852379136 394208 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1808964

[startup+1782.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/183 23896
/proc/meminfo: memFree=28750344/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1836612 CPUtime=1781.81 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 330711 0 0 0 177837 344 0 0 20 0 4 0 115733124 1880690688 401117 33554432000 4194304 16246674 140734117226592 140734117225768 5600392 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 459153 401117 898 2943 0 456047 0
[pid=23800/tid=23801] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401117 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401117 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401117 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1836612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.09 2.08 3/183 23896
/proc/meminfo: memFree=28750008/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1836612 CPUtime=1800 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 330755 0 0 0 179651 349 0 0 20 0 4 0 115733124 1880690688 401161 33554432000 4194304 16246674 140734117226592 140734117208512 13898695 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 459153 401161 898 2943 0 456047 0
[pid=23800/tid=23801] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401161 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401161 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401161 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1836612

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.09 2.08 3/183 23896
/proc/meminfo: memFree=28750008/32872528 swapFree=11196/354588
[pid=23800] ppid=23797 vsize=1836612 CPUtime=1800 cores=1,3,5,7
/proc/23800/stat : 23800 (toysat) R 23797 23800 21010 0 -1 4202496 330755 0 0 0 179651 349 0 0 20 0 4 0 115733124 1880690688 401161 33554432000 4194304 16246674 140734117226592 140734117208512 13898695 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23800/statm: 459153 401161 898 2943 0 456047 0
[pid=23800/tid=23801] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23801/stat : 23801 (toysat) S 23797 23800 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401161 33554432000 4194304 16246674 140734117226592 140333855780080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23800/tid=23802] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23802/stat : 23802 (toysat) S 23797 23800 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401161 33554432000 4194304 16246674 140734117226592 140333845290224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23800/tid=23803] ppid=23797 vsize=1836612 CPUtime=0 cores=1,3,5,7
/proc/23800/task/23803/stat : 23803 (toysat) S 23797 23800 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115733124 1880690688 401161 33554432000 4194304 16246674 140734117226592 140333761424560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1836612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.05
CPU user time (s): 1796.52
CPU system time (s): 3.52446
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1836612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.52
system time used= 3.52446
maximum resident set size= 1604644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330755
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= 326
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48432 second user time and 7.00893 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-08 00:19:57
IDJOB=4079307
IDBENCH=92758
IDSOLVER=2542
FILE ID=node126/4079307-1465337997
RUNJOBID= node126-1465306898-21027
PBS_JOBID= 19849495
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= b79cf832cc8fb39cc9e05c792def1a32
RANDOM SEED=1915529269

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30389292 kB
Buffers:           49152 kB
Cached:           236200 kB
SwapCached:         2088 kB
Active:          1231648 kB
Inactive:         162512 kB
Active(anon):    1106556 kB
Inactive(anon):     4628 kB
Active(file):     125092 kB
Inactive(file):   157884 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:             17140 kB
Writeback:             0 kB
AnonPages:       1464420 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             599988 kB
SReclaimable:      44104 kB
SUnreclaim:       555884 kB
KernelStack:        1456 kB
PageTables:         6664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1623280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    839680 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= 71704 MiB
End job on node126 at 2016-06-08 00:49:57