Trace number 4109694

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 1686.61 1686.95

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo
MD5SUMb80542b6ea011406c368e0a53be4d6f1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark80.7397
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1804
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 90822
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90821
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T15:45:24+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4109694-1466343924.wbo"]
0.00/0.01	c use --random-gen="1411369252 4192446627 2635994954 3556725723 2850641845 764755639 2340386344 1576087480 1441783951 703834573 805151054 2358676030 503004223 2337015602 3386742765 2728278399 2601790221 258958291 1206272594 1421717048 2233679177 2782605003 4108053551 732938686 243115350 2914156858 666209301 228846564 3220559282 1261772181 3246067428 3157373833 2198779743 1082542200 2899774432 3713540773 1709680499 3647404037 2710593380 271821820 3379330119 1098361460 4148403040 1204867969 302841626 176613380 345125498 137054768 4078997269 2000031506 3901332472 2743065669 2374077157 4023453675 2291240785 3968935053 1337175518 2571526485 2395840845 3325585614 1009078831 2639446292 2857309732 1038467665 255182074 3163294675 2647802489 805275846 610752389 994098003 222679862 3190377817 3467071174 1330472627 1914058972 626458081 3933804366 21996104 2842255711 81907208 2903733183 3249385192 410449897 3644735206 789458219 1435761457 404320986 1706273128 380663200 4021990881 4292892518 3446219454 3603531609 2630441066 3749048153 777222257 3189338677 3299107394 1070256410 3502815199 3218270741 3660658874 2283731287 407199864 3724600588 1553528745 2392541375 1887718691 1404365775 3888183806 543173028 1526968458 2253128776 3511300424 3113459984 2699585050 3618937835 392688069 3797330918 734015210 1693591413 2241108400 775591104 3560008284 2536665454 3479893657 105556176 723728329 1716422305 1563569841 2304084779 362130629 3931376412 3921228451 3540664416 845293326 4138416981 840450173 946901608 2673230273 3798223723 1231657398 2509274126 2387773043 331675805 3151290356 2408359657 186563483 785429913 2765058497 555854405 1555958328 2703254990 3580110172 1966045332 3541322917 1051303927 977328888 1586525689 1406191655 3693324210 1411758120 1091845492 2077497757 3617186298 598855750 960301276 1118255040 1494058169 328484910 483619383 2162710754 2368731015 408568924 1954031948 170800002 3199388794 3839504512 1241119883 1610636934 470821355 2280357386 312718826 2659320227 637641209 218216114 1615580872 1945847815 3838381263 4026121968 288469186 2356687189 372052734 3197465296 1290215446 841446991 100293507 732663392 2956603971 3224934883 353502493 2633580885 567256973 3619365800 61450138 723526900 1592479926 3754998945 831913333 76045321 1688834555 2029565633 2555216720 2695968549 4221570857 3792905708 3695253345 1028919196 2406707116 3776048618 1744837685 1694388326 2812821688 1827728595 2367037793 1576203765 2140257120 39757748 3467161432 1524989677 1783865854 3293411720 2988535248 218905817 778822773 30950181 1050799025 3753448671 1777605577 3247264448 2629493198 77142786 1184632908 468599770 2550237336 3931704812 3016473229 3408089754 3929090299 4199796365 3515071564 2202264781 3841331125 2673613684 528404847 1854782593 255 362436" option to reproduce the execution
0.09/0.15	c #vars 231
0.09/0.15	c #constraints 2707
0.18/0.20	c BCD2: Hardening is enabled.
0.18/0.20	c BCD2: BiasedSearch is enabled.
0.18/0.20	c Solving starts ...
0.18/0.20	c ============================[ Search Statistics ]============================
0.18/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.20	c =============================================================================
0.18/0.20	c  0.0s |       0 |        0 |        0 |     1580      0 |        0 |        0
0.18/0.21	c  0.0s |       0 |     1840 |       22 |     1580      0 |        0 |        0
0.18/0.21	c #cpu_time = 0.009s
0.18/0.21	c #wall_clock_time = 0.009s
0.18/0.21	c #decision = 1840
0.18/0.21	c #random_decision = 10
0.18/0.21	c #conflict = 22
0.18/0.21	c #restart = 0
0.18/0.21	o 394
0.18/0.22	c BCD2: updating upper bound: 90821 -> 393
0.18/0.23	c BCD2: 0 <= obj <= 393
0.18/0.23	c BCD2: #cores=0, #unrelaxed=1804, #relaxed=0, #hardened=0
0.18/0.23	c BCD2: #sat=1 #unsat=1 bias=1/2
0.18/0.23	c Solving starts ...
0.18/0.23	c ============================[ Search Statistics ]============================
0.18/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.23	c =============================================================================
0.18/0.23	c  0.0s |       0 |        0 |        0 |     1580      0 |        0 |        0
0.18/0.26	c  0.0s |       1 |     2003 |      100 |     1739      0 |        0 |        0
0.29/0.30	c  0.1s |       2 |     4066 |      250 |     1913      0 |        0 |        0
0.29/0.36	c  0.1s |       3 |     6204 |      475 |     2105      0 |        0 |        0
0.39/0.48	c  0.2s |       4 |     8474 |      813 |     2316      0 |        0 |        0
0.58/0.67	c  0.4s |       5 |    10998 |     1320 |     2548      0 |        0 |        0
0.99/1.04	c  0.8s |       6 |    13792 |     2081 |     2803      0 |        0 |        0
1.39/1.49	c  1.3s |       7 |    17275 |     3223 |     3084      0 |        0 |        0
2.19/2.23	c  2.0s |       8 |    21463 |     4936 |     3393      1 |        0 |        0
3.79/3.80	c  3.6s |       9 |    26792 |     7506 |     3733      2 |        0 |        0
5.49/5.59	c  5.4s |      10 |    34134 |    11361 |     4107      3 |        0 |        0
7.58/7.66	c  7.4s |      10 |    41274 |    15161 |     4107      5 |        0 |        0
8.79/8.87	c  8.6s |      11 |    43812 |    17144 |     4518      5 |        0 |        0
10.88/10.90	c 10.7s |      11 |    49518 |    20144 |     4518      6 |        0 |        0
12.88/12.94	c 12.7s |      11 |    52331 |    22344 |     4518      7 |        0 |        0
14.89/14.98	c 14.8s |      11 |    54694 |    24244 |     4518      8 |        0 |        0
16.29/16.39	c 16.2s |      12 |    56678 |    25819 |     4970      8 |        0 |        0
18.29/18.39	c 18.2s |      12 |    62071 |    28519 |     4970      9 |        0 |        0
20.39/20.41	c 20.2s |      12 |    67202 |    32419 |     4970     10 |        0 |        0
22.39/22.41	c 22.2s |      12 |    71822 |    35819 |     4970     11 |        0 |        0
24.39/24.44	c 24.2s |      12 |    76122 |    38819 |     5467     12 |        0 |        0
24.39/24.45	c 24.2s |      13 |    76137 |    38832 |     5467     12 |        0 |        0
26.39/26.50	c 26.3s |      13 |    81286 |    41332 |     5467     12 |        0 |        0
28.49/28.52	c 28.3s |      13 |    84028 |    43432 |     5467     13 |        0 |        0
30.48/30.55	c 30.3s |      13 |    87024 |    45532 |     5467     13 |        0 |        0
32.59/32.62	c 32.4s |      13 |    90570 |    48032 |     5467     14 |        0 |        0
34.59/34.69	c 34.5s |      13 |    93576 |    50232 |     5467     15 |        0 |        0
36.69/36.75	c 36.5s |      13 |    97472 |    52932 |     5467     15 |        0 |        0
38.78/38.85	c 38.6s |      13 |   100889 |    55332 |     5467     16 |        0 |        0
40.79/40.89	c 40.7s |      13 |   104263 |    57632 |     5467     17 |        0 |        0
41.58/41.66	c 41.4s |      14 |   105250 |    58352 |     6014     17 |        0 |        0
43.68/43.71	c 43.5s |      14 |   109446 |    60052 |     6014     17 |        0 |        0
45.68/45.76	c 45.5s |      14 |   111563 |    61552 |     6014     18 |        0 |        0
47.88/47.91	c 47.7s |      14 |   113663 |    62952 |     6014     18 |        0 |        0
49.88/49.94	c 49.7s |      14 |   115326 |    64052 |     6014     18 |        0 |        0
51.88/51.96	c 51.7s |      14 |   119081 |    66552 |     6014     19 |        0 |        0
53.89/53.96	c 53.7s |      14 |   124240 |    70052 |     6014     20 |        0 |        0
55.98/56.05	c 55.8s |      14 |   127836 |    72452 |     6014     20 |        0 |        0
58.08/58.13	c 57.9s |      14 |   131280 |    74752 |     6014     21 |        0 |        0
60.18/60.23	c 60.0s |      14 |   134136 |    76752 |     6014     22 |        0 |        0
62.18/62.26	c 62.0s |      14 |   137060 |    78652 |     6014     22 |        0 |        0
64.28/64.30	c 64.1s |      14 |   140376 |    80852 |     6014     23 |        0 |        0
66.28/66.31	c 66.1s |      14 |   144799 |    84152 |     6014     23 |        0 |        0
68.28/68.36	c 68.1s |      14 |   148588 |    87052 |     6616     24 |        0 |        0
68.88/68.96	c 68.7s |      15 |   149305 |    87632 |     6616     24 |        0 |        0
70.87/70.97	c 70.7s |      15 |   154634 |    90332 |     6616     25 |        0 |        0
72.98/73.08	c 72.8s |      15 |   157332 |    92532 |     6616     25 |        0 |        0
75.18/75.20	c 75.0s |      15 |   159621 |    94432 |     6616     26 |        0 |        0
77.18/77.26	c 77.0s |      15 |   161364 |    95932 |     6616     26 |        0 |        0
79.29/79.33	c 79.1s |      15 |   164633 |    98432 |     6616     27 |        0 |        0
81.28/81.38	c 81.2s |      15 |   169035 |   101732 |     6616     28 |        0 |        0
83.38/83.48	c 83.2s |      15 |   172524 |   104432 |     6616     28 |        0 |        0
85.48/85.53	c 85.3s |      15 |   176401 |   107232 |     6616     29 |        0 |        0
87.48/87.56	c 87.3s |      15 |   179801 |   109832 |     6616     30 |        0 |        0
89.58/89.64	c 89.4s |      15 |   182548 |   112032 |     6616     30 |        0 |        0
91.57/91.68	c 91.4s |      15 |   185458 |   114132 |     6616     31 |        0 |        0
93.58/93.69	c 93.5s |      15 |   189141 |   116832 |     6616     31 |        0 |        0
95.69/95.71	c 95.5s |      15 |   192321 |   119232 |     6616     32 |        0 |        0
97.68/97.75	c 97.5s |      15 |   195075 |   121232 |     6616     32 |        0 |        0
99.78/99.80	c 99.6s |      15 |   197697 |   123232 |     6616     33 |        0 |        0
101.78/101.84	c  101s |      15 |   200540 |   125332 |     6616     33 |        0 |        0
103.77/103.84	c  103s |      15 |   202869 |   127032 |     6616     34 |        0 |        0
105.87/105.95	c  105s |      15 |   204958 |   128732 |     6616     34 |        0 |        0
107.97/108.02	c  107s |      15 |   206766 |   130132 |     6616     34 |        0 |        0
109.77/109.89	c  109s |      16 |   208695 |   131552 |     7278     34 |        0 |        0
111.87/111.92	c  111s |      16 |   213367 |   133652 |     7278     35 |        0 |        0
113.88/113.97	c  113s |      16 |   217110 |   136552 |     7278     36 |        0 |        0
115.88/115.97	c  115s |      16 |   220236 |   139052 |     7278     36 |        0 |        0
117.98/118.02	c  117s |      16 |   222691 |   141052 |     7278     37 |        0 |        0
120.07/120.11	c  119s |      16 |   225135 |   143152 |     7278     37 |        0 |        0
122.18/122.22	c  121s |      16 |   227250 |   144952 |     7278     37 |        0 |        0
124.17/124.29	c  124s |      16 |   229025 |   146452 |     7278     38 |        0 |        0
126.27/126.35	c  126s |      16 |   233122 |   149752 |     7278     38 |        0 |        0
128.27/128.37	c  128s |      16 |   236865 |   152652 |     7278     39 |        0 |        0
130.27/130.39	c  130s |      16 |   240327 |   155252 |     7278     40 |        0 |        0
132.36/132.43	c  132s |      16 |   243536 |   157752 |     7278     40 |        0 |        0
134.47/134.53	c  134s |      16 |   245703 |   159452 |     7278     41 |        0 |        0
136.57/136.62	c  136s |      16 |   248954 |   161852 |     7278     41 |        0 |        0
138.67/138.71	c  138s |      16 |   252068 |   164252 |     7278     42 |        0 |        0
140.67/140.73	c  140s |      16 |   255047 |   166452 |     7278     42 |        0 |        0
142.67/142.74	c  142s |      16 |   257227 |   168152 |     7278     42 |        0 |        0
144.67/144.79	c  144s |      16 |   260019 |   170252 |     7278     43 |        0 |        0
146.77/146.81	c  146s |      16 |   262865 |   172252 |     7278     43 |        0 |        0
148.77/148.86	c  148s |      16 |   265066 |   173852 |     7278     44 |        0 |        0
150.77/150.87	c  150s |      16 |   267601 |   175652 |     7278     44 |        0 |        0
152.88/152.99	c  152s |      16 |   269997 |   177352 |     7278     44 |        0 |        0
154.97/155.02	c  154s |      16 |   272972 |   179452 |     7278     45 |        0 |        0
157.07/157.13	c  156s |      16 |   275502 |   181352 |     7278     45 |        0 |        0
159.07/159.18	c  158s |      16 |   278401 |   183652 |     7278     46 |        0 |        0
161.07/161.19	c  160s |      16 |   280849 |   185552 |     7278     46 |        0 |        0
163.16/163.24	c  163s |      16 |   285002 |   188852 |     7278     47 |        0 |        0
165.16/165.26	c  165s |      16 |   288790 |   191952 |     7278     48 |        0 |        0
167.17/167.27	c  167s |      16 |   292399 |   194852 |     7278     48 |        0 |        0
169.26/169.30	c  169s |      16 |   295134 |   197152 |     8006     49 |        0 |        0
169.47/169.54	c  169s |      17 |   295451 |   197432 |     8006     49 |        0 |        0
171.57/171.64	c  171s |      17 |   299769 |   199532 |     8006     49 |        0 |        0
173.66/173.72	c  173s |      17 |   302011 |   201332 |     8006     50 |        0 |        0
175.66/175.78	c  175s |      17 |   305280 |   203832 |     8006     50 |        0 |        0
177.77/177.80	c  177s |      17 |   307861 |   205832 |     8006     50 |        0 |        0
179.77/179.81	c  179s |      17 |   310002 |   207532 |     8006     51 |        0 |        0
181.76/181.84	c  181s |      17 |   312483 |   209432 |     8006     51 |        0 |        0
183.77/183.85	c  183s |      17 |   315611 |   211932 |     8006     52 |        0 |        0
185.87/185.93	c  185s |      17 |   318560 |   214332 |     8006     52 |        0 |        0
187.96/188.02	c  187s |      17 |   320704 |   216132 |     8006     53 |        0 |        0
190.06/190.11	c  189s |      17 |   323426 |   218332 |     8006     53 |        0 |        0
192.06/192.15	c  191s |      17 |   325371 |   220032 |     8006     53 |        0 |        0
194.06/194.16	c  193s |      17 |   326939 |   221432 |     8006     54 |        0 |        0
196.06/196.18	c  195s |      17 |   328559 |   222832 |     8006     54 |        0 |        0
198.07/198.19	c  197s |      17 |   330089 |   224132 |     8006     54 |        0 |        0
200.16/200.21	c  199s |      17 |   331663 |   225532 |     8006     54 |        0 |        0
202.26/202.30	c  202s |      17 |   333562 |   227132 |     8006     55 |        0 |        0
204.26/204.35	c  204s |      17 |   335277 |   228632 |     8006     55 |        0 |        0
206.46/206.51	c  206s |      17 |   336734 |   229932 |     8006     55 |        0 |        0
208.45/208.51	c  208s |      17 |   338012 |   231032 |     8006     56 |        0 |        0
210.45/210.58	c  210s |      17 |   341894 |   234132 |     8006     56 |        0 |        0
212.56/212.65	c  212s |      17 |   345319 |   236732 |     8006     57 |        0 |        0
214.57/214.67	c  214s |      17 |   348398 |   239132 |     8006     57 |        0 |        0
216.67/216.72	c  216s |      17 |   350836 |   241132 |     8006     58 |        0 |        0
218.66/218.77	c  218s |      17 |   353426 |   243132 |     8006     58 |        0 |        0
220.85/220.93	c  220s |      17 |   356362 |   245332 |     8006     58 |        0 |        0
222.96/223.01	c  222s |      17 |   358424 |   246932 |     8006     59 |        0 |        0
225.05/225.15	c  224s |      17 |   360570 |   248532 |     8006     59 |        0 |        0
227.26/227.34	c  227s |      17 |   362147 |   249732 |     8006     59 |        0 |        0
229.26/229.39	c  229s |      17 |   363642 |   250832 |     8006     60 |        0 |        0
231.35/231.43	c  231s |      17 |   366992 |   253232 |     8006     60 |        0 |        0
233.45/233.51	c  233s |      17 |   370184 |   255532 |     8006     61 |        0 |        0
235.46/235.55	c  235s |      17 |   372955 |   257532 |     8006     61 |        0 |        0
237.45/237.59	c  237s |      17 |   375312 |   259332 |     8006     61 |        0 |        0
239.55/239.68	c  239s |      17 |   377596 |   261032 |     8006     62 |        0 |        0
241.66/241.74	c  241s |      17 |   379609 |   262532 |     8006     62 |        0 |        0
243.76/243.82	c  243s |      17 |   381397 |   263832 |     8006     62 |        0 |        0
245.85/245.92	c  245s |      17 |   383952 |   265632 |     8006     63 |        0 |        0
247.95/248.04	c  247s |      17 |   385866 |   267032 |     8006     63 |        0 |        0
250.05/250.11	c  249s |      17 |   387813 |   268432 |     8006     63 |        0 |        0
252.05/252.14	c  251s |      17 |   389713 |   269932 |     8006     63 |        0 |        0
254.06/254.15	c  253s |      17 |   391556 |   271332 |     8006     64 |        0 |        0
256.15/256.24	c  256s |      17 |   393324 |   272732 |     8006     64 |        0 |        0
258.25/258.34	c  258s |      17 |   395068 |   274132 |     8006     64 |        0 |        0
260.35/260.49	c  260s |      17 |   396480 |   275232 |     8006     65 |        0 |        0
262.45/262.55	c  262s |      17 |   397707 |   276232 |     8006     65 |        0 |        0
264.44/264.58	c  264s |      17 |   399390 |   277432 |     8006     65 |        0 |        0
266.65/266.74	c  266s |      17 |   400986 |   278632 |     8006     65 |        0 |        0
268.75/268.86	c  268s |      17 |   402784 |   279932 |     8006     65 |        0 |        0
270.85/270.92	c  270s |      17 |   404817 |   281232 |     8006     66 |        0 |        0
272.86/272.97	c  272s |      17 |   406574 |   282332 |     8006     66 |        0 |        0
274.96/275.03	c  274s |      17 |   410467 |   285032 |     8006     67 |        0 |        0
276.95/277.06	c  276s |      17 |   413280 |   287232 |     8006     67 |        0 |        0
279.04/279.11	c  278s |      17 |   415704 |   289032 |     8006     67 |        0 |        0
281.05/281.15	c  280s |      17 |   417649 |   290432 |     8006     68 |        0 |        0
283.05/283.16	c  282s |      17 |   419367 |   291732 |     8006     68 |        0 |        0
285.15/285.26	c  285s |      17 |   421748 |   293432 |     8006     68 |        0 |        0
287.24/287.31	c  287s |      17 |   423626 |   294732 |     8807     68 |        0 |        0
289.25/289.32	c  289s |      17 |   425495 |   296132 |     8807     69 |        0 |        0
289.35/289.43	c  289s |      18 |   425709 |   296252 |     8807     69 |        0 |        0
291.46/291.58	c  291s |      18 |   429642 |   297752 |     8807     69 |        0 |        0
293.55/293.64	c  293s |      18 |   431692 |   299152 |     8807     69 |        0 |        0
295.64/295.73	c  295s |      18 |   433696 |   300452 |     8807     69 |        0 |        0
297.74/297.81	c  297s |      18 |   435726 |   301852 |     8807     70 |        0 |        0
299.74/299.87	c  299s |      18 |   437556 |   303152 |     8807     70 |        0 |        0
301.85/301.96	c  301s |      18 |   439405 |   304352 |     8807     70 |        0 |        0
304.04/304.16	c  303s |      18 |   441278 |   305752 |     8807     70 |        0 |        0
306.04/306.19	c  305s |      18 |   443033 |   306952 |     8807     71 |        0 |        0
308.24/308.31	c  308s |      18 |   445872 |   308752 |     8807     71 |        0 |        0
310.25/310.32	c  310s |      18 |   448626 |   310452 |     8807     71 |        0 |        0
312.35/312.44	c  312s |      18 |   451104 |   312052 |     8807     72 |        0 |        0
314.35/314.48	c  314s |      18 |   453903 |   313752 |     8807     72 |        0 |        0
316.54/316.63	c  316s |      18 |   456515 |   315252 |     8807     72 |        0 |        0
318.64/318.78	c  318s |      18 |   458686 |   316452 |     8807     72 |        0 |        0
320.74/320.83	c  320s |      18 |   462558 |   319152 |     8807     73 |        0 |        0
322.74/322.89	c  322s |      18 |   465897 |   321352 |     8807     73 |        0 |        0
324.84/324.91	c  324s |      18 |   468634 |   323052 |     8807     74 |        0 |        0
326.84/326.95	c  326s |      18 |   471295 |   324652 |     8807     74 |        0 |        0
328.85/328.98	c  328s |      18 |   473816 |   326252 |     8807     74 |        0 |        0
330.94/331.01	c  330s |      18 |   476228 |   327752 |     8807     75 |        0 |        0
332.94/333.05	c  332s |      18 |   478181 |   329052 |     8807     75 |        0 |        0
335.14/335.20	c  334s |      18 |   480394 |   330352 |     8807     75 |        0 |        0
337.14/337.23	c  336s |      18 |   482425 |   331652 |     8807     75 |        0 |        0
339.24/339.30	c  339s |      18 |   484265 |   332852 |     8807     75 |        0 |        0
341.24/341.31	c  341s |      18 |   486000 |   333952 |     8807     76 |        0 |        0
343.33/343.48	c  343s |      18 |   487948 |   335152 |     8807     76 |        0 |        0
345.44/345.53	c  345s |      18 |   489741 |   336252 |     8807     76 |        0 |        0
347.64/347.73	c  347s |      18 |   491110 |   337152 |     8807     76 |        0 |        0
349.63/349.76	c  349s |      18 |   494957 |   339552 |     8807     77 |        0 |        0
351.64/351.79	c  351s |      18 |   498917 |   342152 |     8807     77 |        0 |        0
353.74/353.88	c  353s |      18 |   502257 |   344352 |     8807     78 |        0 |        0
355.83/355.94	c  355s |      18 |   505038 |   346252 |     8807     78 |        0 |        0
357.83/357.98	c  357s |      18 |   507345 |   347852 |     8807     78 |        0 |        0
359.84/359.99	c  359s |      18 |   510559 |   350152 |     8807     79 |        0 |        0
361.94/362.07	c  361s |      18 |   513594 |   352252 |     8807     79 |        0 |        0
363.93/364.10	c  363s |      18 |   516426 |   354152 |     8807     79 |        0 |        0
366.13/366.25	c  366s |      18 |   518676 |   355752 |     8807     80 |        0 |        0
368.24/368.38	c  368s |      18 |   520909 |   357252 |     8807     80 |        0 |        0
370.33/370.43	c  370s |      18 |   522872 |   358652 |     8807     80 |        0 |        0
372.43/372.52	c  372s |      18 |   524558 |   359952 |     8807     81 |        0 |        0
374.53/374.63	c  374s |      18 |   526408 |   361352 |     8807     81 |        0 |        0
376.63/376.73	c  376s |      18 |   528522 |   362852 |     8807     81 |        0 |        0
378.63/378.77	c  378s |      18 |   530056 |   363952 |     8807     81 |        0 |        0
380.83/380.94	c  380s |      18 |   531608 |   365052 |     8807     82 |        0 |        0
382.93/383.00	c  382s |      18 |   533419 |   366352 |     8807     82 |        0 |        0
385.04/385.14	c  384s |      18 |   534923 |   367452 |     8807     82 |        0 |        0
387.14/387.29	c  387s |      18 |   536344 |   368452 |     8807     82 |        0 |        0
389.44/389.56	c  389s |      18 |   538395 |   369752 |     8807     82 |        0 |        0
391.43/391.60	c  391s |      18 |   540809 |   371452 |     8807     83 |        0 |        0
393.53/393.63	c  393s |      18 |   543091 |   373152 |     8807     83 |        0 |        0
395.63/395.78	c  395s |      18 |   545143 |   374752 |     8807     83 |        0 |        0
397.73/397.85	c  397s |      18 |   546605 |   375852 |     8807     84 |        0 |        0
399.83/399.95	c  399s |      18 |   548192 |   377052 |     8807     84 |        0 |        0
401.93/402.07	c  401s |      18 |   550015 |   378352 |     8807     84 |        0 |        0
404.13/404.24	c  404s |      18 |   551690 |   379552 |     8807     84 |        0 |        0
406.33/406.45	c  406s |      18 |   553292 |   380652 |     8807     84 |        0 |        0
408.32/408.46	c  408s |      18 |   555400 |   382052 |     8807     85 |        0 |        0
410.34/410.48	c  410s |      18 |   557556 |   383552 |     8807     85 |        0 |        0
412.33/412.48	c  412s |      18 |   559666 |   384952 |     8807     85 |        0 |        0
414.43/414.51	c  414s |      18 |   561034 |   385952 |     8807     85 |        0 |        0
416.42/416.54	c  416s |      18 |   562756 |   387252 |     8807     86 |        0 |        0
418.53/418.65	c  418s |      18 |   564526 |   388552 |     8807     86 |        0 |        0
420.63/420.71	c  420s |      18 |   565977 |   389652 |     8807     86 |        0 |        0
422.73/422.86	c  422s |      18 |   567457 |   390752 |     8807     86 |        0 |        0
425.03/425.14	c  424s |      18 |   568715 |   391652 |     8807     87 |        0 |        0
427.13/427.27	c  427s |      18 |   570684 |   393052 |     8807     87 |        0 |        0
429.22/429.35	c  429s |      18 |   573106 |   394552 |     8807     87 |        0 |        0
431.32/431.46	c  431s |      18 |   575646 |   396052 |     8807     87 |        0 |        0
433.33/433.50	c  433s |      18 |   577277 |   397052 |     8807     88 |        0 |        0
435.42/435.57	c  435s |      18 |   579967 |   398852 |     8807     88 |        0 |        0
437.52/437.65	c  437s |      18 |   582741 |   400752 |     8807     88 |        0 |        0
439.72/439.86	c  439s |      18 |   584920 |   402252 |     8807     89 |        0 |        0
441.72/441.89	c  441s |      18 |   587644 |   403952 |     8807     89 |        0 |        0
443.82/443.92	c  443s |      18 |   589736 |   405252 |     8807     89 |        0 |        0
445.82/445.96	c  445s |      18 |   591645 |   406352 |     8807     89 |        0 |        0
447.93/448.03	c  447s |      18 |   594422 |   407952 |     8807     90 |        0 |        0
450.02/450.12	c  449s |      18 |   596999 |   409652 |     8807     90 |        0 |        0
452.02/452.18	c  451s |      18 |   598700 |   410852 |     8807     90 |        0 |        0
454.23/454.34	c  454s |      18 |   601800 |   412952 |     8807     91 |        0 |        0
456.32/456.41	c  456s |      18 |   604121 |   414452 |     8807     91 |        0 |        0
458.52/458.60	c  458s |      18 |   605840 |   415652 |     8807     91 |        0 |        0
460.62/460.76	c  460s |      18 |   607932 |   417052 |     8807     91 |        0 |        0
462.61/462.79	c  462s |      18 |   609430 |   418052 |     8807     91 |        0 |        0
464.72/464.87	c  464s |      18 |   611390 |   419252 |     8807     92 |        0 |        0
466.92/467.01	c  466s |      18 |   612814 |   420152 |     8807     92 |        0 |        0
469.02/469.11	c  468s |      18 |   614236 |   421052 |     8807     92 |        0 |        0
471.12/471.25	c  471s |      18 |   616107 |   422052 |     8807     92 |        0 |        0
473.12/473.25	c  473s |      18 |   617332 |   422852 |     8807     92 |        0 |        0
475.23/475.32	c  475s |      18 |   618971 |   423952 |     8807     93 |        0 |        0
477.21/477.40	c  477s |      18 |   621530 |   425652 |     8807     93 |        0 |        0
479.32/479.41	c  479s |      18 |   623927 |   427252 |     8807     93 |        0 |        0
481.32/481.41	c  481s |      18 |   626363 |   428752 |     8807     93 |        0 |        0
483.31/483.45	c  483s |      18 |   628360 |   430052 |     8807     94 |        0 |        0
485.42/485.59	c  485s |      18 |   629853 |   431152 |     8807     94 |        0 |        0
487.52/487.67	c  487s |      18 |   632731 |   433252 |     8807     94 |        0 |        0
489.62/489.75	c  489s |      18 |   635020 |   434952 |     8807     95 |        0 |        0
491.62/491.80	c  491s |      18 |   637051 |   436452 |     8807     95 |        0 |        0
493.72/493.85	c  493s |      18 |   638578 |   437652 |     8807     95 |        0 |        0
495.81/496.00	c  495s |      18 |   640177 |   438952 |     8807     95 |        0 |        0
498.02/498.11	c  497s |      18 |   641628 |   440152 |     8807     96 |        0 |        0
500.11/500.21	c  499s |      18 |   643646 |   441752 |     9688     96 |        0 |        0
502.42/502.59	c  502s |      18 |   645374 |   443052 |     9688     96 |        0 |        0
504.71/504.81	c  504s |      18 |   646596 |   444052 |     9688     96 |        0 |        0
505.82/505.95	c  505s |      19 |   647117 |   444482 |     9688     96 |        0 |        0
507.81/507.97	c  507s |      19 |   650844 |   446082 |     9688     97 |        0 |        0
509.81/509.99	c  509s |      19 |   653341 |   448182 |     9688     97 |        0 |        0
511.91/512.07	c  511s |      19 |   656027 |   450282 |     9688     97 |        0 |        0
513.91/514.07	c  513s |      19 |   658358 |   452082 |     9688     98 |        0 |        0
516.02/516.14	c  515s |      19 |   660485 |   453782 |     9688     98 |        0 |        0
518.02/518.15	c  517s |      19 |   662621 |   455582 |     9688     98 |        0 |        0
520.12/520.24	c  520s |      19 |   665590 |   457682 |     9688     99 |        0 |        0
522.21/522.32	c  522s |      19 |   668298 |   459682 |     9688     99 |        0 |        0
524.31/524.42	c  524s |      19 |   670439 |   461282 |     9688     99 |        0 |        0
526.51/526.62	c  526s |      19 |   672099 |   462582 |     9688    100 |        0 |        0
528.51/528.68	c  528s |      19 |   673596 |   463882 |     9688    100 |        0 |        0
530.61/530.73	c  530s |      19 |   675534 |   465382 |     9688    100 |        0 |        0
532.61/532.77	c  532s |      19 |   677446 |   466782 |     9688    100 |        0 |        0
534.71/534.82	c  534s |      19 |   679553 |   468382 |     9688    101 |        0 |        0
536.72/536.85	c  536s |      19 |   683431 |   471382 |     9688    101 |        0 |        0
538.71/538.88	c  538s |      19 |   686161 |   473582 |     9688    101 |        0 |        0
540.80/540.91	c  540s |      19 |   687992 |   475182 |     9688    102 |        0 |        0
542.81/542.94	c  542s |      19 |   690704 |   477282 |     9688    102 |        0 |        0
544.81/544.95	c  544s |      19 |   693467 |   479382 |     9688    102 |        0 |        0
546.81/546.98	c  546s |      19 |   695327 |   480882 |     9688    103 |        0 |        0
548.91/549.05	c  548s |      19 |   697477 |   482582 |     9688    103 |        0 |        0
550.90/551.06	c  550s |      19 |   699269 |   484082 |     9688    103 |        0 |        0
553.01/553.14	c  552s |      19 |   700869 |   485382 |     9688    103 |        0 |        0
555.10/555.22	c  554s |      19 |   702364 |   486582 |     9688    104 |        0 |        0
557.20/557.31	c  557s |      19 |   704161 |   487982 |     9688    104 |        0 |        0
559.20/559.37	c  559s |      19 |   706541 |   489882 |     9688    104 |        0 |        0
561.30/561.41	c  561s |      19 |   708660 |   491582 |     9688    105 |        0 |        0
563.31/563.49	c  563s |      19 |   711215 |   493682 |     9688    105 |        0 |        0
565.41/565.59	c  565s |      19 |   713562 |   495582 |     9688    105 |        0 |        0
567.51/567.68	c  567s |      19 |   715347 |   497082 |     9688    105 |        0 |        0
569.50/569.68	c  569s |      19 |   716581 |   498082 |     9688    106 |        0 |        0
571.60/571.76	c  571s |      19 |   718806 |   499882 |     9688    106 |        0 |        0
573.70/573.82	c  573s |      19 |   720472 |   501182 |     9688    106 |        0 |        0
575.80/575.91	c  575s |      19 |   722031 |   502482 |     9688    106 |        0 |        0
577.90/578.02	c  577s |      19 |   723467 |   503682 |     9688    107 |        0 |        0
579.89/580.04	c  579s |      19 |   725076 |   504982 |     9688    107 |        0 |        0
582.00/582.12	c  581s |      19 |   726360 |   506082 |     9688    107 |        0 |        0
584.00/584.14	c  583s |      19 |   727421 |   506982 |     9688    107 |        0 |        0
586.09/586.22	c  585s |      19 |   728595 |   507982 |     9688    107 |        0 |        0
588.19/588.33	c  588s |      19 |   729645 |   508882 |     9688    108 |        0 |        0
590.29/590.40	c  590s |      19 |   732177 |   510682 |     9688    108 |        0 |        0
592.29/592.45	c  592s |      19 |   734373 |   512382 |     9688    108 |        0 |        0
594.28/594.45	c  594s |      19 |   736854 |   514382 |     9688    108 |        0 |        0
596.38/596.52	c  596s |      19 |   739815 |   516682 |     9688    109 |        0 |        0
598.39/598.54	c  598s |      19 |   742178 |   518582 |     9688    109 |        0 |        0
600.38/600.59	c  600s |      19 |   744298 |   520282 |     9688    110 |        0 |        0
602.58/602.70	c  602s |      19 |   746360 |   521982 |     9688    110 |        0 |        0
604.67/604.80	c  604s |      19 |   748231 |   523482 |     9688    110 |        0 |        0
606.67/606.87	c  606s |      19 |   750743 |   525482 |     9688    110 |        0 |        0
608.78/608.97	c  608s |      19 |   752774 |   527182 |     9688    111 |        0 |        0
610.87/611.03	c  610s |      19 |   754509 |   528582 |     9688    111 |        0 |        0
612.87/613.04	c  612s |      19 |   755700 |   529582 |     9688    111 |        0 |        0
614.87/615.07	c  614s |      19 |   756965 |   530682 |     9688    111 |        0 |        0
616.97/617.11	c  616s |      19 |   758441 |   531882 |     9688    112 |        0 |        0
619.07/619.27	c  619s |      19 |   759718 |   532982 |     9688    112 |        0 |        0
621.26/621.42	c  621s |      19 |   761027 |   534082 |     9688    112 |        0 |        0
623.47/623.61	c  623s |      19 |   762329 |   535182 |     9688    112 |        0 |        0
625.56/625.78	c  625s |      19 |   763510 |   536182 |     9688    112 |        0 |        0
627.66/627.83	c  627s |      19 |   764577 |   537082 |     9688    112 |        0 |        0
629.67/629.89	c  629s |      19 |   766400 |   538582 |     9688    113 |        0 |        0
631.76/631.91	c  631s |      19 |   768848 |   540582 |     9688    113 |        0 |        0
633.76/633.92	c  633s |      19 |   770585 |   541982 |     9688    113 |        0 |        0
635.86/636.01	c  635s |      19 |   772423 |   543482 |     9688    114 |        0 |        0
637.87/638.08	c  637s |      19 |   774930 |   545482 |     9688    114 |        0 |        0
639.96/640.11	c  639s |      19 |   776906 |   547082 |     9688    114 |        0 |        0
642.06/642.23	c  641s |      19 |   778406 |   548282 |     9688    114 |        0 |        0
644.15/644.31	c  644s |      19 |   779984 |   549582 |     9688    115 |        0 |        0
646.26/646.42	c  646s |      19 |   782065 |   551182 |     9688    115 |        0 |        0
648.46/648.60	c  648s |      19 |   784061 |   552782 |     9688    115 |        0 |        0
650.55/650.73	c  650s |      19 |   785609 |   554082 |     9688    115 |        0 |        0
652.55/652.74	c  652s |      19 |   787244 |   555282 |     9688    116 |        0 |        0
654.64/654.82	c  654s |      19 |   788861 |   556582 |     9688    116 |        0 |        0
656.66/656.88	c  656s |      19 |   790681 |   558082 |     9688    116 |        0 |        0
658.75/659.00	c  658s |      19 |   792699 |   559682 |     9688    116 |        0 |        0
660.95/661.14	c  660s |      19 |   794109 |   560882 |     9688    117 |        0 |        0
662.95/663.18	c  662s |      19 |   795577 |   562082 |     9688    117 |        0 |        0
665.14/665.38	c  665s |      19 |   796811 |   563082 |     9688    117 |        0 |        0
667.23/667.40	c  667s |      19 |   797741 |   563882 |     9688    117 |        0 |        0
669.34/669.53	c  669s |      19 |   799285 |   565182 |     9688    117 |        0 |        0
671.64/671.82	c  671s |      19 |   800901 |   566482 |     9688    118 |        0 |        0
673.73/673.93	c  673s |      19 |   802390 |   567582 |     9688    118 |        0 |        0
675.84/676.01	c  675s |      19 |   804091 |   568882 |     9688    118 |        0 |        0
677.83/678.08	c  677s |      19 |   805797 |   570282 |     9688    118 |        0 |        0
680.03/680.23	c  679s |      19 |   807412 |   571582 |     9688    118 |        0 |        0
682.03/682.25	c  682s |      19 |   808555 |   572482 |     9688    119 |        0 |        0
684.03/684.30	c  684s |      19 |   809969 |   573582 |     9688    119 |        0 |        0
686.13/686.33	c  686s |      19 |   811361 |   574782 |     9688    119 |        0 |        0
688.32/688.52	c  688s |      19 |   812400 |   575682 |     9688    119 |        0 |        0
690.32/690.54	c  690s |      19 |   813369 |   576482 |     9688    119 |        0 |        0
692.52/692.77	c  692s |      19 |   814572 |   577482 |     9688    119 |        0 |        0
694.62/694.83	c  694s |      19 |   815418 |   578182 |     9688    120 |        0 |        0
696.62/696.86	c  696s |      19 |   816336 |   578982 |     9688    120 |        0 |        0
699.02/699.21	c  698s |      19 |   817294 |   579782 |     9688    120 |        0 |        0
701.21/701.42	c  701s |      19 |   818096 |   580482 |     9688    120 |        0 |        0
703.31/703.52	c  703s |      19 |   819162 |   581382 |     9688    120 |        0 |        0
705.41/705.63	c  705s |      19 |   820352 |   582382 |     9688    120 |        0 |        0
707.51/707.71	c  707s |      19 |   821564 |   583382 |     9688    120 |        0 |        0
709.51/709.74	c  709s |      19 |   822830 |   584382 |     9688    121 |        0 |        0
711.71/711.90	c  711s |      19 |   824192 |   585482 |     9688    121 |        0 |        0
713.72/713.99	c  713s |      19 |   825363 |   586482 |     9688    121 |        0 |        0
715.81/716.06	c  715s |      19 |   826301 |   587282 |     9688    121 |        0 |        0
717.91/718.18	c  717s |      19 |   827610 |   588382 |     9688    121 |        0 |        0
720.10/720.36	c  720s |      19 |   828960 |   589482 |     9688    121 |        0 |        0
722.21/722.40	c  722s |      19 |   830273 |   590582 |     9688    122 |        0 |        0
724.21/724.45	c  724s |      19 |   831708 |   591782 |     9688    122 |        0 |        0
726.21/726.45	c  726s |      19 |   832827 |   592682 |     9688    122 |        0 |        0
728.31/728.55	c  728s |      19 |   833985 |   593682 |     9688    122 |        0 |        0
730.41/730.60	c  730s |      19 |   837011 |   595982 |     9688    123 |        0 |        0
732.41/732.63	c  732s |      19 |   840795 |   598882 |     9688    123 |        0 |        0
734.40/734.64	c  734s |      19 |   844167 |   601482 |     9688    124 |        0 |        0
736.50/736.74	c  736s |      19 |   847714 |   604182 |     9688    124 |        0 |        0
738.51/738.76	c  738s |      19 |   849772 |   605782 |     9688    124 |        0 |        0
740.61/740.82	c  740s |      19 |   851344 |   607082 |     9688    125 |        0 |        0
742.61/742.85	c  742s |      19 |   853332 |   608682 |     9688    125 |        0 |        0
744.80/745.00	c  744s |      19 |   854892 |   609982 |     9688    125 |        0 |        0
746.81/747.04	c  746s |      19 |   856836 |   611482 |     9688    125 |        0 |        0
748.80/749.04	c  748s |      19 |   859137 |   613182 |     9688    126 |        0 |        0
751.01/751.20	c  750s |      19 |   861025 |   614682 |     9688    126 |        0 |        0
753.01/753.25	c  753s |      19 |   863920 |   616882 |     9688    126 |        0 |        0
755.00/755.28	c  755s |      19 |   866452 |   618782 |     9688    127 |        0 |        0
757.10/757.30	c  757s |      19 |   869201 |   620882 |     9688    127 |        0 |        0
759.10/759.35	c  759s |      19 |   871748 |   622782 |     9688    127 |        0 |        0
761.20/761.41	c  761s |      19 |   873961 |   624482 |     9688    128 |        0 |        0
763.20/763.42	c  763s |      19 |   876135 |   626082 |     9688    128 |        0 |        0
765.20/765.46	c  765s |      19 |   878578 |   627882 |     9688    128 |        0 |        0
767.40/767.60	c  767s |      19 |   880410 |   629382 |     9688    128 |        0 |        0
769.40/769.61	c  769s |      19 |   881949 |   630582 |     9688    129 |        0 |        0
771.40/771.62	c  771s |      19 |   884068 |   632282 |     9688    129 |        0 |        0
773.40/773.65	c  773s |      19 |   886286 |   633982 |     9688    129 |        0 |        0
775.41/775.65	c  775s |      19 |   887878 |   635182 |     9688    129 |        0 |        0
777.50/777.79	c  777s |      19 |   889216 |   636182 |     9688    130 |        0 |        0
779.60/779.83	c  779s |      19 |   891018 |   637582 |     9688    130 |        0 |        0
781.70/781.94	c  781s |      19 |   893078 |   639182 |     9688    130 |        0 |        0
783.80/784.05	c  783s |      19 |   895109 |   640682 |     9688    130 |        0 |        0
785.90/786.16	c  785s |      19 |   896706 |   641882 |     9688    131 |        0 |        0
788.00/788.26	c  788s |      19 |   898739 |   643382 |     9688    131 |        0 |        0
790.00/790.28	c  790s |      19 |   900583 |   644782 |     9688    131 |        0 |        0
792.09/792.31	c  792s |      19 |   902104 |   645982 |     9688    131 |        0 |        0
794.10/794.32	c  794s |      19 |   903461 |   647082 |     9688    131 |        0 |        0
796.09/796.33	c  796s |      19 |   904576 |   647982 |     9688    132 |        0 |        0
798.10/798.36	c  798s |      19 |   906098 |   649182 |     9688    132 |        0 |        0
800.20/800.40	c  800s |      19 |   907376 |   650182 |     9688    132 |        0 |        0
802.20/802.42	c  802s |      19 |   908820 |   651282 |     9688    132 |        0 |        0
804.19/804.45	c  804s |      19 |   910436 |   652582 |     9688    132 |        0 |        0
806.20/806.48	c  806s |      19 |   911719 |   653582 |     9688    133 |        0 |        0
808.19/808.50	c  808s |      19 |   913215 |   654782 |     9688    133 |        0 |        0
810.39/810.66	c  810s |      19 |   914504 |   655782 |     9688    133 |        0 |        0
812.60/812.80	c  812s |      19 |   915812 |   656782 |     9688    133 |        0 |        0
814.70/814.96	c  814s |      19 |   917021 |   657782 |     9688    133 |        0 |        0
816.89/817.11	c  816s |      19 |   918344 |   658882 |     9688    133 |        0 |        0
818.99/819.26	c  819s |      19 |   919541 |   659882 |     9688    134 |        0 |        0
821.09/821.39	c  821s |      19 |   921048 |   661082 |     9688    134 |        0 |        0
823.19/823.48	c  823s |      19 |   922680 |   662282 |    10657    134 |        0 |        0
825.29/825.50	c  825s |      19 |   924289 |   663482 |    10657    134 |        0 |        0
827.50/827.75	c  827s |      19 |   925721 |   664582 |    10657    134 |        0 |        0
829.49/829.78	c  829s |      19 |   927913 |   666082 |    10657    135 |        0 |        0
829.99/830.27	c  830s |      20 |   929017 |   666827 |    10657    135 |        0 |        0
831.99/832.28	c  832s |      20 |   933373 |   668627 |    10657    135 |        0 |        0
833.99/834.29	c  834s |      20 |   935645 |   670327 |    10657    135 |        0 |        0
836.09/836.31	c  836s |      20 |   937858 |   671927 |    10657    135 |        0 |        0
838.19/838.41	c  838s |      20 |   939600 |   673227 |    10657    136 |        0 |        0
840.19/840.43	c  840s |      20 |   941790 |   674827 |    10657    136 |        0 |        0
842.40/842.63	c  842s |      20 |   943417 |   676027 |    10657    136 |        0 |        0
844.49/844.72	c  844s |      20 |   944707 |   677027 |    10657    136 |        0 |        0
846.59/846.80	c  846s |      20 |   945774 |   677827 |    10657    136 |        0 |        0
848.59/848.86	c  848s |      20 |   947324 |   678927 |    10657    137 |        0 |        0
850.69/850.95	c  850s |      20 |   949778 |   680627 |    10657    137 |        0 |        0
852.69/852.95	c  852s |      20 |   951474 |   681827 |    10657    137 |        0 |        0
854.79/855.08	c  854s |      20 |   952944 |   682927 |    10657    137 |        0 |        0
856.99/857.26	c  857s |      20 |   954191 |   683827 |    10657    137 |        0 |        0
859.08/859.32	c  859s |      20 |   955621 |   684827 |    10657    138 |        0 |        0
861.09/861.37	c  861s |      20 |   957301 |   686027 |    10657    138 |        0 |        0
863.19/863.47	c  863s |      20 |   958889 |   687227 |    10657    138 |        0 |        0
865.29/865.55	c  865s |      20 |   960366 |   688327 |    10657    138 |        0 |        0
867.38/867.65	c  867s |      20 |   961527 |   689227 |    10657    138 |        0 |        0
869.38/869.67	c  869s |      20 |   962821 |   690127 |    10657    138 |        0 |        0
871.48/871.77	c  871s |      20 |   963927 |   690927 |    10657    139 |        0 |        0
873.69/873.93	c  873s |      20 |   965365 |   691927 |    10657    139 |        0 |        0
875.89/876.16	c  875s |      20 |   966341 |   692627 |    10657    139 |        0 |        0
877.98/878.25	c  878s |      20 |   967904 |   693827 |    10657    139 |        0 |        0
880.09/880.36	c  880s |      20 |   969743 |   695327 |    10657    139 |        0 |        0
882.28/882.56	c  882s |      20 |   971205 |   696527 |    10657    139 |        0 |        0
884.29/884.57	c  884s |      20 |   973105 |   698027 |    10657    140 |        0 |        0
886.28/886.58	c  886s |      20 |   975307 |   699827 |    10657    140 |        0 |        0
888.38/888.66	c  888s |      20 |   976757 |   700927 |    10657    140 |        0 |        0
890.48/890.74	c  890s |      20 |   978233 |   702127 |    10657    140 |        0 |        0
892.58/892.86	c  892s |      20 |   979706 |   703327 |    10657    141 |        0 |        0
894.58/894.90	c  894s |      20 |   981167 |   704527 |    10657    141 |        0 |        0
896.88/897.10	c  896s |      20 |   982481 |   705627 |    10657    141 |        0 |        0
899.18/899.40	c  899s |      20 |   983737 |   706627 |    10657    141 |        0 |        0
901.18/901.44	c  901s |      20 |   984578 |   707327 |    10657    141 |        0 |        0
903.48/903.74	c  903s |      20 |   985557 |   708127 |    10657    141 |        0 |        0
905.68/905.99	c  905s |      20 |   986593 |   709027 |    10657    141 |        0 |        0
907.98/908.27	c  908s |      20 |   987563 |   709827 |    10657    142 |        0 |        0
909.97/910.29	c  910s |      20 |   988501 |   710627 |    10657    142 |        0 |        0
912.28/912.55	c  912s |      20 |   989490 |   711427 |    10657    142 |        0 |        0
914.38/914.64	c  914s |      20 |   990440 |   712127 |    10657    142 |        0 |        0
916.37/916.69	c  916s |      20 |   991218 |   712727 |    10657    142 |        0 |        0
918.48/918.72	c  918s |      20 |   992098 |   713427 |    10657    142 |        0 |        0
920.48/920.73	c  920s |      20 |   993576 |   714627 |    10657    142 |        0 |        0
922.58/922.80	c  922s |      20 |   995141 |   715827 |    10657    142 |        0 |        0
924.58/924.87	c  924s |      20 |   996797 |   717127 |    10657    143 |        0 |        0
926.78/927.01	c  926s |      20 |   998197 |   718227 |    10657    143 |        0 |        0
928.87/929.19	c  928s |      20 |   999520 |   719327 |    10657    143 |        0 |        0
930.97/931.25	c  931s |      20 |  1000917 |   720427 |    10657    143 |        0 |        0
933.08/933.39	c  933s |      20 |  1001867 |   721227 |    10657    143 |        0 |        0
935.37/935.60	c  935s |      20 |  1002738 |   721927 |    10657    143 |        0 |        0
937.47/937.74	c  937s |      20 |  1003490 |   722527 |    10657    144 |        0 |        0
939.68/939.94	c  939s |      20 |  1004171 |   723127 |    10657    144 |        0 |        0
941.67/941.96	c  941s |      20 |  1005946 |   724527 |    10657    144 |        0 |        0
943.68/943.97	c  943s |      20 |  1008536 |   726527 |    10657    144 |        0 |        0
945.67/945.98	c  945s |      20 |  1010575 |   728127 |    10657    144 |        0 |        0
947.77/948.00	c  947s |      20 |  1012315 |   729527 |    10657    145 |        0 |        0
949.77/950.03	c  949s |      20 |  1014317 |   731127 |    10657    145 |        0 |        0
951.87/952.11	c  951s |      20 |  1016027 |   732527 |    10657    145 |        0 |        0
953.87/954.18	c  953s |      20 |  1017342 |   733627 |    10657    145 |        0 |        0
956.07/956.30	c  956s |      20 |  1018864 |   734827 |    10657    146 |        0 |        0
958.07/958.39	c  958s |      20 |  1020895 |   736427 |    10657    146 |        0 |        0
960.27/960.57	c  960s |      20 |  1022692 |   737827 |    10657    146 |        0 |        0
962.37/962.68	c  962s |      20 |  1024295 |   739027 |    10657    146 |        0 |        0
964.48/964.80	c  964s |      20 |  1026479 |   740727 |    10657    146 |        0 |        0
966.57/966.88	c  966s |      20 |  1028277 |   742127 |    10657    147 |        0 |        0
968.67/968.90	c  968s |      20 |  1030297 |   743627 |    10657    147 |        0 |        0
970.77/971.02	c  970s |      20 |  1031910 |   744827 |    10657    147 |        0 |        0
972.77/973.06	c  972s |      20 |  1033299 |   745827 |    10657    147 |        0 |        0
974.87/975.16	c  974s |      20 |  1034471 |   746727 |    10657    147 |        0 |        0
976.87/977.18	c  976s |      20 |  1035638 |   747627 |    10657    148 |        0 |        0
979.06/979.36	c  979s |      20 |  1037178 |   748827 |    10657    148 |        0 |        0
981.26/981.55	c  981s |      20 |  1038489 |   749827 |    10657    148 |        0 |        0
983.28/983.56	c  983s |      20 |  1040064 |   751027 |    10657    148 |        0 |        0
985.27/985.60	c  985s |      20 |  1041245 |   751927 |    10657    148 |        0 |        0
987.57/987.84	c  987s |      20 |  1042584 |   752927 |    10657    148 |        0 |        0
989.66/989.95	c  989s |      20 |  1043681 |   753727 |    10657    149 |        0 |        0
991.77/992.03	c  991s |      20 |  1044980 |   754727 |    10657    149 |        0 |        0
993.97/994.22	c  993s |      20 |  1046185 |   755627 |    10657    149 |        0 |        0
995.96/996.28	c  996s |      20 |  1047144 |   756427 |    10657    149 |        0 |        0
998.07/998.34	c  998s |      20 |  1048192 |   757227 |    10657    149 |        0 |        0
1000.16/1000.49	c 1000s |      20 |  1049113 |   757927 |    10657    149 |        0 |        0
1002.36/1002.65	c 1002s |      20 |  1050533 |   758927 |    10657    149 |        0 |        0
1004.66/1004.97	c 1004s |      20 |  1051677 |   759827 |    10657    150 |        0 |        0
1006.86/1007.18	c 1006s |      20 |  1052896 |   760827 |    10657    150 |        0 |        0
1008.87/1009.18	c 1008s |      20 |  1054589 |   762027 |    10657    150 |        0 |        0
1010.96/1011.29	c 1011s |      20 |  1055966 |   763127 |    10657    150 |        0 |        0
1013.07/1013.38	c 1013s |      20 |  1057035 |   764027 |    10657    150 |        0 |        0
1015.36/1015.66	c 1015s |      20 |  1058227 |   765027 |    10657    150 |        0 |        0
1017.46/1017.75	c 1017s |      20 |  1059256 |   765927 |    10657    150 |        0 |        0
1019.47/1019.75	c 1019s |      20 |  1060382 |   766827 |    10657    151 |        0 |        0
1021.56/1021.89	c 1021s |      20 |  1061513 |   767727 |    10657    151 |        0 |        0
1023.86/1024.12	c 1023s |      20 |  1062402 |   768427 |    10657    151 |        0 |        0
1025.86/1026.16	c 1025s |      20 |  1063662 |   769327 |    10657    151 |        0 |        0
1028.16/1028.44	c 1028s |      20 |  1064820 |   770227 |    10657    151 |        0 |        0
1030.16/1030.44	c 1030s |      20 |  1065899 |   771027 |    10657    151 |        0 |        0
1032.26/1032.50	c 1032s |      20 |  1067344 |   772027 |    10657    151 |        0 |        0
1034.26/1034.52	c 1034s |      20 |  1070918 |   774727 |    10657    152 |        0 |        0
1036.25/1036.55	c 1036s |      20 |  1073384 |   776627 |    10657    152 |        0 |        0
1038.36/1038.60	c 1038s |      20 |  1075372 |   778127 |    10657    152 |        0 |        0
1040.37/1040.61	c 1040s |      20 |  1076748 |   779227 |    10657    153 |        0 |        0
1042.46/1042.78	c 1042s |      20 |  1078318 |   780527 |    10657    153 |        0 |        0
1044.56/1044.83	c 1044s |      20 |  1080460 |   782227 |    10657    153 |        0 |        0
1046.65/1046.91	c 1046s |      20 |  1082599 |   783827 |    10657    153 |        0 |        0
1048.66/1048.94	c 1048s |      20 |  1083987 |   784927 |    10657    154 |        0 |        0
1050.66/1050.99	c 1050s |      20 |  1086342 |   786727 |    10657    154 |        0 |        0
1052.75/1053.01	c 1052s |      20 |  1088750 |   788527 |    10657    154 |        0 |        0
1054.86/1055.10	c 1054s |      20 |  1090727 |   790027 |    10657    154 |        0 |        0
1056.96/1057.27	c 1057s |      20 |  1092338 |   791227 |    10657    155 |        0 |        0
1058.95/1059.28	c 1059s |      20 |  1093956 |   792427 |    10657    155 |        0 |        0
1061.15/1061.40	c 1061s |      20 |  1095991 |   794027 |    10657    155 |        0 |        0
1063.26/1063.55	c 1063s |      20 |  1097617 |   795227 |    10657    155 |        0 |        0
1065.26/1065.55	c 1065s |      20 |  1099049 |   796327 |    10657    155 |        0 |        0
1067.35/1067.69	c 1067s |      20 |  1100188 |   797227 |    10657    155 |        0 |        0
1069.55/1069.85	c 1069s |      20 |  1101462 |   798227 |    10657    156 |        0 |        0
1071.75/1072.02	c 1071s |      20 |  1103039 |   799427 |    10657    156 |        0 |        0
1073.75/1074.04	c 1073s |      20 |  1104205 |   800327 |    10657    156 |        0 |        0
1075.85/1076.15	c 1075s |      20 |  1105191 |   801127 |    10657    156 |        0 |        0
1077.86/1078.17	c 1077s |      20 |  1106435 |   802127 |    10657    156 |        0 |        0
1079.96/1080.30	c 1080s |      20 |  1107746 |   803127 |    10657    156 |        0 |        0
1082.15/1082.48	c 1082s |      20 |  1108862 |   804027 |    10657    157 |        0 |        0
1084.35/1084.62	c 1084s |      20 |  1110276 |   805127 |    10657    157 |        0 |        0
1086.45/1086.73	c 1086s |      20 |  1111241 |   805927 |    10657    157 |        0 |        0
1088.55/1088.82	c 1088s |      20 |  1112191 |   806727 |    10657    157 |        0 |        0
1090.65/1090.96	c 1090s |      20 |  1113009 |   807427 |    10657    157 |        0 |        0
1092.65/1092.98	c 1092s |      20 |  1113840 |   808127 |    10657    157 |        0 |        0
1094.95/1095.21	c 1094s |      20 |  1114802 |   808927 |    10657    157 |        0 |        0
1097.15/1097.42	c 1097s |      20 |  1115831 |   809727 |    10657    157 |        0 |        0
1099.15/1099.49	c 1099s |      20 |  1117591 |   811027 |    10657    158 |        0 |        0
1101.35/1101.62	c 1101s |      20 |  1119347 |   812427 |    10657    158 |        0 |        0
1103.35/1103.66	c 1103s |      20 |  1120873 |   813627 |    10657    158 |        0 |        0
1105.54/1105.80	c 1105s |      20 |  1122129 |   814627 |    10657    158 |        0 |        0
1107.55/1107.81	c 1107s |      20 |  1123333 |   815527 |    10657    158 |        0 |        0
1109.55/1109.86	c 1109s |      20 |  1125314 |   816727 |    10657    159 |        0 |        0
1111.65/1111.92	c 1111s |      20 |  1128170 |   818727 |    10657    159 |        0 |        0
1113.65/1113.98	c 1113s |      20 |  1130059 |   820027 |    10657    159 |        0 |        0
1115.75/1116.09	c 1115s |      20 |  1131380 |   821027 |    10657    159 |        0 |        0
1117.95/1118.27	c 1118s |      20 |  1133255 |   822227 |    10657    159 |        0 |        0
1120.04/1120.35	c 1120s |      20 |  1134765 |   823227 |    10657    160 |        0 |        0
1122.05/1122.37	c 1122s |      20 |  1136455 |   824327 |    10657    160 |        0 |        0
1124.24/1124.50	c 1124s |      20 |  1137825 |   825227 |    10657    160 |        0 |        0
1126.45/1126.74	c 1126s |      20 |  1139245 |   826127 |    10657    160 |        0 |        0
1128.45/1128.74	c 1128s |      20 |  1140733 |   827127 |    10657    160 |        0 |        0
1130.65/1130.92	c 1130s |      20 |  1142347 |   828427 |    10657    160 |        0 |        0
1132.76/1133.07	c 1132s |      20 |  1143887 |   829627 |    10657    161 |        0 |        0
1134.85/1135.14	c 1134s |      20 |  1145595 |   830927 |    10657    161 |        0 |        0
1136.84/1137.18	c 1136s |      20 |  1147076 |   832027 |    10657    161 |        0 |        0
1139.04/1139.33	c 1139s |      20 |  1148568 |   833127 |    10657    161 |        0 |        0
1141.14/1141.45	c 1141s |      20 |  1149805 |   834027 |    10657    161 |        0 |        0
1143.34/1143.60	c 1143s |      20 |  1151241 |   835127 |    10657    162 |        0 |        0
1145.45/1145.72	c 1145s |      20 |  1152878 |   836327 |    10657    162 |        0 |        0
1147.54/1147.85	c 1147s |      20 |  1154514 |   837527 |    10657    162 |        0 |        0
1149.64/1149.91	c 1149s |      20 |  1156339 |   838727 |    10657    162 |        0 |        0
1151.64/1151.94	c 1151s |      20 |  1157775 |   839827 |    10657    162 |        0 |        0
1153.64/1153.95	c 1153s |      20 |  1159323 |   840927 |    10657    162 |        0 |        0
1155.64/1155.99	c 1155s |      20 |  1160467 |   841827 |    10657    163 |        0 |        0
1157.74/1158.01	c 1157s |      20 |  1161641 |   842727 |    10657    163 |        0 |        0
1159.74/1160.02	c 1159s |      20 |  1163317 |   843827 |    10657    163 |        0 |        0
1161.84/1162.12	c 1161s |      20 |  1165129 |   845227 |    10657    163 |        0 |        0
1163.94/1164.21	c 1163s |      20 |  1166501 |   846327 |    10657    163 |        0 |        0
1165.94/1166.27	c 1166s |      20 |  1167640 |   847227 |    10657    163 |        0 |        0
1167.95/1168.28	c 1168s |      20 |  1168614 |   848027 |    10657    164 |        0 |        0
1170.14/1170.44	c 1170s |      20 |  1170190 |   849227 |    10657    164 |        0 |        0
1172.34/1172.62	c 1172s |      20 |  1171599 |   850327 |    10657    164 |        0 |        0
1174.43/1174.77	c 1174s |      20 |  1172939 |   851327 |    10657    164 |        0 |        0
1176.44/1176.78	c 1176s |      20 |  1173937 |   852127 |    10657    164 |        0 |        0
1178.63/1178.90	c 1178s |      20 |  1174972 |   852927 |    10657    164 |        0 |        0
1180.63/1180.96	c 1180s |      20 |  1176056 |   853727 |    10657    165 |        0 |        0
1182.63/1182.96	c 1182s |      20 |  1177056 |   854527 |    10657    165 |        0 |        0
1184.74/1185.01	c 1184s |      20 |  1178352 |   855527 |    10657    165 |        0 |        0
1186.74/1187.05	c 1186s |      20 |  1179701 |   856527 |    10657    165 |        0 |        0
1188.84/1189.14	c 1188s |      20 |  1181214 |   857427 |    10657    165 |        0 |        0
1190.94/1191.27	c 1191s |      20 |  1182814 |   858427 |    10657    165 |        0 |        0
1193.03/1193.36	c 1193s |      20 |  1184206 |   859427 |    10657    165 |        0 |        0
1195.13/1195.42	c 1195s |      20 |  1185576 |   860427 |    10657    166 |        0 |        0
1197.24/1197.58	c 1197s |      20 |  1186765 |   861327 |    10657    166 |        0 |        0
1199.33/1199.67	c 1199s |      20 |  1188041 |   862227 |    10657    166 |        0 |        0
1201.63/1201.97	c 1201s |      20 |  1189332 |   863127 |    10657    166 |        0 |        0
1203.73/1204.09	c 1203s |      20 |  1190516 |   863927 |    10657    166 |        0 |        0
1205.93/1206.25	c 1206s |      20 |  1191800 |   864827 |    10657    166 |        0 |        0
1208.14/1208.49	c 1208s |      20 |  1193392 |   865827 |    10657    166 |        0 |        0
1210.43/1210.74	c 1210s |      20 |  1194306 |   866527 |    10657    167 |        0 |        0
1212.74/1213.04	c 1212s |      20 |  1195755 |   867527 |    10657    167 |        0 |        0
1214.93/1215.22	c 1214s |      20 |  1196905 |   868327 |    10657    167 |        0 |        0
1217.13/1217.47	c 1217s |      20 |  1197861 |   869027 |    10657    167 |        0 |        0
1219.33/1219.64	c 1219s |      20 |  1199339 |   869927 |    10657    167 |        0 |        0
1221.53/1221.83	c 1221s |      20 |  1200903 |   871027 |    10657    167 |        0 |        0
1223.73/1224.01	c 1223s |      20 |  1202351 |   872027 |    10657    167 |        0 |        0
1225.83/1226.19	c 1225s |      20 |  1203712 |   872927 |    10657    168 |        0 |        0
1227.93/1228.21	c 1227s |      20 |  1204929 |   873727 |    10657    168 |        0 |        0
1230.13/1230.42	c 1230s |      20 |  1206218 |   874627 |    10657    168 |        0 |        0
1232.23/1232.52	c 1232s |      20 |  1207281 |   875427 |    10657    168 |        0 |        0
1234.43/1234.70	c 1234s |      20 |  1208466 |   876227 |    10657    168 |        0 |        0
1236.43/1236.72	c 1236s |      20 |  1209963 |   877327 |    10657    168 |        0 |        0
1238.62/1238.92	c 1238s |      20 |  1211881 |   878727 |    10657    169 |        0 |        0
1240.73/1241.01	c 1240s |      20 |  1213991 |   880227 |    10657    169 |        0 |        0
1242.74/1243.01	c 1242s |      20 |  1215628 |   881427 |    10657    169 |        0 |        0
1244.83/1245.10	c 1244s |      20 |  1217420 |   882727 |    10657    169 |        0 |        0
1246.83/1247.18	c 1246s |      20 |  1218684 |   883727 |    10657    169 |        0 |        0
1249.03/1249.32	c 1249s |      20 |  1220068 |   884627 |    10657    169 |        0 |        0
1251.13/1251.45	c 1251s |      20 |  1221617 |   885727 |    10657    170 |        0 |        0
1253.32/1253.64	c 1253s |      20 |  1223226 |   886927 |    10657    170 |        0 |        0
1255.43/1255.77	c 1255s |      20 |  1224623 |   887927 |    10657    170 |        0 |        0
1257.53/1257.89	c 1257s |      20 |  1225695 |   888727 |    10657    170 |        0 |        0
1259.82/1260.12	c 1259s |      20 |  1226520 |   889427 |    10657    170 |        0 |        0
1262.02/1262.35	c 1262s |      20 |  1227429 |   890127 |    10657    170 |        0 |        0
1264.23/1264.58	c 1264s |      20 |  1228355 |   890827 |    10657    170 |        0 |        0
1266.52/1266.80	c 1266s |      20 |  1229696 |   891727 |    10657    171 |        0 |        0
1268.52/1268.86	c 1268s |      20 |  1230944 |   892627 |    10657    171 |        0 |        0
1270.62/1270.90	c 1270s |      20 |  1232341 |   893627 |    10657    171 |        0 |        0
1272.73/1273.07	c 1272s |      20 |  1233319 |   894427 |    10657    171 |        0 |        0
1274.82/1275.10	c 1274s |      20 |  1234388 |   895227 |    10657    171 |        0 |        0
1277.02/1277.34	c 1277s |      20 |  1235324 |   896027 |    10657    171 |        0 |        0
1279.13/1279.49	c 1279s |      20 |  1236403 |   896827 |    10657    171 |        0 |        0
1281.62/1281.92	c 1281s |      20 |  1237306 |   897527 |    10657    172 |        0 |        0
1283.72/1284.06	c 1283s |      20 |  1238225 |   898227 |    10657    172 |        0 |        0
1285.92/1286.22	c 1285s |      20 |  1239094 |   898927 |    10657    172 |        0 |        0
1288.02/1288.34	c 1288s |      20 |  1240408 |   899827 |    10657    172 |        0 |        0
1290.22/1290.53	c 1290s |      20 |  1241555 |   900627 |    10657    172 |        0 |        0
1292.33/1292.65	c 1292s |      20 |  1242456 |   901327 |    10657    172 |        0 |        0
1294.62/1294.90	c 1294s |      20 |  1243476 |   902127 |    10657    172 |        0 |        0
1296.52/1296.90	c 1296s |      20 |  1244405 |   902827 |    10657    172 |        0 |        0
1298.62/1298.95	c 1298s |      20 |  1245283 |   903527 |    10657    172 |        0 |        0
1300.82/1301.16	c 1300s |      20 |  1246395 |   904327 |    10657    173 |        0 |        0
1302.91/1303.22	c 1302s |      20 |  1247549 |   905127 |    10657    173 |        0 |        0
1305.12/1305.46	c 1305s |      20 |  1248540 |   905827 |    10657    173 |        0 |        0
1307.21/1307.52	c 1307s |      20 |  1249567 |   906527 |    10657    173 |        0 |        0
1309.62/1309.98	c 1309s |      20 |  1250405 |   907127 |    10657    173 |        0 |        0
1311.62/1311.99	c 1311s |      20 |  1251320 |   907827 |    10657    173 |        0 |        0
1313.72/1314.09	c 1313s |      20 |  1253536 |   909427 |    10657    173 |        0 |        0
1315.82/1316.15	c 1315s |      20 |  1255120 |   910627 |    10657    174 |        0 |        0
1317.91/1318.23	c 1318s |      20 |  1256725 |   911827 |    10657    174 |        0 |        0
1320.01/1320.34	c 1320s |      20 |  1258438 |   913027 |    10657    174 |        0 |        0
1322.12/1322.42	c 1322s |      20 |  1260069 |   914127 |    10657    174 |        0 |        0
1324.31/1324.66	c 1324s |      20 |  1261562 |   915127 |    10657    174 |        0 |        0
1326.33/1326.70	c 1326s |      20 |  1262874 |   916027 |    10657    174 |        0 |        0
1328.52/1328.86	c 1328s |      20 |  1264223 |   916927 |    10657    175 |        0 |        0
1330.61/1330.99	c 1330s |      20 |  1265559 |   917827 |    10657    175 |        0 |        0
1332.81/1333.10	c 1332s |      20 |  1266624 |   918627 |    10657    175 |        0 |        0
1334.91/1335.21	c 1334s |      20 |  1267779 |   919427 |    10657    175 |        0 |        0
1336.92/1337.27	c 1337s |      20 |  1268687 |   920027 |    10657    175 |        0 |        0
1339.11/1339.42	c 1339s |      20 |  1269946 |   920927 |    10657    175 |        0 |        0
1341.21/1341.50	c 1341s |      20 |  1270817 |   921627 |    10657    175 |        0 |        0
1343.21/1343.58	c 1343s |      20 |  1271639 |   922227 |    10657    175 |        0 |        0
1345.31/1345.63	c 1345s |      20 |  1272693 |   922927 |    10657    176 |        0 |        0
1347.41/1347.79	c 1347s |      20 |  1274138 |   923827 |    10657    176 |        0 |        0
1349.41/1349.79	c 1349s |      20 |  1275606 |   924727 |    10657    176 |        0 |        0
1351.62/1351.91	c 1351s |      20 |  1277753 |   926127 |    10657    176 |        0 |        0
1353.71/1354.08	c 1353s |      20 |  1279699 |   927427 |    10657    176 |        0 |        0
1355.81/1356.13	c 1355s |      20 |  1281282 |   928527 |    10657    176 |        0 |        0
1357.81/1358.18	c 1357s |      20 |  1282943 |   929627 |    10657    177 |        0 |        0
1359.91/1360.28	c 1360s |      20 |  1284631 |   930827 |    10657    177 |        0 |        0
1362.01/1362.36	c 1362s |      20 |  1286168 |   931827 |    10657    177 |        0 |        0
1364.01/1364.39	c 1364s |      20 |  1287402 |   932727 |    10657    177 |        0 |        0
1366.11/1366.47	c 1366s |      20 |  1288506 |   933527 |    10657    177 |        0 |        0
1368.31/1368.68	c 1368s |      20 |  1289796 |   934427 |    10657    177 |        0 |        0
1370.60/1370.90	c 1370s |      20 |  1290980 |   935327 |    10657    178 |        0 |        0
1372.81/1373.15	c 1372s |      20 |  1292241 |   936227 |    10657    178 |        0 |        0
1374.90/1375.24	c 1375s |      20 |  1293340 |   937027 |    10657    178 |        0 |        0
1376.92/1377.29	c 1377s |      20 |  1294306 |   937727 |    10657    178 |        0 |        0
1379.01/1379.31	c 1379s |      20 |  1296327 |   939227 |    10657    178 |        0 |        0
1381.00/1381.31	c 1381s |      20 |  1298235 |   940627 |    10657    178 |        0 |        0
1383.10/1383.45	c 1383s |      20 |  1299878 |   941827 |    10657    179 |        0 |        0
1385.21/1385.50	c 1385s |      20 |  1301519 |   943027 |    10657    179 |        0 |        0
1387.21/1387.51	c 1387s |      20 |  1303464 |   944427 |    10657    179 |        0 |        0
1389.31/1389.69	c 1389s |      20 |  1305295 |   945727 |    10657    179 |        0 |        0
1391.41/1391.73	c 1391s |      20 |  1306591 |   946627 |    10657    179 |        0 |        0
1393.60/1393.98	c 1393s |      20 |  1307818 |   947527 |    10657    180 |        0 |        0
1395.81/1396.16	c 1395s |      20 |  1309266 |   948527 |    10657    180 |        0 |        0
1398.01/1398.39	c 1398s |      20 |  1310692 |   949527 |    10657    180 |        0 |        0
1400.40/1400.71	c 1400s |      20 |  1311854 |   950327 |    10657    180 |        0 |        0
1402.61/1402.96	c 1402s |      20 |  1312734 |   951027 |    10657    180 |        0 |        0
1404.70/1405.09	c 1404s |      20 |  1314149 |   952027 |    10657    180 |        0 |        0
1407.00/1407.30	c 1407s |      20 |  1315238 |   952827 |    10657    180 |        0 |        0
1409.01/1409.38	c 1409s |      20 |  1316341 |   953627 |    10657    180 |        0 |        0
1411.11/1411.45	c 1411s |      20 |  1317427 |   954427 |    10657    181 |        0 |        0
1413.40/1413.71	c 1413s |      20 |  1318561 |   955327 |    10657    181 |        0 |        0
1415.40/1415.74	c 1415s |      20 |  1319678 |   956127 |    10657    181 |        0 |        0
1417.40/1417.78	c 1417s |      20 |  1320833 |   956927 |    10657    181 |        0 |        0
1419.70/1420.05	c 1419s |      20 |  1322049 |   957827 |    10657    181 |        0 |        0
1422.01/1422.34	c 1422s |      20 |  1323050 |   958627 |    10657    181 |        0 |        0
1424.20/1424.55	c 1424s |      20 |  1323990 |   959327 |    10657    181 |        0 |        0
1426.30/1426.70	c 1426s |      20 |  1325000 |   960027 |    10657    182 |        0 |        0
1428.50/1428.87	c 1428s |      20 |  1326060 |   960827 |    10657    182 |        0 |        0
1430.70/1431.09	c 1430s |      20 |  1327203 |   961627 |    10657    182 |        0 |        0
1432.70/1433.09	c 1432s |      20 |  1328124 |   962327 |    10657    182 |        0 |        0
1434.99/1435.38	c 1435s |      20 |  1329082 |   963027 |    10657    182 |        0 |        0
1437.10/1437.49	c 1437s |      20 |  1329781 |   963527 |    10657    182 |        0 |        0
1439.20/1439.55	c 1439s |      20 |  1330475 |   964027 |    10657    182 |        0 |        0
1441.40/1441.72	c 1441s |      20 |  1331287 |   964627 |    10657    182 |        0 |        0
1443.70/1444.02	c 1443s |      20 |  1332050 |   965227 |    10657    182 |        0 |        0
1445.89/1446.27	c 1446s |      20 |  1332902 |   965827 |    10657    182 |        0 |        0
1448.30/1448.69	c 1448s |      20 |  1333772 |   966427 |    10657    183 |        0 |        0
1450.49/1450.84	c 1450s |      20 |  1334568 |   967027 |    10657    183 |        0 |        0
1452.80/1453.12	c 1452s |      20 |  1335314 |   967627 |    10657    183 |        0 |        0
1454.80/1455.13	c 1454s |      20 |  1335948 |   968127 |    10657    183 |        0 |        0
1456.79/1457.17	c 1456s |      20 |  1336601 |   968627 |    10657    183 |        0 |        0
1459.10/1459.42	c 1459s |      20 |  1337569 |   969327 |    10657    183 |        0 |        0
1461.10/1461.42	c 1461s |      20 |  1339075 |   970327 |    10657    183 |        0 |        0
1463.19/1463.56	c 1463s |      20 |  1340869 |   971627 |    10657    183 |        0 |        0
1465.40/1465.75	c 1465s |      20 |  1342326 |   972727 |    10657    184 |        0 |        0
1467.49/1467.87	c 1467s |      20 |  1343709 |   973727 |    10657    184 |        0 |        0
1469.59/1469.95	c 1469s |      20 |  1345188 |   974727 |    10657    184 |        0 |        0
1471.69/1472.10	c 1471s |      20 |  1347482 |   976127 |    10657    184 |        0 |        0
1473.90/1474.25	c 1474s |      20 |  1348981 |   977127 |    10657    184 |        0 |        0
1476.09/1476.42	c 1476s |      20 |  1349942 |   977827 |    10657    184 |        0 |        0
1478.29/1478.63	c 1478s |      20 |  1351431 |   978927 |    10657    185 |        0 |        0
1480.49/1480.84	c 1480s |      20 |  1352757 |   979927 |    10657    185 |        0 |        0
1482.60/1482.91	c 1482s |      20 |  1353963 |   980827 |    10657    185 |        0 |        0
1484.70/1485.04	c 1484s |      20 |  1354999 |   981627 |    10657    185 |        0 |        0
1486.69/1487.08	c 1486s |      20 |  1355918 |   982327 |    10657    185 |        0 |        0
1488.89/1489.28	c 1489s |      20 |  1356792 |   983027 |    10657    185 |        0 |        0
1491.09/1491.41	c 1491s |      20 |  1357714 |   983727 |    10657    185 |        0 |        0
1493.19/1493.60	c 1493s |      20 |  1358657 |   984427 |    10657    185 |        0 |        0
1495.29/1495.64	c 1495s |      20 |  1359425 |   985027 |    10657    185 |        0 |        0
1497.49/1497.86	c 1497s |      20 |  1360902 |   986127 |    10657    186 |        0 |        0
1499.58/1499.92	c 1499s |      20 |  1362132 |   987027 |    10657    186 |        0 |        0
1501.69/1502.01	c 1501s |      20 |  1363417 |   987927 |    10657    186 |        0 |        0
1503.79/1504.11	c 1503s |      20 |  1364832 |   988927 |    10657    186 |        0 |        0
1505.99/1506.36	c 1506s |      20 |  1366068 |   989827 |    10657    186 |        0 |        0
1508.09/1508.43	c 1508s |      20 |  1366974 |   990427 |    10657    186 |        0 |        0
1510.10/1510.48	c 1510s |      20 |  1367818 |   991027 |    10657    186 |        0 |        0
1512.19/1512.60	c 1512s |      20 |  1369011 |   991927 |    10657    187 |        0 |        0
1514.39/1514.71	c 1514s |      20 |  1370289 |   992827 |    10657    187 |        0 |        0
1516.48/1516.83	c 1516s |      20 |  1371371 |   993627 |    11723    187 |        0 |        0
1518.69/1519.01	c 1518s |      20 |  1372636 |   994527 |    11723    187 |        0 |        0
1520.88/1521.26	c 1521s |      20 |  1373648 |   995327 |    11723    187 |        0 |        0
1522.99/1523.32	c 1523s |      20 |  1374571 |   996027 |    11723    187 |        0 |        0
1524.99/1525.32	c 1525s |      20 |  1375444 |   996627 |    11723    187 |        0 |        0
1526.99/1527.33	c 1527s |      20 |  1376187 |   997227 |    11723    187 |        0 |        0
1528.98/1529.38	c 1529s |      20 |  1376992 |   997827 |    11723    187 |        0 |        0
1531.18/1531.50	c 1531s |      20 |  1377990 |   998527 |    11723    187 |        0 |        0
1533.19/1533.52	c 1533s |      20 |  1379010 |   999227 |    11723    188 |        0 |        0
1535.29/1535.63	c 1535s |      20 |  1380184 |  1000027 |    11723    188 |        0 |        0
1536.08/1536.47	c 1536s |      21 |  1380627 |  1000345 |    11723    188 |        0 |        0
1538.08/1538.49	c 1538s |      21 |  1383212 |  1000945 |    11723    188 |        0 |        0
1540.38/1540.74	c 1540s |      21 |  1384415 |  1001845 |    11723    188 |        0 |        0
1542.48/1542.83	c 1542s |      21 |  1385363 |  1002545 |    11723    188 |        0 |        0
1544.68/1545.07	c 1544s |      21 |  1386470 |  1003345 |    11723    188 |        0 |        0
1546.78/1547.13	c 1546s |      21 |  1387613 |  1004145 |    11723    188 |        0 |        0
1549.08/1549.46	c 1549s |      21 |  1388436 |  1004745 |    11723    188 |        0 |        0
1551.18/1551.56	c 1551s |      21 |  1389079 |  1005245 |    11723    188 |        0 |        0
1553.38/1553.73	c 1553s |      21 |  1389812 |  1005845 |    11723    189 |        0 |        0
1555.58/1555.93	c 1555s |      21 |  1390585 |  1006445 |    11723    189 |        0 |        0
1557.68/1558.00	c 1557s |      21 |  1391790 |  1007345 |    11723    189 |        0 |        0
1559.68/1560.03	c 1559s |      21 |  1392678 |  1008045 |    11723    189 |        0 |        0
1561.88/1562.29	c 1562s |      21 |  1393768 |  1008845 |    11723    189 |        0 |        0
1563.89/1564.29	c 1564s |      21 |  1394425 |  1009345 |    11723    189 |        0 |        0
1566.19/1566.51	c 1566s |      21 |  1395459 |  1010145 |    11723    189 |        0 |        0
1568.29/1568.66	c 1568s |      21 |  1396503 |  1010945 |    11723    189 |        0 |        0
1570.38/1570.74	c 1570s |      21 |  1397225 |  1011545 |    11723    189 |        0 |        0
1572.97/1573.32	c 1573s |      21 |  1398220 |  1012245 |    11723    190 |        0 |        0
1575.18/1575.53	c 1575s |      21 |  1399483 |  1013045 |    11723    190 |        0 |        0
1577.27/1577.67	c 1577s |      21 |  1401270 |  1014145 |    11723    190 |        0 |        0
1579.38/1579.75	c 1579s |      21 |  1403120 |  1015345 |    11723    190 |        0 |        0
1581.38/1581.78	c 1581s |      21 |  1404814 |  1016445 |    11723    190 |        0 |        0
1583.48/1583.81	c 1583s |      21 |  1405999 |  1017345 |    11723    190 |        0 |        0
1585.48/1585.86	c 1585s |      21 |  1407126 |  1018145 |    11723    190 |        0 |        0
1587.77/1588.15	c 1587s |      21 |  1408243 |  1018945 |    11723    191 |        0 |        0
1589.98/1590.31	c 1590s |      21 |  1409761 |  1019945 |    11723    191 |        0 |        0
1591.97/1592.40	c 1592s |      21 |  1411074 |  1020845 |    11723    191 |        0 |        0
1594.18/1594.54	c 1594s |      21 |  1412379 |  1021745 |    11723    191 |        0 |        0
1596.27/1596.66	c 1596s |      21 |  1414219 |  1022945 |    11723    191 |        0 |        0
1598.37/1598.78	c 1598s |      21 |  1415635 |  1023945 |    11723    191 |        0 |        0
1600.58/1600.93	c 1600s |      21 |  1416920 |  1024845 |    11723    191 |        0 |        0
1602.67/1603.05	c 1602s |      21 |  1418246 |  1025745 |    11723    192 |        0 |        0
1604.77/1605.15	c 1604s |      21 |  1419719 |  1026745 |    11723    192 |        0 |        0
1606.97/1607.30	c 1607s |      21 |  1420995 |  1027645 |    11723    192 |        0 |        0
1609.17/1609.52	c 1609s |      21 |  1422473 |  1028645 |    11723    192 |        0 |        0
1611.28/1611.62	c 1611s |      21 |  1423690 |  1029445 |    11723    192 |        0 |        0
1613.38/1613.72	c 1613s |      21 |  1424803 |  1030245 |    11723    192 |        0 |        0
1615.37/1615.75	c 1615s |      21 |  1425973 |  1031045 |    11723    192 |        0 |        0
1617.57/1617.94	c 1617s |      21 |  1427393 |  1032045 |    11723    192 |        0 |        0
1619.77/1620.11	c 1619s |      21 |  1428430 |  1032745 |    11723    193 |        0 |        0
1621.87/1622.22	c 1621s |      21 |  1430054 |  1033845 |    11723    193 |        0 |        0
1624.07/1624.44	c 1624s |      21 |  1431456 |  1034745 |    11723    193 |        0 |        0
1626.27/1626.62	c 1626s |      21 |  1432893 |  1035645 |    11723    193 |        0 |        0
1628.46/1628.86	c 1628s |      21 |  1434217 |  1036545 |    11723    193 |        0 |        0
1630.57/1630.97	c 1630s |      21 |  1435340 |  1037345 |    11723    193 |        0 |        0
1632.67/1633.01	c 1632s |      21 |  1436593 |  1038145 |    11723    193 |        0 |        0
1634.97/1635.31	c 1635s |      21 |  1437799 |  1038945 |    11723    193 |        0 |        0
1636.97/1637.38	c 1637s |      21 |  1438648 |  1039545 |    11723    194 |        0 |        0
1639.17/1639.58	c 1639s |      21 |  1440038 |  1040445 |    11723    194 |        0 |        0
1641.47/1641.82	c 1641s |      21 |  1441505 |  1041445 |    11723    194 |        0 |        0
1643.47/1643.83	c 1643s |      21 |  1442745 |  1042245 |    11723    194 |        0 |        0
1645.66/1646.05	c 1645s |      21 |  1444228 |  1043145 |    11723    194 |        0 |        0
1647.87/1648.25	c 1648s |      21 |  1445398 |  1043945 |    11723    194 |        0 |        0
1650.06/1650.45	c 1650s |      21 |  1446496 |  1044745 |    11723    194 |        0 |        0
1652.17/1652.50	c 1652s |      21 |  1447492 |  1045445 |    11723    194 |        0 |        0
1654.26/1654.65	c 1654s |      21 |  1448345 |  1046045 |    11723    195 |        0 |        0
1656.56/1656.93	c 1656s |      21 |  1449640 |  1046945 |    11723    195 |        0 |        0
1658.67/1659.03	c 1658s |      21 |  1450940 |  1047845 |    11723    195 |        0 |        0
1660.86/1661.21	c 1660s |      21 |  1452428 |  1048845 |    11723    195 |        0 |        0
1662.87/1663.28	c 1663s |      21 |  1453731 |  1049745 |    11723    195 |        0 |        0
1665.07/1665.48	c 1665s |      21 |  1455068 |  1050645 |    11723    195 |        0 |        0
1667.27/1667.61	c 1667s |      21 |  1456046 |  1051345 |    11723    195 |        0 |        0
1669.36/1669.76	c 1669s |      21 |  1457271 |  1052145 |    11723    195 |        0 |        0
1671.57/1671.96	c 1671s |      21 |  1458283 |  1052845 |    11723    196 |        0 |        0
1672.87/1673.25	c 1673s |      21 |  1458968 |  1053301 |    11723    196 |        0 |        0
1672.87/1673.25	c #cpu_time = 1672.988s
1672.87/1673.25	c #wall_clock_time = 1673.016s
1672.87/1673.25	c #decision = 1458968
1672.87/1673.25	c #random_decision = 2403
1672.87/1673.25	c #conflict = 1053301
1672.87/1673.25	c #restart = 21
1672.87/1673.25	c BCD2: found a new core of size 1804: cost of the new core is >=1
1672.87/1673.25	c lower bound updated to 1
1672.87/1673.25	c BCD2: 1 <= obj <= 393
1672.87/1673.25	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1804, #hardened=0
1672.87/1673.25	c BCD2: #sat=1 #unsat=2 bias=2/3
1672.87/1673.26	c Solving starts ...
1672.87/1673.26	c ============================[ Search Statistics ]============================
1672.87/1673.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1672.87/1673.26	c       |         |          |          |    Limit     GC | Var      | Constra 
1672.87/1673.26	c =============================================================================
1672.87/1673.26	c  0.0s |       0 |        0 |        0 |    11723      0 |        0 |        0
1672.96/1673.39	c  0.1s |       0 |     2845 |       26 |    11723      0 |        0 |        0
1672.96/1673.39	c #cpu_time = 0.125s
1672.96/1673.39	c #wall_clock_time = 0.125s
1672.96/1673.39	c #decision = 2845
1672.96/1673.39	c #random_decision = 12
1672.96/1673.39	c #conflict = 26
1672.96/1673.39	c #restart = 0
1672.96/1673.39	o 109
1672.96/1673.39	c BCD2: updating upper bound: 393 -> 108
1673.06/1673.40	c BCD2: 1 <= obj <= 108
1673.06/1673.40	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1804, #hardened=0
1673.06/1673.40	c BCD2: #sat=2 #unsat=2 bias=2/4
1673.06/1673.41	c Solving starts ...
1673.06/1673.41	c ============================[ Search Statistics ]============================
1673.06/1673.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1673.06/1673.41	c       |         |          |          |    Limit     GC | Var      | Constra 
1673.06/1673.41	c =============================================================================
1673.06/1673.41	c  0.0s |       0 |        0 |        0 |    11723      0 |        0 |        2
1673.16/1673.52	c  0.1s |       0 |      350 |        0 |    11723      0 |        0 |        2
1673.16/1673.52	c #cpu_time = 0.111s
1673.16/1673.52	c #wall_clock_time = 0.111s
1673.16/1673.52	c #decision = 350
1673.16/1673.52	c #random_decision = 0
1673.16/1673.52	c #conflict = 0
1673.16/1673.52	c #restart = 0
1673.16/1673.52	o 57
1673.16/1673.52	c BCD2: hardening fixes 795 literals
1673.16/1673.52	c BCD2: updating upper bound: 108 -> 56
1673.16/1673.53	c BCD2: 1 <= obj <= 56
1673.16/1673.53	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1009, #hardened=795
1673.16/1673.53	c BCD2: #sat=3 #unsat=2 bias=2/5
1673.16/1673.53	c Solving starts ...
1673.16/1673.53	c ============================[ Search Statistics ]============================
1673.16/1673.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1673.16/1673.53	c       |         |          |          |    Limit     GC | Var      | Constra 
1673.16/1673.53	c =============================================================================
1673.16/1673.53	c  0.0s |       0 |        0 |        0 |    11723      0 |      795 |        4
1673.26/1673.68	c  0.1s |       0 |       64 |       27 |    11723      0 |      795 |        4
1673.26/1673.68	c #cpu_time = 0.141s
1673.26/1673.68	c #wall_clock_time = 0.141s
1673.26/1673.68	c #decision = 64
1673.26/1673.68	c #random_decision = 0
1673.26/1673.68	c #conflict = 27
1673.26/1673.68	c #restart = 0
1673.26/1673.68	o 23
1673.26/1673.68	c BCD2: hardening fixes 583 literals
1673.26/1673.68	c BCD2: updating upper bound: 56 -> 22
1673.26/1673.68	c BCD2: 1 <= obj <= 22
1673.26/1673.68	c BCD2: #cores=1, #unrelaxed=0, #relaxed=426, #hardened=1378
1673.26/1673.68	c BCD2: #sat=4 #unsat=2 bias=2/6
1673.26/1673.68	c Solving starts ...
1673.26/1673.68	c ============================[ Search Statistics ]============================
1673.26/1673.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1673.26/1673.68	c       |         |          |          |    Limit     GC | Var      | Constra 
1673.26/1673.68	c =============================================================================
1673.26/1673.68	c  0.0s |       0 |        0 |        0 |    11723      0 |     1378 |        6
1673.66/1674.10	c  0.4s |       1 |      193 |      100 |    11723      0 |     1378 |        6
1674.06/1674.43	c  0.8s |       2 |      425 |      250 |    11723      0 |     1378 |        6
1674.26/1674.68	c  1.0s |       3 |      796 |      475 |    11723      0 |     1378 |        6
1674.56/1674.99	c  1.3s |       4 |     1393 |      813 |    11723      0 |     1378 |        6
1674.97/1675.39	c  1.7s |       5 |     2170 |     1320 |    11723      0 |     1378 |        6
1675.56/1675.92	c  2.2s |       6 |     3356 |     2081 |    11723      0 |     1378 |        6
1675.96/1676.30	c  2.6s |       6 |     3919 |     2465 |    11723      0 |     1378 |        6
1675.96/1676.30	c #cpu_time = 2.618s
1675.96/1676.30	c #wall_clock_time = 2.617s
1675.96/1676.30	c #decision = 3919
1675.96/1676.30	c #random_decision = 2
1675.96/1676.30	c #conflict = 2465
1675.96/1676.30	c #restart = 6
1675.96/1676.30	o 8
1675.96/1676.32	c BCD2: hardening fixes 282 literals
1675.96/1676.32	c BCD2: updating upper bound: 22 -> 7
1675.96/1676.32	c BCD2: 1 <= obj <= 7
1675.96/1676.32	c BCD2: #cores=1, #unrelaxed=0, #relaxed=144, #hardened=1660
1675.96/1676.32	c BCD2: #sat=5 #unsat=2 bias=2/7
1675.96/1676.32	c Solving starts ...
1675.96/1676.32	c ============================[ Search Statistics ]============================
1675.96/1676.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1675.96/1676.32	c       |         |          |          |    Limit     GC | Var      | Constra 
1675.96/1676.32	c =============================================================================
1675.96/1676.32	c  0.0s |       0 |        0 |        0 |    11723      0 |     1660 |        8
1676.07/1676.49	c  0.2s |       1 |      168 |      100 |    11723      0 |     1660 |        8
1676.36/1676.71	c  0.4s |       2 |      352 |      250 |    11723      0 |     1660 |        8
1676.56/1676.99	c  0.7s |       3 |      667 |      475 |    11723      0 |     1660 |        8
1677.06/1677.40	c  1.1s |       4 |     1221 |      813 |    11723      0 |     1660 |        8
1677.46/1677.81	c  1.5s |       5 |     2057 |     1320 |    11723      0 |     1660 |        8
1678.06/1678.41	c  2.1s |       6 |     3205 |     2081 |    11723      0 |     1660 |        8
1678.86/1679.23	c  2.9s |       7 |     4875 |     3223 |    11723      0 |     1660 |        8
1680.06/1680.41	c  4.1s |       8 |     7541 |     4936 |    11723      1 |     1660 |        8
1680.47/1680.83	c  4.5s |       8 |     8628 |     5678 |    11723      1 |     1660 |        8
1680.47/1680.83	c #cpu_time = 4.515s
1680.47/1680.83	c #wall_clock_time = 4.515s
1680.47/1680.83	c #decision = 8628
1680.47/1680.83	c #random_decision = 13
1680.47/1680.83	c #conflict = 5678
1680.47/1680.83	c #restart = 8
1680.47/1680.83	o 3
1680.47/1680.84	c BCD2: hardening fixes 102 literals
1680.47/1680.84	c BCD2: updating upper bound: 7 -> 2
1680.47/1680.84	c BCD2: 1 <= obj <= 2
1680.47/1680.84	c BCD2: #cores=1, #unrelaxed=0, #relaxed=42, #hardened=1762
1680.47/1680.84	c BCD2: #sat=6 #unsat=2 bias=2/8
1680.47/1680.84	c Solving starts ...
1680.47/1680.84	c ============================[ Search Statistics ]============================
1680.47/1680.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1680.47/1680.84	c       |         |          |          |    Limit     GC | Var      | Constra 
1680.47/1680.84	c =============================================================================
1680.47/1680.84	c  0.0s |       0 |        0 |        0 |    11723      0 |     1762 |       10
1680.57/1680.93	c  0.1s |       1 |      132 |      100 |    11723      0 |     1762 |       10
1680.66/1681.06	c  0.2s |       2 |      376 |      250 |    11723      0 |     1762 |       10
1680.86/1681.20	c  0.4s |       3 |      686 |      475 |    11723      0 |     1762 |       10
1681.06/1681.40	c  0.6s |       4 |     1220 |      813 |    11723      0 |     1762 |       10
1681.26/1681.67	c  0.8s |       5 |     1988 |     1320 |    11723      0 |     1762 |       10
1681.76/1682.17	c  1.3s |       6 |     3017 |     2081 |    11723      0 |     1762 |       10
1682.26/1682.67	c  1.8s |       7 |     4854 |     3223 |    11723      0 |     1762 |       10
1683.46/1683.81	c  3.0s |       8 |     7283 |     4936 |    11723      1 |     1762 |       10
1684.66/1685.08	c  4.2s |       9 |    11045 |     7506 |    11723      1 |     1762 |       10
1686.56/1686.93	c  6.1s |       9 |    15454 |    10667 |    11723      1 |     1762 |       10
1686.56/1686.93	c #cpu_time = 6.098s
1686.56/1686.93	c #wall_clock_time = 6.098s
1686.56/1686.93	c #decision = 15454
1686.56/1686.93	c #random_decision = 50
1686.56/1686.93	c #conflict = 10667
1686.56/1686.93	c #restart = 9
1686.56/1686.94	o 1
1686.56/1686.94	s OPTIMUM FOUND
1686.56/1686.94	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10
1686.56/1686.94	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1686.56/1686.94	v -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
1686.56/1686.94	v -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40
1686.56/1686.94	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
1686.56/1686.94	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1686.56/1686.94	v -x61 x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70
1686.56/1686.94	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80
1686.56/1686.94	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1686.56/1686.94	v -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100
1686.56/1686.94	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110
1686.56/1686.94	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120
1686.56/1686.94	v -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1686.56/1686.94	v -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140
1686.56/1686.94	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150
1686.56/1686.94	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
1686.56/1686.94	v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170
1686.56/1686.94	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
1686.56/1686.94	v -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190
1686.56/1686.94	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1686.56/1686.94	v x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1686.56/1686.94	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220
1686.56/1686.94	v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230
1686.56/1686.94	v -x231
1686.56/1686.94	c total CPU time = 1686.911s
1686.56/1686.94	c total wall clock time = 1686.939s

