Trace number 4079655

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
MD5SUMdd415565c40b70127defa3137ccd18d3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark467.8
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1660
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1659
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 45
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 108
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 144
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 741
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-06T22:58:23+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079655-1465246703.opb"]
0.00/0.01	c use --random-gen="2689058909 1705090644 3316764770 1643439859 2081498374 3930383320 1305103976 651946528 2518962552 2055325010 580252173 333608834 2231943651 647242365 933633654 3837559542 1433512962 1483223208 3940780491 1251391729 4289209149 896296249 2270198324 3371718243 3447485430 599244165 1905056646 1356771245 2984858088 3707187173 3020817549 1026955766 1163896345 2174263962 2293379344 4148342086 1788961559 616588332 898074273 537516477 3306994792 4246114827 1526152166 2179573900 1974751980 3249237238 342233240 2613648576 3281285343 3232028252 2750385228 1385769397 1957064539 1427435291 1980759292 520652987 2488273481 3804071776 4173659614 1833388974 1362323105 3132010807 2763441559 3564018922 2921995600 2720435843 783085043 2529154988 790429623 490925366 3279479789 3901480279 4191405971 2193114366 4137647896 1847217288 1218866342 1567461427 359166678 3034634741 3878162247 3866254040 2260417831 3512164331 1626505204 1569608336 3258165557 937170189 931026370 3937825774 1450116483 3857396364 3089322236 311211642 2081145823 1704064412 1446794846 1325982756 484206922 3672797177 908675437 1810444493 3029722760 3865001233 7450256 3948505839 906197415 2797380159 830666603 4036078666 1911810853 1411320263 2316132683 238650794 2566760523 1599879915 2517908417 3972989079 1371187893 38227898 3490759764 402524823 3991840900 1838463119 493621559 1679719802 3438878250 2634093132 3563600553 1821777086 702296149 3995579673 1307352000 485363319 538509706 3083733345 833827760 3499119948 256059299 3906941548 3813684575 2678891055 1495194449 478549667 1901900405 3077040269 3917098085 111364941 1339161795 1661260464 1266965835 3083369849 802904391 3867972922 2502309610 2461752303 2903741822 2468049757 4248042546 1131375842 2372928206 3796065333 3673135892 145163354 174288084 521804840 2822772958 509490273 133108825 1233018245 2304003001 1468235322 2624906898 1463850883 2943984894 3165291485 3576386932 2306802102 1553686758 3412769591 409634335 1067940424 3245512413 1732361718 2025420357 1662980670 1554500578 2903866581 1437937002 1644989425 1554504442 4139426322 2339186655 3499494697 1370069686 3731106803 3211595655 3014478545 2541415461 3683745055 2298378620 1661408922 2367163414 1573602315 2762314675 73158875 3178199629 1738651109 2818884284 3748301152 618632057 1524734582 3657217133 198469289 2383988714 806328609 2101529069 743735113 523124838 2140763551 4205716529 2071410307 267889682 1718322016 1532989417 1070265213 3427065279 668288749 2699990860 1355690736 1216375367 2451636519 3813544955 1340874139 3321312483 3276862034 3902350267 2168780772 3315982798 503043974 1229258415 1273156875 2114892723 976603666 3517090812 359716806 556855041 810316372 3152564821 1838767766 766961396 639043275 2455603163 1753357324 3091043438 1202079539 255 362436" option to reproduce the execution
0.00/0.09	c #vars 895
0.00/0.09	c #constraints 1660
0.18/0.24	c BCD2: Hardening is enabled.
0.18/0.24	c BCD2: BiasedSearch is enabled.
0.18/0.24	c Solving starts ...
0.18/0.24	c ============================[ Search Statistics ]============================
0.18/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.24	c =============================================================================
0.18/0.24	c  0.0s |       0 |        0 |        0 |      851      0 |        1 |        0
0.79/0.82	c  0.6s |       1 |      682 |      100 |      851      0 |        1 |        0
0.98/1.08	c  0.8s |       2 |      883 |      250 |      937      0 |        1 |        0
1.39/1.49	c  1.3s |       3 |     1169 |      475 |     1031      0 |        1 |        0
2.09/2.17	c  1.9s |       4 |     1583 |      813 |     1135      0 |        1 |        0
2.30/2.31	c  2.1s |       4 |     1691 |      877 |     1249      0 |        1 |        0
2.30/2.31	c #cpu_time = 2.059s
2.30/2.31	c #wall_clock_time = 2.065s
2.30/2.31	c #decision = 1691
2.30/2.31	c #random_decision = 1
2.30/2.31	c #conflict = 877
2.30/2.31	c #restart = 4
2.30/2.31	o 99
2.30/2.31	c BCD2: updating upper bound: 108 -> 98
2.30/2.31	c BCD2: 0 <= obj <= 98
2.30/2.31	c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0
2.30/2.31	c BCD2: #sat=1 #unsat=1 bias=1/2
2.30/2.31	c Solving starts ...
2.30/2.31	c ============================[ Search Statistics ]============================
2.30/2.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.31	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.31	c =============================================================================
2.30/2.31	c  0.0s |       0 |        0 |        0 |     1249      0 |        1 |        0
2.30/2.33	c  0.0s |       0 |        0 |        0 |     1249      0 |        1 |        0
2.30/2.33	c #cpu_time = 0.013s
2.30/2.33	c #wall_clock_time = 0.013s
2.30/2.33	c #decision = 0
2.30/2.33	c #random_decision = 0
2.30/2.33	c #conflict = 0
2.30/2.33	c #restart = 0
2.30/2.33	c BCD2: found a new core of size 1: cost of the new core is >=45
2.30/2.33	c lower bound updated to 45
2.30/2.33	c BCD2: 45 <= obj <= 98
2.30/2.33	c BCD2: #cores=1, #unrelaxed=6, #relaxed=1, #hardened=0
2.30/2.33	c BCD2: #sat=1 #unsat=2 bias=2/3
2.30/2.33	c Solving starts ...
2.30/2.33	c ============================[ Search Statistics ]============================
2.30/2.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.33	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.33	c =============================================================================
2.30/2.33	c  0.0s |       0 |        0 |        0 |     1249      0 |        1 |        0
2.49/2.56	c  0.2s |       1 |      192 |      100 |     1249      0 |        1 |        0
2.79/2.83	c  0.5s |       2 |      383 |      250 |     1249      0 |        1 |        0
3.19/3.26	c  0.9s |       3 |      660 |      475 |     1374      0 |        1 |        0
3.89/3.96	c  1.6s |       4 |     1047 |      813 |     1374      1 |        1 |        0
4.50/4.54	c  2.2s |       5 |     1642 |     1320 |     1512      1 |        1 |        0
5.39/5.44	c  3.1s |       6 |     2503 |     2081 |     1512      2 |        1 |        0
6.89/6.91	c  4.6s |       7 |     3769 |     3223 |     1664      3 |        1 |        0
8.90/8.99	c  6.7s |       7 |     5622 |     4923 |     1831      5 |        1 |        0
8.99/9.02	c  6.7s |       8 |     5636 |     4936 |     1831      5 |        1 |        0
11.00/11.04	c  8.7s |       8 |     7268 |     6436 |     1831      6 |        1 |        0
12.29/12.33	c 10.0s |       9 |     8392 |     7506 |     2015      7 |        1 |        0
14.40/14.43	c 12.1s |       9 |    10115 |     9106 |     2015      8 |        1 |        0
16.50/16.51	c 14.2s |       9 |    11819 |    10706 |     2217     10 |        1 |        0
17.29/17.32	c 15.0s |      10 |    12528 |    11361 |     2217     10 |        1 |        0
19.39/19.44	c 17.1s |      10 |    14261 |    12961 |     2217     12 |        1 |        0
21.39/21.49	c 19.2s |      10 |    15981 |    14561 |     2217     13 |        1 |        0
23.39/23.49	c 21.2s |      10 |    17562 |    16061 |     2217     14 |        1 |        0
24.89/24.97	c 22.6s |      11 |    18731 |    17144 |     2439     15 |        1 |        0
26.99/27.02	c 24.7s |      11 |    20253 |    18544 |     2439     16 |        1 |        0
28.99/29.04	c 26.7s |      11 |    21637 |    19844 |     2439     17 |        1 |        0
31.09/31.15	c 28.8s |      11 |    23154 |    21244 |     2439     18 |        1 |        0
33.19/33.25	c 30.9s |      11 |    24801 |    22744 |     2439     19 |        1 |        0
35.30/35.37	c 33.0s |      11 |    26443 |    24244 |     2439     21 |        1 |        0
37.50/37.52	c 35.2s |      11 |    28081 |    25744 |     2683     22 |        1 |        0
37.59/37.63	c 35.3s |      12 |    28158 |    25819 |     2683     22 |        1 |        0
39.70/39.77	c 37.4s |      12 |    29797 |    27319 |     2683     23 |        1 |        0
41.69/41.78	c 39.5s |      12 |    31186 |    28619 |     2683     24 |        1 |        0
43.79/43.84	c 41.5s |      12 |    32696 |    30019 |     2683     25 |        1 |        0
45.79/45.86	c 43.5s |      12 |    34224 |    31419 |     2683     26 |        1 |        0
47.88/47.93	c 45.6s |      12 |    35729 |    32819 |     2683     27 |        1 |        0
49.98/50.04	c 47.7s |      12 |    37328 |    34319 |     2683     28 |        1 |        0
51.98/52.09	c 49.8s |      12 |    38987 |    35819 |     2683     29 |        1 |        0
54.08/54.10	c 51.8s |      12 |    40543 |    37219 |     2683     30 |        1 |        0
56.09/56.20	c 53.9s |      12 |    42146 |    38719 |     2952     31 |        1 |        0
56.28/56.39	c 54.1s |      13 |    42273 |    38832 |     2952     31 |        1 |        0
58.39/58.45	c 56.1s |      13 |    43833 |    40232 |     2952     31 |        1 |        0
60.49/60.57	c 58.2s |      13 |    45462 |    41732 |     2952     32 |        1 |        0
62.58/62.60	c 60.3s |      13 |    46951 |    43132 |     2952     33 |        1 |        0
64.58/64.69	c 62.4s |      13 |    48452 |    44532 |     2952     34 |        1 |        0
66.78/66.81	c 64.5s |      13 |    50071 |    46032 |     2952     35 |        1 |        0
68.88/68.95	c 66.6s |      13 |    51692 |    47532 |     2952     36 |        1 |        0
70.88/70.96	c 68.6s |      13 |    53302 |    49032 |     2952     37 |        1 |        0
72.98/73.06	c 70.7s |      13 |    54791 |    50432 |     2952     38 |        1 |        0
75.08/75.17	c 72.8s |      13 |    56161 |    51732 |     2952     39 |        1 |        0
77.18/77.25	c 74.9s |      13 |    57565 |    53032 |     2952     40 |        1 |        0
79.18/79.26	c 76.9s |      13 |    58958 |    54332 |     2952     40 |        1 |        0
81.28/81.31	c 79.0s |      13 |    60345 |    55632 |     2952     41 |        1 |        0
83.37/83.40	c 81.1s |      13 |    61824 |    57032 |     2952     42 |        1 |        0
85.37/85.43	c 83.1s |      13 |    63229 |    58332 |     3248     43 |        1 |        0
85.37/85.46	c 83.1s |      14 |    63253 |    58352 |     3248     43 |        1 |        0
87.37/87.49	c 85.2s |      14 |    64573 |    59552 |     3248     43 |        1 |        0
89.47/89.54	c 87.2s |      14 |    65991 |    60852 |     3248     44 |        1 |        0
91.57/91.67	c 89.3s |      14 |    67509 |    62252 |     3248     45 |        1 |        0
93.67/93.76	c 91.4s |      14 |    69191 |    63852 |     3248     46 |        1 |        0
95.78/95.83	c 93.5s |      14 |    70799 |    65352 |     3248     47 |        1 |        0
97.77/97.87	c 95.5s |      14 |    72301 |    66752 |     3248     48 |        1 |        0
99.77/99.89	c 97.6s |      14 |    73841 |    68152 |     3248     48 |        1 |        0
101.87/101.99	c 99.7s |      14 |    75416 |    69652 |     3248     49 |        1 |        0
103.97/104.07	c  101s |      14 |    77033 |    71152 |     3248     50 |        1 |        0
106.07/106.16	c  103s |      14 |    78642 |    72652 |     3248     51 |        1 |        0
108.17/108.25	c  105s |      14 |    80249 |    74152 |     3248     52 |        1 |        0
110.27/110.37	c  108s |      14 |    81960 |    75752 |     3248     53 |        1 |        0
112.47/112.52	c  110s |      14 |    83535 |    77252 |     3248     54 |        1 |        0
114.48/114.55	c  112s |      14 |    85143 |    78752 |     3248     55 |        1 |        0
116.58/116.61	c  114s |      14 |    86732 |    80252 |     3248     56 |        1 |        0
118.57/118.61	c  116s |      14 |    88133 |    81552 |     3248     56 |        1 |        0
120.58/120.66	c  118s |      14 |    89534 |    82852 |     3248     57 |        1 |        0
122.58/122.67	c  120s |      14 |    90984 |    84152 |     3248     58 |        1 |        0
124.68/124.71	c  122s |      14 |    92325 |    85352 |     3248     59 |        1 |        0
126.77/126.83	c  124s |      14 |    93870 |    86752 |     3573     59 |        1 |        0
128.17/128.24	c  125s |      15 |    94809 |    87632 |     3573     60 |        1 |        0
130.17/130.30	c  127s |      15 |    96258 |    88932 |     3573     60 |        1 |        0
132.27/132.31	c  129s |      15 |    97646 |    90232 |     3573     61 |        1 |        0
134.28/134.36	c  132s |      15 |    99090 |    91532 |     3573     62 |        1 |        0
136.38/136.49	c  134s |      15 |   100723 |    93032 |     3573     63 |        1 |        0
138.58/138.65	c  136s |      15 |   102337 |    94532 |     3573     63 |        1 |        0
140.67/140.72	c  138s |      15 |   103976 |    96032 |     3573     64 |        1 |        0
142.57/142.68	c  140s |      15 |   105457 |    97426 |     3573     65 |        1 |        0
142.57/142.68	c #cpu_time = 139.991s
142.57/142.68	c #wall_clock_time = 140.349s
142.57/142.68	c #decision = 105457
142.57/142.68	c #random_decision = 236
142.57/142.68	c #conflict = 97426
142.57/142.68	c #restart = 15
142.57/142.68	c BCD2: found a new core of size 6: cost of the new core is >=1
142.57/142.68	c lower bound updated to 46
142.57/142.68	c BCD2: 46 <= obj <= 98
142.57/142.68	c BCD2: #cores=2, #unrelaxed=0, #relaxed=7, #hardened=0
142.57/142.68	c BCD2: #sat=1 #unsat=3 bias=3/4
142.57/142.68	c Solving starts ...
142.57/142.68	c ============================[ Search Statistics ]============================
142.57/142.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
142.57/142.68	c       |         |          |          |    Limit     GC | Var      | Constra 
142.57/142.68	c =============================================================================
142.57/142.68	c  0.0s |       0 |        0 |        0 |     3573      0 |        1 |        0
142.77/142.84	c  0.2s |       1 |      141 |      100 |     3573      0 |        1 |        0
142.98/143.01	c  0.3s |       2 |      316 |      250 |     3573      0 |        1 |        0
143.27/143.32	c  0.6s |       3 |      599 |      475 |     3573      0 |        1 |        0
143.67/143.77	c  1.1s |       4 |     1002 |      813 |     3573      0 |        1 |        0
144.37/144.48	c  1.8s |       5 |     1598 |     1320 |     3573      1 |        1 |        0
144.47/144.52	c  1.8s |       5 |     1641 |     1329 |     3573      1 |        1 |        0
144.47/144.52	c #cpu_time = 1.828s
144.47/144.52	c #wall_clock_time = 1.833s
144.47/144.52	c #decision = 1641
144.47/144.52	c #random_decision = 2
144.47/144.52	c #conflict = 1329
144.47/144.52	c #restart = 5
144.47/144.52	o 76
144.47/144.52	c BCD2: hardening fixes 1 literals
144.47/144.52	c BCD2: updating upper bound: 98 -> 75
144.47/144.52	c BCD2: 46 <= obj <= 75
144.47/144.52	c BCD2: #cores=2, #unrelaxed=0, #relaxed=6, #hardened=1
144.47/144.52	c BCD2: #sat=2 #unsat=3 bias=3/5
144.47/144.52	c Solving starts ...
144.47/144.52	c ============================[ Search Statistics ]============================
144.47/144.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
144.47/144.52	c       |         |          |          |    Limit     GC | Var      | Constra 
144.47/144.52	c =============================================================================
144.47/144.52	c  0.0s |       0 |        0 |        0 |     3573      0 |        4 |        2
144.57/144.67	c  0.1s |       1 |      146 |      100 |     3573      0 |        4 |        2
144.87/144.91	c  0.4s |       2 |      352 |      250 |     3573      0 |        4 |        2
145.18/145.25	c  0.7s |       3 |      664 |      475 |     3573      0 |        4 |        2
145.77/145.80	c  1.3s |       4 |     1098 |      813 |     3573      0 |        4 |        2
146.47/146.53	c  2.0s |       5 |     1730 |     1320 |     3573      0 |        4 |        2
147.67/147.72	c  3.2s |       6 |     2640 |     2081 |     3573      1 |        4 |        2
149.37/149.46	c  4.9s |       7 |     3932 |     3223 |     3573      1 |        4 |        2
151.37/151.43	c  6.9s |       7 |     5184 |     4338 |     3573      2 |        4 |        2
151.37/151.43	c #cpu_time = 6.887s
151.37/151.43	c #wall_clock_time = 6.905s
151.37/151.43	c #decision = 5184
151.37/151.43	c #random_decision = 9
151.37/151.43	c #conflict = 4338
151.37/151.43	c #restart = 7
151.37/151.43	o 64
151.37/151.43	c BCD2: updating upper bound: 75 -> 63
151.37/151.43	c BCD2: 46 <= obj <= 63
151.37/151.43	c BCD2: #cores=2, #unrelaxed=0, #relaxed=6, #hardened=1
151.37/151.43	c BCD2: #sat=3 #unsat=3 bias=3/6
151.37/151.43	c Solving starts ...
151.37/151.43	c ============================[ Search Statistics ]============================
151.37/151.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
151.37/151.43	c       |         |          |          |    Limit     GC | Var      | Constra 
151.37/151.43	c =============================================================================
151.37/151.43	c  0.0s |       0 |        0 |        0 |     3573      0 |        4 |        5
151.57/151.61	c  0.2s |       1 |      153 |      100 |     3573      0 |        4 |        5
151.78/151.84	c  0.4s |       2 |      336 |      250 |     3573      0 |        4 |        5
152.07/152.17	c  0.7s |       3 |      607 |      475 |     3573      0 |        4 |        5
152.67/152.70	c  1.3s |       4 |     1005 |      813 |     3573      0 |        4 |        5
153.37/153.44	c  2.0s |       5 |     1585 |     1320 |     3573      0 |        4 |        5
154.57/154.61	c  3.2s |       6 |     2462 |     2081 |     3573      1 |        4 |        5
156.28/156.36	c  4.9s |       7 |     3748 |     3223 |     3573      1 |        4 |        5
158.38/158.45	c  7.0s |       7 |     5356 |     4623 |     3573      2 |        4 |        5
158.97/159.00	c  7.6s |       8 |     5685 |     4936 |     3573      2 |        4 |        5
160.97/161.08	c  9.7s |       8 |     7301 |     6336 |     3573      3 |        4 |        5
162.78/162.87	c 11.4s |       9 |     8680 |     7506 |     3573      4 |        4 |        5
164.87/164.92	c 13.5s |       9 |    10155 |     8806 |     3573      5 |        4 |        5
167.07/167.13	c 15.7s |       9 |    11589 |    10106 |     3573      5 |        4 |        5
169.17/169.20	c 17.8s |      10 |    13002 |    11361 |     3573      6 |        4 |        5
171.17/171.21	c 19.8s |      10 |    14455 |    12561 |     3573      7 |        4 |        5
173.27/173.30	c 21.9s |      10 |    15953 |    13861 |     3573      7 |        4 |        5
175.27/175.38	c 24.0s |      10 |    17420 |    15161 |     3573      8 |        4 |        5
177.37/177.49	c 26.1s |      10 |    18990 |    16561 |     3573      9 |        4 |        5
178.28/178.37	c 26.9s |      11 |    19620 |    17144 |     3573      9 |        4 |        5
180.37/180.43	c 29.0s |      11 |    21098 |    18444 |     3573     10 |        4 |        5
182.37/182.44	c 31.0s |      11 |    22556 |    19744 |     3573     10 |        4 |        5
184.47/184.54	c 33.1s |      11 |    24050 |    21144 |     3573     11 |        4 |        5
186.56/186.61	c 35.2s |      11 |    25526 |    22544 |     3573     12 |        4 |        5
188.66/188.76	c 37.3s |      11 |    26813 |    23744 |     3573     12 |        4 |        5
190.76/190.86	c 39.4s |      11 |    28263 |    25044 |     3573     13 |        4 |        5
192.06/192.16	c 40.7s |      12 |    29122 |    25819 |     3573     14 |        4 |        5
194.16/194.21	c 42.8s |      12 |    30719 |    27219 |     3931     14 |        4 |        5
196.16/196.21	c 44.8s |      12 |    32210 |    28519 |     3931     15 |        4 |        5
198.26/198.30	c 46.9s |      12 |    33533 |    29719 |     3931     15 |        4 |        5
200.27/200.35	c 48.9s |      12 |    34944 |    31019 |     3931     16 |        4 |        5
202.37/202.43	c 51.0s |      12 |    36347 |    32319 |     3931     17 |        4 |        5
204.36/204.49	c 53.1s |      12 |    37645 |    33519 |     3931     17 |        4 |        5
206.46/206.55	c 55.1s |      12 |    38955 |    34719 |     3931     18 |        4 |        5
208.46/208.57	c 57.1s |      12 |    40411 |    36019 |     3931     18 |        4 |        5
210.66/210.71	c 59.3s |      12 |    41699 |    37219 |     3931     19 |        4 |        5
212.76/212.81	c 61.4s |      12 |    43095 |    38519 |     3931     20 |        4 |        5
213.26/213.31	c 61.9s |      13 |    43442 |    38832 |     3931     20 |        4 |        5
215.36/215.43	c 64.0s |      13 |    44848 |    40032 |     3931     20 |        4 |        5
217.46/217.56	c 66.1s |      13 |    46293 |    41332 |     3931     21 |        4 |        5
219.56/219.66	c 68.2s |      13 |    47714 |    42632 |     3931     22 |        4 |        5
221.76/221.81	c 70.4s |      13 |    49169 |    43932 |     3931     22 |        4 |        5
223.86/223.90	c 72.5s |      13 |    50448 |    45132 |     3931     23 |        4 |        5
225.96/226.05	c 74.6s |      13 |    51982 |    46532 |     3931     24 |        4 |        5
227.96/228.08	c 76.6s |      13 |    53410 |    47832 |     3931     24 |        4 |        5
229.97/230.09	c 78.7s |      13 |    54763 |    49032 |     3931     25 |        4 |        5
232.07/232.18	c 80.7s |      13 |    56119 |    50232 |     3931     25 |        4 |        5
234.16/234.28	c 82.8s |      13 |    57565 |    51532 |     3931     26 |        4 |        5
236.36/236.41	c 85.0s |      13 |    58904 |    52732 |     3931     27 |        4 |        5
238.46/238.52	c 87.1s |      13 |    60221 |    53932 |     3931     27 |        4 |        5
240.46/240.55	c 89.1s |      13 |    61551 |    55132 |     3931     28 |        4 |        5
242.56/242.69	c 91.3s |      13 |    62893 |    56332 |     3931     28 |        4 |        5
244.76/244.84	c 93.4s |      13 |    64208 |    57532 |     3931     29 |        4 |        5
245.95/246.09	c 94.7s |      14 |    65106 |    58352 |     3931     29 |        4 |        5
248.05/248.11	c 96.7s |      14 |    66448 |    59552 |     3931     30 |        4 |        5
250.05/250.18	c 98.7s |      14 |    67861 |    60852 |     3931     30 |        4 |        5
252.15/252.28	c  100s |      14 |    69463 |    62252 |     3931     31 |        4 |        5
254.25/254.36	c  102s |      14 |    71060 |    63652 |     3931     32 |        4 |        5
256.36/256.42	c  104s |      14 |    72587 |    65052 |     3931     33 |        4 |        5
258.56/258.63	c  107s |      14 |    74107 |    66452 |     3931     33 |        4 |        5
260.55/260.67	c  109s |      14 |    75556 |    67752 |     3931     34 |        4 |        5
262.65/262.75	c  111s |      14 |    77131 |    69152 |     3931     35 |        4 |        5
264.75/264.86	c  113s |      14 |    78751 |    70652 |     3931     35 |        4 |        5
266.85/266.93	c  115s |      14 |    80337 |    72052 |     3931     36 |        4 |        5
268.85/268.99	c  117s |      14 |    81763 |    73352 |     3931     36 |        4 |        5
270.95/271.04	c  119s |      14 |    83323 |    74752 |     3931     37 |        4 |        5
272.95/273.06	c  121s |      14 |    84932 |    76152 |     3931     38 |        4 |        5
275.06/275.13	c  123s |      14 |    86662 |    77652 |     3931     39 |        4 |        5
277.05/277.16	c  125s |      14 |    88106 |    78952 |     3931     39 |        4 |        5
279.05/279.17	c  127s |      14 |    89710 |    80352 |     3931     40 |        4 |        5
281.15/281.22	c  129s |      14 |    91186 |    81652 |     3931     41 |        4 |        5
283.15/283.24	c  131s |      14 |    92606 |    82952 |     3931     41 |        4 |        5
285.15/285.27	c  133s |      14 |    94158 |    84352 |     3931     42 |        4 |        5
287.35/287.41	c  135s |      14 |    95803 |    85852 |     3931     42 |        4 |        5
289.36/289.42	c  137s |      14 |    97300 |    87152 |     3931     43 |        4 |        5
290.05/290.12	c  138s |      15 |    97806 |    87632 |     3931     43 |        4 |        5
292.15/292.24	c  140s |      15 |    99355 |    89032 |     3931     44 |        4 |        5
294.15/294.29	c  142s |      15 |   100863 |    90432 |     3931     45 |        4 |        5
296.25/296.33	c  144s |      15 |   102179 |    91632 |     3931     45 |        4 |        5
298.25/298.37	c  146s |      15 |   103577 |    92932 |     4325     46 |        4 |        5
300.36/300.48	c  149s |      15 |   105002 |    94232 |     4325     46 |        4 |        5
302.35/302.51	c  151s |      15 |   106437 |    95532 |     4325     47 |        4 |        5
304.45/304.54	c  153s |      15 |   107974 |    96932 |     4325     48 |        4 |        5
306.65/306.70	c  155s |      15 |   109666 |    98432 |     4325     48 |        4 |        5
308.65/308.72	c  157s |      15 |   111314 |    99932 |     4325     49 |        4 |        5
310.64/310.75	c  159s |      15 |   112769 |   101232 |     4325     49 |        4 |        5
312.74/312.87	c  161s |      15 |   114272 |   102632 |     4325     50 |        4 |        5
314.84/314.96	c  163s |      15 |   115694 |   103932 |     4325     51 |        4 |        5
316.94/317.07	c  165s |      15 |   117120 |   105232 |     4325     51 |        4 |        5
319.05/319.14	c  167s |      15 |   118515 |   106532 |     4325     52 |        4 |        5
321.15/321.24	c  169s |      15 |   119939 |   107832 |     4325     52 |        4 |        5
323.24/323.33	c  171s |      15 |   121352 |   109132 |     4325     53 |        4 |        5
325.24/325.39	c  173s |      15 |   122818 |   110432 |     4325     53 |        4 |        5
327.44/327.54	c  176s |      15 |   124267 |   111732 |     4325     54 |        4 |        5
329.54/329.66	c  178s |      15 |   125686 |   113032 |     4325     55 |        4 |        5
331.64/331.72	c  180s |      15 |   127172 |   114432 |     4325     55 |        4 |        5
333.64/333.78	c  182s |      15 |   128684 |   115832 |     4325     56 |        4 |        5
335.74/335.80	c  184s |      15 |   130173 |   117232 |     4325     56 |        4 |        5
337.64/337.80	c  186s |      15 |   131648 |   118632 |     4325     57 |        4 |        5
339.84/339.91	c  188s |      15 |   133042 |   119932 |     4325     58 |        4 |        5
341.84/341.94	c  190s |      15 |   134531 |   121332 |     4325     58 |        4 |        5
343.93/344.06	c  192s |      15 |   136008 |   122732 |     4325     59 |        4 |        5
346.03/346.15	c  194s |      15 |   137414 |   124032 |     4325     60 |        4 |        5
348.03/348.17	c  196s |      15 |   138824 |   125332 |     4325     60 |        4 |        5
350.13/350.24	c  198s |      15 |   140257 |   126632 |     4325     61 |        4 |        5
352.23/352.32	c  200s |      15 |   141766 |   128032 |     4325     61 |        4 |        5
354.33/354.45	c  203s |      15 |   143294 |   129432 |     4325     62 |        4 |        5
356.44/356.55	c  205s |      15 |   144824 |   130832 |     4325     62 |        4 |        5
357.63/357.74	c  206s |      16 |   145598 |   131552 |     4325     63 |        4 |        5
359.74/359.87	c  208s |      16 |   147049 |   132852 |     4325     63 |        4 |        5
361.84/361.94	c  210s |      16 |   148221 |   133952 |     4325     64 |        4 |        5
363.93/364.01	c  212s |      16 |   149551 |   135152 |     4325     64 |        4 |        5
366.03/366.10	c  214s |      16 |   151002 |   136452 |     4325     65 |        4 |        5
368.03/368.14	c  216s |      16 |   152411 |   137752 |     4325     65 |        4 |        5
370.03/370.16	c  218s |      16 |   153830 |   139052 |     4325     66 |        4 |        5
372.03/372.18	c  220s |      16 |   155103 |   140252 |     4325     67 |        4 |        5
374.13/374.27	c  222s |      16 |   156519 |   141552 |     4325     67 |        4 |        5
376.24/376.34	c  224s |      16 |   158015 |   142952 |     4325     68 |        4 |        5
378.23/378.37	c  226s |      16 |   159448 |   144252 |     4325     68 |        4 |        5
380.33/380.46	c  229s |      16 |   160755 |   145452 |     4325     69 |        4 |        5
382.43/382.52	c  231s |      16 |   162075 |   146652 |     4325     69 |        4 |        5
384.53/384.66	c  233s |      16 |   163374 |   147852 |     4325     70 |        4 |        5
386.63/386.79	c  235s |      16 |   164668 |   149052 |     4325     70 |        4 |        5
388.73/388.81	c  237s |      16 |   166013 |   150252 |     4325     71 |        4 |        5
390.83/390.93	c  239s |      16 |   167583 |   151652 |     4325     72 |        4 |        5
392.83/392.98	c  241s |      16 |   169074 |   152952 |     4325     72 |        4 |        5
394.94/395.03	c  243s |      16 |   170469 |   154252 |     4325     73 |        4 |        5
397.04/397.15	c  245s |      16 |   172007 |   155652 |     4325     73 |        4 |        5
399.03/399.19	c  247s |      16 |   173552 |   157052 |     4325     74 |        4 |        5
401.23/401.37	c  249s |      16 |   174947 |   158352 |     4325     75 |        4 |        5
403.33/403.47	c  252s |      16 |   176361 |   159652 |     4325     75 |        4 |        5
405.43/405.56	c  254s |      16 |   177658 |   160852 |     4325     76 |        4 |        5
407.43/407.57	c  256s |      16 |   179310 |   162352 |     4325     76 |        4 |        5
409.53/409.63	c  258s |      16 |   180726 |   163652 |     4325     77 |        4 |        5
411.73/411.82	c  260s |      16 |   182225 |   165052 |     4325     78 |        4 |        5
413.73/413.85	c  262s |      16 |   183602 |   166352 |     4325     78 |        4 |        5
415.74/415.86	c  264s |      16 |   184911 |   167552 |     4325     79 |        4 |        5
417.73/417.90	c  266s |      16 |   186308 |   168852 |     4325     79 |        4 |        5
419.83/419.95	c  268s |      16 |   187625 |   170052 |     4325     80 |        4 |        5
421.83/421.95	c  270s |      16 |   188942 |   171252 |     4325     80 |        4 |        5
423.93/424.00	c  272s |      16 |   190139 |   172352 |     4325     81 |        4 |        5
425.93/426.08	c  274s |      16 |   191649 |   173752 |     4325     81 |        4 |        5
428.03/428.17	c  276s |      16 |   193289 |   175252 |     4325     82 |        4 |        5
430.14/430.21	c  278s |      16 |   194808 |   176652 |     4325     83 |        4 |        5
432.13/432.24	c  280s |      16 |   196384 |   178052 |     4325     83 |        4 |        5
434.23/434.38	c  282s |      16 |   197916 |   179452 |     4325     84 |        4 |        5
436.43/436.51	c  285s |      16 |   199347 |   180752 |     4325     84 |        4 |        5
438.43/438.53	c  287s |      16 |   200844 |   182052 |     4325     85 |        4 |        5
440.53/440.62	c  289s |      16 |   202310 |   183352 |     4325     86 |        4 |        5
442.52/442.66	c  291s |      16 |   203757 |   184652 |     4325     86 |        4 |        5
444.62/444.73	c  293s |      16 |   205170 |   185952 |     4325     87 |        4 |        5
446.72/446.80	c  295s |      16 |   206492 |   187152 |     4325     87 |        4 |        5
448.73/448.88	c  297s |      16 |   207807 |   188352 |     4325     88 |        4 |        5
450.82/451.00	c  299s |      16 |   209245 |   189652 |     4325     88 |        4 |        5
453.02/453.14	c  301s |      16 |   210554 |   190852 |     4758     89 |        4 |        5
455.12/455.28	c  303s |      16 |   212141 |   192252 |     4758     89 |        4 |        5
457.22/457.36	c  305s |      16 |   213564 |   193552 |     4758     90 |        4 |        5
459.32/459.44	c  308s |      16 |   215008 |   194852 |     4758     90 |        4 |        5
461.52/461.63	c  310s |      16 |   216308 |   196052 |     4758     91 |        4 |        5
463.72/463.81	c  312s |      16 |   217719 |   197352 |     4758     91 |        4 |        5
463.82/463.95	c  312s |      17 |   217804 |   197432 |     4758     91 |        4 |        5
465.82/465.96	c  314s |      17 |   219152 |   198632 |     4758     92 |        4 |        5
468.02/468.10	c  316s |      17 |   220480 |   199832 |     4758     92 |        4 |        5
470.02/470.14	c  318s |      17 |   221820 |   201032 |     4758     93 |        4 |        5
472.22/472.32	c  320s |      17 |   223127 |   202232 |     4758     93 |        4 |        5
474.22/474.39	c  322s |      17 |   224317 |   203332 |     4758     94 |        4 |        5
476.33/476.47	c  325s |      17 |   225645 |   204532 |     4758     94 |        4 |        5
478.32/478.49	c  327s |      17 |   226941 |   205732 |     4758     95 |        4 |        5
480.52/480.61	c  329s |      17 |   228230 |   206932 |     4758     95 |        4 |        5
482.62/482.74	c  331s |      17 |   229804 |   208332 |     4758     96 |        4 |        5
484.62/484.79	c  333s |      17 |   231140 |   209532 |     4758     96 |        4 |        5
486.72/486.89	c  335s |      17 |   232522 |   210832 |     4758     97 |        4 |        5
488.82/488.95	c  337s |      17 |   233950 |   212132 |     4758     97 |        4 |        5
490.82/490.98	c  339s |      17 |   235262 |   213332 |     4758     98 |        4 |        5
493.02/493.12	c  341s |      17 |   236546 |   214532 |     4758     98 |        4 |        5
495.03/495.14	c  343s |      17 |   237727 |   215632 |     4758     99 |        4 |        5
497.12/497.22	c  345s |      17 |   239054 |   216832 |     4758     99 |        4 |        5
499.12/499.28	c  347s |      17 |   240361 |   218032 |     4758    100 |        4 |        5
501.21/501.34	c  349s |      17 |   241763 |   219332 |     4758    100 |        4 |        5
503.21/503.38	c  351s |      17 |   243023 |   220532 |     4758    101 |        4 |        5
505.31/505.44	c  354s |      17 |   244433 |   221832 |     4758    101 |        4 |        5
507.41/507.57	c  356s |      17 |   245840 |   223132 |     4758    102 |        4 |        5
509.51/509.64	c  358s |      17 |   247288 |   224432 |     4758    102 |        4 |        5
511.52/511.66	c  360s |      17 |   248682 |   225732 |     4758    103 |        4 |        5
513.62/513.79	c  362s |      17 |   250100 |   227032 |     4758    103 |        4 |        5
515.82/515.95	c  364s |      17 |   251481 |   228332 |     4758    104 |        4 |        5
517.91/518.09	c  366s |      17 |   252791 |   229532 |     4758    104 |        4 |        5
520.01/520.13	c  368s |      17 |   254133 |   230732 |     4758    105 |        4 |        5
522.01/522.18	c  370s |      17 |   255461 |   231932 |     4758    105 |        4 |        5
524.21/524.32	c  372s |      17 |   256938 |   233232 |     4758    106 |        4 |        5
526.31/526.46	c  375s |      17 |   258237 |   234432 |     4758    106 |        4 |        5
528.31/528.47	c  377s |      17 |   259436 |   235532 |     4758    107 |        4 |        5
530.31/530.47	c  379s |      17 |   260607 |   236632 |     4758    107 |        4 |        5
532.51/532.62	c  381s |      17 |   261794 |   237732 |     4758    108 |        4 |        5
534.52/534.63	c  383s |      17 |   262946 |   238832 |     4758    108 |        4 |        5
536.51/536.64	c  385s |      17 |   264113 |   239932 |     4758    109 |        4 |        5
538.61/538.70	c  387s |      17 |   265384 |   241132 |     4758    109 |        4 |        5
540.71/540.84	c  389s |      17 |   266772 |   242432 |     4758    110 |        4 |        5
542.81/542.90	c  391s |      17 |   268375 |   243932 |     4758    110 |        4 |        5
544.91/545.00	c  393s |      17 |   269964 |   245432 |     4758    111 |        4 |        5
547.01/547.12	c  395s |      17 |   271592 |   246932 |     4758    111 |        4 |        5
549.01/549.16	c  397s |      17 |   273084 |   248332 |     4758    112 |        4 |        5
551.12/551.24	c  399s |      17 |   274485 |   249632 |     4758    112 |        4 |        5
553.21/553.36	c  401s |      17 |   275787 |   250832 |     4758    113 |        4 |        5
555.30/555.44	c  404s |      17 |   277081 |   252032 |     4758    113 |        4 |        5
557.30/557.49	c  406s |      17 |   278271 |   253132 |     4758    114 |        4 |        5
559.50/559.67	c  408s |      17 |   279453 |   254232 |     4758    114 |        4 |        5
561.60/561.74	c  410s |      17 |   280632 |   255332 |     4758    115 |        4 |        5
563.60/563.76	c  412s |      17 |   282134 |   256732 |     4758    115 |        4 |        5
565.60/565.79	c  414s |      17 |   283518 |   258032 |     4758    116 |        4 |        5
567.70/567.84	c  416s |      17 |   284782 |   259232 |     4758    116 |        4 |        5
569.71/569.90	c  418s |      17 |   286066 |   260432 |     4758    117 |        4 |        5
571.91/572.01	c  420s |      17 |   287438 |   261732 |     4758    117 |        4 |        5
573.90/574.08	c  422s |      17 |   288720 |   262932 |     4758    118 |        4 |        5
576.00/576.14	c  424s |      17 |   290243 |   264332 |     4758    118 |        4 |        5
578.00/578.18	c  426s |      17 |   291665 |   265632 |     4758    119 |        4 |        5
580.10/580.24	c  428s |      17 |   293050 |   266932 |     4758    119 |        4 |        5
582.20/582.38	c  430s |      17 |   294426 |   268232 |     4758    120 |        4 |        5
584.30/584.48	c  433s |      17 |   295723 |   269432 |     4758    120 |        4 |        5
586.50/586.63	c  435s |      17 |   297124 |   270732 |     4758    121 |        4 |        5
588.51/588.68	c  437s |      17 |   298401 |   271932 |     4758    121 |        4 |        5
590.61/590.79	c  439s |      17 |   299797 |   273232 |     4758    122 |        4 |        5
592.81/592.92	c  441s |      17 |   301175 |   274532 |     4758    123 |        4 |        5
594.80/594.98	c  443s |      17 |   302447 |   275732 |     4758    123 |        4 |        5
596.90/597.00	c  445s |      17 |   303699 |   276932 |     4758    123 |        4 |        5
598.90/599.03	c  447s |      17 |   305104 |   278232 |     4758    124 |        4 |        5
601.00/601.16	c  449s |      17 |   306401 |   279432 |     4758    124 |        4 |        5
603.10/603.22	c  451s |      17 |   307772 |   280732 |     4758    125 |        4 |        5
605.20/605.32	c  453s |      17 |   309178 |   282032 |     4758    125 |        4 |        5
607.30/607.40	c  455s |      17 |   310590 |   283332 |     4758    126 |        4 |        5
609.41/609.54	c  458s |      17 |   311989 |   284632 |     4758    127 |        4 |        5
611.40/611.56	c  460s |      17 |   313380 |   285932 |     4758    127 |        4 |        5
613.49/613.68	c  462s |      17 |   314945 |   287432 |     4758    128 |        4 |        5
615.49/615.69	c  464s |      17 |   316367 |   288732 |     4758    128 |        4 |        5
617.59/617.71	c  466s |      17 |   317654 |   289932 |     4758    129 |        4 |        5
619.69/619.81	c  468s |      17 |   319157 |   291332 |     4758    129 |        4 |        5
621.69/621.82	c  470s |      17 |   320568 |   292632 |     4758    130 |        4 |        5
623.79/623.94	c  472s |      17 |   321955 |   293932 |     4758    130 |        4 |        5
625.80/625.98	c  474s |      17 |   323441 |   295232 |     4758    131 |        4 |        5
627.39/627.58	c  476s |      18 |   324554 |   296252 |     4758    131 |        4 |        5
629.59/629.71	c  478s |      18 |   326151 |   297652 |     4758    132 |        4 |        5
631.59/631.73	c  480s |      18 |   327692 |   299052 |     4758    132 |        4 |        5
633.69/633.87	c  482s |      18 |   329257 |   300452 |     4758    133 |        4 |        5
635.70/635.90	c  484s |      18 |   330812 |   301852 |     4758    133 |        4 |        5
637.79/637.90	c  486s |      18 |   332016 |   302952 |     4758    134 |        4 |        5
639.79/639.98	c  488s |      18 |   333461 |   304252 |     4758    134 |        4 |        5
641.99/642.14	c  490s |      18 |   334772 |   305452 |     4758    135 |        4 |        5
644.19/644.32	c  492s |      18 |   335964 |   306552 |     4758    135 |        4 |        5
646.29/646.43	c  495s |      18 |   337219 |   307752 |     4758    136 |        4 |        5
648.29/648.48	c  497s |      18 |   338606 |   309052 |     4758    136 |        4 |        5
650.49/650.62	c  499s |      18 |   340004 |   310352 |     4758    137 |        4 |        5
652.59/652.78	c  501s |      18 |   341408 |   311652 |     4758    137 |        4 |        5
654.59/654.78	c  503s |      18 |   342721 |   312852 |     4758    138 |        4 |        5
656.70/656.86	c  505s |      18 |   344190 |   314152 |     4758    139 |        4 |        5
658.90/659.01	c  507s |      18 |   345613 |   315452 |     4758    139 |        4 |        5
660.99/661.11	c  509s |      18 |   347075 |   316752 |     4758    140 |        4 |        5
662.98/663.12	c  511s |      18 |   348794 |   318352 |     4758    140 |        4 |        5
665.08/665.26	c  513s |      18 |   350192 |   319652 |     4758    141 |        4 |        5
667.19/667.33	c  515s |      18 |   351810 |   321152 |     4758    141 |        4 |        5
669.19/669.38	c  517s |      18 |   353354 |   322552 |     4758    142 |        4 |        5
671.29/671.46	c  520s |      18 |   354899 |   323952 |     4758    142 |        4 |        5
673.29/673.48	c  522s |      18 |   356251 |   325152 |     4758    143 |        4 |        5
675.40/675.54	c  524s |      18 |   357816 |   326552 |     4758    144 |        4 |        5
677.39/677.56	c  526s |      18 |   359325 |   327852 |     4758    144 |        4 |        5
679.39/679.59	c  528s |      18 |   360886 |   329252 |     4758    145 |        4 |        5
681.49/681.66	c  530s |      18 |   362424 |   330652 |     4758    145 |        4 |        5
683.49/683.68	c  532s |      18 |   363834 |   331952 |     4758    146 |        4 |        5
685.59/685.72	c  534s |      18 |   365500 |   333452 |     4758    146 |        4 |        5
687.59/687.75	c  536s |      18 |   367192 |   335052 |     4758    147 |        4 |        5
689.60/689.79	c  538s |      18 |   368894 |   336652 |     4758    148 |        4 |        5
691.69/691.82	c  540s |      18 |   370650 |   338252 |     5234    148 |        4 |        5
693.79/693.90	c  542s |      18 |   372294 |   339752 |     5234    149 |        4 |        5
695.79/695.99	c  544s |      18 |   373798 |   341152 |     5234    149 |        4 |        5
697.89/698.00	c  546s |      18 |   375305 |   342552 |     5234    150 |        4 |        5
699.99/700.10	c  548s |      18 |   376789 |   343952 |     5234    150 |        4 |        5
702.09/702.23	c  550s |      18 |   378319 |   345352 |     5234    151 |        4 |        5
704.19/704.37	c  552s |      18 |   379859 |   346752 |     5234    151 |        4 |        5
706.39/706.50	c  555s |      18 |   381297 |   348052 |     5234    152 |        4 |        5
708.40/708.53	c  557s |      18 |   382866 |   349452 |     5234    152 |        4 |        5
710.60/710.72	c  559s |      18 |   384392 |   350852 |     5234    153 |        4 |        5
712.69/712.85	c  561s |      18 |   386044 |   352352 |     5234    153 |        4 |        5
714.68/714.88	c  563s |      18 |   387471 |   353652 |     5234    154 |        4 |        5
716.78/716.92	c  565s |      18 |   388997 |   355052 |     5234    154 |        4 |        5
718.88/719.08	c  567s |      18 |   390543 |   356452 |     5234    155 |        4 |        5
720.88/721.10	c  569s |      18 |   392076 |   357852 |     5234    155 |        4 |        5
722.98/723.16	c  571s |      18 |   393686 |   359352 |     5234    156 |        4 |        5
724.98/725.19	c  573s |      18 |   395208 |   360752 |     5234    156 |        4 |        5
727.09/727.21	c  575s |      18 |   396544 |   361952 |     5234    157 |        4 |        5
729.19/729.31	c  577s |      18 |   398201 |   363452 |     5234    157 |        4 |        5
731.18/731.35	c  579s |      18 |   399840 |   364952 |     5234    158 |        4 |        5
733.28/733.40	c  581s |      18 |   401458 |   366452 |     5234    158 |        4 |        5
735.38/735.54	c  584s |      18 |   403148 |   367952 |     5234    159 |        4 |        5
737.38/737.54	c  586s |      18 |   404565 |   369252 |     5234    159 |        4 |        5
739.48/739.67	c  588s |      18 |   406203 |   370752 |     5234    160 |        4 |        5
741.58/741.70	c  590s |      18 |   407704 |   372152 |     5234    160 |        4 |        5
743.59/743.71	c  592s |      18 |   409049 |   373352 |     5234    161 |        4 |        5
745.58/745.79	c  594s |      18 |   410565 |   374752 |     5234    161 |        4 |        5
747.78/747.96	c  596s |      18 |   412111 |   376152 |     5234    162 |        4 |        5
749.88/750.03	c  598s |      18 |   413622 |   377552 |     5234    162 |        4 |        5
751.88/752.06	c  600s |      18 |   415121 |   378952 |     5234    163 |        4 |        5
753.97/754.10	c  602s |      18 |   416667 |   380352 |     5234    163 |        4 |        5
756.07/756.21	c  604s |      18 |   418320 |   381852 |     5234    164 |        4 |        5
758.07/758.22	c  606s |      18 |   419766 |   383152 |     5234    165 |        4 |        5
760.08/760.22	c  608s |      18 |   421225 |   384452 |     5234    165 |        4 |        5
762.18/762.41	c  610s |      18 |   422837 |   385952 |     5234    166 |        4 |        5
764.37/764.51	c  613s |      18 |   424549 |   387552 |     5234    166 |        4 |        5
766.37/766.58	c  615s |      18 |   426093 |   388952 |     5234    167 |        4 |        5
768.47/768.66	c  617s |      18 |   427633 |   390352 |     5234    167 |        4 |        5
770.46/770.67	c  619s |      18 |   428932 |   391552 |     5234    168 |        4 |        5
772.56/772.70	c  621s |      18 |   430473 |   392952 |     5234    168 |        4 |        5
774.66/774.82	c  623s |      18 |   431996 |   394352 |     5234    169 |        4 |        5
776.65/776.86	c  625s |      18 |   433597 |   395852 |     5234    169 |        4 |        5
778.77/778.99	c  627s |      18 |   435213 |   397352 |     5234    170 |        4 |        5
780.86/781.08	c  629s |      18 |   436846 |   398852 |     5234    170 |        4 |        5
782.95/783.14	c  631s |      18 |   438362 |   400252 |     5234    171 |        4 |        5
784.95/785.15	c  633s |      18 |   439866 |   401652 |     5234    171 |        4 |        5
786.95/787.17	c  635s |      18 |   441291 |   402952 |     5234    172 |        4 |        5
789.05/789.26	c  637s |      18 |   442842 |   404352 |     5234    172 |        4 |        5
791.15/791.31	c  639s |      18 |   444259 |   405652 |     5234    173 |        4 |        5
793.15/793.36	c  641s |      18 |   445815 |   407052 |     5234    173 |        4 |        5
795.34/795.51	c  644s |      18 |   447368 |   408452 |     5234    174 |        4 |        5
797.35/797.59	c  646s |      18 |   448919 |   409852 |     5234    174 |        4 |        5
799.55/799.71	c  648s |      18 |   450582 |   411352 |     5234    175 |        4 |        5
801.54/801.73	c  650s |      18 |   452226 |   412852 |     5234    175 |        4 |        5
803.54/803.77	c  652s |      18 |   453651 |   414152 |     5234    176 |        4 |        5
805.64/805.84	c  654s |      18 |   455406 |   415752 |     5234    176 |        4 |        5
807.74/807.95	c  656s |      18 |   456927 |   417152 |     5234    177 |        4 |        5
809.84/810.05	c  658s |      18 |   458451 |   418552 |     5234    177 |        4 |        5
811.94/812.12	c  660s |      18 |   459842 |   419852 |     5234    178 |        4 |        5
813.94/814.14	c  662s |      18 |   461241 |   421152 |     5234    178 |        4 |        5
816.04/816.24	c  664s |      18 |   462749 |   422552 |     5234    179 |        4 |        5
818.03/818.25	c  666s |      18 |   464228 |   423952 |     5234    179 |        4 |        5
820.13/820.37	c  668s |      18 |   465696 |   425252 |     5234    180 |        4 |        5
822.23/822.49	c  671s |      18 |   467382 |   426752 |     5234    180 |        4 |        5
824.33/824.55	c  673s |      18 |   469035 |   428252 |     5234    181 |        4 |        5
826.43/826.62	c  675s |      18 |   470606 |   429652 |     5234    181 |        4 |        5
828.53/828.73	c  677s |      18 |   472253 |   431152 |     5234    182 |        4 |        5
830.62/830.87	c  679s |      18 |   473879 |   432652 |     5234    182 |        4 |        5
832.72/832.97	c  681s |      18 |   475398 |   434052 |     5234    183 |        4 |        5
834.83/835.01	c  683s |      18 |   476936 |   435452 |     5234    183 |        4 |        5
836.82/837.01	c  685s |      18 |   478581 |   436952 |     5234    184 |        4 |        5
838.92/839.12	c  687s |      18 |   480176 |   438452 |     5234    184 |        4 |        5
841.02/841.25	c  689s |      18 |   481712 |   439852 |     5234    185 |        4 |        5
843.12/843.36	c  691s |      18 |   483234 |   441252 |     5234    185 |        4 |        5
845.31/845.50	c  694s |      18 |   484771 |   442652 |     5234    186 |        4 |        5
847.31/847.53	c  696s |      18 |   486218 |   443952 |     5234    186 |        4 |        5
848.21/848.41	c  696s |      19 |   486794 |   444482 |     5234    187 |        4 |        5
850.31/850.55	c  699s |      19 |   488362 |   445882 |     5234    187 |        4 |        5
852.32/852.58	c  701s |      19 |   489551 |   446982 |     5234    188 |        4 |        5
854.40/854.60	c  703s |      19 |   490892 |   448182 |     5234    188 |        4 |        5
856.40/856.61	c  705s |      19 |   492237 |   449382 |     5234    189 |        4 |        5
858.40/858.66	c  707s |      19 |   493672 |   450682 |     5234    189 |        4 |        5
860.40/860.69	c  709s |      19 |   494829 |   451782 |     5234    189 |        4 |        5
862.60/862.81	c  711s |      19 |   496146 |   452982 |     5234    190 |        4 |        5
864.69/864.95	c  713s |      19 |   497467 |   454182 |     5234    190 |        4 |        5
866.89/867.11	c  715s |      19 |   498935 |   455482 |     5234    191 |        4 |        5
868.90/869.15	c  717s |      19 |   500416 |   456782 |     5234    191 |        4 |        5
871.00/871.27	c  719s |      19 |   501921 |   458182 |     5234    192 |        4 |        5
872.99/873.28	c  721s |      19 |   503190 |   459382 |     5234    192 |        4 |        5
875.20/875.45	c  724s |      19 |   504602 |   460682 |     5234    193 |        4 |        5
877.19/877.46	c  726s |      19 |   506198 |   462182 |     5234    193 |        4 |        5
879.29/879.52	c  728s |      19 |   507710 |   463582 |     5234    194 |        4 |        5
881.29/881.56	c  730s |      19 |   509103 |   464882 |     5234    194 |        4 |        5
883.39/883.61	c  732s |      19 |   510514 |   466182 |     5234    195 |        4 |        5
885.49/885.74	c  734s |      19 |   512041 |   467582 |     5234    195 |        4 |        5
887.50/887.77	c  736s |      19 |   513472 |   468882 |     5234    196 |        4 |        5
889.59/889.83	c  738s |      19 |   514887 |   470182 |     5234    196 |        4 |        5
891.58/891.85	c  740s |      19 |   516251 |   471482 |     5234    197 |        4 |        5
893.68/893.95	c  742s |      19 |   517681 |   472782 |     5234    197 |        4 |        5
895.78/896.04	c  744s |      19 |   518905 |   473882 |     5234    198 |        4 |        5
897.78/898.09	c  746s |      19 |   520117 |   474982 |     5234    198 |        4 |        5
899.88/900.11	c  748s |      19 |   521345 |   476082 |     5234    199 |        4 |        5
901.88/902.12	c  750s |      19 |   522532 |   477182 |     5234    199 |        4 |        5
903.87/904.15	c  752s |      19 |   523754 |   478282 |     5234    199 |        4 |        5
905.97/906.22	c  754s |      19 |   524943 |   479382 |     5234    200 |        4 |        5
907.97/908.23	c  756s |      19 |   526203 |   480482 |     5234    200 |        4 |        5
910.07/910.38	c  758s |      19 |   527856 |   481982 |     5234    201 |        4 |        5
912.17/912.43	c  760s |      19 |   529262 |   483282 |     5234    201 |        4 |        5
914.26/914.54	c  763s |      19 |   530634 |   484482 |     5234    202 |        4 |        5
916.26/916.54	c  765s |      19 |   532101 |   485782 |     5234    202 |        4 |        5
918.37/918.69	c  767s |      19 |   533481 |   487082 |     5234    203 |        4 |        5
920.47/920.76	c  769s |      19 |   534863 |   488382 |     5234    203 |        4 |        5
922.67/922.92	c  771s |      19 |   536240 |   489682 |     5234    203 |        4 |        5
924.65/924.92	c  773s |      19 |   537510 |   490882 |     5234    204 |        4 |        5
926.65/926.97	c  775s |      19 |   539027 |   492282 |     5234    204 |        4 |        5
928.75/929.04	c  777s |      19 |   540425 |   493582 |     5234    205 |        4 |        5
930.85/931.11	c  779s |      19 |   541849 |   494882 |     5234    205 |        4 |        5
932.85/933.12	c  781s |      19 |   543260 |   496182 |     5234    206 |        4 |        5
934.86/935.19	c  783s |      19 |   544461 |   497282 |     5234    206 |        4 |        5
937.06/937.33	c  785s |      19 |   545684 |   498382 |     5234    207 |        4 |        5
939.16/939.41	c  787s |      19 |   546984 |   499582 |     5234    207 |        4 |        5
941.36/941.63	c  790s |      19 |   548247 |   500782 |     5234    208 |        4 |        5
943.35/943.70	c  792s |      19 |   549679 |   502082 |     5234    208 |        4 |        5
945.54/945.87	c  794s |      19 |   551246 |   503482 |     5234    209 |        4 |        5
947.64/947.95	c  796s |      19 |   552753 |   504882 |     5234    209 |        4 |        5
949.74/950.02	c  798s |      19 |   554174 |   506182 |     5234    210 |        4 |        5
951.74/952.06	c  800s |      19 |   555714 |   507582 |     5234    210 |        4 |        5
953.84/954.11	c  802s |      19 |   557154 |   508882 |     5234    210 |        4 |        5
955.94/956.25	c  804s |      19 |   558572 |   510182 |     5234    211 |        4 |        5
958.04/958.35	c  806s |      19 |   560011 |   511482 |     5234    211 |        4 |        5
960.24/960.52	c  809s |      19 |   561524 |   512882 |     5234    212 |        4 |        5
962.25/962.56	c  811s |      19 |   562930 |   514182 |     5234    212 |        4 |        5
964.33/964.62	c  813s |      19 |   564262 |   515382 |     5234    213 |        4 |        5
966.33/966.68	c  815s |      19 |   565421 |   516482 |     5234    213 |        4 |        5
968.43/968.77	c  817s |      19 |   566595 |   517582 |     5234    214 |        4 |        5
970.53/970.85	c  819s |      19 |   567825 |   518682 |     5234    214 |        4 |        5
972.63/972.96	c  821s |      19 |   569240 |   519982 |     5234    215 |        4 |        5
974.73/975.00	c  823s |      19 |   570673 |   521282 |     5234    215 |        4 |        5
976.73/977.05	c  825s |      19 |   572156 |   522582 |     5234    216 |        4 |        5
978.73/979.10	c  827s |      19 |   573573 |   523882 |     5234    216 |        4 |        5
980.93/981.28	c  829s |      19 |   575017 |   525182 |     5234    216 |        4 |        5
983.13/983.43	c  831s |      19 |   576468 |   526482 |     5234    217 |        4 |        5
985.22/985.55	c  834s |      19 |   577790 |   527682 |     5234    217 |        4 |        5
987.32/987.62	c  836s |      19 |   578997 |   528782 |     5234    218 |        4 |        5
989.42/989.74	c  838s |      19 |   580400 |   530082 |     5234    218 |        4 |        5
991.42/991.78	c  840s |      19 |   581721 |   531282 |     5234    219 |        4 |        5
993.42/993.79	c  842s |      19 |   583069 |   532482 |     5234    219 |        4 |        5
995.61/995.91	c  844s |      19 |   584583 |   533882 |     5234    220 |        4 |        5
997.61/997.93	c  846s |      19 |   585799 |   534982 |     5234    220 |        4 |        5
999.72/1000.06	c  848s |      19 |   587097 |   536182 |     5234    221 |        4 |        5
1001.92/1002.21	c  850s |      19 |   588423 |   537382 |     5234    221 |        4 |        5
1004.01/1004.38	c  852s |      19 |   589617 |   538482 |     5234    221 |        4 |        5
1006.21/1006.51	c  855s |      19 |   590810 |   539582 |     5234    222 |        4 |        5
1008.20/1008.57	c  857s |      19 |   591901 |   540582 |     5234    222 |        4 |        5
1010.20/1010.57	c  859s |      19 |   593122 |   541682 |     5234    222 |        4 |        5
1012.30/1012.60	c  861s |      19 |   594472 |   542882 |     5234    223 |        4 |        5
1014.31/1014.65	c  863s |      19 |   595679 |   543982 |     5234    223 |        4 |        5
1016.41/1016.79	c  865s |      19 |   597076 |   545282 |     5234    224 |        4 |        5
1018.51/1018.81	c  867s |      19 |   598428 |   546482 |     5234    224 |        4 |        5
1020.62/1020.93	c  869s |      19 |   599709 |   547682 |     5234    225 |        4 |        5
1022.60/1022.95	c  871s |      19 |   601153 |   548982 |     5234    225 |        4 |        5
1024.80/1025.12	c  873s |      19 |   602561 |   550282 |     5234    226 |        4 |        5
1026.90/1027.28	c  875s |      19 |   603846 |   551482 |     5234    226 |        4 |        5
1029.10/1029.45	c  878s |      19 |   605177 |   552682 |     5234    226 |        4 |        5
1031.20/1031.57	c  880s |      19 |   606360 |   553782 |     5234    227 |        4 |        5
1033.30/1033.68	c  882s |      19 |   607666 |   554982 |     5234    227 |        4 |        5
1035.39/1035.70	c  884s |      19 |   608996 |   556182 |     5234    228 |        4 |        5
1037.49/1037.84	c  886s |      19 |   610398 |   557482 |     5234    228 |        4 |        5
1039.49/1039.88	c  888s |      19 |   611779 |   558682 |     5758    228 |        4 |        5
1041.69/1042.00	c  890s |      19 |   613142 |   559882 |     5758    229 |        4 |        5
1043.79/1044.17	c  892s |      19 |   614547 |   561182 |     5758    229 |        4 |        5
1045.90/1046.28	c  894s |      19 |   615874 |   562382 |     5758    230 |        4 |        5
1047.99/1048.32	c  896s |      19 |   617128 |   563482 |     5758    230 |        4 |        5
1049.99/1050.36	c  898s |      19 |   618214 |   564482 |     5758    230 |        4 |        5
1052.09/1052.48	c  901s |      19 |   619329 |   565482 |     5758    231 |        4 |        5
1054.18/1054.51	c  903s |      19 |   620690 |   566682 |     5758    231 |        4 |        5
1056.28/1056.63	c  905s |      19 |   622289 |   568082 |     5758    231 |        4 |        5
1058.38/1058.75	c  907s |      19 |   623792 |   569482 |     5758    232 |        4 |        5
1060.48/1060.89	c  909s |      19 |   625198 |   570782 |     5758    232 |        4 |        5
1062.58/1062.90	c  911s |      19 |   626604 |   572082 |     5758    233 |        4 |        5
1064.67/1065.02	c  913s |      19 |   628142 |   573482 |     5758    233 |        4 |        5
1066.78/1067.11	c  915s |      19 |   629588 |   574782 |     5758    234 |        4 |        5
1068.77/1069.15	c  917s |      19 |   630896 |   575982 |     5758    234 |        4 |        5
1070.97/1071.33	c  919s |      19 |   632114 |   577082 |     5758    235 |        4 |        5
1072.97/1073.34	c  921s |      19 |   633479 |   578282 |     5758    235 |        4 |        5
1075.06/1075.40	c  923s |      19 |   634697 |   579382 |     5758    235 |        4 |        5
1077.16/1077.50	c  926s |      19 |   636034 |   580582 |     5758    236 |        4 |        5
1079.26/1079.63	c  928s |      19 |   637554 |   581982 |     5758    236 |        4 |        5
1081.26/1081.69	c  930s |      19 |   638895 |   583182 |     5758    236 |        4 |        5
1083.36/1083.70	c  932s |      19 |   640252 |   584382 |     5758    237 |        4 |        5
1085.46/1085.83	c  934s |      19 |   641749 |   585682 |     5758    237 |        4 |        5
1087.56/1087.94	c  936s |      19 |   643102 |   586882 |     5758    238 |        4 |        5
1089.65/1090.03	c  938s |      19 |   644419 |   588082 |     5758    238 |        4 |        5
1091.75/1092.10	c  940s |      19 |   645640 |   589182 |     5758    238 |        4 |        5
1093.75/1094.12	c  942s |      19 |   646862 |   590282 |     5758    239 |        4 |        5
1095.84/1096.23	c  944s |      19 |   648191 |   591482 |     5758    239 |        4 |        5
1097.94/1098.36	c  946s |      19 |   649744 |   592882 |     5758    240 |        4 |        5
1099.94/1100.38	c  948s |      19 |   651081 |   594082 |     5758    240 |        4 |        5
1102.04/1102.49	c  951s |      19 |   652382 |   595282 |     5758    240 |        4 |        5
1104.15/1104.56	c  953s |      19 |   653708 |   596482 |     5758    241 |        4 |        5
1106.24/1106.61	c  955s |      19 |   655006 |   597682 |     5758    241 |        4 |        5
1108.23/1108.61	c  957s |      19 |   656206 |   598782 |     5758    242 |        4 |        5
1110.23/1110.67	c  959s |      19 |   657636 |   600082 |     5758    242 |        4 |        5
1112.33/1112.78	c  961s |      19 |   659073 |   601382 |     5758    242 |        4 |        5
1114.43/1114.81	c  963s |      19 |   660277 |   602482 |     5758    243 |        4 |        5
1116.43/1116.87	c  965s |      19 |   661484 |   603582 |     5758    243 |        4 |        5
1118.53/1118.98	c  967s |      19 |   662808 |   604782 |     5758    244 |        4 |        5
1120.73/1121.13	c  969s |      19 |   664260 |   606082 |     5758    244 |        4 |        5
1122.73/1123.18	c  971s |      19 |   665721 |   607382 |     5758    244 |        4 |        5
1124.72/1125.18	c  973s |      19 |   667060 |   608582 |     5758    245 |        4 |        5
1126.82/1127.25	c  975s |      19 |   668517 |   609882 |     5758    245 |        4 |        5
1128.82/1129.28	c  977s |      19 |   669749 |   610982 |     5758    246 |        4 |        5
1130.92/1131.32	c  979s |      19 |   671070 |   612182 |     5758    246 |        4 |        5
1133.02/1133.47	c  982s |      19 |   672500 |   613482 |     5758    246 |        4 |        5
1135.01/1135.47	c  984s |      19 |   673942 |   614782 |     5758    247 |        4 |        5
1137.12/1137.55	c  986s |      19 |   675442 |   616182 |     5758    247 |        4 |        5
1139.22/1139.61	c  988s |      19 |   676964 |   617582 |     5758    248 |        4 |        5
1141.21/1141.64	c  990s |      19 |   678485 |   618982 |     5758    248 |        4 |        5
1143.31/1143.76	c  992s |      19 |   679847 |   620182 |     5758    249 |        4 |        5
1145.50/1145.90	c  994s |      19 |   681438 |   621582 |     5758    249 |        4 |        5
1147.50/1147.91	c  996s |      19 |   682925 |   622882 |     5758    249 |        4 |        5
1149.60/1150.06	c  998s |      19 |   684481 |   624282 |     5758    250 |        4 |        5
1151.70/1152.15	c 1000s |      19 |   686080 |   625682 |     5758    250 |        4 |        5
1153.80/1154.20	c 1002s |      19 |   687522 |   626982 |     5758    251 |        4 |        5
1155.82/1156.24	c 1004s |      19 |   688929 |   628282 |     5758    251 |        4 |        5
1157.91/1158.38	c 1006s |      19 |   690456 |   629682 |     5758    252 |        4 |        5
1160.00/1160.50	c 1009s |      19 |   691822 |   630982 |     5758    252 |        4 |        5
1162.20/1162.65	c 1011s |      19 |   693103 |   632182 |     5758    252 |        4 |        5
1164.30/1164.73	c 1013s |      19 |   694392 |   633382 |     5758    253 |        4 |        5
1166.30/1166.75	c 1015s |      19 |   695782 |   634682 |     5758    253 |        4 |        5
1168.30/1168.78	c 1017s |      19 |   697349 |   636082 |     5758    254 |        4 |        5
1170.40/1170.81	c 1019s |      19 |   698968 |   637582 |     5758    254 |        4 |        5
1172.50/1172.93	c 1021s |      19 |   700594 |   639082 |     5758    255 |        4 |        5
1174.50/1174.98	c 1023s |      19 |   702099 |   640482 |     5758    255 |        4 |        5
1176.60/1177.10	c 1025s |      19 |   703735 |   641982 |     5758    256 |        4 |        5
1178.69/1179.13	c 1027s |      19 |   705394 |   643482 |     5758    256 |        4 |        5
1180.79/1181.24	c 1029s |      19 |   706915 |   644882 |     5758    257 |        4 |        5
1182.79/1183.26	c 1031s |      19 |   708464 |   646282 |     5758    257 |        4 |        5
1184.89/1185.34	c 1033s |      19 |   709958 |   647682 |     5758    258 |        4 |        5
1186.99/1187.44	c 1036s |      19 |   711566 |   649182 |     5758    258 |        4 |        5
1189.09/1189.54	c 1038s |      19 |   713087 |   650582 |     5758    259 |        4 |        5
1191.28/1191.72	c 1040s |      19 |   714582 |   651982 |     5758    259 |        4 |        5
1193.48/1193.90	c 1042s |      19 |   716241 |   653482 |     5758    260 |        4 |        5
1195.48/1195.92	c 1044s |      19 |   717738 |   654882 |     5758    260 |        4 |        5
1197.49/1197.98	c 1046s |      19 |   718949 |   655982 |     5758    261 |        4 |        5
1199.48/1199.98	c 1048s |      19 |   720343 |   657282 |     5758    261 |        4 |        5
1201.58/1202.02	c 1050s |      19 |   721629 |   658482 |     5758    261 |        4 |        5
1203.77/1204.24	c 1052s |      19 |   723111 |   659882 |     5758    262 |        4 |        5
1205.87/1206.35	c 1054s |      19 |   724421 |   661082 |     5758    262 |        4 |        5
1207.87/1208.39	c 1056s |      19 |   725623 |   662182 |     5758    263 |        4 |        5
1210.07/1210.55	c 1059s |      19 |   727018 |   663482 |     5758    263 |        4 |        5
1212.07/1212.56	c 1061s |      19 |   728214 |   664582 |     5758    263 |        4 |        5
1214.07/1214.57	c 1063s |      19 |   729500 |   665782 |     5758    264 |        4 |        5
1215.86/1216.34	c 1064s |      20 |   730601 |   666827 |     5758    264 |        4 |        5
1217.86/1218.34	c 1066s |      20 |   731932 |   668027 |     5758    265 |        4 |        5
1219.96/1220.43	c 1068s |      20 |   733320 |   669327 |     5758    265 |        4 |        5
1222.06/1222.59	c 1071s |      20 |   734710 |   670627 |     5758    265 |        4 |        5
1224.15/1224.60	c 1073s |      20 |   735996 |   671827 |     5758    266 |        4 |        5
1226.25/1226.75	c 1075s |      20 |   737428 |   673127 |     5758    266 |        4 |        5
1228.26/1228.80	c 1077s |      20 |   738720 |   674327 |     5758    267 |        4 |        5
1230.35/1230.84	c 1079s |      20 |   740007 |   675527 |     5758    267 |        4 |        5
1232.55/1233.05	c 1081s |      20 |   741302 |   676727 |     5758    267 |        4 |        5
1234.64/1235.17	c 1083s |      20 |   742582 |   677927 |     5758    268 |        4 |        5
1236.84/1237.31	c 1085s |      20 |   743979 |   679227 |     5758    268 |        4 |        5
1239.04/1239.58	c 1088s |      20 |   745251 |   680427 |     5758    269 |        4 |        5
1241.14/1241.65	c 1090s |      20 |   746548 |   681627 |     5758    269 |        4 |        5
1243.14/1243.68	c 1092s |      20 |   747712 |   682727 |     5758    269 |        4 |        5
1245.33/1245.81	c 1094s |      20 |   748892 |   683827 |     5758    270 |        4 |        5
1247.33/1247.86	c 1096s |      20 |   750154 |   685027 |     5758    270 |        4 |        5
1249.43/1249.91	c 1098s |      20 |   751350 |   686127 |     5758    270 |        4 |        5
1251.44/1251.96	c 1100s |      20 |   752647 |   687327 |     5758    271 |        4 |        5
1253.43/1254.00	c 1102s |      20 |   753987 |   688527 |     5758    271 |        4 |        5
1255.53/1256.02	c 1104s |      20 |   755204 |   689627 |     5758    272 |        4 |        5
1257.62/1258.14	c 1106s |      20 |   756642 |   690927 |     5758    272 |        4 |        5
1259.62/1260.16	c 1108s |      20 |   757709 |   691927 |     5758    272 |        4 |        5
1261.62/1262.19	c 1110s |      20 |   758890 |   693027 |     5758    273 |        4 |        5
1263.72/1264.22	c 1112s |      20 |   760106 |   694127 |     5758    273 |        4 |        5
1265.82/1266.32	c 1114s |      20 |   761313 |   695227 |     5758    273 |        4 |        5
1267.93/1268.41	c 1116s |      20 |   762643 |   696427 |     5758    274 |        4 |        5
1269.92/1270.43	c 1119s |      20 |   763837 |   697527 |     5758    274 |        4 |        5
1272.01/1272.55	c 1121s |      20 |   765020 |   698627 |     5758    274 |        4 |        5
1274.21/1274.70	c 1123s |      20 |   766349 |   699827 |     5758    275 |        4 |        5
1276.31/1276.86	c 1125s |      20 |   767762 |   701127 |     5758    275 |        4 |        5
1278.42/1278.94	c 1127s |      20 |   769068 |   702327 |     5758    276 |        4 |        5
1280.52/1281.06	c 1129s |      20 |   770372 |   703527 |     5758    276 |        4 |        5
1282.72/1283.27	c 1131s |      20 |   771567 |   704627 |     5758    276 |        4 |        5
1284.81/1285.30	c 1133s |      20 |   773134 |   706027 |     5758    277 |        4 |        5
1286.91/1287.42	c 1135s |      20 |   774675 |   707427 |     5758    277 |        4 |        5
1288.91/1289.48	c 1138s |      20 |   776102 |   708727 |     5758    278 |        4 |        5
1291.02/1291.53	c 1140s |      20 |   777502 |   710027 |     5758    278 |        4 |        5
1293.12/1293.65	c 1142s |      20 |   778782 |   711227 |     5758    279 |        4 |        5
1295.31/1295.81	c 1144s |      20 |   780377 |   712627 |     5758    279 |        4 |        5
1297.41/1297.92	c 1146s |      20 |   781661 |   713827 |     5758    280 |        4 |        5
1299.41/1299.96	c 1148s |      20 |   783064 |   715127 |     5758    280 |        4 |        5
1301.51/1302.02	c 1150s |      20 |   784383 |   716327 |     5758    280 |        4 |        5
1303.50/1304.07	c 1152s |      20 |   785578 |   717427 |     5758    281 |        4 |        5
1305.60/1306.19	c 1154s |      20 |   787066 |   718727 |     5758    281 |        4 |        5
1307.70/1308.28	c 1156s |      20 |   788492 |   720027 |     5758    281 |        4 |        5
1309.90/1310.43	c 1158s |      20 |   790284 |   721627 |     5758    282 |        4 |        5
1312.00/1312.52	c 1161s |      20 |   791829 |   723027 |     5758    282 |        4 |        5
1314.10/1314.63	c 1163s |      20 |   793311 |   724427 |     5758    283 |        4 |        5
1316.20/1316.71	c 1165s |      20 |   794876 |   725827 |     5758    283 |        4 |        5
1318.29/1318.80	c 1167s |      20 |   796383 |   727227 |     5758    284 |        4 |        5
1320.39/1320.96	c 1169s |      20 |   797924 |   728627 |     5758    284 |        4 |        5
1322.49/1323.01	c 1171s |      20 |   799305 |   729927 |     5758    285 |        4 |        5
1324.48/1325.07	c 1173s |      20 |   800710 |   731227 |     5758    285 |        4 |        5
1326.58/1327.18	c 1175s |      20 |   801993 |   732427 |     5758    286 |        4 |        5
1328.68/1329.25	c 1177s |      20 |   803437 |   733727 |     5758    286 |        4 |        5
1330.78/1331.36	c 1179s |      20 |   804847 |   735027 |     5758    286 |        4 |        5
1332.88/1333.42	c 1181s |      20 |   806251 |   736327 |     5758    287 |        4 |        5
1334.98/1335.51	c 1184s |      20 |   807745 |   737727 |     5758    287 |        4 |        5
1336.97/1337.57	c 1186s |      20 |   809131 |   739027 |     5758    288 |        4 |        5
1339.07/1339.65	c 1188s |      20 |   810759 |   740527 |     5758    288 |        4 |        5
1341.17/1341.78	c 1190s |      20 |   812418 |   742027 |     5758    289 |        4 |        5
1343.27/1343.83	c 1192s |      20 |   813966 |   743427 |     5758    289 |        4 |        5
1345.37/1345.94	c 1194s |      20 |   815517 |   744827 |     5758    290 |        4 |        5
1347.47/1348.02	c 1196s |      20 |   816968 |   746127 |     5758    290 |        4 |        5
1349.57/1350.17	c 1198s |      20 |   818413 |   747427 |     5758    290 |        4 |        5
1351.67/1352.26	c 1200s |      20 |   819857 |   748727 |     5758    291 |        4 |        5
1353.68/1354.26	c 1202s |      20 |   821180 |   749927 |     5758    291 |        4 |        5
1355.87/1356.43	c 1205s |      20 |   822631 |   751227 |     5758    292 |        4 |        5
1357.86/1358.45	c 1207s |      20 |   824001 |   752427 |     5758    292 |        4 |        5
1359.86/1360.47	c 1209s |      20 |   825390 |   753627 |     5758    293 |        4 |        5
1361.86/1362.49	c 1211s |      20 |   826791 |   754927 |     5758    293 |        4 |        5
1364.05/1364.60	c 1213s |      20 |   827998 |   756027 |     5758    293 |        4 |        5
1366.05/1366.61	c 1215s |      20 |   829355 |   757227 |     5758    294 |        4 |        5
1368.05/1368.67	c 1217s |      20 |   830764 |   758527 |     5758    294 |        4 |        5
1370.16/1370.76	c 1219s |      20 |   832050 |   759727 |     5758    295 |        4 |        5
1372.15/1372.78	c 1221s |      20 |   833394 |   760927 |     5758    295 |        4 |        5
1374.34/1374.94	c 1223s |      20 |   834733 |   762127 |     5758    295 |        4 |        5
1376.44/1377.01	c 1225s |      20 |   835989 |   763327 |     5758    296 |        4 |        5
1378.44/1379.05	c 1227s |      20 |   837239 |   764527 |     5758    296 |        4 |        5
1380.54/1381.10	c 1229s |      20 |   838526 |   765727 |     5758    296 |        4 |        5
1382.64/1383.26	c 1231s |      20 |   839953 |   767027 |     5758    297 |        4 |        5
1384.73/1385.35	c 1233s |      20 |   841279 |   768227 |     5758    297 |        4 |        5
1386.83/1387.44	c 1236s |      20 |   842456 |   769327 |     5758    298 |        4 |        5
1388.93/1389.50	c 1238s |      20 |   843806 |   770527 |     5758    298 |        4 |        5
1390.94/1391.55	c 1240s |      20 |   845033 |   771627 |     5758    298 |        4 |        5
1392.93/1393.57	c 1242s |      20 |   846217 |   772727 |     5758    299 |        4 |        5
1394.93/1395.59	c 1244s |      20 |   847499 |   773927 |     5758    299 |        4 |        5
1397.03/1397.63	c 1246s |      20 |   849010 |   775327 |     5758    300 |        4 |        5
1399.13/1399.75	c 1248s |      20 |   850434 |   776627 |     5758    300 |        4 |        5
1401.13/1401.77	c 1250s |      20 |   851739 |   777827 |     5758    300 |        4 |        5
1403.33/1403.90	c 1252s |      20 |   853031 |   779027 |     5758    301 |        4 |        5
1405.42/1406.02	c 1254s |      20 |   854313 |   780227 |     5758    301 |        4 |        5
1407.53/1408.15	c 1256s |      20 |   855722 |   781527 |     5758    302 |        4 |        5
1409.63/1410.30	c 1258s |      20 |   857152 |   782827 |     5758    302 |        4 |        5
1411.72/1412.38	c 1260s |      20 |   858446 |   784027 |     5758    302 |        4 |        5
1413.92/1414.52	c 1263s |      20 |   859848 |   785327 |     5758    303 |        4 |        5
1416.02/1416.65	c 1265s |      20 |   861227 |   786627 |     5758    303 |        4 |        5
1418.02/1418.66	c 1267s |      20 |   862587 |   787827 |     5758    304 |        4 |        5
1420.12/1420.73	c 1269s |      20 |   864117 |   789227 |     5758    304 |        4 |        5
1422.22/1422.82	c 1271s |      20 |   865411 |   790427 |     5758    304 |        4 |        5
1424.32/1424.91	c 1273s |      20 |   866756 |   791627 |     5758    305 |        4 |        5
1426.42/1427.02	c 1275s |      20 |   868040 |   792827 |     5758    305 |        4 |        5
1428.43/1429.06	c 1277s |      20 |   869264 |   793927 |     5758    306 |        4 |        5
1430.52/1431.19	c 1279s |      20 |   870577 |   795127 |     5758    306 |        4 |        5
1432.72/1433.38	c 1281s |      20 |   871880 |   796327 |     5758    306 |        4 |        5
1434.92/1435.58	c 1284s |      20 |   873169 |   797527 |     5758    307 |        4 |        5
1437.01/1437.67	c 1286s |      20 |   874566 |   798827 |     5758    307 |        4 |        5
1439.11/1439.76	c 1288s |      20 |   875862 |   800027 |     5758    308 |        4 |        5
1441.21/1441.88	c 1290s |      20 |   877267 |   801327 |     5758    308 |        4 |        5
1443.21/1443.88	c 1292s |      20 |   878559 |   802527 |     5758    308 |        4 |        5
1445.31/1445.90	c 1294s |      20 |   879841 |   803727 |     5758    309 |        4 |        5
1447.41/1448.03	c 1296s |      20 |   881274 |   805027 |     5758    309 |        4 |        5
1449.51/1450.19	c 1298s |      20 |   882718 |   806327 |     5758    310 |        4 |        5
1451.61/1452.29	c 1300s |      20 |   884113 |   807627 |     5758    310 |        4 |        5
1453.81/1454.40	c 1302s |      20 |   885479 |   808927 |     5758    310 |        4 |        5
1455.92/1456.54	c 1305s |      20 |   886794 |   810127 |     5758    311 |        4 |        5
1458.02/1458.64	c 1307s |      20 |   888273 |   811427 |     5758    311 |        4 |        5
1460.22/1460.84	c 1309s |      20 |   889728 |   812727 |     5758    312 |        4 |        5
1462.21/1462.88	c 1311s |      20 |   891191 |   814027 |     5758    312 |        4 |        5
1464.31/1464.94	c 1313s |      20 |   892442 |   815127 |     5758    313 |        4 |        5
1466.41/1467.03	c 1315s |      20 |   893928 |   816427 |     5758    313 |        4 |        5
1468.52/1469.17	c 1317s |      20 |   895351 |   817727 |     5758    313 |        4 |        5
1470.72/1471.30	c 1319s |      20 |   896817 |   819027 |     5758    314 |        4 |        5
1472.72/1473.34	c 1321s |      20 |   898382 |   820427 |     5758    314 |        4 |        5
1474.82/1475.45	c 1324s |      20 |   899814 |   821727 |     5758    315 |        4 |        5
1477.02/1477.60	c 1326s |      20 |   901232 |   823027 |     5758    315 |        4 |        5
1479.03/1479.68	c 1328s |      20 |   902450 |   824127 |     5758    316 |        4 |        5
1481.12/1481.72	c 1330s |      20 |   903867 |   825327 |     5758    316 |        4 |        5
1483.22/1483.86	c 1332s |      20 |   905323 |   826627 |     5758    316 |        4 |        5
1485.32/1485.97	c 1334s |      20 |   906543 |   827727 |     5758    317 |        4 |        5
1487.31/1487.97	c 1336s |      20 |   907728 |   828827 |     5758    317 |        4 |        5
1489.41/1490.02	c 1338s |      20 |   908905 |   829927 |     5758    317 |        4 |        5
1491.51/1492.18	c 1340s |      20 |   910183 |   831127 |     5758    318 |        4 |        5
1493.71/1494.35	c 1342s |      20 |   911437 |   832327 |     5758    318 |        4 |        5
1495.81/1496.40	c 1344s |      20 |   912618 |   833427 |     5758    319 |        4 |        5
1496.91/1497.50	c 1346s |      20 |   913316 |   834083 |     5758    319 |        4 |        5
1496.91/1497.50	c #cpu_time = 1342.306s
1496.91/1497.50	c #wall_clock_time = 1346.068s
1496.91/1497.50	c #decision = 913316
1496.91/1497.50	c #random_decision = 1883
1496.91/1497.50	c #conflict = 834083
1496.91/1497.50	c #restart = 20
1496.91/1497.50	o 55
1496.91/1497.50	c BCD2: hardening fixes 1 literals
1496.91/1497.50	c BCD2: updating upper bound: 63 -> 54
1496.91/1497.50	c BCD2: 46 <= obj <= 54
1496.91/1497.50	c BCD2: #cores=2, #unrelaxed=0, #relaxed=5, #hardened=2
1496.91/1497.50	c BCD2: #sat=4 #unsat=3 bias=3/7
1496.91/1497.51	c Solving starts ...
1496.91/1497.51	c ============================[ Search Statistics ]============================
1496.91/1497.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1496.91/1497.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1496.91/1497.51	c =============================================================================
1496.91/1497.51	c  0.0s |       0 |        0 |        0 |     5758      0 |       11 |       11
1497.11/1497.75	c  0.2s |       1 |      129 |      100 |     5758      0 |       11 |       15
1497.41/1498.05	c  0.5s |       2 |      319 |      250 |     5758      0 |       11 |       15
1497.81/1498.49	c  1.0s |       3 |      608 |      475 |     5758      0 |       11 |       15
1498.41/1499.02	c  1.5s |       4 |      984 |      813 |     5758      0 |       11 |       15
1499.21/1499.84	c  2.3s |       5 |     1555 |     1320 |     5758      0 |       11 |       15
1500.31/1500.93	c  3.4s |       6 |     2374 |     2081 |     5758      1 |       11 |       15
1502.21/1502.82	c  5.3s |       7 |     3615 |     3223 |     5758      1 |       11 |       15
1504.22/1504.89	c  7.4s |       7 |     4947 |     4423 |     5758      1 |       11 |       15
1505.21/1505.85	c  8.3s |       8 |     5501 |     4936 |     5758      1 |       11 |       15
1507.21/1507.85	c 10.3s |       8 |     6869 |     6136 |     5758      2 |       11 |       15
1509.31/1509.90	c 12.4s |       8 |     8254 |     7436 |     5758      2 |       11 |       15
1509.41/1510.01	c 12.5s |       9 |     8328 |     7506 |     5758      2 |       11 |       15
1511.41/1512.05	c 14.5s |       9 |     9874 |     8906 |     5758      3 |       11 |       15
1513.61/1514.22	c 16.7s |       9 |    11443 |    10306 |     5758      3 |       11 |       15
1515.22/1515.88	c 18.4s |      10 |    12563 |    11361 |     5758      4 |       11 |       15
1517.31/1517.98	c 20.5s |      10 |    14243 |    12861 |     5758      4 |       11 |       15
1519.31/1519.99	c 22.5s |      10 |    15639 |    14161 |     5758      5 |       11 |       15
1521.41/1522.01	c 24.5s |      10 |    17171 |    15561 |     5758      5 |       11 |       15
1523.61/1524.22	c 26.7s |      10 |    18572 |    16861 |     5758      6 |       11 |       15
1524.21/1524.80	c 27.3s |      11 |    18887 |    17144 |     5758      6 |       11 |       15
1526.22/1526.88	c 29.4s |      11 |    20131 |    18244 |     5758      6 |       11 |       15
1528.31/1528.95	c 31.4s |      11 |    21335 |    19344 |     5758      6 |       11 |       15
1530.41/1531.08	c 33.6s |      11 |    22743 |    20644 |     5758      7 |       11 |       15
1532.51/1533.16	c 35.7s |      11 |    24179 |    21944 |     5758      7 |       11 |       15
1534.61/1535.28	c 37.8s |      11 |    25400 |    23044 |     5758      8 |       11 |       15
1536.71/1537.40	c 39.9s |      11 |    26813 |    24344 |     5758      8 |       11 |       15
1538.91/1539.52	c 42.0s |      11 |    28001 |    25444 |     5758      8 |       11 |       15
1539.61/1540.27	c 42.8s |      12 |    28409 |    25819 |     5758      9 |       11 |       15
1541.72/1542.34	c 44.8s |      12 |    29665 |    26919 |     5758      9 |       11 |       15
1543.91/1544.53	c 47.0s |      12 |    31058 |    28219 |     5758      9 |       11 |       15
1546.01/1546.62	c 49.1s |      12 |    32363 |    29419 |     5758     10 |       11 |       15
1548.10/1548.74	c 51.2s |      12 |    33596 |    30519 |     5758     10 |       11 |       15
1550.20/1550.80	c 53.3s |      12 |    34987 |    31819 |     5758     11 |       11 |       15
1552.30/1552.91	c 55.4s |      12 |    36362 |    33119 |     5758     11 |       11 |       15
1554.30/1554.96	c 57.5s |      12 |    37758 |    34419 |     5758     11 |       11 |       15
1556.30/1556.99	c 59.5s |      12 |    39040 |    35619 |     5758     12 |       11 |       15
1558.50/1559.13	c 61.6s |      12 |    40316 |    36819 |     5758     12 |       11 |       15
1560.50/1561.19	c 63.7s |      12 |    41747 |    38119 |     5758     13 |       11 |       15
1561.70/1562.35	c 64.8s |      13 |    42561 |    38832 |     5758     13 |       11 |       15
1563.80/1564.45	c 66.9s |      13 |    43957 |    40032 |     5758     13 |       11 |       15
1565.91/1566.55	c 69.0s |      13 |    45363 |    41332 |     5758     14 |       11 |       15
1568.11/1568.71	c 71.2s |      13 |    46930 |    42732 |     5758     14 |       11 |       15
1570.10/1570.81	c 73.3s |      13 |    48366 |    44032 |     5758     15 |       11 |       15
1572.20/1572.86	c 75.4s |      13 |    49745 |    45332 |     5758     15 |       11 |       15
1574.20/1574.89	c 77.4s |      13 |    51033 |    46532 |     5758     15 |       11 |       15
1576.40/1577.04	c 79.5s |      13 |    52442 |    47832 |     5758     16 |       11 |       15
1578.50/1579.16	c 81.7s |      13 |    53717 |    49032 |     5758     16 |       11 |       15
1580.59/1581.21	c 83.7s |      13 |    55104 |    50332 |     5758     17 |       11 |       15
1582.69/1583.35	c 85.8s |      13 |    56721 |    51832 |     5758     17 |       11 |       15
1584.69/1585.39	c 87.9s |      13 |    58014 |    53032 |     5758     18 |       11 |       15
1586.80/1587.42	c 89.9s |      13 |    59319 |    54232 |     5758     18 |       11 |       15
1588.79/1589.46	c 92.0s |      13 |    60613 |    55432 |     6334     18 |       11 |       15
1590.89/1591.50	c 94.0s |      13 |    61781 |    56532 |     6334     19 |       11 |       15
1592.89/1593.53	c 96.0s |      13 |    63093 |    57732 |     6334     19 |       11 |       15
1593.99/1594.68	c 97.2s |      14 |    63756 |    58352 |     6334     19 |       11 |       15
1596.09/1596.76	c 99.3s |      14 |    65018 |    59552 |     6334     20 |       11 |       15
1598.29/1598.90	c  101s |      14 |    66489 |    60952 |     6334     20 |       11 |       15
1600.29/1600.90	c  103s |      14 |    67751 |    62152 |     6334     20 |       11 |       15
1602.39/1603.07	c  105s |      14 |    69114 |    63452 |     6334     21 |       11 |       15
1604.59/1605.24	c  107s |      14 |    70493 |    64752 |     6334     21 |       11 |       15
1606.69/1607.36	c  109s |      14 |    71793 |    65952 |     6334     21 |       11 |       15
1608.70/1609.39	c  111s |      14 |    73116 |    67152 |     6334     22 |       11 |       15
1610.79/1611.50	c  113s |      14 |    74532 |    68452 |     6334     22 |       11 |       15
1612.89/1613.55	c  116s |      14 |    75775 |    69652 |     6334     23 |       11 |       15
1615.09/1615.71	c  118s |      14 |    77269 |    71052 |     6334     23 |       11 |       15
1617.09/1617.78	c  120s |      14 |    78457 |    72152 |     6334     23 |       11 |       15
1619.29/1619.90	c  122s |      14 |    79616 |    73252 |     6334     24 |       11 |       15
1621.29/1621.97	c  124s |      14 |    80804 |    74352 |     6334     24 |       11 |       15
1623.49/1624.17	c  126s |      14 |    81949 |    75452 |     6334     24 |       11 |       15
1625.49/1626.20	c  128s |      14 |    83145 |    76552 |     6334     25 |       11 |       15
1627.59/1628.30	c  130s |      14 |    84384 |    77752 |     6334     25 |       11 |       15
1629.79/1630.45	c  132s |      14 |    85669 |    78952 |     6334     25 |       11 |       15
1631.90/1632.55	c  135s |      14 |    86843 |    80052 |     6334     26 |       11 |       15
1633.99/1634.62	c  137s |      14 |    88243 |    81352 |     6334     26 |       11 |       15
1636.09/1636.70	c  139s |      14 |    89628 |    82652 |     6334     26 |       11 |       15
1638.19/1638.87	c  141s |      14 |    91010 |    83952 |     6334     27 |       11 |       15
1640.28/1640.93	c  143s |      14 |    92300 |    85152 |     6334     27 |       11 |       15
1642.28/1642.94	c  145s |      14 |    93475 |    86252 |     6334     28 |       11 |       15
1644.38/1645.07	c  147s |      14 |    94785 |    87452 |     6334     28 |       11 |       15
1644.68/1645.32	c  147s |      15 |    94969 |    87632 |     6334     28 |       11 |       15
1646.78/1647.44	c  149s |      15 |    96282 |    88832 |     6334     28 |       11 |       15
1648.98/1649.62	c  152s |      15 |    97678 |    90132 |     6334     29 |       11 |       15
1651.08/1651.73	c  154s |      15 |    99216 |    91532 |     6334     29 |       11 |       15
1653.08/1653.78	c  156s |      15 |   100625 |    92832 |     6334     30 |       11 |       15
1655.08/1655.79	c  158s |      15 |   102047 |    94132 |     6334     30 |       11 |       15
1657.28/1657.93	c  160s |      15 |   103480 |    95432 |     6334     30 |       11 |       15
1659.39/1660.07	c  162s |      15 |   104901 |    96732 |     6334     31 |       11 |       15
1661.38/1662.09	c  164s |      15 |   106189 |    97932 |     6334     31 |       11 |       15
1663.48/1664.18	c  166s |      15 |   107487 |    99132 |     6334     32 |       11 |       15
1665.48/1666.19	c  168s |      15 |   108776 |   100332 |     6334     32 |       11 |       15
1667.58/1668.28	c  170s |      15 |   110031 |   101532 |     6334     32 |       11 |       15
1669.78/1670.42	c  172s |      15 |   111177 |   102632 |     6334     33 |       11 |       15
1671.78/1672.49	c  174s |      15 |   112325 |   103732 |     6334     33 |       11 |       15
1673.88/1674.56	c  177s |      15 |   113489 |   104832 |     6334     33 |       11 |       15
1676.08/1676.71	c  179s |      15 |   114645 |   105932 |     6334     34 |       11 |       15
1678.18/1678.84	c  181s |      15 |   115819 |   107032 |     6334     34 |       11 |       15
1680.38/1681.02	c  183s |      15 |   116986 |   108132 |     6334     34 |       11 |       15
1682.39/1683.04	c  185s |      15 |   118036 |   109132 |     6334     35 |       11 |       15
1684.48/1685.15	c  187s |      15 |   119326 |   110332 |     6334     35 |       11 |       15
1686.58/1687.26	c  189s |      15 |   120284 |   111232 |     6334     35 |       11 |       15
1688.68/1689.39	c  191s |      15 |   121350 |   112232 |     6334     36 |       11 |       15
1690.88/1691.54	c  194s |      15 |   122632 |   113432 |     6334     36 |       11 |       15
1692.88/1693.57	c  196s |      15 |   123803 |   114532 |     6334     36 |       11 |       15
1694.97/1695.69	c  198s |      15 |   125093 |   115732 |     6334     37 |       11 |       15
1697.07/1697.72	c  200s |      15 |   126415 |   116932 |     6334     37 |       11 |       15
1699.17/1699.88	c  202s |      15 |   127739 |   118132 |     6334     37 |       11 |       15
1701.27/1701.92	c  204s |      15 |   128986 |   119232 |     6334     38 |       11 |       15
1703.29/1703.97	c  206s |      15 |   130377 |   120532 |     6334     38 |       11 |       15
1705.38/1706.02	c  208s |      15 |   131652 |   121732 |     6334     38 |       11 |       15
1707.38/1708.07	c  210s |      15 |   132951 |   122932 |     6334     39 |       11 |       15
1709.48/1710.17	c  212s |      15 |   134368 |   124232 |     6334     39 |       11 |       15
1711.68/1712.35	c  214s |      15 |   135695 |   125432 |     6334     40 |       11 |       15
1713.68/1714.38	c  216s |      15 |   137018 |   126632 |     6334     40 |       11 |       15
1715.78/1716.42	c  218s |      15 |   138233 |   127732 |     6334     40 |       11 |       15
1717.78/1718.50	c  220s |      15 |   139367 |   128732 |     6334     41 |       11 |       15
1719.89/1720.56	c  223s |      15 |   140549 |   129832 |     6334     41 |       11 |       15
1721.88/1722.60	c  225s |      15 |   141831 |   131032 |     6334     41 |       11 |       15
1722.88/1723.54	c  226s |      16 |   142381 |   131552 |     6334     41 |       11 |       15
1724.98/1725.68	c  228s |      16 |   143572 |   132652 |     6334     42 |       11 |       15
1727.08/1727.77	c  230s |      16 |   144887 |   133852 |     6334     42 |       11 |       15
1729.08/1729.79	c  232s |      16 |   146213 |   135052 |     6334     43 |       11 |       15
1731.18/1731.88	c  234s |      16 |   147652 |   136352 |     6334     43 |       11 |       15
1733.28/1733.96	c  236s |      16 |   149031 |   137652 |     6334     43 |       11 |       15
1735.38/1736.05	c  238s |      16 |   150300 |   138852 |     6334     44 |       11 |       15
1737.49/1738.16	c  240s |      16 |   151914 |   140352 |     6334     44 |       11 |       15
1739.48/1740.19	c  242s |      16 |   153334 |   141652 |     6334     45 |       11 |       15
1741.58/1742.29	c  244s |      16 |   154863 |   143052 |     6334     45 |       11 |       15
1743.67/1744.36	c  246s |      16 |   156328 |   144452 |     6334     45 |       11 |       15
1745.67/1746.37	c  248s |      16 |   157746 |   145752 |     6334     46 |       11 |       15
1747.77/1748.49	c  250s |      16 |   159188 |   147052 |     6334     46 |       11 |       15
1749.87/1750.52	c  253s |      16 |   160531 |   148252 |     6334     47 |       11 |       15
1751.87/1752.56	c  255s |      16 |   161875 |   149452 |     6334     47 |       11 |       15
1754.07/1754.74	c  257s |      16 |   163313 |   150752 |     6334     47 |       11 |       15
1756.18/1756.87	c  259s |      16 |   164729 |   152052 |     6334     48 |       11 |       15
1758.17/1758.91	c  261s |      16 |   166188 |   153352 |     6334     48 |       11 |       15
1760.37/1761.02	c  263s |      16 |   167580 |   154652 |     6334     49 |       11 |       15
1762.37/1763.05	c  265s |      16 |   168903 |   155852 |     6334     49 |       11 |       15
1764.47/1765.15	c  267s |      16 |   170248 |   157052 |     6334     49 |       11 |       15
1766.47/1767.17	c  269s |      16 |   171558 |   158252 |     6334     50 |       11 |       15
1768.67/1769.32	c  271s |      16 |   172951 |   159552 |     6334     50 |       11 |       15
1770.67/1771.32	c  273s |      16 |   174297 |   160752 |     6334     50 |       11 |       15
1772.68/1773.35	c  275s |      16 |   175615 |   161952 |     6334     51 |       11 |       15
1774.78/1775.46	c  277s |      16 |   176978 |   163252 |     6334     51 |       11 |       15
1776.77/1777.48	c  279s |      16 |   178075 |   164252 |     6334     52 |       11 |       15
1778.87/1779.52	c  282s |      16 |   179248 |   165352 |     6334     52 |       11 |       15
1780.87/1781.55	c  284s |      16 |   180426 |   166452 |     6334     52 |       11 |       15
1783.07/1783.71	c  286s |      16 |   181614 |   167552 |     6334     53 |       11 |       15
1785.16/1785.82	c  288s |      16 |   182935 |   168752 |     6334     53 |       11 |       15
1787.26/1787.99	c  290s |      16 |   184201 |   169952 |     6334     53 |       11 |       15
1789.36/1790.04	c  292s |      16 |   185165 |   170852 |     6334     54 |       11 |       15
1791.37/1792.09	c  294s |      16 |   186226 |   171852 |     6334     54 |       11 |       15
1793.57/1794.27	c  296s |      16 |   187511 |   173052 |     6334     54 |       11 |       15
1795.56/1796.27	c  298s |      16 |   188684 |   174152 |     6334     55 |       11 |       15
1797.76/1798.47	c  300s |      16 |   189976 |   175352 |     6334     55 |       11 |       15
1799.86/1800.51	c  303s |      16 |   191245 |   176552 |     6334     55 |       11 |       15

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=1403
running on 8 cores: 4-7,12-15

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.05 2.10 2.08 3/261 1406
/proc/meminfo: memFree=30846144/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=839100 CPUtime=0 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 3153 0 0 0 0 0 0 0 20 0 4 0 106512335 859238400 3003 33554432000 4194304 16246674 140736440218720 140736440218144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 210543 3012 441 2943 0 207437 0
[pid=1406/tid=1407] ppid=1403 vsize=1175996 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1204219904 4320 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1181116 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1209462784 4339 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1185212 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106512336 1213657088 4356 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.05 2.10 2.08 3/261 1406
/proc/meminfo: memFree=30846144/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1220164 CPUtime=0.08 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 29359 0 0 0 4 4 0 0 20 0 4 0 106512335 1249447936 29148 33554432000 4194304 16246674 140736440218720 140736440218032 13191557 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 305041 29159 833 2943 0 301935 0
[pid=1406/tid=1407] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 29164 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 29171 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 29179 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200592 s]
/proc/loadavg: 2.05 2.10 2.08 3/261 1406
/proc/meminfo: memFree=30846144/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1220164 CPUtime=0.18 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 52811 0 0 0 10 8 0 0 20 0 4 0 106512335 1249447936 52600 33554432000 4194304 16246674 140736440218720 140736440218032 12874965 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 305041 52611 833 2943 0 301935 0
[pid=1406/tid=1407] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 52617 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 52622 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 52630 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.300474 s]
/proc/loadavg: 2.05 2.10 2.08 3/261 1406
/proc/meminfo: memFree=30846144/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1220164 CPUtime=0.29 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 65081 0 0 0 19 10 0 0 20 0 4 0 106512335 1249447936 64869 33554432000 4194304 16246674 140736440218720 140736440218032 5602147 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 305041 64871 886 2943 0 301935 0
[pid=1406/tid=1407] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 64872 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 64873 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 64875 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700403 s]
/proc/loadavg: 2.05 2.10 2.08 3/261 1406
/proc/meminfo: memFree=30846144/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1220164 CPUtime=0.69 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 82641 0 0 0 57 12 0 0 20 0 4 0 106512335 1249447936 82429 33554432000 4194304 16246674 140736440218720 140736440200640 12874965 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 305041 82433 887 2943 0 301935 0
[pid=1406/tid=1407] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 82435 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 82436 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 82438 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50041 s]
/proc/loadavg: 2.05 2.10 2.08 3/265 1410
/proc/meminfo: memFree=30437768/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1220164 CPUtime=1.49 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 125256 0 0 0 132 17 0 0 20 0 4 0 106512335 1249447936 125044 33554432000 4194304 16246674 140736440218720 140736440200640 5582293 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 305041 125046 887 2943 0 301935 0
[pid=1406/tid=1407] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 125046 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 125047 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 125048 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10041 s]
/proc/loadavg: 2.05 2.10 2.08 3/265 1410
/proc/meminfo: memFree=30195844/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1220164 CPUtime=3.09 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 213540 0 0 0 279 30 0 0 20 0 4 0 106512335 1249447936 213328 33554432000 4194304 16246674 140736440218720 140736440201720 5602895 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 305041 213332 904 2943 0 301935 0
[pid=1406/tid=1407] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 213333 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 213335 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106512336 1249447936 213337 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1220164

