Trace number 4100681

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship12s.opb
MD5SUMbde0c0fbe1d85bc08e3fa72426bea662
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables82890
Total number of constraints1037
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1037
Minimum length of a constraint30
Maximum length of a constraint1470
Number of terms in the objective function 82890
Biggest coefficient in the objective function 3868
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 594441
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 594441
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T04:29:14+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-4100681-1466216954.opb"]
0.00/0.01	c use --random-gen="445804133 3979375657 3013781295 2056232915 3373197838 3822909125 3198849253 476873540 1186855123 3734365467 699261715 885830804 3941239603 3679734652 887624316 3368016991 3747447864 1891662529 128828161 3797666519 430298438 873067711 3177409616 490253010 2904804055 1105263687 3163376000 3732683057 123345701 694162858 2511727730 2232202664 2422453208 1892099482 2160188634 2724630583 1662736064 1737928567 3789210671 1371501852 3678202470 2121557438 3666351524 4235610410 337585115 2013336219 2735460566 908932127 104013980 2677130304 2788900862 2201696713 2033356066 2582365818 2427455061 2821424439 723160689 1301561921 330147544 712573647 1052722474 4006505105 1035682475 2178976728 3922435945 1025651940 468164210 3068950522 3857066178 1169042050 382069459 3135796300 832129931 3374680511 1994610827 1223471024 2128040408 832975152 2084926806 3000075537 1644481868 3204253494 613316089 1510597112 1508343639 1128302128 2736970301 2660961967 442849341 2110735527 1651193478 821274881 1560395533 2869721231 2304163774 3206610670 42239988 311216243 2175213093 1401859645 3613049371 3573474245 904733374 4177798959 4278654833 4209962345 3599176559 3721501182 3825832413 4117546812 1354545099 3472644912 473613103 3246893728 373266017 1082620747 188569237 1718961508 3439493392 4265189340 3626495040 3691515733 6094810 984324576 2822740079 833456308 857236518 3204999176 1373960526 3226571579 369849308 712624437 2583953033 2309149329 2387534063 4246855939 3906837663 1425299655 4079241084 3349095549 39521899 2043541 1747959127 2748844189 192948593 685888945 700380169 2286913905 2181238679 340154233 3636409110 409023126 2562517469 3286529168 3469534773 3383313849 2958820881 2514845065 2042173550 879444827 677663551 2656864748 1719734394 3507493590 1692547030 1028511410 3117573511 1403484779 2294812079 1865137984 23390418 2827907992 1278179922 1263129377 1970806576 4189830192 1969919970 1910409748 2752185521 335860224 577007755 650563511 2224796783 792957899 3313690081 3766062565 937041645 2756639494 1723709673 1974509136 939909145 2146190157 653040460 577169424 95238219 1851286999 27870689 3113060098 1657829566 3316090684 947717596 4187293849 1166578057 3161165092 1012606878 2188238386 1635743964 696601009 4010713520 455307333 3274838188 3045094085 3646238347 4244545975 464694051 3300473217 1128061007 2219777914 1505026144 3557695844 2212400753 75741600 472749836 2539520138 2696170746 3144609161 2756990126 1724184048 1930518239 2331749748 105612712 2484061540 3088364055 3554559010 3957570260 1926197523 3126111330 3398230216 4289575230 60804599 2799457114 1625978630 1459750075 2364845678 1098926153 2793431039 3383052645 3915394472 437069935 1814177163 2723172001 1234717060 233970333 6790053 3241304009 1095953304 255 362436" option to reproduce the execution
0.49/0.59	c #vars 82890
0.49/0.59	c #constraints 1037
1.79/1.81	c BCD2: Hardening is enabled.
1.79/1.81	c BCD2: BiasedSearch is enabled.
1.79/1.81	c Solving starts ...
1.79/1.82	c ============================[ Search Statistics ]============================
1.79/1.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.79/1.82	c       |         |          |          |    Limit     GC | Var      | Constra 
1.79/1.82	c =============================================================================
1.79/1.83	c  0.0s |       0 |        0 |        0 |    28194      0 |    39297 |        0
1.99/2.09	c  0.3s |       1 |     3295 |      100 |    28194      0 |    39297 |      280
2.09/2.17	c  0.3s |       2 |     3561 |      250 |    31014      0 |    39297 |      280
2.20/2.26	c  0.4s |       3 |     4163 |      475 |    34116      0 |    39297 |      280
2.30/2.39	c  0.6s |       4 |     5115 |      813 |    37528      0 |    39297 |      280
2.49/2.55	c  0.7s |       5 |     6286 |     1320 |    41281      0 |    39297 |      280
2.69/2.79	c  1.0s |       6 |     8072 |     2081 |    49952      0 |    39297 |      280
3.09/3.15	c  1.3s |       7 |    10523 |     3223 |    54948      0 |    39297 |      280
3.69/3.73	c  1.9s |       8 |    16732 |     4936 |    60443      0 |    39297 |      280
4.88/4.91	c  3.1s |       9 |    19749 |     7506 |    66488      0 |    39297 |      280
7.09/7.12	c  5.3s |       9 |    25467 |     8406 |    66488      0 |    39297 |      280
9.19/9.29	c  7.5s |       9 |    27991 |     9406 |    66488      0 |    39297 |      280
11.39/11.48	c  9.6s |       9 |    30057 |    10406 |    66488      0 |    39297 |      280
13.49/13.56	c 11.7s |      10 |    31892 |    11361 |    73137      0 |    39297 |      280
15.59/15.63	c 13.8s |      10 |    34374 |    12261 |    73137      0 |    39297 |      280
17.59/17.67	c 15.8s |      10 |    36833 |    13261 |    73137      0 |    39297 |      280
19.79/19.86	c 18.0s |      10 |    39145 |    14361 |    73137      0 |    39297 |      280
21.79/21.89	c 20.1s |      10 |    40983 |    15461 |    73137      0 |    39297 |      280
24.09/24.13	c 22.3s |      10 |    42393 |    16361 |    73137      0 |    39297 |      280
26.19/26.28	c 24.4s |      11 |    43501 |    17144 |    80451      0 |    39297 |      280
28.28/28.35	c 26.5s |      11 |    47958 |    18744 |    80451      0 |    39297 |      280
30.28/30.36	c 28.5s |      11 |    49981 |    20744 |    80451      0 |    39297 |      280
32.38/32.41	c 30.6s |      11 |    53005 |    23744 |    80451      0 |    39297 |      280
33.78/33.84	c 32.0s |      12 |    55068 |    25819 |    88497      0 |    39297 |      280
35.78/35.85	c 34.0s |      12 |    57477 |    28119 |    88497      0 |    39297 |      280
37.88/37.92	c 36.1s |      12 |    59881 |    30519 |    88497      0 |    39297 |      280
39.88/39.94	c 38.1s |      12 |    61894 |    32519 |    88497      0 |    39297 |      280
41.98/42.00	c 40.2s |      12 |    63992 |    34619 |    88497      0 |    39297 |      280
43.88/44.00	c 42.2s |      12 |    65997 |    36619 |    88497      0 |    39297 |      280
45.98/46.03	c 44.2s |      12 |    67707 |    38319 |    88497      0 |    39297 |      280
46.58/46.63	c 44.8s |      13 |    68224 |    38832 |    97347      0 |    39297 |      280
48.58/48.64	c 46.8s |      13 |    78987 |    42132 |    97347      0 |    39297 |      280
50.59/50.65	c 48.8s |      13 |    87717 |    45632 |    97347      0 |    39297 |      280
52.58/52.68	c 50.8s |      13 |    95563 |    49032 |    97347      0 |    39297 |      280
54.68/54.74	c 52.9s |      13 |   103057 |    52232 |    97347      0 |    39297 |      280
56.68/56.77	c 54.9s |      13 |   110092 |    55332 |    97347      0 |    39297 |      280
58.68/58.78	c 56.9s |      13 |   116878 |    58032 |   107082      0 |    39297 |      280
58.98/59.05	c 57.2s |      14 |   117665 |    58352 |   107082      0 |    39297 |      280
61.08/61.10	c 59.3s |      14 |   123076 |    60652 |   107082      0 |    39297 |      280
63.08/63.17	c 61.3s |      14 |   130058 |    63652 |   107082      0 |    39297 |      280
65.18/65.24	c 63.4s |      14 |   136221 |    66352 |   107082      0 |    39297 |      280
67.28/67.31	c 65.5s |      14 |   141868 |    68952 |   107082      0 |    39297 |      280
69.28/69.38	c 67.5s |      14 |   147080 |    71452 |   107082      0 |    39297 |      280
71.28/71.39	c 69.6s |      14 |   152188 |    73852 |   107082      0 |    39297 |      280
73.38/73.43	c 71.6s |      14 |   157555 |    76252 |   107082      0 |    39297 |      280
75.38/75.48	c 73.6s |      14 |   162548 |    78652 |   107082      0 |    39297 |      280
77.48/77.52	c 75.7s |      14 |   167923 |    80852 |   107082      0 |    39297 |      280
79.58/79.64	c 77.8s |      14 |   173003 |    83052 |   107082      0 |    39297 |      280
81.68/81.70	c 79.9s |      14 |   177777 |    85052 |   107082      0 |    39297 |      280
83.68/83.77	c 81.9s |      14 |   182799 |    87152 |   117791      0 |    39297 |      280
84.18/84.26	c 82.4s |      15 |   183860 |    87632 |   117791      0 |    39297 |      280
86.27/86.34	c 84.5s |      15 |   187754 |    89132 |   117791      0 |    39297 |      280
88.27/88.36	c 86.5s |      15 |   191295 |    90832 |   117791      0 |    39297 |      280
90.37/90.41	c 88.6s |      15 |   194998 |    92632 |   117791      0 |    39297 |      280
92.38/92.50	c 90.7s |      15 |   199373 |    94732 |   117791      0 |    39297 |      280
94.47/94.58	c 92.7s |      15 |   202994 |    96432 |   117791      0 |    39297 |      280
96.57/96.67	c 94.8s |      15 |   206530 |    98332 |   117791      0 |    39297 |      280
98.67/98.73	c 96.9s |      15 |   210924 |   100332 |   117791      0 |    39297 |      280
100.77/100.85	c 99.0s |      15 |   215186 |   102432 |   117791      0 |    39297 |      280
102.87/102.94	c  101s |      15 |   218758 |   104232 |   117791      0 |    39297 |      280
104.97/105.05	c  103s |      15 |   222404 |   106032 |   117791      0 |    39297 |      280
107.07/107.14	c  105s |      15 |   225732 |   107632 |   117791      0 |    39297 |      280
109.07/109.20	c  107s |      15 |   229421 |   109332 |   117791      0 |    39297 |      280
111.27/111.30	c  109s |      15 |   232834 |   111032 |   117791      0 |    39297 |      280
113.28/113.36	c  111s |      15 |   235983 |   112632 |   117791      0 |    39297 |      280
115.37/115.44	c  113s |      15 |   240048 |   114532 |   117791      0 |    39297 |      280
117.37/117.45	c  115s |      15 |   243988 |   116632 |   117791      0 |    39297 |      280
119.37/119.46	c  117s |      15 |   248025 |   118732 |   117791      0 |    39297 |      280
121.37/121.49	c  119s |      15 |   252168 |   120632 |   117791      0 |    39297 |      280
123.47/123.57	c  121s |      15 |   255857 |   122632 |   117791      0 |    39297 |      280
125.57/125.69	c  123s |      15 |   259112 |   124232 |   117791      0 |    39297 |      280
127.67/127.71	c  125s |      15 |   262853 |   126032 |   117791      0 |    39297 |      280
129.67/129.75	c  127s |      15 |   266710 |   128032 |   117791      0 |    39297 |      280
131.67/131.76	c  129s |      15 |   269814 |   129632 |   117791      0 |    39297 |      280
133.77/133.87	c  132s |      15 |   273572 |   131432 |   129571      0 |    39297 |      280
133.97/134.01	c  132s |      16 |   273838 |   131552 |   129571      0 |    39297 |      280
136.07/136.10	c  134s |      16 |   276296 |   132652 |   129571      0 |    39297 |      280
138.07/138.18	c  136s |      16 |   280012 |   134352 |   129571      0 |    39297 |      280
140.16/140.22	c  138s |      16 |   283893 |   136152 |   129571      0 |    39297 |      280
142.26/142.31	c  140s |      16 |   287107 |   137752 |   129571      0 |    39297 |      280
144.26/144.31	c  142s |      16 |   289804 |   139152 |   129571      0 |    39297 |      280
146.27/146.39	c  144s |      16 |   292546 |   140552 |   129571      0 |    39297 |      280
148.36/148.41	c  146s |      16 |   295277 |   141952 |   129571      0 |    39297 |      280
150.36/150.47	c  148s |      16 |   297972 |   143452 |   129571      0 |    39297 |      280
152.46/152.59	c  150s |      16 |   300741 |   144752 |   129571      0 |    39297 |      280
154.56/154.61	c  152s |      16 |   303119 |   146052 |   129571      0 |    39297 |      280
156.56/156.69	c  154s |      16 |   306671 |   147752 |   129571      0 |    39297 |      280
158.76/158.80	c  156s |      16 |   309457 |   149252 |   129571      0 |    39297 |      280
160.86/160.92	c  159s |      16 |   311913 |   150652 |   129571      0 |    39297 |      280
162.96/163.02	c  161s |      16 |   314740 |   152152 |   129571      0 |    39297 |      280
164.97/165.08	c  163s |      16 |   317202 |   153652 |   129571      0 |    39297 |      280
167.06/167.11	c  165s |      16 |   319906 |   155152 |   129571      0 |    39297 |      280
169.06/169.17	c  167s |      16 |   322390 |   156552 |   129571      0 |    39297 |      280
171.16/171.24	c  169s |      16 |   325306 |   158052 |   129571      0 |    39297 |      280
173.26/173.34	c  171s |      16 |   327757 |   159452 |   129571      0 |    39297 |      280
175.36/175.41	c  173s |      16 |   330325 |   160852 |   129571      0 |    39297 |      280
177.36/177.46	c  175s |      16 |   332947 |   162352 |   129571      0 |    39297 |      280
179.46/179.56	c  177s |      16 |   335493 |   163952 |   129571      0 |    39297 |      280
181.56/181.68	c  179s |      16 |   337993 |   165352 |   129571      0 |    39297 |      280
183.66/183.78	c  181s |      16 |   340479 |   166852 |   129571      0 |    39297 |      280
185.76/185.82	c  183s |      16 |   342986 |   168252 |   129571      0 |    39297 |      280
189.17/189.30	c  187s |      16 |   344451 |   169152 |   129571      1 |    39297 |      280
191.26/191.37	c  189s |      16 |   346477 |   170352 |   129571      1 |    39297 |      280
193.36/193.41	c  191s |      16 |   349545 |   172152 |   129571      1 |    39297 |      280
199.07/199.20	c  197s |      16 |   352108 |   173652 |   129571      1 |    39297 |      280
201.16/201.30	c  199s |      16 |   355211 |   174952 |   129571      1 |    39297 |      280
203.26/203.31	c  201s |      16 |   358352 |   176652 |   129571      1 |    39297 |      280
205.36/205.43	c  203s |      16 |   361230 |   178052 |   129571      1 |    39297 |      280
207.46/207.51	c  205s |      16 |   364344 |   179452 |   129571      1 |    39297 |      280
209.46/209.57	c  207s |      16 |   367085 |   180852 |   129571      1 |    39297 |      280
211.56/211.65	c  209s |      16 |   370863 |   182752 |   129571      1 |    39297 |      280
213.66/213.72	c  211s |      16 |   374443 |   184552 |   129571      1 |    39297 |      280
215.67/215.78	c  213s |      16 |   377615 |   186052 |   129571      1 |    39297 |      280
217.66/217.79	c  215s |      16 |   380600 |   187552 |   129571      1 |    39297 |      280
219.76/219.81	c  217s |      16 |   383320 |   188852 |   129571      1 |    39297 |      280
221.76/221.82	c  219s |      16 |   386796 |   190652 |   129571      1 |    39297 |      280
223.86/223.92	c  222s |      16 |   390308 |   192352 |   129571      1 |    39297 |      280
225.96/226.05	c  224s |      16 |   393258 |   193852 |   129571      1 |    39297 |      280
228.06/228.10	c  226s |      16 |   395813 |   195352 |   129571      1 |    39297 |      280
230.16/230.23	c  228s |      16 |   398761 |   196852 |   142529      1 |    39297 |      280
230.86/230.96	c  229s |      17 |   399914 |   197432 |   142529      1 |    39297 |      280
235.46/235.59	c  233s |      17 |   401160 |   198032 |   142529      1 |    39297 |      280
237.56/237.62	c  235s |      17 |   404595 |   199632 |   142529      1 |    39297 |      280
239.55/239.64	c  237s |      17 |   407691 |   201232 |   142529      1 |    39297 |      280
241.65/241.78	c  239s |      17 |   410970 |   202732 |   142529      1 |    39297 |      280
243.75/243.89	c  242s |      17 |   414265 |   204332 |   142529      1 |    39297 |      280
245.85/245.93	c  244s |      17 |   417503 |   205832 |   142529      1 |    39297 |      280
247.95/248.07	c  246s |      17 |   420662 |   207532 |   142529      1 |    39297 |      280
250.05/250.16	c  248s |      17 |   423440 |   208932 |   142529      1 |    39297 |      280
252.15/252.29	c  250s |      17 |   426454 |   210532 |   142529      1 |    39297 |      280
254.25/254.38	c  252s |      17 |   429692 |   212232 |   142529      1 |    39297 |      280
256.35/256.41	c  254s |      17 |   432371 |   213532 |   142529      1 |    39297 |      280
258.35/258.45	c  256s |      17 |   435212 |   215032 |   142529      1 |    39297 |      280
260.45/260.55	c  258s |      17 |   438214 |   216632 |   142529      1 |    39297 |      280
262.55/262.68	c  260s |      17 |   441179 |   218132 |   142529      1 |    39297 |      280
264.64/264.76	c  262s |      17 |   444872 |   219832 |   142529      1 |    39297 |      280
266.74/266.87	c  265s |      17 |   448378 |   221532 |   142529      1 |    39297 |      280
268.94/269.01	c  267s |      17 |   450950 |   223032 |   142529      1 |    39297 |      280
270.94/271.07	c  269s |      17 |   453974 |   224432 |   142529      1 |    39297 |      280
273.04/273.11	c  271s |      17 |   456966 |   226032 |   142529      1 |    39297 |      280
275.05/275.16	c  273s |      17 |   459893 |   227532 |   142529      1 |    39297 |      280
277.04/277.19	c  275s |      17 |   462691 |   228832 |   142529      1 |    39297 |      280
279.14/279.29	c  277s |      17 |   465718 |   230232 |   142529      1 |    39297 |      280
281.24/281.39	c  279s |      17 |   469039 |   231632 |   142529      1 |    39297 |      280
283.34/283.46	c  281s |      17 |   471929 |   232932 |   142529      1 |    39297 |      280
285.44/285.52	c  283s |      17 |   474965 |   234232 |   142529      1 |    39297 |      280
287.54/287.67	c  285s |      17 |   477735 |   235532 |   142529      1 |    39297 |      280
289.64/289.73	c  287s |      17 |   480422 |   236732 |   142529      1 |    39297 |      280
291.64/291.77	c  289s |      17 |   483504 |   238132 |   142529      1 |    39297 |      280
293.65/293.79	c  291s |      17 |   486594 |   239632 |   142529      1 |    39297 |      280
295.74/295.85	c  294s |      17 |   489759 |   241232 |   142529      1 |    39297 |      280
297.84/297.92	c  296s |      17 |   493329 |   243032 |   142529      1 |    39297 |      280
299.84/299.99	c  298s |      17 |   496603 |   244732 |   142529      1 |    39297 |      280
301.94/302.05	c  300s |      17 |   500269 |   246432 |   142529      1 |    39297 |      280
304.04/304.10	c  302s |      17 |   503299 |   247932 |   142529      1 |    39297 |      280
306.14/306.25	c  304s |      17 |   506174 |   249432 |   142529      1 |    39297 |      280
308.24/308.39	c  306s |      17 |   509930 |   251232 |   142529      1 |    39297 |      280
310.34/310.48	c  308s |      17 |   513549 |   252932 |   142529      1 |    39297 |      280
312.44/312.53	c  310s |      17 |   517061 |   254632 |   142529      1 |    39297 |      280
314.44/314.56	c  312s |      17 |   519905 |   256232 |   142529      1 |    39297 |      280
316.54/316.60	c  314s |      17 |   522290 |   257432 |   142529      1 |    39297 |      280
318.54/318.61	c  316s |      17 |   524164 |   258432 |   142529      1 |    39297 |      280
320.54/320.62	c  318s |      17 |   527831 |   260032 |   142529      1 |    39297 |      280
322.54/322.66	c  320s |      17 |   530567 |   261532 |   142529      1 |    39297 |      280
324.73/324.81	c  322s |      17 |   533493 |   263032 |   142529      1 |    39297 |      280
326.74/326.87	c  325s |      17 |   536995 |   264732 |   142529      1 |    39297 |      280
328.85/328.93	c  327s |      17 |   540170 |   266232 |   142529      1 |    39297 |      280
333.24/333.37	c  331s |      17 |   541194 |   266732 |   142529      2 |    39297 |      280
335.34/335.44	c  333s |      17 |   542261 |   267232 |   142529      2 |    39297 |      280
337.34/337.46	c  335s |      17 |   545528 |   268932 |   142529      2 |    39297 |      280
339.44/339.55	c  337s |      17 |   549167 |   270832 |   142529      2 |    39297 |      280
341.54/341.60	c  339s |      17 |   552930 |   272632 |   142529      2 |    39297 |      280
343.53/343.66	c  341s |      17 |   556520 |   274332 |   142529      2 |    39297 |      280
345.54/345.67	c  343s |      17 |   559953 |   276132 |   142529      2 |    39297 |      280
347.64/347.73	c  345s |      17 |   563348 |   277932 |   142529      2 |    39297 |      280
349.63/349.80	c  347s |      17 |   566751 |   279632 |   142529      2 |    39297 |      280
351.73/351.80	c  349s |      17 |   569939 |   281332 |   142529      2 |    39297 |      280
373.43/373.55	c  371s |      17 |   572843 |   282832 |   142529      2 |    39297 |      280
375.43/375.58	c  373s |      17 |   576093 |   284332 |   142529      2 |    39297 |      280
377.53/377.61	c  375s |      17 |   579266 |   286032 |   142529      2 |    39297 |      280
379.54/379.63	c  377s |      17 |   580415 |   286632 |   142529      2 |    39297 |      280
381.63/381.73	c  379s |      17 |   583783 |   288232 |   142529      2 |    39297 |      280
383.73/383.83	c  381s |      17 |   587038 |   289932 |   142529      2 |    39297 |      280
385.83/385.93	c  384s |      17 |   590576 |   291632 |   142529      2 |    39297 |      280
387.83/387.94	c  386s |      17 |   593765 |   293232 |   142529      2 |    39297 |      280
389.83/389.97	c  388s |      17 |   596986 |   294832 |   156782      2 |    39297 |      280
391.63/391.72	c  389s |      18 |   599914 |   296252 |   156782      2 |    39297 |      280
393.63/393.80	c  391s |      18 |   602449 |   297452 |   156782      2 |    39297 |      280
395.83/395.90	c  394s |      18 |   605803 |   299052 |   156782      2 |    39297 |      280
397.93/398.02	c  396s |      18 |   608870 |   300652 |   156782      2 |    39297 |      280
399.93/400.09	c  398s |      18 |   612000 |   302152 |   156782      2 |    39297 |      280
402.02/402.13	c  400s |      18 |   614960 |   303652 |   156782      2 |    39297 |      280
404.12/404.22	c  402s |      18 |   618248 |   305252 |   156782      2 |    39297 |      280
406.12/406.29	c  404s |      18 |   621640 |   306752 |   156782      2 |    39297 |      280
408.22/408.30	c  406s |      18 |   624790 |   308252 |   156782      2 |    39297 |      280
410.23/410.36	c  408s |      18 |   627574 |   309752 |   156782      2 |    39297 |      280
412.22/412.38	c  410s |      18 |   630418 |   311152 |   156782      2 |    39297 |      280
414.42/414.50	c  412s |      18 |   633098 |   312552 |   156782      2 |    39297 |      280
416.42/416.53	c  414s |      18 |   635738 |   313952 |   156782      2 |    39297 |      280
418.42/418.58	c  416s |      18 |   638328 |   315352 |   156782      2 |    39297 |      280
420.52/420.65	c  418s |      18 |   641362 |   316752 |   156782      2 |    39297 |      280
422.72/422.81	c  420s |      18 |   644249 |   318152 |   156782      2 |    39297 |      280
424.82/424.95	c  423s |      18 |   647133 |   319552 |   156782      2 |    39297 |      280
426.83/426.98	c  425s |      18 |   649813 |   320852 |   156782      2 |    39297 |      280
428.92/429.09	c  427s |      18 |   652736 |   322152 |   156782      2 |    39297 |      280
431.12/431.23	c  429s |      18 |   655539 |   323452 |   156782      2 |    39297 |      280
434.52/434.65	c  432s |      18 |   657450 |   324352 |   156782      2 |    39297 |      280
436.62/436.79	c  434s |      18 |   660449 |   325652 |   156782      2 |    39297 |      280
438.72/438.85	c  437s |      18 |   663145 |   326952 |   156782      2 |    39297 |      280
440.82/440.96	c  439s |      18 |   665787 |   328352 |   156782      2 |    39297 |      280
442.92/443.01	c  441s |      18 |   669041 |   329752 |   156782      2 |    39297 |      280
444.92/445.04	c  443s |      18 |   671704 |   331152 |   156782      2 |    39297 |      280
447.02/447.16	c  445s |      18 |   674510 |   332452 |   156782      2 |    39297 |      280
449.02/449.16	c  447s |      18 |   677079 |   333752 |   156782      2 |    39297 |      280
451.12/451.25	c  449s |      18 |   680072 |   335152 |   156782      2 |    39297 |      280
453.13/453.27	c  451s |      18 |   683058 |   336552 |   156782      2 |    39297 |      280
455.22/455.40	c  453s |      18 |   685717 |   337952 |   156782      2 |    39297 |      280
457.32/457.41	c  455s |      18 |   688205 |   339252 |   156782      2 |    39297 |      280
459.32/459.43	c  457s |      18 |   690998 |   340552 |   156782      2 |    39297 |      280
461.42/461.54	c  459s |      18 |   693917 |   341952 |   156782      2 |    39297 |      280
463.42/463.57	c  461s |      18 |   696782 |   343252 |   156782      2 |    39297 |      280
465.52/465.67	c  463s |      18 |   699738 |   344652 |   156782      2 |    39297 |      280
467.72/467.80	c  465s |      18 |   702418 |   345952 |   156782      2 |    39297 |      280
469.63/469.80	c  467s |      18 |   705262 |   347252 |   156782      2 |    39297 |      280
471.83/471.91	c  470s |      18 |   708459 |   348652 |   156782      2 |    39297 |      280
473.92/474.05	c  472s |      18 |   711369 |   350052 |   156782      2 |    39297 |      280
476.02/476.13	c  474s |      18 |   714264 |   351352 |   156782      2 |    39297 |      280
478.02/478.16	c  476s |      18 |   717186 |   352652 |   156782      2 |    39297 |      280
480.12/480.23	c  478s |      18 |   719927 |   353952 |   156782      2 |    39297 |      280
482.12/482.27	c  480s |      18 |   722586 |   355152 |   156782      2 |    39297 |      280
484.22/484.36	c  482s |      18 |   725105 |   356352 |   156782      2 |    39297 |      280
486.32/486.45	c  484s |      18 |   727826 |   357552 |   156782      2 |    39297 |      280
488.42/488.58	c  486s |      18 |   730592 |   358852 |   156782      2 |    39297 |      280
490.52/490.68	c  488s |      18 |   733165 |   360052 |   156782      2 |    39297 |      280
492.62/492.73	c  490s |      18 |   735595 |   361252 |   156782      2 |    39297 |      280
494.72/494.81	c  492s |      18 |   738118 |   362452 |   156782      2 |    39297 |      280
496.82/496.93	c  495s |      18 |   740661 |   363652 |   156782      2 |    39297 |      280
499.02/499.15	c  497s |      18 |   743194 |   364752 |   156782      2 |    39297 |      280
501.21/501.32	c  499s |      18 |   745127 |   365752 |   156782      2 |    39297 |      280
503.21/503.38	c  501s |      18 |   747033 |   366652 |   156782      2 |    39297 |      280
505.31/505.47	c  503s |      18 |   748923 |   367552 |   156782      2 |    39297 |      280
507.51/507.65	c  505s |      18 |   751276 |   368552 |   156782      2 |    39297 |      280
509.61/509.76	c  507s |      18 |   753364 |   369552 |   156782      2 |    39297 |      280
511.61/511.78	c  509s |      18 |   755273 |   370552 |   156782      2 |    39297 |      280
513.72/513.82	c  511s |      18 |   757137 |   371452 |   156782      2 |    39297 |      280
520.80/520.98	c  519s |      18 |   758220 |   371952 |   156782      3 |    39297 |      280
523.41/523.58	c  521s |      18 |   758420 |   372052 |   156782      3 |    39297 |      280
525.41/525.59	c  523s |      18 |   761530 |   373652 |   156782      3 |    39297 |      280
527.51/527.66	c  525s |      18 |   762541 |   374052 |   156782      3 |    39297 |      280
529.61/529.78	c  527s |      18 |   766039 |   375752 |   156782      3 |    39297 |      280
532.11/532.22	c  530s |      18 |   768344 |   376852 |   156782      3 |    39297 |      280
534.11/534.26	c  532s |      18 |   771616 |   378452 |   156782      3 |    39297 |      280
536.21/536.37	c  534s |      18 |   774809 |   380052 |   156782      3 |    39297 |      280
538.31/538.46	c  536s |      18 |   777895 |   381652 |   156782      3 |    39297 |      280
540.41/540.50	c  538s |      18 |   781041 |   383152 |   156782      3 |    39297 |      280
542.41/542.50	c  540s |      18 |   783600 |   384652 |   156782      3 |    39297 |      280
544.41/544.58	c  542s |      18 |   786596 |   386252 |   156782      3 |    39297 |      280
546.50/546.64	c  544s |      18 |   789476 |   387852 |   156782      3 |    39297 |      280
548.60/548.71	c  546s |      18 |   792398 |   389352 |   156782      3 |    39297 |      280
550.60/550.79	c  548s |      18 |   795219 |   390852 |   156782      3 |    39297 |      280
552.70/552.87	c  551s |      18 |   798119 |   392352 |   156782      3 |    39297 |      280
554.80/554.99	c  553s |      18 |   800873 |   393852 |   156782      3 |    39297 |      280
556.90/557.02	c  555s |      18 |   803679 |   395252 |   156782      3 |    39297 |      280
558.90/559.06	c  557s |      18 |   806415 |   396652 |   156782      3 |    39297 |      280
561.01/561.17	c  559s |      18 |   809042 |   398052 |   156782      3 |    39297 |      280
563.21/563.32	c  561s |      18 |   812131 |   399452 |   156782      3 |    39297 |      280
565.20/565.32	c  563s |      18 |   814573 |   400752 |   156782      3 |    39297 |      280
567.30/567.45	c  565s |      18 |   817344 |   402152 |   156782      3 |    39297 |      280
569.40/569.50	c  567s |      18 |   820019 |   403452 |   156782      3 |    39297 |      280
571.40/571.58	c  569s |      18 |   822731 |   404752 |   156782      3 |    39297 |      280
573.50/573.64	c  571s |      18 |   825003 |   405952 |   156782      3 |    39297 |      280
588.30/588.50	c  586s |      18 |   826501 |   406752 |   156782      3 |    39297 |      280
590.50/590.64	c  588s |      18 |   829457 |   408052 |   156782      3 |    39297 |      280
592.60/592.73	c  590s |      18 |   832164 |   409452 |   156782      3 |    39297 |      280
594.69/594.84	c  593s |      18 |   835123 |   410852 |   156782      3 |    39297 |      280
596.80/596.92	c  595s |      18 |   837796 |   412252 |   156782      3 |    39297 |      280
598.80/598.99	c  597s |      18 |   840767 |   413552 |   156782      3 |    39297 |      280
600.89/601.04	c  599s |      18 |   843353 |   414852 |   156782      3 |    39297 |      280
602.89/603.06	c  601s |      18 |   846034 |   416152 |   156782      3 |    39297 |      280
604.90/605.08	c  603s |      18 |   848947 |   417452 |   156782      3 |    39297 |      280
607.10/607.21	c  605s |      18 |   851904 |   418752 |   156782      3 |    39297 |      280
609.19/609.33	c  607s |      18 |   854778 |   420052 |   156782      3 |    39297 |      280
611.29/611.44	c  609s |      18 |   857809 |   421352 |   156782      3 |    39297 |      280
613.29/613.44	c  611s |      18 |   860441 |   422552 |   156782      3 |    39297 |      280
615.39/615.53	c  613s |      18 |   863060 |   423752 |   156782      3 |    39297 |      280
617.49/617.65	c  615s |      18 |   865929 |   424952 |   156782      3 |    39297 |      280
619.69/619.81	c  617s |      18 |   868555 |   426152 |   156782      3 |    39297 |      280
621.79/621.93	c  620s |      18 |   871150 |   427352 |   156782      3 |    39297 |      280
623.89/624.02	c  622s |      18 |   873876 |   428552 |   156782      3 |    39297 |      280
625.99/626.19	c  624s |      18 |   876743 |   429752 |   156782      3 |    39297 |      280
628.19/628.38	c  626s |      18 |   879279 |   430952 |   156782      3 |    39297 |      280
630.20/630.39	c  628s |      18 |   881838 |   432052 |   156782      3 |    39297 |      280
632.29/632.44	c  630s |      18 |   884424 |   433152 |   156782      3 |    39297 |      280
634.39/634.50	c  632s |      18 |   887019 |   434252 |   156782      3 |    39297 |      280
636.49/636.64	c  634s |      18 |   889702 |   435352 |   156782      3 |    39297 |      280
638.59/638.73	c  636s |      18 |   892170 |   436452 |   156782      3 |    39297 |      280
640.69/640.81	c  638s |      18 |   894542 |   437552 |   156782      3 |    39297 |      280
642.69/642.82	c  640s |      18 |   896546 |   438552 |   156782      3 |    39297 |      280
644.79/644.98	c  643s |      18 |   898902 |   439552 |   156782      3 |    39297 |      280
646.99/647.13	c  645s |      18 |   901085 |   440652 |   156782      3 |    39297 |      280
648.99/649.13	c  647s |      18 |   903092 |   441652 |   172461      3 |    39297 |      280
651.09/651.30	c  649s |      18 |   905729 |   442752 |   172461      3 |    39297 |      280
653.29/653.46	c  651s |      18 |   908168 |   443952 |   172461      3 |    39297 |      280
654.29/654.40	c  652s |      19 |   909218 |   444482 |   172461      3 |    39297 |      280
656.28/656.49	c  654s |      19 |   910510 |   445182 |   172461      3 |    39297 |      280
658.38/658.57	c  656s |      19 |   911655 |   445682 |   172461      3 |    39297 |      280
660.58/660.74	c  658s |      19 |   914321 |   446782 |   172461      3 |    39297 |      280
662.68/662.87	c  661s |      19 |   917762 |   448182 |   172461      3 |    39297 |      280
664.78/664.91	c  663s |      19 |   920863 |   449582 |   172461      3 |    39297 |      280
666.78/666.93	c  665s |      19 |   923268 |   450982 |   172461      3 |    39297 |      280
668.88/669.05	c  667s |      19 |   925822 |   452182 |   172461      3 |    39297 |      280
670.99/671.18	c  669s |      19 |   928568 |   453282 |   172461      3 |    39297 |      280
673.09/673.28	c  671s |      19 |   931131 |   454382 |   172461      3 |    39297 |      280
675.18/675.40	c  673s |      19 |   933312 |   455482 |   172461      3 |    39297 |      280
677.28/677.49	c  675s |      19 |   935842 |   456582 |   172461      3 |    39297 |      280
679.38/679.56	c  677s |      19 |   938122 |   457682 |   172461      3 |    39297 |      280
681.48/681.64	c  679s |      19 |   940261 |   458682 |   172461      3 |    39297 |      280
683.58/683.78	c  681s |      19 |   943021 |   459782 |   172461      3 |    39297 |      280
685.68/685.86	c  684s |      19 |   945600 |   460882 |   172461      3 |    39297 |      280
687.78/687.96	c  686s |      19 |   948021 |   461982 |   172461      3 |    39297 |      280
689.78/689.97	c  688s |      19 |   950327 |   463082 |   172461      3 |    39297 |      280
691.98/692.12	c  690s |      19 |   952704 |   464182 |   172461      3 |    39297 |      280
693.98/694.14	c  692s |      19 |   955160 |   465182 |   172461      3 |    39297 |      280
695.98/696.16	c  694s |      19 |   957669 |   466182 |   172461      3 |    39297 |      280
698.08/698.29	c  696s |      19 |   960191 |   467282 |   172461      3 |    39297 |      280
700.38/700.50	c  698s |      19 |   962931 |   468382 |   172461      3 |    39297 |      280
874.35/874.55	c  872s |      19 |   963276 |   468482 |   172461      3 |    39297 |      280
876.45/876.63	c  874s |      19 |   965230 |   469382 |   172461      3 |    39297 |      280
878.45/878.64	c  876s |      19 |   967238 |   470282 |   172461      3 |    39297 |      280
880.75/880.93	c  879s |      19 |   969334 |   471382 |   172461      3 |    39297 |      280
882.75/882.99	c  881s |      19 |   971098 |   472282 |   172461      3 |    39297 |      280
884.85/885.01	c  883s |      19 |   973152 |   473182 |   172461      3 |    39297 |      280
886.95/887.13	c  885s |      19 |   975362 |   474282 |   172461      3 |    39297 |      280
889.05/889.28	c  887s |      19 |   977315 |   475282 |   172461      3 |    39297 |      280
891.25/891.40	c  889s |      19 |   979437 |   476182 |   172461      3 |    39297 |      280
893.44/893.63	c  891s |      19 |   981645 |   477182 |   172461      3 |    39297 |      280
895.44/895.63	c  893s |      19 |   983219 |   477982 |   172461      3 |    39297 |      280
897.55/897.75	c  895s |      19 |   985052 |   478882 |   172461      3 |    39297 |      280
899.65/899.87	c  898s |      19 |   987000 |   479882 |   172461      3 |    39297 |      280
901.64/901.89	c  900s |      19 |   988493 |   480782 |   172461      3 |    39297 |      280
903.74/903.93	c  902s |      19 |   990799 |   481782 |   172461      3 |    39297 |      280
905.94/906.13	c  904s |      19 |   992364 |   482682 |   172461      3 |    39297 |      280
907.94/908.17	c  906s |      19 |   993950 |   483582 |   172461      3 |    39297 |      280
910.04/910.25	c  908s |      19 |   996034 |   484482 |   172461      3 |    39297 |      280
912.14/912.33	c  910s |      19 |   997782 |   485382 |   172461      3 |    39297 |      280
937.14/937.31	c  935s |      19 |   998564 |   485782 |   172461      4 |    39297 |      280
943.94/944.18	c  942s |      19 |  1000344 |   486682 |   172461      4 |    39297 |      280
946.04/946.29	c  944s |      19 |  1001009 |   486982 |   172461      4 |    39297 |      280
948.14/948.34	c  946s |      19 |  1003958 |   488482 |   172461      4 |    39297 |      280
950.24/950.44	c  948s |      19 |  1006395 |   489682 |   172461      4 |    39297 |      280
952.24/952.47	c  950s |      19 |  1008994 |   491182 |   172461      4 |    39297 |      280
954.44/954.60	c  952s |      19 |  1012523 |   492882 |   172461      4 |    39297 |      280
956.53/956.72	c  954s |      19 |  1015437 |   494382 |   172461      4 |    39297 |      280
958.63/958.85	c  957s |      19 |  1018517 |   495982 |   172461      4 |    39297 |      280
960.73/960.93	c  959s |      19 |  1021516 |   497482 |   172461      4 |    39297 |      280
962.83/963.00	c  961s |      19 |  1024638 |   498982 |   172461      4 |    39297 |      280
964.83/965.08	c  963s |      19 |  1028006 |   500482 |   172461      4 |    39297 |      280
966.83/967.08	c  965s |      19 |  1031043 |   501882 |   172461      4 |    39297 |      280
968.93/969.14	c  967s |      19 |  1034115 |   503282 |   172461      4 |    39297 |      280
970.93/971.15	c  969s |      19 |  1037143 |   504682 |   172461      4 |    39297 |      280
973.13/973.30	c  971s |      19 |  1040274 |   506082 |   172461      4 |    39297 |      280
975.12/975.30	c  973s |      19 |  1042933 |   507382 |   172461      4 |    39297 |      280
977.22/977.43	c  975s |      19 |  1045610 |   508682 |   172461      4 |    39297 |      280
992.91/993.20	c  991s |      19 |  1047192 |   509382 |   172461      4 |    39297 |      280
995.01/995.29	c  993s |      19 |  1049915 |   510582 |   172461      4 |    39297 |      280
997.21/997.45	c  995s |      19 |  1052930 |   511982 |   172461      4 |    39297 |      280
999.21/999.46	c  997s |      19 |  1055651 |   513282 |   172461      4 |    39297 |      280
1001.31/1001.54	c  999s |      19 |  1058771 |   514682 |   172461      4 |    39297 |      280
1003.52/1003.72	c 1001s |      19 |  1061978 |   516182 |   172461      4 |    39297 |      280
1005.62/1005.89	c 1004s |      19 |  1064597 |   517482 |   172461      4 |    39297 |      280
1007.72/1007.98	c 1006s |      19 |  1067133 |   518782 |   172461      4 |    39297 |      280
1009.73/1009.99	c 1008s |      19 |  1070075 |   519982 |   172461      4 |    39297 |      280
1011.83/1012.01	c 1010s |      19 |  1072246 |   521182 |   172461      4 |    39297 |      280
1013.92/1014.12	c 1012s |      19 |  1074643 |   522382 |   172461      4 |    39297 |      280
1016.02/1016.23	c 1014s |      19 |  1077150 |   523682 |   172461      4 |    39297 |      280
1018.12/1018.36	c 1016s |      19 |  1080061 |   524982 |   172461      4 |    39297 |      280
1020.12/1020.38	c 1018s |      19 |  1082696 |   526182 |   172461      4 |    39297 |      280
1022.32/1022.54	c 1020s |      19 |  1085258 |   527382 |   172461      4 |    39297 |      280
1024.42/1024.65	c 1022s |      19 |  1087822 |   528682 |   172461      4 |    39297 |      280
1026.62/1026.80	c 1024s |      19 |  1090768 |   529982 |   172461      4 |    39297 |      280
1028.62/1028.80	c 1026s |      19 |  1093266 |   531082 |   172461      4 |    39297 |      280
1030.62/1030.84	c 1029s |      19 |  1096041 |   532282 |   172461      4 |    39297 |      280
1032.72/1033.00	c 1031s |      19 |  1098572 |   533582 |   172461      4 |    39297 |      280
1034.82/1035.07	c 1033s |      19 |  1101171 |   534782 |   172461      4 |    39297 |      280
1036.92/1037.15	c 1035s |      19 |  1103682 |   535982 |   172461      4 |    39297 |      280
1039.02/1039.20	c 1037s |      19 |  1106001 |   537182 |   172461      4 |    39297 |      280
1041.01/1041.22	c 1039s |      19 |  1108195 |   538282 |   172461      4 |    39297 |      280
1043.21/1043.41	c 1041s |      19 |  1110487 |   539482 |   172461      4 |    39297 |      280
1045.21/1045.46	c 1043s |      19 |  1112836 |   540582 |   172461      4 |    39297 |      280
1047.31/1047.51	c 1045s |      19 |  1114975 |   541682 |   172461      4 |    39297 |      280
1049.32/1049.55	c 1047s |      19 |  1117205 |   542782 |   172461      4 |    39297 |      280
1051.41/1051.63	c 1049s |      19 |  1119498 |   543882 |   172461      4 |    39297 |      280
1053.51/1053.70	c 1051s |      19 |  1121668 |   544982 |   172461      4 |    39297 |      280
1055.51/1055.78	c 1053s |      19 |  1123783 |   546082 |   172461      4 |    39297 |      280
1057.61/1057.83	c 1055s |      19 |  1126003 |   547082 |   172461      4 |    39297 |      280
1059.61/1059.87	c 1058s |      19 |  1128351 |   548082 |   172461      4 |    39297 |      280
1061.70/1061.91	c 1060s |      19 |  1130212 |   549082 |   172461      4 |    39297 |      280
1063.70/1063.91	c 1062s |      19 |  1132384 |   550082 |   172461      4 |    39297 |      280
1065.71/1065.96	c 1064s |      19 |  1134659 |   551082 |   172461      4 |    39297 |      280
1067.80/1068.09	c 1066s |      19 |  1136752 |   552182 |   172461      4 |    39297 |      280
1069.90/1070.17	c 1068s |      19 |  1138981 |   553182 |   172461      4 |    39297 |      280
1071.90/1072.18	c 1070s |      19 |  1141275 |   554182 |   172461      4 |    39297 |      280
1074.00/1074.27	c 1072s |      19 |  1143274 |   555182 |   172461      4 |    39297 |      280
1076.10/1076.35	c 1074s |      19 |  1145380 |   556182 |   172461      4 |    39297 |      280
1078.20/1078.40	c 1076s |      19 |  1147332 |   557182 |   172461      4 |    39297 |      280
1080.20/1080.49	c 1078s |      19 |  1149362 |   558182 |   172461      4 |    39297 |      280
1082.31/1082.55	c 1080s |      19 |  1151327 |   559182 |   172461      4 |    39297 |      280
1084.41/1084.64	c 1082s |      19 |  1153322 |   560182 |   172461      4 |    39297 |      280
1086.61/1086.85	c 1085s |      19 |  1155686 |   561282 |   172461      4 |    39297 |      280
1088.70/1088.93	c 1087s |      19 |  1157740 |   562282 |   172461      4 |    39297 |      280
1090.80/1091.05	c 1089s |      19 |  1159925 |   563282 |   172461      4 |    39297 |      280
1092.90/1093.14	c 1091s |      19 |  1161909 |   564282 |   172461      4 |    39297 |      280
1095.10/1095.31	c 1093s |      19 |  1163989 |   565282 |   172461      4 |    39297 |      280
1097.19/1097.42	c 1095s |      19 |  1166226 |   566282 |   172461      4 |    39297 |      280
1099.19/1099.47	c 1097s |      19 |  1168289 |   567282 |   172461      4 |    39297 |      280
1101.29/1101.55	c 1099s |      19 |  1170184 |   568182 |   172461      4 |    39297 |      280
1103.29/1103.57	c 1101s |      19 |  1171742 |   569082 |   172461      4 |    39297 |      280
1105.49/1105.76	c 1103s |      19 |  1174025 |   570082 |   172461      4 |    39297 |      280
1107.69/1107.93	c 1106s |      19 |  1176329 |   571082 |   172461      4 |    39297 |      280
1109.79/1110.06	c 1108s |      19 |  1178231 |   572082 |   172461      4 |    39297 |      280
1111.89/1112.18	c 1110s |      19 |  1180313 |   573082 |   172461      4 |    39297 |      280
1114.09/1114.38	c 1112s |      19 |  1182302 |   574082 |   172461      4 |    39297 |      280
1116.18/1116.40	c 1114s |      19 |  1184051 |   574982 |   172461      4 |    39297 |      280
1118.28/1118.53	c 1116s |      19 |  1185972 |   575882 |   172461      4 |    39297 |      280
1120.28/1120.55	c 1118s |      19 |  1187864 |   576782 |   172461      4 |    39297 |      280
1122.28/1122.59	c 1120s |      19 |  1189727 |   577682 |   172461      4 |    39297 |      280
1124.38/1124.66	c 1122s |      19 |  1191491 |   578582 |   172461      4 |    39297 |      280
1126.48/1126.73	c 1124s |      19 |  1193472 |   579482 |   172461      4 |    39297 |      280
1128.68/1128.90	c 1127s |      19 |  1195260 |   580382 |   172461      4 |    39297 |      280
1130.77/1131.09	c 1129s |      19 |  1197287 |   581282 |   172461      4 |    39297 |      280
1132.97/1133.29	c 1131s |      19 |  1199429 |   582182 |   172461      4 |    39297 |      280
1135.17/1135.43	c 1133s |      19 |  1201152 |   583082 |   172461      4 |    39297 |      280
1137.37/1137.67	c 1135s |      19 |  1202995 |   583982 |   172461      4 |    39297 |      280
1139.57/1139.83	c 1137s |      19 |  1204960 |   584882 |   172461      4 |    39297 |      280
1141.67/1141.99	c 1140s |      19 |  1206729 |   585782 |   172461      4 |    39297 |      280
1143.77/1144.05	c 1142s |      19 |  1208257 |   586582 |   172461      4 |    39297 |      280
1145.97/1146.20	c 1144s |      19 |  1210744 |   587682 |   172461      4 |    39297 |      280
1148.06/1148.34	c 1146s |      19 |  1213080 |   588782 |   172461      4 |    39297 |      280
1150.26/1150.55	c 1148s |      19 |  1215247 |   589882 |   172461      4 |    39297 |      280
1152.26/1152.57	c 1150s |      19 |  1217116 |   590882 |   172461      4 |    39297 |      280
1154.36/1154.63	c 1152s |      19 |  1218773 |   591682 |   172461      4 |    39297 |      280
1162.05/1162.39	c 1160s |      19 |  1218908 |   591782 |   172461      5 |    39297 |      280
1166.35/1166.68	c 1164s |      19 |  1219200 |   591882 |   172461      5 |    39297 |      280
1168.35/1168.69	c 1166s |      19 |  1220631 |   592482 |   172461      5 |    39297 |      280
1170.56/1170.85	c 1169s |      19 |  1223288 |   593682 |   172461      5 |    39297 |      280
1172.76/1173.02	c 1171s |      19 |  1226025 |   594982 |   172461      5 |    39297 |      280
1175.36/1175.66	c 1173s |      19 |  1228690 |   596182 |   172461      5 |    39297 |      280
1183.95/1184.24	c 1182s |      19 |  1232111 |   597582 |   172461      5 |    39297 |      280
1185.95/1186.27	c 1184s |      19 |  1235190 |   598882 |   172461      5 |    39297 |      280
1188.05/1188.36	c 1186s |      19 |  1238453 |   600382 |   172461      5 |    39297 |      280
1191.06/1191.32	c 1189s |      19 |  1239276 |   600782 |   172461      5 |    39297 |      280
1193.05/1193.37	c 1191s |      19 |  1242233 |   601982 |   172461      5 |    39297 |      280
1195.25/1195.57	c 1193s |      19 |  1245149 |   603182 |   172461      5 |    39297 |      280
1197.45/1197.71	c 1195s |      19 |  1247706 |   604382 |   172461      5 |    39297 |      280
1199.45/1199.79	c 1197s |      19 |  1250125 |   605582 |   172461      5 |    39297 |      280
1201.55/1201.88	c 1200s |      19 |  1252521 |   606782 |   172461      5 |    39297 |      280
1203.75/1204.05	c 1202s |      19 |  1255000 |   607982 |   172461      5 |    39297 |      280
1205.85/1206.13	c 1204s |      19 |  1257206 |   609082 |   172461      5 |    39297 |      280
1207.85/1208.18	c 1206s |      19 |  1259413 |   610182 |   172461      5 |    39297 |      280
1209.85/1210.18	c 1208s |      19 |  1261783 |   611282 |   172461      5 |    39297 |      280
1211.95/1212.30	c 1210s |      19 |  1264294 |   612482 |   172461      5 |    39297 |      280
1214.15/1214.47	c 1212s |      19 |  1266767 |   613682 |   172461      5 |    39297 |      280
1216.35/1216.62	c 1214s |      19 |  1269214 |   614882 |   172461      5 |    39297 |      280
1218.44/1218.79	c 1216s |      19 |  1271500 |   616082 |   172461      5 |    39297 |      280
1220.54/1220.81	c 1218s |      19 |  1273765 |   617182 |   172461      5 |    39297 |      280
1222.54/1222.89	c 1221s |      19 |  1276116 |   618282 |   172461      5 |    39297 |      280
1224.64/1224.98	c 1223s |      19 |  1278384 |   619382 |   172461      5 |    39297 |      280
1226.84/1227.12	c 1225s |      19 |  1280788 |   620482 |   172461      5 |    39297 |      280
1228.94/1229.26	c 1227s |      19 |  1283080 |   621582 |   172461      5 |    39297 |      280
1231.04/1231.37	c 1229s |      19 |  1285297 |   622682 |   172461      5 |    39297 |      280
1233.14/1233.43	c 1231s |      19 |  1287532 |   623682 |   172461      5 |    39297 |      280
1235.34/1235.63	c 1233s |      19 |  1289923 |   624682 |   172461      5 |    39297 |      280
1237.35/1237.64	c 1235s |      19 |  1292033 |   625682 |   172461      5 |    39297 |      280
1239.44/1239.72	c 1237s |      19 |  1294111 |   626682 |   172461      5 |    39297 |      280
1241.44/1241.77	c 1239s |      19 |  1296547 |   627682 |   172461      5 |    39297 |      280
1243.64/1243.93	c 1242s |      19 |  1298888 |   628782 |   172461      5 |    39297 |      280
1245.74/1246.04	c 1244s |      19 |  1301115 |   629782 |   172461      5 |    39297 |      280
1247.94/1248.22	c 1246s |      19 |  1303538 |   630782 |   172461      5 |    39297 |      280
1250.04/1250.36	c 1248s |      19 |  1305815 |   631782 |   172461      5 |    39297 |      280
1252.23/1252.51	c 1250s |      19 |  1307899 |   632782 |   172461      5 |    39297 |      280
1254.43/1254.74	c 1252s |      19 |  1309752 |   633682 |   172461      5 |    39297 |      280
1256.54/1256.82	c 1254s |      19 |  1311063 |   634282 |   172461      5 |    39297 |      280
1258.54/1258.85	c 1257s |      19 |  1313678 |   635482 |   172461      5 |    39297 |      280
1260.54/1260.87	c 1259s |      19 |  1315996 |   636682 |   172461      5 |    39297 |      280
1262.54/1262.87	c 1261s |      19 |  1318488 |   637782 |   172461      5 |    39297 |      280
1264.64/1265.00	c 1263s |      19 |  1321410 |   638982 |   172461      5 |    39297 |      280
1266.84/1267.12	c 1265s |      19 |  1323860 |   640182 |   172461      5 |    39297 |      280
1268.84/1269.15	c 1267s |      19 |  1326289 |   641282 |   172461      5 |    39297 |      280
1270.94/1271.29	c 1269s |      19 |  1328804 |   642482 |   172461      5 |    39297 |      280
1273.13/1273.42	c 1271s |      19 |  1331492 |   643582 |   172461      5 |    39297 |      280
1275.23/1275.55	c 1273s |      19 |  1333976 |   644682 |   172461      5 |    39297 |      280
1277.23/1277.57	c 1275s |      19 |  1336330 |   645682 |   172461      5 |    39297 |      280
1279.33/1279.63	c 1277s |      19 |  1338751 |   646682 |   172461      5 |    39297 |      280
1281.43/1281.75	c 1279s |      19 |  1340815 |   647782 |   172461      5 |    39297 |      280
1283.54/1283.87	c 1282s |      19 |  1343367 |   648882 |   172461      5 |    39297 |      280
1285.64/1285.91	c 1284s |      19 |  1345555 |   649982 |   172461      5 |    39297 |      280
1287.73/1288.00	c 1286s |      19 |  1347753 |   651082 |   172461      5 |    39297 |      280
1289.83/1290.13	c 1288s |      19 |  1350066 |   652182 |   172461      5 |    39297 |      280
1291.83/1292.13	c 1290s |      19 |  1352416 |   653182 |   172461      5 |    39297 |      280
1293.93/1294.20	c 1292s |      19 |  1354703 |   654182 |   172461      5 |    39297 |      280
1296.03/1296.30	c 1294s |      19 |  1356762 |   655182 |   172461      5 |    39297 |      280
1298.13/1298.44	c 1296s |      19 |  1359003 |   656182 |   172461      5 |    39297 |      280
1300.23/1300.54	c 1298s |      19 |  1361318 |   657182 |   172461      5 |    39297 |      280
1302.33/1302.62	c 1300s |      19 |  1363367 |   658182 |   172461      5 |    39297 |      280
1304.33/1304.67	c 1302s |      19 |  1365550 |   659182 |   172461      5 |    39297 |      280
1306.43/1306.70	c 1304s |      19 |  1367833 |   660182 |   172461      5 |    39297 |      280
1308.43/1308.74	c 1306s |      19 |  1369866 |   661182 |   172461      5 |    39297 |      280
1310.53/1310.81	c 1308s |      19 |  1371977 |   662182 |   189708      5 |    39297 |      280
1312.62/1312.95	c 1311s |      19 |  1373757 |   663182 |   189708      5 |    39297 |      280
1314.82/1315.12	c 1313s |      19 |  1375741 |   664182 |   189708      5 |    39297 |      280
1317.02/1317.33	c 1315s |      19 |  1377644 |   665182 |   189708      5 |    39297 |      280
1319.02/1319.39	c 1317s |      19 |  1379708 |   666082 |   189708      5 |    39297 |      280
1320.72/1321.09	c 1319s |      20 |  1381217 |   666827 |   189708      5 |    39297 |      280
1341.62/1341.97	c 1340s |      20 |  1381538 |   666927 |   189708      5 |    39297 |      280
1423.41/1423.77	c 1421s |      20 |  1381730 |   667027 |   189708      5 |    39297 |      280
1474.59/1474.95	c 1473s |      20 |  1382212 |   667227 |   189708      5 |    39297 |      280
1476.69/1477.02	c 1475s |      20 |  1383879 |   667927 |   189708      5 |    39297 |      280
1478.79/1479.13	c 1477s |      20 |  1385772 |   668827 |   189708      5 |    39297 |      280
1480.99/1481.33	c 1479s |      20 |  1387667 |   669827 |   189708      5 |    39297 |      280
1483.29/1483.64	c 1481s |      20 |  1389643 |   670727 |   189708      5 |    39297 |      280
1485.39/1485.71	c 1483s |      20 |  1391395 |   671427 |   189708      5 |    39297 |      280
1487.49/1487.89	c 1486s |      20 |  1393282 |   672327 |   189708      5 |    39297 |      280
1489.59/1489.92	c 1488s |      20 |  1394770 |   673127 |   189708      5 |    39297 |      280
1491.59/1491.97	c 1490s |      20 |  1396051 |   673727 |   189708      5 |    39297 |      280
1493.68/1494.03	c 1492s |      20 |  1397864 |   674527 |   189708      5 |    39297 |      280
1495.98/1496.34	c 1494s |      20 |  1399762 |   675427 |   189708      5 |    39297 |      280
1498.08/1498.45	c 1496s |      20 |  1401354 |   676227 |   189708      5 |    39297 |      280
1500.19/1500.53	c 1498s |      20 |  1404078 |   677427 |   189708      5 |    39297 |      280
1502.29/1502.62	c 1500s |      20 |  1406240 |   678627 |   189708      5 |    39297 |      280
1504.49/1504.85	c 1503s |      20 |  1408285 |   679727 |   189708      5 |    39297 |      280
1506.69/1507.10	c 1505s |      20 |  1410016 |   680527 |   189708      5 |    39297 |      280
1508.78/1509.16	c 1507s |      20 |  1411200 |   681127 |   189708      5 |    39297 |      280
1510.98/1511.38	c 1509s |      20 |  1412569 |   681827 |   189708      5 |    39297 |      280
1513.08/1513.41	c 1511s |      20 |  1415002 |   683027 |   189708      5 |    39297 |      280
1515.08/1515.43	c 1513s |      20 |  1417353 |   684227 |   189708      5 |    39297 |      280
1517.18/1517.51	c 1515s |      20 |  1419179 |   685127 |   189708      5 |    39297 |      280
1519.39/1519.79	c 1517s |      20 |  1420721 |   685827 |   189708      5 |    39297 |      280
1521.59/1521.92	c 1520s |      20 |  1422217 |   686627 |   189708      5 |    39297 |      280
1523.69/1524.09	c 1522s |      20 |  1423996 |   687527 |   189708      5 |    39297 |      280
1525.79/1526.13	c 1524s |      20 |  1425035 |   688127 |   189708      5 |    39297 |      280
1527.89/1528.29	c 1526s |      20 |  1426443 |   688927 |   189708      5 |    39297 |      280
1530.19/1530.52	c 1528s |      20 |  1427702 |   689627 |   189708      5 |    39297 |      280
1532.29/1532.65	c 1530s |      20 |  1429514 |   690527 |   189708      5 |    39297 |      280
1534.38/1534.71	c 1532s |      20 |  1430957 |   691227 |   189708      5 |    39297 |      280
1536.49/1536.88	c 1535s |      20 |  1432354 |   691927 |   189708      5 |    39297 |      280
1538.69/1539.08	c 1537s |      20 |  1434207 |   692727 |   189708      5 |    39297 |      280
1540.89/1541.23	c 1539s |      20 |  1436342 |   693727 |   189708      5 |    39297 |      280
1542.99/1543.36	c 1541s |      20 |  1438773 |   694927 |   189708      5 |    39297 |      280
1545.29/1545.61	c 1543s |      20 |  1440193 |   695627 |   189708      5 |    39297 |      280
1547.28/1547.62	c 1545s |      20 |  1441619 |   696327 |   189708      5 |    39297 |      280
1549.38/1549.72	c 1547s |      20 |  1443486 |   697127 |   189708      5 |    39297 |      280
1551.48/1551.87	c 1550s |      20 |  1445544 |   698127 |   189708      5 |    39297 |      280
1553.68/1554.08	c 1552s |      20 |  1447037 |   698827 |   189708      5 |    39297 |      280
1555.88/1556.23	c 1554s |      20 |  1448702 |   699527 |   189708      5 |    39297 |      280
1558.08/1558.40	c 1556s |      20 |  1450327 |   700327 |   189708      5 |    39297 |      280
1560.28/1560.60	c 1558s |      20 |  1451777 |   701127 |   189708      5 |    39297 |      280
1562.38/1562.72	c 1560s |      20 |  1453634 |   702027 |   189708      5 |    39297 |      280
1564.48/1564.84	c 1563s |      20 |  1455430 |   702827 |   189708      5 |    39297 |      280
1566.68/1567.06	c 1565s |      20 |  1457238 |   703627 |   189708      5 |    39297 |      280
1568.78/1569.11	c 1567s |      20 |  1458805 |   704327 |   189708      5 |    39297 |      280
1570.98/1571.37	c 1569s |      20 |  1460716 |   705127 |   189708      5 |    39297 |      280
1573.08/1573.48	c 1571s |      20 |  1462457 |   705827 |   189708      5 |    39297 |      280
1575.28/1575.60	c 1573s |      20 |  1463840 |   706427 |   189708      5 |    39297 |      280
1577.28/1577.69	c 1575s |      20 |  1465370 |   707127 |   189708      5 |    39297 |      280
1579.58/1579.96	c 1578s |      20 |  1467009 |   707827 |   189708      5 |    39297 |      280
1708.85/1709.21	c 1707s |      20 |  1468025 |   708227 |   189708      5 |    39297 |      280
1710.96/1711.38	c 1709s |      20 |  1468947 |   708727 |   189708      5 |    39297 |      280
1713.25/1713.61	c 1711s |      20 |  1470157 |   709227 |   189708      5 |    39297 |      280
1715.25/1715.68	c 1713s |      20 |  1471208 |   709727 |   189708      5 |    39297 |      280
1717.25/1717.69	c 1715s |      20 |  1472419 |   710327 |   189708      5 |    39297 |      280
1719.35/1719.73	c 1717s |      20 |  1473560 |   710927 |   189708      5 |    39297 |      280
1721.35/1721.74	c 1719s |      20 |  1474724 |   711527 |   189708      5 |    39297 |      280
1723.36/1723.79	c 1721s |      20 |  1476058 |   712127 |   189708      5 |    39297 |      280
1725.45/1725.89	c 1724s |      20 |  1477429 |   712827 |   189708      5 |    39297 |      280
1727.55/1727.94	c 1726s |      20 |  1478816 |   713527 |   189708      5 |    39297 |      280
1729.75/1730.12	c 1728s |      20 |  1480074 |   714227 |   189708      5 |    39297 |      280
1742.06/1742.48	c 1740s |      20 |  1481750 |   714927 |   189708      6 |    39297 |      280
1769.95/1770.33	c 1768s |      20 |  1481974 |   715027 |   189708      6 |    39297 |      280
1773.14/1773.53	c 1771s |      20 |  1482208 |   715127 |   189708      6 |    39297 |      280
1775.24/1775.68	c 1773s |      20 |  1484383 |   716227 |   189708      6 |    39297 |      280
1777.35/1777.78	c 1775s |      20 |  1486398 |   717327 |   189708      6 |    39297 |      280
1795.74/1796.17	c 1794s |      20 |  1487115 |   717627 |   189708      6 |    39297 |      280
1797.84/1798.20	c 1796s |      20 |  1488999 |   718427 |   189708      6 |    39297 |      280
1799.84/1800.23	c 1798s |      20 |  1491218 |   719527 |   189708      6 |    39297 |      280

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-4100681-1466216954/watcher-4100681-1466216954 -o /tmp/evaluation-result-4100681-1466216954/solver-4100681-1466216954 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100681-1466216954.opb 

