Trace number 4297021

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+glucose-syrup (2018-07-07)SAT 2303.5 290.847

General information on the benchmark

NameStripPacking/
StripPacking-T1a_c18.xml
MD5SUM2930e4ba32e3c7874205f5eb3c8396db
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark223.932
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Thu Jul 26 21:01:00 CEST 2018
0.65/0.55	c PID: 8815
0.65/0.55	c IP: 172.20.3.103
0.65/0.55	c HOST: node103.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.36/0.98	c (0,0) Parsing End
1.36/0.98	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.36/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.36/0.98	c (0,0) Constraint Name Generate Begin
1.36/0.99	c (0,0) Ctr:HOME/instance-4297021-1532631659.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.36/0.99	c (0,0) Constraint Name Generate End
1.36/0.99	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.36/0.99	c (0,0) CSP to CSPinCNF Begin
1.58/1.07	c (0,0) translated 6 (10%) constraints
1.58/1.07	c (0,0) translated 11 (20%) constraints
1.58/1.08	c (0,0) translated 16 (30%) constraints
1.58/1.08	c (0,0) translated 21 (40%) constraints
1.58/1.09	c (0,0) translated 26 (50%) constraints
1.58/1.09	c (0,0) translated 32 (60%) constraints
1.74/1.19	c (0,0) translated 37 (70%) constraints
1.92/1.24	c (0,0) translated 42 (80%) constraints
1.92/1.29	c (0,0) translated 47 (90%) constraints
2.18/1.33	c (0,0) translated 52 (100%) constraints
2.47/1.48	c (0,0) STATISTICS1:HOME/instance-4297021-1532631659.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,380,191,4,3,380:4;376:20;370:16;362:20;360:24;358:28;350:32;344:120;328:48;326:52;324:56;310:60;298:64;2:34,191:66;190:66;188:132;185:66;181:66;180:66;179:66;175:66;172:198;164:66;163:66;162:66;155:66;149:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.47/1.48	c (0,0) ===========================================
2.47/1.48	c (0,0) Order
2.47/1.48	c (0,0) ===========================================
2.47/1.49	c (0,0) translated 43 (10%) constraints
2.47/1.49	c (0,0) translated 85 (20%) constraints
2.47/1.49	c (0,0) translated 128 (30%) constraints
2.83/1.50	c (0,0) translated 170 (40%) constraints
2.83/1.50	c (0,0) translated 213 (50%) constraints
2.83/1.50	c (0,0) translated 255 (60%) constraints
2.83/1.51	c (0,0) translated 298 (70%) constraints
2.83/1.51	c (0,0) translated 340 (80%) constraints
2.83/1.52	c (0,0) translated 383 (90%) constraints
2.83/1.52	c (0,0) translated 425 (100%) constraints
2.83/1.52	c (0,0) CSP to CSPinCNF End
2.83/1.52	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 191
2.83/1.52	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.83/1.52	c (0,0) CSPinCNF Propagation Begin
3.21/1.60	c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
3.21/1.60	c (1,1) CSPinCNF Propagation End
3.21/1.60	c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 191
3.21/1.60	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.21/1.60	c (1,1) Simplify CSPinCNF Begin
3.21/1.66	c (1,1) Simplify CSPinCNF End
3.21/1.66	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 191
3.21/1.66	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.21/1.66	c (1,1) Calculate Precise Domain Begin
3.21/1.67	c (1,1) 0 values are removed by re-calculation
3.21/1.67	c (1,1) Calculate Precise Domain End
3.21/1.67	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 191
3.21/1.67	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.21/1.67	c (1,1) CSPinCNF to SatSolver Begin
3.61/1.73	c (1,1) 97 (10 %) CSP clauses are encoded (6561 SAT variables, 5960 SAT clauses)
3.61/1.74	c (1,1) 194 (20 %) CSP clauses are encoded (6561 SAT variables, 6057 SAT clauses)
3.61/1.74	c (1,1) 291 (30 %) CSP clauses are encoded (6561 SAT variables, 6154 SAT clauses)
3.99/1.87	c (1,1) 388 (40 %) CSP clauses are encoded (6561 SAT variables, 25201 SAT clauses)
4.41/1.94	c (1,1) 485 (50 %) CSP clauses are encoded (6561 SAT variables, 45710 SAT clauses)
4.41/2.00	c (1,1) 582 (60 %) CSP clauses are encoded (6561 SAT variables, 67359 SAT clauses)
4.72/2.05	c (1,1) 679 (70 %) CSP clauses are encoded (6561 SAT variables, 86882 SAT clauses)
4.89/2.13	c (1,1) 776 (80 %) CSP clauses are encoded (6561 SAT variables, 102193 SAT clauses)
5.08/2.23	c (1,1) 873 (90 %) CSP clauses are encoded (6561 SAT variables, 120090 SAT clauses)
5.26/2.31	c (1,1) 969 (100 %) CSP clauses are encoded (6561 SAT variables, 141780 SAT clauses)
5.26/2.31	c (1,1) CSPinCNF to SatSolver End
5.26/2.31	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.26/2.33	c (1,1) STATISTICS2:HOME/instance-4297021-1532631659.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,380,191,4,3,380:4;376:20;370:16;362:20;360:24;358:28;350:32;344:120;328:48;326:52;324:56;310:60;298:64;2:34,191:66;190:66;188:132;185:66;181:66;180:66;179:66;175:66;172:198;164:66;163:66;162:66;155:66;149:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
5.26/2.33	c (1,1) SatSolver.solve Begin
5.26/2.33	c (1,1) 6561 bool, 141987 clause
5.26/2.33	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297021-1532631659.xml-scop-8815.cnf HOME/instance-4297021-1532631659.xml-scop-8815.cnf.out
74.93/11.45	c (10,0) c
74.93/11.45	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
74.93/11.45	c (10,0) c
74.93/11.45	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
74.93/11.45	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
74.93/11.45	c (10,0) c ========================================[ Problem Statistics ]===========================================
74.93/11.45	c (10,0) c |                                                                                                       |
74.93/11.45	c (10,0) c |  Number of variables:          6561                                                                   |
74.93/11.45	c (10,0) c |  Number of clauses:          141987                                                                   |
74.93/11.45	c (10,0) c |  Parse time:                   0.05 s                                                                 |
74.93/11.45	c (10,0) c |                                                                                                       |
74.93/11.45	c (10,0) c |  Eliminated clauses:           0.02 Mb                                                                |
74.93/11.45	c (10,0) c |  Simplification time:          0.26 s                                                                 |
74.93/11.45	c (10,0) c |                                                                                                       |
74.93/11.45	c (10,0) c |  Generating clones                                                                                    |
74.93/11.45	c (10,0) c |  all clones generated. Memory = 111.26Mb.                                                             |
74.93/11.45	c (10,0) c ========================================================================================================|
74.93/11.45	c (10,0) c
74.93/11.45	c (10,0) c |-------------------------------------------------------------------------------------------------------|
74.93/11.45	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
74.93/11.45	c (10,0) c |-------------------------------------------------------------------------------------------------------|
74.93/11.45	c (10,0) c |  0 |     62 |      48120 |      26516 |    45341 |    10328 |     4639 |    37038 |     1364 |  0.000 |
74.93/11.45	c (10,0) c |  1 |     72 |      53529 |      28760 |    49696 |    12571 |     5166 |    37115 |     1409 |  0.000 |
74.93/11.45	c (10,0) c |  2 |     92 |      58430 |      31426 |    50013 |    15231 |     5461 |    36832 |     1626 |  0.000 |
74.93/11.45	c (10,0) c |  3 |     73 |      55247 |      30763 |    46439 |    14572 |     5675 |    32880 |     1840 |  0.000 |
74.93/11.45	c (10,0) c |  4 |     65 |      56455 |      30319 |    48797 |    14129 |     5266 |    36680 |     1298 |  0.000 |
74.93/11.46	c (10,0) c |  5 |     93 |      53944 |      29377 |    43786 |    13192 |     5483 |    36756 |     1479 |  0.000 |
74.93/11.46	c (10,0) c |  6 |     82 |      59147 |      31643 |    49593 |    15451 |     5390 |    36918 |     1575 |  0.000 |
74.93/11.46	c (10,0) c |  7 |     72 |      54825 |      29805 |    49398 |    13613 |     5230 |    34229 |     1481 |  0.000 |
74.93/11.46	c (10,0) c 
74.93/11.46	c (10,0) c synthesis      238609 conflicts    78112520 propagations     6328 conflicts/sec  2071651 propagations/sec
74.93/11.46	c (10,0) c Total Memory so far : 690.46Mb
74.93/11.46	c (10,0) c
74.93/11.46	c (10,0) c |-------------------------------------------------------------------------------------------------------|
74.93/11.46	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
74.93/11.46	c (10,0) c |-------------------------------------------------------------------------------------------------------|
74.93/11.46	c (10,0) c |  0 |    118 |      84068 |      47341 |    54592 |    21254 |     8059 |    59645 |     3462 |  0.000 |
74.93/11.46	c (10,0) c |  1 |    102 |      90656 |      49972 |    61557 |    23884 |     9119 |    58063 |     3362 |  0.000 |
74.93/11.46	c (10,0) c |  2 |    158 |      96351 |      52824 |    58502 |    14278 |     8893 |    59355 |     3732 |  0.000 |
74.93/11.46	c (10,0) c |  3 |    103 |      87619 |      50783 |    53056 |    24700 |     8993 |    58805 |     3452 |  0.000 |
74.93/11.46	c (10,0) c |  4 |    164 |      95712 |      50870 |    60181 |    24781 |     8171 |    60326 |     3488 |  0.000 |
74.93/11.46	c (10,0) c |  5 |    153 |      91331 |      51000 |    55343 |    12467 |     8709 |    58087 |     3498 |  0.000 |
74.93/11.46	c (10,0) c |  6 |    132 |      96316 |      52141 |    61060 |    13603 |     8190 |    58684 |     3645 |  0.000 |
74.93/11.46	c (10,0) c |  7 |    131 |      92974 |      51074 |    58938 |    12536 |     8560 |    58500 |     3301 |  0.000 |
74.93/11.46	c (10,0) c 
170.70/23.45	c (22,0) c synthesis      406005 conflicts   134658869 propagations     5842 conflicts/sec  1937465 propagations/sec
170.70/23.45	c (22,0) c Total Memory so far : 690.46Mb
170.70/23.45	c (22,0) c
170.70/23.45	c (22,0) c |-------------------------------------------------------------------------------------------------------|
170.70/23.45	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
170.70/23.45	c (22,0) c |-------------------------------------------------------------------------------------------------------|
170.70/23.45	c (22,0) c |  0 |    179 |     113938 |      64261 |    58704 |    25723 |    10231 |    76103 |     5460 |  0.000 |
170.70/23.45	c (22,0) c |  1 |    164 |     122914 |      67674 |    67946 |    29129 |    11284 |    75002 |     5370 |  0.000 |
170.70/23.45	c (22,0) c |  2 |    212 |     128275 |      71358 |    62236 |    17790 |    11618 |    74670 |     5451 |  0.000 |
170.70/23.45	c (22,0) c |  3 |    214 |     120849 |      69146 |    57447 |    15585 |    10912 |    75524 |     5301 |  0.000 |
170.70/23.45	c (22,0) c |  4 |    255 |     126904 |      67765 |    64726 |    29231 |    10131 |    75866 |     5234 |  0.000 |
170.70/23.45	c (22,0) c |  5 |    204 |     123189 |      69210 |    59544 |    15647 |    11073 |    75162 |     5315 |  0.000 |
170.70/23.45	c (22,0) c |  6 |    224 |     128358 |      69888 |    65540 |    16323 |    10211 |    76355 |     5603 |  0.000 |
170.70/23.45	c (22,0) c |  7 |    203 |     130072 |      70986 |    65540 |    17434 |    11479 |    75425 |     5078 |  0.000 |
170.70/23.45	c (22,0) c 
170.70/23.45	c (22,0) c synthesis      550288 conflicts   186135322 propagations     5430 conflicts/sec  1836558 propagations/sec
170.70/23.45	c (22,0) c Total Memory so far : 690.46Mb
170.70/23.45	c (22,0) c
170.70/23.45	c (22,0) c |-------------------------------------------------------------------------------------------------------|
170.70/23.45	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
170.70/23.46	c (22,0) c |-------------------------------------------------------------------------------------------------------|
170.70/23.46	c (22,0) c |  0 |    228 |     140366 |      80005 |    61227 |    26440 |    12322 |    90719 |     6785 |  0.000 |
170.70/23.46	c (22,0) c |  1 |    230 |     152583 |      84369 |    72032 |    30805 |    13507 |    89883 |     6911 |  0.000 |
170.70/23.46	c (22,0) c |  2 |    271 |     160359 |      89086 |    67654 |    17905 |    13871 |    89181 |     7294 |  0.000 |
170.70/23.46	c (22,0) c |  3 |    297 |     148612 |      85421 |    59718 |    31860 |    12745 |    90591 |     6715 |  0.000 |
170.70/23.46	c (22,0) c |  4 |    325 |     154069 |      83292 |    66767 |    29726 |    12141 |    91038 |     6777 |  0.000 |
170.70/23.46	c (22,0) c |  5 |    270 |     152792 |      85847 |    63215 |    32284 |    12707 |    89810 |     6858 |  0.000 |
170.70/23.46	c (22,0) c |  6 |    305 |     155845 |      85357 |    68493 |    31793 |    12253 |    91089 |     7021 |  0.000 |
170.70/23.46	c (22,0) c |  7 |    231 |     160401 |      88766 |    70504 |    35214 |    13846 |    88805 |     6366 |  0.000 |
170.70/23.46	c (22,0) c 
170.70/23.46	c (22,0) c synthesis      682143 conflicts   234672658 propagations     5121 conflicts/sec  1761655 propagations/sec
170.70/23.46	c (22,0) c Total Memory so far : 690.46Mb
170.70/23.46	c (22,0) c
170.70/23.46	c (22,0) c Try to adapt solver strategies
170.70/23.46	c (22,0) c 
170.70/23.46	c (22,0) c Nothing extreme in this problem, continue with glucose default strategies.
170.70/23.46	c (22,0) c
170.70/23.46	c (22,0) c
170.70/23.46	c (22,0) c |-------------------------------------------------------------------------------------------------------|
170.70/23.46	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
170.70/23.46	c (22,0) c |-------------------------------------------------------------------------------------------------------|
170.70/23.46	c (22,0) c |  0 |    271 |     164992 |      94642 |    64166 |    23464 |    13980 |   102536 |     8171 |  0.000 |
170.70/23.46	c (22,0) c |  1 |    300 |     181703 |     100479 |    74193 |    29303 |    15255 |   101250 |     8154 |  0.000 |
170.70/23.46	c (22,0) c |  2 |    335 |     187123 |     104446 |    70600 |    33263 |    15466 |   101040 |     9036 |  0.000 |
170.70/23.46	c (22,0) c |  3 |    390 |     174678 |     100070 |    62342 |    28893 |    14430 |   102068 |     7959 |  0.000 |
170.70/23.46	c (22,0) c |  4 |    404 |     177334 |      96375 |    68327 |    25197 |    13482 |   103034 |     8298 |  0.000 |
170.70/23.46	c (22,0) c |  5 |    353 |     181314 |     101549 |    65686 |    30372 |    14541 |   102114 |     8072 |  0.000 |
170.70/23.46	c (22,0) c |  6 |    351 |     179279 |      99399 |    70862 |    28218 |    13817 |   102410 |     8180 |  0.000 |
170.70/23.46	c (22,0) c |  7 |    287 |     187634 |     104578 |    72891 |    33411 |    15743 |   100871 |     7922 |  0.000 |
170.70/23.46	c (22,0) c 
266.37/35.45	c (34,0) c synthesis      801538 conflicts   281001117 propagations     4855 conflicts/sec  1702015 propagations/sec
266.37/35.45	c (34,0) c Total Memory so far : 690.46Mb
266.37/35.45	c (34,0) c
266.37/35.45	c (34,0) c Try to adapt solver strategies
266.37/35.45	c (34,0) c 
266.37/35.45	c (34,0) c Nothing extreme in this problem, continue with glucose default strategies.
266.37/35.45	c (34,0) c
266.37/35.45	c (34,0) c
266.37/35.45	c (34,0) c Try to adapt solver strategies
266.37/35.45	c (34,0) c 
266.37/35.45	c (34,0) c Nothing extreme in this problem, continue with glucose default strategies.
266.37/35.45	c (34,0) c
266.37/35.45	c (34,0) c
266.37/35.45	c (34,0) c Try to adapt solver strategies
266.37/35.45	c (34,0) c 
266.37/35.45	c (34,0) c Nothing extreme in this problem, continue with glucose default strategies.
266.37/35.45	c (34,0) c
266.37/35.45	c (34,0) c
266.37/35.45	c (34,0) c |-------------------------------------------------------------------------------------------------------|
266.37/35.45	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
266.37/35.45	c (34,0) c |-------------------------------------------------------------------------------------------------------|
266.37/35.46	c (34,0) c |  0 |    310 |     186003 |     108109 |    65206 |    36929 |    15094 |   113941 |     9389 |  0.000 |
266.37/35.46	c (34,0) c |  1 |    367 |     209769 |     116311 |    77101 |    24927 |    17238 |   111270 |     9338 |  0.000 |
266.37/35.46	c (34,0) c |  2 |    340 |     210422 |     119704 |    73002 |    28320 |    17668 |   109180 |    10057 |  0.000 |
266.37/35.46	c (34,0) c |  3 |    443 |     196409 |     113125 |    65037 |    21740 |    15911 |   110364 |     9135 |  0.000 |
266.37/35.46	c (34,0) c |  4 |    448 |     198161 |     109098 |    69919 |    37918 |    14702 |   114289 |     9507 |  0.000 |
266.37/35.46	c (34,0) c |  5 |    428 |     204755 |     115040 |    67268 |    23655 |    15930 |   111475 |     9105 |  0.000 |
266.37/35.46	c (34,0) c |  6 |    393 |     198990 |     111583 |    71862 |    40401 |    15062 |   114072 |     9040 |  0.000 |
266.37/35.46	c (34,0) c |  7 |    330 |     211535 |     118527 |    75932 |    27159 |    17605 |   110796 |     9480 |  0.000 |
266.37/35.46	c (34,0) c 
266.37/35.46	c (34,0) c synthesis      911497 conflicts   324873510 propagations     4628 conflicts/sec  1649425 propagations/sec
266.37/35.46	c (34,0) c Total Memory so far : 690.46Mb
266.37/35.46	c (34,0) c
266.37/35.46	c (34,0) c |-------------------------------------------------------------------------------------------------------|
266.37/35.46	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
266.37/35.46	c (34,0) c |-------------------------------------------------------------------------------------------------------|
266.37/35.46	c (34,0) c |  0 |    364 |     207768 |     120754 |    67530 |    29379 |    16365 |   126999 |    10322 |  0.000 |
266.37/35.46	c (34,0) c |  1 |    486 |     237054 |     130427 |    78927 |    39043 |    18946 |   124323 |    10258 |  0.000 |
266.37/35.46	c (34,0) c |  2 |    379 |     233385 |     133894 |    74350 |    42509 |    19561 |   123411 |    11372 |  0.000 |
266.37/35.46	c (34,0) c |  3 |    495 |     219975 |     126952 |    66850 |    35566 |    17722 |   123544 |    10458 |  0.000 |
266.37/35.46	c (34,0) c |  4 |    480 |     221016 |     123677 |    70751 |    32292 |    16602 |   126620 |    10801 |  0.000 |
266.37/35.46	c (34,0) c |  5 |    473 |     227866 |     129476 |    67863 |    38091 |    17255 |   125624 |    10262 |  0.000 |
266.37/35.46	c (34,0) c |  6 |    467 |     223201 |     125230 |    74395 |    33844 |    16683 |   126664 |    10383 |  0.000 |
266.37/35.46	c (34,0) c |  7 |    355 |     236566 |     133659 |    79309 |    42291 |    20412 |   114962 |    10782 |  0.000 |
266.37/35.46	c (34,0) c 
266.37/35.46	c (34,0) c synthesis     1024069 conflicts   369526769 propagations     4475 conflicts/sec  1614763 propagations/sec
266.37/35.46	c (34,0) c Total Memory so far : 690.46Mb
266.37/35.46	c (34,0) c
266.37/35.46	c (34,0) c |-------------------------------------------------------------------------------------------------------|
266.37/35.46	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
266.37/35.46	c (34,0) c |-------------------------------------------------------------------------------------------------------|
266.37/35.46	c (34,0) c |  0 |    397 |     229529 |     134046 |    69744 |    42671 |    18076 |   137813 |    11731 |  0.000 |
266.37/35.46	c (34,0) c |  1 |    539 |     260366 |     143731 |    80494 |    29544 |    20626 |   135784 |    11025 |  0.000 |
266.37/35.46	c (34,0) c |  2 |    460 |     257704 |     147703 |    75547 |    33515 |    21222 |   135157 |    12597 |  0.000 |
266.37/35.46	c (34,0) c |  3 |    566 |     245663 |     140716 |    70543 |    26529 |    19661 |   136398 |    11597 |  0.000 |
266.37/35.46	c (34,0) c |  4 |    518 |     243419 |     137407 |    71983 |    23223 |    18413 |   137977 |    12208 |  0.000 |
370.06/48.45	c (47,0) c |  5 |    529 |     248482 |     142470 |    68290 |    28286 |    18528 |   137626 |    11268 |  0.000 |
370.06/48.45	c (47,0) c |  6 |    515 |     240734 |     135712 |    75084 |    44325 |    17883 |   137856 |    11430 |  0.000 |
370.06/48.45	c (47,0) c |  7 |    395 |     261309 |     148290 |    80907 |    34112 |    22053 |   133815 |    12003 |  0.000 |
370.06/48.45	c (47,0) c 
370.06/48.45	c (47,0) c synthesis     1130075 conflicts   410972368 propagations     4334 conflicts/sec  1576297 propagations/sec
370.06/48.45	c (47,0) c Total Memory so far : 690.46Mb
370.06/48.45	c (47,0) c
370.06/48.45	c (47,0) c |-------------------------------------------------------------------------------------------------------|
370.06/48.45	c (47,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
370.06/48.45	c (47,0) c |-------------------------------------------------------------------------------------------------------|
370.06/48.45	c (47,0) c |  0 |    453 |     254782 |     149793 |    70909 |    35611 |    19588 |   152089 |    12817 |  0.000 |
370.06/48.45	c (47,0) c |  1 |    583 |     288698 |     160221 |    82231 |    46034 |    22747 |   148923 |    11997 |  0.000 |
370.06/48.45	c (47,0) c |  2 |    504 |     286688 |     165002 |    76759 |    25413 |    23396 |   146110 |    14350 |  0.000 |
370.06/48.45	c (47,0) c |  3 |    646 |     273979 |     157691 |    71612 |    43504 |    21529 |   149910 |    12910 |  0.000 |
370.06/48.45	c (47,0) c |  4 |    573 |     270150 |     153515 |    73277 |    39331 |    20396 |   150339 |    13565 |  0.000 |
370.06/48.45	c (47,0) c |  5 |    623 |     276562 |     158832 |    69901 |    44648 |    20253 |   150953 |    12199 |  0.000 |
370.06/48.45	c (47,0) c |  6 |    569 |     267273 |     151896 |    76078 |    37707 |    19593 |   150376 |    12539 |  0.000 |
370.06/48.45	c (47,0) c |  7 |    438 |     292984 |     166969 |    82774 |    27383 |    24373 |   145975 |    13340 |  0.000 |
370.06/48.45	c (47,0) c 
370.06/48.45	c (47,0) c synthesis     1263919 conflicts   463112925 propagations     4205 conflicts/sec  1540850 propagations/sec
370.06/48.45	c (47,0) c Total Memory so far : 690.46Mb
370.06/48.45	c (47,0) c
370.06/48.45	c (47,0) c |-------------------------------------------------------------------------------------------------------|
370.06/48.46	c (47,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
370.06/48.46	c (47,0) c |-------------------------------------------------------------------------------------------------------|
370.06/48.46	c (47,0) c |  0 |    508 |     275599 |     162171 |    72026 |    47989 |    20853 |   161957 |    14311 |  0.000 |
370.06/48.46	c (47,0) c |  1 |    634 |     310584 |     173289 |    82999 |    33708 |    24137 |   158680 |    12773 |  0.000 |
370.06/48.46	c (47,0) c |  2 |    536 |     307544 |     178689 |    77605 |    39100 |    24849 |   157933 |    15213 |  0.000 |
370.06/48.46	c (47,0) c |  3 |    687 |     292168 |     169466 |    71950 |    29881 |    22653 |   160046 |    13730 |  0.000 |
370.06/48.46	c (47,0) c |  4 |    600 |     287849 |     164669 |    73776 |    50484 |    21716 |   159345 |    14788 |  0.000 |
370.06/48.46	c (47,0) c |  5 |    665 |     296176 |     171337 |    70427 |    31750 |    21655 |   161151 |    12908 |  0.000 |
370.06/48.46	c (47,0) c |  6 |    583 |     283352 |     162677 |    76753 |    48488 |    20742 |   155029 |    13116 |  0.000 |
370.06/48.46	c (47,0) c |  7 |    458 |     319646 |     182575 |    84696 |    42989 |    26260 |   156603 |    14137 |  0.000 |
370.06/48.46	c (47,0) c 
370.06/48.46	c (47,0) c synthesis     1364873 conflicts   503639868 propagations     4106 conflicts/sec  1514970 propagations/sec
370.06/48.46	c (47,0) c Total Memory so far : 690.46Mb
370.06/48.46	c (47,0) c
370.06/48.46	c (47,0) c |-------------------------------------------------------------------------------------------------------|
370.06/48.46	c (47,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
370.06/48.46	c (47,0) c |-------------------------------------------------------------------------------------------------------|
370.06/48.46	c (47,0) c |  0 |    545 |     297064 |     175023 |    73916 |    35442 |    22695 |   173024 |    15435 |  0.000 |
370.06/48.46	c (47,0) c |  1 |    639 |     332663 |     186747 |    84508 |    47166 |    25960 |   169398 |    13761 |  0.000 |
370.06/48.46	c (47,0) c |  2 |    562 |     326756 |     191118 |    78185 |    51529 |    26137 |   169726 |    16226 |  0.000 |
370.06/48.46	c (47,0) c |  3 |    753 |     312557 |     182019 |    72479 |    42434 |    24062 |   172084 |    14435 |  0.000 |
370.06/48.46	c (47,0) c |  4 |    652 |     309387 |     177545 |    75110 |    37966 |    23209 |   172886 |    16067 |  0.000 |
370.06/48.46	c (47,0) c |  5 |    693 |     318706 |     185348 |    72177 |    45762 |    23755 |   166536 |    13735 |  0.000 |
465.77/60.45	c (59,0) c |  6 |    632 |     302866 |     174287 |    78644 |    34706 |    22164 |   173818 |    13803 |  0.000 |
465.77/60.45	c (59,0) c |  7 |    461 |     342548 |     197095 |    85464 |    29508 |    28243 |   158500 |    14676 |  0.000 |
465.77/60.45	c (59,0) c 
465.77/60.45	c (59,0) c synthesis     1469183 conflicts   545014353 propagations     4033 conflicts/sec  1495931 propagations/sec
465.77/60.45	c (59,0) c Total Memory so far : 690.46Mb
465.77/60.45	c (59,0) c
465.77/60.45	c (59,0) c |-------------------------------------------------------------------------------------------------------|
465.77/60.45	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
465.77/60.45	c (59,0) c |-------------------------------------------------------------------------------------------------------|
465.77/60.45	c (59,0) c |  0 |    593 |     316168 |     186583 |    75083 |    47002 |    24115 |   183491 |    16345 |  0.000 |
465.77/60.45	c (59,0) c |  1 |    653 |     351233 |     198119 |    85435 |    30539 |    27180 |   177909 |    14962 |  0.000 |
465.77/60.45	c (59,0) c |  2 |    630 |     348688 |     203984 |    78603 |    36396 |    27379 |   179981 |    17053 |  0.000 |
465.77/60.45	c (59,0) c |  3 |    781 |     336139 |     195831 |    74512 |    28253 |    26031 |   181107 |    16020 |  0.000 |
465.77/60.45	c (59,0) c |  4 |    670 |     326316 |     188573 |    75727 |    48994 |    24510 |   182903 |    17155 |  0.000 |
465.77/60.45	c (59,0) c |  5 |    729 |     340579 |     198373 |    73507 |    30790 |    25536 |   181566 |    15072 |  0.000 |
465.77/60.45	c (59,0) c |  6 |    672 |     320832 |     185491 |    79258 |    45909 |    23474 |   180009 |    14665 |  0.000 |
465.77/60.45	c (59,0) c |  7 |    513 |     365459 |     210720 |    86310 |    43133 |    29538 |   177500 |    15679 |  0.000 |
465.77/60.45	c (59,0) c 
465.77/60.45	c (59,0) c synthesis     1567674 conflicts   583875382 propagations     3957 conflicts/sec  1473644 propagations/sec
465.77/60.45	c (59,0) c Total Memory so far : 690.46Mb
465.77/60.45	c (59,0) c
465.77/60.45	c (59,0) c |-------------------------------------------------------------------------------------------------------|
465.77/60.45	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
465.77/60.45	c (59,0) c |-------------------------------------------------------------------------------------------------------|
465.77/60.45	c (59,0) c |  0 |    620 |     335080 |     198408 |    76809 |    30838 |    25699 |   192511 |    17160 |  0.000 |
465.77/60.45	c (59,0) c |  1 |    675 |     368967 |     209352 |    86271 |    41772 |    28256 |   187601 |    15947 |  0.000 |
465.77/60.45	c (59,0) c |  2 |    688 |     368451 |     215844 |    79158 |    48256 |    28459 |   189754 |    17872 |  0.000 |
465.77/60.45	c (59,0) c |  3 |    794 |     357611 |     209517 |    75236 |    41939 |    27996 |   186163 |    17135 |  0.000 |
465.77/60.46	c (59,0) c |  4 |    691 |     342100 |     198602 |    76373 |    31015 |    25574 |   189888 |    18146 |  0.000 |
465.77/60.46	c (59,0) c |  5 |    758 |     362731 |     211937 |    75053 |    44355 |    26873 |   190226 |    16415 |  0.000 |
465.77/60.46	c (59,0) c |  6 |    712 |     337697 |     195946 |    79716 |    28361 |    24685 |   193418 |    15967 |  0.000 |
465.77/60.46	c (59,0) c |  7 |    553 |     385843 |     222350 |    87445 |    54764 |    30703 |   187258 |    16416 |  0.000 |
465.77/60.46	c (59,0) c 
465.77/60.46	c (59,0) c synthesis     1661956 conflicts   622292902 propagations     3882 conflicts/sec  1453684 propagations/sec
466.57/60.54	c (60,0) c Total Memory so far : 690.46Mb
466.57/60.54	c (60,0) c
466.57/60.54	c (60,0) c |-------------------------------------------------------------------------------------------------------|
466.57/60.54	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
466.57/60.54	c (60,0) c |-------------------------------------------------------------------------------------------------------|
466.57/60.54	c (60,0) c |  0 |    671 |     356408 |     211240 |    77850 |    43670 |    27210 |   199408 |    18054 |  0.000 |
466.57/60.54	c (60,0) c |  1 |    705 |     389548 |     221809 |    87826 |    54228 |    29704 |   198797 |    16960 |  0.000 |
466.57/60.54	c (60,0) c |  2 |    700 |     386640 |     227413 |    79729 |    59825 |    29691 |   198728 |    19001 |  0.000 |
466.57/60.54	c (60,0) c |  3 |    834 |     377574 |     221744 |    76485 |    54166 |    29553 |   198768 |    18156 |  0.000 |
466.57/60.54	c (60,0) c |  4 |    744 |     360889 |     209915 |    77668 |    42328 |    26643 |   201686 |    18873 |  0.000 |
466.57/60.54	c (60,0) c |  5 |    807 |     381995 |     224106 |    75629 |    56524 |    28090 |   199963 |    17286 |  0.000 |
466.57/60.54	c (60,0) c |  6 |    743 |     357502 |     208252 |    81233 |    40667 |    26232 |   202680 |    16962 |  0.000 |
561.50/72.45	c (71,0) c |  7 |    582 |     403910 |     232963 |    88007 |    34776 |    31839 |   197060 |    17297 |  0.000 |
561.50/72.45	c (71,0) c 
561.50/72.45	c (71,0) c synthesis     1757444 conflicts   660300228 propagations     3821 conflicts/sec  1435506 propagations/sec
561.50/72.45	c (71,0) c Total Memory so far : 690.46Mb
561.50/72.45	c (71,0) c
561.50/72.45	c (71,0) c |-------------------------------------------------------------------------------------------------------|
561.50/72.45	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
561.50/72.45	c (71,0) c |-------------------------------------------------------------------------------------------------------|
561.50/72.45	c (71,0) c |  0 |    683 |     371478 |     221076 |    78173 |    53506 |    28493 |   208677 |    19088 |  0.000 |
561.50/72.45	c (71,0) c |  1 |    734 |     408164 |     233009 |    89183 |    34824 |    31090 |   207921 |    17738 |  0.000 |
561.50/72.45	c (71,0) c |  2 |    728 |     406410 |     240193 |    80216 |    42003 |    31360 |   205815 |    20155 |  0.000 |
561.50/72.45	c (71,0) c |  3 |    886 |     397048 |     233639 |    76948 |    35457 |    30862 |   207936 |    18992 |  0.000 |
561.50/72.45	c (71,0) c |  4 |    779 |     376525 |     219293 |    78071 |    51706 |    27584 |   211198 |    19504 |  0.000 |
561.50/72.45	c (71,0) c |  5 |    816 |     397109 |     234053 |    75972 |    35875 |    29105 |   207383 |    18267 |  0.000 |
561.50/72.45	c (71,0) c |  6 |    761 |     373977 |     218857 |    82090 |    51272 |    27638 |   211466 |    17728 |  0.000 |
561.50/72.45	c (71,0) c |  7 |    604 |     421988 |     243471 |    89158 |    45284 |    33090 |   205981 |    18086 |  0.000 |
561.50/72.45	c (71,0) c 
561.50/72.45	c (71,0) c synthesis     1843591 conflicts   694343486 propagations     3748 conflicts/sec  1411676 propagations/sec
561.50/72.45	c (71,0) c Total Memory so far : 690.46Mb
561.50/72.45	c (71,0) c
561.50/72.45	c (71,0) c |-------------------------------------------------------------------------------------------------------|
561.50/72.45	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
561.50/72.45	c (71,0) c |-------------------------------------------------------------------------------------------------------|
561.50/72.45	c (71,0) c |  0 |    689 |     390112 |     232090 |    81567 |    33917 |    30286 |   214543 |    19945 |  0.000 |
561.50/72.45	c (71,0) c |  1 |    762 |     425838 |     244205 |    89893 |    46020 |    32104 |   216219 |    19158 |  0.000 |
561.50/72.45	c (71,0) c |  2 |    744 |     424216 |     251556 |    81352 |    53367 |    32996 |   214573 |    21072 |  0.000 |
561.50/72.45	c (71,0) c |  3 |    916 |     415321 |     245508 |    77214 |    47326 |    32069 |   216385 |    19748 |  0.000 |
561.50/72.45	c (71,0) c |  4 |    797 |     387572 |     226780 |    78268 |    59192 |    28162 |   218349 |    20083 |  0.000 |
561.50/72.45	c (71,0) c |  5 |    818 |     412931 |     244395 |    77613 |    46217 |    30182 |   213259 |    18949 |  0.000 |
561.50/72.45	c (71,0) c |  6 |    779 |     389511 |     228758 |    82926 |    61173 |    28786 |   217610 |    18538 |  0.000 |
561.50/72.45	c (71,0) c |  7 |    622 |     434646 |     251368 |    89413 |    53181 |    33873 |   214441 |    18995 |  0.000 |
561.50/72.46	c (71,0) c 
561.50/72.46	c (71,0) c synthesis     1924660 conflicts   726642425 propagations     3675 conflicts/sec  1387371 propagations/sec
561.50/72.46	c (71,0) c Total Memory so far : 690.46Mb
561.50/72.46	c (71,0) c
561.50/72.46	c (71,0) c |-------------------------------------------------------------------------------------------------------|
561.50/72.46	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
561.50/72.46	c (71,0) c |-------------------------------------------------------------------------------------------------------|
561.50/72.46	c (71,0) c |  0 |    689 |     408496 |     243374 |    83617 |    45201 |    31907 |   214543 |    20511 |  0.000 |
561.50/72.46	c (71,0) c |  1 |    789 |     442476 |     254856 |    90089 |    56671 |    33124 |   226276 |    20161 |  0.000 |
561.50/72.46	c (71,0) c |  2 |    784 |     445933 |     264461 |    82575 |    66272 |    34687 |   224507 |    22242 |  0.000 |
561.50/72.46	c (71,0) c |  3 |    943 |     437100 |     259296 |    78131 |    61113 |    34129 |   221276 |    20641 |  0.000 |
561.50/72.46	c (71,0) c |  4 |    819 |     400079 |     234569 |    78582 |    36377 |    28927 |   229302 |    20572 |  0.000 |
561.50/72.46	c (71,0) c |  5 |    830 |     428276 |     254678 |    78255 |    56499 |    31093 |   226978 |    19916 |  0.000 |
561.50/72.46	c (71,0) c |  6 |    801 |     411656 |     243293 |    83552 |    45115 |    30946 |   228252 |    19378 |  0.000 |
561.50/72.46	c (71,0) c |  7 |    643 |     447907 |     259381 |    89840 |    61194 |    34618 |   224462 |    19979 |  0.000 |
561.50/72.46	c (71,0) c 
657.20/84.45	c (83,0) c synthesis     2013908 conflicts   761324879 propagations     3624 conflicts/sec  1370142 propagations/sec
657.20/84.45	c (83,0) c Total Memory so far : 690.46Mb
657.20/84.45	c (83,0) c
657.20/84.45	c (83,0) c |-------------------------------------------------------------------------------------------------------|
657.20/84.45	c (83,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
657.20/84.45	c (83,0) c |-------------------------------------------------------------------------------------------------------|
657.20/84.45	c (83,0) c |  0 |    717 |     425948 |     253159 |    85193 |    54986 |    33163 |   236948 |    21293 |  0.000 |
657.20/84.45	c (83,0) c |  1 |    845 |     461686 |     265951 |    90574 |    34560 |    34436 |   235504 |    20914 |  0.000 |
657.20/84.45	c (83,0) c |  2 |    799 |     463551 |     276252 |    82877 |    44865 |    36079 |   233975 |    22951 |  0.000 |
657.20/84.45	c (83,0) c |  3 |    965 |     459435 |     272779 |    79392 |    41393 |    36662 |   233470 |    21844 |  0.000 |
657.20/84.45	c (83,0) c |  4 |    839 |     413123 |     242907 |    79050 |    44715 |    29724 |   240086 |    20926 |  0.000 |
657.20/84.45	c (83,0) c |  5 |    830 |     443112 |     264588 |    79456 |    66409 |    32364 |   226978 |    20578 |  0.000 |
657.20/84.45	c (83,0) c |  6 |    831 |     427420 |     253524 |    83758 |    55346 |    32086 |   237071 |    20285 |  0.000 |
657.20/84.45	c (83,0) c |  7 |    652 |     462523 |     268183 |    90569 |    36795 |    35646 |   233178 |    20645 |  0.000 |
657.20/84.45	c (83,0) c 
657.20/84.45	c (83,0) c synthesis     2097344 conflicts   794443265 propagations     3570 conflicts/sec  1352149 propagations/sec
657.20/84.45	c (83,0) c Total Memory so far : 690.46Mb
657.20/84.45	c (83,0) c
657.20/84.45	c (83,0) c |-------------------------------------------------------------------------------------------------------|
657.20/84.45	c (83,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
657.20/84.45	c (83,0) c |-------------------------------------------------------------------------------------------------------|
657.20/84.45	c (83,0) c |  0 |    738 |     440540 |     262470 |    85384 |    64297 |    34174 |   242102 |    22055 |  0.000 |
657.20/84.45	c (83,0) c |  1 |    869 |     480983 |     277603 |    91389 |    46212 |    35961 |   244303 |    21658 |  0.000 |
657.20/84.45	c (83,0) c |  2 |    802 |     480649 |     287684 |    83298 |    56298 |    37764 |   241415 |    23602 |  0.000 |
657.20/84.45	c (83,0) c |  3 |   1044 |     480867 |     284848 |    79869 |    53462 |    37836 |   241999 |    22889 |  0.000 |
657.20/84.45	c (83,0) c |  4 |    844 |     428197 |     253425 |    79606 |    55233 |    31212 |   243856 |    21540 |  0.000 |
657.20/84.45	c (83,0) c |  5 |    847 |     459399 |     274651 |    80662 |    43270 |    33533 |   246676 |    21125 |  0.000 |
657.20/84.45	c (83,0) c |  6 |    859 |     443560 |     263305 |    84256 |    65126 |    33303 |   246955 |    21065 |  0.000 |
657.20/84.45	c (83,0) c |  7 |    662 |     476256 |     276813 |    91392 |    45425 |    36494 |   243360 |    21248 |  0.000 |
657.20/84.45	c (83,0) c 
657.20/84.45	c (83,0) c synthesis     2180799 conflicts   827761845 propagations     3521 conflicts/sec  1336325 propagations/sec
657.20/84.45	c (83,0) c Total Memory so far : 690.46Mb
657.20/84.45	c (83,0) c
657.20/84.45	c (83,0) c |-------------------------------------------------------------------------------------------------------|
657.20/84.45	c (83,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
657.20/84.45	c (83,0) c |-------------------------------------------------------------------------------------------------------|
657.20/84.45	c (83,0) c |  0 |    750 |     456920 |     273424 |    85794 |    42050 |    35320 |   253895 |    23014 |  0.000 |
657.20/84.45	c (83,0) c |  1 |    902 |     498525 |     288526 |    91821 |    57135 |    37126 |   250485 |    22278 |  0.000 |
657.20/84.46	c (83,0) c |  2 |    830 |     502071 |     300024 |    86601 |    68638 |    39352 |   249906 |    24477 |  0.000 |
657.20/84.46	c (83,0) c |  3 |   1062 |     496523 |     294730 |    80261 |    63344 |    38920 |   243929 |    23766 |  0.000 |
657.20/84.46	c (83,0) c |  4 |    851 |     439703 |     261363 |    79707 |    63171 |    32208 |   256626 |    22037 |  0.000 |
657.20/84.46	c (83,0) c |  5 |    880 |     474728 |     283851 |    81316 |    52469 |    34411 |   254812 |    21823 |  0.000 |
657.20/84.46	c (83,0) c |  6 |    905 |     460593 |     273777 |    84562 |    42388 |    34390 |   253967 |    21606 |  0.000 |
657.20/84.46	c (83,0) c |  7 |    671 |     489110 |     285322 |    91722 |    53934 |    37546 |   250622 |    22232 |  0.000 |
657.20/84.46	c (83,0) c 
657.20/84.46	c (83,0) c synthesis     2261018 conflicts   860022803 propagations     3471 conflicts/sec  1320411 propagations/sec
784.82/100.45	c (99,0) c Total Memory so far : 690.46Mb
784.82/100.45	c (99,0) c
784.82/100.45	c (99,0) c |-------------------------------------------------------------------------------------------------------|
784.82/100.45	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
784.82/100.45	c (99,0) c |-------------------------------------------------------------------------------------------------------|
784.82/100.45	c (99,0) c |  0 |    773 |     471493 |     282628 |    86639 |    51255 |    36320 |   259107 |    23668 |  0.000 |
784.82/100.45	c (99,0) c |  1 |    921 |     516613 |     300393 |    92162 |    69002 |    38478 |   259476 |    23183 |  0.000 |
784.82/100.45	c (99,0) c |  2 |    840 |     521861 |     312715 |    87448 |    45531 |    40800 |   255427 |    25297 |  0.000 |
784.82/100.45	c (99,0) c |  3 |   1091 |     512869 |     304688 |    80859 |    37511 |    39974 |   258097 |    24479 |  0.000 |
784.82/100.45	c (99,0) c |  4 |    862 |     453760 |     270745 |    79908 |    39357 |    33481 |   263664 |    22579 |  0.000 |
784.82/100.45	c (99,0) c |  5 |    901 |     487192 |     291932 |    81631 |    60551 |    35060 |   262658 |    22543 |  0.000 |
784.82/100.45	c (99,0) c |  6 |    941 |     478001 |     284744 |    85054 |    53355 |    35585 |   262416 |    22216 |  0.000 |
784.82/100.45	c (99,0) c |  7 |    672 |     503842 |     295461 |    91967 |    64073 |    38512 |   252772 |    23342 |  0.000 |
784.82/100.45	c (99,0) c 
784.82/100.45	c (99,0) c synthesis     2343306 conflicts   892346107 propagations     3430 conflicts/sec  1306099 propagations/sec
784.82/100.45	c (99,0) c Total Memory so far : 690.46Mb
784.82/100.45	c (99,0) c
784.82/100.45	c (99,0) c |-------------------------------------------------------------------------------------------------------|
784.82/100.45	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
784.82/100.45	c (99,0) c |-------------------------------------------------------------------------------------------------------|
784.82/100.45	c (99,0) c |  0 |    792 |     485527 |     291600 |    87381 |    60227 |    37257 |   268884 |    24147 |  0.000 |
784.82/100.45	c (99,0) c |  1 |    947 |     533281 |     310967 |    92629 |    43782 |    39379 |   266874 |    23877 |  0.000 |
784.82/100.45	c (99,0) c |  2 |    889 |     543150 |     325197 |    88032 |    58013 |    42153 |   264268 |    26197 |  0.000 |
784.82/100.45	c (99,0) c |  3 |   1101 |     532566 |     317988 |    81511 |    50812 |    41603 |   263722 |    25245 |  0.000 |
784.82/100.45	c (99,0) c |  4 |    867 |     465613 |     279417 |    79958 |    48029 |    34597 |   271653 |    22876 |  0.000 |
784.82/100.45	c (99,0) c |  5 |    936 |     500003 |     299743 |    81986 |    68361 |    35680 |   269765 |    23459 |  0.000 |
784.82/100.45	c (99,0) c |  6 |    966 |     492743 |     294294 |    85276 |    62905 |    36578 |   269168 |    22699 |  0.000 |
784.82/100.45	c (99,0) c |  7 |    673 |     513649 |     302225 |    92076 |    70836 |    39201 |   261043 |    24032 |  0.000 |
784.82/100.45	c (99,0) c 
784.82/100.45	c (99,0) c synthesis     2421432 conflicts   922883894 propagations     3386 conflicts/sec  1290539 propagations/sec
784.82/100.45	c (99,0) c Total Memory so far : 690.46Mb
784.82/100.45	c (99,0) c
784.82/100.45	c (99,0) c |-------------------------------------------------------------------------------------------------------|
784.82/100.45	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
784.82/100.45	c (99,0) c |-------------------------------------------------------------------------------------------------------|
784.82/100.45	c (99,0) c |  0 |    798 |     498992 |     300315 |    88404 |    68942 |    38410 |   269489 |    24694 |  0.000 |
784.82/100.45	c (99,0) c |  1 |    962 |     551724 |     322911 |    93160 |    55726 |    40630 |   274835 |    24369 |  0.000 |
784.82/100.45	c (99,0) c |  2 |    926 |     562474 |     336615 |    89056 |    69431 |    43379 |   272084 |    27300 |  0.000 |
784.82/100.45	c (99,0) c |  3 |   1123 |     550881 |     329213 |    82464 |    62037 |    43089 |   268757 |    26050 |  0.000 |
784.82/100.45	c (99,0) c |  4 |    892 |     477363 |     287150 |    80172 |    55762 |    35357 |   279825 |    23409 |  0.000 |
784.82/100.45	c (99,0) c |  5 |    957 |     515330 |     309447 |    82410 |    42259 |    36699 |   278767 |    24290 |  0.000 |
784.82/100.45	c (99,0) c |  6 |    966 |     506278 |     304180 |    85386 |    36989 |    37879 |   269168 |    23408 |  0.000 |
784.82/100.45	c (99,0) c |  7 |    677 |     526336 |     310788 |    92260 |    43610 |    40034 |   275130 |    24457 |  0.000 |
784.82/100.45	c (99,0) c 
784.82/100.45	c (99,0) c synthesis     2500619 conflicts   953908920 propagations     3347 conflicts/sec  1276961 propagations/sec
784.82/100.45	c (99,0) c Total Memory so far : 690.46Mb
784.82/100.45	c (99,0) c
880.53/112.45	c (111,0) c |-------------------------------------------------------------------------------------------------------|
880.53/112.45	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
880.53/112.45	c (111,0) c |-------------------------------------------------------------------------------------------------------|
880.53/112.45	c (111,0) c |  0 |    820 |     511557 |     308551 |    88460 |    41373 |    39134 |   281900 |    25329 |  0.000 |
880.53/112.45	c (111,0) c |  1 |    971 |     565567 |     332393 |    93286 |    65208 |    41289 |   278977 |    24797 |  0.000 |
880.53/112.45	c (111,0) c |  2 |    992 |     583125 |     348955 |    89411 |    43366 |    44453 |   277277 |    28235 |  0.000 |
880.53/112.45	c (111,0) c |  3 |   1157 |     568028 |     339881 |    83311 |    72705 |    44105 |   277888 |    26933 |  0.000 |
880.53/112.45	c (111,0) c |  4 |    916 |     489552 |     294551 |    81333 |    63163 |    36214 |   285972 |    23961 |  0.000 |
880.53/112.45	c (111,0) c |  5 |   1005 |     530634 |     318706 |    82619 |    51518 |    37436 |   284692 |    24850 |  0.000 |
880.53/112.45	c (111,0) c |  6 |    975 |     521473 |     315086 |    85495 |    47896 |    38996 |   283190 |    23873 |  0.000 |
880.53/112.45	c (111,0) c |  7 |    695 |     537377 |     318077 |    92454 |    50899 |    40604 |   281304 |    25190 |  0.000 |
880.53/112.45	c (111,0) c 
880.53/112.45	c (111,0) c synthesis     2576200 conflicts   984107947 propagations     3307 conflicts/sec  1263445 propagations/sec
880.53/112.45	c (111,0) c Total Memory so far : 690.46Mb
880.53/112.45	c (111,0) c
880.53/112.45	c (111,0) c |-------------------------------------------------------------------------------------------------------|
880.53/112.45	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
880.53/112.45	c (111,0) c |-------------------------------------------------------------------------------------------------------|
880.53/112.45	c (111,0) c |  0 |    829 |     525953 |     317564 |    89016 |    50386 |    39939 |   287961 |    25915 |  0.000 |
880.53/112.45	c (111,0) c |  1 |    988 |     580774 |     341900 |    94014 |    74714 |    42128 |   286001 |    25453 |  0.000 |
880.53/112.45	c (111,0) c |  2 |   1032 |     599290 |     358940 |    89498 |    53351 |    45260 |   283018 |    28904 |  0.000 |
880.53/112.45	c (111,0) c |  3 |   1190 |     584870 |     351093 |    83387 |    45513 |    45002 |   283579 |    27537 |  0.000 |
880.53/112.45	c (111,0) c |  4 |    955 |     501209 |     301711 |    81815 |    70322 |    36894 |   291464 |    24626 |  0.000 |
880.53/112.45	c (111,0) c |  5 |   1010 |     541805 |     326492 |    82802 |    59304 |    38090 |   290451 |    25337 |  0.000 |
880.53/112.45	c (111,0) c |  6 |   1007 |     537616 |     324922 |    86312 |    57732 |    40071 |   287480 |    24500 |  0.000 |
880.53/112.45	c (111,0) c |  7 |    719 |     548389 |     324870 |    92710 |    57691 |    41211 |   287015 |    25997 |  0.000 |
880.53/112.45	c (111,0) c 
880.53/112.45	c (111,0) c synthesis     2647492 conflicts  1012930929 propagations     3265 conflicts/sec  1249292 propagations/sec
880.53/112.45	c (111,0) c Total Memory so far : 690.46Mb
880.53/112.45	c (111,0) c
880.53/112.45	c (111,0) c |-------------------------------------------------------------------------------------------------------|
880.53/112.45	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
880.53/112.45	c (111,0) c |-------------------------------------------------------------------------------------------------------|
880.53/112.45	c (111,0) c |  0 |    846 |     540864 |     326793 |    89420 |    59615 |    40918 |   293964 |    26721 |  0.000 |
880.53/112.45	c (111,0) c |  1 |   1007 |     594263 |     350996 |    94128 |    45405 |    42787 |   290838 |    25854 |  0.000 |
880.53/112.45	c (111,0) c |  2 |   1067 |     616349 |     369687 |    89714 |    64098 |    46232 |   288564 |    29777 |  0.000 |
880.53/112.45	c (111,0) c |  3 |   1238 |     603530 |     362058 |    84118 |    56478 |    45988 |   288989 |    28235 |  0.000 |
880.53/112.45	c (111,0) c |  4 |   1003 |     515778 |     310154 |    83101 |    42964 |    37812 |   297208 |    25047 |  0.000 |
880.53/112.45	c (111,0) c |  5 |   1040 |     555113 |     335031 |    82974 |    67843 |    38806 |   296125 |    26214 |  0.000 |
880.53/112.45	c (111,0) c |  6 |   1031 |     551044 |     333627 |    86499 |    66437 |    40890 |   293549 |    25147 |  0.000 |
880.53/112.45	c (111,0) c |  7 |    725 |     555387 |     329480 |    93271 |    62302 |    41606 |   291217 |    26385 |  0.000 |
880.53/112.45	c (111,0) c 
880.53/112.45	c (111,0) c synthesis     2717826 conflicts  1041513869 propagations     3225 conflicts/sec  1235962 propagations/sec
880.53/112.45	c (111,0) c Total Memory so far : 690.46Mb
880.53/112.45	c (111,0) c
880.53/112.45	c (111,0) c |-------------------------------------------------------------------------------------------------------|
984.23/125.45	c (124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
984.23/125.45	c (124,0) c |-------------------------------------------------------------------------------------------------------|
984.23/125.45	c (124,0) c |  0 |    857 |     553375 |     335084 |    89524 |    67906 |    41549 |   297796 |    27642 |  0.000 |
984.23/125.45	c (124,0) c |  1 |   1022 |     607323 |     359649 |    94415 |    54058 |    43489 |   295136 |    26216 |  0.000 |
984.23/125.45	c (124,0) c |  2 |   1083 |     631181 |     379490 |    90071 |    73901 |    47192 |   293278 |    30498 |  0.000 |
984.23/125.45	c (124,0) c |  3 |   1263 |     619074 |     372092 |    84657 |    66512 |    46833 |   294062 |    28809 |  0.000 |
984.23/125.45	c (124,0) c |  4 |   1029 |     528127 |     318038 |    83287 |    50848 |    38691 |   301894 |    25503 |  0.000 |
984.23/125.46	c (124,0) c |  5 |   1054 |     566162 |     342526 |    83302 |    75338 |    39380 |   300340 |    27019 |  0.000 |
984.23/125.46	c (124,0) c |  6 |   1043 |     563953 |     342220 |    86692 |    75029 |    41786 |   298693 |    25782 |  0.000 |
984.23/125.46	c (124,0) c |  7 |    725 |     563574 |     335378 |    93338 |    68200 |    42197 |   291217 |    26815 |  0.000 |
984.23/125.46	c (124,0) c 
984.23/125.46	c (124,0) c synthesis     2784477 conflicts  1068719979 propagations     3184 conflicts/sec  1221999 propagations/sec
984.23/125.46	c (124,0) c Total Memory so far : 690.46Mb
984.23/125.46	c (124,0) c
984.23/125.46	c (124,0) c |-------------------------------------------------------------------------------------------------------|
984.23/125.46	c (124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
984.23/125.46	c (124,0) c |-------------------------------------------------------------------------------------------------------|
984.23/125.46	c (124,0) c |  0 |    893 |     564818 |     342364 |    89827 |    75186 |    42038 |   306017 |    28423 |  0.000 |
984.23/125.46	c (124,0) c |  1 |   1025 |     622579 |     369904 |    94770 |    64313 |    44698 |   303370 |    26885 |  0.000 |
984.23/125.46	c (124,0) c |  2 |   1100 |     646737 |     389654 |    90387 |    43064 |    48195 |   299938 |    31259 |  0.000 |
984.23/125.46	c (124,0) c |  3 |   1280 |     635049 |     382715 |    85002 |    77135 |    47854 |   300125 |    29292 |  0.000 |
984.23/125.46	c (124,0) c |  4 |   1029 |     537901 |     325081 |    83502 |    57892 |    39863 |   301894 |    25964 |  0.000 |
984.23/125.46	c (124,0) c |  5 |   1077 |     579113 |     350691 |    83871 |    45108 |    40132 |   308026 |    27607 |  0.000 |
984.23/125.46	c (124,0) c |  6 |   1075 |     578879 |     352145 |    86833 |    46559 |    42718 |   304770 |    26228 |  0.000 |
984.23/125.46	c (124,0) c |  7 |    726 |     570490 |     340251 |    93533 |    73073 |    42671 |   302908 |    27221 |  0.000 |
984.23/125.46	c (124,0) c 
984.23/125.46	c (124,0) c synthesis     2852805 conflicts  1095866147 propagations     3147 conflicts/sec  1208955 propagations/sec
984.23/125.46	c (124,0) c Total Memory so far : 690.46Mb
984.23/125.46	c (124,0) c
984.23/125.46	c (124,0) c |-------------------------------------------------------------------------------------------------------|
984.23/125.46	c (124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
984.23/125.46	c (124,0) c |-------------------------------------------------------------------------------------------------------|
984.23/125.46	c (124,0) c |  0 |    918 |     577567 |     350384 |    90248 |    44800 |    42738 |   312721 |    28952 |  0.000 |
984.23/125.46	c (124,0) c |  1 |   1033 |     637153 |     379870 |    94933 |    74279 |    45957 |   309485 |    27512 |  0.000 |
984.23/125.46	c (124,0) c |  2 |   1116 |     664064 |     401202 |    90595 |    54612 |    49316 |   303982 |    32099 |  0.000 |
984.23/125.46	c (124,0) c |  3 |   1301 |     651427 |     393598 |    85112 |    47014 |    48934 |   306490 |    29799 |  0.000 |
984.23/125.46	c (124,0) c |  4 |   1044 |     547450 |     331142 |    83777 |    63952 |    40735 |   313805 |    26532 |  0.000 |
984.23/125.46	c (124,0) c |  5 |   1093 |     592109 |     359052 |    84130 |    53469 |    41170 |   312980 |    28194 |  0.000 |
984.23/125.46	c (124,0) c |  6 |   1115 |     594270 |     362097 |    87027 |    56511 |    43588 |   311799 |    26704 |  0.000 |
984.23/125.46	c (124,0) c |  7 |    726 |     576932 |     344792 |    93569 |    39221 |    43148 |   302908 |    27498 |  0.000 |
984.23/125.46	c (124,0) c 
984.23/125.46	c (124,0) c synthesis     2922137 conflicts  1122988776 propagations     3114 conflicts/sec  1196764 propagations/sec
984.23/125.46	c (124,0) c Total Memory so far : 690.46Mb
984.23/125.46	c (124,0) c
984.23/125.46	c (124,0) c |-------------------------------------------------------------------------------------------------------|
984.23/125.46	c (124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1079.93/137.45	c (136,0) c |-------------------------------------------------------------------------------------------------------|
1079.93/137.45	c (136,0) c |  0 |    946 |     593322 |     360844 |    90349 |    55260 |    43795 |   322250 |    29651 |  0.000 |
1079.93/137.45	c (136,0) c |  1 |   1036 |     658878 |     393367 |    96209 |    46783 |    47852 |   312634 |    28176 |  0.000 |
1079.93/137.45	c (136,0) c |  2 |   1129 |     680283 |     412896 |    90640 |    66306 |    50454 |   311965 |    32808 |  0.000 |
1079.93/137.45	c (136,0) c |  3 |   1345 |     676807 |     409733 |    85338 |    63149 |    50777 |   315226 |    30874 |  0.000 |
1079.93/137.45	c (136,0) c |  4 |   1051 |     563357 |     341276 |    85403 |    74087 |    42397 |   319363 |    27669 |  0.000 |
1079.93/137.45	c (136,0) c |  5 |   1120 |     608383 |     369544 |    84391 |    63961 |    42373 |   323228 |    28899 |  0.000 |
1079.93/137.45	c (136,0) c |  6 |   1139 |     611028 |     372916 |    87173 |    67330 |    44510 |   321511 |    27273 |  0.000 |
1079.93/137.45	c (136,0) c |  7 |    744 |     592096 |     354781 |    93814 |    49210 |    43952 |   322096 |    28179 |  0.000 |
1079.93/137.45	c (136,0) c 
1079.93/137.45	c (136,0) c synthesis     3015358 conflicts  1159688024 propagations     3082 conflicts/sec  1185501 propagations/sec
1079.93/137.45	c (136,0) c Total Memory so far : 690.46Mb
1079.93/137.45	c (136,0) c
1079.93/137.45	c (136,0) c |-------------------------------------------------------------------------------------------------------|
1079.93/137.45	c (136,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1079.93/137.45	c (136,0) c |-------------------------------------------------------------------------------------------------------|
1079.93/137.45	c (136,0) c |  0 |    982 |     606356 |     368888 |    90562 |    63304 |    44660 |   328539 |    30327 |  0.000 |
1079.93/137.45	c (136,0) c |  1 |   1040 |     676690 |     404766 |    96963 |    58182 |    49559 |   323262 |    28743 |  0.000 |
1079.93/137.45	c (136,0) c |  2 |   1134 |     694428 |     422865 |    90836 |    76275 |    51441 |   321302 |    33539 |  0.000 |
1079.93/137.45	c (136,0) c |  3 |   1386 |     695455 |     421314 |    86163 |    74730 |    52170 |   322243 |    31608 |  0.000 |
1079.93/137.45	c (136,0) c |  4 |   1053 |     577432 |     350048 |    87250 |    44467 |    43822 |   328226 |    28310 |  0.000 |
1079.93/137.45	c (136,0) c |  5 |   1147 |     620673 |     377515 |    84694 |    71932 |    43399 |   331374 |    29387 |  0.000 |
1079.93/137.45	c (136,0) c |  6 |   1142 |     621994 |     380243 |    87340 |    74657 |    45239 |   323697 |    27713 |  0.000 |
1079.93/137.45	c (136,0) c |  7 |    796 |     604943 |     362042 |    94253 |    56471 |    44494 |   328938 |    28917 |  0.000 |
1079.93/137.45	c (136,0) c 
1079.93/137.45	c (136,0) c synthesis     3087681 conflicts  1188114368 propagations     3057 conflicts/sec  1176222 propagations/sec
1079.93/137.45	c (136,0) c Total Memory so far : 690.46Mb
1079.93/137.45	c (136,0) c
1079.93/137.45	c (136,0) c |-------------------------------------------------------------------------------------------------------|
1079.93/137.45	c (136,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1079.93/137.45	c (136,0) c |-------------------------------------------------------------------------------------------------------|
1079.93/137.45	c (136,0) c |  0 |   1012 |     618121 |     376189 |    90661 |    70605 |    45246 |   334566 |    30872 |  0.000 |
1079.93/137.45	c (136,0) c |  1 |   1042 |     690657 |     414252 |    97126 |    67668 |    50932 |   329340 |    29247 |  0.000 |
1079.93/137.45	c (136,0) c |  2 |   1166 |     709891 |     432623 |    91680 |    86033 |    52264 |   329128 |    34397 |  0.000 |
1079.93/137.45	c (136,0) c |  3 |   1410 |     712237 |     431991 |    86953 |    85407 |    53442 |   326764 |    32272 |  0.000 |
1079.93/137.45	c (136,0) c |  4 |   1072 |     589944 |     357621 |    88017 |    52040 |    44630 |   336729 |    28779 |  0.000 |
1079.93/137.45	c (136,0) c |  5 |   1180 |     631528 |     384516 |    84748 |    78933 |    44057 |   337245 |    29803 |  0.000 |
1079.93/137.45	c (136,0) c |  6 |   1187 |     634106 |     387540 |    87469 |    81954 |    45871 |   335546 |    28189 |  0.000 |
1079.93/137.45	c (136,0) c |  7 |    836 |     616598 |     368987 |    94487 |    63416 |    44995 |   334975 |    29644 |  0.000 |
1079.93/137.45	c (136,0) c 
1079.93/137.45	c (136,0) c synthesis     3153722 conflicts  1215645252 propagations     3027 conflicts/sec  1166664 propagations/sec
1079.93/137.45	c (136,0) c Total Memory so far : 749.74Mb
1079.93/137.45	c (136,0) c
1079.93/137.45	c (136,0) c |-------------------------------------------------------------------------------------------------------|
1079.93/137.45	c (136,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1079.93/137.45	c (136,0) c |-------------------------------------------------------------------------------------------------------|
1175.64/149.45	c (148,0) c |  0 |   1013 |     627861 |     383041 |    90766 |    77457 |    45899 |   337797 |    31316 |  0.000 |
1175.64/149.45	c (148,0) c |  1 |   1045 |     707682 |     425040 |    97679 |    78456 |    52472 |   332993 |    29797 |  0.000 |
1175.64/149.45	c (148,0) c |  2 |   1224 |     729529 |     444258 |    92581 |    54072 |    53321 |   335549 |    35187 |  0.000 |
1175.64/149.45	c (148,0) c |  3 |   1455 |     730774 |     443525 |    87735 |    53334 |    54430 |   334309 |    33165 |  0.000 |
1175.64/149.45	c (148,0) c |  4 |   1118 |     602642 |     364597 |    88680 |    59016 |    45187 |   343697 |    29423 |  0.000 |
1175.64/149.45	c (148,0) c |  5 |   1237 |     646009 |     393094 |    85025 |    46513 |    44773 |   344078 |    30606 |  0.000 |
1175.64/149.45	c (148,0) c |  6 |   1225 |     650482 |     397995 |    87868 |    51405 |    47245 |   341187 |    28863 |  0.000 |
1175.64/149.45	c (148,0) c |  7 |    844 |     627595 |     376415 |    94620 |    70844 |    45571 |   343178 |    30321 |  0.000 |
1175.64/149.45	c (148,0) c 
1175.64/149.45	c (148,0) c synthesis     3227965 conflicts  1245998216 propagations     3006 conflicts/sec  1160283 propagations/sec
1175.64/149.45	c (148,0) c Total Memory so far : 690.46Mb
1175.64/149.45	c (148,0) c
1175.64/149.45	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1175.64/149.45	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1175.64/149.45	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1175.64/149.45	c (148,0) c |  0 |   1035 |     639796 |     390438 |    91081 |    43853 |    46594 |   349829 |    31883 |  0.000 |
1175.64/149.45	c (148,0) c |  1 |   1064 |     722067 |     434419 |    97810 |    44234 |    53679 |   341441 |    30187 |  0.000 |
1175.64/149.45	c (148,0) c |  2 |   1258 |     746098 |     454486 |    93245 |    64300 |    54258 |   342204 |    35815 |  0.000 |
1175.64/149.45	c (148,0) c |  3 |   1481 |     746056 |     453544 |    87919 |    63353 |    55311 |   340952 |    33892 |  0.000 |
1175.64/149.45	c (148,0) c |  4 |   1141 |     613555 |     371650 |    89116 |    66069 |    45668 |   350738 |    30081 |  0.000 |
1175.64/149.45	c (148,0) c |  5 |   1278 |     661043 |     402521 |    85144 |    55940 |    45573 |   350091 |    31257 |  0.000 |
1175.64/149.45	c (148,0) c |  6 |   1240 |     668945 |     409298 |    88661 |    62708 |    49197 |   346960 |    29466 |  0.000 |
1175.64/149.45	c (148,0) c |  7 |    865 |     640149 |     384311 |    94757 |    78740 |    46187 |   349182 |    31016 |  0.000 |
1175.64/149.45	c (148,0) c 
1175.64/149.45	c (148,0) c synthesis     3300667 conflicts  1275485103 propagations     2985 conflicts/sec  1153522 propagations/sec
1175.64/149.45	c (148,0) c Total Memory so far : 690.46Mb
1175.64/149.45	c (148,0) c
1175.64/149.45	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1175.64/149.45	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1175.64/149.45	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1175.64/149.45	c (148,0) c |  0 |   1053 |     652671 |     399033 |    91169 |    52448 |    47321 |   355162 |    32323 |  0.000 |
1175.64/149.45	c (148,0) c |  1 |   1073 |     743923 |     447354 |    98706 |    57169 |    55839 |   348387 |    30784 |  0.000 |
1175.64/149.45	c (148,0) c |  2 |   1301 |     761483 |     463787 |    93820 |    73600 |    55157 |   349788 |    36500 |  0.000 |
1175.64/149.45	c (148,0) c |  3 |   1538 |     762747 |     463077 |    88992 |    72886 |    56088 |   349001 |    34739 |  0.000 |
1175.64/149.45	c (148,0) c |  4 |   1167 |     624586 |     378545 |    89332 |    72963 |    46154 |   358841 |    30837 |  0.000 |
1175.64/149.45	c (148,0) c |  5 |   1314 |     675026 |     411027 |    85874 |    64446 |    46415 |   358228 |    31894 |  0.000 |
1175.64/149.45	c (148,0) c |  6 |   1266 |     685250 |     419403 |    89125 |    72813 |    50713 |   353203 |    30251 |  0.000 |
1175.64/149.45	c (148,0) c |  7 |    898 |     655930 |     393676 |    95696 |    47094 |    47402 |   357373 |    31706 |  0.000 |
1175.64/149.45	c (148,0) c 
1175.64/149.45	c (148,0) c synthesis     3375903 conflicts  1304914302 propagations     2968 conflicts/sec  1147058 propagations/sec
1175.64/149.45	c (148,0) c Total Memory so far : 690.46Mb
1175.64/149.45	c (148,0) c
1175.64/149.45	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1175.64/149.45	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1175.64/149.45	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1271.35/161.45	c (160,0) c |  0 |   1080 |     665664 |     407302 |    91417 |    60717 |    48100 |   364363 |    32854 |  0.000 |
1271.35/161.45	c (160,0) c |  1 |   1082 |     761283 |     458282 |    99023 |    68097 |    57098 |   354958 |    31202 |  0.000 |
1271.35/161.45	c (160,0) c |  2 |   1330 |     774414 |     472261 |    93892 |    82075 |    55945 |   356764 |    37240 |  0.000 |
1271.35/161.45	c (160,0) c |  3 |   1588 |     778530 |     472509 |    90102 |    82318 |    57038 |   355528 |    35490 |  0.000 |
1271.35/161.45	c (160,0) c |  4 |   1178 |     634137 |     384904 |    89502 |    79323 |    46621 |   366089 |    31513 |  0.000 |
1271.35/161.45	c (160,0) c |  5 |   1327 |     685440 |     418375 |    85912 |    71794 |    47049 |   365003 |    32376 |  0.000 |
1271.35/161.45	c (160,0) c |  6 |   1290 |     700513 |     428646 |    89793 |    82055 |    52139 |   359585 |    31022 |  0.000 |
1271.35/161.45	c (160,0) c |  7 |    912 |     671676 |     403092 |    96496 |    56510 |    48913 |   363701 |    32177 |  0.000 |
1271.35/161.45	c (160,0) c 
1271.35/161.45	c (160,0) c synthesis     3445371 conflicts  1332540614 propagations     2946 conflicts/sec  1139394 propagations/sec
1271.35/161.45	c (160,0) c Total Memory so far : 690.46Mb
1271.35/161.45	c (160,0) c
1271.35/161.45	c (160,0) c |-------------------------------------------------------------------------------------------------------|
1271.35/161.45	c (160,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1271.35/161.45	c (160,0) c |-------------------------------------------------------------------------------------------------------|
1271.35/161.45	c (160,0) c |  0 |   1112 |     678549 |     415186 |    91573 |    68601 |    48754 |   370615 |    33416 |  0.000 |
1271.35/161.45	c (160,0) c |  1 |   1117 |     777360 |     468139 |    99440 |    77954 |    58275 |   361948 |    31693 |  0.000 |
1271.35/161.45	c (160,0) c |  2 |   1331 |     786009 |     481010 |    93943 |    90824 |    56974 |   363233 |    37763 |  0.000 |
1271.35/161.45	c (160,0) c |  3 |   1601 |     790860 |     480726 |    90327 |    90535 |    57924 |   361556 |    36145 |  0.000 |
1271.35/161.45	c (160,0) c |  4 |   1197 |     645284 |     392083 |    89757 |    45496 |    47261 |   372465 |    32080 |  0.000 |
1271.35/161.45	c (160,0) c |  5 |   1377 |     698152 |     425706 |    86194 |    79125 |    47722 |   372283 |    33027 |  0.000 |
1271.35/161.45	c (160,0) c |  6 |   1303 |     712166 |     436298 |    90119 |    46110 |    53241 |   366798 |    31473 |  0.000 |
1271.35/161.45	c (160,0) c |  7 |    947 |     687160 |     412480 |    96695 |    65898 |    50167 |   370122 |    32832 |  0.000 |
1271.35/161.45	c (160,0) c 
1271.35/161.45	c (160,0) c synthesis     3511628 conflicts  1358415139 propagations     2923 conflicts/sec  1130679 propagations/sec
1271.35/161.45	c (160,0) c Total Memory so far : 690.46Mb
1271.35/161.45	c (160,0) c
1271.35/161.45	c (160,0) c |-------------------------------------------------------------------------------------------------------|
1271.35/161.45	c (160,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1271.35/161.45	c (160,0) c |-------------------------------------------------------------------------------------------------------|
1271.35/161.45	c (160,0) c |  0 |   1125 |     689509 |     422528 |    91994 |    75942 |    49547 |   378027 |    33884 |  0.000 |
1271.35/161.45	c (160,0) c |  1 |   1134 |     793434 |     478655 |    99507 |    88470 |    59884 |   367025 |    32296 |  0.000 |
1271.35/161.45	c (160,0) c |  2 |   1334 |     802363 |     492538 |    94006 |    56156 |    58592 |   369391 |    38272 |  0.000 |
1271.35/161.45	c (160,0) c |  3 |   1638 |     805333 |     490118 |    90655 |    53731 |    58659 |   367573 |    36587 |  0.000 |
1271.35/161.45	c (160,0) c |  4 |   1216 |     656712 |     399992 |    89887 |    53405 |    47814 |   375479 |    32524 |  0.000 |
1271.35/161.45	c (160,0) c |  5 |   1388 |     708374 |     432483 |    86319 |    85902 |    48325 |   378774 |    33501 |  0.000 |
1271.35/161.45	c (160,0) c |  6 |   1335 |     727686 |     446113 |    90327 |    55925 |    54014 |   373915 |    32078 |  0.000 |
1271.35/161.45	c (160,0) c |  7 |    984 |     701164 |     420920 |    96871 |    74338 |    51197 |   374185 |    33442 |  0.000 |
1271.35/161.45	c (160,0) c 
1271.35/161.45	c (160,0) c synthesis     3583349 conflicts  1386468756 propagations     2905 conflicts/sec  1124194 propagations/sec
1271.35/161.45	c (160,0) c Total Memory so far : 690.46Mb
1271.35/161.45	c (160,0) c
1271.35/161.45	c (160,0) c |-------------------------------------------------------------------------------------------------------|
1271.35/161.45	c (160,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1271.35/161.45	c (160,0) c |-------------------------------------------------------------------------------------------------------|
1271.35/161.45	c (160,0) c |  0 |   1166 |     701072 |     429338 |    92328 |    82753 |    50164 |   384567 |    34393 |  0.000 |
1375.04/174.45	c (173,0) c |  1 |   1144 |     807456 |     487944 |    99569 |    51570 |    60854 |   373485 |    32654 |  0.000 |
1375.04/174.45	c (173,0) c |  2 |   1343 |     818976 |     504394 |    94049 |    68012 |    60011 |   373350 |    38739 |  0.000 |
1375.04/174.45	c (173,0) c |  3 |   1667 |     820436 |     499510 |    91172 |    63123 |    59750 |   371608 |    37141 |  0.000 |
1375.04/174.45	c (173,0) c |  4 |   1247 |     667994 |     407220 |    90042 |    60633 |    48291 |   386483 |    32983 |  0.000 |
1375.04/174.45	c (173,0) c |  5 |   1408 |     720974 |     440716 |    86807 |    50534 |    49130 |   385599 |    33898 |  0.000 |
1375.04/174.45	c (173,0) c |  6 |   1348 |     741186 |     454793 |    90520 |    64605 |    54656 |   379553 |    32781 |  0.000 |
1375.04/174.45	c (173,0) c |  7 |   1000 |     711826 |     427837 |    96973 |    81255 |    51928 |   382842 |    33988 |  0.000 |
1375.04/174.45	c (173,0) c 
1375.04/174.45	c (173,0) c synthesis     3651752 conflicts  1413155742 propagations     2886 conflicts/sec  1116950 propagations/sec
1375.04/174.45	c (173,0) c Total Memory so far : 720.20Mb
1375.04/174.45	c (173,0) c
1375.04/174.45	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1375.04/174.45	c (173,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1375.04/174.45	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1375.04/174.45	c (173,0) c |  0 |   1195 |     717092 |     439008 |    92944 |    48829 |    51098 |   392658 |    34867 |  0.000 |
1375.04/174.45	c (173,0) c |  1 |   1159 |     828201 |     501114 |    99726 |    64740 |    62218 |   380747 |    33140 |  0.000 |
1375.04/174.45	c (173,0) c |  2 |   1343 |     843225 |     518838 |    95202 |    82456 |    62512 |   373350 |    39329 |  0.000 |
1375.04/174.45	c (173,0) c |  3 |   1692 |     838156 |     511373 |    91308 |    74986 |    61052 |   382851 |    38003 |  0.000 |
1375.04/174.45	c (173,0) c |  4 |   1263 |     680113 |     415174 |    90124 |    68587 |    48906 |   394632 |    33530 |  0.000 |
1375.04/174.45	c (173,0) c |  5 |   1442 |     737261 |     450732 |    87172 |    60550 |    49969 |   393437 |    34443 |  0.000 |
1375.04/174.45	c (173,0) c |  6 |   1385 |     757318 |     465120 |    90678 |    74932 |    55288 |   387520 |    33479 |  0.000 |
1375.04/174.45	c (173,0) c |  7 |   1021 |     726263 |     437234 |    97088 |    47050 |    52873 |   390557 |    34710 |  0.000 |
1375.04/174.45	c (173,0) c 
1375.04/174.45	c (173,0) c synthesis     3738593 conflicts  1448466182 propagations     2865 conflicts/sec  1109895 propagations/sec
1375.04/174.45	c (173,0) c Total Memory so far : 720.20Mb
1375.04/174.45	c (173,0) c
1375.04/174.45	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1375.04/174.45	c (173,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1375.04/174.45	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1375.04/174.45	c (173,0) c |  0 |   1227 |     730174 |     447126 |    93115 |    56947 |    51749 |   398457 |    35191 |  0.000 |
1375.04/174.45	c (173,0) c |  1 |   1182 |     843342 |     510360 |    99981 |    73986 |    63027 |   386873 |    33483 |  0.000 |
1375.04/174.45	c (173,0) c |  2 |   1344 |     857551 |     528821 |    95319 |    92438 |    64405 |   385642 |    39637 |  0.000 |
1375.04/174.45	c (173,0) c |  3 |   1731 |     852112 |     520114 |    91618 |    83727 |    61791 |   388298 |    38512 |  0.000 |
1375.04/174.45	c (173,0) c |  4 |   1274 |     689910 |     421440 |    90360 |    74852 |    49354 |   399578 |    33966 |  0.000 |
1375.04/174.45	c (173,0) c |  5 |   1483 |     749098 |     458124 |    87271 |    67942 |    50462 |   399590 |    34781 |  0.000 |
1375.04/174.45	c (173,0) c |  6 |   1392 |     769858 |     473581 |    90828 |    83392 |    55948 |   391091 |    33980 |  0.000 |
1375.04/174.45	c (173,0) c |  7 |   1036 |     737781 |     445019 |    97146 |    54835 |    53470 |   395246 |    35171 |  0.000 |
1375.04/174.45	c (173,0) c 
1375.04/174.45	c (173,0) c synthesis     3804585 conflicts  1475194855 propagations     2846 conflicts/sec  1103417 propagations/sec
1375.04/174.45	c (173,0) c Total Memory so far : 720.20Mb
1375.04/174.45	c (173,0) c
1375.04/174.45	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1375.04/174.45	c (173,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1375.04/174.45	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1375.04/174.45	c (173,0) c |  0 |   1228 |     740810 |     454618 |    93248 |    64439 |    52557 |   398620 |    35603 |  0.000 |
1375.04/174.45	c (173,0) c |  1 |   1227 |     858077 |     519232 |   100077 |    82857 |    63712 |   392676 |    33884 |  0.000 |
1470.74/186.46	c (185,0) c |  2 |   1350 |     870814 |     538446 |    95342 |    53262 |    65331 |   388214 |    39901 |  0.000 |
1470.74/186.46	c (185,0) c |  3 |   1735 |     866271 |     529422 |    91915 |    93035 |    62955 |   390307 |    39064 |  0.000 |
1470.74/186.46	c (185,0) c |  4 |   1292 |     703116 |     428868 |    91441 |    82281 |    50206 |   406424 |    34518 |  0.000 |
1470.74/186.46	c (185,0) c |  5 |   1504 |     761059 |     465690 |    87785 |    75508 |    51210 |   405355 |    35229 |  0.000 |
1470.74/186.46	c (185,0) c |  6 |   1398 |     782281 |     481766 |    91493 |    91578 |    56810 |   399035 |    34621 |  0.000 |
1470.74/186.46	c (185,0) c |  7 |   1058 |     747814 |     451465 |    97218 |    61281 |    53867 |   401766 |    35597 |  0.000 |
1470.74/186.46	c (185,0) c 
1470.74/186.46	c (185,0) c synthesis     3869507 conflicts  1501184754 propagations     2827 conflicts/sec  1096692 propagations/sec
1470.74/186.46	c (185,0) c Total Memory so far : 720.20Mb
1470.74/186.46	c (185,0) c
1470.74/186.46	c (185,0) c |-------------------------------------------------------------------------------------------------------|
1470.74/186.46	c (185,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1470.74/186.46	c (185,0) c |-------------------------------------------------------------------------------------------------------|
1470.74/186.46	c (185,0) c |  0 |   1252 |     752419 |     462061 |    93423 |    71882 |    53311 |   411830 |    35899 |  0.000 |
1470.74/186.46	c (185,0) c |  1 |   1269 |     872200 |     527871 |   100219 |    91497 |    64336 |   400710 |    34326 |  0.000 |
1470.74/186.46	c (185,0) c |  2 |   1362 |     887107 |     550184 |    95362 |    64999 |    66535 |   398532 |    40267 |  0.000 |
1470.74/186.46	c (185,0) c |  3 |   1735 |     883285 |     541109 |    92157 |    55925 |    65136 |   390307 |    39665 |  0.000 |
1470.74/186.46	c (185,0) c |  4 |   1331 |     717333 |     436341 |    92440 |    46158 |    51102 |   413174 |    35027 |  0.000 |
1470.74/186.46	c (185,0) c |  5 |   1558 |     772619 |     472684 |    87861 |    82502 |    51752 |   413158 |    35645 |  0.000 |
1470.74/186.46	c (185,0) c |  6 |   1398 |     802545 |     494807 |    92625 |    58426 |    58725 |   399035 |    35250 |  0.000 |
1470.74/186.46	c (185,0) c |  7 |   1077 |     757482 |     457952 |    97229 |    67768 |    54274 |   410687 |    35935 |  0.000 |
1470.74/186.46	c (185,0) c 
1470.74/186.46	c (185,0) c synthesis     3943010 conflicts  1530011506 propagations     2815 conflicts/sec  1092332 propagations/sec
1470.74/186.46	c (185,0) c Total Memory so far : 720.20Mb
1470.74/186.46	c (185,0) c
1470.74/186.46	c (185,0) c |-------------------------------------------------------------------------------------------------------|
1470.74/186.46	c (185,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1470.74/186.46	c (185,0) c |-------------------------------------------------------------------------------------------------------|
1470.74/186.46	c (185,0) c |  0 |   1273 |     764001 |     469616 |    93557 |    79437 |    54001 |   418554 |    36274 |  0.000 |
1470.74/186.46	c (185,0) c |  1 |   1274 |     883399 |     535490 |   100305 |    50315 |    64764 |   405544 |    34937 |  0.000 |
1470.74/186.46	c (185,0) c |  2 |   1372 |     905114 |     562084 |    95730 |    76900 |    68046 |   402733 |    40882 |  0.000 |
1470.74/186.46	c (185,0) c |  3 |   1753 |     899782 |     551951 |    92365 |    66768 |    66687 |   406061 |    40163 |  0.000 |
1470.74/186.46	c (185,0) c |  4 |   1350 |     729922 |     444188 |    92689 |    54005 |    51973 |   420668 |    35475 |  0.000 |
1470.74/186.46	c (185,0) c |  5 |   1589 |     783556 |     479502 |    88080 |    89320 |    52296 |   420432 |    36076 |  0.000 |
1470.74/186.46	c (185,0) c |  6 |   1405 |     817993 |     504834 |    92802 |    68452 |    60259 |   412313 |    35683 |  0.000 |
1470.74/186.46	c (185,0) c |  7 |   1106 |     767788 |     464379 |    97320 |    74195 |    54727 |   416797 |    36313 |  0.000 |
1470.74/186.46	c (185,0) c 
1470.74/186.46	c (185,0) c synthesis     4012045 conflicts  1557977067 propagations     2801 conflicts/sec  1087542 propagations/sec
1470.74/186.46	c (185,0) c Total Memory so far : 720.20Mb
1470.74/186.46	c (185,0) c
1470.74/186.46	c (185,0) c |-------------------------------------------------------------------------------------------------------|
1470.74/186.46	c (185,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1470.74/186.46	c (185,0) c |-------------------------------------------------------------------------------------------------------|
1470.74/186.46	c (185,0) c |  0 |   1305 |     774065 |     475947 |    93839 |    85768 |    54490 |   424308 |    36589 |  0.000 |
1470.74/186.46	c (185,0) c |  1 |   1274 |     894970 |     544175 |   100333 |    59000 |    65521 |   405544 |    35292 |  0.000 |
1470.74/186.46	c (185,0) c |  2 |   1390 |     922146 |     572587 |    96221 |    87402 |    69120 |   408115 |    41526 |  0.000 |
1566.45/198.45	c (197,0) c |  3 |   1812 |     916513 |     561922 |    92609 |    76739 |    67711 |   410931 |    40718 |  0.000 |
1566.45/198.45	c (197,0) c |  4 |   1363 |     740910 |     451253 |    92832 |    61069 |    52658 |   424962 |    35839 |  0.000 |
1566.45/198.45	c (197,0) c |  5 |   1598 |     794243 |     486573 |    88568 |    50190 |    53119 |   425516 |    36622 |  0.000 |
1566.45/198.45	c (197,0) c |  6 |   1419 |     829952 |     512438 |    93147 |    76057 |    61149 |   417829 |    36091 |  0.000 |
1566.45/198.45	c (197,0) c |  7 |   1108 |     776296 |     470432 |    97351 |    80248 |    55212 |   419861 |    36698 |  0.000 |
1566.45/198.45	c (197,0) c 
1566.45/198.45	c (197,0) c synthesis     4075327 conflicts  1583870064 propagations     2783 conflicts/sec  1081539 propagations/sec
1566.45/198.45	c (197,0) c Total Memory so far : 721.47Mb
1566.45/198.45	c (197,0) c
1566.45/198.45	c (197,0) c |-------------------------------------------------------------------------------------------------------|
1566.45/198.45	c (197,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1566.45/198.45	c (197,0) c |-------------------------------------------------------------------------------------------------------|
1566.45/198.45	c (197,0) c |  0 |   1326 |     783946 |     482157 |    94179 |    91978 |    55021 |   428934 |    36931 |  0.000 |
1566.45/198.45	c (197,0) c |  1 |   1278 |     909223 |     553948 |   100448 |    68773 |    66441 |   416382 |    36034 |  0.000 |
1566.45/198.45	c (197,0) c |  2 |   1394 |     936910 |     582389 |    96401 |    97205 |    70078 |   413223 |    42338 |  0.000 |
1566.45/198.45	c (197,0) c |  3 |   1844 |     930893 |     570853 |    92863 |    85670 |    68775 |   416549 |    41334 |  0.000 |
1566.45/198.45	c (197,0) c |  4 |   1363 |     753689 |     458822 |    93512 |    68639 |    53571 |   424962 |    36093 |  0.000 |
1566.45/198.45	c (197,0) c |  5 |   1639 |     808238 |     494942 |    89105 |    58559 |    54013 |   431489 |    36946 |  0.000 |
1566.45/198.45	c (197,0) c |  6 |   1433 |     842462 |     520574 |    93450 |    84193 |    62067 |   423373 |    36514 |  0.000 |
1566.45/198.45	c (197,0) c |  7 |   1112 |     783859 |     475969 |    97408 |    85784 |    55724 |   429948 |    36972 |  0.000 |
1566.45/198.45	c (197,0) c 
1566.45/198.45	c (197,0) c synthesis     4139654 conflicts  1609568509 propagations     2767 conflicts/sec  1075668 propagations/sec
1566.45/198.45	c (197,0) c Total Memory so far : 721.84Mb
1566.45/198.45	c (197,0) c
1566.45/198.45	c (197,0) c |-------------------------------------------------------------------------------------------------------|
1566.45/198.45	c (197,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1566.45/198.45	c (197,0) c |-------------------------------------------------------------------------------------------------------|
1566.45/198.45	c (197,0) c |  0 |   1352 |     797126 |     490482 |    94331 |    54103 |    55851 |   435499 |    37269 |  0.000 |
1566.45/198.45	c (197,0) c |  1 |   1292 |     923190 |     562984 |   100674 |    77809 |    67294 |   423554 |    36982 |  0.000 |
1566.45/198.45	c (197,0) c |  2 |   1420 |     951223 |     591595 |    96456 |    55004 |    70852 |   420743 |    43024 |  0.000 |
1566.45/198.45	c (197,0) c |  3 |   1873 |     944846 |     579788 |    92925 |    94605 |    69699 |   421961 |    41754 |  0.000 |
1566.45/198.45	c (197,0) c |  4 |   1364 |     763060 |     465443 |    93587 |    75260 |    54167 |   436139 |    36490 |  0.000 |
1566.45/198.45	c (197,0) c |  5 |   1669 |     821720 |     503127 |    89341 |    66744 |    54959 |   436464 |    37409 |  0.000 |
1566.45/198.45	c (197,0) c |  6 |   1442 |     852778 |     527911 |    93483 |    91530 |    62680 |   428727 |    36839 |  0.000 |
1566.45/198.45	c (197,0) c |  7 |   1142 |     793383 |     482131 |    97458 |    91947 |    56160 |   435488 |    37512 |  0.000 |
1566.45/198.45	c (197,0) c 
1566.45/198.45	c (197,0) c synthesis     4203463 conflicts  1635683873 propagations     2751 conflicts/sec  1070306 propagations/sec
1566.45/198.45	c (197,0) c Total Memory so far : 721.84Mb
1566.45/198.45	c (197,0) c
1566.45/198.45	c (197,0) c |-------------------------------------------------------------------------------------------------------|
1566.45/198.45	c (197,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1566.45/198.45	c (197,0) c |-------------------------------------------------------------------------------------------------------|
1566.45/198.45	c (197,0) c |  0 |   1354 |     807669 |     498463 |    94370 |    62084 |    56970 |   436082 |    37713 |  0.000 |
1566.45/198.45	c (197,0) c |  1 |   1302 |     934259 |     570677 |   100689 |    85502 |    67892 |   429288 |    37445 |  0.000 |
1566.45/198.45	c (197,0) c |  2 |   1426 |     965674 |     601960 |    96599 |    65369 |    71530 |   426237 |    43418 |  0.000 |
1566.45/198.45	c (197,0) c |  3 |   1906 |     959152 |     588264 |    93227 |    51682 |    70738 |   426979 |    42266 |  0.000 |
1670.14/211.45	c (210,0) c |  4 |   1372 |     772838 |     471893 |    93928 |    81709 |    54749 |   440269 |    37106 |  0.000 |
1670.14/211.45	c (210,0) c |  5 |   1679 |     834119 |     510834 |    89895 |    74451 |    55979 |   438515 |    37962 |  0.000 |
1670.14/211.45	c (210,0) c |  6 |   1450 |     861830 |     534001 |    93571 |    48814 |    63283 |   433923 |    37200 |  0.000 |
1670.14/211.45	c (210,0) c |  7 |   1147 |     802501 |     488813 |    97500 |    52432 |    56681 |   440290 |    37832 |  0.000 |
1670.14/211.45	c (210,0) c 
1670.14/211.45	c (210,0) c synthesis     4264905 conflicts  1660323487 propagations     2734 conflicts/sec  1064217 propagations/sec
1670.14/211.45	c (210,0) c Total Memory so far : 721.84Mb
1670.14/211.45	c (210,0) c
1670.14/211.45	c (210,0) c |-------------------------------------------------------------------------------------------------------|
1670.14/211.45	c (210,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1670.14/211.45	c (210,0) c |-------------------------------------------------------------------------------------------------------|
1670.14/211.45	c (210,0) c |  0 |   1358 |     818812 |     506387 |    94411 |    70007 |    57834 |   445810 |    38029 |  0.000 |
1670.14/211.45	c (210,0) c |  1 |   1325 |     947871 |     579561 |   100912 |    94386 |    68827 |   434975 |    38198 |  0.000 |
1670.14/211.45	c (210,0) c |  2 |   1426 |     979358 |     611317 |    96722 |    74726 |    72271 |   426237 |    43862 |  0.000 |
1670.14/211.45	c (210,0) c |  3 |   1933 |     976427 |     598797 |    93592 |    62215 |    71670 |   433257 |    42753 |  0.000 |
1670.14/211.45	c (210,0) c |  4 |   1380 |     782237 |     478209 |    94032 |    88026 |    55297 |   449566 |    37730 |  0.000 |
1670.14/211.45	c (210,0) c |  5 |   1685 |     846601 |     519257 |    89983 |    82874 |    57206 |   445217 |    38516 |  0.000 |
1670.14/211.45	c (210,0) c |  6 |   1456 |     875218 |     543025 |    93662 |    57837 |    64238 |   439410 |    37812 |  0.000 |
1670.14/211.45	c (210,0) c |  7 |   1177 |     815926 |     497106 |    97956 |    60725 |    57603 |   445416 |    38389 |  0.000 |
1670.14/211.45	c (210,0) c 
1670.14/211.45	c (210,0) c synthesis     4333661 conflicts  1688001694 propagations     2722 conflicts/sec  1060280 propagations/sec
1670.14/211.45	c (210,0) c Total Memory so far : 721.84Mb
1670.14/211.45	c (210,0) c
1670.14/211.45	c (210,0) c |-------------------------------------------------------------------------------------------------------|
1670.14/211.45	c (210,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1670.14/211.45	c (210,0) c |-------------------------------------------------------------------------------------------------------|
1670.14/211.45	c (210,0) c |  0 |   1371 |     831459 |     515106 |    94529 |    78727 |    58633 |   453663 |    38395 |  0.000 |
1670.14/211.45	c (210,0) c |  1 |   1345 |     960538 |     587969 |   101022 |   102793 |    69439 |   442983 |    38797 |  0.000 |
1670.14/211.45	c (210,0) c |  2 |   1426 |     997309 |     623322 |    97068 |    86731 |    73606 |   426237 |    44426 |  0.000 |
1670.14/211.45	c (210,0) c |  3 |   1948 |     994440 |     610747 |    93871 |    74165 |    72844 |   439945 |    43206 |  0.000 |
1670.14/211.45	c (210,0) c |  4 |   1396 |     794630 |     486384 |    94295 |    50003 |    55909 |   455805 |    38364 |  0.000 |
1670.14/211.45	c (210,0) c |  5 |   1705 |     862166 |     529506 |    90434 |    93123 |    58717 |   453923 |    39253 |  0.000 |
1670.14/211.45	c (210,0) c |  6 |   1475 |     892306 |     553832 |    94146 |    68645 |    65448 |   447205 |    38541 |  0.000 |
1670.14/211.45	c (210,0) c |  7 |   1226 |     829298 |     505561 |    98147 |    69180 |    58213 |   454436 |    38963 |  0.000 |
1670.14/211.45	c (210,0) c 
1670.14/211.45	c (210,0) c synthesis     4412427 conflicts  1720427859 propagations     2704 conflicts/sec  1054249 propagations/sec
1670.14/211.45	c (210,0) c Total Memory so far : 721.84Mb
1670.14/211.45	c (210,0) c
1670.14/211.45	c (210,0) c |-------------------------------------------------------------------------------------------------------|
1670.14/211.45	c (210,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1670.14/211.45	c (210,0) c |-------------------------------------------------------------------------------------------------------|
1670.14/211.45	c (210,0) c |  0 |   1392 |     841565 |     521573 |    94806 |    85194 |    59182 |   458747 |    38599 |  0.000 |
1670.14/211.45	c (210,0) c |  1 |   1356 |     971127 |     595682 |   101050 |    59104 |    70009 |   448014 |    39031 |  0.000 |
1670.14/211.45	c (210,0) c |  2 |   1437 |    1010437 |     633009 |    97125 |    96418 |    74173 |   440975 |    44882 |  0.000 |
1670.14/211.45	c (210,0) c |  3 |   1962 |    1008296 |     619953 |    94156 |    83371 |    73742 |   443221 |    43609 |  0.000 |
1670.14/211.45	c (210,0) c |  4 |   1406 |     805413 |     493411 |    94509 |    57030 |    56422 |   460643 |    38743 |  0.000 |
1765.85/223.45	c (222,0) c |  5 |   1718 |     872729 |     536514 |    90511 |    51327 |    59380 |   458644 |    39810 |  0.000 |
1765.85/223.45	c (222,0) c |  6 |   1486 |     906376 |     562777 |    94615 |    77590 |    66488 |   450833 |    39071 |  0.000 |
1765.85/223.45	c (222,0) c |  7 |   1230 |     837458 |     511466 |    98264 |    75085 |    58645 |   457821 |    39352 |  0.000 |
1765.85/223.45	c (222,0) c 
1765.85/223.45	c (222,0) c synthesis     4474386 conflicts  1746121411 propagations     2689 conflicts/sec  1049479 propagations/sec
1765.85/223.45	c (222,0) c Total Memory so far : 721.84Mb
1765.85/223.45	c (222,0) c
1765.85/223.45	c (222,0) c |-------------------------------------------------------------------------------------------------------|
1765.85/223.45	c (222,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1765.85/223.45	c (222,0) c |-------------------------------------------------------------------------------------------------------|
1765.85/223.45	c (222,0) c |  0 |   1411 |     851230 |     527889 |    94893 |    91510 |    59651 |   462223 |    38811 |  0.000 |
1765.85/223.45	c (222,0) c |  1 |   1371 |     983088 |     603850 |   101139 |    67272 |    70639 |   453155 |    39432 |  0.000 |
1765.85/223.45	c (222,0) c |  2 |   1437 |    1023815 |     642487 |    97305 |   105895 |    75229 |   440975 |    45273 |  0.000 |
1765.85/223.45	c (222,0) c |  3 |   1978 |    1024091 |     630355 |    94251 |    93773 |    74869 |   448914 |    44123 |  0.000 |
1765.85/223.45	c (222,0) c |  4 |   1412 |     814774 |     500018 |    94565 |    63637 |    56864 |   464865 |    39088 |  0.000 |
1765.85/223.45	c (222,0) c |  5 |   1735 |     885830 |     544948 |    90818 |    59761 |    60297 |   463405 |    40328 |  0.000 |
1765.85/223.45	c (222,0) c |  6 |   1514 |     918521 |     570364 |    94832 |    85177 |    67267 |   455488 |    39621 |  0.000 |
1765.85/223.45	c (222,0) c |  7 |   1251 |     846200 |     517447 |    98332 |    81066 |    59034 |   463591 |    39793 |  0.000 |
1765.85/223.45	c (222,0) c 
1765.85/223.45	c (222,0) c synthesis     4537358 conflicts  1771748499 propagations     2676 conflicts/sec  1044856 propagations/sec
1765.85/223.45	c (222,0) c Total Memory so far : 751.48Mb
1765.85/223.45	c (222,0) c
1765.85/223.45	c (222,0) c |-------------------------------------------------------------------------------------------------------|
1765.85/223.45	c (222,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1765.85/223.45	c (222,0) c |-------------------------------------------------------------------------------------------------------|
1765.85/223.45	c (222,0) c |  0 |   1424 |     860513 |     534001 |    94994 |    97622 |    60125 |   468315 |    39006 |  0.000 |
1765.85/223.45	c (222,0) c |  1 |   1391 |     997118 |     612765 |   101290 |    76187 |    71524 |   457187 |    40024 |  0.000 |
1765.85/223.45	c (222,0) c |  2 |   1442 |    1039572 |     653380 |    97846 |    62798 |    76173 |   451734 |    45659 |  0.000 |
1765.85/223.45	c (222,0) c |  3 |   1991 |    1036945 |     638948 |    94288 |   102366 |    75641 |   449957 |    44472 |  0.000 |
1765.85/223.45	c (222,0) c |  4 |   1414 |     823470 |     506191 |    94685 |    69810 |    57323 |   468403 |    39369 |  0.000 |
1765.85/223.45	c (222,0) c |  5 |   1745 |     898224 |     553343 |    90886 |    68156 |    60989 |   466720 |    40794 |  0.000 |
1765.85/223.45	c (222,0) c |  6 |   1514 |     928024 |     577084 |    94908 |    91897 |    67851 |   455488 |    39993 |  0.000 |
1765.85/223.45	c (222,0) c |  7 |   1265 |     854379 |     522991 |    98575 |    86610 |    59503 |   469170 |    40167 |  0.000 |
1765.85/223.45	c (222,0) c 
1765.85/223.45	c (222,0) c synthesis     4598703 conflicts  1796446085 propagations     2662 conflicts/sec  1039858 propagations/sec
1765.85/223.45	c (222,0) c Total Memory so far : 751.48Mb
1765.85/223.45	c (222,0) c
1765.85/223.45	c (222,0) c |-------------------------------------------------------------------------------------------------------|
1765.85/223.45	c (222,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1765.85/223.45	c (222,0) c |-------------------------------------------------------------------------------------------------------|
1765.85/223.45	c (222,0) c |  0 |   1433 |     872357 |     541971 |    95073 |    56789 |    60684 |   471622 |    39175 |  0.000 |
1765.85/223.45	c (222,0) c |  1 |   1411 |    1014233 |     622683 |   101561 |    86105 |    72730 |   459715 |    40658 |  0.000 |
1765.85/223.45	c (222,0) c |  2 |   1442 |    1053976 |     664792 |    97852 |    74210 |    77098 |   451734 |    45910 |  0.000 |
1765.85/223.45	c (222,0) c |  3 |   1998 |    1051516 |     649275 |    94330 |    58690 |    76647 |   456404 |    44841 |  0.000 |
1765.85/223.45	c (222,0) c |  4 |   1433 |     832001 |     512364 |    94698 |    75983 |    57693 |   477336 |    39759 |  0.000 |
1861.55/235.45	c (234,0) c |  5 |   1757 |     909854 |     561448 |    90923 |    76261 |    61747 |   473601 |    41135 |  0.000 |
1861.55/235.45	c (234,0) c |  6 |   1524 |     938390 |     583992 |    94960 |    98805 |    68453 |   466324 |    40581 |  0.000 |
1861.55/235.45	c (234,0) c |  7 |   1277 |     865862 |     530401 |    98814 |    94020 |    60315 |   473902 |    40744 |  0.000 |
1861.55/235.45	c (234,0) c 
1861.55/235.45	c (234,0) c synthesis     4666926 conflicts  1822922064 propagations     2652 conflicts/sec  1036054 propagations/sec
1861.55/235.45	c (234,0) c Total Memory so far : 751.48Mb
1861.55/235.45	c (234,0) c
1861.55/235.45	c (234,0) c |-------------------------------------------------------------------------------------------------------|
1861.55/235.45	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1861.55/235.45	c (234,0) c |-------------------------------------------------------------------------------------------------------|
1861.55/235.45	c (234,0) c |  0 |   1447 |     883195 |     549240 |    95118 |    64058 |    61229 |   480067 |    39384 |  0.000 |
1861.55/235.45	c (234,0) c |  1 |   1418 |    1027504 |     630696 |   101732 |    94118 |    73808 |   467791 |    41094 |  0.000 |
1861.55/235.45	c (234,0) c |  2 |   1443 |    1067704 |     674963 |    97869 |    84381 |    78093 |   460536 |    46250 |  0.000 |
1861.55/235.45	c (234,0) c |  3 |   2008 |    1068547 |     660225 |    94772 |    69640 |    77783 |   463752 |    45353 |  0.000 |
1861.55/235.45	c (234,0) c |  4 |   1437 |     840174 |     518347 |    94721 |    81966 |    58136 |   483315 |    40105 |  0.000 |
1861.55/235.45	c (234,0) c |  5 |   1783 |     921330 |     568902 |    90975 |    83715 |    62373 |   477194 |    41421 |  0.000 |
1861.55/235.45	c (234,0) c |  6 |   1546 |     951801 |     592657 |    95013 |    56068 |    69230 |   472387 |    41367 |  0.000 |
1861.55/235.45	c (234,0) c |  7 |   1287 |     876517 |     537453 |    98988 |    52267 |    61054 |   478908 |    41171 |  0.000 |
1861.55/235.45	c (234,0) c 
1861.55/235.45	c (234,0) c synthesis     4732484 conflicts  1849084618 propagations     2642 conflicts/sec  1032210 propagations/sec
1861.55/235.45	c (234,0) c Total Memory so far : 751.48Mb
1861.55/235.45	c (234,0) c
1861.55/235.45	c (234,0) c |-------------------------------------------------------------------------------------------------------|
1861.55/235.45	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1861.55/235.45	c (234,0) c |-------------------------------------------------------------------------------------------------------|
1861.55/235.45	c (234,0) c |  0 |   1483 |     894497 |     556761 |    95158 |    71579 |    61736 |   486319 |    39639 |  0.000 |
1861.55/235.45	c (234,0) c |  1 |   1441 |    1041826 |     639632 |   101940 |   103054 |    74761 |   472644 |    42026 |  0.000 |
1861.55/235.45	c (234,0) c |  2 |   1455 |    1079805 |     683381 |    97892 |    92799 |    78585 |   467755 |    46745 |  0.000 |
1861.55/235.45	c (234,0) c |  3 |   2027 |    1085227 |     670856 |    95147 |    80271 |    79023 |   468623 |    45785 |  0.000 |
1861.55/235.45	c (234,0) c |  4 |   1459 |     849939 |     524708 |    94844 |    88327 |    58658 |   489392 |    40569 |  0.000 |
1861.55/235.45	c (234,0) c |  5 |   1789 |     931740 |     576599 |    90993 |    91411 |    63019 |   480101 |    41691 |  0.000 |
1861.55/235.45	c (234,0) c |  6 |   1579 |     968679 |     602912 |    95145 |    66322 |    70353 |   477727 |    41976 |  0.000 |
1861.55/235.45	c (234,0) c |  7 |   1308 |     889187 |     545193 |    99229 |    60007 |    61990 |   486009 |    41611 |  0.000 |
1861.55/235.45	c (234,0) c 
1861.55/235.45	c (234,0) c synthesis     4800042 conflicts  1876214882 propagations     2633 conflicts/sec  1029031 propagations/sec
1861.55/235.45	c (234,0) c Total Memory so far : 751.48Mb
1861.55/235.45	c (234,0) c
1861.55/235.45	c (234,0) c |-------------------------------------------------------------------------------------------------------|
1861.55/235.45	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1861.55/235.45	c (234,0) c |-------------------------------------------------------------------------------------------------------|
1861.55/235.45	c (234,0) c |  0 |   1499 |     906432 |     565463 |    95192 |    80281 |    62620 |   487943 |    40152 |  0.000 |
1861.55/235.45	c (234,0) c |  1 |   1495 |    1056426 |     648756 |   102068 |    58174 |    75476 |   478156 |    42878 |  0.000 |
1861.55/235.45	c (234,0) c |  2 |   1468 |    1091159 |     691159 |    98160 |   100577 |    79064 |   471780 |    47335 |  0.000 |
1861.55/235.45	c (234,0) c |  3 |   2047 |    1099593 |     680337 |    95236 |    89752 |    80006 |   471651 |    46210 |  0.000 |
1861.55/235.45	c (234,0) c |  4 |   1462 |     858155 |     530295 |    94904 |    93914 |    59217 |   490726 |    41035 |  0.000 |
1861.55/235.45	c (234,0) c |  5 |   1792 |     941259 |     584185 |    91215 |    98998 |    63591 |   490142 |    41901 |  0.000 |
1965.24/248.45	c (247,0) c |  6 |   1611 |     981723 |     611279 |    95190 |    74689 |    71055 |   481874 |    42441 |  0.000 |
1965.24/248.45	c (247,0) c |  7 |   1340 |     900538 |     552297 |    99292 |    67111 |    62738 |   491008 |    42066 |  0.000 |
1965.24/248.45	c (247,0) c 
1965.24/248.45	c (247,0) c synthesis     4863772 conflicts  1901598757 propagations     2622 conflicts/sec  1025023 propagations/sec
1965.24/248.45	c (247,0) c Total Memory so far : 751.48Mb
1965.24/248.45	c (247,0) c
1965.24/248.45	c (247,0) c |-------------------------------------------------------------------------------------------------------|
1965.24/248.45	c (247,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1965.24/248.45	c (247,0) c |-------------------------------------------------------------------------------------------------------|
1965.24/248.45	c (247,0) c |  0 |   1501 |     918037 |     573716 |    95372 |    88534 |    63685 |   496066 |    40594 |  0.000 |
1965.24/248.45	c (247,0) c |  1 |   1526 |    1070027 |     657978 |   102152 |    67396 |    76243 |   482429 |    43595 |  0.000 |
1965.24/248.45	c (247,0) c |  2 |   1478 |    1103304 |     699122 |    98779 |   108540 |    79522 |   479258 |    47972 |  0.000 |
1965.24/248.45	c (247,0) c |  3 |   2097 |    1113689 |     689119 |    95285 |    98534 |    80542 |   478229 |    46824 |  0.000 |
1965.24/248.45	c (247,0) c |  4 |   1472 |     867492 |     536244 |    95192 |    51061 |    59916 |   498658 |    41642 |  0.000 |
1965.24/248.45	c (247,0) c |  5 |   1805 |     953426 |     592169 |    91398 |    55582 |    64383 |   495367 |    42205 |  0.000 |
1965.24/248.45	c (247,0) c |  6 |   1622 |     992264 |     618687 |    95251 |    82098 |    71746 |   487924 |    42818 |  0.000 |
1965.24/248.45	c (247,0) c |  7 |   1363 |     913065 |     560456 |    99356 |    75269 |    63727 |   495943 |    42546 |  0.000 |
1965.24/248.45	c (247,0) c 
1965.24/248.45	c (247,0) c synthesis     4927491 conflicts  1926664439 propagations     2611 conflicts/sec  1020982 propagations/sec
1965.24/248.45	c (247,0) c Total Memory so far : 751.48Mb
1965.24/248.45	c (247,0) c
1965.24/248.45	c (247,0) c |-------------------------------------------------------------------------------------------------------|
1965.24/248.45	c (247,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1965.24/248.45	c (247,0) c |-------------------------------------------------------------------------------------------------------|
1965.24/248.45	c (247,0) c |  0 |   1519 |     930059 |     581434 |    95465 |    96252 |    64485 |   501014 |    41421 |  0.000 |
1965.24/248.45	c (247,0) c |  1 |   1536 |    1083972 |     667116 |   102361 |    76534 |    77272 |   489102 |    44363 |  0.000 |
1965.24/248.45	c (247,0) c |  2 |   1484 |    1115040 |     707339 |    98987 |    60149 |    80129 |   485184 |    48443 |  0.000 |
1965.24/248.45	c (247,0) c |  3 |   2110 |    1127940 |     698340 |    95866 |   107755 |    81172 |   484227 |    47606 |  0.000 |
1965.24/248.45	c (247,0) c |  4 |   1479 |     878623 |     543581 |    95479 |    58398 |    61014 |   505336 |    42030 |  0.000 |
1965.24/248.45	c (247,0) c |  5 |   1815 |     964932 |     600359 |    91475 |    63772 |    65377 |   501005 |    42414 |  0.000 |
1965.24/248.45	c (247,0) c |  6 |   1628 |    1002689 |     626018 |    95291 |    89429 |    72295 |   491388 |    43300 |  0.000 |
1965.24/248.45	c (247,0) c |  7 |   1380 |     926248 |     568201 |    99850 |    83015 |    64665 |   501711 |    42891 |  0.000 |
1965.24/248.45	c (247,0) c 
1965.24/248.45	c (247,0) c synthesis     4992388 conflicts  1952841657 propagations     2602 conflicts/sec  1017651 propagations/sec
1965.24/248.45	c (247,0) c Total Memory so far : 751.48Mb
1965.24/248.45	c (247,0) c
1965.24/248.45	c (247,0) c |-------------------------------------------------------------------------------------------------------|
1965.24/248.45	c (247,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1965.24/248.45	c (247,0) c |-------------------------------------------------------------------------------------------------------|
1965.24/248.45	c (247,0) c |  0 |   1533 |     946421 |     591718 |    95802 |    55131 |    65594 |   508525 |    42233 |  0.000 |
1965.24/248.45	c (247,0) c |  1 |   1544 |    1099987 |     677795 |   102587 |    87212 |    78330 |   492068 |    45428 |  0.000 |
1965.24/248.45	c (247,0) c |  2 |   1533 |    1135422 |     720034 |    99271 |    72843 |    81209 |   493065 |    49119 |  0.000 |
1965.24/248.45	c (247,0) c |  3 |   2164 |    1144696 |     708767 |    95970 |    61585 |    81747 |   492380 |    48335 |  0.000 |
1965.24/248.45	c (247,0) c |  4 |   1485 |     892653 |     553514 |    95564 |    68331 |    62383 |   506977 |    42719 |  0.000 |
1965.24/248.45	c (247,0) c |  5 |   1840 |     979771 |     610102 |    91656 |    73515 |    66511 |   507782 |    42893 |  0.000 |
1965.24/248.45	c (247,0) c |  6 |   1631 |    1014350 |     634394 |    95320 |    97804 |    73045 |   498194 |    43913 |  0.000 |
2060.95/260.45	c (259,0) c |  7 |   1395 |     936813 |     575049 |   100007 |    89863 |    65475 |   504523 |    43448 |  0.000 |
2060.95/260.45	c (259,0) c 
2060.95/260.45	c (259,0) c synthesis     5071373 conflicts  1984868717 propagations     2589 conflicts/sec  1013284 propagations/sec
2060.95/260.45	c (259,0) c Total Memory so far : 751.48Mb
2060.95/260.45	c (259,0) c
2060.95/260.45	c (259,0) c |-------------------------------------------------------------------------------------------------------|
2060.95/260.45	c (259,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2060.95/260.45	c (259,0) c |-------------------------------------------------------------------------------------------------------|
2060.95/260.45	c (259,0) c |  0 |   1570 |     961355 |     601089 |    95943 |    64502 |    66448 |   513673 |    42697 |  0.000 |
2060.95/260.45	c (259,0) c |  1 |   1570 |    1113414 |     686218 |   102839 |    95636 |    79275 |   499420 |    46141 |  0.000 |
2060.95/260.45	c (259,0) c |  2 |   1544 |    1147019 |     728226 |    99337 |    81036 |    81767 |   498116 |    49536 |  0.000 |
2060.95/260.45	c (259,0) c |  3 |   2190 |    1158900 |     718449 |    96119 |    71267 |    82460 |   497108 |    48807 |  0.000 |
2060.95/260.45	c (259,0) c |  4 |   1485 |     902919 |     560287 |    95746 |    75103 |    63528 |   506977 |    42984 |  0.000 |
2060.95/260.45	c (259,0) c |  5 |   1863 |     992131 |     618034 |    91814 |    81447 |    67489 |   512941 |    43461 |  0.000 |
2060.95/260.45	c (259,0) c |  6 |   1646 |    1023031 |     640261 |    95373 |   103671 |    73518 |   506936 |    44267 |  0.000 |
2060.95/260.45	c (259,0) c |  7 |   1399 |     945707 |     580855 |   100174 |    95669 |    66162 |   514238 |    43719 |  0.000 |
2060.95/260.45	c (259,0) c 
2060.95/260.45	c (259,0) c synthesis     5133419 conflicts  2010371800 propagations     2579 conflicts/sec  1009859 propagations/sec
2060.95/260.45	c (259,0) c Total Memory so far : 751.48Mb
2060.95/260.45	c (259,0) c
2060.95/260.45	c (259,0) c |-------------------------------------------------------------------------------------------------------|
2060.95/260.45	c (259,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2060.95/260.45	c (259,0) c |-------------------------------------------------------------------------------------------------------|
2060.95/260.45	c (259,0) c |  0 |   1585 |     972998 |     608639 |    96066 |    72052 |    67239 |   520224 |    43060 |  0.000 |
2060.95/260.45	c (259,0) c |  1 |   1593 |    1127537 |     695143 |   103111 |   104561 |    80365 |   506799 |    46717 |  0.000 |
2060.95/260.45	c (259,0) c |  2 |   1567 |    1161491 |     737862 |    99601 |    90671 |    82802 |   504092 |    50105 |  0.000 |
2060.95/260.45	c (259,0) c |  3 |   2190 |    1171933 |     728390 |    96135 |    81208 |    83698 |   497108 |    49331 |  0.000 |
2060.95/260.45	c (259,0) c |  4 |   1488 |     911675 |     566073 |    95841 |    80890 |    64392 |   522510 |    43245 |  0.000 |
2060.95/260.45	c (259,0) c |  5 |   1900 |    1005517 |     626279 |    91910 |    89692 |    68294 |   519108 |    44110 |  0.000 |
2060.95/260.45	c (259,0) c |  6 |   1648 |    1031688 |     646375 |    95393 |    55787 |    73970 |   507256 |    44591 |  0.000 |
2060.95/260.45	c (259,0) c |  7 |   1412 |     956099 |     586800 |   100433 |   101614 |    66914 |   519933 |    44105 |  0.000 |
2060.95/260.45	c (259,0) c 
2060.95/260.45	c (259,0) c synthesis     5195561 conflicts  2035071565 propagations     2569 conflicts/sec  1006144 propagations/sec
2060.95/260.45	c (259,0) c Total Memory so far : 751.48Mb
2060.95/260.45	c (259,0) c
2060.95/260.45	c (259,0) c |-------------------------------------------------------------------------------------------------------|
2060.95/260.45	c (259,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2060.95/260.45	c (259,0) c |-------------------------------------------------------------------------------------------------------|
2060.95/260.45	c (259,0) c |  0 |   1592 |     983224 |     615880 |    96073 |    79293 |    67936 |   523401 |    43461 |  0.000 |
2060.95/260.45	c (259,0) c |  1 |   1611 |    1138902 |     702534 |   103236 |   111952 |    81139 |   511995 |    47163 |  0.000 |
2060.95/260.45	c (259,0) c |  2 |   1607 |    1174726 |     746275 |    99757 |    99085 |    83439 |   509735 |    50539 |  0.000 |
2060.95/260.45	c (259,0) c |  3 |   2193 |    1183101 |     736225 |    96404 |    89043 |    84312 |   508642 |    49743 |  0.000 |
2060.95/260.45	c (259,0) c |  4 |   1488 |     920437 |     572226 |    95866 |    87043 |    65281 |   522510 |    43583 |  0.000 |
2060.95/260.45	c (259,0) c |  5 |   1938 |    1017830 |     634003 |    91985 |    97416 |    69074 |   524199 |    44687 |  0.000 |
2060.95/260.45	c (259,0) c |  6 |   1658 |    1043159 |     654052 |    95465 |    63463 |    74483 |   516161 |    44937 |  0.000 |
2060.95/260.45	c (259,0) c |  7 |   1438 |     969961 |     595477 |   100563 |    58898 |    67776 |   525560 |    44450 |  0.000 |
2060.95/260.45	c (259,0) c 
2188.64/276.45	c (275,0) c synthesis     5256672 conflicts  2060233855 propagations     2559 conflicts/sec  1002769 propagations/sec
2188.64/276.45	c (275,0) c Total Memory so far : 751.48Mb
2188.64/276.45	c (275,0) c
2188.64/276.45	c (275,0) c |-------------------------------------------------------------------------------------------------------|
2188.64/276.45	c (275,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2188.64/276.45	c (275,0) c |-------------------------------------------------------------------------------------------------------|
2188.64/276.45	c (275,0) c |  0 |   1595 |     994613 |     623601 |    96102 |    87014 |    68661 |   529825 |    43958 |  0.000 |
2188.64/276.45	c (275,0) c |  1 |   1620 |    1152113 |     711532 |   103338 |    64349 |    82074 |   517312 |    47544 |  0.000 |
2188.64/276.45	c (275,0) c |  2 |   1657 |    1186724 |     753500 |    99859 |   106310 |    83985 |   514433 |    51110 |  0.000 |
2188.64/276.45	c (275,0) c |  3 |   2200 |    1195771 |     745161 |    96451 |    97978 |    85281 |   512064 |    50318 |  0.000 |
2188.64/276.45	c (275,0) c |  4 |   1491 |     928475 |     577900 |    95928 |    92717 |    65832 |   532956 |    43845 |  0.000 |
2188.64/276.45	c (275,0) c |  5 |   1968 |    1028407 |     640533 |    92252 |   103946 |    69706 |   529721 |    45149 |  0.000 |
2188.64/276.45	c (275,0) c |  6 |   1678 |    1056264 |     662533 |    95534 |    71944 |    75204 |   522963 |    45363 |  0.000 |
2188.64/276.45	c (275,0) c |  7 |   1456 |     982960 |     603766 |   100811 |    67187 |    68759 |   528838 |    44865 |  0.000 |
2188.64/276.45	c (275,0) c 
2188.64/276.45	c (275,0) c synthesis     5318526 conflicts  2085496788 propagations     2549 conflicts/sec   999546 propagations/sec
2188.64/276.45	c (275,0) c Total Memory so far : 751.48Mb
2188.64/276.45	c (275,0) c
2188.64/276.45	c (275,0) c |-------------------------------------------------------------------------------------------------------|
2188.64/276.45	c (275,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2188.64/276.45	c (275,0) c |-------------------------------------------------------------------------------------------------------|
2188.64/276.45	c (275,0) c |  0 |   1603 |    1005558 |     630827 |    96163 |    94240 |    69371 |   536425 |    44521 |  0.000 |
2188.64/276.45	c (275,0) c |  1 |   1651 |    1165645 |     720070 |   103491 |    72887 |    82760 |   522964 |    48135 |  0.000 |
2188.64/276.45	c (275,0) c |  2 |   1660 |    1196395 |     760779 |    99935 |   113589 |    84527 |   520712 |    51592 |  0.000 |
2188.64/276.45	c (275,0) c |  3 |   2226 |    1210459 |     754036 |    96914 |   106854 |    86279 |   518881 |    51149 |  0.000 |
2188.64/276.45	c (275,0) c |  4 |   1495 |     935797 |     583518 |    95940 |    98335 |    66271 |   538485 |    44181 |  0.000 |
2188.64/276.45	c (275,0) c |  5 |   1979 |    1039538 |     648045 |    92569 |    57457 |    70616 |   535183 |    45672 |  0.000 |
2188.64/276.45	c (275,0) c |  6 |   1697 |    1071399 |     672268 |    95792 |    81680 |    76144 |   528300 |    46085 |  0.000 |
2188.64/276.45	c (275,0) c |  7 |   1456 |     995446 |     612658 |   100848 |    76079 |    69833 |   528838 |    45223 |  0.000 |
2188.64/276.45	c (275,0) c 
2188.64/276.45	c (275,0) c synthesis     5382201 conflicts  2111328968 propagations     2541 conflicts/sec   996703 propagations/sec
2188.64/276.45	c (275,0) c Total Memory so far : 751.48Mb
2188.64/276.45	c (275,0) c
2188.64/276.45	c (275,0) c |-------------------------------------------------------------------------------------------------------|
2188.64/276.45	c (275,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2188.64/276.45	c (275,0) c |-------------------------------------------------------------------------------------------------------|
2188.64/276.45	c (275,0) c |  0 |   1614 |    1014994 |     637151 |    96379 |   100564 |    69887 |   542173 |    44889 |  0.000 |
2188.64/276.45	c (275,0) c |  1 |   1685 |    1179187 |     728399 |   103931 |    81216 |    83466 |   528795 |    48793 |  0.000 |
2188.64/276.45	c (275,0) c |  2 |   1661 |    1206158 |     767906 |    99965 |    61519 |    85079 |   524615 |    51893 |  0.000 |
2188.64/276.45	c (275,0) c |  3 |   2242 |    1225160 |     763180 |    97148 |   115998 |    87212 |   522902 |    51913 |  0.000 |
2188.64/276.45	c (275,0) c |  4 |   1533 |     947561 |     590880 |    96036 |    54292 |    66808 |   545441 |    44971 |  0.000 |
2188.64/276.45	c (275,0) c |  5 |   1995 |    1053797 |     657193 |    92980 |    66605 |    71861 |   538822 |    46081 |  0.000 |
2188.64/276.45	c (275,0) c |  6 |   1701 |    1084441 |     681055 |    95979 |    90467 |    77116 |   534870 |    46532 |  0.000 |
2188.64/276.45	c (275,0) c |  7 |   1456 |    1006979 |     621023 |   101110 |    84444 |    70835 |   528838 |    45431 |  0.000 |
2188.64/276.45	c (275,0) c 
2188.64/276.45	c (275,0) c synthesis     5446787 conflicts  2137574552 propagations     2533 conflicts/sec   994125 propagations/sec
2188.64/276.45	c (275,0) c Total Memory so far : 751.48Mb
2292.24/289.45	c (288,0) c
2292.24/289.45	c (288,0) c |-------------------------------------------------------------------------------------------------------|
2292.24/289.45	c (288,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2292.24/289.45	c (288,0) c |-------------------------------------------------------------------------------------------------------|
2292.24/289.45	c (288,0) c |  0 |   1636 |    1027569 |     644600 |    96763 |   108013 |    70735 |   548309 |    45445 |  0.000 |
2292.24/289.45	c (288,0) c |  1 |   1707 |    1191881 |     736438 |   104130 |    89255 |    84139 |   534965 |    49300 |  0.000 |
2292.24/289.45	c (288,0) c |  2 |   1677 |    1221191 |     777548 |   100329 |    71161 |    86145 |   530280 |    52286 |  0.000 |
2292.24/289.45	c (288,0) c |  3 |   2256 |    1238771 |     771837 |    97764 |    65451 |    87892 |   531003 |    52381 |  0.000 |
2292.24/289.45	c (288,0) c |  4 |   1544 |     960127 |     598987 |    96224 |    62399 |    67706 |   547146 |    45336 |  0.000 |
2292.24/289.45	c (288,0) c |  5 |   2022 |    1068141 |     665901 |    93437 |    75313 |    72988 |   545889 |    46920 |  0.000 |
2292.24/289.45	c (288,0) c |  6 |   1701 |    1095390 |     689150 |    96021 |    98562 |    77831 |   534870 |    46959 |  0.000 |
2292.24/289.45	c (288,0) c |  7 |   1456 |    1017784 |     629051 |   101312 |    92472 |    71725 |   528838 |    45562 |  0.000 |
2292.24/289.45	c (288,0) c 
2292.24/289.45	c (288,0) c synthesis     5513513 conflicts  2164547745 propagations     2527 conflicts/sec   991956 propagations/sec
2292.24/289.45	c (288,0) c Total Memory so far : 751.48Mb
2292.24/289.45	c (288,0) c
2292.24/289.45	c (288,0) c |-------------------------------------------------------------------------------------------------------|
2292.24/289.45	c (288,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2292.24/289.45	c (288,0) c |-------------------------------------------------------------------------------------------------------|
2292.24/289.45	c (288,0) c |  0 |   1643 |    1037851 |     651673 |    96796 |    61085 |    71356 |   549445 |    45719 |  0.000 |
2292.24/289.45	c (288,0) c |  1 |   1738 |    1205078 |     744672 |   104302 |    97489 |    84828 |   540336 |    49901 |  0.000 |
2292.24/289.45	c (288,0) c |  2 |   1677 |    1234198 |     786419 |   100767 |    80031 |    87171 |   530280 |    52567 |  0.000 |
2292.24/289.45	c (288,0) c |  3 |   2278 |    1253602 |     781361 |    98019 |    74975 |    88803 |   534643 |    52912 |  0.000 |
2292.24/289.45	c (288,0) c |  4 |   1544 |     970893 |     605844 |    96567 |    69256 |    68697 |   547146 |    45592 |  0.000 |
2292.24/289.45	c (288,0) c |  5 |   2066 |    1080045 |     672926 |    93533 |    82338 |    73687 |   550538 |    47342 |  0.000 |
2292.24/289.45	c (288,0) c |  6 |   1727 |    1105882 |     695875 |    96107 |   105287 |    78329 |   545251 |    47455 |  0.000 |
2292.24/289.45	c (288,0) c |  7 |   1457 |    1024672 |     634302 |   101331 |    97723 |    72421 |   548173 |    45768 |  0.000 |
2292.24/289.45	c (288,0) c 
2292.24/289.45	c (288,0) c synthesis     5573072 conflicts  2188826216 propagations     2517 conflicts/sec   988634 propagations/sec
2292.24/289.45	c (288,0) c Total Memory so far : 751.48Mb
2292.24/289.45	c (288,0) c
2292.24/289.45	c (288,0) c |-------------------------------------------------------------------------------------------------------|
2292.24/289.45	c (288,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2292.24/289.45	c (288,0) c |-------------------------------------------------------------------------------------------------------|
2292.24/289.45	c (288,0) c |  0 |   1645 |    1048729 |     659043 |    96849 |    68455 |    71996 |   557914 |    46190 |  0.000 |
2292.24/289.45	c (288,0) c |  1 |   1755 |    1215454 |     751603 |   104360 |   104420 |    85454 |   543396 |    50457 |  0.000 |
2292.24/289.45	c (288,0) c |  2 |   1686 |    1245996 |     794813 |   100865 |    88426 |    88110 |   542468 |    52870 |  0.000 |
2292.24/289.45	c (288,0) c |  3 |   2312 |    1267985 |     790217 |    98140 |    83831 |    89487 |   541101 |    53614 |  0.000 |
2292.24/289.45	c (288,0) c |  4 |   1567 |     982961 |     613334 |    97010 |    76746 |    69398 |   560838 |    46080 |  0.000 |
2292.24/289.45	c (288,0) c |  5 |   2073 |    1089870 |     679577 |    93661 |    88989 |    74412 |   554913 |    47864 |  0.000 |
2292.24/289.45	c (288,0) c |  6 |   1746 |    1114765 |     701421 |    96132 |   110832 |    78713 |   548957 |    47908 |  0.000 |
2292.24/289.45	c (288,0) c |  7 |   1459 |    1031568 |     639713 |   101344 |   103134 |    73033 |   553736 |    46080 |  0.000 |
2292.24/289.45	c (288,0) c 
2292.24/289.45	c (288,0) c synthesis     5629721 conflicts  2212151920 propagations     2507 conflicts/sec   984979 propagations/sec
2292.24/289.45	c (288,0) c Total Memory so far : 751.48Mb
2292.24/289.45	c (288,0) c
2302.62/290.79	c (290,0) c |-------------------------------------------------------------------------------------------------------|
2302.62/290.79	c (290,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2302.62/290.79	c (290,0) c |-------------------------------------------------------------------------------------------------------|
2302.62/290.79	c (290,0) c |  0 |   1645 |    1061319 |     668212 |    96890 |    77624 |    72977 |   557914 |    46707 |  0.000 |
2302.62/290.79	c (290,0) c |  1 |   1760 |    1227126 |     759730 |   104437 |   112546 |    86172 |   550665 |    51027 |  0.000 |
2302.62/290.79	c (290,0) c |  2 |   1704 |    1260835 |     805098 |   100939 |    98711 |    89114 |   548091 |    53281 |  0.000 |
2302.62/290.79	c (290,0) c |  3 |   2336 |    1284500 |     801243 |    98297 |    94857 |    90389 |   546841 |    54352 |  0.000 |
2302.62/290.79	c (290,0) c |  4 |   1597 |     996021 |     621653 |    97140 |    85065 |    70116 |   566974 |    46812 |  0.000 |
2302.62/290.79	c (290,0) c |  5 |   2092 |    1101133 |     686887 |    93708 |    96299 |    75192 |   562037 |    48472 |  0.000 |
2302.62/290.79	c (290,0) c |  6 |   1774 |    1129448 |     711130 |    96179 |    63946 |    79585 |   556269 |    48373 |  0.000 |
2302.62/290.79	c (290,0) c |  7 |   1463 |    1039747 |     645518 |   101520 |    54931 |    73725 |   563101 |    46340 |  0.000 |
2302.62/290.79	c (290,0) c 
2302.62/290.79	c (290,0) c synthesis     5699471 conflicts  2240613731 propagations     2493 conflicts/sec   980254 propagations/sec
2302.62/290.79	c (290,0) c Total Memory so far : 751.48Mb
2302.62/290.79	c (290,0) c last restart ## conflicts  :  1249 71 
2302.62/290.79	c (290,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer).
2302.62/290.79	c (290,0) c Total Memory so far : 751.48Mb
2302.62/290.79	c (290,0) c
2302.62/290.79	c (290,0) c real time : 288.44 s
2302.62/290.79	c (290,0) c cpu time  : 2296.43 s
2302.62/290.79	c (290,0) c
2302.62/290.79	c (290,0) c
2302.62/290.79	c (290,0) c
2302.62/290.79	c (290,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2302.62/290.79	c (290,0) c
2302.62/290.79	c (290,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2302.62/290.79	c (290,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2302.62/290.79	c (290,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2302.62/290.79	c (290,0) c | Conflicts     |         5719088 |     670670 |     761896 |     807679 |     803734 |     623861 |     689058 |     714310 |     647880 |
2302.62/290.79	c (290,0) c | Decisions     |         9130349 |    1064523 |    1230605 |    1265096 |    1288355 |     999740 |    1104767 |    1133890 |    1043373 |
2302.62/290.79	c (290,0) c | Propagations  |      2248639366 |  265853011 |  298606440 |  315339795 |  316803983 |  246644251 |  270648071 |  283376992 |  251366823 |
2302.62/290.79	c (290,0) c | Avg_Trail     |                 |       2774 |       2813 |       2666 |       2761 |       2735 |       2702 |       2755 |       2758 |
2302.62/290.79	c (290,0) c | Avg_DL        |                 |         24 |         25 |         23 |         25 |         24 |         24 |         25 |         24 |
2302.62/290.79	c (290,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2302.62/290.79	c (290,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2302.62/290.79	c (290,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2302.62/290.79	c (290,0) c | Exported      |          639161 |      73226 |      86329 |      89404 |      90608 |      70267 |      75416 |      79888 |      74023 |
2302.62/290.79	c (290,0) c | Imported      |         4459468 |     557914 |     552831 |     549036 |     547937 |     568832 |     563548 |     556269 |     563101 |
2302.62/290.79	c (290,0) c | Good          |             462 |         56 |         61 |         57 |         55 |         56 |         63 |         58 |         56 |
2302.62/290.79	c (290,0) c | Purge         |         4459006 |     557858 |     552770 |     548979 |     547882 |     568776 |     563485 |     556211 |     563045 |
2302.62/290.79	c (290,0) c | Promoted      |          396530 |      46838 |      51188 |      53419 |      54538 |      46985 |      48623 |      48493 |      46446 |
2302.62/290.79	c (290,0) c | Remove_Imp    |         3409666 |     440257 |     398745 |     406167 |     404455 |     440936 |     424869 |     439901 |     454336 |
2302.62/290.79	c (290,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2302.62/290.79	c (290,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2302.62/290.79	c (290,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2302.62/290.79	c (290,0) c | Binaries      |                 |         10 |          5 |          9 |         11 |         10 |          3 |          8 |         10 |
2302.62/290.79	c (290,0) c | Glues         |                 |        105 |         94 |         95 |        108 |         97 |         97 |         95 |         91 |
2302.62/290.79	c (290,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2302.62/290.79	c (290,0) c | Orig_Seen     |            69 % |      96897 |     104480 |     101258 |      98326 |      97208 |      93879 |      96196 |     101617 |
2302.62/290.79	c (290,0) c | Diff Orig seen|                 | -     4361 |       3222 |      X     | -     2932 | -     4050 | -     7379 | -     5062 |        359 |
2302.62/290.79	c (290,0) c | Hamming       |            31 % |       2021 |       2179 |      X     |       2059 |       1960 |       2076 |       2002 |       2129 |
2302.62/290.79	c (290,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2302.62/290.79	c (290,0) 
2302.62/290.79	c (290,0) s SATISFIABLE
5.80/290.81	c (290,1) SatSolver.solve End
5.80/290.81	c (290,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.80/290.81	c (290,1) Show results Begin
5.80/290.83	c (290,1) h[0] = 82
5.80/290.83	c (290,1) h[1] = 37
5.80/290.83	c (290,1) h[2] = 81
5.80/290.83	c (290,1) h[3] = 16
5.80/290.83	c (290,1) h[4] = 21
5.80/290.83	c (290,1) h[5] = 29
5.80/290.83	c (290,1) h[6] = 52
5.80/290.83	c (290,1) h[7] = 98
5.80/290.83	c (290,1) h[8] = 102
5.80/290.83	c (290,1) h[9] = 46
5.80/290.83	c (290,1) h[10] = 29
5.80/290.83	c (290,1) h[11] = 10
5.80/290.83	c (290,1) h[12] = 63
5.80/290.83	c (290,1) h[13] = 50
5.80/290.83	c (290,1) h[14] = 13
5.80/290.83	c (290,1) h[15] = 60
5.80/290.83	c (290,1) h[16] = 119
5.80/290.83	c (290,1) r[0] = 1
5.80/290.83	c (290,1) r[1] = 1
5.80/290.83	c (290,1) r[2] = 1
5.80/290.83	c (290,1) r[3] = 1
5.80/290.83	c (290,1) r[4] = 1
5.80/290.83	c (290,1) r[5] = 1
5.80/290.83	c (290,1) r[6] = 1
5.80/290.83	c (290,1) r[7] = 1
5.80/290.83	c (290,1) r[8] = 1
5.80/290.83	c (290,1) r[9] = 1
5.80/290.83	c (290,1) r[10] = 1
5.80/290.83	c (290,1) r[11] = 1
5.80/290.83	c (290,1) r[12] = 1
5.80/290.83	c (290,1) r[13] = 1
5.80/290.83	c (290,1) r[14] = 1
5.80/290.83	c (290,1) r[15] = 1
5.80/290.83	c (290,1) r[16] = 1
5.80/290.83	c (290,1) w[0] = 38
5.80/290.83	c (290,1) w[1] = 13
5.80/290.83	c (290,1) w[2] = 22
5.80/290.83	c (290,1) w[3] = 25
5.80/290.83	c (290,1) w[4] = 64
5.80/290.83	c (290,1) w[5] = 55
5.80/290.83	c (290,1) w[6] = 178
5.80/290.83	c (290,1) w[7] = 39
5.80/290.83	c (290,1) w[8] = 37
5.80/290.83	c (290,1) w[9] = 103
5.80/290.83	c (290,1) w[10] = 86
5.80/290.83	c (290,1) w[11] = 37
5.80/290.83	c (290,1) w[12] = 26
5.80/290.83	c (290,1) w[13] = 11
5.80/290.83	c (290,1) w[14] = 40
5.80/290.83	c (290,1) w[15] = 29
5.80/290.83	c (290,1) w[16] = 20
5.80/290.83	c (290,1) x[0] = 162
5.80/290.83	c (290,1) x[1] = 187
5.80/290.83	c (290,1) x[2] = 178
5.80/290.83	c (290,1) x[3] = 162
5.80/290.83	c (290,1) x[4] = 123
5.80/290.83	c (290,1) x[5] = 37
5.80/290.83	c (290,1) x[6] = 0
5.80/290.83	c (290,1) x[7] = 123
5.80/290.83	c (290,1) x[8] = 0
5.80/290.83	c (290,1) x[9] = 0
5.80/290.83	c (290,1) x[10] = 92
5.80/290.83	c (290,1) x[11] = 37
5.80/290.83	c (290,1) x[12] = 37
5.80/290.83	c (290,1) x[13] = 63
5.80/290.83	c (290,1) x[14] = 63
5.80/290.83	c (290,1) x[15] = 74
5.80/290.83	c (290,1) x[16] = 103
5.80/290.83	c (290,1) y[0] = 81
5.80/290.83	c (290,1) y[1] = 163
5.80/290.83	c (290,1) y[2] = 0
5.80/290.83	c (290,1) y[3] = 163
5.80/290.83	c (290,1) y[4] = 179
5.80/290.83	c (290,1) y[5] = 52
5.80/290.83	c (290,1) y[6] = 0
5.80/290.83	c (290,1) y[7] = 81
5.80/290.83	c (290,1) y[8] = 52
5.80/290.83	c (290,1) y[9] = 154
5.80/290.83	c (290,1) y[10] = 52
5.80/290.83	c (290,1) y[11] = 81
5.80/290.83	c (290,1) y[12] = 91
5.80/290.83	c (290,1) y[13] = 91
5.80/290.83	c (290,1) y[14] = 141
5.80/290.83	c (290,1) y[15] = 81
5.80/290.83	c (290,1) y[16] = 81
5.80/290.83	s SATISFIABLE
5.80/290.83	v <instantiation>
5.80/290.83	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
5.80/290.83	v     <values>162 187 178 162 123 37 0 123 0 0 92 37 37 63 63 74 103 81 163 0 163 179 52 0 81 52 154 52 81 91 91 141 81 81 38 13 22 25 64 55 178 39 37 103 86 37 26 11 40 29 20 82 37 81 16 21 29 52 98 102 46 29 10 63 50 13 60 119 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values>
5.80/290.83	v </instantiation>
5.80/290.83	c (290,1) Show results End
5.80/290.83	c (290,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.80/290.83	c (290,1) 0,0,0,1,1,1,1,290,290,STOP-AFTER(ALL)
5.80/290.83	c END-Prog: Thu Jul 26 21:05:50 CEST 2018

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9617 MiB free)
  memory of node 1: 16384 MiB (10191 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297021-1532631659/watcher-4297021-1532631659 -o /tmp/evaluation-result-4297021-1532631659/solver-4297021-1532631659 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532623785-7942 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297021-1532631659.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8815, runsolver pid=8812

[startup+0.100175 s]*
/proc/loadavg: 9.09 8.82 8.72 3/199 8835
/proc/meminfo: memFree=20189208/32770624 swapFree=67108860/67108860
[pid=8815] ppid=8812 vsize=27312552 memory=108204 CPUtime=0.11 cores=0-7
/proc/8815/stat : 8815 (java) S 8812 8815 7915 0 -1 1077944320 6602 0 0 0 9 2 0 0 20 0 20 0 80729087 27968053248 27051 33554432000 4194304 4196468 140727036425760 140727036408304 139806519086839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
/proc/8815/statm: 6828138 27051 2741 1 0 6790598 0
[pid=8815/tid=8817] ppid=8812 vsize=27312552 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8815/task/8817/stat : 8817 (java) R 8812 8815 7915 0 -1 4202560 4689 0 0 0 7 1 0 0 20 0 20 0 80729087 27968053248 27051 33554432000 4194304 4196468 140727036425760 139806490901200 139806503167326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8818] ppid=8812 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/8815/task/8818/stat : 8818 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 27051 33554432000 4194304 4196468 140727036425760 139806523328784 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8819] ppid=8812 vsize=27312552 memory=140122070472320 CPUtime=0 cores=0-7
/proc/8815/task/8819/stat : 8819 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 27051 33554432000 4194304 4196468 140727036425760 139806354577808 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8820] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8820/stat : 8820 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 27051 33554432000 4194304 4196468 140727036425760 139805940099600 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8821] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8821/stat : 8821 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 27051 33554432000 4194304 4196468 140727036425760 139805939047056 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8822] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8822/stat : 8822 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 27051 33554432000 4194304 4196468 140727036425760 139805937994512 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8823] ppid=8812 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8815/task/8823/stat : 8823 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 27051 33554432000 4194304 4196468 140727036425760 139805936941968 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8824] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8824/stat : 8824 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 27051 33554432000 4194304 4196468 140727036425760 139805935889424 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8825] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8825/stat : 8825 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 27051 33554432000 4194304 4196468 140727036425760 139805934836880 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8826] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8826/stat : 8826 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729091 27968053248 27051 33554432000 4194304 4196468 140727036425760 139804772546544 139806519097986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8827] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8827/stat : 8827 (java) S 8812 8815 7915 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80729092 27968053248 27051 33554432000 4194304 4196468 140727036425760 139804406703008 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8828] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8828/stat : 8828 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729092 27968053248 27051 33554432000 4194304 4196468 140727036425760 139804138267632 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8829] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8829/stat : 8829 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 27051 33554432000 4194304 4196468 140727036425760 139803763759312 139806519105435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8830] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8830/stat : 8830 (java) S 8812 8815 7915 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 27051 33554432000 4194304 4196468 140727036425760 139804771494384 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8831] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8831/stat : 8831 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 27051 33554432000 4194304 4196468 140727036425760 139804770441840 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8832] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8832/stat : 8832 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 27051 33554432000 4194304 4196468 140727036425760 139804769389296 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8833] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8833/stat : 8833 (java) S 8812 8815 7915 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 27051 33554432000 4194304 4196468 140727036425760 139804768336752 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8834] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8834/stat : 8834 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729095 27968053248 27051 33554432000 4194304 4196468 140727036425760 139803265853664 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8835] ppid=8812 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8815/task/8835/stat : 8835 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729095 27968053248 27051 33554432000 4194304 4196468 140727036425760 139804767283632 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108204 KiB

[startup+0.210121 s]*
/proc/loadavg: 9.09 8.82 8.72 2/199 8835
/proc/meminfo: memFree=20173208/32770624 swapFree=67108860/67108860
[pid=8815] ppid=8812 vsize=27312552 memory=122608 CPUtime=0.24 cores=0-7
/proc/8815/stat : 8815 (java) S 8812 8815 7915 0 -1 1077944320 10441 0 0 0 21 3 0 0 20 0 20 0 80729087 27968053248 30652 33554432000 4194304 4196468 140727036425760 140727036408304 139806519086839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
/proc/8815/statm: 6828138 30652 2899 1 0 6790598 0
[pid=8815/tid=8817] ppid=8812 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/8815/task/8817/stat : 8817 (java) R 8812 8815 7915 0 -1 4202560 8274 0 0 0 17 2 0 0 20 0 20 0 80729087 27968053248 30652 33554432000 4194304 4196468 140727036425760 139806490908192 139806519108765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8818] ppid=8812 vsize=27312552 memory=12970 CPUtime=0 cores=0-7
/proc/8815/task/8818/stat : 8818 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 30652 33554432000 4194304 4196468 140727036425760 139806523328784 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8819] ppid=8812 vsize=27312552 memory=140122070481282 CPUtime=0 cores=0-7
/proc/8815/task/8819/stat : 8819 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 30652 33554432000 4194304 4196468 140727036425760 139806354577808 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8820] ppid=8812 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8815/task/8820/stat : 8820 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 30652 33554432000 4194304 4196468 140727036425760 139805940099600 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8821] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8821/stat : 8821 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 30652 33554432000 4194304 4196468 140727036425760 139805939047056 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8822] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8822/stat : 8822 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 30652 33554432000 4194304 4196468 140727036425760 139805937994512 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8823] ppid=8812 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8815/task/8823/stat : 8823 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 30652 33554432000 4194304 4196468 140727036425760 139805936941968 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8824] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8824/stat : 8824 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 30652 33554432000 4194304 4196468 140727036425760 139805935889424 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8825] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8825/stat : 8825 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 30652 33554432000 4194304 4196468 140727036425760 139805934836880 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8826] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8826/stat : 8826 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729091 27968053248 30652 33554432000 4194304 4196468 140727036425760 139804772546544 139806519097986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8827] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8827/stat : 8827 (java) S 8812 8815 7915 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80729092 27968053248 30652 33554432000 4194304 4196468 140727036425760 139804406703008 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8828] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8828/stat : 8828 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729092 27968053248 30652 33554432000 4194304 4196468 140727036425760 139804138267632 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8829] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8829/stat : 8829 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 30652 33554432000 4194304 4196468 140727036425760 139803763759312 139806519105435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8830] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8830/stat : 8830 (java) S 8812 8815 7915 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 30652 33554432000 4194304 4196468 140727036425760 139804771494384 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8831] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8831/stat : 8831 (java) R 8812 8815 7915 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 30652 33554432000 4194304 4196468 140727036425760 139804770441840 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8832] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8832/stat : 8832 (java) S 8812 8815 7915 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 30652 33554432000 4194304 4196468 140727036425760 139804769389296 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8833] ppid=8812 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/8815/task/8833/stat : 8833 (java) R 8812 8815 7915 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 20 0 80729094 27968053248 30652 33554432000 4194304 4196468 140727036425760 139804768336752 139806519097986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8834] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8834/stat : 8834 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729095 27968053248 30652 33554432000 4194304 4196468 140727036425760 139803265853664 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8835] ppid=8812 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8815/task/8835/stat : 8835 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729095 27968053248 30652 33554432000 4194304 4196468 140727036425760 139804767283632 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 122608 KiB

[startup+0.30967 s]*
/proc/loadavg: 9.09 8.82 8.72 2/199 8835
/proc/meminfo: memFree=20169424/32770624 swapFree=67108860/67108860
[pid=8815] ppid=8812 vsize=27312552 memory=126648 CPUtime=0.42 cores=0-7
/proc/8815/stat : 8815 (java) S 8812 8815 7915 0 -1 1077944320 11055 0 0 0 38 4 0 0 20 0 20 0 80729087 27968053248 31662 33554432000 4194304 4196468 140727036425760 140727036408304 139806519086839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
/proc/8815/statm: 6828138 31662 2957 1 0 6790598 0
[pid=8815/tid=8817] ppid=8812 vsize=27312552 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/8815/task/8817/stat : 8817 (java) R 8812 8815 7915 0 -1 4202560 8649 0 0 0 27 3 0 0 20 0 20 0 80729087 27968053248 31662 33554432000 4194304 4196468 140727036425760 139806490890992 139806503167326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8818] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8818/stat : 8818 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 31662 33554432000 4194304 4196468 140727036425760 139806523328784 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8819] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8819/stat : 8819 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 31662 33554432000 4194304 4196468 140727036425760 139806354577808 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8820] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8820/stat : 8820 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 31662 33554432000 4194304 4196468 140727036425760 139805940099600 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8821] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8821/stat : 8821 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 31662 33554432000 4194304 4196468 140727036425760 139805939047056 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8822] ppid=8812 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/8815/task/8822/stat : 8822 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 31662 33554432000 4194304 4196468 140727036425760 139805937994512 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8823] ppid=8812 vsize=27312552 memory=140121965949871 CPUtime=0 cores=0-7
/proc/8815/task/8823/stat : 8823 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 31662 33554432000 4194304 4196468 140727036425760 139805936941968 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8824] ppid=8812 vsize=27312552 memory=140121965952176 CPUtime=0 cores=0-7
/proc/8815/task/8824/stat : 8824 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 31662 33554432000 4194304 4196468 140727036425760 139805935889424 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8825] ppid=8812 vsize=27312552 memory=140121965954480 CPUtime=0 cores=0-7
/proc/8815/task/8825/stat : 8825 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729090 27968053248 31662 33554432000 4194304 4196468 140727036425760 139805934836880 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8826] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8826/stat : 8826 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729091 27968053248 31662 33554432000 4194304 4196468 140727036425760 139804772546544 139806519097986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8827] ppid=8812 vsize=27312552 memory=280243931915920 CPUtime=0 cores=0-7
/proc/8815/task/8827/stat : 8827 (java) S 8812 8815 7915 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80729092 27968053248 31662 33554432000 4194304 4196468 140727036425760 139804406703008 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8828] ppid=8812 vsize=27312552 memory=280243931922832 CPUtime=0 cores=0-7
/proc/8815/task/8828/stat : 8828 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729092 27968053248 31662 33554432000 4194304 4196468 140727036425760 139804138267632 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8829] ppid=8812 vsize=27312552 memory=280243931864112 CPUtime=0 cores=0-7
/proc/8815/task/8829/stat : 8829 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 31662 33554432000 4194304 4196468 140727036425760 139803763759312 139806519105435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8830] ppid=8812 vsize=27312552 memory=280243931936656 CPUtime=0.02 cores=0-7
/proc/8815/task/8830/stat : 8830 (java) S 8812 8815 7915 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 20 0 80729094 27968053248 31662 33554432000 4194304 4196468 140727036425760 139804771494384 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8831] ppid=8812 vsize=27312552 memory=280243931943568 CPUtime=0 cores=0-7
/proc/8815/task/8831/stat : 8831 (java) S 8812 8815 7915 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 31662 33554432000 4194304 4196468 140727036425760 139804770441840 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8832] ppid=8812 vsize=27312552 memory=280243931941264 CPUtime=0 cores=0-7
/proc/8815/task/8832/stat : 8832 (java) S 8812 8815 7915 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 80729094 27968053248 31662 33554432000 4194304 4196468 140727036425760 139804769389296 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8833] ppid=8812 vsize=27312552 memory=280243931957872 CPUtime=0.07 cores=0-7
/proc/8815/task/8833/stat : 8833 (java) S 8812 8815 7915 0 -1 1077944384 419 0 0 0 7 0 0 0 20 0 20 0 80729094 27968053248 31662 33554432000 4194304 4196468 140727036425760 139804768336752 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8834] ppid=8812 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8834/stat : 8834 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729095 27968053248 31662 33554432000 4194304 4196468 140727036425760 139803265853664 139806519097045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8835] ppid=8812 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8815/task/8835/stat : 8835 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729095 27968053248 31662 33554432000 4194304 4196468 140727036425760 139804767283632 139806519097986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 126648 KiB

[startup+0.700907 s]
/proc/loadavg: 9.09 8.82 8.72 2/199 8835
/proc/meminfo: memFree=20144744/32770624 swapFree=67108860/67108860
[pid=8815] ppid=8812 vsize=27320948 memory=165000 CPUtime=0.98 cores=0-7
/proc/8815/stat : 8815 (java) S 8812 8815 7915 0 -1 1077944320 18280 0 0 0 92 6 0 0 20 0 20 0 80729087 27976650752 41250 33554432000 4194304 4196468 140727036425760 140727036408304 139806519086839 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
/proc/8815/statm: 6830237 41250 3159 1 0 6791622 0
[pid=8815/tid=8817] ppid=8812 vsize=27320948 memory=0 CPUtime=0.66 cores=0-7
/proc/8815/task/8817/stat : 8817 (java) R 8812 8815 7915 0 -1 4202560 15263 0 0 0 62 4 0 0 20 0 20 0 80729087 27976650752 41250 33554432000 4194304 4196468 140727036425760 139806490913568 139806503167326 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8818] ppid=8812 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8818/stat : 8818 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27976650752 41250 33554432000 4194304 4196468 140727036425760 139806523328784 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8819] ppid=8812 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8819/stat : 8819 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27976650752 41250 33554432000 4194304 4196468 140727036425760 139806354577808 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8820] ppid=8812 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8820/stat : 8820 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27976650752 41250 33554432000 4194304 4196468 140727036425760 139805940099600 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8821] ppid=8812 vsize=27320948 memory=792 CPUtime=0 cores=0-7
/proc/8815/task/8821/stat : 8821 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80729090 27976650752 41250 33554432000 4194304 4196468 140727036425760 139805939047056 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8822] ppid=8812 vsize=27320948 memory=1716 CPUtime=0 cores=0-7
/proc/8815/task/8822/stat : 8822 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27976650752 41250 33554432000 4194304 4196468 140727036425760 139805937994512 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8823] ppid=8812 vsize=27320948 memory=1952 CPUtime=0 cores=0-7
/proc/8815/task/8823/stat : 8823 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27976650752 41250 33554432000 4194304 4196468 140727036425760 139805936941968 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8824] ppid=8812 vsize=27320948 memory=8572 CPUtime=0 cores=0-7
/proc/8815/task/8824/stat : 8824 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80729090 27976650752 41250 33554432000 4194304 4196468 140727036425760 139805935889424 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8825] ppid=8812 vsize=27320948 memory=15872 CPUtime=0 cores=0-7
/proc/8815/task/8825/stat : 8825 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80729090 27976650752 41250 33554432000 4194304 4196468 140727036425760 139805934836880 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8826] ppid=8812 vsize=27320948 memory=4012 CPUtime=0 cores=0-7
/proc/8815/task/8826/stat : 8826 (java) S 8812 8815 7915 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80729091 27976650752 41250 33554432000 4194304 4196468 140727036425760 139804772546544 139806519097986 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0

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