Verifier Data 

OK	1

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-4109694-1466343924/watcher-4109694-1466343924 -o /tmp/evaluation-result-4109694-1466343924/solver-4109694-1466343924 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466341815-31321 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109694-1466343924.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.35 2.30 2.06 4/179 32428
/proc/meminfo: memFree=29269208/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=756292 CPUtime=0 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 2831 0 0 0 0 0 0 0 20 0 4 0 36438863 774443008 3191 33554432000 4194304 16246674 140736287502848 140736287502272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 189841 3200 442 2943 0 186735 0
[pid=32428/tid=32429] ppid=32425 vsize=774724 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 793317376 3261 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=778820 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 797511680 3277 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=782916 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36438863 801705984 3294 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.35 2.30 2.06 4/179 32428
/proc/meminfo: memFree=29269208/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 24733 0 0 0 6 3 0 0 20 0 4 0 36438863 1247350784 25086 33554432000 4194304 16246674 140736287502848 140736287484736 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 304529 25089 619 2943 0 301423 0
[pid=32428/tid=32429] ppid=32425 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1247350784 25092 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1247350784 25099 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36438863 1247350784 25100 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200535 s]
/proc/loadavg: 2.35 2.30 2.06 4/179 32428
/proc/meminfo: memFree=29269208/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1221188 CPUtime=0.18 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 34121 0 0 0 14 4 0 0 20 0 4 0 36438863 1250496512 34428 33554432000 4194304 16246674 140736287502848 140736287502160 5928189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 305297 34428 866 2943 0 302191 0
[pid=32428/tid=32429] ppid=32425 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1250496512 34428 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1250496512 34428 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1250496512 34428 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300512 s]
/proc/loadavg: 2.35 2.30 2.06 4/179 32428
/proc/meminfo: memFree=29269208/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 48445 0 0 0 23 6 0 0 20 0 4 0 36438863 1334382592 48753 33554432000 4194304 16246674 140736287502848 140736287502160 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 325777 48764 923 2943 0 322671 0
[pid=32428/tid=32429] ppid=32425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1334382592 48770 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1334382592 48777 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1334382592 48784 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700376 s]
/proc/loadavg: 2.35 2.30 2.06 4/179 32428
/proc/meminfo: memFree=29269208/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1303108 CPUtime=0.69 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 119178 0 0 0 54 15 0 0 20 0 4 0 36438863 1334382592 119485 33554432000 4194304 16246674 140736287502848 140736287502160 5674521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 325777 119490 923 2943 0 322671 0
[pid=32428/tid=32429] ppid=32425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1334382592 119495 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1334382592 119509 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1334382592 119521 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1303108