pid=18832
running on 4 cores: 0,2,4,6

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.29 2.24 2.21 3/179 18835
/proc/meminfo: memFree=28064212/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 2503 0 0 0 0 0 0 0 20 0 4 0 23740962 690417664 3375 33554432000 4194304 16246674 140736560909552 140736560908976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 169071 3385 441 2943 0 165965 0
[pid=18835/tid=18836] ppid=18832 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 708243456 3445 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 713486336 3463 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=699836 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23740962 716632064 3477 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.29 2.24 2.21 3/179 18835
/proc/meminfo: memFree=28064212/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 29113 0 0 0 5 3 0 0 20 0 4 0 23740962 1332285440 29923 33554432000 4194304 16246674 140736560909552 140736560891456 7889646 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 325265 29937 799 2943 0 322159 0
[pid=18835/tid=18836] ppid=18832 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1332285440 29949 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1332285440 29960 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1332285440 29971 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.20055 s]
/proc/loadavg: 2.29 2.24 2.21 3/179 18835
/proc/meminfo: memFree=28064212/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 46282 0 0 0 12 7 0 0 20 0 4 0 23740962 1345916928 47602 33554432000 4194304 16246674 140736560909552 140736560891456 7369839 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 328593 47602 800 2943 0 325487 0
[pid=18835/tid=18836] ppid=18832 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1345916928 47602 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1345916928 47602 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1345916928 47602 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300532 s]
/proc/loadavg: 2.29 2.24 2.21 3/179 18835
/proc/meminfo: memFree=28064212/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 53471 0 0 0 21 8 0 0 20 0 4 0 23740962 1345916928 54791 33554432000 4194304 16246674 140736560909552 140736560891456 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 328593 54791 801 2943 0 325487 0
[pid=18835/tid=18836] ppid=18832 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1345916928 54791 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1345916928 54791 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1345916928 54791 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700394 s]
/proc/loadavg: 2.29 2.24 2.21 3/179 18835
/proc/meminfo: memFree=28064212/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1342020 CPUtime=0.69 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 69364 0 0 0 58 11 0 0 20 0 4 0 23740962 1374228480 70684 33554432000 4194304 16246674 140736560909552 140736560891456 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 335505 70689 812 2943 0 332399 0
[pid=18835/tid=18836] ppid=18832 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1374228480 70693 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1374228480 70697 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1374228480 70700 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1342020

