Trace number 4080197

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-02OPT3 732.995 733.317

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb
MD5SUM74c00e33b4232d137ad873ae982593f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.074988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables96
Total number of constraints9
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 constraints9
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-07T01:22: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-4080197-1465255334.opb"]
0.00/0.01	c use --random-gen="579674428 491787476 2784078464 2094133403 3175239794 1136637572 3785869619 4013818197 285008368 387334503 2568375650 122666411 4177216538 1650947697 715348465 180810499 3507094941 1705920033 2006848518 1545273662 4076806789 1099872923 2054787381 3377380067 803510176 652248294 1636673702 783614327 3862578167 2101391241 242936554 4197772424 1477325553 3105288578 1155014861 230576190 4085767186 2064855248 1182779996 2101529347 3995118019 4097763680 1067533052 3710191392 3907759233 4114181550 628182562 1681399504 527533886 1015500844 919002958 3903693631 1072556984 53363928 2195823193 3855050804 3213487094 3138533861 3182842527 1964323388 1168916146 823865055 1342982823 2923403042 3718815889 1540465418 4135392581 3199379237 1705382042 1732603162 4291660833 2996229102 1615314991 188424674 147036933 1962036941 4194807743 2155724418 525382440 187925639 144604010 3770534672 3720556526 4171483516 3885193394 1435441671 1069547908 3053185563 2437164685 1622592275 1289688766 417260623 1159069223 1421563430 530290645 2213227317 3394460264 1571660562 760682856 511490693 564466762 1704628624 988555593 735141581 3984548375 466250684 4273205442 2782363623 3850403367 774117151 1406092544 706020175 2071579267 3591069997 622298879 825600701 2716039616 3722206948 3361013032 2918384067 445691689 3966065076 2586053711 1021552229 4258719677 859399476 2094178841 3917692480 3168769333 1599060217 1441397272 1429437403 4072974059 133587285 1604676463 1624886763 1952664297 897937329 991820297 1214543199 2281433914 785045364 2150299100 2093283769 2919082980 422020581 333558094 2201567284 2355655952 680360683 2624262117 1009476899 609608252 2356934842 1081408367 727206291 1567804297 2974613313 1743528543 1753623674 1151814102 1212202882 2003118602 3656980212 3534026256 189816279 896568626 2724321854 2303311153 3610288168 3473627382 3008487860 3379008446 3581682302 3933017844 88825093 3828297533 4079504628 3089736766 954761563 2671125319 914840778 156913194 3232535925 2796720084 1133135190 2697905938 3017753445 3146527655 2114057514 548680630 1440761911 2727126651 3934220329 594794023 1603004001 652964550 3885970485 1805266949 2004986269 705839756 2230242584 1366984534 2557248090 1033070305 2611758425 2966031727 1919880005 4264431193 272533098 1943366034 1866024596 4250059764 2307989060 2917424170 411249826 2732431346 394080137 2966254908 226420212 3804420743 2958901254 4249375639 3281741896 332728041 2543312222 2789167650 179587134 141129638 3714866744 2404734165 2386638930 1915889344 3497949552 3131357568 243919406 1302792897 245644435 3445791 394731143 2360692769 4087203472 4066937523 2945580871 3212167416 2647958126 1375434555 2182064333 3992984155 4279793272 3762501905 3446305339 2754782426 2568124523 1318707325 387802696 255 362436" option to reproduce the execution
0.00/0.01	c #vars 96
0.00/0.01	c #constraints 9
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      377      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      136 |      100 |      377      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      350 |      250 |      415      0 |        0 |        0
0.29/0.33	c  0.3s |       3 |      643 |      475 |      457      0 |        0 |        0
0.39/0.44	c  0.4s |       4 |     1261 |      813 |      503      1 |        0 |        0
0.59/0.66	c  0.6s |       5 |     2049 |     1320 |      554      2 |        0 |        0
0.69/0.75	c  0.7s |       5 |     2407 |     1543 |      610      3 |        0 |        0
0.69/0.75	c #cpu_time = 0.726s
0.69/0.75	c #wall_clock_time = 0.728s
0.69/0.75	c #decision = 2407
0.69/0.75	c #random_decision = 6
0.69/0.75	c #conflict = 1543
0.69/0.75	c #restart = 5
0.69/0.75	o 225
0.69/0.75	c BCD2: updating upper bound: 255 -> 224
0.69/0.75	c BCD2: 0 <= obj <= 224
0.69/0.75	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
0.69/0.75	c BCD2: #sat=1 #unsat=1 bias=1/2
0.69/0.75	c Solving starts ...
0.69/0.75	c ============================[ Search Statistics ]============================
0.69/0.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.75	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.75	c =============================================================================
0.69/0.75	c  0.0s |       0 |        0 |        0 |      610      0 |        0 |        0
0.69/0.75	c  0.0s |       0 |        6 |        0 |      610      1 |        0 |        0
0.69/0.75	c #cpu_time = 0.007s
0.69/0.75	c #wall_clock_time = 0.007s
0.69/0.75	c #decision = 6
0.69/0.75	c #random_decision = 0
0.69/0.75	c #conflict = 0
0.69/0.75	c #restart = 0
0.69/0.75	c BCD2: found a new core of size 7: cost of the new core is >=2
0.69/0.75	c lower bound updated to 2
0.69/0.75	c BCD2: 2 <= obj <= 224
0.69/0.75	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
0.69/0.75	c BCD2: #sat=1 #unsat=2 bias=2/3
0.69/0.75	c Solving starts ...
0.69/0.75	c ============================[ Search Statistics ]============================
0.69/0.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.75	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.75	c =============================================================================
0.69/0.75	c  0.0s |       0 |        0 |        0 |      610      0 |        0 |        0
0.69/0.78	c  0.0s |       1 |      183 |      100 |      610      0 |        0 |        0
0.89/0.93	c  0.2s |       2 |      404 |      250 |      610      0 |        0 |        0
0.89/0.99	c  0.2s |       3 |      720 |      475 |      610      1 |        0 |        0
1.10/1.11	c  0.4s |       4 |     1184 |      813 |      671      1 |        0 |        0
1.20/1.29	c  0.5s |       5 |     1789 |     1320 |      671      2 |        0 |        0
1.49/1.58	c  0.8s |       6 |     2678 |     2081 |      739      4 |        0 |        0
1.69/1.77	c  1.0s |       7 |     3924 |     3223 |      739      6 |        0 |        0
2.29/2.31	c  1.6s |       8 |     5796 |     4936 |      813      9 |        0 |        0
2.69/2.74	c  2.0s |       9 |     8485 |     7506 |      895     14 |        0 |        0
4.09/4.10	c  3.3s |      10 |    12768 |    11361 |      985     21 |        0 |        0
5.39/5.46	c  4.7s |      11 |    18846 |    17144 |     1084     30 |        0 |        0
7.38/7.47	c  6.7s |      11 |    25081 |    23144 |     1084     38 |        0 |        0
8.08/8.15	c  7.4s |      12 |    27859 |    25819 |     1193     42 |        0 |        0
10.08/10.16	c  9.4s |      12 |    37671 |    35419 |     1193     55 |        0 |        0
10.78/10.83	c 10.1s |      13 |    41304 |    38832 |     1313     60 |        0 |        0
12.78/12.84	c 12.1s |      13 |    47442 |    44332 |     1313     67 |        0 |        0
14.78/14.85	c 14.1s |      13 |    53561 |    49932 |     1313     74 |        0 |        0
16.78/16.86	c 16.1s |      13 |    59740 |    55532 |     1313     82 |        0 |        0
17.48/17.59	c 16.8s |      14 |    62623 |    58352 |     1445     85 |        0 |        0
19.49/19.60	c 18.8s |      14 |    73039 |    68052 |     1445     97 |        0 |        0
21.59/21.61	c 20.9s |      14 |    84165 |    78552 |     1445    111 |        0 |        0
23.39/23.47	c 22.7s |      15 |    93761 |    87632 |     1590    122 |        0 |        0
25.40/25.48	c 24.7s |      15 |   103496 |    97132 |     1590    133 |        0 |        0
27.39/27.49	c 26.7s |      15 |   111605 |   105132 |     1590    141 |        0 |        0
29.49/29.51	c 28.8s |      15 |   120994 |   114332 |     1590    151 |        0 |        0
31.49/31.51	c 30.8s |      15 |   130319 |   123532 |     1590    161 |        0 |        0
33.19/33.27	c 32.5s |      16 |   138481 |   131552 |     1750    170 |        0 |        0
35.29/35.31	c 34.6s |      16 |   144818 |   137452 |     1750    175 |        0 |        0
37.29/37.33	c 36.6s |      16 |   151201 |   143552 |     1750    181 |        0 |        0
39.29/39.35	c 38.6s |      16 |   158153 |   150052 |     1750    188 |        0 |        0
41.29/41.38	c 40.6s |      16 |   165506 |   156952 |     1750    195 |        0 |        0
43.39/43.40	c 42.6s |      16 |   173520 |   164552 |     1750    202 |        0 |        0
45.39/45.42	c 44.7s |      16 |   181238 |   171952 |     1750    209 |        0 |        0
47.39/47.42	c 46.7s |      16 |   189133 |   179452 |     1750    217 |        0 |        0
49.38/49.44	c 48.7s |      16 |   196890 |   186752 |     1750    224 |        0 |        0
51.38/51.45	c 50.7s |      16 |   204512 |   193952 |     1750    231 |        0 |        0
52.28/52.34	c 51.6s |      17 |   208209 |   197432 |     1926    234 |        0 |        0
54.28/54.35	c 53.6s |      17 |   216279 |   205132 |     1926    241 |        0 |        0
56.28/56.37	c 55.6s |      17 |   224074 |   212532 |     1926    248 |        0 |        0
58.29/58.37	c 57.6s |      17 |   232145 |   220232 |     1926    255 |        0 |        0
60.28/60.38	c 59.6s |      17 |   239875 |   227332 |     1926    262 |        0 |        0
62.28/62.39	c 61.6s |      17 |   248182 |   234832 |     1926    269 |        0 |        0
64.38/64.40	c 63.6s |      17 |   256406 |   242532 |     1926    276 |        0 |        0
66.38/66.41	c 65.7s |      17 |   264143 |   249932 |     1926    282 |        0 |        0
68.38/68.43	c 67.7s |      17 |   272242 |   257632 |     1926    290 |        0 |        0
70.39/70.44	c 69.7s |      17 |   280068 |   264932 |     1926    296 |        0 |        0
72.38/72.46	c 71.7s |      17 |   288394 |   272832 |     1926    304 |        0 |        0
74.38/74.46	c 73.7s |      17 |   296133 |   280132 |     1926    310 |        0 |        0
76.38/76.47	c 75.7s |      17 |   303850 |   287132 |     1926    317 |        0 |        0
78.38/78.48	c 77.7s |      17 |   311563 |   294232 |     2119    323 |        0 |        0
78.98/79.02	c 78.3s |      18 |   313700 |   296252 |     2119    325 |        0 |        0
80.98/81.04	c 80.3s |      18 |   322465 |   304852 |     2119    332 |        0 |        0
82.98/83.05	c 82.3s |      18 |   331281 |   313452 |     2119    340 |        0 |        0
84.98/85.06	c 84.3s |      18 |   339480 |   321552 |     2119    347 |        0 |        0
86.98/87.06	c 86.3s |      18 |   346533 |   328452 |     2119    353 |        0 |        0
88.97/89.07	c 88.3s |      18 |   353422 |   335152 |     2119    359 |        0 |        0
90.97/91.09	c 90.3s |      18 |   360468 |   342052 |     2119    365 |        0 |        0
93.07/93.11	c 92.4s |      18 |   367596 |   349052 |     2119    370 |        0 |        0
95.07/95.13	c 94.4s |      18 |   376707 |   357952 |     2119    378 |        1 |        8
97.08/97.13	c 96.4s |      18 |   385105 |   366152 |     2119    385 |        1 |        8
99.09/99.13	c 98.4s |      18 |   393328 |   374252 |     2119    391 |        1 |        8
101.08/101.13	c  100s |      18 |   401459 |   382252 |     2119    398 |        1 |        8
103.08/103.15	c  102s |      18 |   410184 |   390452 |     2119    405 |        1 |        8
105.08/105.17	c  104s |      18 |   418789 |   398452 |     2119    412 |        1 |        8
107.08/107.17	c  106s |      18 |   426329 |   405852 |     2119    418 |        1 |        8
109.08/109.19	c  108s |      18 |   434512 |   413652 |     2119    425 |        1 |        8
111.18/111.22	c  110s |      18 |   443018 |   421752 |     2119    431 |        1 |        8
113.18/113.23	c  112s |      18 |   452120 |   430352 |     2119    439 |        1 |        8
115.17/115.24	c  114s |      18 |   460505 |   438252 |     2119    445 |        1 |        8
116.68/116.71	c  115s |      19 |   467043 |   444482 |     2331    450 |        1 |        8
118.67/118.73	c  117s |      19 |   475127 |   452382 |     2331    456 |        1 |        8
120.67/120.74	c  119s |      19 |   483480 |   460582 |     2331    463 |        1 |        8
122.67/122.77	c  122s |      19 |   491859 |   468782 |     2331    469 |        1 |        8
124.67/124.79	c  124s |      19 |   500299 |   476982 |     2331    476 |        1 |        8
126.77/126.81	c  126s |      19 |   509030 |   485582 |     2331    483 |        1 |        8
128.78/128.83	c  128s |      19 |   517149 |   493282 |     2331    489 |        1 |        8
130.77/130.83	c  130s |      19 |   524828 |   500882 |     2331    495 |        1 |        8
132.77/132.83	c  132s |      19 |   532582 |   508482 |     2331    501 |        1 |        8
134.77/134.85	c  134s |      19 |   540447 |   516182 |     2331    507 |        1 |        8
136.77/136.85	c  136s |      19 |   548251 |   523882 |     2331    513 |        1 |        8
138.77/138.88	c  138s |      19 |   556370 |   531882 |     2331    519 |        1 |        8
140.77/140.88	c  140s |      19 |   564654 |   539982 |     2331    526 |        1 |        8
142.77/142.88	c  142s |      19 |   572638 |   547682 |     2331    532 |        1 |        8
144.77/144.88	c  144s |      19 |   580760 |   555582 |     2331    538 |        1 |        8
146.76/146.89	c  146s |      19 |   588776 |   563482 |     2331    544 |        1 |        8
148.86/148.91	c  148s |      19 |   597424 |   571982 |     2331    551 |        1 |        8
150.86/150.93	c  150s |      19 |   606332 |   580682 |     2331    558 |        1 |        8
152.87/152.93	c  152s |      19 |   614542 |   588782 |     2331    564 |        1 |        8
154.86/154.94	c  154s |      19 |   622243 |   596282 |     2331    570 |        1 |        8
156.86/156.95	c  156s |      19 |   630550 |   604382 |     2331    577 |        1 |        8
158.86/158.99	c  158s |      19 |   638128 |   611782 |     2331    583 |        1 |        8
160.96/161.01	c  160s |      19 |   646751 |   620182 |     2331    589 |        1 |        8
162.96/163.02	c  162s |      19 |   655577 |   628582 |     2331    596 |        1 |        8
164.97/165.02	c  164s |      19 |   662154 |   634882 |     2331    601 |        1 |        8
166.95/167.03	c  166s |      19 |   671080 |   643582 |     2331    608 |        1 |        8
168.95/169.04	c  168s |      19 |   680039 |   652282 |     2331    615 |        1 |        8
170.95/171.05	c  170s |      19 |   688628 |   660682 |     2565    622 |        1 |        8
172.35/172.47	c  171s |      20 |   695078 |   666827 |     2565    626 |        1 |        8
174.45/174.50	c  173s |      20 |   701239 |   672527 |     2565    630 |        1 |        8
176.45/176.51	c  175s |      20 |   707451 |   677827 |     2565    634 |        1 |        8
178.45/178.53	c  177s |      20 |   712917 |   682527 |     2565    637 |        1 |        8
180.46/180.56	c  179s |      20 |   718367 |   687627 |     2565    641 |        1 |        8
182.45/182.57	c  181s |      20 |   723620 |   692427 |     2565    645 |        1 |        8
184.45/184.59	c  183s |      20 |   728981 |   697327 |     2565    648 |        1 |        8
186.55/186.62	c  185s |      20 |   733727 |   701727 |     2565    651 |        1 |        8
188.54/188.64	c  187s |      20 |   738278 |   706227 |     2565    654 |        1 |        8
190.54/190.64	c  189s |      20 |   743057 |   710827 |     2565    658 |        1 |        8
192.55/192.64	c  191s |      20 |   748075 |   715527 |     2565    661 |        1 |        8
194.54/194.66	c  193s |      20 |   754284 |   721227 |     2565    665 |        1 |        8
196.54/196.67	c  195s |      20 |   759193 |   725627 |     2565    669 |        1 |        8
198.53/198.69	c  197s |      20 |   765379 |   731427 |     2565    673 |        1 |        8
200.63/200.70	c  199s |      20 |   772260 |   738127 |     2565    678 |        1 |        8
202.63/202.70	c  201s |      20 |   778876 |   744627 |     2565    683 |        1 |        8
204.64/204.72	c  203s |      20 |   785267 |   750627 |     2565    687 |        1 |        8
206.63/206.73	c  205s |      20 |   790337 |   755327 |     2565    690 |        1 |        8
208.63/208.75	c  207s |      20 |   795794 |   760327 |     2565    694 |        1 |        8
210.63/210.77	c  210s |      20 |   800909 |   765127 |     2565    697 |        1 |        8
212.73/212.80	c  212s |      20 |   806798 |   770527 |     2565    701 |        1 |        8
214.73/214.84	c  214s |      20 |   812681 |   776027 |     2565    705 |        1 |        8
216.73/216.85	c  216s |      20 |   819361 |   782327 |     2565    710 |        1 |        8
218.73/218.89	c  218s |      20 |   825611 |   787927 |     2565    714 |        1 |        8
220.83/220.91	c  220s |      20 |   830821 |   792927 |     2565    718 |        1 |        8
222.83/222.92	c  222s |      20 |   836701 |   798527 |     2565    722 |        1 |        8
224.83/224.94	c  224s |      20 |   842983 |   804527 |     2565    726 |        1 |        8
226.83/226.97	c  226s |      20 |   848833 |   810027 |     2565    730 |        1 |        8
228.83/228.98	c  228s |      20 |   855203 |   816227 |     2565    735 |        1 |        8
230.83/230.98	c  230s |      20 |   861273 |   821927 |     2565    739 |        1 |        8
232.83/232.99	c  232s |      20 |   867469 |   827927 |     2565    743 |        1 |        8
234.93/235.01	c  234s |      20 |   874224 |   834527 |     2565    748 |        1 |        8
236.92/237.05	c  236s |      20 |   880889 |   840927 |     2565    753 |        1 |        8
238.92/239.07	c  238s |      20 |   886945 |   846427 |     2565    757 |        1 |        8
241.02/241.11	c  240s |      20 |   893211 |   852127 |     2565    761 |        1 |        8
243.03/243.12	c  242s |      20 |   899752 |   858227 |     2565    765 |        1 |        8
245.02/245.13	c  244s |      20 |   907195 |   865027 |     2565    770 |        1 |        8
247.02/247.14	c  246s |      20 |   913917 |   871227 |     2565    775 |        1 |        8
249.02/249.14	c  248s |      20 |   920304 |   877327 |     2565    779 |        1 |        8
251.01/251.15	c  250s |      20 |   927061 |   883427 |     2565    784 |        1 |        8
253.02/253.16	c  252s |      20 |   933745 |   889727 |     2565    788 |        1 |        8
255.01/255.17	c  254s |      20 |   940641 |   896327 |     2565    793 |        1 |        8
257.01/257.19	c  256s |      20 |   947081 |   902627 |     2565    798 |        1 |        8
259.11/259.20	c  258s |      20 |   954334 |   909227 |     2565    802 |        1 |        8
261.11/261.20	c  260s |      20 |   960956 |   915527 |     2565    807 |        1 |        8
263.11/263.21	c  262s |      20 |   967964 |   922227 |     2565    812 |        1 |        8
265.11/265.23	c  264s |      20 |   974726 |   928827 |     2565    817 |        1 |        8
267.10/267.25	c  266s |      20 |   981308 |   934827 |     2565    821 |        1 |        8
269.10/269.25	c  268s |      20 |   988273 |   941327 |     2565    826 |        1 |        8
271.10/271.27	c  270s |      20 |   995561 |   948127 |     2565    831 |        1 |        8
273.10/273.27	c  272s |      20 |  1002907 |   955227 |     2565    836 |        1 |        8
275.10/275.29	c  274s |      20 |  1009584 |   961727 |     2565    841 |        1 |        8
277.10/277.29	c  276s |      20 |  1016742 |   968727 |     2565    846 |        1 |        8
279.20/279.32	c  278s |      20 |  1023868 |   975727 |     2565    851 |        1 |        8
281.20/281.34	c  280s |      20 |  1030388 |   981927 |     2565    855 |        1 |        8
283.20/283.37	c  282s |      20 |  1036852 |   988127 |     2565    860 |        1 |        8
285.20/285.38	c  284s |      20 |  1043530 |   994227 |     2822    864 |        1 |        8
287.20/287.39	c  286s |      20 |  1049578 |   999527 |     2822    867 |        1 |        8
287.50/287.68	c  286s |      21 |  1050399 |  1000345 |     2822    868 |        1 |        8
289.50/289.70	c  288s |      21 |  1058455 |  1008245 |     2822    873 |        1 |        8
291.60/291.70	c  290s |      21 |  1066281 |  1015845 |     2822    878 |        1 |        8
293.61/293.71	c  292s |      21 |  1074132 |  1023545 |     2822    883 |        1 |        8
295.60/295.71	c  294s |      21 |  1082044 |  1031245 |     2822    888 |        1 |        8
297.59/297.73	c  296s |      21 |  1089613 |  1038745 |     2822    893 |        1 |        8
299.59/299.73	c  298s |      21 |  1097092 |  1046045 |     2822    898 |        1 |        8
301.59/301.73	c  300s |      21 |  1104764 |  1053445 |     2822    903 |        1 |        8
303.60/303.75	c  302s |      21 |  1111793 |  1060345 |     2822    907 |        1 |        8
305.59/305.76	c  305s |      21 |  1119378 |  1067845 |     2822    912 |        1 |        8
307.59/307.78	c  307s |      21 |  1126992 |  1075245 |     2822    917 |        1 |        8
309.59/309.79	c  309s |      21 |  1134542 |  1082645 |     2822    922 |        1 |        8
311.69/311.80	c  311s |      21 |  1142383 |  1090245 |     2822    927 |        1 |        8
313.69/313.81	c  313s |      21 |  1150476 |  1098145 |     2822    932 |        1 |        8
315.70/315.82	c  315s |      21 |  1158252 |  1105645 |     2822    937 |        1 |        8
317.68/317.83	c  317s |      21 |  1165688 |  1112745 |     2822    942 |        1 |        8
319.68/319.85	c  319s |      21 |  1173696 |  1120345 |     2822    947 |        1 |        8
321.68/321.86	c  321s |      21 |  1181787 |  1128045 |     2822    952 |        1 |        8
323.68/323.88	c  323s |      21 |  1189751 |  1135545 |     2822    957 |        1 |        8
325.68/325.89	c  325s |      21 |  1197594 |  1142845 |     2822    962 |        1 |        8
327.78/327.92	c  327s |      21 |  1205046 |  1149745 |     2822    966 |        1 |        8
329.77/329.92	c  329s |      21 |  1212901 |  1157145 |     2822    971 |        1 |        8
331.77/331.96	c  331s |      21 |  1220027 |  1164045 |     2822    976 |        1 |        8
333.77/333.98	c  333s |      21 |  1227186 |  1170845 |     2822    980 |        1 |        8
335.87/336.00	c  335s |      21 |  1234921 |  1178245 |     2822    985 |        1 |        8
337.87/338.02	c  337s |      21 |  1241930 |  1184745 |     2822    989 |        1 |        8
339.87/340.02	c  339s |      21 |  1249058 |  1191545 |     2822    994 |        1 |        8
341.86/342.06	c  341s |      21 |  1256062 |  1197945 |     2822    998 |        1 |        8
343.86/344.08	c  343s |      21 |  1263974 |  1205345 |     2822   1003 |        1 |        8
345.86/346.08	c  345s |      21 |  1272054 |  1212945 |     2822   1008 |        1 |        8
347.96/348.12	c  347s |      21 |  1279601 |  1219945 |     2822   1012 |        1 |        8
349.96/350.14	c  349s |      21 |  1287457 |  1227345 |     2822   1017 |        1 |        8
351.97/352.18	c  351s |      21 |  1294375 |  1233645 |     2822   1021 |        1 |        8
353.96/354.20	c  353s |      21 |  1301751 |  1240345 |     2822   1026 |        1 |        8
356.06/356.23	c  355s |      21 |  1308900 |  1246945 |     2822   1030 |        1 |        8
358.05/358.23	c  357s |      21 |  1316546 |  1254345 |     2822   1035 |        1 |        8
360.05/360.24	c  359s |      21 |  1324588 |  1261945 |     2822   1040 |        1 |        8
362.05/362.25	c  361s |      21 |  1332448 |  1269345 |     2822   1045 |        1 |        8
364.06/364.25	c  363s |      21 |  1340137 |  1276445 |     2822   1049 |        1 |        8
366.05/366.26	c  365s |      21 |  1347423 |  1283145 |     2822   1054 |        1 |        8
368.05/368.27	c  367s |      21 |  1355012 |  1290245 |     2822   1059 |        1 |        8
370.05/370.28	c  369s |      21 |  1362530 |  1297245 |     2822   1063 |        1 |        8
372.05/372.29	c  371s |      21 |  1369963 |  1304045 |     2822   1068 |        1 |        8
374.05/374.29	c  373s |      21 |  1377693 |  1311445 |     2822   1073 |        1 |        8
376.16/376.32	c  375s |      21 |  1385646 |  1318945 |     2822   1078 |        1 |        8
378.15/378.34	c  377s |      21 |  1393346 |  1326445 |     2822   1082 |        1 |        8
380.15/380.36	c  379s |      21 |  1401400 |  1333945 |     2822   1087 |        1 |        8
382.15/382.37	c  381s |      21 |  1409398 |  1341445 |     2822   1092 |        1 |        8
384.15/384.39	c  383s |      21 |  1416903 |  1348445 |     2822   1097 |        1 |        8
386.25/386.41	c  385s |      21 |  1424472 |  1355545 |     2822   1102 |        1 |        8
388.25/388.41	c  387s |      21 |  1431716 |  1362445 |     2822   1106 |        1 |        8
390.24/390.43	c  389s |      21 |  1438982 |  1369145 |     2822   1111 |        1 |        8
392.24/392.45	c  391s |      21 |  1446647 |  1375945 |     2822   1115 |        1 |        8
394.24/394.45	c  393s |      21 |  1454353 |  1383045 |     2822   1120 |        1 |        8
396.24/396.46	c  395s |      21 |  1461711 |  1389845 |     2822   1124 |        1 |        8
398.24/398.46	c  397s |      21 |  1469015 |  1396745 |     2822   1129 |        1 |        8
400.25/400.47	c  399s |      21 |  1476383 |  1403745 |     2822   1133 |        1 |        8
402.24/402.47	c  401s |      21 |  1484316 |  1411245 |     2822   1138 |        1 |        8
404.24/404.49	c  403s |      21 |  1491784 |  1418145 |     2822   1143 |        1 |        8
406.24/406.49	c  405s |      21 |  1499170 |  1425045 |     2822   1147 |        1 |        8
408.33/408.50	c  407s |      21 |  1506984 |  1432545 |     2822   1152 |        1 |        8
410.33/410.51	c  409s |      21 |  1514182 |  1439245 |     2822   1157 |        1 |        8
412.34/412.53	c  411s |      21 |  1521264 |  1445845 |     2822   1161 |        1 |        8
414.33/414.54	c  413s |      21 |  1528568 |  1452645 |     2822   1166 |        1 |        8
416.33/416.57	c  415s |      21 |  1535319 |  1458845 |     2822   1170 |        1 |        8
418.33/418.59	c  417s |      21 |  1542639 |  1465645 |     2822   1174 |        1 |        8
420.32/420.59	c  419s |      21 |  1550150 |  1472645 |     2822   1179 |        1 |        8
422.42/422.61	c  421s |      21 |  1557476 |  1479145 |     2822   1183 |        1 |        8
424.43/424.64	c  423s |      21 |  1564432 |  1485845 |     2822   1188 |        1 |        8
426.42/426.66	c  425s |      21 |  1571465 |  1492545 |     3105   1192 |        1 |        8
428.42/428.68	c  427s |      21 |  1578512 |  1498945 |     3105   1196 |        1 |        8
428.93/429.14	c  428s |      22 |  1580282 |  1500622 |     3105   1197 |        1 |        8
430.92/431.16	c  430s |      22 |  1588487 |  1507922 |     3105   1201 |        1 |        8
432.92/433.18	c  432s |      22 |  1596709 |  1515622 |     3105   1206 |        1 |        8
435.02/435.21	c  434s |      22 |  1604784 |  1523522 |     3105   1210 |        1 |        8
437.02/437.24	c  436s |      22 |  1610912 |  1529422 |     3105   1214 |        1 |        8
439.02/439.25	c  438s |      22 |  1618007 |  1536222 |     3105   1218 |        1 |        8
441.02/441.29	c  440s |      22 |  1624121 |  1542022 |     3105   1222 |        1 |        8
443.01/443.29	c  442s |      22 |  1629503 |  1547022 |     3105   1225 |        1 |        8
445.11/445.30	c  444s |      22 |  1635001 |  1552222 |     3105   1228 |        1 |        8
447.11/447.33	c  446s |      22 |  1640193 |  1557122 |     3105   1231 |        1 |        8
449.11/449.34	c  448s |      22 |  1645071 |  1561922 |     3105   1234 |        1 |        8
451.12/451.35	c  450s |      22 |  1651797 |  1568222 |     3105   1237 |        1 |        8
453.13/453.37	c  452s |      22 |  1657687 |  1573622 |     3105   1241 |        1 |        8
455.12/455.38	c  454s |      22 |  1664043 |  1579522 |     3105   1244 |        1 |        8
457.21/457.40	c  456s |      22 |  1670481 |  1585622 |     3105   1248 |        1 |        8
459.21/459.41	c  458s |      22 |  1676364 |  1591322 |     3105   1251 |        1 |        8
461.21/461.43	c  460s |      22 |  1683079 |  1597622 |     3105   1255 |        1 |        8
463.21/463.43	c  462s |      22 |  1689868 |  1604022 |     3105   1259 |        1 |        8
465.21/465.46	c  464s |      22 |  1696169 |  1609722 |     3105   1263 |        1 |        8
467.20/467.49	c  466s |      22 |  1701983 |  1614922 |     3105   1266 |        1 |        8
469.20/469.49	c  468s |      22 |  1707623 |  1619722 |     3105   1269 |        1 |        8
471.30/471.50	c  470s |      22 |  1712980 |  1624622 |     3105   1272 |        1 |        8
473.30/473.51	c  472s |      22 |  1718860 |  1630122 |     3105   1275 |        1 |        8
475.30/475.53	c  474s |      22 |  1724541 |  1635522 |     3105   1278 |        1 |        8
477.30/477.56	c  476s |      22 |  1729549 |  1640122 |     3105   1281 |        1 |        8
479.40/479.61	c  478s |      22 |  1734300 |  1644622 |     3105   1284 |        1 |        8
481.40/481.63	c  480s |      22 |  1739504 |  1649322 |     3105   1287 |        1 |        8
483.40/483.65	c  482s |      22 |  1745151 |  1654622 |     3105   1290 |        1 |        8
485.39/485.67	c  484s |      22 |  1751324 |  1660422 |     3105   1293 |        1 |        8
487.39/487.69	c  486s |      22 |  1756733 |  1665122 |     3105   1296 |        1 |        8
489.49/489.72	c  488s |      22 |  1760906 |  1668822 |     3105   1298 |        1 |        8
491.50/491.73	c  490s |      22 |  1765564 |  1673122 |     3105   1301 |        1 |        8
493.49/493.74	c  492s |      22 |  1770699 |  1677822 |     3105   1304 |        1 |        8
495.49/495.75	c  494s |      22 |  1775748 |  1682722 |     3105   1307 |        1 |        8
497.50/497.77	c  497s |      22 |  1781235 |  1688122 |     3105   1310 |        1 |        8
499.59/499.81	c  499s |      22 |  1786932 |  1693622 |     3105   1313 |        1 |        8
501.59/501.83	c  501s |      22 |  1793801 |  1700122 |     3105   1317 |        1 |        8
503.60/503.84	c  503s |      22 |  1800293 |  1706422 |     3105   1321 |        1 |        8
505.59/505.87	c  505s |      22 |  1806838 |  1712822 |     3105   1325 |        1 |        8
507.59/507.87	c  507s |      22 |  1813138 |  1718722 |     3105   1329 |        1 |        8
509.69/509.90	c  509s |      22 |  1818487 |  1723922 |     3105   1332 |        1 |        8
511.69/511.92	c  511s |      22 |  1824501 |  1729722 |     3105   1335 |        1 |        8
513.68/513.93	c  513s |      22 |  1830613 |  1734722 |     3105   1338 |        1 |        8
515.69/515.96	c  515s |      22 |  1836890 |  1740822 |     3105   1342 |        1 |        8
517.68/517.97	c  517s |      22 |  1842635 |  1746322 |     3105   1345 |        1 |        8
519.68/519.98	c  519s |      22 |  1848393 |  1751422 |     3105   1348 |        1 |        8
521.68/521.99	c  521s |      22 |  1853935 |  1756722 |     3105   1352 |        1 |        8
523.78/524.01	c  523s |      22 |  1860622 |  1763022 |     3105   1355 |        1 |        8
525.78/526.05	c  525s |      22 |  1866717 |  1768322 |     3105   1359 |        1 |        8
527.78/528.07	c  527s |      22 |  1872326 |  1773722 |     3105   1362 |        1 |        8
529.77/530.07	c  529s |      22 |  1878132 |  1779022 |     3105   1365 |        1 |        8
531.87/532.10	c  531s |      22 |  1884364 |  1784922 |     3105   1369 |        1 |        8
533.87/534.12	c  533s |      22 |  1891281 |  1791522 |     3105   1373 |        1 |        8
535.87/536.15	c  535s |      22 |  1898594 |  1798422 |     3105   1377 |        1 |        8
537.87/538.17	c  537s |      22 |  1905771 |  1805422 |     3105   1382 |        1 |        8
539.87/540.17	c  539s |      22 |  1913202 |  1812422 |     3105   1386 |        1 |        8
541.87/542.19	c  541s |      22 |  1919735 |  1818822 |     3105   1390 |        1 |        8
543.87/544.19	c  543s |      22 |  1926788 |  1825722 |     3105   1394 |        1 |        8
545.97/546.20	c  545s |      22 |  1933800 |  1832622 |     3105   1398 |        1 |        8
547.96/548.22	c  547s |      22 |  1941263 |  1839822 |     3105   1403 |        2 |       16
549.96/550.22	c  549s |      22 |  1948621 |  1846822 |     3105   1407 |        2 |       16
551.97/552.23	c  551s |      22 |  1955832 |  1853622 |     3105   1411 |        2 |       16
553.96/554.25	c  553s |      22 |  1963343 |  1860622 |     3105   1415 |        2 |       16
555.96/556.27	c  555s |      22 |  1970339 |  1867222 |     3105   1419 |        2 |       16
557.95/558.27	c  557s |      22 |  1977560 |  1874122 |     3105   1423 |        2 |       16
559.96/560.29	c  559s |      22 |  1984714 |  1880922 |     3105   1428 |        2 |       16
561.97/562.30	c  561s |      22 |  1992173 |  1888022 |     3105   1432 |        2 |       16
564.07/564.32	c  563s |      22 |  1999779 |  1895522 |     3105   1436 |        2 |       16
566.06/566.34	c  565s |      22 |  2007673 |  1903222 |     3105   1441 |        2 |       16
568.05/568.34	c  567s |      22 |  2015768 |  1911022 |     3105   1446 |        2 |       16
570.05/570.35	c  569s |      22 |  2022613 |  1917522 |     3105   1450 |        2 |       16
572.05/572.37	c  571s |      22 |  2029219 |  1923722 |     3105   1453 |        2 |       16
574.15/574.40	c  573s |      22 |  2035711 |  1929922 |     3105   1457 |        2 |       16
576.16/576.43	c  575s |      22 |  2042309 |  1936222 |     3105   1461 |        2 |       16
578.15/578.46	c  577s |      22 |  2048760 |  1942422 |     3105   1465 |        2 |       16
580.15/580.46	c  579s |      22 |  2056587 |  1949722 |     3105   1469 |        2 |       16
582.15/582.48	c  581s |      22 |  2064153 |  1956822 |     3105   1473 |        2 |       16
584.25/584.50	c  583s |      22 |  2071188 |  1963522 |     3105   1477 |        2 |       16
586.25/586.51	c  585s |      22 |  2078518 |  1970222 |     3105   1481 |        2 |       16
588.25/588.51	c  587s |      22 |  2086022 |  1977322 |     3105   1486 |        2 |       16
590.24/590.54	c  589s |      22 |  2093863 |  1984722 |     3105   1490 |        2 |       16
592.24/592.56	c  591s |      22 |  2101168 |  1991622 |     3105   1494 |        2 |       16
594.24/594.57	c  593s |      22 |  2108872 |  1998822 |     3105   1499 |        2 |       16
596.24/596.59	c  595s |      22 |  2115961 |  2005522 |     3105   1503 |        2 |       16
598.34/598.61	c  597s |      22 |  2122591 |  2011922 |     3105   1507 |        2 |       16
600.34/600.65	c  599s |      22 |  2129987 |  2019022 |     3105   1511 |        2 |       16
602.34/602.67	c  601s |      22 |  2137156 |  2025822 |     3105   1515 |        2 |       16
604.34/604.67	c  603s |      22 |  2144889 |  2033122 |     3105   1519 |        2 |       16
606.44/606.71	c  605s |      22 |  2152140 |  2040022 |     3105   1524 |        2 |       16
608.43/608.72	c  607s |      22 |  2159331 |  2046722 |     3105   1528 |        2 |       16
610.43/610.75	c  609s |      22 |  2165963 |  2053022 |     3105   1531 |        2 |       16
612.44/612.76	c  612s |      22 |  2172901 |  2059522 |     3105   1535 |        2 |       16
614.43/614.79	c  614s |      22 |  2179680 |  2065822 |     3105   1539 |        2 |       16
616.53/616.80	c  616s |      22 |  2187130 |  2072922 |     3105   1543 |        2 |       16
618.53/618.83	c  618s |      22 |  2194131 |  2079622 |     3105   1547 |        2 |       16
620.53/620.86	c  620s |      22 |  2200876 |  2085922 |     3105   1551 |        2 |       16
622.53/622.86	c  622s |      22 |  2207158 |  2091922 |     3105   1555 |        2 |       16
624.53/624.87	c  624s |      22 |  2214068 |  2098522 |     3105   1559 |        2 |       16
626.62/626.90	c  626s |      22 |  2220914 |  2104622 |     3105   1563 |        2 |       16
628.62/628.90	c  628s |      22 |  2227797 |  2110922 |     3105   1566 |        2 |       16
630.62/630.93	c  630s |      22 |  2234504 |  2117222 |     3105   1570 |        2 |       16
632.62/632.93	c  632s |      22 |  2240794 |  2123122 |     3105   1574 |        2 |       16
634.62/634.93	c  634s |      22 |  2247803 |  2129622 |     3105   1578 |        2 |       16
636.63/636.99	c  636s |      22 |  2254961 |  2136122 |     3105   1582 |        2 |       16
638.71/639.00	c  638s |      22 |  2261969 |  2142722 |     3105   1586 |        2 |       16
640.71/641.02	c  640s |      22 |  2268858 |  2148922 |     3105   1589 |        2 |       16
642.71/643.02	c  642s |      22 |  2275359 |  2155122 |     3105   1593 |        2 |       16
644.71/645.04	c  644s |      22 |  2282134 |  2161522 |     3105   1597 |        2 |       16
646.71/647.05	c  646s |      22 |  2289470 |  2168522 |     3105   1601 |        2 |       16
648.71/649.07	c  648s |      22 |  2296887 |  2175522 |     3105   1605 |        2 |       16
650.81/651.10	c  650s |      22 |  2303556 |  2181922 |     3105   1609 |        2 |       16
652.81/653.11	c  652s |      22 |  2309617 |  2187722 |     3105   1613 |        2 |       16
654.81/655.12	c  654s |      22 |  2316719 |  2194222 |     3105   1617 |        2 |       16
656.80/657.14	c  656s |      22 |  2323895 |  2201022 |     3105   1621 |        2 |       16
658.80/659.16	c  658s |      22 |  2330991 |  2207422 |     3105   1625 |        2 |       16
660.81/661.20	c  660s |      22 |  2337784 |  2213722 |     3105   1628 |        2 |       16
662.90/663.22	c  662s |      22 |  2344521 |  2219922 |     3105   1632 |        2 |       16
664.90/665.23	c  664s |      22 |  2351087 |  2226122 |     3105   1636 |        2 |       16
666.90/667.25	c  666s |      22 |  2357338 |  2232122 |     3105   1640 |        2 |       16
668.90/669.27	c  668s |      22 |  2363633 |  2237822 |     3416   1643 |        2 |       16
670.90/671.28	c  670s |      22 |  2370296 |  2244022 |     3416   1646 |        2 |       16
672.91/673.28	c  672s |      22 |  2376981 |  2250322 |     3416   1650 |        2 |       16
673.10/673.49	c  672s |      23 |  2377729 |  2251038 |     3416   1650 |        2 |       16
675.11/675.49	c  674s |      23 |  2383068 |  2255838 |     3416   1653 |        2 |       16
677.20/677.50	c  676s |      23 |  2388895 |  2261338 |     3416   1656 |        2 |       16
679.19/679.54	c  678s |      23 |  2394819 |  2266838 |     3416   1659 |        2 |       16
681.19/681.56	c  680s |      23 |  2399959 |  2271838 |     3416   1662 |        2 |       16
683.19/683.56	c  682s |      23 |  2406352 |  2278038 |     3416   1665 |        2 |       16
685.19/685.59	c  684s |      23 |  2411854 |  2283438 |     3416   1668 |        2 |       16
687.20/687.59	c  686s |      23 |  2417952 |  2289138 |     3416   1671 |        2 |       16
689.29/689.61	c  688s |      23 |  2424000 |  2294838 |     3416   1675 |        2 |       16
691.29/691.62	c  690s |      23 |  2429471 |  2300138 |     3416   1678 |        2 |       16
693.29/693.64	c  692s |      23 |  2435631 |  2305938 |     3416   1681 |        2 |       16
695.29/695.66	c  694s |      23 |  2441079 |  2310938 |     3416   1684 |        2 |       16
697.29/697.69	c  696s |      23 |  2446420 |  2316038 |     3416   1687 |        2 |       16
699.29/699.70	c  698s |      23 |  2452882 |  2322338 |     3416   1690 |        2 |       16
701.39/701.73	c  700s |      23 |  2458461 |  2327838 |     3416   1693 |        2 |       16
703.39/703.76	c  703s |      23 |  2464791 |  2333938 |     3416   1697 |        2 |       16
705.39/705.78	c  705s |      23 |  2471181 |  2340238 |     3416   1700 |        2 |       16
707.48/707.81	c  707s |      23 |  2477292 |  2346238 |     3416   1704 |        2 |       16
709.49/709.81	c  709s |      23 |  2482685 |  2351538 |     3416   1707 |        2 |       16
711.50/711.84	c  711s |      23 |  2489224 |  2357938 |     3416   1710 |        2 |       16
713.49/713.86	c  713s |      23 |  2495586 |  2364238 |     3416   1714 |        2 |       16
715.59/715.90	c  715s |      23 |  2501911 |  2370438 |     3416   1717 |        2 |       16
717.59/717.94	c  717s |      23 |  2507738 |  2376138 |     3416   1721 |        2 |       16
719.59/719.96	c  719s |      23 |  2514110 |  2382338 |     3416   1724 |        2 |       16
721.59/721.96	c  721s |      23 |  2520481 |  2388238 |     3416   1727 |        2 |       16
723.59/723.99	c  723s |      23 |  2526848 |  2394138 |     3416   1731 |        2 |       16
725.69/726.00	c  725s |      23 |  2533065 |  2399738 |     3416   1734 |        2 |       16
727.68/728.03	c  727s |      23 |  2539267 |  2405838 |     3416   1737 |        2 |       16
729.68/730.05	c  729s |      23 |  2545710 |  2412138 |     3416   1741 |        2 |       16
731.68/732.06	c  731s |      23 |  2552084 |  2418338 |     3416   1745 |        2 |       16
732.58/732.98	c  732s |      23 |  2555164 |  2421368 |     3416   1746 |        2 |       16
732.58/732.98	c #cpu_time = 730.105s
732.58/732.98	c #wall_clock_time = 732.226s
732.58/732.98	c #decision = 2555164
732.58/732.98	c #random_decision = 8884
732.58/732.98	c #conflict = 2421368
732.58/732.98	c #restart = 23
732.58/732.98	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=3
732.58/732.98	c lower bound updated to 3
732.58/732.98	c BCD2: 3 <= obj <= 224
732.58/732.98	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0
732.58/732.98	c BCD2: #sat=1 #unsat=3 bias=3/4
732.58/732.98	c Solving starts ...
732.58/732.98	c ============================[ Search Statistics ]============================
732.58/732.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
732.58/732.98	c       |         |          |          |    Limit     GC | Var      | Constra 
732.58/732.98	c =============================================================================
732.58/732.98	c  0.0s |       0 |        0 |        0 |     3416      0 |        3 |       16
732.68/733.05	c  0.1s |       1 |      124 |      100 |     3416      0 |        3 |       17
732.78/733.12	c  0.1s |       2 |      302 |      250 |     3416      0 |        3 |       17
732.88/733.20	c  0.2s |       3 |      582 |      475 |     3416      1 |        3 |       17
732.88/733.25	c  0.3s |       3 |      960 |      756 |     3416      1 |        3 |       17
732.88/733.25	c #cpu_time = 0.272s
732.88/733.25	c #wall_clock_time = 0.273s
732.88/733.25	c #decision = 960
732.88/733.25	c #random_decision = 2
732.88/733.25	c #conflict = 756
732.88/733.25	c #restart = 3
732.88/733.25	o 135
732.88/733.25	c BCD2: updating upper bound: 224 -> 134
732.88/733.25	c BCD2: 3 <= obj <= 134
732.88/733.25	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0
732.88/733.25	c BCD2: #sat=2 #unsat=3 bias=3/5
732.88/733.25	c Solving starts ...
732.88/733.25	c ============================[ Search Statistics ]============================
732.88/733.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
732.88/733.25	c       |         |          |          |    Limit     GC | Var      | Constra 
732.88/733.25	c =============================================================================
732.88/733.25	c  0.0s |       0 |        0 |        0 |     3416      0 |        3 |       17
732.88/733.27	c  0.0s |       0 |       79 |        3 |     3416      0 |        3 |       17
732.88/733.27	c #cpu_time = 0.011s
732.88/733.27	c #wall_clock_time = 0.011s
732.88/733.27	c #decision = 79
732.88/733.27	c #random_decision = 0
732.88/733.27	c #conflict = 3
732.88/733.27	c #restart = 0
732.88/733.27	o 15
732.88/733.27	c BCD2: hardening fixes 4 literals
732.88/733.27	c BCD2: updating upper bound: 134 -> 14
732.88/733.27	c BCD2: 3 <= obj <= 14
732.88/733.27	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=4
732.88/733.27	c BCD2: #sat=3 #unsat=3 bias=3/6
732.88/733.27	c Solving starts ...
732.88/733.27	c ============================[ Search Statistics ]============================
732.88/733.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
732.88/733.27	c       |         |          |          |    Limit     GC | Var      | Constra 
732.88/733.27	c =============================================================================
732.88/733.27	c  0.0s |       0 |        0 |        0 |     3416      0 |       43 |       21
732.88/733.29	c  0.0s |       0 |      101 |       51 |     3416      0 |       43 |      117
732.88/733.29	c #cpu_time = 0.021s
732.88/733.29	c #wall_clock_time = 0.021s
732.88/733.29	c #decision = 101
732.88/733.29	c #random_decision = 0
732.88/733.29	c #conflict = 51
732.88/733.29	c #restart = 0
732.88/733.29	o 5
732.88/733.29	c BCD2: hardening fixes 1 literals
732.88/733.29	c BCD2: updating upper bound: 14 -> 4
732.88/733.29	c BCD2: 3 <= obj <= 4
732.88/733.29	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=5
732.88/733.29	c BCD2: #sat=4 #unsat=3 bias=3/7
732.88/733.29	c Solving starts ...
732.88/733.29	c ============================[ Search Statistics ]============================
732.88/733.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
732.88/733.29	c       |         |          |          |    Limit     GC | Var      | Constra 
732.88/733.29	c =============================================================================
732.88/733.29	c  0.0s |       0 |        0 |        0 |     3416      0 |       53 |      118
732.98/733.30	c  0.0s |       0 |       70 |       31 |     3416      0 |       53 |      143
732.98/733.30	c #cpu_time = 0.015s
732.98/733.30	c #wall_clock_time = 0.015s
732.98/733.30	c #decision = 70
732.98/733.30	c #random_decision = 0
732.98/733.30	c #conflict = 31
732.98/733.30	c #restart = 0
732.98/733.30	o 3
732.98/733.30	s OPTIMUM FOUND
732.98/733.30	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10
732.98/733.30	v x11 -x12 -x13 x14 -x15 -x16 x17 x18 x19 -x20
732.98/733.30	v -x21 -x22 -x23 -x24 x25 x26 x27 x28 x29 -x30
732.98/733.30	v -x31 x32 x33 -x34 x35 -x36 -x37 -x38 -x39 x40
732.98/733.30	v x41 x42 x43 x44 -x45 x46 x47 -x48 x49 -x50
732.98/733.30	v -x51 x52 -x53 -x54 -x55 -x56 x57 x58 x59 -x60
732.98/733.30	v x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70
732.98/733.30	v -x71 -x72 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
732.98/733.30	v x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
732.98/733.30	v x91 x92 -x93 -x94 x95 -x96
732.98/733.30	c total CPU time = 731.182s
732.98/733.30	c total wall clock time = 733.306s