[startup+1.50042 s]
/proc/loadavg: 2.35 2.30 2.06 4/183 32432
/proc/meminfo: memFree=28571896/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 177828 0 0 0 127 22 0 0 20 0 4 0 36438863 1339625472 178135 33554432000 4194304 16246674 140736287502848 140736287484736 13784984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 327057 178135 928 2943 0 323951 0
[pid=32428/tid=32429] ppid=32425 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1339625472 178135 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1339625472 178135 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1339625472 178135 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10042 s]
/proc/loadavg: 2.35 2.30 2.06 3/183 32432
/proc/meminfo: memFree=28556520/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 177832 0 0 0 287 22 0 0 20 0 4 0 36438863 1339625472 178139 33554432000 4194304 16246674 140736287502848 140736287484736 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 327057 178139 932 2943 0 323951 0
[pid=32428/tid=32429] ppid=32425 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1339625472 178139 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1339625472 178139 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1339625472 178139 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.32 2.30 2.06 3/183 32432
/proc/meminfo: memFree=28555964/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 178120 0 0 0 607 22 0 0 20 0 4 0 36438863 1341722624 178427 33554432000 4194304 16246674 140736287502848 140736287484736 5675369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 327569 178427 933 2943 0 324463 0
[pid=32428/tid=32429] ppid=32425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1341722624 178427 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1341722624 178427 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1341722624 178427 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.30 2.29 2.06 3/183 32432
/proc/meminfo: memFree=28554748/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1310276 CPUtime=12.68 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 178120 0 0 0 1246 22 0 0 20 0 4 0 36438863 1341722624 178427 33554432000 4194304 16246674 140736287502848 140736287484736 5677380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 327569 178427 933 2943 0 324463 0
[pid=32428/tid=32429] ppid=32425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1341722624 178427 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1341722624 178427 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1341722624 178427 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.38 2.31 2.07 4/180 32432
/proc/meminfo: memFree=29054068/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 178371 0 0 0 2526 23 0 0 20 0 4 0 36438863 1342771200 178678 33554432000 4194304 16246674 140736287502848 140736287484736 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 327825 178678 933 2943 0 324719 0
[pid=32428/tid=32429] ppid=32425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1342771200 178678 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1342771200 178678 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1342771200 178678 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.32 2.30 2.07 3/183 32481
/proc/meminfo: memFree=28558608/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 178371 0 0 0 5083 25 0 0 20 0 4 0 36438863 1342771200 178678 33554432000 4194304 16246674 140736287502848 140736287502024 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 327825 178678 933 2943 0 324719 0
[pid=32428/tid=32429] ppid=32425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1342771200 178678 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1342771200 178678 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1342771200 178678 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.32 2.30 2.08 3/183 32482
/proc/meminfo: memFree=28482748/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 178857 0 0 0 10200 28 0 0 20 0 4 0 36438863 1343819776 196300 33554432000 4194304 16246674 140736287502848 140736287502024 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 328081 196300 933 2943 0 324975 0
[pid=32428/tid=32429] ppid=32425 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1343819776 196300 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1343819776 196300 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1343819776 196300 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180240 0 0 0 153990 208 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 140736287502024 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329361 270540 933 2943 0 326255 0
[pid=32428/tid=32429] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 715
/proc/meminfo: memFree=26056232/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1317444 CPUtime=1601.97 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180240 0 0 0 159980 217 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 140736287501944 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329361 270540 933 2943 0 326255 0
[pid=32428/tid=32429] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.09 2.17 2.17 4/183 716
/proc/meminfo: memFree=24952396/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1317444 CPUtime=1661.96 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180240 0 0 0 165969 227 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 140736287501944 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329361 270540 933 2943 0 326255 0
[pid=32428/tid=32429] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1317444

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32428 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1664 s]
/proc/loadavg: 2.09 2.17 2.17 4/183 716
/proc/meminfo: memFree=24952396/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1317444 CPUtime=1663.67 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180240 0 0 0 166139 228 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 140736287502024 13896856 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329361 270540 933 2943 0 326255 0
[pid=32428/tid=32429] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270540 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1663.67
Current children cumulated vsize (KiB) 1317444