[startup+1.50036 s]
/proc/loadavg: 2.29 2.24 2.21 3/183 18839
/proc/meminfo: memFree=27777168/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1346116 CPUtime=1.49 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 70473 0 0 0 138 11 0 0 20 0 4 0 23740962 1378422784 71793 33554432000 4194304 16246674 140736560909552 140736560907392 13752941 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 336529 71793 844 2943 0 333423 0
[pid=18835/tid=18836] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 71793 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 71793 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 71793 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1346116

[startup+3.1004 s]
/proc/loadavg: 2.29 2.24 2.21 3/183 18839
/proc/meminfo: memFree=27695328/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1346116 CPUtime=3.09 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 92953 0 0 0 295 14 0 0 20 0 4 0 23740962 1378422784 94274 33554432000 4194304 16246674 140736560909552 140736560891456 12467381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 336529 94287 900 2943 0 333423 0
[pid=18835/tid=18836] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 94302 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 94308 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 94312 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1346116

[startup+6.30041 s]
/proc/loadavg: 2.26 2.23 2.21 4/183 18839
/proc/meminfo: memFree=27162276/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1346116 CPUtime=6.29 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 239122 0 0 0 594 35 0 0 20 0 4 0 23740962 1378422784 240442 33554432000 4194304 16246674 140736560909552 140736560891456 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 336529 240446 900 2943 0 333423 0
[pid=18835/tid=18836] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 240448 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 240451 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 240453 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1346116