/proc/8815/task/8827/stat : 8827 (java) S 8812 8815 7915 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80729092 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804406703008 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8828] ppid=8812 vsize=27984808 memory=18484 CPUtime=0 cores=0-7
/proc/8815/task/8828/stat : 8828 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80729092 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804138267632 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8829] ppid=8812 vsize=27984808 memory=644 CPUtime=0 cores=0-7
/proc/8815/task/8829/stat : 8829 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139803763759312 139806519105435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8830] ppid=8812 vsize=27984808 memory=1788 CPUtime=0.66 cores=0-7
/proc/8815/task/8830/stat : 8830 (java) S 8812 8815 7915 0 -1 1077944384 1214 0 0 0 65 1 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804771494384 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8831] ppid=8812 vsize=27984808 memory=952 CPUtime=0.67 cores=0-7
/proc/8815/task/8831/stat : 8831 (java) S 8812 8815 7915 0 -1 1077944384 992 0 0 0 66 1 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804770441840 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8832] ppid=8812 vsize=27984808 memory=1240 CPUtime=0.83 cores=0-7
/proc/8815/task/8832/stat : 8832 (java) S 8812 8815 7915 0 -1 1077944384 1591 0 0 0 82 1 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804769389296 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8833] ppid=8812 vsize=27984808 memory=2340 CPUtime=0.99 cores=0-7
/proc/8815/task/8833/stat : 8833 (java) S 8812 8815 7915 0 -1 1077944384 3321 0 0 0 98 1 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804768336752 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8834] ppid=8812 vsize=27984808 memory=604588 CPUtime=0 cores=0-7
/proc/8815/task/8834/stat : 8834 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80729095 28656443392 147182 33554432000 4194304 4196468 140727036425760 139803265853664 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8835] ppid=8812 vsize=27984808 memory=23940 CPUtime=0.17 cores=0-7
/proc/8815/task/8835/stat : 8835 (java) S 8812 8815 7915 0 -1 1077944384 21 0 0 0 0 17 0 0 20 0 24 0 80729095 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804767283632 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8859] ppid=8812 vsize=27984808 memory=1296 CPUtime=0 cores=0-7
/proc/8815/task/8859/stat : 8859 (java) S 8812 8815 7915 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80729322 28656443392 147182 33554432000 4194304 4196468 140727036425760 139805145707712 139806519111449 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8861] ppid=8812 vsize=27984808 memory=2412 CPUtime=0.03 cores=0-7
/proc/8815/task/8861/stat : 8861 (java) S 8812 8815 7915 0 -1 4202560 724 0 0 0 2 1 0 0 20 0 24 0 80729323 28656443392 147182 33554432000 4194304 4196468 140727036425760 139802594754432 139806519108765 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8862] ppid=8812 vsize=27984808 memory=1724 CPUtime=0 cores=0-7
/proc/8815/task/8862/stat : 8862 (java) S 8812 8815 7915 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80729323 28656443392 147182 33554432000 4194304 4196468 140727036425760 139802863189808 139806519108765 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8863] ppid=8812 vsize=27984808 memory=1228 CPUtime=0 cores=0-7
/proc/8815/task/8863/stat : 8863 (java) S 8812 8815 7915 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 80729325 28656443392 147182 33554432000 4194304 4196468 140727036425760 139802326326944 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
Current children cumulated CPU time: 2293.84 s
Current children cumulated vsize: 28754316 KiB
Current children cumulated memory: 1193316 KiB

