Trace number 4079662

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.09 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_17.opb
MD5SUM25ee8feec785b6a4be71df8acc9d82db
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark282
Best CPU time to get the best result obtained on this benchmark1800.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 263
Optimality of the best value was proved NO
Number of variables7081
Total number of constraints13889
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13888
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 136
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 391
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2647
Number of bits of the biggest sum of numbers12
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-06T22:55:18+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-4079662-1465246518.opb"]
0.00/0.01	c use --random-gen="628037476 623452188 3649427231 887268564 1840799954 1469666995 3092113688 2998702567 4268616832 1441575004 1254286174 2728143567 3051943713 3942751745 3078484634 484360907 28785988 675245547 173621068 1671733175 3072894274 3663400706 3830236803 3788867100 2993374843 70509013 2937803868 1657220801 283865010 1740061037 3846487155 1949269756 3028116852 3085237915 1294813567 1529613452 2526489128 281690521 2082826981 518355180 2918535718 153520029 61916372 803779499 3945835598 4117862636 918164553 3675422012 3382255738 1255715668 4175570416 2538599051 2728325339 4134671762 828852490 3951684528 2624559938 1931038012 4056070768 1432975538 3551266140 960975223 2910932251 3576393777 918727259 1336869839 3808720127 2446927073 3274475008 2848959974 447997019 1040334931 949810030 1884252057 2424616372 1521122625 103157014 2293652085 654818649 2360421595 1706682048 1818626998 1940615180 410649556 3213847115 4134517013 858018256 3220704696 1818455709 439237225 3027810451 3089555590 713639037 4008955219 1808137921 2827535099 2499190771 3521202768 2474958898 3297606062 4157772336 1952525881 636684186 1193597968 1702272150 4084958962 1812907015 1499393118 1168105665 2788566535 4199758262 3537699221 4118345494 3272790193 836775371 1993790889 1496307688 3032105094 1023598262 3597413516 1331346193 67811724 2842459416 1172709467 2414168629 1033072463 3078169615 2258187598 3096452757 3854484915 3225614858 849575230 2675179796 2679529108 3347800842 809076779 714938640 2027255155 3944938309 749923452 3835750153 2202843335 1631685283 1334054032 868807620 3501979492 2860791770 2231411665 4138949301 1796304848 1832439300 557669818 4028893810 1397815650 1009733638 896402102 415304217 1558971451 1797252007 2049817493 3674951542 558843282 3665607403 525136887 2307678244 2234203343 3172272143 2695182373 1669154879 3921825365 191996836 2000904245 872726206 1051289302 1904777390 522238238 242557709 3327483988 3601924677 2449167215 341421889 1393178961 1321968981 3382696244 2331074973 4125507595 2557532462 104373679 928561996 1905004714 3614587648 4015309650 313592858 3964622956 1584349103 1089733437 2184576525 2851914398 396060595 3792580725 3701830906 3105401845 1729751462 1266958411 3295500259 1454781092 4163844259 2324793439 1280029333 4276537709 743313121 4211485493 3078153038 1818167603 1814817545 2296798785 1369473038 4291935902 1058418041 487686233 734687631 2004876934 2094683363 1393372355 3423447040 1169610780 266511586 1084892913 1508212545 3103996534 3189261314 1674729099 3131922726 1822603806 3630230654 1942735369 3151989626 949545245 4017883836 2926101950 3189798052 4212314378 3938396282 3953071169 2495775375 1268974359 397025711 2426043410 1301761356 975378318 1684319900 3622127072 3808164701 2671696877 3453618941 2928951184 255 362436" option to reproduce the execution
0.79/0.81	c #vars 7081
0.79/0.81	c #constraints 13889
2.39/2.49	c BCD2: Hardening is enabled.
2.39/2.49	c BCD2: BiasedSearch is enabled.
2.39/2.49	c Solving starts ...
2.39/2.49	c ============================[ Search Statistics ]============================
2.39/2.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.49	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.49	c =============================================================================
2.39/2.49	c  0.0s |       0 |        0 |        0 |     6989      0 |        1 |        0
5.69/5.70	c  3.2s |       0 |     5596 |      100 |     6989      0 |        1 |        0
5.69/5.74	c  3.3s |       1 |     5596 |      100 |     6989      0 |        1 |        0
7.48/7.58	c  5.1s |       2 |     5863 |      250 |     7688      0 |        1 |        0
10.08/10.17	c  7.7s |       2 |     6251 |      450 |     8457      0 |        1 |        0
10.38/10.48	c  8.0s |       3 |     6286 |      475 |     8457      0 |        1 |        0
13.48/13.56	c 11.1s |       3 |     6802 |      775 |     9303      0 |        1 |        0
13.88/13.95	c 11.5s |       4 |     6849 |      813 |     9303      0 |        1 |        0
17.08/17.10	c 14.6s |       4 |     7365 |     1113 |    10234      0 |        1 |        0
19.38/19.49	c 17.0s |       4 |     7645 |     1313 |    10234      0 |        1 |        0
19.58/19.65	c 17.2s |       5 |     7657 |     1320 |    10234      0 |        1 |        0
22.28/22.38	c 19.9s |       5 |     8003 |     1520 |    11258      0 |        1 |        0
24.88/24.98	c 22.5s |       5 |     8241 |     1720 |    11258      0 |        1 |        0
28.08/28.17	c 25.7s |       5 |     8465 |     1920 |    11258      0 |        1 |        0
30.58/30.63	c 28.1s |       6 |     8653 |     2081 |    12384      0 |        1 |        0
32.58/32.65	c 30.2s |       6 |     8836 |     2181 |    12384      0 |        1 |        0
35.08/35.10	c 32.6s |       6 |     9109 |     2381 |    12384      0 |        1 |        0
38.49/38.59	c 36.1s |       6 |     9465 |     2681 |    12384      0 |        1 |        0
40.88/40.94	c 38.4s |       6 |     9696 |     2881 |    12384      0 |        1 |        0
43.18/43.27	c 40.8s |       6 |     9960 |     3081 |    12384      0 |        1 |        0
45.09/45.17	c 42.7s |       7 |    10141 |     3223 |    13623      0 |        1 |        0
47.78/47.80	c 45.3s |       7 |    10504 |     3423 |    13623      0 |        1 |        0
51.28/51.34	c 48.8s |       7 |    10737 |     3623 |    13623      0 |        1 |        0
54.28/54.32	c 51.8s |       7 |    11063 |     3823 |    13623      0 |        1 |        0
57.19/57.30	c 54.8s |       7 |    11323 |     4023 |    13623      0 |        1 |        0
60.18/60.29	c 57.8s |       7 |    11576 |     4223 |    13623      0 |        1 |        0
63.28/63.35	c 60.9s |       7 |    11880 |     4423 |    13623      0 |        1 |        0
65.78/65.87	c 63.4s |       7 |    12116 |     4623 |    13623      0 |        1 |        0
68.68/68.72	c 66.2s |       7 |    12362 |     4823 |    13623      0 |        1 |        0
70.38/70.42	c 67.9s |       8 |    12490 |     4936 |    14986      0 |        1 |        0
73.17/73.24	c 70.8s |       8 |    12937 |     5236 |    14986      0 |        1 |        0
75.27/75.36	c 72.9s |       8 |    13193 |     5436 |    14986      0 |        1 |        0
78.28/78.37	c 75.9s |       8 |    13592 |     5736 |    14986      0 |        1 |        0
81.17/81.24	c 78.7s |       8 |    13947 |     6036 |    14986      0 |        1 |        0
83.68/83.74	c 81.3s |       8 |    14195 |     6236 |    14986      0 |        1 |        0
85.78/85.89	c 83.4s |       8 |    14437 |     6436 |    14986      0 |        1 |        0
87.87/87.90	c 85.4s |       8 |    14682 |     6636 |    14986      0 |        1 |        0
90.97/91.07	c 88.6s |       8 |    15018 |     6936 |    14986      0 |        1 |        0
93.27/93.30	c 90.8s |       8 |    15254 |     7136 |    14986      0 |        1 |        0
95.37/95.49	c 93.0s |       8 |    15520 |     7336 |    14986      0 |        1 |        0
97.07/97.17	c 94.7s |       9 |    15733 |     7506 |    16485      0 |        1 |        0
99.27/99.31	c 96.8s |       9 |    16072 |     7706 |    16485      0 |        1 |        0
101.28/101.38	c 98.9s |       9 |    16343 |     7906 |    16485      0 |        1 |        0
104.37/104.47	c  101s |       9 |    16622 |     8106 |    16485      0 |        1 |        0
106.87/106.97	c  104s |       9 |    16860 |     8306 |    16485      0 |        1 |        0
109.67/109.73	c  107s |       9 |    17093 |     8506 |    16485      0 |        1 |        0
112.18/112.24	c  109s |       9 |    17325 |     8706 |    16485      0 |        1 |        0
114.87/114.96	c  112s |       9 |    17545 |     8906 |    16485      0 |        1 |        0
118.27/118.34	c  115s |       9 |    17772 |     9106 |    16485      0 |        1 |        0
121.37/121.44	c  118s |       9 |    17994 |     9306 |    16485      0 |        1 |        0
124.57/124.60	c  122s |       9 |    18219 |     9506 |    16485      0 |        1 |        0
127.87/127.94	c  125s |       9 |    18440 |     9706 |    16485      0 |        1 |        0
130.47/130.59	c  128s |       9 |    18673 |     9906 |    16485      0 |        1 |        0
133.07/133.19	c  130s |       9 |    18886 |    10106 |    16485      0 |        1 |        0
136.16/136.26	c  133s |       9 |    19123 |    10306 |    16485      0 |        1 |        0
138.86/138.93	c  136s |       9 |    19361 |    10506 |    16485      0 |        1 |        0
141.87/141.95	c  139s |       9 |    19613 |    10706 |    16485      0 |        1 |        0
145.06/145.20	c  142s |       9 |    19859 |    10906 |    16485      0 |        1 |        0
148.36/148.50	c  146s |       9 |    20097 |    11106 |    16485      0 |        1 |        0
151.96/152.05	c  149s |       9 |    20335 |    11306 |    18134      0 |        1 |        0
152.66/152.77	c  150s |      10 |    20399 |    11361 |    18134      0 |        1 |        0
155.26/155.36	c  152s |      10 |    20696 |    11561 |    18134      0 |        1 |        0
157.46/157.58	c  155s |      10 |    20959 |    11761 |    18134      0 |        1 |        0
159.66/159.78	c  157s |      10 |    21188 |    11961 |    18134      0 |        1 |        0
162.96/163.04	c  160s |      10 |    21395 |    12161 |    18134      0 |        1 |        0
165.76/165.80	c  163s |      10 |    21640 |    12361 |    18134      0 |        1 |        0
168.46/168.59	c  166s |      10 |    21864 |    12561 |    18134      0 |        1 |        0
171.36/171.43	c  168s |      10 |    22101 |    12761 |    18134      0 |        1 |        0
173.46/173.51	c  171s |      10 |    22355 |    12961 |    18134      0 |        1 |        0
175.56/175.63	c  173s |      10 |    22631 |    13161 |    18134      0 |        1 |        0
178.27/178.32	c  175s |      10 |    22884 |    13361 |    18134      0 |        1 |        0
180.86/180.94	c  178s |      10 |    23101 |    13561 |    18134      0 |        1 |        0
185.16/185.20	c  182s |      10 |    23374 |    13761 |    18134      0 |        1 |        0
188.96/189.00	c  186s |      10 |    23655 |    13961 |    18134      0 |        1 |        0
191.06/191.11	c  188s |      10 |    23762 |    14061 |    18134      0 |        1 |        0
193.06/193.16	c  190s |      10 |    23911 |    14161 |    18134      0 |        1 |        0
195.66/195.79	c  193s |      10 |    24152 |    14361 |    18134      0 |        1 |        0
199.17/199.22	c  196s |      10 |    24396 |    14561 |    18134      0 |        1 |        0
202.75/202.85	c  200s |      10 |    24616 |    14761 |    18134      0 |        1 |        0
206.15/206.27	c  203s |      10 |    24872 |    14961 |    18134      0 |        1 |        0
208.35/208.50	c  206s |      10 |    24991 |    15061 |    18134      0 |        1 |        0
210.75/210.82	c  208s |      10 |    25116 |    15161 |    18134      0 |        1 |        0
213.95/214.10	c  211s |      10 |    25347 |    15361 |    18134      0 |        1 |        0
216.35/216.42	c  213s |      10 |    25467 |    15461 |    18134      0 |        1 |        0
218.65/218.70	c  216s |      10 |    25588 |    15561 |    18134      0 |        1 |        0
222.26/222.37	c  219s |      10 |    25848 |    15761 |    18134      0 |        1 |        0
224.25/224.38	c  221s |      10 |    25978 |    15861 |    18134      0 |        1 |        0
228.65/228.71	c  226s |      10 |    26207 |    16061 |    18134      0 |        1 |        0
232.55/232.61	c  230s |      10 |    26450 |    16261 |    18134      0 |        1 |        0
234.75/234.83	c  232s |      10 |    26571 |    16361 |    18134      0 |        1 |        0
238.44/238.56	c  236s |      10 |    26835 |    16561 |    18134      0 |        1 |        0
242.34/242.43	c  239s |      10 |    27068 |    16761 |    18134      0 |        1 |        0
244.44/244.52	c  242s |      10 |    27203 |    16861 |    18134      0 |        1 |        0
246.45/246.59	c  244s |      10 |    27315 |    16961 |    18134      0 |        1 |        0
248.55/248.70	c  246s |      10 |    27443 |    17061 |    19948      0 |        1 |        0
250.24/250.31	c  247s |      11 |    27550 |    17144 |    19948      0 |        1 |        0
252.44/252.56	c  250s |      11 |    27843 |    17344 |    19948      0 |        1 |        0
255.04/255.17	c  252s |      11 |    28217 |    17644 |    19948      0 |        1 |        0
257.54/257.68	c  255s |      11 |    28511 |    17844 |    19948      0 |        1 |        0
259.74/259.81	c  257s |      11 |    28728 |    18044 |    19948      0 |        1 |        0
261.75/261.90	c  259s |      11 |    28953 |    18244 |    19948      0 |        1 |        0
264.64/264.73	c  262s |      11 |    29172 |    18444 |    19948      0 |        1 |        0
267.14/267.28	c  264s |      11 |    29392 |    18644 |    19948      0 |        1 |        0
269.34/269.48	c  266s |      11 |    29623 |    18844 |    19948      0 |        1 |        0
271.75/271.85	c  269s |      11 |    29851 |    19044 |    19948      0 |        1 |        0
274.54/274.65	c  272s |      11 |    30067 |    19244 |    19948      0 |        1 |        0
277.04/277.13	c  274s |      11 |    30287 |    19444 |    19948      0 |        1 |        0
280.04/280.13	c  277s |      11 |    30508 |    19644 |    19948      0 |        1 |        0
282.14/282.26	c  279s |      11 |    30727 |    19844 |    19948      0 |        1 |        0
284.74/284.90	c  282s |      11 |    30997 |    20044 |    19948      0 |        1 |        0
287.84/287.92	c  285s |      11 |    31217 |    20244 |    19948      0 |        1 |        0
290.73/290.82	c  288s |      11 |    31429 |    20444 |    19948      0 |        1 |        0
292.93/293.08	c  290s |      11 |    31679 |    20644 |    19948      0 |        1 |        0
295.63/295.70	c  293s |      11 |    31893 |    20844 |    19948      0 |        1 |        0
298.04/298.14	c  295s |      11 |    32120 |    21044 |    19948      0 |        1 |        0
300.34/300.47	c  297s |      11 |    32351 |    21244 |    19948      0 |        1 |        0
302.54/302.62	c  300s |      11 |    32568 |    21444 |    19948      0 |        1 |        0
305.43/305.55	c  303s |      11 |    32836 |    21644 |    19948      0 |        1 |        0
308.33/308.49	c  306s |      11 |    33073 |    21844 |    19948      1 |        1 |        0
311.24/311.31	c  308s |      11 |    33286 |    22044 |    19948      1 |        1 |        0
314.03/314.15	c  311s |      11 |    33508 |    22244 |    19948      1 |        1 |        0
316.63/316.76	c  314s |      11 |    33727 |    22444 |    19948      1 |        1 |        0
319.13/319.28	c  316s |      11 |    33938 |    22644 |    19948      1 |        1 |        0
321.53/321.62	c  319s |      11 |    34173 |    22844 |    19948      1 |        1 |        0
324.44/324.54	c  322s |      11 |    34416 |    23044 |    19948      1 |        1 |        0
327.13/327.27	c  324s |      11 |    34693 |    23244 |    19948      1 |        1 |        0
329.72/329.84	c  327s |      11 |    34922 |    23444 |    19948      1 |        1 |        0
332.42/332.50	c  330s |      11 |    35178 |    23644 |    19948      1 |        1 |        0
335.12/335.27	c  332s |      11 |    35410 |    23844 |    19948      1 |        1 |        0
337.73/337.87	c  335s |      11 |    35651 |    24044 |    19948      1 |        1 |        0
340.52/340.60	c  338s |      11 |    35885 |    24244 |    19948      1 |        1 |        0
342.92/343.00	c  340s |      11 |    36124 |    24444 |    19948      1 |        1 |        0
345.72/345.85	c  343s |      11 |    36377 |    24644 |    19948      1 |        1 |        0
348.32/348.44	c  345s |      11 |    36614 |    24844 |    19948      1 |        1 |        0
351.32/351.46	c  348s |      11 |    36859 |    25044 |    19948      1 |        1 |        0
353.42/353.54	c  351s |      11 |    37099 |    25244 |    19948      1 |        1 |        0
356.32/356.46	c  353s |      11 |    37350 |    25444 |    19948      1 |        1 |        0
359.01/359.18	c  356s |      11 |    37605 |    25644 |    19948      1 |        1 |        0
361.31/361.48	c  358s |      12 |    37825 |    25819 |    21943      1 |        1 |        0
363.81/363.90	c  361s |      12 |    38029 |    25919 |    21943      1 |        1 |        0
367.71/367.86	c  365s |      12 |    38262 |    26119 |    21943      1 |        1 |        0
371.82/371.98	c  369s |      12 |    38531 |    26319 |    21943      1 |        1 |        0
374.11/374.20	c  371s |      12 |    38661 |    26419 |    21943      1 |        1 |        0
376.31/376.42	c  373s |      12 |    38786 |    26519 |    21943      1 |        1 |        0
380.10/380.23	c  377s |      12 |    39016 |    26719 |    21943      1 |        1 |        0
384.10/384.22	c  381s |      12 |    39234 |    26919 |    21943      1 |        1 |        0
386.20/386.31	c  383s |      12 |    39360 |    27019 |    21943      1 |        1 |        0
388.50/388.62	c  386s |      12 |    39476 |    27119 |    21943      1 |        1 |        0
390.80/390.97	c  388s |      12 |    39581 |    27219 |    21943      1 |        1 |        0
392.90/393.07	c  390s |      12 |    39711 |    27319 |    21943      1 |        1 |        0
396.30/396.46	c  393s |      12 |    39952 |    27519 |    21943      1 |        1 |        0
399.90/400.03	c  397s |      12 |    40198 |    27719 |    21943      1 |        1 |        0
403.50/403.67	c  401s |      12 |    40426 |    27919 |    21943      1 |        1 |        0
406.80/406.91	c  404s |      12 |    40661 |    28119 |    21943      1 |        1 |        0
408.79/408.94	c  406s |      12 |    40780 |    28219 |    21943      1 |        1 |        0
411.19/411.37	c  408s |      12 |    40889 |    28319 |    21943      1 |        1 |        0
414.60/414.75	c  412s |      12 |    41124 |    28519 |    21943      1 |        1 |        0
418.29/418.44	c  415s |      12 |    41354 |    28719 |    21943      1 |        1 |        0
422.30/422.46	c  419s |      12 |    41572 |    28919 |    21943      1 |        1 |        0
426.19/426.38	c  423s |      12 |    41798 |    29119 |    21943      1 |        1 |        0
428.29/428.40	c  425s |      12 |    41908 |    29219 |    21943      1 |        1 |        0
430.29/430.40	c  427s |      12 |    42018 |    29319 |    21943      1 |        1 |        0
432.39/432.60	c  430s |      12 |    42135 |    29419 |    21943      1 |        1 |        0
434.50/434.66	c  432s |      12 |    42248 |    29519 |    21943      1 |        1 |        0
438.39/438.55	c  436s |      12 |    42490 |    29719 |    21943      1 |        1 |        0
440.39/440.55	c  438s |      12 |    42605 |    29819 |    21943      1 |        1 |        0
444.29/444.44	c  441s |      12 |    42826 |    30019 |    21943      1 |        1 |        0
446.69/446.89	c  444s |      12 |    42934 |    30119 |    21943      1 |        1 |        0
448.80/448.97	c  446s |      12 |    43036 |    30219 |    21943      1 |        1 |        0
450.89/451.06	c  448s |      12 |    43158 |    30319 |    21943      1 |        1 |        0
453.09/453.22	c  450s |      12 |    43281 |    30419 |    21943      1 |        1 |        0
455.40/455.59	c  453s |      12 |    43381 |    30519 |    21943      1 |        1 |        0
457.60/457.77	c  455s |      12 |    43502 |    30619 |    21943      1 |        1 |        0
459.88/460.05	c  457s |      12 |    43615 |    30719 |    21943      1 |        1 |        0
462.28/462.46	c  459s |      12 |    43720 |    30819 |    21943      1 |        1 |        0
465.48/465.66	c  463s |      12 |    43968 |    31019 |    21943      1 |        1 |        0
468.38/468.56	c  466s |      12 |    44241 |    31219 |    21943      1 |        1 |        0
471.38/471.57	c  469s |      12 |    44487 |    31419 |    21943      1 |        1 |        0
474.87/475.08	c  472s |      12 |    44742 |    31619 |    21943      1 |        1 |        0
476.97/477.11	c  474s |      12 |    44906 |    31719 |    21943      1 |        1 |        0
481.37/481.51	c  479s |      12 |    45133 |    31919 |    21943      1 |        1 |        0
485.37/485.53	c  483s |      12 |    45375 |    32119 |    21943      1 |        1 |        0
489.67/489.80	c  487s |      12 |    45616 |    32319 |    21943      1 |        1 |        0
493.07/493.24	c  490s |      12 |    45838 |    32519 |    21943      1 |        1 |        0
496.77/496.90	c  494s |      12 |    46064 |    32719 |    21943      1 |        1 |        0
500.27/500.42	c  497s |      12 |    46292 |    32919 |    21943      1 |        1 |        0
503.86/504.04	c  501s |      12 |    46522 |    33119 |    21943      1 |        1 |        0
507.46/507.68	c  505s |      12 |    46754 |    33319 |    21943      1 |        1 |        0
511.16/511.39	c  508s |      12 |    46985 |    33519 |    21943      1 |        1 |        0
514.86/515.10	c  512s |      12 |    47225 |    33719 |    21943      1 |        1 |        0
518.36/518.52	c  516s |      12 |    47456 |    33919 |    21943      1 |        1 |        0
520.65/520.83	c  518s |      12 |    47564 |    34019 |    21943      1 |        1 |        0
522.95/523.17	c  520s |      12 |    47680 |    34119 |    21943      1 |        1 |        0
526.46/526.64	c  524s |      12 |    47910 |    34319 |    21943      1 |        1 |        0
530.36/530.53	c  528s |      12 |    48135 |    34519 |    21943      1 |        1 |        0
534.16/534.35	c  531s |      12 |    48359 |    34719 |    21943      1 |        1 |        0
537.66/537.81	c  535s |      12 |    48599 |    34919 |    21943      1 |        1 |        0
541.16/541.37	c  538s |      12 |    48827 |    35119 |    21943      1 |        1 |        0
543.15/543.40	c  540s |      12 |    48935 |    35219 |    21943      1 |        1 |        0
545.35/545.52	c  543s |      12 |    49053 |    35319 |    21943      1 |        1 |        0
549.25/549.40	c  546s |      12 |    49297 |    35519 |    21943      1 |        1 |        0
553.15/553.40	c  550s |      12 |    49517 |    35719 |    21943      1 |        1 |        0
555.25/555.46	c  552s |      12 |    49634 |    35819 |    21943      1 |        1 |        0
559.34/559.50	c  557s |      12 |    49843 |    36019 |    21943      1 |        1 |        0
561.44/561.65	c  559s |      12 |    49953 |    36119 |    21943      1 |        1 |        0
563.54/563.70	c  561s |      12 |    50069 |    36219 |    21943      1 |        1 |        0
567.04/567.28	c  564s |      12 |    50312 |    36419 |    21943      1 |        1 |        0
570.84/571.06	c  568s |      12 |    50536 |    36619 |    21943      1 |        1 |        0
574.93/575.11	c  572s |      12 |    50771 |    36819 |    21943      1 |        1 |        0
576.93/577.15	c  574s |      12 |    50891 |    36919 |    21943      1 |        1 |        0
579.03/579.22	c  576s |      12 |    50999 |    37019 |    21943      1 |        1 |        0
582.84/583.02	c  580s |      12 |    51244 |    37219 |    21943      1 |        1 |        0
584.93/585.18	c  582s |      12 |    51353 |    37319 |    21943      1 |        1 |        0
588.72/588.97	c  586s |      12 |    51574 |    37519 |    21943      1 |        1 |        0
592.73/592.99	c  590s |      12 |    51795 |    37719 |    21943      1 |        1 |        0
594.93/595.15	c  592s |      12 |    51898 |    37819 |    21943      1 |        1 |        0
597.13/597.37	c  594s |      12 |    51998 |    37919 |    21943      1 |        1 |        0
601.32/601.56	c  599s |      12 |    52223 |    38119 |    21943      1 |        1 |        0
603.92/604.18	c  601s |      12 |    52326 |    38219 |    21943      2 |        1 |        0
606.52/606.74	c  604s |      12 |    52440 |    38319 |    21943      2 |        1 |        0
610.33/610.52	c  608s |      12 |    52663 |    38519 |    21943      2 |        1 |        0
612.53/612.74	c  610s |      12 |    52777 |    38619 |    24138      2 |        1 |        0
614.62/614.82	c  612s |      12 |    52890 |    38719 |    24138      2 |        1 |        0
616.82/617.02	c  614s |      12 |    53008 |    38819 |    24138      2 |        1 |        0
617.22/617.47	c  614s |      13 |    53021 |    38832 |    24138      2 |        1 |        0
619.42/619.61	c  617s |      13 |    53302 |    39032 |    24138      2 |        1 |        0
621.72/621.91	c  619s |      13 |    53566 |    39232 |    24138      2 |        1 |        0
624.92/625.11	c  622s |      13 |    53947 |    39532 |    24138      2 |        1 |        0
628.31/628.52	c  626s |      13 |    54182 |    39732 |    24138      2 |        1 |        0
631.01/631.26	c  628s |      13 |    54456 |    39932 |    24138      2 |        1 |        0
634.11/634.34	c  631s |      13 |    54708 |    40132 |    24138      2 |        1 |        0
637.01/637.24	c  634s |      13 |    54953 |    40332 |    24138      2 |        1 |        0
639.91/640.11	c  637s |      13 |    55208 |    40532 |    24138      2 |        1 |        0
642.81/643.07	c  640s |      13 |    55463 |    40732 |    24138      2 |        1 |        0
646.31/646.57	c  644s |      13 |    55711 |    40932 |    24138      2 |        1 |        0
648.41/648.64	c  646s |      13 |    55827 |    41032 |    24138      2 |        1 |        0
651.02/651.25	c  648s |      13 |    56119 |    41232 |    24138      2 |        1 |        0
654.01/654.20	c  651s |      13 |    56420 |    41432 |    24138      2 |        1 |        0
657.21/657.46	c  654s |      13 |    56667 |    41632 |    24138      2 |        1 |        0
660.60/660.80	c  658s |      13 |    56900 |    41832 |    24138      2 |        1 |        0
663.40/663.65	c  661s |      13 |    57141 |    42032 |    24138      2 |        1 |        0
666.51/666.71	c  664s |      13 |    57390 |    42232 |    24138      2 |        1 |        0
670.00/670.23	c  667s |      13 |    57619 |    42432 |    24138      2 |        1 |        0
673.30/673.52	c  671s |      13 |    57861 |    42632 |    24138      2 |        1 |        0
676.10/676.31	c  673s |      13 |    58136 |    42832 |    24138      2 |        1 |        0
678.89/679.17	c  676s |      13 |    58424 |    43032 |    24138      2 |        1 |        0
681.99/682.23	c  679s |      13 |    58645 |    43232 |    24138      2 |        1 |        0
684.79/685.05	c  682s |      13 |    58883 |    43432 |    24138      2 |        1 |        0
687.09/687.36	c  684s |      13 |    58994 |    43532 |    24138      2 |        1 |        0
690.60/690.88	c  688s |      13 |    59213 |    43732 |    24138      2 |        1 |        0
694.79/695.02	c  692s |      13 |    59444 |    43932 |    24138      2 |        1 |        0
698.30/698.52	c  696s |      13 |    59684 |    44132 |    24138      2 |        1 |        0
700.79/701.07	c  698s |      13 |    59935 |    44332 |    24138      2 |        1 |        0
703.59/703.86	c  701s |      13 |    60200 |    44532 |    24138      2 |        1 |        0
705.78/706.05	c  703s |      13 |    60483 |    44732 |    24138      2 |        1 |        0
708.08/708.38	c  705s |      13 |    60772 |    44932 |    24138      2 |        1 |        0
710.68/710.90	c  708s |      13 |    61033 |    45132 |    24138      2 |        1 |        0
714.58/714.86	c  712s |      13 |    61263 |    45332 |    24138      2 |        1 |        0
717.88/718.13	c  715s |      13 |    61538 |    45532 |    24138      2 |        1 |        0
721.17/721.47	c  718s |      13 |    61792 |    45732 |    24138      2 |        1 |        0
724.97/725.20	c  722s |      13 |    62025 |    45932 |    24138      2 |        1 |        0
728.57/728.86	c  726s |      13 |    62259 |    46132 |    24138      2 |        1 |        0
732.37/732.65	c  730s |      13 |    62496 |    46332 |    24138      2 |        1 |        0
734.47/734.71	c  732s |      13 |    62606 |    46432 |    24138      2 |        1 |        0
736.88/737.17	c  734s |      13 |    62720 |    46532 |    24138      2 |        1 |        0
740.36/740.66	c  738s |      13 |    62975 |    46732 |    24138      2 |        1 |        0
743.86/744.17	c  741s |      13 |    63230 |    46932 |    24138      2 |        1 |        0
747.36/747.66	c  745s |      13 |    63450 |    47132 |    24138      2 |        1 |        0
750.86/751.16	c  748s |      13 |    63686 |    47332 |    24138      2 |        1 |        0
754.76/755.04	c  752s |      13 |    63921 |    47532 |    24138      2 |        1 |        0
758.66/758.97	c  756s |      13 |    64160 |    47732 |    24138      2 |        1 |        0
762.56/762.87	c  760s |      13 |    64387 |    47932 |    24138      2 |        1 |        0
766.16/766.46	c  763s |      13 |    64624 |    48132 |    24138      2 |        1 |        0
770.06/770.32	c  767s |      13 |    64861 |    48332 |    24138      2 |        1 |        0
772.07/772.38	c  769s |      13 |    64994 |    48432 |    24138      2 |        1 |        0
775.96/776.20	c  773s |      13 |    65230 |    48632 |    24138      2 |        1 |        0
779.25/779.58	c  777s |      13 |    65489 |    48832 |    24138      2 |        1 |        0
782.06/782.31	c  779s |      13 |    65732 |    49032 |    24138      2 |        1 |        0
785.05/785.38	c  782s |      13 |    66004 |    49232 |    24138      2 |        1 |        0
788.25/788.59	c  786s |      13 |    66241 |    49432 |    24138      2 |        1 |        0
791.86/792.17	c  789s |      13 |    66499 |    49632 |    24138      2 |        1 |        0
795.06/795.37	c  792s |      13 |    66735 |    49832 |    24138      2 |        1 |        0
799.14/799.44	c  796s |      13 |    66997 |    50032 |    24138      3 |        1 |        0
802.04/802.38	c  799s |      13 |    67227 |    50232 |    24138      3 |        1 |        0
806.15/806.46	c  803s |      13 |    67468 |    50432 |    24138      3 |        1 |        0
808.14/808.47	c  805s |      13 |    67576 |    50532 |    24138      3 |        1 |        0
811.34/811.60	c  809s |      13 |    67823 |    50732 |    24138      3 |        1 |        0
813.34/813.66	c  811s |      13 |    67932 |    50832 |    24138      3 |        1 |        0
815.64/815.99	c  813s |      13 |    68071 |    50932 |    24138      3 |        1 |        0
819.34/819.66	c  817s |      13 |    68288 |    51132 |    24138      3 |        1 |        0
821.44/821.73	c  819s |      13 |    68393 |    51232 |    24138      3 |        1 |        0
825.43/825.77	c  823s |      13 |    68626 |    51432 |    24138      3 |        1 |        0
827.63/827.91	c  825s |      13 |    68752 |    51532 |    24138      3 |        1 |        0
831.13/831.46	c  828s |      13 |    69038 |    51732 |    24138      3 |        1 |        0
833.23/833.51	c  831s |      13 |    69159 |    51832 |    24138      3 |        1 |        0
836.84/837.17	c  834s |      13 |    69391 |    52032 |    24138      3 |        1 |        0
838.83/839.18	c  836s |      13 |    69508 |    52132 |    24138      3 |        1 |        0
842.62/842.99	c  840s |      13 |    69752 |    52332 |    24138      3 |        1 |        0
846.52/846.86	c  844s |      13 |    69977 |    52532 |    24138      3 |        1 |        0
848.72/849.03	c  846s |      13 |    70108 |    52632 |    24138      3 |        1 |        0
852.12/852.41	c  849s |      13 |    70343 |    52832 |    24138      3 |        1 |        0
856.02/856.39	c  853s |      13 |    70574 |    53032 |    24138      3 |        1 |        0
859.93/860.21	c  857s |      13 |    70792 |    53232 |    24138      3 |        1 |        0
863.52/863.84	c  861s |      13 |    71051 |    53432 |    24138      3 |        1 |        0
865.92/866.22	c  863s |      13 |    71162 |    53532 |    24138      3 |        1 |        0
869.41/869.77	c  867s |      13 |    71407 |    53732 |    24138      3 |        1 |        0
872.81/873.19	c  870s |      13 |    71627 |    53932 |    24138      3 |        1 |        0
876.52/876.84	c  874s |      13 |    71857 |    54132 |    24138      3 |        1 |        0
878.61/878.98	c  876s |      13 |    71959 |    54232 |    24138      3 |        1 |        0
882.20/882.56	c  880s |      13 |    72216 |    54432 |    24138      3 |        1 |        0
885.90/886.28	c  883s |      13 |    72441 |    54632 |    24138      3 |        1 |        0
889.71/890.05	c  887s |      13 |    72664 |    54832 |    24138      3 |        1 |        0
892.00/892.31	c  889s |      13 |    72830 |    54932 |    24138      3 |        1 |        0
894.90/895.23	c  892s |      13 |    73095 |    55132 |    24138      3 |        1 |        0
897.31/897.61	c  895s |      13 |    73311 |    55332 |    24138      3 |        1 |        0
899.30/899.65	c  897s |      13 |    73525 |    55532 |    24138      3 |        1 |        0
902.30/902.66	c  900s |      13 |    73774 |    55732 |    24138      3 |        1 |        0
904.60/904.98	c  902s |      13 |    74005 |    55932 |    24138      3 |        1 |        0
906.70/907.04	c  904s |      13 |    74270 |    56132 |    24138      3 |        1 |        0
909.20/909.51	c  907s |      13 |    74489 |    56332 |    24138      3 |        1 |        0
912.40/912.71	c  910s |      13 |    74782 |    56532 |    24138      3 |        1 |        0
915.39/915.77	c  913s |      13 |    75042 |    56732 |    24138      3 |        1 |        0
918.69/919.02	c  916s |      13 |    75308 |    56932 |    24138      3 |        1 |        0
921.60/921.96	c  919s |      13 |    75554 |    57132 |    24138      3 |        1 |        0
924.39/924.77	c  922s |      13 |    75771 |    57332 |    24138      3 |        1 |        0
927.59/927.97	c  925s |      13 |    76003 |    57532 |    24138      3 |        1 |        0
930.69/931.05	c  928s |      13 |    76246 |    57732 |    24138      3 |        1 |        0
934.09/934.40	c  931s |      13 |    76507 |    57932 |    24138      3 |        1 |        0
936.49/936.89	c  934s |      13 |    76750 |    58132 |    26552      3 |        1 |        0
939.69/940.01	c  937s |      13 |    76978 |    58332 |    26552      3 |        1 |        0
940.09/940.40	c  937s |      14 |    77001 |    58352 |    26552      3 |        1 |        0
943.19/943.53	c  941s |      14 |    77354 |    58552 |    26552      3 |        1 |        0
946.09/946.48	c  943s |      14 |    77606 |    58752 |    26552      3 |        1 |        0
949.49/949.85	c  947s |      14 |    77839 |    58952 |    26552      3 |        1 |        0
952.19/952.51	c  950s |      14 |    78154 |    59152 |    26552      3 |        1 |        0
954.39/954.77	c  952s |      14 |    78410 |    59352 |    26552      3 |        1 |        0
957.09/957.41	c  954s |      14 |    78692 |    59552 |    26552      3 |        1 |        0
959.19/959.57	c  957s |      14 |    78939 |    59752 |    26552      3 |        1 |        0
961.79/962.10	c  959s |      14 |    79214 |    59952 |    26552      3 |        1 |        0
964.40/964.78	c  962s |      14 |    79491 |    60152 |    26552      3 |        1 |        0
966.60/966.99	c  964s |      14 |    79745 |    60352 |    26552      3 |        1 |        0
969.39/969.72	c  967s |      14 |    79973 |    60552 |    26552      3 |        1 |        0
971.79/972.19	c  969s |      14 |    80232 |    60752 |    26552      3 |        1 |        0
974.19/974.60	c  972s |      14 |    80469 |    60952 |    26552      3 |        1 |        0
977.08/977.40	c  974s |      14 |    80725 |    61152 |    26552      3 |        1 |        0
979.48/979.84	c  977s |      14 |    80987 |    61352 |    26552      3 |        1 |        0
981.68/982.08	c  979s |      14 |    81107 |    61452 |    26552      3 |        1 |        0
984.98/985.35	c  982s |      14 |    81403 |    61652 |    26552      3 |        1 |        0
987.98/988.34	c  985s |      14 |    81722 |    61852 |    26552      3 |        1 |        0
990.89/991.21	c  988s |      14 |    81964 |    62052 |    26552      3 |        1 |        0
993.98/994.35	c  991s |      14 |    82201 |    62252 |    26552      3 |        1 |        0
996.48/996.88	c  994s |      14 |    82456 |    62452 |    26552      3 |        1 |        0
999.28/999.64	c  997s |      14 |    82715 |    62652 |    26552      3 |        1 |        0
1001.89/1002.28	c  999s |      14 |    82966 |    62852 |    26552      3 |        1 |        0
1004.58/1004.99	c 1002s |      14 |    83214 |    63052 |    26552      3 |        1 |        0
1007.48/1007.86	c 1005s |      14 |    83457 |    63252 |    26552      3 |        1 |        0
1010.48/1010.88	c 1008s |      14 |    83695 |    63452 |    26552      3 |        1 |        0
1013.48/1013.84	c 1011s |      14 |    83970 |    63652 |    26552      3 |        1 |        0
1016.68/1017.02	c 1014s |      14 |    84239 |    63852 |    26552      3 |        1 |        0
1020.38/1020.73	c 1018s |      14 |    84464 |    64052 |    26552      3 |        1 |        0
1024.48/1024.83	c 1022s |      14 |    84688 |    64252 |    26552      3 |        1 |        0
1027.88/1028.27	c 1025s |      14 |    84916 |    64452 |    26552      3 |        1 |        0
1030.88/1031.21	c 1028s |      14 |    85154 |    64652 |    26552      3 |        1 |        0
1033.88/1034.26	c 1031s |      14 |    85404 |    64852 |    26552      3 |        1 |        0
1036.68/1037.09	c 1034s |      14 |    85653 |    65052 |    26552      3 |        1 |        0
1039.87/1040.28	c 1037s |      14 |    85932 |    65252 |    26552      3 |        1 |        0
1043.27/1043.66	c 1041s |      14 |    86209 |    65452 |    26552      3 |        1 |        0
1045.97/1046.38	c 1043s |      14 |    86470 |    65652 |    26552      3 |        1 |        0
1048.27/1048.67	c 1046s |      14 |    86596 |    65752 |    26552      3 |        1 |        0
1051.97/1052.31	c 1049s |      14 |    86838 |    65952 |    26552      3 |        1 |        0
1054.17/1054.52	c 1052s |      14 |    86942 |    66052 |    26552      3 |        1 |        0
1057.47/1057.82	c 1055s |      14 |    87188 |    66252 |    26552      3 |        1 |        0
1059.57/1059.98	c 1057s |      14 |    87296 |    66352 |    26552      3 |        1 |        0
1062.57/1062.98	c 1060s |      14 |    87528 |    66552 |    26552      3 |        1 |        0
1065.07/1065.42	c 1062s |      14 |    87640 |    66652 |    26552      3 |        1 |        0
1067.07/1067.46	c 1064s |      14 |    87751 |    66752 |    26552      3 |        1 |        0
1069.37/1069.79	c 1067s |      14 |    87865 |    66852 |    26552      3 |        1 |        0
1072.97/1073.31	c 1070s |      14 |    88106 |    67052 |    26552      3 |        1 |        0
1076.58/1076.97	c 1074s |      14 |    88363 |    67252 |    26552      3 |        1 |        0
1080.17/1080.58	c 1078s |      14 |    88581 |    67452 |    26552      3 |        1 |        0
1082.47/1082.89	c 1080s |      14 |    88697 |    67552 |    26552      4 |        1 |        0
1084.57/1084.99	c 1082s |      14 |    88806 |    67652 |    26552      4 |        1 |        0
1087.68/1088.10	c 1085s |      14 |    89035 |    67852 |    26552      4 |        1 |        0
1091.06/1091.40	c 1088s |      14 |    89289 |    68052 |    26552      4 |        1 |        0
1093.17/1093.52	c 1091s |      14 |    89397 |    68152 |    26552      4 |        1 |        0
1095.56/1096.00	c 1093s |      14 |    89505 |    68252 |    26552      4 |        1 |        0
1097.76/1098.18	c 1095s |      14 |    89609 |    68352 |    26552      4 |        1 |        0
1101.16/1101.60	c 1099s |      14 |    89882 |    68552 |    26552      4 |        1 |        0
1104.96/1105.36	c 1102s |      14 |    90121 |    68752 |    26552      4 |        1 |        0
1108.47/1108.86	c 1106s |      14 |    90446 |    68952 |    26552      4 |        1 |        0
1111.06/1111.44	c 1108s |      14 |    90707 |    69152 |    26552      4 |        1 |        0
1113.86/1114.27	c 1111s |      14 |    91012 |    69352 |    26552      4 |        1 |        0
1116.76/1117.18	c 1114s |      14 |    91252 |    69552 |    26552      4 |        1 |        0
1120.26/1120.63	c 1118s |      14 |    91488 |    69752 |    26552      4 |        1 |        0
1123.46/1123.80	c 1121s |      14 |    91730 |    69952 |    26552      4 |        1 |        0
1126.96/1127.30	c 1124s |      14 |    91968 |    70152 |    26552      4 |        1 |        0
1130.26/1130.64	c 1128s |      14 |    92210 |    70352 |    26552      4 |        1 |        0
1132.67/1133.03	c 1130s |      14 |    92493 |    70552 |    26552      4 |        1 |        0
1135.46/1135.83	c 1133s |      14 |    92756 |    70752 |    26552      4 |        1 |        0
1137.66/1138.00	c 1135s |      14 |    93027 |    70952 |    26552      4 |        1 |        0
1140.66/1141.00	c 1138s |      14 |    93311 |    71152 |    26552      4 |        1 |        0
1143.16/1143.52	c 1141s |      14 |    93577 |    71352 |    26552      4 |        1 |        0
1146.16/1146.59	c 1144s |      14 |    93839 |    71552 |    26552      4 |        1 |        0
1149.06/1149.48	c 1146s |      14 |    94101 |    71752 |    26552      4 |        1 |        0
1152.25/1152.65	c 1150s |      14 |    94347 |    71952 |    26552      4 |        1 |        0
1155.45/1155.87	c 1153s |      14 |    94614 |    72152 |    26552      4 |        1 |        0
1158.65/1159.09	c 1156s |      14 |    94896 |    72352 |    26552      4 |        1 |        0
1161.65/1162.01	c 1159s |      14 |    95157 |    72552 |    26552      4 |        1 |        0
1165.05/1165.47	c 1162s |      14 |    95400 |    72752 |    26552      4 |        1 |        0
1168.15/1168.58	c 1166s |      14 |    95628 |    72952 |    26552      4 |        1 |        0
1170.35/1170.76	c 1168s |      14 |    95737 |    73052 |    26552      4 |        1 |        0
1172.45/1172.87	c 1170s |      14 |    95849 |    73152 |    26552      4 |        1 |        0
1176.25/1176.60	c 1174s |      14 |    96069 |    73352 |    26552      4 |        1 |        0
1179.96/1180.37	c 1177s |      14 |    96304 |    73552 |    26552      4 |        1 |        0
1183.15/1183.50	c 1181s |      14 |    96555 |    73752 |    26552      4 |        1 |        0
1186.05/1186.48	c 1183s |      14 |    96796 |    73952 |    26552      4 |        1 |        0
1189.35/1189.72	c 1187s |      14 |    97035 |    74152 |    26552      4 |        1 |        0
1192.25/1192.65	c 1190s |      14 |    97269 |    74352 |    26552      4 |        1 |        0
1195.55/1195.95	c 1193s |      14 |    97508 |    74552 |    26552      4 |        1 |        0
1198.85/1199.29	c 1196s |      14 |    97732 |    74752 |    26552      4 |        1 |        0
1201.65/1202.05	c 1199s |      14 |    97997 |    74952 |    26552      4 |        1 |        0
1204.16/1204.59	c 1202s |      14 |    98258 |    75152 |    26552      4 |        1 |        0
1207.56/1207.99	c 1205s |      14 |    98498 |    75352 |    26552      4 |        1 |        0
1210.15/1210.56	c 1208s |      14 |    98733 |    75552 |    26552      4 |        1 |        0
1213.15/1213.55	c 1211s |      14 |    98969 |    75752 |    26552      4 |        1 |        0
1216.75/1217.10	c 1214s |      14 |    99228 |    75952 |    26552      4 |        1 |        0
1220.25/1220.66	c 1218s |      14 |    99463 |    76152 |    26552      4 |        1 |        0
1222.35/1222.75	c 1220s |      14 |    99599 |    76252 |    26552      4 |        1 |        0
1224.55/1224.95	c 1222s |      14 |    99840 |    76452 |    26552      4 |        1 |        0
1227.36/1227.77	c 1225s |      14 |   100120 |    76652 |    26552      4 |        1 |        0
1230.05/1230.41	c 1227s |      14 |   100378 |    76852 |    26552      4 |        1 |        0
1232.35/1232.73	c 1230s |      14 |   100633 |    77052 |    26552      4 |        1 |        0
1235.06/1235.45	c 1232s |      14 |   100902 |    77252 |    26552      4 |        1 |        0
1237.55/1237.97	c 1235s |      14 |   101136 |    77452 |    26552      4 |        1 |        0
1240.15/1240.58	c 1238s |      14 |   101386 |    77652 |    26552      4 |        1 |        0
1243.05/1243.40	c 1240s |      14 |   101631 |    77852 |    26552      4 |        1 |        0
1245.75/1246.13	c 1243s |      14 |   101874 |    78052 |    26552      4 |        1 |        0
1248.16/1248.56	c 1246s |      14 |   102136 |    78252 |    26552      4 |        1 |        0
1250.65/1251.08	c 1248s |      14 |   102370 |    78452 |    26552      4 |        1 |        0
1253.76/1254.17	c 1251s |      14 |   102608 |    78652 |    26552      4 |        1 |        0
1256.35/1256.77	c 1254s |      14 |   102830 |    78852 |    26552      4 |        1 |        0
1259.65/1260.04	c 1257s |      14 |   103079 |    79052 |    26552      4 |        1 |        0
1262.95/1263.39	c 1260s |      14 |   103327 |    79252 |    26552      4 |        1 |        0
1267.05/1267.47	c 1264s |      14 |   103555 |    79452 |    26552      4 |        1 |        0
1270.05/1270.45	c 1267s |      14 |   103796 |    79652 |    26552      4 |        1 |        0
1273.65/1274.00	c 1271s |      14 |   104058 |    79852 |    26552      4 |        1 |        0
1277.54/1277.98	c 1275s |      14 |   104289 |    80052 |    26552      4 |        1 |        0
1280.64/1281.07	c 1278s |      14 |   104525 |    80252 |    26552      4 |        1 |        0
1284.34/1284.78	c 1282s |      14 |   104746 |    80452 |    26552      4 |        1 |        0
1288.04/1288.49	c 1285s |      14 |   104985 |    80652 |    26552      4 |        1 |        0
1291.64/1292.00	c 1289s |      14 |   105216 |    80852 |    26552      4 |        1 |        0
1295.24/1295.62	c 1293s |      14 |   105434 |    81052 |    26552      4 |        1 |        0
1297.34/1297.71	c 1295s |      14 |   105547 |    81152 |    26552      4 |        1 |        0
1300.95/1301.32	c 1298s |      14 |   105796 |    81352 |    26552      4 |        1 |        0
1303.64/1304.05	c 1301s |      14 |   105901 |    81452 |    26552      5 |        1 |        0
1306.14/1306.58	c 1304s |      14 |   106016 |    81552 |    26552      5 |        1 |        0
1309.44/1309.85	c 1307s |      14 |   106275 |    81752 |    26552      5 |        1 |        0
1311.95/1312.33	c 1309s |      14 |   106526 |    81952 |    26552      5 |        1 |        0
1314.94/1315.37	c 1312s |      14 |   106782 |    82152 |    26552      5 |        1 |        0
1317.84/1318.28	c 1315s |      14 |   107034 |    82352 |    26552      5 |        1 |        0
1320.94/1321.30	c 1318s |      14 |   107292 |    82552 |    26552      5 |        1 |        0
1324.44/1324.87	c 1322s |      14 |   107554 |    82752 |    26552      5 |        1 |        0
1327.94/1328.35	c 1325s |      14 |   107793 |    82952 |    26552      5 |        1 |        0
1331.44/1331.87	c 1329s |      14 |   108068 |    83152 |    26552      5 |        1 |        0
1333.54/1333.93	c 1331s |      14 |   108327 |    83352 |    26552      5 |        1 |        0
1336.64/1337.03	c 1334s |      14 |   108580 |    83552 |    26552      5 |        1 |        0
1339.04/1339.48	c 1336s |      14 |   108842 |    83752 |    26552      5 |        1 |        0
1341.04/1341.50	c 1339s |      14 |   108967 |    83852 |    26552      5 |        1 |        0
1343.95/1344.31	c 1341s |      14 |   109209 |    84052 |    26552      5 |        1 |        0
1347.25/1347.64	c 1345s |      14 |   109437 |    84252 |    26552      5 |        1 |        0
1350.03/1350.49	c 1347s |      14 |   109682 |    84452 |    26552      5 |        1 |        0
1352.83/1353.23	c 1350s |      14 |   109934 |    84652 |    26552      5 |        1 |        0
1355.83/1356.21	c 1353s |      14 |   110173 |    84852 |    26552      5 |        1 |        0
1359.34/1359.71	c 1357s |      14 |   110419 |    85052 |    26552      5 |        1 |        0
1362.33/1362.77	c 1360s |      14 |   110671 |    85252 |    26552      5 |        1 |        0
1364.53/1364.94	c 1362s |      14 |   110801 |    85352 |    26552      5 |        1 |        0
1367.23/1367.64	c 1365s |      14 |   111040 |    85552 |    26552      5 |        1 |        0
1370.24/1370.65	c 1368s |      14 |   111307 |    85752 |    26552      5 |        1 |        0
1373.93/1374.39	c 1371s |      14 |   111563 |    85952 |    26552      5 |        1 |        0
1376.03/1376.46	c 1373s |      14 |   111674 |    86052 |    26552      5 |        1 |        0
1379.04/1379.49	c 1377s |      14 |   111923 |    86252 |    26552      5 |        1 |        0
1382.73/1383.14	c 1380s |      14 |   112166 |    86452 |    26552      5 |        1 |        0
1386.23/1386.65	c 1384s |      14 |   112405 |    86652 |    26552      5 |        1 |        0
1388.23/1388.69	c 1386s |      14 |   112516 |    86752 |    26552      5 |        1 |        0
1390.43/1390.83	c 1388s |      14 |   112623 |    86852 |    26552      5 |        1 |        0
1392.53/1392.95	c 1390s |      14 |   112735 |    86952 |    26552      5 |        1 |        0
1394.63/1395.03	c 1392s |      14 |   112851 |    87052 |    29208      5 |        1 |        0
1398.12/1398.59	c 1396s |      14 |   113089 |    87252 |    29208      5 |        1 |        0
1401.62/1402.07	c 1399s |      14 |   113330 |    87452 |    29208      5 |        1 |        0
1403.82/1404.26	c 1401s |      14 |   113447 |    87552 |    29208      5 |        1 |        0
1405.32/1405.77	c 1403s |      15 |   113535 |    87632 |    29208      5 |        1 |        0
1407.92/1408.37	c 1405s |      15 |   113850 |    87832 |    29208      5 |        1 |        0
1410.22/1410.69	c 1408s |      15 |   114079 |    88032 |    29208      5 |        1 |        0
1412.62/1413.03	c 1410s |      15 |   114316 |    88232 |    29208      5 |        1 |        0
1415.22/1415.65	c 1413s |      15 |   114529 |    88432 |    29208      5 |        1 |        0
1417.32/1417.70	c 1415s |      15 |   114778 |    88632 |    29208      5 |        1 |        0
1419.73/1420.19	c 1417s |      15 |   115008 |    88832 |    29208      5 |        1 |        0
1422.32/1422.74	c 1420s |      15 |   115261 |    89032 |    29208      5 |        1 |        0
1425.23/1425.68	c 1423s |      15 |   115643 |    89332 |    29208      5 |        1 |        0
1428.22/1428.65	c 1426s |      15 |   116023 |    89632 |    29208      5 |        1 |        0
1430.32/1430.74	c 1428s |      15 |   116249 |    89832 |    29208      5 |        1 |        0
1432.42/1432.86	c 1430s |      15 |   116504 |    90032 |    29208      5 |        1 |        0
1435.02/1435.44	c 1432s |      15 |   116773 |    90232 |    29208      5 |        1 |        0
1437.02/1437.46	c 1434s |      15 |   116991 |    90432 |    29208      5 |        1 |        0
1439.32/1439.79	c 1437s |      15 |   117224 |    90632 |    29208      5 |        1 |        0
1441.83/1442.21	c 1439s |      15 |   117475 |    90832 |    29208      5 |        1 |        0
1444.32/1444.73	c 1442s |      15 |   117807 |    91032 |    29208      5 |        1 |        0
1446.82/1447.29	c 1444s |      15 |   118200 |    91332 |    29208      5 |        1 |        0
1449.21/1449.68	c 1447s |      15 |   118453 |    91532 |    29208      5 |        1 |        0
1451.41/1451.81	c 1449s |      15 |   118740 |    91732 |    29208      5 |        1 |        0
1453.51/1453.94	c 1451s |      15 |   118981 |    91932 |    29208      5 |        1 |        0
1456.12/1456.58	c 1454s |      15 |   119208 |    92132 |    29208      5 |        1 |        0
1458.61/1459.03	c 1456s |      15 |   119445 |    92332 |    29208      5 |        1 |        0
1461.11/1461.54	c 1459s |      15 |   119695 |    92532 |    29208      5 |        1 |        0
1463.61/1464.05	c 1461s |      15 |   119940 |    92732 |    29208      5 |        1 |        0
1466.31/1466.70	c 1464s |      15 |   120174 |    92932 |    29208      5 |        1 |        0
1468.61/1469.08	c 1466s |      15 |   120396 |    93132 |    29208      5 |        1 |        0
1471.52/1471.94	c 1469s |      15 |   120789 |    93432 |    29208      5 |        1 |        0
1474.72/1475.13	c 1472s |      15 |   121217 |    93732 |    29208      5 |        1 |        0
1477.02/1477.44	c 1474s |      15 |   121441 |    93932 |    29208      5 |        1 |        0
1479.61/1480.03	c 1477s |      15 |   121713 |    94132 |    29208      5 |        1 |        0
1482.31/1482.72	c 1480s |      15 |   121949 |    94332 |    29208      5 |        1 |        0
1484.91/1485.31	c 1482s |      15 |   122236 |    94532 |    29208      5 |        1 |        0
1487.61/1488.05	c 1485s |      15 |   122613 |    94832 |    29208      5 |        1 |        0
1490.31/1490.74	c 1488s |      15 |   122891 |    95032 |    29208      5 |        1 |        0
1493.31/1493.71	c 1491s |      15 |   123130 |    95232 |    29208      5 |        1 |        0
1496.01/1496.42	c 1493s |      15 |   123450 |    95432 |    29208      5 |        1 |        0
1499.02/1499.48	c 1496s |      15 |   123825 |    95732 |    29208      5 |        1 |        0
1501.11/1501.52	c 1499s |      15 |   124099 |    95932 |    29208      5 |        1 |        0
1503.31/1503.77	c 1501s |      15 |   124356 |    96132 |    29208      5 |        1 |        0
1506.20/1506.66	c 1504s |      15 |   124620 |    96332 |    29208      5 |        1 |        0
1509.40/1509.84	c 1507s |      15 |   124884 |    96532 |    29208      5 |        1 |        0
1511.80/1512.23	c 1509s |      15 |   125112 |    96732 |    29208      5 |        1 |        0
1515.20/1515.63	c 1513s |      15 |   125327 |    96932 |    29208      5 |        1 |        0
1518.20/1518.63	c 1516s |      15 |   125578 |    97132 |    29208      5 |        1 |        0
1520.20/1520.68	c 1518s |      15 |   125865 |    97332 |    29208      5 |        1 |        0
1522.90/1523.36	c 1520s |      15 |   126128 |    97532 |    29208      5 |        1 |        0
1525.80/1526.21	c 1523s |      15 |   126399 |    97732 |    29208      5 |        1 |        0
1529.00/1529.41	c 1526s |      15 |   126624 |    97932 |    29208      5 |        1 |        0
1532.10/1532.54	c 1530s |      15 |   126873 |    98132 |    29208      5 |        1 |        0
1535.21/1535.64	c 1533s |      15 |   127123 |    98332 |    29208      5 |        1 |        0
1538.10/1538.53	c 1536s |      15 |   127384 |    98532 |    29208      5 |        1 |        0
1540.30/1540.72	c 1538s |      15 |   127504 |    98632 |    29208      5 |        1 |        0
1543.01/1543.42	c 1540s |      15 |   127770 |    98832 |    29208      5 |        1 |        0
1547.20/1547.70	c 1545s |      15 |   128018 |    99032 |    29208      6 |        1 |        0
1549.70/1550.19	c 1547s |      15 |   128282 |    99232 |    29208      6 |        1 |        0
1552.50/1552.98	c 1550s |      15 |   128505 |    99432 |    29208      6 |        1 |        0
1555.70/1556.20	c 1553s |      15 |   128746 |    99632 |    29208      6 |        1 |        0
1558.41/1558.82	c 1556s |      15 |   128972 |    99832 |    29208      6 |        1 |        0
1561.00/1561.41	c 1558s |      15 |   129205 |   100032 |    29208      6 |        1 |        0
1563.80/1564.30	c 1561s |      15 |   129460 |   100232 |    29208      6 |        1 |        0
1567.39/1567.81	c 1565s |      15 |   129690 |   100432 |    29208      6 |        1 |        0
1570.59/1571.08	c 1568s |      15 |   129928 |   100632 |    29208      6 |        1 |        0
1573.89/1574.35	c 1571s |      15 |   130139 |   100832 |    29208      6 |        1 |        0
1577.69/1578.16	c 1575s |      15 |   130356 |   101032 |    29208      6 |        1 |        0
1581.69/1582.19	c 1579s |      15 |   130581 |   101232 |    29208      6 |        1 |        0
1584.49/1584.96	c 1582s |      15 |   130815 |   101432 |    29208      6 |        1 |        0
1587.79/1588.20	c 1585s |      15 |   131040 |   101632 |    29208      6 |        1 |        0
1590.99/1591.48	c 1588s |      15 |   131272 |   101832 |    29208      6 |        1 |        0
1593.09/1593.55	c 1591s |      15 |   131385 |   101932 |    29208      6 |        1 |        0
1595.89/1596.35	c 1593s |      15 |   131617 |   102132 |    29208      6 |        1 |        0
1599.29/1599.71	c 1597s |      15 |   131870 |   102332 |    29208      6 |        1 |        0
1602.40/1602.87	c 1600s |      15 |   132109 |   102532 |    29208      6 |        1 |        0
1606.39/1606.81	c 1604s |      15 |   132372 |   102732 |    29208      6 |        1 |        0
1609.49/1609.94	c 1607s |      15 |   132752 |   103032 |    29208      6 |        1 |        0
1612.39/1612.88	c 1610s |      15 |   132967 |   103232 |    29208      6 |        1 |        0
1615.60/1616.03	c 1613s |      15 |   133224 |   103432 |    29208      6 |        1 |        0
1618.29/1618.77	c 1616s |      15 |   133470 |   103632 |    29208      6 |        1 |        0
1620.99/1621.50	c 1619s |      15 |   133736 |   103832 |    29208      6 |        1 |        0
1623.89/1624.31	c 1621s |      15 |   133959 |   104032 |    29208      6 |        1 |        0
1626.98/1627.42	c 1624s |      15 |   134207 |   104232 |    29208      6 |        1 |        0
1630.08/1630.53	c 1628s |      15 |   134465 |   104432 |    29208      6 |        1 |        0
1633.48/1633.98	c 1631s |      15 |   134802 |   104732 |    29208      6 |        1 |        0
1636.98/1637.42	c 1634s |      15 |   135033 |   104932 |    29208      6 |        1 |        0
1639.58/1640.03	c 1637s |      15 |   135319 |   105132 |    29208      6 |        1 |        0
1641.99/1642.41	c 1639s |      15 |   135584 |   105332 |    29208      6 |        1 |        0
1645.08/1645.57	c 1643s |      15 |   135822 |   105532 |    29208      6 |        1 |        0
1648.59/1649.02	c 1646s |      15 |   136060 |   105732 |    29208      6 |        1 |        0
1651.98/1652.40	c 1649s |      15 |   136292 |   105932 |    29208      6 |        1 |        0
1654.88/1655.34	c 1652s |      15 |   136519 |   106132 |    29208      6 |        1 |        0
1658.28/1658.75	c 1656s |      15 |   136753 |   106332 |    29208      6 |        1 |        0
1661.58/1662.01	c 1659s |      15 |   137007 |   106532 |    29208      6 |        1 |        0
1664.08/1664.56	c 1662s |      15 |   137262 |   106732 |    29208      6 |        1 |        0
1666.19/1666.66	c 1664s |      15 |   137390 |   106832 |    29208      6 |        1 |        0
1669.49/1670.00	c 1667s |      15 |   137608 |   107032 |    29208      6 |        1 |        0
1673.18/1673.65	c 1671s |      15 |   137862 |   107232 |    29208      6 |        1 |        0
1676.38/1676.88	c 1674s |      15 |   138117 |   107432 |    29208      6 |        1 |        0
1680.08/1680.55	c 1678s |      15 |   138352 |   107632 |    29208      6 |        1 |        0
1683.28/1683.74	c 1681s |      15 |   138628 |   107832 |    29208      6 |        1 |        0
1686.57/1687.07	c 1684s |      15 |   138846 |   108032 |    29208      6 |        1 |        0
1689.77/1690.23	c 1687s |      15 |   139127 |   108232 |    29208      6 |        1 |        0
1692.77/1693.29	c 1690s |      15 |   139407 |   108432 |    29208      6 |        1 |        0
1695.37/1695.87	c 1693s |      15 |   139645 |   108632 |    29208      6 |        1 |        0
1698.47/1698.94	c 1696s |      15 |   139875 |   108832 |    29208      6 |        1 |        0
1701.38/1701.81	c 1699s |      15 |   140097 |   109032 |    29208      6 |        1 |        0
1704.47/1704.95	c 1702s |      15 |   140327 |   109232 |    29208      6 |        1 |        0
1707.47/1707.98	c 1705s |      15 |   140566 |   109432 |    29208      6 |        1 |        0
1709.97/1710.48	c 1707s |      15 |   140868 |   109632 |    29208      6 |        1 |        0
1712.07/1712.58	c 1710s |      15 |   140993 |   109732 |    29208      6 |        1 |        0
1714.77/1715.22	c 1712s |      15 |   141272 |   109932 |    29208      6 |        1 |        0
1718.07/1718.58	c 1716s |      15 |   141550 |   110132 |    29208      6 |        1 |        0
1720.87/1721.33	c 1718s |      15 |   141818 |   110332 |    29208      6 |        1 |        0
1723.17/1723.63	c 1721s |      15 |   142052 |   110532 |    29208      6 |        1 |        0
1725.97/1726.40	c 1723s |      15 |   142326 |   110732 |    29208      6 |        1 |        0
1728.78/1729.23	c 1726s |      15 |   142549 |   110932 |    29208      6 |        1 |        0
1731.67/1732.15	c 1729s |      15 |   142783 |   111132 |    29208      6 |        1 |        0
1734.67/1735.10	c 1732s |      15 |   143068 |   111332 |    29208      6 |        1 |        0
1736.67/1737.16	c 1734s |      15 |   143182 |   111432 |    29208      6 |        1 |        0
1738.97/1739.48	c 1736s |      15 |   143446 |   111632 |    29208      6 |        1 |        0
1741.67/1742.17	c 1739s |      15 |   143696 |   111832 |    29208      6 |        1 |        0
1744.97/1745.40	c 1742s |      15 |   143944 |   112032 |    29208      6 |        1 |        0
1747.58/1748.04	c 1745s |      15 |   144190 |   112232 |    29208      6 |        1 |        0
1751.06/1751.53	c 1749s |      15 |   144437 |   112432 |    29208      6 |        1 |        0
1753.46/1753.90	c 1751s |      15 |   144696 |   112632 |    29208      6 |        1 |        0
1756.86/1757.30	c 1754s |      15 |   144946 |   112832 |    29208      6 |        1 |        0
1760.77/1761.21	c 1758s |      15 |   145193 |   113032 |    29208      6 |        1 |        0
1763.86/1764.33	c 1761s |      15 |   145493 |   113232 |    29208      6 |        1 |        0
1767.37/1767.88	c 1765s |      15 |   145752 |   113432 |    29208      6 |        1 |        0
1769.57/1770.06	c 1767s |      15 |   145876 |   113532 |    29208      6 |        1 |        0
1772.87/1773.38	c 1770s |      15 |   146140 |   113732 |    29208      6 |        1 |        0
1775.46/1775.93	c 1773s |      15 |   146377 |   113932 |    29208      6 |        1 |        0
1779.06/1779.50	c 1777s |      15 |   146626 |   114132 |    29208      6 |        1 |        0
1782.36/1782.85	c 1780s |      15 |   146866 |   114332 |    29208      6 |        1 |        0
1786.36/1786.86	c 1784s |      15 |   147090 |   114532 |    29208      6 |        1 |        0
1790.06/1790.51	c 1788s |      15 |   147324 |   114732 |    29208      6 |        1 |        0
1793.37/1793.81	c 1791s |      15 |   147446 |   114832 |    29208      7 |        1 |        0
1795.57/1796.08	c 1793s |      15 |   147625 |   114932 |    29208      7 |        1 |        0
1798.26/1798.79	c 1796s |      15 |   147882 |   115132 |    29208      7 |        1 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.11 2.09 3/261 1354
/proc/meminfo: memFree=30914852/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=764348 CPUtime=0 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 2860 0 0 0 0 0 0 0 20 0 4 0 106493840 782692352 2710 33554432000 4194304 16246674 140734017965120 140734017964544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 191855 2720 441 2943 0 188749 0
[pid=1354/tid=1355] ppid=1351 vsize=1082812 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1108799488 3954 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1087932 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1114042368 3971 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1092028 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106493840 1118236672 3989 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.11 2.11 2.09 3/261 1354
/proc/meminfo: memFree=30914852/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1221188 CPUtime=0.08 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 26849 0 0 0 5 3 0 0 20 0 4 0 106493840 1250496512 26637 33554432000 4194304 16246674 140734017965120 140734017964432 4221016 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 305297 26640 799 2943 0 302191 0
[pid=1354/tid=1355] ppid=1351 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1250496512 26642 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1250496512 26644 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1250496512 26647 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200514 s]
/proc/loadavg: 2.11 2.11 2.09 3/261 1354
/proc/meminfo: memFree=30914852/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1310276 CPUtime=0.19 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 48590 0 0 0 12 7 0 0 20 0 4 0 106493840 1341722624 48890 33554432000 4194304 16246674 140734017965120 140734017964432 4221105 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 327569 48896 799 2943 0 324463 0
[pid=1354/tid=1355] ppid=1351 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1341722624 48902 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1341722624 48907 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1310276 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1341722624 48912 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.30048 s]
/proc/loadavg: 2.11 2.11 2.09 3/261 1354
/proc/meminfo: memFree=30914852/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1314372 CPUtime=0.28 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 65055 0 0 0 20 8 0 0 20 0 4 0 106493840 1345916928 65354 33554432000 4194304 16246674 140734017965120 140734017947008 4220940 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 328593 65354 799 2943 0 325487 0
[pid=1354/tid=1355] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 65354 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 65354 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 65354 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700437 s]
/proc/loadavg: 2.11 2.11 2.09 3/261 1354
/proc/meminfo: memFree=30914852/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1314372 CPUtime=0.69 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 76336 0 0 0 59 10 0 0 20 0 4 0 106493840 1345916928 76635 33554432000 4194304 16246674 140734017965120 140734017947008 4206864 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 328593 76635 799 2943 0 325487 0
[pid=1354/tid=1355] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 76635 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 76635 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 76635 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.11 2.11 2.09 3/265 1358
/proc/meminfo: memFree=30441968/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1314372 CPUtime=1.48 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 212313 0 0 0 120 28 0 0 20 0 4 0 106493840 1345916928 212612 33554432000 4194304 16246674 140734017965120 140734017947008 12449820 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 328593 212624 833 2943 0 325487 0
[pid=1354/tid=1355] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 212630 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 212637 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1345916928 212642 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.11 2.11 2.09 3/265 1358
/proc/meminfo: memFree=29775732/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1374788 CPUtime=3.09 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 284313 0 0 0 271 38 0 0 20 0 4 0 106493840 1407782912 284612 33554432000 4194304 16246674 140734017965120 140734017947008 12415740 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 343697 284612 889 2943 0 340591 0
[pid=1354/tid=1355] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284612 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284612 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284612 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1374788