[startup+12.7004 s]
/proc/loadavg: 2.32 2.25 2.21 3/183 18839
/proc/meminfo: memFree=26710588/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1346116 CPUtime=12.69 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 267890 0 0 0 1230 39 0 0 20 0 4 0 23740962 1378422784 269210 33554432000 4194304 16246674 140736560909552 140736560891456 5712204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 336529 269210 900 2943 0 333423 0
[pid=18835/tid=18836] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269210 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269210 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269210 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1346116

[startup+25.5005 s]
/proc/loadavg: 2.25 2.23 2.21 3/183 18839
/proc/meminfo: memFree=26485708/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1346116 CPUtime=25.49 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 267890 0 0 0 2510 39 0 0 20 0 4 0 23740962 1378422784 269210 33554432000 4194304 16246674 140736560909552 140736560891456 5712619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 336529 269210 900 2943 0 333423 0
[pid=18835/tid=18836] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269210 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269210 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269210 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1346116

[startup+51.1005 s]
/proc/loadavg: 2.31 2.25 2.21 3/184 18842
/proc/meminfo: memFree=26485328/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1346116 CPUtime=51.08 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 267894 0 0 0 5069 39 0 0 20 0 4 0 23740962 1378422784 269214 33554432000 4194304 16246674 140736560909552 140736560892552 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 336529 269214 902 2943 0 333423 0
[pid=18835/tid=18836] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269214 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269214 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269214 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1346116