Verifier Data 

OK	3

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

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

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


[startup+0 s]
/proc/loadavg: 2.37 2.30 2.24 3/179 2721
/proc/meminfo: memFree=29201868/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 2734 0 0 0 0 0 0 0 20 0 4 0 107466561 750186496 3605 33554432000 4194304 16246674 140735986994112 140735986993536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 183919 3615 441 2943 0 180813 0
[pid=2721/tid=2722] ppid=2718 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 797372416 3783 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 802615296 3802 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 806809600 3818 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100133 s]
/proc/loadavg: 2.37 2.30 2.24 3/179 2721
/proc/meminfo: memFree=29201868/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 21116 0 0 0 6 3 0 0 20 0 4 0 107466561 1247350784 21975 33554432000 4194304 16246674 140735986994112 140735986977104 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 304529 21981 758 2943 0 301423 0
[pid=2721/tid=2722] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 21986 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 21990 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 21994 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200532 s]
/proc/loadavg: 2.37 2.30 2.24 3/179 2721
/proc/meminfo: memFree=29201868/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 37402 0 0 0 13 5 0 0 20 0 4 0 107466561 1247350784 38262 33554432000 4194304 16246674 140735986994112 140735986977104 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 304529 38274 758 2943 0 301423 0
[pid=2721/tid=2722] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 38277 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 38282 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 38287 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300506 s]
/proc/loadavg: 2.37 2.30 2.24 3/179 2721
/proc/meminfo: memFree=29201868/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 54119 0 0 0 21 8 0 0 20 0 4 0 107466561 1247350784 54979 33554432000 4194304 16246674 140735986994112 140735986977104 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 304529 54986 758 2943 0 301423 0
[pid=2721/tid=2722] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 54990 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 54994 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 55000 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700407 s]
/proc/loadavg: 2.37 2.30 2.24 3/179 2721
/proc/meminfo: memFree=29201868/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 137197 0 0 0 49 20 0 0 20 0 4 0 107466561 1247350784 138056 33554432000 4194304 16246674 140735986994112 140735986977104 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 304529 138062 765 2943 0 301423 0
[pid=2721/tid=2722] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 138067 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 138076 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1247350784 138080 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.37 2.30 2.24 3/183 2725
/proc/meminfo: memFree=28355988/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 245883 0 0 0 113 36 0 0 20 0 4 0 107466561 1249447936 246719 33554432000 4194304 16246674 140735986994112 140735986993424 13759937 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 305041 246719 853 2943 0 301935 0
[pid=2721/tid=2722] ppid=2718 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1249447936 246719 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1249447936 246719 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1249447936 246719 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10042 s]
/proc/loadavg: 2.37 2.30 2.24 3/183 2725
/proc/meminfo: memFree=28178696/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1305156 CPUtime=3.09 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 267143 0 0 0 270 39 0 0 20 0 4 0 107466561 1336479744 267979 33554432000 4194304 16246674 140735986994112 140735986976000 13760056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 326289 267979 853 2943 0 323183 0
[pid=2721/tid=2722] ppid=2718 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1336479744 267979 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1336479744 267979 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1336479744 267979 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