[startup+6.30041 s]
/proc/loadavg: 2.26 2.14 2.10 3/265 1358
/proc/meminfo: memFree=29775388/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1374788 CPUtime=6.29 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 284369 0 0 0 591 38 0 0 20 0 4 0 106493840 1407782912 284668 33554432000 4194304 16246674 140734017965120 140734017947008 5828829 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 343697 284668 892 2943 0 340591 0
[pid=1354/tid=1355] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284668 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284668 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284668 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1374788

[startup+12.7004 s]
/proc/loadavg: 2.24 2.14 2.10 3/265 1358
/proc/meminfo: memFree=29775296/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1374788 CPUtime=12.68 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 284375 0 0 0 1230 38 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140734017947008 12415740 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 343697 284674 895 2943 0 340591 0
[pid=1354/tid=1355] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1374788

[startup+25.5005 s]
/proc/loadavg: 2.18 2.13 2.10 3/265 1358
/proc/meminfo: memFree=29776332/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1374788 CPUtime=25.48 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 284375 0 0 0 2510 38 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140734017962944 13774516 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 343697 284674 895 2943 0 340591 0
[pid=1354/tid=1355] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1374788

[startup+51.1005 s]
/proc/loadavg: 2.18 2.14 2.10 3/265 1358
/proc/meminfo: memFree=29776296/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1374788 CPUtime=51.08 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 284375 0 0 0 5070 38 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140734017947008 12415740 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 343697 284674 895 2943 0 340591 0
[pid=1354/tid=1355] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1374788