[startup+102.3 s]
/proc/loadavg: 2.31 2.25 2.21 3/184 18843
/proc/meminfo: memFree=26484760/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=1346116 CPUtime=102.28 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 268113 0 0 0 10189 39 0 0 20 0 4 0 23740962 1378422784 269433 33554432000 4194304 16246674 140736560909552 140736560891456 13775088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 336529 269433 902 2943 0 333423 0
[pid=18835/tid=18836] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269433 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269433 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 1378422784 269433 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1346116


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

/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2043219968 440847 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1995332

[startup+1302.3 s]
/proc/loadavg: 2.49 2.39 2.29 3/184 18873
/proc/meminfo: memFree=25773820/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2007620 CPUtime=1302.03 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 442699 0 0 0 130109 94 0 0 20 0 4 0 23740962 2055802880 443919 33554432000 4194304 16246674 140736560909552 140736560891456 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 501905 443919 905 2943 0 498799 0
[pid=18835/tid=18836] ppid=18832 vsize=2007620 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2055802880 443919 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2007620 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2055802880 443919 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2007620 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2055802880 443919 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2007620

[startup+1362.3 s]
/proc/loadavg: 2.27 2.35 2.27 3/183 18874
/proc/meminfo: memFree=25655816/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1362.01 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472149 0 0 0 136100 101 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560907392 5808184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 2125380