[startup+290.402 s]
/proc/loadavg: 8.31 8.39 8.55 9/212 8871
/proc/meminfo: memFree=19103140/32770624 swapFree=67108860/67108860
[pid=8815] ppid=8812 vsize=27984808 memory=588728 CPUtime=5.76 cores=0-7
/proc/8815/stat : 8815 (java) S 8812 8815 7915 0 -1 1077944320 26765 0 0 0 558 18 0 0 20 0 24 0 80729087 28656443392 147182 33554432000 4194304 4196468 140727036425760 140727036408304 139806519086839 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
/proc/8815/statm: 6996202 147182 3224 1 0 6957058 0
[pid=8858] ppid=8815 vsize=769508 memory=604588 CPUtime=2294.46 cores=0-7
/proc/8858/stat : 8858 (glucose-syrup) S 8815 8815 7915 0 -1 1077944320 438597 0 0 0 229330 116 0 0 20 0 9 0 80729322 787976192 151147 33554432000 4194304 4373367 140730554005744 140730554004288 139986145417858 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
/proc/8858/statm: 192377 151147 386 44 0 188065 0
[pid=8858/tid=8864] ppid=8815 vsize=769508 memory=604588 CPUtime=286.61 cores=0-7
/proc/8858/task/8864/stat : 8864 (glucose-syrup) R 8815 8815 7915 0 -1 4202560 50638 0 0 0 28644 17 0 0 20 0 9 0 80729359 787976192 151147 33554432000 4194304 4373367 140730554005744 139986124057968 4271910 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
[pid=8858/tid=8865] ppid=8815 vsize=769508 memory=8039887049847965091 CPUtime=287.6 cores=0-7
/proc/8858/task/8865/stat : 8865 (glucose-syrup) R 8815 8815 7915 0 -1 4202560 57367 0 0 0 28748 12 0 0 20 0 9 0 80729359 787976192 151147 33554432000 4194304 4373367 140730554005744 139986115665264 4258908 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
[pid=8858/tid=8866] ppid=8815 vsize=769508 memory=8039887049847965091 CPUtime=287.52 cores=0-7
/proc/8858/task/8866/stat : 8866 (glucose-syrup) R 8815 8815 7915 0 -1 4202560 48859 0 0 0 28740 12 0 0 20 0 9 0 80729359 787976192 151147 33554432000 4194304 4373367 140730554005744 139986107272560 4271846 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
[pid=8858/tid=8867] ppid=8815 vsize=769508 memory=916 CPUtime=287.63 cores=0-7
/proc/8858/task/8867/stat : 8867 (glucose-syrup) R 8815 8815 7915 0 -1 4202560 58121 0 0 0 28749 14 0 0 20 0 9 0 80729359 787976192 151147 33554432000 4194304 4373367 140730554005744 139986098879632 4272316 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
[pid=8858/tid=8868] ppid=8815 vsize=769508 memory=5804 CPUtime=285.29 cores=0-7
/proc/8858/task/8868/stat : 8868 (glucose-syrup) R 8815 8815 7915 0 -1 4202560 49495 0 0 0 28516 13 0 0 20 0 9 0 80729359 787976192 151147 33554432000 4194304 4373367 140730554005744 139986090487152 4272152 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
[pid=8858/tid=8869] ppid=8815 vsize=769508 memory=4104 CPUtime=285.85 cores=0-7
/proc/8858/task/8869/stat : 8869 (glucose-syrup) R 8815 8815 7915 0 -1 4202560 49530 0 0 0 28570 15 0 0 20 0 9 0 80729359 787976192 151147 33554432000 4194304 4373367 140730554005744 139986082094352 4271954 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
[pid=8858/tid=8870] ppid=8815 vsize=769508 memory=1412 CPUtime=287.64 cores=0-7
/proc/8858/task/8870/stat : 8870 (glucose-syrup) R 8815 8815 7915 0 -1 4202560 47508 0 0 0 28754 10 0 0 20 0 9 0 80729359 787976192 151147 33554432000 4194304 4373367 140730554005744 139985869073776 4258831 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
[pid=8858/tid=8871] ppid=8815 vsize=769508 memory=3800 CPUtime=285.89 cores=0-7
/proc/8858/task/8871/stat : 8871 (glucose-syrup) R 8815 8815 7915 0 -1 4202560 55220 0 0 0 28572 17 0 0 20 0 9 0 80729359 787976192 151147 33554432000 4194304 4373367 140730554005744 139986003291504 4292010 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 21516288 140730554012593 140730554012844 140730554012844 140730554015687 0
[pid=8815/tid=8817] ppid=8812 vsize=27984808 memory=588728 CPUtime=2.36 cores=0-7
/proc/8815/task/8817/stat : 8817 (java) S 8812 8815 7915 0 -1 1077944384 17495 0 0 0 225 11 0 0 20 0 24 0 80729087 28656443392 147182 33554432000 4194304 4196468 140727036425760 139806490926080 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8818] ppid=8812 vsize=27984808 memory=604588 CPUtime=0 cores=0-7
/proc/8815/task/8818/stat : 8818 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147182 33554432000 4194304 4196468 140727036425760 139806523328784 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8819] ppid=8812 vsize=27984808 memory=15872 CPUtime=0 cores=0-7
/proc/8815/task/8819/stat : 8819 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147182 33554432000 4194304 4196468 140727036425760 139806354577808 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8820] ppid=8812 vsize=27984808 memory=8039887049847965091 CPUtime=0 cores=0-7
/proc/8815/task/8820/stat : 8820 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147182 33554432000 4194304 4196468 140727036425760 139805940099600 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8821] ppid=8812 vsize=27984808 memory=15872 CPUtime=0 cores=0-7
/proc/8815/task/8821/stat : 8821 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147182 33554432000 4194304 4196468 140727036425760 139805939047056 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8822] ppid=8812 vsize=27984808 memory=4012 CPUtime=0 cores=0-7
/proc/8815/task/8822/stat : 8822 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147182 33554432000 4194304 4196468 140727036425760 139805937994512 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8823] ppid=8812 vsize=27984808 memory=13932 CPUtime=0 cores=0-7
/proc/8815/task/8823/stat : 8823 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147182 33554432000 4194304 4196468 140727036425760 139805936941968 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8824] ppid=8812 vsize=27984808 memory=18484 CPUtime=0 cores=0-7
/proc/8815/task/8824/stat : 8824 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147182 33554432000 4194304 4196468 140727036425760 139805935889424 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8825] ppid=8812 vsize=27984808 memory=644 CPUtime=0 cores=0-7
/proc/8815/task/8825/stat : 8825 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147182 33554432000 4194304 4196468 140727036425760 139805934836880 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8826] ppid=8812 vsize=27984808 memory=1788 CPUtime=0.01 cores=0-7
/proc/8815/task/8826/stat : 8826 (java) S 8812 8815 7915 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 24 0 80729091 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804772546544 139806519097986 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8827] ppid=8812 vsize=27984808 memory=952 CPUtime=0 cores=0-7
/proc/8815/task/8827/stat : 8827 (java) S 8812 8815 7915 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80729092 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804406703008 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8828] ppid=8812 vsize=27984808 memory=1240 CPUtime=0 cores=0-7
/proc/8815/task/8828/stat : 8828 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80729092 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804138267632 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8829] ppid=8812 vsize=27984808 memory=588728 CPUtime=0 cores=0-7
/proc/8815/task/8829/stat : 8829 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139803763759312 139806519105435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8830] ppid=8812 vsize=27984808 memory=588728 CPUtime=0.66 cores=0-7
/proc/8815/task/8830/stat : 8830 (java) S 8812 8815 7915 0 -1 1077944384 1214 0 0 0 65 1 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804771494384 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8831] ppid=8812 vsize=27984808 memory=604588 CPUtime=0.67 cores=0-7
/proc/8815/task/8831/stat : 8831 (java) S 8812 8815 7915 0 -1 1077944384 992 0 0 0 66 1 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804770441840 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8832] ppid=8812 vsize=27984808 memory=2412 CPUtime=0.83 cores=0-7
/proc/8815/task/8832/stat : 8832 (java) S 8812 8815 7915 0 -1 1077944384 1591 0 0 0 82 1 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804769389296 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8833] ppid=8812 vsize=27984808 memory=1724 CPUtime=0.99 cores=0-7
/proc/8815/task/8833/stat : 8833 (java) S 8812 8815 7915 0 -1 1077944384 3321 0 0 0 98 1 0 0 20 0 24 0 80729094 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804768336752 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8834] ppid=8812 vsize=27984808 memory=1228 CPUtime=0 cores=0-7
/proc/8815/task/8834/stat : 8834 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80729095 28656443392 147182 33554432000 4194304 4196468 140727036425760 139803265853664 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8835] ppid=8812 vsize=27984808 memory=1428 CPUtime=0.17 cores=0-7
/proc/8815/task/8835/stat : 8835 (java) S 8812 8815 7915 0 -1 1077944384 21 0 0 0 0 17 0 0 20 0 24 0 80729095 28656443392 147182 33554432000 4194304 4196468 140727036425760 139804767283632 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8859] ppid=8812 vsize=27984808 memory=1196 CPUtime=0 cores=0-7
/proc/8815/task/8859/stat : 8859 (java) S 8812 8815 7915 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80729322 28656443392 147182 33554432000 4194304 4196468 140727036425760 139805145707712 139806519111449 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8861] ppid=8812 vsize=27984808 memory=5788 CPUtime=0.03 cores=0-7
/proc/8815/task/8861/stat : 8861 (java) S 8812 8815 7915 0 -1 4202560 724 0 0 0 2 1 0 0 20 0 24 0 80729323 28656443392 147182 33554432000 4194304 4196468 140727036425760 139802594754432 139806519108765 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8862] ppid=8812 vsize=27984808 memory=1952 CPUtime=0 cores=0-7
/proc/8815/task/8862/stat : 8862 (java) S 8812 8815 7915 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80729323 28656443392 147182 33554432000 4194304 4196468 140727036425760 139802863189808 139806519108765 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8863] ppid=8812 vsize=27984808 memory=8572 CPUtime=0 cores=0-7
/proc/8815/task/8863/stat : 8863 (java) S 8812 8815 7915 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 80729325 28656443392 147182 33554432000 4194304 4196468 140727036425760 139802326326944 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
Current children cumulated CPU time: 2300.22 s
Current children cumulated vsize: 28754316 KiB
Current children cumulated memory: 1193316 KiB