[startup+102.301 s]
/proc/loadavg: 2.08 2.11 2.09 3/265 1359
/proc/meminfo: memFree=29775804/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1374788 CPUtime=102.28 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 284375 0 0 0 10190 38 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140734017947008 12415740 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 343697 284674 895 2943 0 340591 0
[pid=1354/tid=1355] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1374788 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1407782912 284674 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1374788


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

/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1399364

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.03 3/265 1464
/proc/meminfo: memFree=29726580/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1399364 CPUtime=1361.93 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 290799 0 0 0 136152 41 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140734017947008 13753026 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 349841 290829 901 2943 0 346735 0
[pid=1354/tid=1355] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1399364

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/265 1465
/proc/meminfo: memFree=29721944/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1399364 CPUtime=1421.93 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 290799 0 0 0 142152 41 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140734017947008 5600076 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 349841 290829 901 2943 0 346735 0
[pid=1354/tid=1355] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1399364

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/265 1467
/proc/meminfo: memFree=29722256/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1399364 CPUtime=1481.91 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 290799 0 0 0 148150 41 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140734017947008 5600804 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 349841 290829 901 2943 0 346735 0
[pid=1354/tid=1355] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1399364

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.01 3/266 1471
/proc/meminfo: memFree=29721696/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1399364 CPUtime=1541.91 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 290799 0 0 0 154150 41 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140734017947008 5659504 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 349841 290829 901 2943 0 346735 0
[pid=1354/tid=1355] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1399364

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.01 3/265 1472
/proc/meminfo: memFree=29719624/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1399364 CPUtime=1601.89 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 290799 0 0 0 160148 41 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140734017947008 12415827 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 349841 290829 901 2943 0 346735 0
[pid=1354/tid=1355] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 290829 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1399364

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/265 1473
/proc/meminfo: memFree=29720020/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1399364 CPUtime=1661.88 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 290800 0 0 0 166147 41 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140734017947008 5600072 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 349841 291085 901 2943 0 346735 0
[pid=1354/tid=1355] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1399364

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/265 1474
/proc/meminfo: memFree=29720520/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1399364 CPUtime=1721.87 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 290800 0 0 0 172146 41 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140734017947008 12415740 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 349841 291085 901 2943 0 346735 0
[pid=1354/tid=1355] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1399364