[startup+6.30042 s]
/proc/loadavg: 2.34 2.30 2.24 3/183 2725
/proc/meminfo: memFree=28128232/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 267681 0 0 0 590 39 0 0 20 0 4 0 107466561 1338576896 268517 33554432000 4194304 16246674 140735986994112 140735986976000 5546005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 326801 268517 853 2943 0 323695 0
[pid=2721/tid=2722] ppid=2718 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1338576896 268517 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1338576896 268517 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1338576896 268517 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.31 2.29 2.23 3/183 2725
/proc/meminfo: memFree=28126948/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 268152 0 0 0 1229 39 0 0 20 0 4 0 107466561 1339625472 268988 33554432000 4194304 16246674 140735986994112 140735986977112 5546859 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 327057 268988 853 2943 0 323951 0
[pid=2721/tid=2722] ppid=2718 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1339625472 268988 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1339625472 268988 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1339625472 268988 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.24 2.28 2.23 3/183 2725
/proc/meminfo: memFree=28127388/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 268152 0 0 0 2509 40 0 0 20 0 4 0 107466561 1339625472 268988 33554432000 4194304 16246674 140735986994112 140735986976000 5721571 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 327057 268988 853 2943 0 323951 0
[pid=2721/tid=2722] ppid=2718 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1339625472 268988 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1339625472 268988 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1339625472 268988 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.35 2.30 2.24 4/183 2726
/proc/meminfo: memFree=28124240/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 268879 0 0 0 5068 40 0 0 20 0 4 0 107466561 1342771200 269715 33554432000 4194304 16246674 140735986994112 140735986977112 5808492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 327825 269715 853 2943 0 324719 0
[pid=2721/tid=2722] ppid=2718 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1342771200 269715 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1342771200 269715 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1342771200 269715 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.26 2.28 2.23 3/183 2727
/proc/meminfo: memFree=28122688/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 269177 0 0 0 10187 41 0 0 20 0 4 0 107466561 1343819776 270013 33554432000 4194304 16246674 140735986994112 140735986976000 5721373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 328081 270013 854 2943 0 324975 0
[pid=2721/tid=2722] ppid=2718 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1343819776 270013 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1343819776 270013 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1343819776 270013 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271234 0 0 0 58157 48 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986976000 5553752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 1319492