[startup+290.801 s]
/proc/loadavg: 8.31 8.39 8.55 9/212 8871
/proc/meminfo: memFree=19103140/32770624 swapFree=67108860/67108860
[pid=8815] ppid=8812 vsize=27984808 memory=590796 CPUtime=5.8 cores=0-7
/proc/8815/stat : 8815 (java) S 8812 8815 7915 0 -1 1077944320 26775 0 0 0 561 19 0 0 20 0 24 0 80729087 28656443392 147699 33554432000 4194304 4196468 140727036425760 140727036408304 139806519086839 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
/proc/8815/statm: 6996202 147699 3224 1 0 6957058 0
[pid=8815/tid=8817] ppid=8812 vsize=27984808 memory=288230574492221466 CPUtime=2.36 cores=0-7
/proc/8815/task/8817/stat : 8817 (java) S 8812 8815 7915 0 -1 1077944384 17495 0 0 0 225 11 0 0 20 0 24 0 80729087 28656443392 147699 33554432000 4194304 4196468 140727036425760 139806490926080 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8818] ppid=8812 vsize=27984808 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/8815/task/8818/stat : 8818 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147699 33554432000 4194304 4196468 140727036425760 139806523328784 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8819] ppid=8812 vsize=27984808 memory=13572582825790009 CPUtime=0 cores=0-7
/proc/8815/task/8819/stat : 8819 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147699 33554432000 4194304 4196468 140727036425760 139806354577808 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8820] ppid=8812 vsize=27984808 memory=1788 CPUtime=0 cores=0-7
/proc/8815/task/8820/stat : 8820 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147699 33554432000 4194304 4196468 140727036425760 139805940099600 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8821] ppid=8812 vsize=27984808 memory=952 CPUtime=0 cores=0-7
/proc/8815/task/8821/stat : 8821 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147699 33554432000 4194304 4196468 140727036425760 139805939047056 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8822] ppid=8812 vsize=27984808 memory=1240 CPUtime=0 cores=0-7
/proc/8815/task/8822/stat : 8822 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147699 33554432000 4194304 4196468 140727036425760 139805937994512 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8823] ppid=8812 vsize=27984808 memory=2340 CPUtime=0 cores=0-7
/proc/8815/task/8823/stat : 8823 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147699 33554432000 4194304 4196468 140727036425760 139805936941968 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8824] ppid=8812 vsize=27984808 memory=1568 CPUtime=0 cores=0-7
/proc/8815/task/8824/stat : 8824 (java) S 8812 8815 7915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147699 33554432000 4194304 4196468 140727036425760 139805935889424 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8825] ppid=8812 vsize=27984808 memory=928 CPUtime=0 cores=0-7
/proc/8815/task/8825/stat : 8825 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80729090 28656443392 147699 33554432000 4194304 4196468 140727036425760 139805934836880 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8826] ppid=8812 vsize=27984808 memory=2240 CPUtime=0.01 cores=0-7
/proc/8815/task/8826/stat : 8826 (java) S 8812 8815 7915 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 24 0 80729091 28656443392 147699 33554432000 4194304 4196468 140727036425760 139804772546544 139806519097986 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8827] ppid=8812 vsize=27984808 memory=4128 CPUtime=0 cores=0-7
/proc/8815/task/8827/stat : 8827 (java) S 8812 8815 7915 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80729092 28656443392 147699 33554432000 4194304 4196468 140727036425760 139804406703008 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8828] ppid=8812 vsize=27984808 memory=2200 CPUtime=0 cores=0-7
/proc/8815/task/8828/stat : 8828 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80729092 28656443392 147699 33554432000 4194304 4196468 140727036425760 139804138267632 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8829] ppid=8812 vsize=27984808 memory=7392 CPUtime=0 cores=0-7
/proc/8815/task/8829/stat : 8829 (java) S 8812 8815 7915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80729094 28656443392 147699 33554432000 4194304 4196468 140727036425760 139803763759312 139806519105435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8830] ppid=8812 vsize=27984808 memory=840 CPUtime=0.66 cores=0-7
/proc/8815/task/8830/stat : 8830 (java) R 8812 8815 7915 0 -1 4202560 1216 0 0 0 65 1 0 0 20 0 24 0 80729094 28656443392 147699 33554432000 4194304 4196468 140727036425760 139804771494384 139806503475428 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8831] ppid=8812 vsize=27984808 memory=8039887049847965091 CPUtime=0.68 cores=0-7
/proc/8815/task/8831/stat : 8831 (java) R 8812 8815 7915 0 -1 1077944384 994 0 0 0 67 1 0 0 20 0 24 0 80729094 28656443392 147699 33554432000 4194304 4196468 140727036425760 139804770441840 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8832] ppid=8812 vsize=27984808 memory=928 CPUtime=0.83 cores=0-7
/proc/8815/task/8832/stat : 8832 (java) R 8812 8815 7915 0 -1 4202560 1593 0 0 0 82 1 0 0 20 0 24 0 80729094 28656443392 147699 33554432000 4194304 4196468 140727036425760 139804769389296 139806502497711 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8833] ppid=8812 vsize=27984808 memory=2240 CPUtime=0.99 cores=0-7
/proc/8815/task/8833/stat : 8833 (java) R 8812 8815 7915 0 -1 4202560 3322 0 0 0 98 1 0 0 20 0 24 0 80729094 28656443392 147699 33554432000 4194304 4196468 140727036425760 139804768336848 139806497956263 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8834] ppid=8812 vsize=27984808 memory=4128 CPUtime=0 cores=0-7
/proc/8815/task/8834/stat : 8834 (java) S 8812 8815 7915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80729095 28656443392 147699 33554432000 4194304 4196468 140727036425760 139803265853664 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8835] ppid=8812 vsize=27984808 memory=2200 CPUtime=0.17 cores=0-7
/proc/8815/task/8835/stat : 8835 (java) S 8812 8815 7915 0 -1 1077944384 21 0 0 0 0 17 0 0 20 0 24 0 80729095 28656443392 147699 33554432000 4194304 4196468 140727036425760 139804767283632 139806519097986 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8859] ppid=8812 vsize=27984808 memory=7392 CPUtime=0 cores=0-7
/proc/8815/task/8859/stat : 8859 (java) S 8812 8815 7915 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80729322 28656443392 147699 33554432000 4194304 4196468 140727036425760 139805145707712 139806519111449 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8861] ppid=8812 vsize=27984808 memory=4128 CPUtime=0.03 cores=0-7
/proc/8815/task/8861/stat : 8861 (java) R 8812 8815 7915 0 -1 4202560 727 0 0 0 2 1 0 0 20 0 24 0 80729323 28656443392 147699 33554432000 4194304 4196468 140727036425760 139802594760816 139806519098774 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8862] ppid=8812 vsize=27984808 memory=2200 CPUtime=0 cores=0-7
/proc/8815/task/8862/stat : 8862 (java) S 8812 8815 7915 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80729323 28656443392 147699 33554432000 4194304 4196468 140727036425760 139802863189808 139806519108765 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
[pid=8815/tid=8863] ppid=8812 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/8815/task/8863/stat : 8863 (java) S 8812 8815 7915 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 80729325 28656443392 147699 33554432000 4194304 4196468 140727036425760 139802326326944 139806519097045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38404096 140727036433369 140727036433669 140727036433669 140727036436431 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 590796 KiB