[startup+6.30041 s]
/proc/loadavg: 2.05 2.09 2.08 3/265 1410
/proc/meminfo: memFree=29797748/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1284676 CPUtime=6.29 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 262207 0 0 0 593 36 0 0 20 0 4 0 106512335 1315508224 261995 33554432000 4194304 16246674 140736440218720 140736440200640 12415766 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 321169 261995 910 2943 0 318063 0
[pid=1406/tid=1407] ppid=1403 vsize=1284676 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1315508224 261995 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1284676 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1315508224 261995 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1284676 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1315508224 261995 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1284676

[startup+12.7004 s]
/proc/loadavg: 2.04 2.09 2.08 3/265 1410
/proc/meminfo: memFree=29786512/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1304132 CPUtime=12.68 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 266057 0 0 0 1232 36 0 0 20 0 4 0 106512335 1335431168 265845 33554432000 4194304 16246674 140736440218720 140736440200640 13759916 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 326033 265848 913 2943 0 322927 0
[pid=1406/tid=1407] ppid=1403 vsize=1304132 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1335431168 265851 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1304132 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1335431168 265853 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1304132 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1335431168 265855 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1304132

[startup+25.5005 s]
/proc/loadavg: 2.03 2.09 2.08 3/265 1411
/proc/meminfo: memFree=29775696/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1308228 CPUtime=25.49 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 268108 0 0 0 2512 37 0 0 20 0 4 0 106512335 1339625472 267896 33554432000 4194304 16246674 140736440218720 140736440200640 5823408 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 327057 267896 913 2943 0 323951 0
[pid=1406/tid=1407] ppid=1403 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1339625472 267896 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1339625472 267896 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1339625472 267896 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.14 2.11 2.09 3/265 1411
/proc/meminfo: memFree=29774176/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1309252 CPUtime=51.08 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 268528 0 0 0 5071 37 0 0 20 0 4 0 106512335 1340674048 268316 33554432000 4194304 16246674 140736440218720 140736440200640 12415827 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 327313 268316 914 2943 0 324207 0
[pid=1406/tid=1407] ppid=1403 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1340674048 268316 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1340674048 268316 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1340674048 268316 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.13 2.11 2.09 3/266 1415
/proc/meminfo: memFree=29764820/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1317444 CPUtime=102.28 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 270576 0 0 0 10191 37 0 0 20 0 4 0 106512335 1349062656 270364 33554432000 4194304 16246674 140736440218720 140736440200640 12415740 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 329361 270364 914 2943 0 326255 0
[pid=1406/tid=1407] ppid=1403 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1349062656 270364 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1349062656 270364 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1349062656 270364 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/265 1471
/proc/meminfo: memFree=29721828/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1330756 CPUtime=1361.76 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274325 0 0 0 136132 44 0 0 20 0 4 0 106512335 1362694144 273953 33554432000 4194304 16246674 140736440218720 140736440200640 5600076 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 332689 273953 919 2943 0 329583 0
[pid=1406/tid=1407] ppid=1403 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1362694144 273953 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1362694144 273953 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1362694144 273953 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.01 3/265 1472
/proc/meminfo: memFree=29719996/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1421.73 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274869 0 0 0 142129 44 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 13943608 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/265 1473
/proc/meminfo: memFree=29720020/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1481.72 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274871 0 0 0 148127 45 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 12415827 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.07 2.04 2.01 3/265 1474
/proc/meminfo: memFree=29720560/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1541.72 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274871 0 0 0 154127 45 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 12415827 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/265 1476
/proc/meminfo: memFree=29719936/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1601.69 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274871 0 0 0 160124 45 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 5601651 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/265 1527
/proc/meminfo: memFree=29764956/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1661.68 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274871 0 0 0 166123 45 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 12415740 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/265 1528
/proc/meminfo: memFree=29764328/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1721.68 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274871 0 0 0 172122 46 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 12415827 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/265 1529
/proc/meminfo: memFree=29763948/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1781.67 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274871 0 0 0 178121 46 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 12415827 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.09 2.07 2.02 3/265 1530
/proc/meminfo: memFree=29763708/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1800.07 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274871 0 0 0 179961 46 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 5822604 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1332804

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.7 s]
/proc/loadavg: 2.09 2.07 2.02 3/265 1530
/proc/meminfo: memFree=29763708/32872528 swapFree=9196/9196
[pid=1406] ppid=1403 vsize=1332804 CPUtime=1800.07 cores=4-7,12-15
/proc/1406/stat : 1406 (toysat) R 1403 1406 25889 0 -1 4202496 274871 0 0 0 179961 46 0 0 20 0 4 0 106512335 1364791296 274465 33554432000 4194304 16246674 140736440218720 140736440200640 5822604 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1406/statm: 333201 274465 919 2943 0 330095 0
[pid=1406/tid=1407] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1407/stat : 1407 (toysat) S 1403 1406 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867762699504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=1406/tid=1408] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1408/stat : 1408 (toysat) S 1403 1406 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867752209648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=1406/tid=1409] ppid=1403 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/1406/task/1409/stat : 1409 (toysat) S 1403 1406 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106512336 1364791296 274465 33554432000 4194304 16246674 140736440218720 139867741736112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1799.62
CPU system time (s): 0.468928
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.468928
maximum resident set size= 1097860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274871
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= 466
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70383 second user time and 11.7972 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 22:58:23
IDJOB=4079655
IDBENCH=2944
IDSOLVER=2542
FILE ID=node132/4079655-1465246703
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3
RANDOM SEED=1113609168

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30845780 kB
Buffers:           54200 kB
Cached:           105664 kB
SwapCached:         3212 kB
Active:          1214104 kB
Inactive:          89796 kB
Active(anon):    1143368 kB
Inactive(anon):     3236 kB
Active(file):      70736 kB
Inactive(file):    86560 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094540 kB
Dirty:             16488 kB
Writeback:             0 kB
AnonPages:       1151160 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             574136 kB
SReclaimable:      14436 kB
SUnreclaim:       559700 kB
KernelStack:        2248 kB
PageTables:         6920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1297704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node132 at 2016-06-06 23:28:24