[startup+1676.8 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 716
/proc/meminfo: memFree=24952240/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1317444 CPUtime=1676.46 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180249 0 0 0 167416 230 0 0 20 0 4 0 36438863 1349062656 270549 33554432000 4194304 16246674 140736287502848 140736287484736 5531304 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329361 270549 942 2943 0 326255 0
[pid=32428/tid=32429] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270549 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270549 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270549 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1676.46
Current children cumulated vsize (KiB) 1317444

[startup+1683.2 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 716
/proc/meminfo: memFree=24951000/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1317444 CPUtime=1682.86 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180593 0 0 0 168055 231 0 0 20 0 4 0 36438863 1349062656 270893 33554432000 4194304 16246674 140736287502848 140736287484736 5724287 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329361 270893 942 2943 0 326255 0
[pid=32428/tid=32429] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270893 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270893 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1349062656 270893 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1682.86
Current children cumulated vsize (KiB) 1317444

[startup+1684.8 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 716
/proc/meminfo: memFree=24950752/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1318468 CPUtime=1684.46 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180666 0 0 0 168215 231 0 0 20 0 4 0 36438863 1350111232 270966 33554432000 4194304 16246674 140736287502848 140736287484736 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329617 270966 942 2943 0 326511 0
[pid=32428/tid=32429] ppid=32425 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1350111232 270966 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1350111232 270966 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1350111232 270966 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1684.46
Current children cumulated vsize (KiB) 1318468

[startup+1685.6 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 716
/proc/meminfo: memFree=24950736/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1319492 CPUtime=1685.26 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180945 0 0 0 168295 231 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 140736287485848 12483423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329873 271245 942 2943 0 326767 0
[pid=32428/tid=32429] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1685.26
Current children cumulated vsize (KiB) 1319492

[startup+1686.41 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 716
/proc/meminfo: memFree=24949620/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1319492 CPUtime=1686.07 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180945 0 0 0 168376 231 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 140736287484736 5723856 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329873 271245 942 2943 0 326767 0
[pid=32428/tid=32429] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1686.07
Current children cumulated vsize (KiB) 1319492

[startup+1686.8 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 716
/proc/meminfo: memFree=24949620/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1319492 CPUtime=1686.46 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180945 0 0 0 168415 231 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 140736287484736 5522890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329873 271245 942 2943 0 326767 0
[pid=32428/tid=32429] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1686.46
Current children cumulated vsize (KiB) 1319492

[startup+1686.9 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 716
/proc/meminfo: memFree=24949620/32872528 swapFree=1370848/1518016
[pid=32428] ppid=32425 vsize=1319492 CPUtime=1686.56 cores=1,3,5,7
/proc/32428/stat : 32428 (toysat) R 32425 32428 31304 0 -1 4202496 180945 0 0 0 168425 231 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 140736287484736 5522905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32428/statm: 329873 271245 942 2943 0 326767 0
[pid=32428/tid=32429] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32429/stat : 32429 (toysat) S 32425 32428 31304 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865186348272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32428/tid=32430] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32430/stat : 32430 (toysat) S 32425 32428 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865175858416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32428/tid=32431] ppid=32425 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/32428/task/32431/stat : 32431 (toysat) S 32425 32428 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36438863 1351159808 271245 33554432000 4194304 16246674 140736287502848 139865165384880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1686.56
Current children cumulated vsize (KiB) 1319492

Child status: 0
Real time (s): 1686.95
CPU time (s): 1686.61
CPU user time (s): 1684.3
CPU system time (s): 2.31065
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1684.3
system time used= 2.31065
maximum resident set size= 1084984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180947
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= 121
involuntary context switches= 1821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26435 second user time and 6.551 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-19 15:45:24
IDJOB=4109694
IDBENCH=78892
IDSOLVER=2553
FILE ID=node129/4109694-1466343924
RUNJOBID= node129-1466341815-31321
PBS_JOBID= 19922024
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109694-1466343924/watcher-4109694-1466343924 -o /tmp/evaluation-result-4109694-1466343924/solver-4109694-1466343924 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466341815-31321 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109694-1466343924.wbo

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

MD5SUM BENCH= b80542b6ea011406c368e0a53be4d6f1
RANDOM SEED=206861305

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29270008 kB
Buffers:           88180 kB
Cached:           177980 kB
SwapCached:         1804 kB
Active:          1209776 kB
Inactive:         136928 kB
Active(anon):    1079804 kB
Inactive(anon):     2732 kB
Active(file):     129972 kB
Inactive(file):   134196 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099348 kB
Dirty:             33064 kB
Writeback:             0 kB
AnonPages:       2597720 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             602836 kB
SReclaimable:      46408 kB
SUnreclaim:       556428 kB
KernelStack:        1520 kB
PageTables:         9176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2739440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-19 16:13:31