Child status: 0
Real time (s): 290.847
CPU time (s): 2303.5
CPU user time (s): 2302.11
CPU system time (s): 1.39181
CPU usage (%): 791.999
Max. virtual memory (cumulated for all children) (KiB): 28754316
Max. memory (cumulated for all children) (KiB): 1193316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2302.11
system time used= 1.39181
maximum resident set size= 604632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18921
involuntary context switches= 24127


# summary of solver processes directly reported to runsolver:
#   pid: 8815
#   total CPU time (s): 2303.5
#   total CPU user time (s): 2302.11
#   total CPU system time (s): 1.39181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.60522 second user time and 4.17066 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-26 21:00:59
IDJOB=4297021
IDBENCH=141126
IDSOLVER=2758
FILE ID=node103/4297021-1532631659
RUNJOBID= node103-1532623785-7942
PBS_JOBID= 21022032
Free space on /tmp= 56536 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/StripPacking/StripPacking-T1a_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297021-1532631659/watcher-4297021-1532631659 -o /tmp/evaluation-result-4297021-1532631659/solver-4297021-1532631659 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532623785-7942 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297021-1532631659.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 2930e4ba32e3c7874205f5eb3c8396db
RANDOM SEED=1182017084

node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        20285372 kB
MemAvailable:   31926944 kB
Buffers:          288900 kB
Cached:         11539540 kB
SwapCached:            0 kB
Active:          3864380 kB
Inactive:        8018508 kB
Active(anon):      57328 kB
Inactive(anon):    25180 kB
Active(file):    3807052 kB
Inactive(file):  7993328 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8248 kB
Writeback:             0 kB
AnonPages:         61384 kB
Mapped:            41072 kB
Shmem:             25228 kB
Slab:             296996 kB
SReclaimable:     269652 kB
SUnreclaim:        27344 kB
KernelStack:        3344 kB
PageTables:         4872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56528 MiB
End job on node103 at 2018-07-26 21:05:50