[startup+1422.3 s]
/proc/loadavg: 2.26 2.34 2.27 3/183 18875
/proc/meminfo: memFree=25655792/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1422.01 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472152 0 0 0 142095 106 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560891456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 2125380

[startup+1482.3 s]
/proc/loadavg: 2.20 2.31 2.26 3/183 18876
/proc/meminfo: memFree=25655824/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1481.99 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472153 0 0 0 148088 111 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560891456 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2125380

[startup+1542.31 s]
/proc/loadavg: 2.33 2.31 2.27 3/183 18878
/proc/meminfo: memFree=25656144/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1541.99 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472161 0 0 0 154087 112 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560891456 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2125380

[startup+1602.3 s]
/proc/loadavg: 2.24 2.28 2.26 3/183 18879
/proc/meminfo: memFree=25655840/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1601.97 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472166 0 0 0 160083 114 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560907392 13883727 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 2125380

[startup+1662.3 s]
/proc/loadavg: 2.23 2.27 2.26 3/183 18880
/proc/meminfo: memFree=25655612/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1661.96 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472167 0 0 0 166077 119 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560907392 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 2125380

[startup+1722.3 s]
/proc/loadavg: 2.35 2.30 2.27 3/183 18881
/proc/meminfo: memFree=25655500/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1721.95 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472170 0 0 0 172071 124 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560891456 5822818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2125380