[startup+1782.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/265 1476
/proc/meminfo: memFree=29719936/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1399364 CPUtime=1781.86 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 290800 0 0 0 178145 41 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140734017947008 12415740 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 349841 291085 901 2943 0 346735 0
[pid=1354/tid=1355] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1399364 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1432948736 291085 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1399364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.07 2.02 3/265 1476
/proc/meminfo: memFree=29550432/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1569348 CPUtime=1800.06 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 333148 0 0 0 179958 48 0 0 20 0 4 0 106493840 1607012352 333433 33554432000 4194304 16246674 140734017965120 140734017947008 12415810 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 392337 333433 901 2943 0 389231 0
[pid=1354/tid=1355] ppid=1351 vsize=1569348 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1607012352 333433 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1569348 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1607012352 333433 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1569348 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1607012352 333433 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1569348

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.07 2.02 3/265 1476
/proc/meminfo: memFree=29550432/32872528 swapFree=9196/9196
[pid=1354] ppid=1351 vsize=1569348 CPUtime=1800.06 cores=0-3,8-11
/proc/1354/stat : 1354 (toysat) R 1351 1354 25889 0 -1 4202496 333148 0 0 0 179958 48 0 0 20 0 4 0 106493840 1607012352 333433 33554432000 4194304 16246674 140734017965120 140734017947008 12415810 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1354/statm: 392337 333433 901 2943 0 389231 0
[pid=1354/tid=1355] ppid=1351 vsize=1569348 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1355/stat : 1355 (toysat) S 1351 1354 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106493840 1607012352 333433 33554432000 4194304 16246674 140734017965120 140390809185520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1354/tid=1356] ppid=1351 vsize=1569348 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1356/stat : 1356 (toysat) S 1351 1354 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106493840 1607012352 333433 33554432000 4194304 16246674 140734017965120 140390798695664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1354/tid=1357] ppid=1351 vsize=1569348 CPUtime=0 cores=0-3,8-11
/proc/1354/task/1357/stat : 1357 (toysat) S 1351 1354 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106493840 1607012352 333433 33554432000 4194304 16246674 140734017965120 140390788222128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1569348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799.59
CPU system time (s): 0.490925
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1569348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.490925
maximum resident set size= 1333732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333148
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= 288
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8652 second user time and 13.7969 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 22:55:18
IDJOB=4079662
IDBENCH=2939
IDSOLVER=2542
FILE ID=node132/4079662-1465246518
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_17.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079662-1465246518/watcher-4079662-1465246518 -o /tmp/evaluation-result-4079662-1465246518/solver-4079662-1465246518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079662-1465246518.opb

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

MD5SUM BENCH= 25ee8feec785b6a4be71df8acc9d82db
RANDOM SEED=1553461135

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30914472 kB
Buffers:           53864 kB
Cached:           104876 kB
SwapCached:         3212 kB
Active:          1147796 kB
Inactive:          89664 kB
Active(anon):    1077776 kB
Inactive(anon):     3236 kB
Active(file):      70020 kB
Inactive(file):    86428 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094540 kB
Dirty:             20040 kB
Writeback:             0 kB
AnonPages:       1084888 kB
Mapped:            10448 kB
Shmem:                 0 kB
Slab:             573952 kB
SReclaimable:      14324 kB
SUnreclaim:       559628 kB
KernelStack:        2240 kB
PageTables:         6592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1228824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1069056 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= 71712 MiB
End job on node132 at 2016-06-06 23:25:19