[startup+642.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 2788
/proc/meminfo: memFree=28135972/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=642.01 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271271 0 0 0 64153 48 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986976000 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 1319492

[startup+702.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 2790
/proc/meminfo: memFree=28136656/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=701.99 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271311 0 0 0 70151 48 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986976000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 1319492

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

[startup+716.8 s]
/proc/loadavg: 2.25 2.19 2.18 4/183 2791
/proc/meminfo: memFree=28136292/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=716.49 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271313 0 0 0 71600 49 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986976000 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 716.49
Current children cumulated vsize (KiB) 1319492

[startup+723.2 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 2791
/proc/meminfo: memFree=28136028/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=722.89 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271319 0 0 0 72240 49 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986992192 5861265 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 722.89
Current children cumulated vsize (KiB) 1319492

[startup+729.6 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 2791
/proc/meminfo: memFree=28135144/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=729.28 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271327 0 0 0 72879 49 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986976000 6020536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 729.28
Current children cumulated vsize (KiB) 1319492

[startup+731.2 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 2791
/proc/meminfo: memFree=28135144/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=730.88 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271327 0 0 0 73039 49 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986977112 5823131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 730.88
Current children cumulated vsize (KiB) 1319492

[startup+732 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 2791
/proc/meminfo: memFree=28135144/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=731.68 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271327 0 0 0 73119 49 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986977112 5600395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 731.68
Current children cumulated vsize (KiB) 1319492

[startup+732.8 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 2791
/proc/meminfo: memFree=28135144/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=732.48 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271327 0 0 0 73199 49 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986976000 5723029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 732.48
Current children cumulated vsize (KiB) 1319492

[startup+733.2 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 2791
/proc/meminfo: memFree=28135144/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=732.88 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271327 0 0 0 73239 49 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 140735986976000 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271809 855 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271809 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 732.88
Current children cumulated vsize (KiB) 1319492

[startup+733.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 2791
/proc/meminfo: memFree=28135144/32872528 swapFree=17892/1720544
[pid=2721] ppid=2718 vsize=1319492 CPUtime=732.98 cores=1,3,5,7
/proc/2721/stat : 2721 (toysat) R 2718 2721 31655 0 -1 4202496 271328 0 0 0 73249 49 0 0 20 0 4 0 107466561 1351159808 271810 33554432000 4194304 16246674 140735986994112 140735986976000 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2721/statm: 329873 271810 856 2943 0 326767 0
[pid=2721/tid=2722] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (toysat) S 2718 2721 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271810 33554432000 4194304 16246674 140735986994112 139948348910832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2721/tid=2723] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2723/stat : 2723 (toysat) S 2718 2721 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271810 33554432000 4194304 16246674 140735986994112 139948338420976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2721/tid=2724] ppid=2718 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (toysat) S 2718 2721 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107466561 1351159808 271810 33554432000 4194304 16246674 140735986994112 139948221000880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 732.98
Current children cumulated vsize (KiB) 1319492

Child status: 0
Real time (s): 733.317
CPU time (s): 732.995
CPU user time (s): 732.502
CPU system time (s): 0.492925
CPU usage (%): 99.956
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 732.502
system time used= 0.492925
maximum resident set size= 1087248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271332
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= 378
involuntary context switches= 740

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.59345 second user time and 4.34034 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 01:22:14
IDJOB=4080197
IDBENCH=48054
IDSOLVER=2542
FILE ID=node117/4080197-1465255334
RUNJOBID= node117-1465227498-31672
PBS_JOBID= 19843241
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080197-1465255334/watcher-4080197-1465255334 -o /tmp/evaluation-result-4080197-1465255334/solver-4080197-1465255334 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080197-1465255334.opb

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

MD5SUM BENCH= 74c00e33b4232d137ad873ae982593f6
RANDOM SEED=1776038936

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.56
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.088
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.54
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.088
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.53
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.088
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:        29202240 kB
Buffers:           12800 kB
Cached:            74724 kB
SwapCached:        55888 kB
Active:          1161236 kB
Inactive:          84656 kB
Active(anon):    1104476 kB
Inactive(anon):    56024 kB
Active(file):      56760 kB
Inactive(file):    28632 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67043784 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       2823852 kB
Mapped:            10028 kB
Shmem:                 0 kB
Slab:             567436 kB
SReclaimable:      11564 kB
SUnreclaim:       555872 kB
KernelStack:        1456 kB
PageTables:         9224 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2969044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2226176 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= 71708 MiB
End job on node117 at 2016-06-07 01:34:28