[startup+1782.3 s]
/proc/loadavg: 2.29 2.29 2.27 3/183 18882
/proc/meminfo: memFree=25655616/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1781.95 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472172 0 0 0 178066 129 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560908648 4221116 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2125380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.28 2.27 3/183 18932
/proc/meminfo: memFree=26086344/32872528 swapFree=1459628/1655852
[pid=18835] ppid=18832 vsize=2125380 CPUtime=1800.04 cores=0,2,4,6
/proc/18835/stat : 18835 (toysat) R 18832 18835 16189 0 -1 4202496 472174 0 0 0 179874 130 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140736560891456 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18835/statm: 531345 473359 905 2943 0 528239 0
[pid=18835/tid=18836] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18836/stat : 18836 (toysat) S 18832 18835 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094740606192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18835/tid=18837] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18837/stat : 18837 (toysat) S 18832 18835 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094652525808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18835/tid=18838] ppid=18832 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18838/stat : 18838 (toysat) S 18832 18835 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23740962 2176389120 473359 33554432000 4194304 16246674 140736560909552 140094642052272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2125380

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.05
CPU user time (s): 1798.75
CPU system time (s): 1.3008
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 2125380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.3008
maximum resident set size= 1893436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472174
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= 1199
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7732 second user time and 16.9244 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 04:29:14
IDJOB=4100681
IDBENCH=1648
IDSOLVER=2542
FILE ID=node136/4100681-1466216954
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship12s.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100681-1466216954/watcher-4100681-1466216954 -o /tmp/evaluation-result-4100681-1466216954/solver-4100681-1466216954 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100681-1466216954.opb

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

MD5SUM BENCH= bde0c0fbe1d85bc08e3fa72426bea662
RANDOM SEED=89800509

node136.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.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
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.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28064972 kB
Buffers:          149776 kB
Cached:          1661128 kB
SwapCached:            0 kB
Active:           741464 kB
Inactive:        1665116 kB
Active(anon):     597740 kB
Inactive(anon):        0 kB
Active(file):     143724 kB
Inactive(file):  1665116 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             44420 kB
Writeback:             0 kB
AnonPages:       2355308 kB
Mapped:            16604 kB
Shmem:               204 kB
Slab:             609992 kB
SReclaimable:      53644 kB
SUnreclaim:       556348 kB
KernelStack:        1520 kB
PageTables:         9360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2899064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node136 at 2016-06-18 04:59:15