Trace number 4307134

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-31)SAT 2321.49 299.513

General information on the benchmark

NameMagicHexagon/
MagicHexagon-05-0006_c18.xml
MD5SUMc9b27afa5f83f52385759d74be3b3eae
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 benchmark2321.49
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints34
Number of domains1
Minimum domain size61
Maximum domain size61
Distribution of domain sizes[{"size":61,"count":61}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":20},{"degree":4,"count":55},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity61
Distribution of constraint arities[{"arity":2,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":3},{"arity":61,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":27}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-4525-serial-file.bin HOME/instance-4307134-1534200570.xml
0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Tue Aug 14 00:49:31 CEST 2018
0.65/0.55	c PID: 4528
0.65/0.55	c IP: 172.20.3.133
0.65/0.55	c HOST: node133.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.18/0.87	c (0,0) Parsing End
1.18/0.88	c (0,0) CSP: 61 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 61
1.18/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.88	c (0,0) Constraint Name Generate Begin
1.18/0.88	c (0,0) Ctr:HOME/instance-4307134-1534200570.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.18/0.88	c (0,0) Constraint Name Generate End
1.18/0.89	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.89	c (0,0) CSP to CSPinCNF Begin
2.46/1.32	c (0,0) translated 4 (10%) constraints
2.46/1.33	c (0,0) translated 7 (20%) constraints
2.46/1.33	c (0,0) translated 11 (30%) constraints
2.46/1.33	c (0,0) translated 14 (40%) constraints
2.46/1.34	c (0,0) translated 17 (50%) constraints
2.46/1.34	c (0,0) translated 21 (60%) constraints
2.46/1.34	c (0,0) translated 24 (70%) constraints
2.46/1.34	c (0,0) translated 28 (80%) constraints
2.46/1.35	c (0,0) translated 31 (90%) constraints
2.46/1.35	c (0,0) translated 34 (100%) constraints
2.75/1.42	c (0,0) STATISTICS1:HOME/instance-4307134-1534200570.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,61,1865,185473347699600,61,61,9,185473347699600:2;182382125237940:4;3142742836021:12;51520374361:12;844596301:12;13395600:4;13172340:8;61:1485;60:229;59:122,61:3575;60:268;59:134,61:2;2:1830;1:33,9:6;8:12;7:12;6:12;5:12;2:1836;1:122,
2.75/1.42	c (0,0) ==========================================
2.75/1.42	c (0,0) Order
2.75/1.42	c (0,0) ==========================================
2.75/1.46	c (0,0) translated 187 (10%) constraints
2.75/1.48	c (0,0) translated 373 (20%) constraints
2.75/1.49	c (0,0) translated 560 (30%) constraints
3.10/1.51	c (0,0) translated 746 (40%) constraints
3.10/1.52	c (0,0) translated 933 (50%) constraints
3.10/1.53	c (1,0) translated 1119 (60%) constraints
3.10/1.54	c (1,1) translated 1306 (70%) constraints
3.10/1.55	c (1,1) translated 1492 (80%) constraints
3.10/1.56	c (1,1) translated 1679 (90%) constraints
3.51/1.64	c (1,1) translated 1865 (100%) constraints
3.51/1.64	c (1,1) CSP to CSPinCNF End
3.51/1.64	c (1,1) CSP: 163 int (102 aux), 0 bool (0 aux), 2096 ctr, max domain size 181
3.51/1.64	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.51/1.64	c (1,1) CSPinCNF Propagation Begin
3.51/1.68	c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
3.51/1.68	c (1,1) CSPinCNF Propagation End
3.51/1.68	c (1,1) CSP: 163 int (102 aux), 0 bool (0 aux), 2096 ctr, max domain size 181
3.51/1.68	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.51/1.68	c (1,1) Simplify CSPinCNF Begin
4.23/1.84	c (1,1) Simplify CSPinCNF End
4.23/1.84	c (1,1) CSP: 163 int (102 aux), 3660 bool (3660 aux), 5756 ctr, max domain size 181
4.23/1.84	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.23/1.84	c (1,1) Calculate Precise Domain Begin
4.23/1.86	c (1,1) 2 values are removed by re-calculation
4.23/1.86	c (1,1) Calculate Precise Domain End
4.23/1.86	c (1,1) CSP: 163 int (102 aux), 3660 bool (3660 aux), 5756 ctr, max domain size 181
4.23/1.86	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.23/1.86	c (1,1) CSPinCNF to SatSolver Begin
4.93/2.07	c (1,1) 576 (10 %) CSP clauses are encoded (20737 SAT variables, 40183 SAT clauses)
5.35/2.14	c (1,1) 1152 (20 %) CSP clauses are encoded (20737 SAT variables, 63547 SAT clauses)
5.50/2.21	c (1,1) 1727 (30 %) CSP clauses are encoded (20737 SAT variables, 86976 SAT clauses)
5.50/2.27	c (1,1) 2303 (40 %) CSP clauses are encoded (20737 SAT variables, 110560 SAT clauses)
5.68/2.33	c (1,1) 2878 (50 %) CSP clauses are encoded (20737 SAT variables, 134137 SAT clauses)
5.68/2.39	c (1,1) 3454 (60 %) CSP clauses are encoded (20737 SAT variables, 157713 SAT clauses)
5.81/2.45	c (1,1) 4030 (70 %) CSP clauses are encoded (20737 SAT variables, 181283 SAT clauses)
5.93/2.51	c (1,1) 4605 (80 %) CSP clauses are encoded (20737 SAT variables, 204768 SAT clauses)
5.93/2.57	c (2,2) 5181 (90 %) CSP clauses are encoded (20737 SAT variables, 228244 SAT clauses)
9.11/4.80	c (4,4) 5756 (100 %) CSP clauses are encoded (20737 SAT variables, 1809507 SAT clauses)
9.11/4.80	c (4,4) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
9.11/4.80	c (4,4) CSPinCNF to SatSolver End
9.11/4.80	c (4,4) Heap : 2590 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.11/4.86	c (4,4) STATISTICS2:HOME/instance-4307134-1534200570.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,3823,5756,32220,181,59,3,32220:6;21901:12;14641:24;7381:42;7320:6;7259:6;5307:6;5246:4;5185:2;3721:114;3660:18;3599:18;61:2970;60:336;59:360,181:84;180:12;179:12;121:228;120:12;119:12;87:24;86:16;85:8;61:7040;60:384;59:389;2:7320,59:1;56:1;2:5490;1:264,3:258;2:3666;1:7435,
9.64/5.12	c (4,4) 20737 bool, 1809565 clause
9.64/5.12	c (4,4) Export Begin
9.80/5.20	c (4,4) Export to HOME/scop-4525-serial-file.bin
9.80/5.20	c (4,4) Export End
9.80/5.21	c (4,4) Export File Size: 0.01 MB
9.80/5.21	c (4,4) 0,0,1,1,1,1,4,STOP-AFTER(DIMACS)
9.80/5.21	c END-Prog: Tue Aug 14 00:49:36 CEST 2018
0.00/5.35	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4525-serial-file.bin
9.83/5.84	c (0,0) Read Serial File Begin
9.83/5.84	c (0,0) HOME/scop-4525-serial-file.bin
9.83/6.00	c (0,0) Read Serial File End
10.71/6.01	
10.71/6.01	scop order+glucose-syrup (2018-07-31)
10.71/6.01	(Solving Process)
10.71/6.01	
10.71/6.04	c BEGIN-Prog: Tue Aug 14 00:49:36 CEST 2018
10.71/6.04	c PID: 4548
10.71/6.04	c IP: 172.20.3.133
10.71/6.04	c HOST: node133.alineos.net
10.71/6.04	c (0,0) SatSolver.solve Begin
10.71/6.04	c (0,0) 0 bool, 0 clause
10.71/6.04	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307134-1534200570.xml-scop-4528.cnf
93.20/20.08	c (14,0) c
93.20/20.08	c (14,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
93.20/20.08	c (14,0) c
93.20/20.08	c (14,0) c WARNING: for repeatability, setting FPU to use double precision
93.20/20.08	c (14,0) c 8 solvers engines and 1 companion as a blackboard created.
93.20/20.08	c (14,0) c ========================================[ Problem Statistics ]===========================================
93.20/20.08	c (14,0) c |                                                                                                       |
93.20/20.08	c (14,0) c |  Number of variables:         20737                                                                   |
93.20/20.08	c (14,0) c |  Number of clauses:         1809563                                                                   |
93.20/20.08	c (14,0) c |  Parse time:                   0.46 s                                                                 |
93.20/20.08	c (14,0) c |                                                                                                       |
93.20/20.08	c (14,0) c |  Eliminated clauses:           0.03 Mb                                                                |
93.20/20.08	c (14,0) c |  Simplification time:          3.19 s                                                                 |
93.20/20.08	c (14,0) c |                                                                                                       |
93.20/20.08	c (14,0) c |  Generating clones                                                                                    |
93.20/20.08	c (14,0) c |  all clones generated. Memory = 787.86Mb.                                                             |
93.20/20.08	c (14,0) c ========================================================================================================|
93.20/20.08	c (14,0) c
93.20/20.08	c (14,0) c |-------------------------------------------------------------------------------------------------------|
93.20/20.08	c (14,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
93.20/20.08	c (14,0) c |-------------------------------------------------------------------------------------------------------|
93.20/20.08	c (14,0) c |  0 |     17 |       4651 |       2653 |    30194 |     1658 |       19 |      209 |        0 |  0.034 |
93.20/20.08	c (14,0) c |  1 |     27 |       8444 |       4995 |    44474 |     3994 |       67 |      668 |        1 |  0.709 |
93.20/20.08	c (14,0) c |  2 |     26 |       6650 |       3446 |    47012 |     2452 |       39 |      812 |        0 |  0.709 |
93.20/20.08	c (14,0) c |  3 |     10 |       4283 |       2628 |    29253 |     1631 |       27 |      121 |        0 |  0.029 |
93.20/20.08	c (14,0) c |  4 |     18 |       8538 |       5864 |    25642 |     4870 |      568 |      278 |        5 |  0.709 |
93.20/20.08	c (14,0) c |  5 |     10 |       4282 |       2627 |    29253 |     1630 |       27 |      121 |        0 |  0.029 |
93.20/20.08	c (14,0) c |  6 |     24 |       6207 |       3360 |    47364 |     2373 |       64 |      254 |        0 |  0.709 |
93.20/20.08	c (14,0) c |  7 |     24 |       6207 |       3358 |    47320 |     2371 |       64 |      254 |        0 |  0.709 |
93.20/20.08	c (14,0) c 
93.20/20.08	c (14,0) c synthesis       28931 conflicts    42038701 propagations      697 conflicts/sec  1012558 propagations/sec
93.20/20.08	c (14,0) c Total Memory so far : 1425.12Mb
93.20/20.08	c (14,0) c
93.20/20.08	c (14,0) c |-------------------------------------------------------------------------------------------------------|
93.20/20.08	c (14,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
93.20/20.08	c (14,0) c |-------------------------------------------------------------------------------------------------------|
93.20/20.08	c (14,0) c |  0 |     17 |       9512 |       6266 |    49308 |     5271 |      277 |      209 |        0 |  0.034 |
93.20/20.08	c (14,0) c |  1 |     43 |      13374 |       7843 |    86309 |     4044 |      394 |     2324 |        1 |  0.743 |
93.20/20.08	c (14,0) c |  2 |     45 |      14574 |       8258 |    89380 |     4461 |      634 |     3904 |        6 |  0.748 |
93.20/20.08	c (14,0) c |  3 |     15 |       9210 |       6094 |    58738 |     5097 |      260 |     2552 |        0 |  0.743 |
93.20/20.08	c (14,0) c |  4 |     56 |      19446 |      12195 |    75548 |     8405 |     1916 |     2565 |       11 |  0.748 |
93.20/20.08	c (14,0) c |  5 |     15 |       9212 |       6094 |    58738 |     5097 |      260 |     2549 |        0 |  0.743 |
93.20/20.08	c (14,0) c |  6 |     50 |      13264 |       7442 |    94673 |     3653 |      444 |     4012 |        5 |  0.748 |
93.20/20.08	c (14,0) c |  7 |     50 |      13267 |       7445 |    94681 |     3656 |      444 |     4011 |        5 |  0.748 |
93.20/20.08	c (14,0) c 
188.87/32.06	c (26,0) c synthesis       61637 conflicts    88388816 propagations      760 conflicts/sec  1089591 propagations/sec
188.87/32.06	c (26,0) c Total Memory so far : 1429.24Mb
188.87/32.06	c (26,0) c
188.87/32.06	c (26,0) c |-------------------------------------------------------------------------------------------------------|
188.87/32.06	c (26,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
188.87/32.06	c (26,0) c |-------------------------------------------------------------------------------------------------------|
188.87/32.06	c (26,0) c |  0 |     17 |      13681 |       9528 |    54472 |     5734 |      982 |      209 |        0 |  0.034 |
188.87/32.07	c (26,0) c |  1 |     47 |      16617 |      10330 |    95338 |     6532 |      699 |    10619 |        1 |  0.752 |
188.87/32.07	c (26,0) c |  2 |     69 |      21740 |      12352 |   123350 |     8554 |     1292 |    10119 |       14 |  0.752 |
188.87/32.07	c (26,0) c |  3 |     18 |      16076 |      11031 |    79157 |     7235 |     1300 |     8723 |        6 |  0.752 |
188.87/32.07	c (26,0) c |  4 |     79 |      28186 |      17724 |   111982 |     8935 |     2680 |     8618 |       17 |  0.752 |
188.87/32.07	c (26,0) c |  5 |     18 |      16079 |      11034 |    79165 |     7238 |     1300 |     8718 |        6 |  0.752 |
188.87/32.07	c (26,0) c |  6 |     56 |      20381 |      12863 |   109551 |     9074 |     1611 |     6489 |       10 |  0.752 |
188.87/32.07	c (26,0) c |  7 |     56 |      20418 |      12893 |   109559 |     9104 |     1616 |     6483 |       10 |  0.752 |
188.87/32.07	c (26,0) c 
188.87/32.07	c (26,0) c synthesis       97757 conflicts   129092138 propagations      866 conflicts/sec  1143098 propagations/sec
188.87/32.07	c (26,0) c Total Memory so far : 1430.66Mb
188.87/32.07	c (26,0) c
188.87/32.07	c (26,0) c |-------------------------------------------------------------------------------------------------------|
188.87/32.07	c (26,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
188.87/32.07	c (26,0) c |-------------------------------------------------------------------------------------------------------|
188.87/32.07	c (26,0) c |  0 |     26 |      18771 |      12962 |    72513 |     9168 |     1581 |    15542 |        6 |  0.767 |
188.87/32.07	c (26,0) c |  1 |     63 |      24571 |      15486 |   126530 |     6690 |     1672 |    15401 |       18 |  0.767 |
188.87/32.07	c (26,0) c |  2 |     85 |      27378 |      15807 |   150968 |     7013 |     1538 |    15579 |       22 |  0.767 |
188.87/32.07	c (26,0) c |  3 |     22 |      20753 |      14350 |    96525 |     5553 |     1936 |    14523 |        8 |  0.767 |
188.87/32.07	c (26,0) c |  4 |    109 |      34309 |      20735 |   150422 |    11944 |     2979 |    14102 |       21 |  0.767 |
188.87/32.07	c (26,0) c |  5 |     22 |      20752 |      14349 |    96525 |     5552 |     1936 |    14525 |        8 |  0.767 |
188.87/32.07	c (26,0) c |  6 |     65 |      28405 |      18814 |   124694 |    10026 |     2748 |    14337 |       21 |  0.767 |
188.87/32.07	c (26,0) c |  7 |     65 |      28411 |      18821 |   124788 |    10033 |     2748 |    14331 |       21 |  0.767 |
188.87/32.07	c (26,0) c 
188.87/32.07	c (26,0) c synthesis      131324 conflicts   168959668 propagations      907 conflicts/sec  1167524 propagations/sec
188.87/32.07	c (26,0) c Total Memory so far : 1432.22Mb
188.87/32.07	c (26,0) c
188.87/32.07	c (26,0) c |-------------------------------------------------------------------------------------------------------|
188.87/32.07	c (26,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
188.87/32.07	c (26,0) c |-------------------------------------------------------------------------------------------------------|
188.87/32.07	c (26,0) c |  0 |     43 |      24481 |      16430 |   105315 |     7636 |     2166 |    18549 |       19 |  0.844 |
188.87/32.07	c (26,0) c |  1 |     74 |      28560 |      17793 |   148838 |     8995 |     1882 |    18640 |       29 |  0.844 |
188.87/32.07	c (26,0) c |  2 |    106 |      33137 |      18938 |   180878 |    10144 |     1959 |    18606 |       31 |  0.844 |
188.87/32.07	c (26,0) c |  3 |     36 |      25905 |      17321 |   128100 |     8523 |     2337 |    18344 |       21 |  0.844 |
188.87/32.07	c (26,0) c |  4 |    142 |      40747 |      23977 |   183385 |     7788 |     3421 |    17039 |       37 |  0.834 |
188.87/32.07	c (26,0) c |  5 |     36 |      25907 |      17321 |   128100 |     8523 |     2337 |    18339 |       21 |  0.844 |
188.87/32.07	c (26,0) c |  6 |     71 |      33483 |      22190 |   141978 |    13398 |     3307 |    16661 |       34 |  0.829 |
188.87/32.07	c (26,0) c |  7 |     71 |      33487 |      22193 |   141993 |    13402 |     3308 |    16658 |       34 |  0.829 |
188.87/32.07	c (26,0) c 
188.87/32.07	c (26,0) c synthesis      156163 conflicts   205478302 propagations      885 conflicts/sec  1164298 propagations/sec
348.38/52.06	c (46,0) c Total Memory so far : 1433.77Mb
348.38/52.06	c (46,0) c
348.38/52.06	c (46,0) c |-------------------------------------------------------------------------------------------------------|
348.38/52.06	c (46,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
348.38/52.06	c (46,0) c |-------------------------------------------------------------------------------------------------------|
348.38/52.06	c (46,0) c |  0 |     55 |      29450 |      19605 |   129342 |    10811 |     2634 |    23057 |       31 |  0.868 |
348.38/52.06	c (46,0) c |  1 |     79 |      33661 |      21193 |   165444 |    12390 |     2584 |    21167 |       40 |  0.868 |
348.38/52.06	c (46,0) c |  2 |    127 |      39438 |      22327 |   213086 |    13531 |     2417 |    23293 |       43 |  0.868 |
348.38/52.06	c (46,0) c |  3 |     53 |      32301 |      21085 |   161334 |    12287 |     2865 |    22056 |       40 |  0.868 |
348.38/52.07	c (46,0) c |  4 |    170 |      49691 |      29213 |   214293 |    13022 |     4585 |    21113 |       51 |  0.868 |
348.38/52.07	c (46,0) c |  5 |     53 |      32292 |      21083 |   161313 |    12285 |     2865 |    22060 |       40 |  0.868 |
348.38/52.07	c (46,0) c |  6 |     71 |      37905 |      25712 |   146719 |     9521 |     3887 |    16661 |       41 |  0.829 |
348.38/52.07	c (46,0) c |  7 |     71 |      37921 |      25724 |   146720 |     9533 |     3887 |    16658 |       41 |  0.829 |
348.38/52.07	c (46,0) c 
348.38/52.07	c (46,0) c synthesis      185942 conflicts   252759079 propagations      860 conflicts/sec  1168748 propagations/sec
348.38/52.07	c (46,0) c Total Memory so far : 1434.93Mb
348.38/52.07	c (46,0) c
348.38/52.07	c (46,0) c |-------------------------------------------------------------------------------------------------------|
348.38/52.07	c (46,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
348.38/52.07	c (46,0) c |-------------------------------------------------------------------------------------------------------|
348.38/52.07	c (46,0) c |  0 |     74 |      37088 |      24359 |   162799 |     8167 |     3387 |    27324 |       44 |  0.897 |
348.38/52.07	c (46,0) c |  1 |     92 |      40236 |      25416 |   189184 |     9222 |     3288 |    28138 |       66 |  0.907 |
348.38/52.07	c (46,0) c |  2 |    152 |      46168 |      26240 |   241979 |    10047 |     2859 |    28486 |       71 |  0.907 |
348.38/52.07	c (46,0) c |  3 |     62 |      38403 |      25289 |   182696 |     9091 |     3669 |    27271 |       55 |  0.902 |
348.38/52.07	c (46,0) c |  4 |    198 |      58094 |      33887 |   248967 |    17695 |     5253 |    26287 |       73 |  0.907 |
348.38/52.07	c (46,0) c |  5 |     62 |      38321 |      25224 |   182684 |     9026 |     3647 |    27274 |       54 |  0.902 |
348.38/52.07	c (46,0) c |  6 |     79 |      44763 |      30527 |   158424 |    14334 |     4870 |    26185 |       56 |  0.907 |
348.38/52.07	c (46,0) c |  7 |     79 |      44768 |      30533 |   158438 |    14340 |     4871 |    26179 |       56 |  0.907 |
348.38/52.07	c (46,0) c 
348.38/52.07	c (46,0) c synthesis      221475 conflicts   301498853 propagations      865 conflicts/sec  1177204 propagations/sec
348.38/52.07	c (46,0) c Total Memory so far : 1436.10Mb
348.38/52.07	c (46,0) c
348.38/52.07	c (46,0) c |-------------------------------------------------------------------------------------------------------|
348.38/52.07	c (46,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
348.38/52.07	c (46,0) c |-------------------------------------------------------------------------------------------------------|
348.38/52.07	c (46,0) c |  0 |     82 |      44267 |      29629 |   181928 |    13437 |     4140 |    34584 |       74 |  0.940 |
348.38/52.07	c (46,0) c |  1 |    100 |      46112 |      29481 |   212027 |    13287 |     3728 |    33333 |       73 |  0.916 |
348.38/52.07	c (46,0) c |  2 |    157 |      54774 |      32589 |   256030 |    16395 |     4136 |    34568 |       97 |  0.940 |
348.38/52.07	c (46,0) c |  3 |     81 |      46716 |      30676 |   207465 |    14478 |     4738 |    34175 |       85 |  0.940 |
348.38/52.07	c (46,0) c |  4 |    217 |      65385 |      38290 |   272644 |    12195 |     5932 |    31922 |       95 |  0.940 |
348.38/52.07	c (46,0) c |  5 |     68 |      44625 |      29822 |   199404 |    13624 |     4591 |    33062 |       76 |  0.931 |
348.38/52.07	c (46,0) c |  6 |    102 |      53702 |      35863 |   191781 |    19668 |     5865 |    32914 |       89 |  0.940 |
348.38/52.07	c (46,0) c |  7 |    103 |      53351 |      35601 |   192549 |    19406 |     5797 |    33104 |       89 |  0.940 |
348.38/52.07	c (46,0) c 
348.38/52.07	c (46,0) c synthesis      261951 conflicts   351811952 propagations      885 conflicts/sec  1189055 propagations/sec
348.38/52.07	c (46,0) c Total Memory so far : 1437.13Mb
348.38/52.07	c (46,0) c
452.08/65.06	c (59,0) c |-------------------------------------------------------------------------------------------------------|
452.08/65.06	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
452.08/65.06	c (59,0) c |-------------------------------------------------------------------------------------------------------|
452.08/65.06	c (59,0) c |  0 |     84 |      56673 |      38724 |   196586 |    12634 |     6832 |    35938 |      104 |  0.960 |
452.08/65.06	c (59,0) c |  1 |    106 |      50130 |      32333 |   226315 |    16139 |     3959 |    41770 |       78 |  0.969 |
452.08/65.06	c (59,0) c |  2 |    181 |      62656 |      37003 |   284630 |    10911 |     4757 |    41816 |      129 |  0.969 |
452.08/65.06	c (59,0) c |  3 |     95 |      52067 |      33808 |   232199 |    17609 |     5105 |    40937 |      101 |  0.969 |
452.08/65.06	c (59,0) c |  4 |    223 |      76464 |      46743 |   281695 |    20648 |     7702 |    38922 |      117 |  0.974 |
452.08/65.06	c (59,0) c |  5 |     85 |      50015 |      33249 |   218446 |    17051 |     5108 |    41604 |       99 |  0.974 |
452.08/65.07	c (59,0) c |  6 |    126 |      62016 |      41089 |   220397 |    14994 |     6479 |    40234 |      121 |  0.974 |
452.08/65.07	c (59,0) c |  7 |    116 |      64199 |      42835 |   219025 |    16737 |     6832 |    39941 |      127 |  0.974 |
452.08/65.07	c (59,0) c 
452.08/65.07	c (59,0) c synthesis      305784 conflicts   401594519 propagations      911 conflicts/sec  1196295 propagations/sec
452.08/65.07	c (59,0) c Total Memory so far : 1438.55Mb
452.08/65.07	c (59,0) c
452.08/65.07	c (59,0) c |-------------------------------------------------------------------------------------------------------|
452.08/65.07	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
452.08/65.07	c (59,0) c |-------------------------------------------------------------------------------------------------------|
452.08/65.07	c (59,0) c |  0 |     96 |      67324 |      46282 |   211561 |    20191 |     8750 |    44878 |      145 |  1.003 |
452.08/65.07	c (59,0) c |  1 |    115 |      59487 |      39245 |   237765 |    13160 |     4893 |    50198 |      111 |  1.003 |
452.08/65.07	c (59,0) c |  2 |    193 |      76953 |      47353 |   300787 |    21261 |     6930 |    47330 |      215 |  1.003 |
452.08/65.07	c (59,0) c |  3 |     96 |      63417 |      42173 |   243320 |    16081 |     6527 |    41756 |      123 |  0.979 |
452.08/65.07	c (59,0) c |  4 |    248 |      85816 |      52389 |   303687 |    13850 |     8455 |    45972 |      157 |  1.003 |
452.08/65.07	c (59,0) c |  5 |    107 |      56301 |      36718 |   246982 |    10626 |     5500 |    49475 |      139 |  1.003 |
452.08/65.07	c (59,0) c |  6 |    161 |      70678 |      45818 |   249622 |    19722 |     7224 |    48454 |      159 |  1.003 |
452.08/65.07	c (59,0) c |  7 |    130 |      71087 |      47240 |   234812 |    21142 |     7428 |    46903 |      150 |  1.003 |
452.08/65.07	c (59,0) c 
452.08/65.07	c (59,0) c synthesis      357219 conflicts   455708860 propagations      951 conflicts/sec  1213466 propagations/sec
452.08/65.07	c (59,0) c Total Memory so far : 1439.86Mb
452.08/65.07	c (59,0) c
452.08/65.07	c (59,0) c |-------------------------------------------------------------------------------------------------------|
452.08/65.07	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
452.08/65.07	c (59,0) c |-------------------------------------------------------------------------------------------------------|
452.08/65.07	c (59,0) c |  0 |     99 |      83213 |      58580 |   218346 |    20041 |    11967 |    51387 |      201 |  1.003 |
452.08/65.07	c (59,0) c |  1 |    121 |      70934 |      47476 |   250025 |    21391 |     6320 |    52468 |      128 |  1.003 |
452.08/65.07	c (59,0) c |  2 |    203 |      83669 |      51786 |   311858 |    13248 |     7931 |    55711 |      235 |  1.003 |
452.08/65.07	c (59,0) c |  3 |    108 |      69013 |      45808 |   257938 |    19716 |     7123 |    56317 |      165 |  1.003 |
452.08/65.07	c (59,0) c |  4 |    255 |      92664 |      57539 |   314627 |    19000 |     9021 |    52506 |      179 |  1.003 |
452.08/65.07	c (59,0) c |  5 |    110 |      59717 |      39131 |   253582 |    13039 |     5850 |    57752 |      174 |  1.003 |
452.08/65.07	c (59,0) c |  6 |    171 |      75150 |      48672 |   267677 |    22576 |     7582 |    55251 |      176 |  1.003 |
452.08/65.07	c (59,0) c |  7 |    138 |      76368 |      50534 |   248622 |    24436 |     7856 |    55702 |      175 |  1.003 |
452.08/65.07	c (59,0) c 
452.08/65.07	c (59,0) c synthesis      399526 conflicts   500022724 propagations      981 conflicts/sec  1227385 propagations/sec
452.08/65.07	c (59,0) c Total Memory so far : 1440.91Mb
452.08/65.07	c (59,0) c
452.08/65.07	c (59,0) c |-------------------------------------------------------------------------------------------------------|
571.73/80.07	c (74,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
571.73/80.07	c (74,0) c |-------------------------------------------------------------------------------------------------------|
571.73/80.07	c (74,0) c |  0 |    119 |      89830 |      62542 |   237923 |    24003 |    12411 |    55466 |      232 |  1.022 |
571.73/80.07	c (74,0) c |  1 |    129 |      77436 |      51779 |   263140 |    13248 |     7159 |    61089 |      178 |  1.022 |
571.73/80.07	c (74,0) c |  2 |    224 |      89661 |      55345 |   330045 |    16805 |     8410 |    58248 |      253 |  1.022 |
571.73/80.07	c (74,0) c |  3 |    123 |      77798 |      51738 |   275937 |    13195 |     8100 |    59767 |      242 |  1.022 |
571.73/80.07	c (74,0) c |  4 |    276 |      98219 |      60667 |   330624 |    22128 |     9290 |    58852 |      200 |  1.022 |
571.73/80.07	c (74,0) c |  5 |    118 |      66281 |      43373 |   261310 |    17281 |     6701 |    61506 |      201 |  1.022 |
571.73/80.07	c (74,0) c |  6 |    181 |      80475 |      51875 |   284993 |    13327 |     8035 |    58289 |      202 |  1.013 |
571.73/80.07	c (74,0) c |  7 |    156 |      82060 |      54113 |   268183 |    15570 |     8270 |    59798 |      206 |  1.022 |
571.73/80.07	c (74,0) c 
571.73/80.07	c (74,0) c synthesis      431433 conflicts   540356881 propagations      982 conflicts/sec  1230128 propagations/sec
571.73/80.07	c (74,0) c Total Memory so far : 1441.70Mb
571.73/80.07	c (74,0) c
571.73/80.07	c (74,0) c |-------------------------------------------------------------------------------------------------------|
571.73/80.07	c (74,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
571.73/80.07	c (74,0) c |-------------------------------------------------------------------------------------------------------|
571.73/80.07	c (74,0) c |  0 |    153 |      97665 |      66848 |   264707 |    28309 |    12712 |    60829 |      268 |  1.027 |
571.73/80.07	c (74,0) c |  1 |    147 |      85525 |      57012 |   281550 |    18481 |     7891 |    65436 |      247 |  1.022 |
571.73/80.07	c (74,0) c |  2 |    248 |      98062 |      60312 |   346633 |    21772 |     9029 |    65018 |      305 |  1.027 |
571.73/80.07	c (74,0) c |  3 |    161 |      86051 |      55662 |   304895 |    17119 |     8477 |    65600 |      308 |  1.027 |
571.73/80.07	c (74,0) c |  4 |    303 |     104711 |      64069 |   350671 |    25529 |     9504 |    64575 |      251 |  1.027 |
571.73/80.07	c (74,0) c |  5 |    122 |      80617 |      54385 |   271425 |    15848 |     9549 |    64394 |      226 |  1.027 |
571.73/80.07	c (74,0) c |  6 |    181 |      84167 |      54672 |   294471 |    16124 |     8225 |    58289 |      223 |  1.013 |
571.73/80.07	c (74,0) c |  7 |    158 |      88033 |      58677 |   271776 |    20134 |     8726 |    60319 |      216 |  1.022 |
571.73/80.07	c (74,0) c 
571.73/80.07	c (74,0) c synthesis      471637 conflicts   589481542 propagations      984 conflicts/sec  1230463 propagations/sec
571.73/80.07	c (74,0) c Total Memory so far : 1442.63Mb
571.73/80.07	c (74,0) c
571.73/80.07	c (74,0) c |-------------------------------------------------------------------------------------------------------|
571.73/80.07	c (74,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
571.73/80.07	c (74,0) c |-------------------------------------------------------------------------------------------------------|
571.73/80.07	c (74,0) c |  0 |    153 |     112195 |      78252 |   270338 |    24686 |    15278 |    60829 |      376 |  1.027 |
571.73/80.07	c (74,0) c |  1 |    185 |      93801 |      61412 |   311040 |    22881 |     8162 |    70229 |      273 |  1.042 |
571.73/80.07	c (74,0) c |  2 |    262 |     105849 |      65381 |   361967 |    26840 |     9723 |    69150 |      374 |  1.042 |
571.73/80.07	c (74,0) c |  3 |    171 |      94557 |      61992 |   316463 |    23449 |     9290 |    70559 |      378 |  1.042 |
571.73/80.07	c (74,0) c |  4 |    315 |     110394 |      67723 |   367575 |    29183 |     9640 |    70093 |      285 |  1.042 |
571.73/80.07	c (74,0) c |  5 |    127 |      88437 |      60084 |   280516 |    21547 |    10145 |    69262 |      261 |  1.042 |
571.73/80.07	c (74,0) c |  6 |    196 |      90277 |      58762 |   308910 |    20214 |     8714 |    70796 |      264 |  1.042 |
571.73/80.07	c (74,0) c |  7 |    185 |      95440 |      62714 |   297588 |    24170 |     9154 |    70313 |      247 |  1.042 |
571.73/80.07	c (74,0) c 
571.73/80.07	c (74,0) c synthesis      516320 conflicts   643733403 propagations      995 conflicts/sec  1240549 propagations/sec
571.73/80.07	c (74,0) c Total Memory so far : 1443.94Mb
571.73/80.07	c (74,0) c
571.73/80.07	c (74,0) c |-------------------------------------------------------------------------------------------------------|
571.73/80.07	c (74,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
683.39/94.08	c (88,0) c |-------------------------------------------------------------------------------------------------------|
683.39/94.08	c (88,0) c |  0 |    167 |     121057 |      84328 |   281364 |    30762 |    16248 |    69177 |      412 |  1.046 |
683.39/94.08	c (88,0) c |  1 |    208 |     102364 |      66429 |   331621 |    27898 |     8971 |    76425 |      350 |  1.047 |
683.39/94.08	c (88,0) c |  2 |    288 |     112709 |      69149 |   378971 |    15580 |    10076 |    75282 |      433 |  1.046 |
683.39/94.08	c (88,0) c |  3 |    186 |     101946 |      66721 |   339185 |    28178 |     9700 |    75506 |      410 |  1.046 |
683.39/94.08	c (88,0) c |  4 |    338 |     119096 |      73110 |   382245 |    19543 |    10329 |    75132 |      327 |  1.047 |
683.39/94.08	c (88,0) c |  5 |    128 |      97088 |      66791 |   283756 |    28254 |    11043 |    73267 |      307 |  1.042 |
683.39/94.08	c (88,0) c |  6 |    197 |      96636 |      63486 |   312484 |    24937 |     9353 |    75129 |      297 |  1.047 |
683.39/94.08	c (88,0) c |  7 |    197 |     101716 |      66521 |   311237 |    27977 |     9776 |    75407 |      321 |  1.047 |
683.39/94.08	c (88,0) c 
683.39/94.08	c (88,0) c synthesis      556535 conflicts   694253612 propagations      996 conflicts/sec  1242501 propagations/sec
683.39/94.08	c (88,0) c Total Memory so far : 1445.05Mb
683.39/94.08	c (88,0) c
683.39/94.08	c (88,0) c |-------------------------------------------------------------------------------------------------------|
683.39/94.08	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
683.39/94.08	c (88,0) c |-------------------------------------------------------------------------------------------------------|
683.39/94.08	c (88,0) c |  0 |    178 |     124972 |      86963 |   293322 |    33397 |    16480 |    70491 |      443 |  1.051 |
683.39/94.08	c (88,0) c |  1 |    239 |     111485 |      71759 |   348668 |    18197 |     9934 |    79668 |      450 |  1.056 |
683.39/94.08	c (88,0) c |  2 |    305 |     119480 |      73484 |   390851 |    19915 |    10623 |    78486 |      500 |  1.056 |
683.39/94.08	c (88,0) c |  3 |    203 |     105777 |      68934 |   350405 |    15364 |     9878 |    80194 |      440 |  1.056 |
683.39/94.08	c (88,0) c |  4 |    360 |     125501 |      76648 |   397519 |    23079 |    10715 |    79220 |      380 |  1.056 |
683.39/94.08	c (88,0) c |  5 |    129 |     106152 |      74144 |   285319 |    20585 |    12097 |    77316 |      317 |  1.056 |
683.39/94.08	c (88,0) c |  6 |    202 |     103165 |      68394 |   319126 |    29845 |     9850 |    79157 |      352 |  1.056 |
683.39/94.08	c (88,0) c |  7 |    213 |     109608 |      71822 |   327063 |    18258 |    10549 |    78216 |      360 |  1.056 |
683.39/94.08	c (88,0) c 
683.39/94.08	c (88,0) c synthesis      592148 conflicts   743575664 propagations      989 conflicts/sec  1242241 propagations/sec
683.39/94.08	c (88,0) c Total Memory so far : 1445.95Mb
683.39/94.08	c (88,0) c
683.39/94.08	c (88,0) c |-------------------------------------------------------------------------------------------------------|
683.39/94.08	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
683.39/94.08	c (88,0) c |-------------------------------------------------------------------------------------------------------|
683.39/94.08	c (88,0) c |  0 |    196 |     131081 |      90621 |   307519 |    19454 |    16886 |    79142 |      505 |  1.056 |
683.39/94.08	c (88,0) c |  1 |    279 |     119356 |      75733 |   366995 |    22171 |    10427 |    86013 |      526 |  1.056 |
683.39/94.08	c (88,0) c |  2 |    313 |     129779 |      80843 |   396396 |    27274 |    12116 |    84386 |      563 |  1.056 |
683.39/94.08	c (88,0) c |  3 |    219 |     112230 |      72988 |   362693 |    19418 |    10362 |    84277 |      483 |  1.056 |
683.39/94.08	c (88,0) c |  4 |    375 |     132647 |      81099 |   410275 |    27530 |    11365 |    85140 |      426 |  1.056 |
683.39/94.08	c (88,0) c |  5 |    143 |     113012 |      78684 |   296153 |    25125 |    12517 |    83942 |      371 |  1.056 |
683.39/94.08	c (88,0) c |  6 |    222 |     109567 |      72518 |   329525 |    18955 |    10394 |    86074 |      388 |  1.056 |
683.39/94.08	c (88,0) c |  7 |    214 |     118796 |      79213 |   333244 |    25649 |    12440 |    80211 |      415 |  1.056 |
683.39/94.08	c (88,0) c 
683.39/94.08	c (88,0) c synthesis      631699 conflicts   792743610 propagations      990 conflicts/sec  1241810 propagations/sec
683.39/94.08	c (88,0) c Total Memory so far : 1446.87Mb
683.39/94.08	c (88,0) c
683.39/94.08	c (88,0) c |-------------------------------------------------------------------------------------------------------|
683.39/94.08	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
683.39/94.08	c (88,0) c |-------------------------------------------------------------------------------------------------------|
795.06/108.08	c (102,0) c |  0 |    211 |     135791 |      93155 |   321037 |    21988 |    17105 |    82266 |      549 |  1.061 |
795.06/108.08	c (102,0) c |  1 |    307 |     124961 |      78703 |   379454 |    25141 |    10646 |    88716 |      560 |  1.061 |
795.06/108.08	c (102,0) c |  2 |    342 |     134930 |      83304 |   409946 |    29735 |    12419 |    87060 |      599 |  1.061 |
795.06/108.08	c (102,0) c |  3 |    219 |     115735 |      75677 |   367590 |    22107 |    10712 |    84277 |      508 |  1.056 |
795.06/108.08	c (102,0) c |  4 |    392 |     138093 |      84396 |   420353 |    30827 |    11990 |    87384 |      523 |  1.061 |
795.06/108.08	c (102,0) c |  5 |    161 |     118804 |      81720 |   315515 |    28161 |    12843 |    86622 |      415 |  1.061 |
795.06/108.08	c (102,0) c |  6 |    245 |     114668 |      75123 |   345764 |    21559 |    10642 |    88818 |      445 |  1.061 |
795.06/108.08	c (102,0) c |  7 |    222 |     123810 |      82875 |   338615 |    29311 |    13133 |    86338 |      434 |  1.061 |
795.06/108.08	c (102,0) c 
795.06/108.08	c (102,0) c synthesis      654953 conflicts   829195167 propagations      977 conflicts/sec  1237124 propagations/sec
795.06/108.08	c (102,0) c Total Memory so far : 1447.64Mb
795.06/108.08	c (102,0) c
795.06/108.08	c (102,0) c |-------------------------------------------------------------------------------------------------------|
795.06/108.08	c (102,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
795.06/108.08	c (102,0) c |-------------------------------------------------------------------------------------------------------|
795.06/108.08	c (102,0) c |  0 |    240 |     140299 |      95271 |   338028 |    24104 |    17276 |    85223 |      587 |  1.061 |
795.06/108.08	c (102,0) c |  1 |    308 |     131306 |      83576 |   381522 |    30014 |    11474 |    89552 |      689 |  1.061 |
795.06/108.08	c (102,0) c |  2 |    369 |     140748 |      86386 |   423147 |    32817 |    12820 |    89613 |      628 |  1.061 |
795.06/108.08	c (102,0) c |  3 |    225 |     121410 |      79821 |   374106 |    26251 |    11353 |    91090 |      562 |  1.061 |
795.06/108.08	c (102,0) c |  4 |    409 |     145003 |      88859 |   437457 |    17680 |    12223 |    90287 |      548 |  1.061 |
795.06/108.08	c (102,0) c |  5 |    170 |     123153 |      84785 |   321620 |    31226 |    13224 |    89068 |      465 |  1.061 |
795.06/108.08	c (102,0) c |  6 |    265 |     118886 |      77398 |   359397 |    23834 |    10863 |    91763 |      462 |  1.061 |
795.06/108.08	c (102,0) c |  7 |    254 |     129544 |      85500 |   355212 |    31936 |    13407 |    89208 |      488 |  1.061 |
795.06/108.08	c (102,0) c 
795.06/108.08	c (102,0) c synthesis      681596 conflicts   867824238 propagations      971 conflicts/sec  1235964 propagations/sec
795.06/108.08	c (102,0) c Total Memory so far : 1448.41Mb
795.06/108.08	c (102,0) c
795.06/108.08	c (102,0) c |-------------------------------------------------------------------------------------------------------|
795.06/108.08	c (102,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
795.06/108.08	c (102,0) c |-------------------------------------------------------------------------------------------------------|
795.06/108.08	c (102,0) c |  0 |    277 |     146434 |      98195 |   351591 |    27028 |    17549 |    88672 |      640 |  1.061 |
795.06/108.08	c (102,0) c |  1 |    335 |     137334 |      86853 |   395180 |    33291 |    11699 |    94062 |      713 |  1.061 |
795.06/108.08	c (102,0) c |  2 |    379 |     152894 |      94158 |   428908 |    22982 |    13996 |    92448 |      696 |  1.061 |
795.06/108.08	c (102,0) c |  3 |    238 |     126432 |      82770 |   389912 |    29200 |    11654 |    94480 |      592 |  1.061 |
795.06/108.08	c (102,0) c |  4 |    428 |     151484 |      92748 |   451013 |    21569 |    12582 |    93800 |      605 |  1.061 |
795.06/108.08	c (102,0) c |  5 |    191 |     129908 |      88890 |   333024 |    17715 |    13740 |    92520 |      531 |  1.061 |
795.06/108.08	c (102,0) c |  6 |    284 |     124844 |      81040 |   373701 |    27476 |    11232 |    95133 |      523 |  1.061 |
795.06/108.08	c (102,0) c |  7 |    282 |     137120 |      89626 |   370243 |    18446 |    14016 |    92280 |      572 |  1.061 |
795.06/108.08	c (102,0) c 
795.06/108.08	c (102,0) c synthesis      714280 conflicts   915008634 propagations      963 conflicts/sec  1233267 propagations/sec
795.06/108.08	c (102,0) c Total Memory so far : 1449.19Mb
795.06/108.08	c (102,0) c
795.06/108.08	c (102,0) c Try to adapt solver strategies
795.06/108.08	c (102,0) c 
795.06/108.08	c (102,0) c Nothing extreme in this problem, continue with glucose default strategies.
795.06/108.08	c (102,0) c
795.06/108.08	c (102,0) c
795.06/108.08	c (102,0) c |-------------------------------------------------------------------------------------------------------|
795.06/108.08	c (102,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
914.69/123.07	c (117,0) c |-------------------------------------------------------------------------------------------------------|
914.69/123.07	c (117,0) c |  0 |    298 |     154045 |     102730 |   360983 |    31562 |    18100 |    91462 |      741 |  1.061 |
914.69/123.07	c (117,0) c |  1 |    335 |     142904 |      91017 |   398151 |    19843 |    11949 |    94062 |      732 |  1.061 |
914.69/123.07	c (117,0) c |  2 |    398 |     158271 |      97061 |   441228 |    25885 |    14150 |    94546 |      722 |  1.061 |
914.69/123.07	c (117,0) c |  3 |    261 |     132479 |      86344 |   403514 |    32774 |    12096 |    96371 |      638 |  1.061 |
914.69/123.07	c (117,0) c |  4 |    448 |     158791 |      97390 |   458479 |    26211 |    13103 |    96261 |      679 |  1.061 |
914.69/123.07	c (117,0) c |  5 |    224 |     136440 |      92084 |   350766 |    20908 |    14027 |    95731 |      593 |  1.066 |
914.69/123.07	c (117,0) c |  6 |    313 |     131105 |      84313 |   388636 |    30748 |    11638 |    98040 |      614 |  1.061 |
914.69/123.07	c (117,0) c |  7 |    312 |     145155 |      94460 |   383958 |    23280 |    14701 |    95037 |      635 |  1.066 |
914.69/123.07	c (117,0) c 
914.69/123.07	c (117,0) c synthesis      745399 conflicts   963468310 propagations      953 conflicts/sec  1232359 propagations/sec
914.69/123.07	c (117,0) c Total Memory so far : 1449.84Mb
914.69/123.07	c (117,0) c
914.69/123.07	c (117,0) c Try to adapt solver strategies
914.69/123.07	c (117,0) c 
914.69/123.07	c (117,0) c Nothing extreme in this problem, continue with glucose default strategies.
914.69/123.07	c (117,0) c
914.69/123.07	c (117,0) c
914.69/123.07	c (117,0) c Try to adapt solver strategies
914.69/123.07	c (117,0) c 
914.69/123.07	c (117,0) c Nothing extreme in this problem, continue with glucose default strategies.
914.69/123.07	c (117,0) c
914.69/123.07	c (117,0) c
914.69/123.07	c (117,0) c |-------------------------------------------------------------------------------------------------------|
914.69/123.07	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
914.69/123.07	c (117,0) c |-------------------------------------------------------------------------------------------------------|
914.69/123.07	c (117,0) c |  0 |    314 |     165122 |     111280 |   369036 |    40112 |    19239 |    94165 |      823 |  1.066 |
914.69/123.07	c (117,0) c |  1 |    346 |     148516 |      94926 |   405292 |    23752 |    12508 |   100928 |      798 |  1.066 |
914.69/123.07	c (117,0) c |  2 |    415 |     164648 |     101366 |   450339 |    30189 |    14363 |    99048 |      747 |  1.066 |
914.69/123.07	c (117,0) c |  3 |    290 |     140446 |      90717 |   414428 |    19547 |    12609 |   100863 |      701 |  1.066 |
914.69/123.07	c (117,0) c |  4 |    453 |     167389 |     103837 |   461158 |    32657 |    13577 |    97723 |      718 |  1.066 |
914.69/123.07	c (117,0) c |  5 |    262 |     143769 |      95663 |   368020 |    24487 |    14217 |    99265 |      642 |  1.066 |
914.69/123.07	c (117,0) c |  6 |    332 |     138040 |      88323 |   401899 |    34759 |    12068 |   101237 |      704 |  1.066 |
914.69/123.07	c (117,0) c |  7 |    338 |     151242 |      97518 |   400550 |    26338 |    14928 |    98432 |      680 |  1.066 |
914.69/123.07	c (117,0) c 
914.69/123.07	c (117,0) c synthesis      783630 conflicts  1014619990 propagations      954 conflicts/sec  1234855 propagations/sec
914.69/123.07	c (117,0) c Total Memory so far : 1450.89Mb
914.69/123.07	c (117,0) c
914.69/123.07	c (117,0) c |-------------------------------------------------------------------------------------------------------|
914.69/123.07	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
914.69/123.07	c (117,0) c |-------------------------------------------------------------------------------------------------------|
914.69/123.07	c (117,0) c |  0 |    316 |     179292 |     121932 |   373152 |    30554 |    21600 |    94787 |      974 |  1.066 |
914.69/123.07	c (117,0) c |  1 |    390 |     154846 |      97903 |   420839 |    26729 |    12713 |   106832 |      828 |  1.066 |
914.69/123.07	c (117,0) c |  2 |    423 |     174256 |     107972 |   453499 |    36795 |    14949 |   102504 |      790 |  1.066 |
914.69/123.07	c (117,0) c |  3 |    308 |     147816 |      94930 |   428411 |    23760 |    13193 |   106289 |      767 |  1.066 |
914.69/123.08	c (117,0) c |  4 |    453 |     174029 |     108885 |   461624 |    37705 |    13708 |    97723 |      720 |  1.066 |
914.69/123.08	c (117,0) c |  5 |    293 |     153181 |     101493 |   384592 |    30317 |    15222 |   103395 |      760 |  1.066 |
914.69/123.08	c (117,0) c |  6 |    336 |     145797 |      94351 |   408562 |    23178 |    12993 |   103851 |      780 |  1.066 |
914.69/123.08	c (117,0) c |  7 |    338 |     158113 |     102685 |   403616 |    31505 |    15172 |    98432 |      699 |  1.066 |
914.69/123.08	c (117,0) c 
914.69/123.08	c (117,0) c synthesis      830152 conflicts  1070699533 propagations      964 conflicts/sec  1242837 propagations/sec
914.69/123.08	c (117,0) c Total Memory so far : 1541.97Mb
914.69/123.08	c (117,0) c
914.69/123.08	c (117,0) c |-------------------------------------------------------------------------------------------------------|
1018.38/136.06	c (130,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1018.38/136.06	c (130,0) c |-------------------------------------------------------------------------------------------------------|
1018.38/136.06	c (130,0) c |  0 |    321 |     193575 |     132670 |   378091 |    41292 |    23954 |   100086 |     1067 |  1.085 |
1018.38/136.06	c (130,0) c |  1 |    423 |     160827 |     100893 |   432185 |    29718 |    12798 |   110663 |      861 |  1.085 |
1018.38/136.06	c (130,0) c |  2 |    429 |     181030 |     112814 |   462481 |    21433 |    15207 |   108897 |      822 |  1.085 |
1018.38/136.06	c (130,0) c |  3 |    310 |     153924 |      99489 |   433278 |    28318 |    13518 |   106660 |      787 |  1.071 |
1018.38/136.06	c (130,0) c |  4 |    455 |     179605 |     113230 |   461952 |    21853 |    13917 |   107352 |      723 |  1.075 |
1018.38/136.06	c (130,0) c |  5 |    329 |     159991 |     104759 |   400088 |    33583 |    15524 |   108562 |      825 |  1.085 |
1018.38/136.06	c (130,0) c |  6 |    336 |     150915 |      98540 |   411370 |    27367 |    13789 |   103851 |      796 |  1.066 |
1018.38/136.07	c (130,0) c |  7 |    338 |     164146 |     107163 |   404647 |    35983 |    15397 |    98432 |      708 |  1.066 |
1018.38/136.07	c (130,0) c 
1018.38/136.07	c (130,0) c synthesis      869558 conflicts  1123562114 propagations      965 conflicts/sec  1246524 propagations/sec
1018.38/136.07	c (130,0) c Total Memory so far : 1663.58Mb
1018.38/136.07	c (130,0) c
1018.38/136.07	c (130,0) c Try to adapt solver strategies
1018.38/136.07	c (130,0) c 
1018.38/136.07	c (130,0) c Nothing extreme in this problem, continue with glucose default strategies.
1018.38/136.07	c (130,0) c
1018.38/136.07	c (130,0) c
1018.38/136.07	c (130,0) c |-------------------------------------------------------------------------------------------------------|
1018.38/136.07	c (130,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1018.38/136.07	c (130,0) c |-------------------------------------------------------------------------------------------------------|
1018.38/136.07	c (130,0) c |  0 |    349 |     198468 |     134939 |   390725 |    43560 |    24191 |   102617 |     1110 |  1.090 |
1018.38/136.07	c (130,0) c |  1 |    430 |     165319 |     104101 |   440870 |    32926 |    13022 |   113793 |      920 |  1.090 |
1018.38/136.07	c (130,0) c |  2 |    437 |     188181 |     117614 |   467138 |    26233 |    15394 |   109555 |      832 |  1.090 |
1018.38/136.07	c (130,0) c |  3 |    310 |     158506 |     102732 |   435808 |    31561 |    14035 |   106660 |      827 |  1.071 |
1018.38/136.07	c (130,0) c |  4 |    455 |     184054 |     116771 |   462136 |    25394 |    14242 |   107352 |      723 |  1.075 |
1018.38/136.07	c (130,0) c |  5 |    346 |     166708 |     108942 |   409669 |    37766 |    16197 |   109842 |      916 |  1.090 |
1018.38/136.07	c (130,0) c |  6 |    348 |     155330 |     101390 |   416575 |    30216 |    14222 |   112089 |      824 |  1.090 |
1018.38/136.07	c (130,0) c |  7 |    338 |     169881 |     111306 |   405251 |    40126 |    15601 |    98432 |      714 |  1.066 |
1018.38/136.07	c (130,0) c 
1018.38/136.07	c (130,0) c synthesis      897795 conflicts  1165095991 propagations      962 conflicts/sec  1248446 propagations/sec
1018.38/136.07	c (130,0) c Total Memory so far : 1664.36Mb
1018.38/136.07	c (130,0) c
1018.38/136.07	c (130,0) c |-------------------------------------------------------------------------------------------------------|
1018.38/136.07	c (130,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1018.38/136.07	c (130,0) c |-------------------------------------------------------------------------------------------------------|
1018.38/136.07	c (130,0) c |  0 |    372 |     205717 |     139032 |   401300 |    24849 |    24683 |   105113 |     1204 |  1.095 |
1018.38/136.07	c (130,0) c |  1 |    440 |     169285 |     106920 |   445271 |    35745 |    13183 |   117582 |      934 |  1.095 |
1018.38/136.07	c (130,0) c |  2 |    444 |     193634 |     121360 |   473954 |    29979 |    15959 |   113703 |      915 |  1.095 |
1018.38/136.07	c (130,0) c |  3 |    317 |     167102 |     109190 |   440937 |    38019 |    14787 |   114649 |      875 |  1.095 |
1018.38/136.07	c (130,0) c |  4 |    455 |     189095 |     120727 |   462283 |    29350 |    14596 |   107352 |      726 |  1.075 |
1018.38/136.07	c (130,0) c |  5 |    355 |     173788 |     113920 |   415395 |    22538 |    16942 |   113835 |     1012 |  1.095 |
1018.38/136.07	c (130,0) c |  6 |    353 |     163171 |     107335 |   420101 |    36161 |    14883 |   114839 |      842 |  1.095 |
1018.38/136.07	c (130,0) c |  7 |    339 |     177147 |     116572 |   406769 |    25190 |    16329 |   114087 |      816 |  1.095 |
1018.38/136.07	c (130,0) c 
1018.38/136.07	c (130,0) c synthesis      935056 conflicts  1211741787 propagations      969 conflicts/sec  1255517 propagations/sec
1018.38/136.07	c (130,0) c Total Memory so far : 1665.16Mb
1018.38/136.07	c (130,0) c
1018.38/136.07	c (130,0) c |-------------------------------------------------------------------------------------------------------|
1138.03/151.07	c (145,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1138.03/151.07	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1138.03/151.07	c (145,0) c |  0 |    390 |     213325 |     143858 |   412658 |    29675 |    25119 |   112821 |     1265 |  1.172 |
1138.03/151.07	c (145,0) c |  1 |    446 |     172933 |     109520 |   452867 |    38344 |    13315 |   124108 |      955 |  1.172 |
1138.03/151.07	c (145,0) c |  2 |    455 |     198874 |     125034 |   479035 |    33653 |    16463 |   121104 |      966 |  1.172 |
1138.03/151.07	c (145,0) c |  3 |    317 |     173245 |     113904 |   447308 |    22532 |    15229 |   119877 |      894 |  1.167 |
1138.03/151.07	c (145,0) c |  4 |    455 |     194499 |     125092 |   462447 |    33715 |    14960 |   107352 |      728 |  1.075 |
1138.03/151.07	c (145,0) c |  5 |    379 |     181211 |     118167 |   427717 |    26785 |    17534 |   120445 |     1164 |  1.172 |
1138.03/151.07	c (145,0) c |  6 |    367 |     171606 |     113312 |   431312 |    21930 |    15542 |   122402 |      879 |  1.172 |
1138.03/151.07	c (145,0) c |  7 |    339 |     194970 |     131507 |   407710 |    40125 |    19867 |   114087 |     1024 |  1.095 |
1138.03/151.07	c (145,0) c 
1138.03/151.07	c (145,0) c synthesis      980394 conflicts  1267361952 propagations      976 conflicts/sec  1261044 propagations/sec
1138.03/151.07	c (145,0) c Total Memory so far : 1666.35Mb
1138.03/151.07	c (145,0) c
1138.03/151.07	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1138.03/151.07	c (145,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1138.03/151.07	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1138.03/151.07	c (145,0) c |  0 |    416 |     220952 |     148088 |   427007 |    33905 |    25447 |   120029 |     1325 |  1.172 |
1138.03/151.07	c (145,0) c |  1 |    467 |     176949 |     111499 |   463315 |    40323 |    13413 |   131840 |      984 |  1.172 |
1138.03/151.07	c (145,0) c |  2 |    463 |     204598 |     128800 |   484829 |    37419 |    17084 |   127346 |     1062 |  1.172 |
1138.03/151.07	c (145,0) c |  3 |    319 |     184833 |     122589 |   452596 |    31216 |    17792 |   124796 |      967 |  1.172 |
1138.03/151.07	c (145,0) c |  4 |    455 |     200979 |     130328 |   462598 |    38950 |    15452 |   107352 |      736 |  1.075 |
1138.03/151.07	c (145,0) c |  5 |    387 |     194843 |     128650 |   432105 |    37268 |    19718 |   122083 |     1388 |  1.172 |
1138.03/151.07	c (145,0) c |  6 |    393 |     178684 |     117482 |   447573 |    26100 |    15957 |   129375 |      951 |  1.172 |
1138.03/151.07	c (145,0) c |  7 |    346 |     201153 |     136062 |   417046 |    44680 |    20618 |   119792 |     1083 |  1.172 |
1138.03/151.07	c (145,0) c 
1138.03/151.07	c (145,0) c synthesis     1023498 conflicts  1318219715 propagations      980 conflicts/sec  1261618 propagations/sec
1138.03/151.07	c (145,0) c Total Memory so far : 1667.64Mb
1138.03/151.07	c (145,0) c
1138.03/151.07	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1138.03/151.07	c (145,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1138.03/151.07	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1138.03/151.07	c (145,0) c |  0 |    429 |     232316 |     156608 |   433637 |    42425 |    26420 |   128154 |     1491 |  1.172 |
1138.03/151.07	c (145,0) c |  1 |    479 |     181533 |     114604 |   470904 |    23217 |    13789 |   141641 |     1021 |  1.172 |
1138.03/151.07	c (145,0) c |  2 |    472 |     211524 |     133528 |   489706 |    42147 |    17625 |   135346 |     1153 |  1.172 |
1138.03/151.07	c (145,0) c |  3 |    335 |     200158 |     133520 |   461880 |    42147 |    21126 |   134087 |     1036 |  1.172 |
1138.03/151.07	c (145,0) c |  4 |    455 |     208434 |     136658 |   462718 |    45281 |    16144 |   107352 |      746 |  1.075 |
1138.03/151.07	c (145,0) c |  5 |    387 |     215872 |     145237 |   432633 |    31060 |    22981 |   122083 |     1532 |  1.172 |
1138.03/151.07	c (145,0) c |  6 |    410 |     183300 |     120226 |   455533 |    28844 |    16146 |   138825 |      991 |  1.172 |
1138.03/151.07	c (145,0) c |  7 |    359 |     208326 |     140702 |   425597 |    26521 |    21393 |   133708 |     1189 |  1.172 |
1138.03/151.07	c (145,0) c 
1138.03/151.07	c (145,0) c synthesis     1081083 conflicts  1375789006 propagations      997 conflicts/sec  1268326 propagations/sec
1138.03/151.07	c (145,0) c Total Memory so far : 1698.96Mb
1138.03/151.07	c (145,0) c
1138.03/151.07	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1241.72/164.07	c (158,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1241.72/164.07	c (158,0) c |-------------------------------------------------------------------------------------------------------|
1241.72/164.07	c (158,0) c |  0 |    444 |     240288 |     161788 |   442553 |    47605 |    26997 |   133460 |     1594 |  1.172 |
1241.72/164.07	c (158,0) c |  1 |    504 |     187674 |     117770 |   483416 |    26383 |    14183 |   146926 |     1095 |  1.172 |
1241.72/164.07	c (158,0) c |  2 |    495 |     218333 |     137501 |   499956 |    23320 |    18001 |   142385 |     1222 |  1.172 |
1241.72/164.07	c (158,0) c |  3 |    355 |     206509 |     137271 |   473381 |    23087 |    21665 |   139300 |     1083 |  1.172 |
1241.72/164.07	c (158,0) c |  4 |    455 |     217314 |     143759 |   462920 |    29576 |    16946 |   107352 |      749 |  1.075 |
1241.72/164.07	c (158,0) c |  5 |    387 |     229545 |     155617 |   439326 |    41440 |    24369 |   122083 |     1610 |  1.172 |
1241.72/164.07	c (158,0) c |  6 |    424 |     188930 |     123712 |   464601 |    32330 |    16321 |   144661 |     1015 |  1.172 |
1241.72/164.09	c (158,0) c |  7 |    362 |     217333 |     147332 |   431028 |    33151 |    22649 |   136563 |     1377 |  1.172 |
1241.72/164.09	c (158,0) c 
1241.72/164.09	c (158,0) c synthesis     1124750 conflicts  1429936822 propagations     1000 conflicts/sec  1271573 propagations/sec
1241.72/164.09	c (158,0) c Total Memory so far : 1700.17Mb
1241.72/164.09	c (158,0) c
1241.72/164.09	c (158,0) c |-------------------------------------------------------------------------------------------------------|
1241.72/164.09	c (158,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1241.72/164.09	c (158,0) c |-------------------------------------------------------------------------------------------------------|
1241.72/164.09	c (158,0) c |  0 |    455 |     246225 |     165459 |   452770 |    25887 |    27076 |   135436 |     1636 |  1.172 |
1241.72/164.09	c (158,0) c |  1 |    524 |     193490 |     121168 |   493138 |    29781 |    14659 |   149183 |     1148 |  1.172 |
1241.72/164.09	c (158,0) c |  2 |    520 |     224351 |     140877 |   509233 |    26696 |    18317 |   145647 |     1298 |  1.172 |
1241.72/164.09	c (158,0) c |  3 |    385 |     211173 |     139866 |   481505 |    25682 |    21758 |   142236 |     1115 |  1.172 |
1241.72/164.09	c (158,0) c |  4 |    455 |     224132 |     149027 |   463055 |    34844 |    17593 |   107352 |      750 |  1.075 |
1241.72/164.09	c (158,0) c |  5 |    397 |     237287 |     161024 |   447567 |    46847 |    24792 |   139149 |     1651 |  1.172 |
1241.72/164.09	c (158,0) c |  6 |    437 |     194951 |     127711 |   473767 |    36329 |    16814 |   146574 |     1095 |  1.172 |
1241.72/164.09	c (158,0) c |  7 |    364 |     222958 |     151094 |   434340 |    36913 |    23022 |   139316 |     1425 |  1.172 |
1241.72/164.09	c (158,0) c 
1241.72/164.09	c (158,0) c synthesis     1156226 conflicts  1479055431 propagations      993 conflicts/sec  1270246 propagations/sec
1241.72/164.09	c (158,0) c Total Memory so far : 1670.87Mb
1241.72/164.09	c (158,0) c
1241.72/164.09	c (158,0) c |-------------------------------------------------------------------------------------------------------|
1241.72/164.09	c (158,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1241.72/164.09	c (158,0) c |-------------------------------------------------------------------------------------------------------|
1241.72/164.09	c (158,0) c |  0 |    467 |     250543 |     168136 |   460153 |    28564 |    27234 |   139536 |     1682 |  1.196 |
1241.72/164.09	c (158,0) c |  1 |    533 |     198308 |     124135 |   500294 |    32747 |    14956 |   151820 |     1186 |  1.196 |
1241.72/164.09	c (158,0) c |  2 |    526 |     228170 |     143372 |   513479 |    29191 |    18672 |   148085 |     1353 |  1.196 |
1241.72/164.09	c (158,0) c |  3 |    390 |     216214 |     143342 |   486072 |    29157 |    22064 |   143982 |     1166 |  1.196 |
1241.72/164.09	c (158,0) c |  4 |    456 |     229828 |     153379 |   463201 |    39196 |    18176 |   148603 |      753 |  1.196 |
1241.72/164.09	c (158,0) c |  5 |    418 |     241796 |     163066 |   458165 |    48889 |    24938 |   141821 |     1696 |  1.196 |
1241.72/164.09	c (158,0) c |  6 |    457 |     199996 |     130582 |   481496 |    39200 |    17086 |   149690 |     1156 |  1.196 |
1241.72/164.09	c (158,0) c |  7 |    369 |     228414 |     155049 |   438097 |    40868 |    23720 |   143059 |     1493 |  1.196 |
1241.72/164.09	c (158,0) c 
1241.72/164.09	c (158,0) c synthesis     1181061 conflicts  1517681391 propagations      987 conflicts/sec  1268669 propagations/sec
1241.72/164.09	c (158,0) c Total Memory so far : 1671.53Mb
1241.72/164.09	c (158,0) c
1241.72/164.09	c (158,0) c |-------------------------------------------------------------------------------------------------------|
1241.72/164.09	c (158,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1361.36/179.07	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1361.36/179.07	c (173,0) c |  0 |    471 |     254947 |     171439 |   465416 |    31867 |    27438 |   139997 |     1717 |  1.196 |
1361.36/179.07	c (173,0) c |  1 |    540 |     210095 |     133073 |   504761 |    41685 |    16769 |   152553 |     1394 |  1.196 |
1361.36/179.07	c (173,0) c |  2 |    540 |     232473 |     145537 |   519801 |    31356 |    18900 |   152208 |     1396 |  1.196 |
1361.36/179.07	c (173,0) c |  3 |    392 |     222404 |     148083 |   488070 |    33898 |    22850 |   146273 |     1208 |  1.196 |
1361.36/179.07	c (173,0) c |  4 |    456 |     234376 |     156927 |   463497 |    42744 |    18607 |   148603 |      761 |  1.196 |
1361.36/179.07	c (173,0) c |  5 |    432 |     246895 |     166353 |   466168 |    26775 |    25177 |   144530 |     1751 |  1.196 |
1361.36/179.07	c (173,0) c |  6 |    462 |     205054 |     134050 |   484735 |    42668 |    17370 |   152891 |     1186 |  1.196 |
1361.36/179.07	c (173,0) c |  7 |    381 |     232570 |     157603 |   445177 |    43421 |    24102 |   147091 |     1554 |  1.196 |
1361.36/179.07	c (173,0) c 
1361.36/179.07	c (173,0) c synthesis     1213065 conflicts  1558831580 propagations      988 conflicts/sec  1269299 propagations/sec
1361.36/179.07	c (173,0) c Total Memory so far : 1642.22Mb
1361.36/179.07	c (173,0) c
1361.36/179.07	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1361.36/179.07	c (173,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1361.36/179.07	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1361.36/179.07	c (173,0) c |  0 |    488 |     261171 |     175291 |   475083 |    35719 |    27706 |   147904 |     1771 |  1.196 |
1361.36/179.07	c (173,0) c |  1 |    544 |     224453 |     144866 |   507662 |    30684 |    18589 |   157067 |     1494 |  1.196 |
1361.36/179.07	c (173,0) c |  2 |    552 |     237710 |     148885 |   525425 |    34704 |    19265 |   156405 |     1458 |  1.196 |
1361.36/179.07	c (173,0) c |  3 |    421 |     230077 |     152380 |   499416 |    38195 |    23304 |   151928 |     1313 |  1.196 |
1361.36/179.07	c (173,0) c |  4 |    456 |     242405 |     162993 |   463807 |    48810 |    19285 |   148603 |      766 |  1.196 |
1361.36/179.07	c (173,0) c |  5 |    455 |     253594 |     170288 |   476387 |    30710 |    25649 |   150017 |     1818 |  1.196 |
1361.36/179.07	c (173,0) c |  6 |    466 |     210012 |     137654 |   487223 |    23472 |    17519 |   157903 |     1207 |  1.196 |
1361.36/179.07	c (173,0) c |  7 |    400 |     237682 |     160622 |   455885 |    46441 |    24362 |   151259 |     1605 |  1.196 |
1361.36/179.07	c (173,0) c 
1361.36/179.07	c (173,0) c synthesis     1252980 conflicts  1609128073 propagations      988 conflicts/sec  1269134 propagations/sec
1361.36/179.07	c (173,0) c Total Memory so far : 1613.03Mb
1361.36/179.07	c (173,0) c
1361.36/179.07	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1361.36/179.07	c (173,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1361.36/179.07	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1361.36/179.07	c (173,0) c |  0 |    523 |     266531 |     177881 |   485025 |    38309 |    27877 |   151937 |     1825 |  1.206 |
1361.36/179.07	c (173,0) c |  1 |    560 |     232106 |     149788 |   515729 |    35606 |    19101 |   160336 |     1570 |  1.206 |
1361.36/179.07	c (173,0) c |  2 |    552 |     242731 |     152956 |   526430 |    38775 |    19700 |   156405 |     1482 |  1.196 |
1361.36/179.07	c (173,0) c |  3 |    421 |     246199 |     165631 |   500000 |    26052 |    24950 |   151928 |     1384 |  1.196 |
1361.36/179.07	c (173,0) c |  4 |    457 |     251070 |     169571 |   464709 |    29988 |    20035 |   156651 |      775 |  1.196 |
1361.36/179.07	c (173,0) c |  5 |    487 |     260294 |     173752 |   486341 |    34174 |    25835 |   153942 |     1860 |  1.206 |
1361.36/179.07	c (173,0) c |  6 |    466 |     215200 |     141639 |   492662 |    27457 |    17752 |   157903 |     1237 |  1.196 |
1361.36/179.07	c (173,0) c |  7 |    410 |     243542 |     164591 |   463714 |    50409 |    24681 |   155227 |     1656 |  1.206 |
1361.36/179.07	c (173,0) c 
1361.36/179.07	c (173,0) c synthesis     1295809 conflicts  1666534898 propagations      991 conflicts/sec  1274372 propagations/sec
1361.36/179.07	c (173,0) c Total Memory so far : 1553.97Mb
1361.36/179.07	c (173,0) c
1361.36/179.07	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1361.36/179.07	c (173,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1361.36/179.07	c (173,0) c |-------------------------------------------------------------------------------------------------------|
1473.03/193.06	c (187,0) c |  0 |    534 |     273262 |     182482 |   492926 |    42910 |    28141 |   155591 |     1867 |  1.206 |
1473.03/193.06	c (187,0) c |  1 |    565 |     237391 |     153521 |   520346 |    39339 |    19279 |   164519 |     1622 |  1.206 |
1473.03/193.06	c (187,0) c |  2 |    553 |     248480 |     157595 |   527078 |    43413 |    20061 |   163373 |     1492 |  1.206 |
1473.03/193.06	c (187,0) c |  3 |    421 |     266153 |     182221 |   500392 |    42642 |    26708 |   151928 |     1417 |  1.196 |
1473.03/193.06	c (187,0) c |  4 |    458 |     259899 |     176214 |   465206 |    36631 |    20724 |   162557 |      779 |  1.206 |
1473.03/193.06	c (187,0) c |  5 |    490 |     267875 |     179388 |   493482 |    39809 |    26182 |   154733 |     1887 |  1.206 |
1473.03/193.06	c (187,0) c |  6 |    493 |     220150 |     144287 |   501527 |    30104 |    17938 |   165864 |     1261 |  1.206 |
1473.03/193.06	c (187,0) c |  7 |    415 |     247447 |     167292 |   468591 |    27706 |    24812 |   156134 |     1688 |  1.206 |
1473.03/193.06	c (187,0) c 
1473.03/193.06	c (187,0) c synthesis     1343000 conflicts  1726507496 propagations      997 conflicts/sec  1281215 propagations/sec
1473.91/193.19	c (187,0) c Total Memory so far : 1524.86Mb
1473.91/193.19	c (187,0) c
1473.91/193.19	c (187,0) c |-------------------------------------------------------------------------------------------------------|
1473.91/193.19	c (187,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1473.91/193.19	c (187,0) c |-------------------------------------------------------------------------------------------------------|
1473.91/193.19	c (187,0) c |  0 |    574 |     280275 |     185932 |   504756 |    46359 |    28477 |   159650 |     1939 |  1.206 |
1473.91/193.19	c (187,0) c |  1 |    584 |     243203 |     156750 |   530023 |    42568 |    19523 |   168261 |     1676 |  1.206 |
1473.91/193.19	c (187,0) c |  2 |    557 |     253347 |     161163 |   528621 |    46981 |    20378 |   166294 |     1519 |  1.206 |
1473.91/193.19	c (187,0) c |  3 |    421 |     289715 |     202393 |   500621 |    34818 |    28861 |   151928 |     1445 |  1.196 |
1473.91/193.19	c (187,0) c |  4 |    459 |     267263 |     181782 |   465715 |    42199 |    21247 |   164226 |      781 |  1.206 |
1473.91/193.19	c (187,0) c |  5 |    490 |     275969 |     185396 |   494641 |    45818 |    26449 |   154733 |     1891 |  1.206 |
1473.91/193.19	c (187,0) c |  6 |    527 |     227106 |     147723 |   514042 |    33541 |    18308 |   169841 |     1371 |  1.206 |
1473.91/193.19	c (187,0) c |  7 |    435 |     251563 |     169657 |   474103 |    30071 |    24916 |   162927 |     1702 |  1.206 |
1473.91/193.19	c (187,0) c 
1473.91/193.19	c (187,0) c synthesis     1390796 conflicts  1782732948 propagations     1002 conflicts/sec  1284928 propagations/sec
1473.91/193.19	c (187,0) c Total Memory so far : 1525.94Mb
1473.91/193.19	c (187,0) c
1473.91/193.19	c (187,0) c |-------------------------------------------------------------------------------------------------------|
1473.91/193.19	c (187,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1473.91/193.19	c (187,0) c |-------------------------------------------------------------------------------------------------------|
1473.91/193.19	c (187,0) c |  0 |    604 |     287496 |     189956 |   515489 |    50384 |    28651 |   164078 |     1994 |  1.206 |
1473.91/193.19	c (187,0) c |  1 |    592 |     248571 |     160329 |   538768 |    46147 |    19890 |   172746 |     1777 |  1.206 |
1473.91/193.19	c (187,0) c |  2 |    560 |     260430 |     166682 |   529527 |    27102 |    21304 |   170648 |     1569 |  1.206 |
1473.91/193.19	c (187,0) c |  3 |    421 |     308201 |     218048 |   500752 |    50473 |    30826 |   151928 |     1460 |  1.196 |
1473.91/193.19	c (187,0) c |  4 |    459 |     275591 |     188019 |   466046 |    48436 |    21929 |   164226 |      784 |  1.206 |
1473.91/193.19	c (187,0) c |  5 |    494 |     283851 |     191277 |   495643 |    51699 |    26577 |   163380 |     1900 |  1.206 |
1473.91/193.19	c (187,0) c |  6 |    534 |     234948 |     153364 |   517385 |    39182 |    19227 |   173588 |     1474 |  1.206 |
1473.91/193.19	c (187,0) c |  7 |    442 |     257100 |     173796 |   479883 |    34210 |    25028 |   165774 |     1732 |  1.206 |
1473.91/193.19	c (187,0) c 
1473.91/193.19	c (187,0) c synthesis     1441471 conflicts  1843772627 propagations     1010 conflicts/sec  1291815 propagations/sec
1473.91/193.19	c (187,0) c Total Memory so far : 1526.91Mb
1473.91/193.19	c (187,0) c
1473.91/193.19	c (187,0) c |-------------------------------------------------------------------------------------------------------|
1473.91/193.19	c (187,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1473.91/193.19	c (187,0) c |-------------------------------------------------------------------------------------------------------|
1473.91/193.19	c (187,0) c |  0 |    625 |     291654 |     192065 |   523097 |    52493 |    28784 |   167245 |     2031 |  1.215 |
1576.71/206.07	c (200,0) c |  1 |    601 |     252796 |     162937 |   542747 |    48755 |    19945 |   175941 |     1788 |  1.215 |
1576.71/206.07	c (200,0) c |  2 |    562 |     263821 |     169250 |   530178 |    29670 |    21573 |   174578 |     1580 |  1.215 |
1576.71/206.07	c (200,0) c |  3 |    421 |     319541 |     227661 |   500837 |    60086 |    31777 |   151928 |     1464 |  1.196 |
1576.71/206.07	c (200,0) c |  4 |    459 |     282042 |     192804 |   466234 |    53221 |    22440 |   164226 |      786 |  1.206 |
1576.71/206.07	c (200,0) c |  5 |    495 |     289372 |     195600 |   496078 |    56022 |    26666 |   169337 |     1908 |  1.215 |
1576.71/206.07	c (200,0) c |  6 |    534 |     241615 |     158728 |   517662 |    44546 |    20053 |   173588 |     1488 |  1.206 |
1576.71/206.07	c (200,0) c |  7 |    452 |     260521 |     175926 |   487942 |    36339 |    25082 |   171236 |     1748 |  1.215 |
1576.71/206.07	c (200,0) c 
1576.71/206.07	c (200,0) c synthesis     1474971 conflicts  1890595176 propagations     1011 conflicts/sec  1295664 propagations/sec
1576.71/206.07	c (200,0) c Total Memory so far : 1558.12Mb
1576.71/206.07	c (200,0) c
1576.71/206.07	c (200,0) c |-------------------------------------------------------------------------------------------------------|
1576.71/206.07	c (200,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1576.71/206.07	c (200,0) c |-------------------------------------------------------------------------------------------------------|
1576.71/206.07	c (200,0) c |  0 |    650 |     297288 |     195242 |   529669 |    55670 |    29055 |   170911 |     2115 |  1.215 |
1576.71/206.07	c (200,0) c |  1 |    601 |     256795 |     165998 |   546227 |    26420 |    20084 |   175941 |     1823 |  1.215 |
1576.71/206.07	c (200,0) c |  2 |    566 |     266934 |     171401 |   532106 |    31821 |    21866 |   175883 |     1633 |  1.215 |
1576.71/206.07	c (200,0) c |  3 |    421 |     331467 |     237651 |   500983 |    39480 |    33006 |   151928 |     1468 |  1.196 |
1576.71/206.07	c (200,0) c |  4 |    460 |     287934 |     197327 |   466541 |    29742 |    22965 |   174530 |      799 |  1.215 |
1576.71/206.07	c (200,0) c |  5 |    503 |     294692 |     199121 |   500413 |    31543 |    26936 |   173429 |     1936 |  1.215 |
1576.71/206.07	c (200,0) c |  6 |    534 |     249233 |     164680 |   517830 |    50498 |    20905 |   173588 |     1501 |  1.206 |
1576.71/206.07	c (200,0) c |  7 |    473 |     267191 |     179946 |   494448 |    40359 |    25566 |   174789 |     1833 |  1.215 |
1576.71/206.07	c (200,0) c 
1576.71/206.07	c (200,0) c synthesis     1511366 conflicts  1936228381 propagations     1014 conflicts/sec  1298587 propagations/sec
1576.71/206.07	c (200,0) c Total Memory so far : 1588.99Mb
1576.71/206.07	c (200,0) c
1576.71/206.07	c (200,0) c |-------------------------------------------------------------------------------------------------------|
1576.71/206.07	c (200,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1576.71/206.07	c (200,0) c |-------------------------------------------------------------------------------------------------------|
1576.71/206.07	c (200,0) c |  0 |    657 |     302664 |     198932 |   533002 |    31349 |    29324 |   176220 |     2158 |  1.220 |
1576.71/206.07	c (200,0) c |  1 |    619 |     263537 |     170294 |   550896 |    30716 |    20674 |   182995 |     1918 |  1.215 |
1576.71/206.07	c (200,0) c |  2 |    566 |     274548 |     177643 |   532793 |    38063 |    23042 |   175883 |     1710 |  1.215 |
1576.71/206.07	c (200,0) c |  3 |    422 |     344577 |     248636 |   501178 |    50464 |    34319 |   171152 |     1483 |  1.220 |
1576.71/206.07	c (200,0) c |  4 |    461 |     292697 |     201046 |   467448 |    33461 |    23425 |   181540 |      821 |  1.220 |
1576.71/206.07	c (200,0) c |  5 |    510 |     301267 |     203883 |   504501 |    36305 |    27800 |   177289 |     2066 |  1.220 |
1576.71/206.07	c (200,0) c |  6 |    534 |     255436 |     169345 |   520061 |    29757 |    21332 |   173588 |     1515 |  1.206 |
1576.71/206.07	c (200,0) c |  7 |    495 |     272404 |     182669 |   503619 |    43082 |    25734 |   179727 |     1873 |  1.220 |
1576.71/206.07	c (200,0) c 
1576.71/206.07	c (200,0) c synthesis     1552448 conflicts  1983415433 propagations     1019 conflicts/sec  1302373 propagations/sec
1576.71/206.07	c (200,0) c Total Memory so far : 1589.66Mb
1576.71/206.07	c (200,0) c
1576.71/206.07	c (200,0) c |-------------------------------------------------------------------------------------------------------|
1576.71/206.07	c (200,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1576.71/206.07	c (200,0) c |-------------------------------------------------------------------------------------------------------|
1576.71/206.07	c (200,0) c |  0 |    667 |     310260 |     204219 |   538030 |    36636 |    30149 |   180942 |     2211 |  1.225 |
1576.71/206.07	c (200,0) c |  1 |    627 |     279411 |     181640 |   556238 |    42062 |    22838 |   189178 |     2035 |  1.225 |
1696.36/221.07	c (215,0) c |  2 |    566 |     283056 |     184791 |   533336 |    45211 |    24177 |   175883 |     1756 |  1.215 |
1696.36/221.07	c (215,0) c |  3 |    446 |     350775 |     252056 |   514606 |    53883 |    34682 |   177501 |     1535 |  1.225 |
1696.36/221.07	c (215,0) c |  4 |    467 |     296952 |     203729 |   477030 |    36144 |    23825 |   186423 |      865 |  1.225 |
1696.36/221.07	c (215,0) c |  5 |    516 |     308856 |     209069 |   509966 |    41491 |    28308 |   182069 |     2100 |  1.225 |
1696.36/221.07	c (215,0) c |  6 |    542 |     260241 |     172611 |   525912 |    33023 |    21609 |   188105 |     1561 |  1.225 |
1696.36/221.07	c (215,0) c |  7 |    499 |     281731 |     189293 |   507704 |    49705 |    26769 |   185190 |     2036 |  1.225 |
1696.36/221.07	c (215,0) c 
1696.36/221.07	c (215,0) c synthesis     1597408 conflicts  2035009702 propagations     1022 conflicts/sec  1302166 propagations/sec
1696.36/221.07	c (215,0) c Total Memory so far : 1621.15Mb
1696.36/221.07	c (215,0) c
1696.36/221.07	c (215,0) c |-------------------------------------------------------------------------------------------------------|
1696.36/221.07	c (215,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1696.36/221.07	c (215,0) c |-------------------------------------------------------------------------------------------------------|
1696.36/221.07	c (215,0) c |  0 |    700 |     319838 |     209789 |   547572 |    42206 |    31334 |   186136 |     2275 |  1.230 |
1696.36/221.07	c (215,0) c |  1 |    650 |     284900 |     184639 |   561312 |    45061 |    23026 |   194409 |     2055 |  1.230 |
1696.36/221.07	c (215,0) c |  2 |    571 |     297249 |     196029 |   534805 |    28449 |    26159 |   191311 |     1853 |  1.230 |
1696.36/221.07	c (215,0) c |  3 |    447 |     357494 |     257238 |   518956 |    59066 |    35069 |   177726 |     1544 |  1.225 |
1696.36/221.07	c (215,0) c |  4 |    475 |     302166 |     207079 |   482965 |    39494 |    24498 |   192972 |      935 |  1.230 |
1696.36/221.07	c (215,0) c |  5 |    518 |     316841 |     215006 |   511549 |    47428 |    28729 |   184770 |     2111 |  1.225 |
1696.36/221.07	c (215,0) c |  6 |    551 |     263956 |     175065 |   530093 |    35477 |    21745 |   195704 |     1585 |  1.230 |
1696.36/221.07	c (215,0) c |  7 |    514 |     286589 |     192245 |   515194 |    52656 |    26925 |   190540 |     2094 |  1.230 |
1696.36/221.07	c (215,0) c 
1696.36/221.07	c (215,0) c synthesis     1637090 conflicts  2086387054 propagations     1021 conflicts/sec  1301838 propagations/sec
1696.36/221.07	c (215,0) c Total Memory so far : 1652.23Mb
1696.36/221.07	c (215,0) c
1696.36/221.07	c (215,0) c |-------------------------------------------------------------------------------------------------------|
1696.36/221.07	c (215,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1696.36/221.07	c (215,0) c |-------------------------------------------------------------------------------------------------------|
1696.36/221.07	c (215,0) c |  0 |    729 |     326406 |     213225 |   556617 |    45642 |    31671 |   188772 |     2333 |  1.230 |
1696.36/221.07	c (215,0) c |  1 |    684 |     291913 |     188113 |   572746 |    48535 |    23307 |   197149 |     2154 |  1.230 |
1696.36/221.07	c (215,0) c |  2 |    587 |     303234 |     199570 |   542065 |    31990 |    26403 |   194005 |     1879 |  1.230 |
1696.36/221.07	c (215,0) c |  3 |    447 |     362541 |     261081 |   523493 |    62909 |    35425 |   177726 |     1571 |  1.225 |
1696.36/221.07	c (215,0) c |  4 |    509 |     308630 |     210484 |   494723 |    42899 |    24910 |   194922 |     1012 |  1.230 |
1696.36/221.07	c (215,0) c |  5 |    518 |     327099 |     222920 |   512460 |    55342 |    29307 |   184770 |     2124 |  1.225 |
1696.36/221.07	c (215,0) c |  6 |    561 |     269154 |     178259 |   535561 |    38671 |    22112 |   197495 |     1627 |  1.230 |
1696.36/221.07	c (215,0) c |  7 |    529 |     294953 |     197970 |   522602 |    30391 |    27337 |   192941 |     2144 |  1.230 |
1696.36/221.07	c (215,0) c 
1696.36/221.07	c (215,0) c synthesis     1671622 conflicts  2137444871 propagations     1018 conflicts/sec  1301318 propagations/sec
1696.36/221.07	c (215,0) c Total Memory so far : 1653.05Mb
1696.36/221.07	c (215,0) c
1696.36/221.07	c (215,0) c |-------------------------------------------------------------------------------------------------------|
1696.36/221.07	c (215,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1696.36/221.07	c (215,0) c |-------------------------------------------------------------------------------------------------------|
1696.36/221.07	c (215,0) c |  0 |    758 |     333608 |     217360 |   564544 |    49777 |    31950 |   191519 |     2395 |  1.230 |
1696.36/221.07	c (215,0) c |  1 |    714 |     297159 |     190619 |   579730 |    51041 |    23480 |   200013 |     2186 |  1.230 |
1696.36/221.07	c (215,0) c |  2 |    624 |     308729 |     202030 |   552220 |    34450 |    26525 |   196891 |     1925 |  1.230 |
1800.04/234.06	c (228,0) c |  3 |    482 |     368876 |     264203 |   535725 |    66031 |    35658 |   187789 |     1628 |  1.230 |
1800.04/234.06	c (228,0) c |  4 |    528 |     316662 |     215930 |   500825 |    48345 |    25983 |   196949 |     1197 |  1.230 |
1800.04/234.06	c (228,0) c |  5 |    518 |     337290 |     230633 |   512837 |    32454 |    29856 |   184770 |     2130 |  1.225 |
1800.04/234.06	c (228,0) c |  6 |    577 |     274730 |     181694 |   541876 |    42106 |    22430 |   200632 |     1702 |  1.230 |
1800.04/234.06	c (228,0) c |  7 |    535 |     299492 |     201144 |   529434 |    33565 |    27664 |   195735 |     2190 |  1.230 |
1800.04/234.06	c (228,0) c 
1800.04/234.06	c (228,0) c synthesis     1703613 conflicts  2184962217 propagations     1013 conflicts/sec  1298720 propagations/sec
1800.04/234.06	c (228,0) c Total Memory so far : 1683.97Mb
1800.04/234.06	c (228,0) c
1800.04/234.06	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1800.04/234.06	c (228,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1800.04/234.06	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1800.04/234.06	c (228,0) c |  0 |    770 |     338380 |     220268 |   569472 |    52685 |    32225 |   193085 |     2451 |  1.230 |
1800.04/234.06	c (228,0) c |  1 |    719 |     303908 |     195601 |   582763 |    56023 |    23715 |   201612 |     2202 |  1.230 |
1800.04/234.06	c (228,0) c |  2 |    641 |     314225 |     205328 |   558158 |    37748 |    26738 |   199358 |     1977 |  1.230 |
1800.04/234.06	c (228,0) c |  3 |    513 |     373304 |     266236 |   543910 |    34858 |    35846 |   190254 |     1673 |  1.230 |
1800.04/234.06	c (228,0) c |  4 |    541 |     322574 |     219682 |   508602 |    52097 |    26615 |   199332 |     1305 |  1.230 |
1800.04/234.06	c (228,0) c |  5 |    518 |     346598 |     237912 |   513156 |    39733 |    30461 |   184770 |     2140 |  1.225 |
1800.04/234.06	c (228,0) c |  6 |    592 |     278354 |     183928 |   549557 |    44340 |    22557 |   202854 |     1742 |  1.230 |
1800.04/234.06	c (228,0) c |  7 |    562 |     304869 |     203723 |   537574 |    36144 |    27972 |   198105 |     2261 |  1.230 |
1800.04/234.07	c (228,0) c 
1800.04/234.07	c (228,0) c synthesis     1732678 conflicts  2225913247 propagations     1011 conflicts/sec  1298483 propagations/sec
1800.04/234.07	c (228,0) c Total Memory so far : 1684.62Mb
1800.04/234.07	c (228,0) c
1800.04/234.07	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1800.04/234.07	c (228,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1800.04/234.07	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1800.04/234.07	c (228,0) c |  0 |    787 |     344015 |     223834 |   575925 |    56250 |    32569 |   197340 |     2496 |  1.239 |
1800.04/234.07	c (228,0) c |  1 |    719 |     312944 |     203038 |   583367 |    35464 |    25044 |   201612 |     2304 |  1.230 |
1800.04/234.07	c (228,0) c |  2 |    662 |     320273 |     208847 |   564493 |    41267 |    26952 |   203138 |     2016 |  1.239 |
1800.04/234.07	c (228,0) c |  3 |    534 |     379349 |     269889 |   551668 |    38511 |    36320 |   194019 |     1772 |  1.239 |
1800.04/234.07	c (228,0) c |  4 |    549 |     326916 |     222345 |   516715 |    54760 |    27020 |   203306 |     1397 |  1.239 |
1800.04/234.07	c (228,0) c |  5 |    518 |     358245 |     247068 |   513744 |    48889 |    31264 |   184770 |     2150 |  1.225 |
1800.04/234.07	c (228,0) c |  6 |    593 |     284826 |     188631 |   552091 |    49042 |    23051 |   205659 |     1818 |  1.239 |
1800.04/234.07	c (228,0) c |  7 |    597 |     310673 |     206385 |   547301 |    38806 |    28212 |   202187 |     2336 |  1.239 |
1800.04/234.07	c (228,0) c 
1800.04/234.07	c (228,0) c synthesis     1770038 conflicts  2275793950 propagations     1009 conflicts/sec  1297419 propagations/sec
1800.04/234.07	c (228,0) c Total Memory so far : 1685.34Mb
1800.04/234.07	c (228,0) c
1800.04/234.07	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1800.04/234.07	c (228,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1800.04/234.07	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1800.04/234.07	c (228,0) c |  0 |    788 |     347278 |     226398 |   577565 |    58814 |    32690 |   200584 |     2502 |  1.239 |
1800.04/234.07	c (228,0) c |  1 |    730 |     318029 |     206633 |   586749 |    39059 |    25458 |   207242 |     2344 |  1.239 |
1800.04/234.07	c (228,0) c |  2 |    675 |     325689 |     212310 |   569241 |    44730 |    27498 |   206134 |     2085 |  1.239 |
1919.67/249.07	c (243,0) c |  3 |    549 |     384941 |     273242 |   558753 |    41864 |    36976 |   196098 |     1878 |  1.239 |
1919.67/249.07	c (243,0) c |  4 |    560 |     330749 |     224604 |   521944 |    57019 |    27282 |   205338 |     1451 |  1.239 |
1919.67/249.07	c (243,0) c |  5 |    518 |     366604 |     253789 |   514106 |    55610 |    31737 |   184770 |     2151 |  1.225 |
1919.67/249.07	c (243,0) c |  6 |    598 |     290221 |     192248 |   554111 |    52659 |    23658 |   209967 |     1848 |  1.239 |
1919.67/249.07	c (243,0) c |  7 |    619 |     315495 |     208922 |   553386 |    41343 |    28392 |   205043 |     2378 |  1.239 |
1919.67/249.07	c (243,0) c 
1919.67/249.07	c (243,0) c synthesis     1798146 conflicts  2315240026 propagations     1007 conflicts/sec  1296334 propagations/sec
1919.67/249.07	c (243,0) c Total Memory so far : 1686.03Mb
1919.67/249.07	c (243,0) c
1919.67/249.07	c (243,0) c |-------------------------------------------------------------------------------------------------------|
1919.67/249.07	c (243,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1919.67/249.12	c (243,0) c |-------------------------------------------------------------------------------------------------------|
1919.67/249.12	c (243,0) c |  0 |    789 |     350686 |     229032 |   580044 |    30851 |    32741 |   202068 |     2507 |  1.239 |
1919.67/249.12	c (243,0) c |  1 |    730 |     323732 |     211245 |   588136 |    43671 |    25694 |   207242 |     2349 |  1.239 |
1919.67/249.12	c (243,0) c |  2 |    685 |     331156 |     215774 |   573572 |    48194 |    27778 |   210643 |     2119 |  1.244 |
1919.67/249.12	c (243,0) c |  3 |    557 |     398377 |     283402 |   562603 |    52024 |    39375 |   199059 |     2222 |  1.244 |
1919.67/249.12	c (243,0) c |  4 |    570 |     335241 |     227353 |   532327 |    59768 |    27568 |   210940 |     1504 |  1.244 |
1919.67/249.12	c (243,0) c |  5 |    519 |     377882 |     262523 |   514547 |    64344 |    32458 |   205126 |     2158 |  1.244 |
1919.67/249.12	c (243,0) c |  6 |    600 |     295866 |     196277 |   557617 |    28691 |    24030 |   212681 |     1909 |  1.244 |
1919.67/249.12	c (243,0) c |  7 |    620 |     320696 |     212958 |   557216 |    45379 |    28922 |   205419 |     2471 |  1.239 |
1919.67/249.12	c (243,0) c 
1919.67/249.12	c (243,0) c synthesis     1838564 conflicts  2367713390 propagations     1007 conflicts/sec  1296829 propagations/sec
1919.67/249.12	c (243,0) c Total Memory so far : 1687.04Mb
1919.67/249.12	c (243,0) c
1919.67/249.12	c (243,0) c |-------------------------------------------------------------------------------------------------------|
1919.67/249.12	c (243,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1919.67/249.12	c (243,0) c |-------------------------------------------------------------------------------------------------------|
1919.67/249.12	c (243,0) c |  0 |    790 |     354357 |     231805 |   582796 |    33624 |    32828 |   206674 |     2519 |  1.244 |
1919.67/249.12	c (243,0) c |  1 |    738 |     330853 |     216314 |   592035 |    48740 |    26015 |   214453 |     2384 |  1.244 |
1919.67/249.12	c (243,0) c |  2 |    698 |     336799 |     219540 |   578825 |    51960 |    28116 |   213607 |     2170 |  1.244 |
1919.67/249.12	c (243,0) c |  3 |    587 |     404249 |     286303 |   572501 |    54925 |    39655 |   202112 |     2283 |  1.244 |
1919.67/249.12	c (243,0) c |  4 |    583 |     339981 |     230144 |   540438 |    31954 |    27830 |   213993 |     1561 |  1.244 |
1919.67/249.12	c (243,0) c |  5 |    519 |     388923 |     271139 |   515000 |    39760 |    33330 |   205126 |     2165 |  1.244 |
1919.67/249.12	c (243,0) c |  6 |    629 |     302286 |     199775 |   565340 |    32189 |    24462 |   217294 |     1964 |  1.244 |
1919.67/249.12	c (243,0) c |  7 |    628 |     326129 |     216824 |   560455 |    49245 |    29608 |   211922 |     2526 |  1.244 |
1919.67/249.12	c (243,0) c 
1919.67/249.12	c (243,0) c synthesis     1871844 conflicts  2417716432 propagations     1003 conflicts/sec  1295937 propagations/sec
1919.67/249.12	c (243,0) c Total Memory so far : 1657.60Mb
1919.67/249.12	c (243,0) c
1919.67/249.12	c (243,0) c |-------------------------------------------------------------------------------------------------------|
1919.67/249.12	c (243,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1919.67/249.12	c (243,0) c |-------------------------------------------------------------------------------------------------------|
1919.67/249.12	c (243,0) c |  0 |    790 |     358614 |     234930 |   584439 |    36749 |    32978 |   206674 |     2534 |  1.244 |
1919.67/249.12	c (243,0) c |  1 |    742 |     339574 |     222969 |   593366 |    55395 |    26584 |   217676 |     2407 |  1.244 |
1919.67/249.12	c (243,0) c |  2 |    714 |     340491 |     221578 |   586662 |    53998 |    28256 |   216698 |     2203 |  1.244 |
1919.67/249.12	c (243,0) c |  3 |    614 |     409391 |     288917 |   580335 |    57539 |    39850 |   205368 |     2320 |  1.244 |
2023.36/262.06	c (256,0) c |  4 |    605 |     346060 |     233793 |   548297 |    35603 |    28428 |   216681 |     1695 |  1.244 |
2023.36/262.06	c (256,0) c |  5 |    519 |     399331 |     279561 |   515321 |    48182 |    34210 |   205126 |     2172 |  1.244 |
2023.36/262.06	c (256,0) c |  6 |    652 |     308520 |     203228 |   572031 |    35642 |    24888 |   220224 |     2044 |  1.244 |
2023.36/262.06	c (256,0) c |  7 |    632 |     331122 |     219925 |   564382 |    52346 |    30045 |   215070 |     2598 |  1.244 |
2023.36/262.06	c (256,0) c 
2023.36/262.06	c (256,0) c synthesis     1904901 conflicts  2468298794 propagations     1000 conflicts/sec  1295363 propagations/sec
2023.36/262.06	c (256,0) c Total Memory so far : 1658.39Mb
2023.36/262.06	c (256,0) c
2023.36/262.06	c (256,0) c |-------------------------------------------------------------------------------------------------------|
2023.36/262.06	c (256,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2023.36/262.06	c (256,0) c |-------------------------------------------------------------------------------------------------------|
2023.36/262.06	c (256,0) c |  0 |    796 |     362661 |     237407 |   590067 |    39226 |    33170 |   217128 |     2587 |  1.244 |
2023.36/262.06	c (256,0) c |  1 |    747 |     346322 |     228000 |   594915 |    60426 |    27471 |   224277 |     2456 |  1.244 |
2023.36/262.06	c (256,0) c |  2 |    726 |     346038 |     225305 |   591872 |    57725 |    28593 |   222839 |     2239 |  1.244 |
2023.36/262.06	c (256,0) c |  3 |    629 |     414895 |     292350 |   585610 |    60972 |    40226 |   211472 |     2367 |  1.244 |
2023.36/262.06	c (256,0) c |  4 |    606 |     357569 |     242304 |   552512 |    44114 |    30513 |   219168 |     1860 |  1.244 |
2023.36/262.06	c (256,0) c |  5 |    519 |     408853 |     287109 |   515626 |    55730 |    34876 |   205126 |     2178 |  1.244 |
2023.36/262.06	c (256,0) c |  6 |    673 |     313866 |     206219 |   578773 |    38633 |    25257 |   226192 |     2089 |  1.244 |
2023.36/262.06	c (256,0) c |  7 |    644 |     340409 |     226244 |   570976 |    58665 |    31683 |   220002 |     2785 |  1.244 |
2023.36/262.06	c (256,0) c 
2023.36/262.06	c (256,0) c synthesis     1944939 conflicts  2518641627 propagations     1000 conflicts/sec  1294721 propagations/sec
2023.36/262.06	c (256,0) c Total Memory so far : 1659.04Mb
2023.36/262.06	c (256,0) c
2023.36/262.06	c (256,0) c |-------------------------------------------------------------------------------------------------------|
2023.36/262.06	c (256,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2023.36/262.06	c (256,0) c |-------------------------------------------------------------------------------------------------------|
2023.36/262.06	c (256,0) c |  0 |    801 |     365930 |     239721 |   592581 |    41539 |    33320 |   220248 |     2617 |  1.254 |
2023.36/262.06	c (256,0) c |  1 |    755 |     349707 |     230154 |   597298 |    31975 |    27591 |   226219 |     2472 |  1.254 |
2023.36/262.06	c (256,0) c |  2 |    731 |     349725 |     227845 |   595773 |    60265 |    28724 |   224391 |     2254 |  1.254 |
2023.36/262.06	c (256,0) c |  3 |    635 |     419682 |     295549 |   587721 |    64170 |    40658 |   212355 |     2481 |  1.254 |
2023.36/262.06	c (256,0) c |  4 |    616 |     361496 |     244740 |   558059 |    46549 |    30824 |   222621 |     1911 |  1.254 |
2023.36/262.07	c (256,0) c |  5 |    519 |     416374 |     293094 |   515864 |    61715 |    35354 |   205126 |     2181 |  1.244 |
2023.36/262.07	c (256,0) c |  6 |    694 |     317938 |     208422 |   584541 |    40836 |    25436 |   228249 |     2128 |  1.254 |
2023.36/262.07	c (256,0) c |  7 |    650 |     344803 |     229406 |   575969 |    31237 |    32048 |   220674 |     2841 |  1.244 |
2023.36/262.07	c (256,0) c 
2023.36/262.07	c (256,0) c synthesis     1968931 conflicts  2556699510 propagations      996 conflicts/sec  1293085 propagations/sec
2023.36/262.07	c (256,0) c Total Memory so far : 1659.72Mb
2023.36/262.07	c (256,0) c
2023.36/262.07	c (256,0) c |-------------------------------------------------------------------------------------------------------|
2023.36/262.07	c (256,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2023.36/262.07	c (256,0) c |-------------------------------------------------------------------------------------------------------|
2023.36/262.07	c (256,0) c |  0 |    822 |     370687 |     242513 |   598841 |    44331 |    33583 |   223095 |     2663 |  1.254 |
2023.36/262.07	c (256,0) c |  1 |    767 |     352989 |     231953 |   602434 |    33774 |    27720 |   228946 |     2512 |  1.254 |
2023.36/262.07	c (256,0) c |  2 |    739 |     352963 |     230038 |   598692 |    31855 |    28925 |   227801 |     2287 |  1.254 |
2023.36/262.07	c (256,0) c |  3 |    641 |     425045 |     299287 |   590438 |    67908 |    41344 |   215367 |     2621 |  1.254 |
2023.36/262.07	c (256,0) c |  4 |    625 |     366695 |     248543 |   560314 |    50351 |    31404 |   225067 |     1988 |  1.254 |
2135.03/276.06	c (270,0) c |  5 |    519 |     423164 |     298595 |   516050 |    67216 |    35771 |   205126 |     2182 |  1.244 |
2135.03/276.06	c (270,0) c |  6 |    695 |     320506 |     210390 |   585969 |    42804 |    25625 |   229899 |     2148 |  1.254 |
2135.03/276.06	c (270,0) c |  7 |    678 |     350596 |     232435 |   584979 |    34266 |    32369 |   224301 |     2924 |  1.254 |
2135.03/276.06	c (270,0) c 
2135.03/276.06	c (270,0) c synthesis     1993754 conflicts  2594450623 propagations      992 conflicts/sec  1291344 propagations/sec
2135.03/276.06	c (270,0) c Total Memory so far : 1690.21Mb
2135.03/276.06	c (270,0) c
2135.03/276.06	c (270,0) c |-------------------------------------------------------------------------------------------------------|
2135.03/276.06	c (270,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2135.03/276.06	c (270,0) c |-------------------------------------------------------------------------------------------------------|
2135.03/276.06	c (270,0) c |  0 |    831 |     374848 |     245180 |   605630 |    46998 |    33758 |   225174 |     2689 |  1.254 |
2135.03/276.06	c (270,0) c |  1 |    775 |     356592 |     234308 |   606639 |    36129 |    27869 |   230873 |     2541 |  1.254 |
2135.03/276.06	c (270,0) c |  2 |    758 |     357231 |     232309 |   604424 |    34126 |    29112 |   229312 |     2329 |  1.254 |
2135.03/276.06	c (270,0) c |  3 |    649 |     430069 |     302783 |   593943 |    71404 |    41932 |   216897 |     2656 |  1.254 |
2135.03/276.06	c (270,0) c |  4 |    637 |     371948 |     251526 |   565065 |    53335 |    31807 |   227112 |     2087 |  1.254 |
2135.03/276.06	c (270,0) c |  5 |    519 |     428828 |     303246 |   516226 |    36069 |    36104 |   205126 |     2183 |  1.244 |
2135.03/276.06	c (270,0) c |  6 |    696 |     322888 |     212179 |   587391 |    44593 |    25782 |   231774 |     2166 |  1.254 |
2135.03/276.06	c (270,0) c |  7 |    696 |     355997 |     235910 |   589289 |    37741 |    32587 |   226331 |     2975 |  1.254 |
2135.03/276.06	c (270,0) c 
2135.03/276.06	c (270,0) c synthesis     2017441 conflicts  2632347721 propagations      988 conflicts/sec  1289729 propagations/sec
2135.03/276.06	c (270,0) c Total Memory so far : 1690.87Mb
2135.03/276.06	c (270,0) c
2135.03/276.06	c (270,0) c |-------------------------------------------------------------------------------------------------------|
2135.03/276.06	c (270,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2135.03/276.06	c (270,0) c |-------------------------------------------------------------------------------------------------------|
2135.03/276.06	c (270,0) c |  0 |    849 |     381850 |     249486 |   612129 |    51304 |    34314 |   228065 |     2764 |  1.254 |
2135.03/276.06	c (270,0) c |  1 |    800 |     362125 |     237372 |   613406 |    39193 |    28209 |   234147 |     2598 |  1.254 |
2135.03/276.06	c (270,0) c |  2 |    765 |     361454 |     235310 |   608785 |    37127 |    29490 |   232461 |     2375 |  1.254 |
2135.03/276.06	c (270,0) c |  3 |    654 |     439167 |     309670 |   595876 |    42492 |    42813 |   219379 |     2732 |  1.254 |
2135.03/276.06	c (270,0) c |  4 |    644 |     377144 |     255020 |   568767 |    56829 |    32002 |   230327 |     2120 |  1.254 |
2135.03/276.06	c (270,0) c |  5 |    519 |     436563 |     309492 |   516381 |    42315 |    36533 |   205126 |     2185 |  1.244 |
2135.03/276.06	c (270,0) c |  6 |    698 |     326796 |     215110 |   589248 |    47524 |    26117 |   235472 |     2184 |  1.254 |
2135.03/276.06	c (270,0) c |  7 |    709 |     361548 |     239509 |   595848 |    41340 |    32962 |   229083 |     3039 |  1.254 |
2135.03/276.06	c (270,0) c 
2135.03/276.06	c (270,0) c synthesis     2050969 conflicts  2680969801 propagations      986 conflicts/sec  1288418 propagations/sec
2135.03/276.06	c (270,0) c Total Memory so far : 1661.42Mb
2135.03/276.06	c (270,0) c
2135.03/276.06	c (270,0) c |-------------------------------------------------------------------------------------------------------|
2135.03/276.06	c (270,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2135.03/276.06	c (270,0) c |-------------------------------------------------------------------------------------------------------|
2135.03/276.06	c (270,0) c |  0 |    883 |     388457 |     253074 |   619728 |    54892 |    34590 |   231242 |     2839 |  1.254 |
2135.03/276.06	c (270,0) c |  1 |    801 |     366463 |     240558 |   618468 |    42379 |    28485 |   234277 |     2640 |  1.254 |
2135.03/276.06	c (270,0) c |  2 |    775 |     365549 |     237955 |   613171 |    39772 |    29833 |   236022 |     2415 |  1.254 |
2135.03/276.06	c (270,0) c |  3 |    660 |     448051 |     316445 |   599211 |    49267 |    43357 |   222185 |     2846 |  1.254 |
2135.03/276.06	c (270,0) c |  4 |    661 |     384166 |     259754 |   578093 |    61563 |    32776 |   233015 |     2229 |  1.254 |
2135.03/276.06	c (270,0) c |  5 |    519 |     444243 |     315621 |   516529 |    48444 |    36990 |   205126 |     2186 |  1.244 |
2254.68/291.07	c (285,0) c |  6 |    698 |     331861 |     219121 |   590147 |    51535 |    26635 |   235472 |     2203 |  1.254 |
2254.68/291.07	c (285,0) c |  7 |    730 |     367255 |     242183 |   607538 |    44014 |    33196 |   232522 |     3105 |  1.254 |
2254.68/291.07	c (285,0) c 
2254.68/291.07	c (285,0) c synthesis     2084713 conflicts  2730146531 propagations      983 conflicts/sec  1287385 propagations/sec
2254.68/291.07	c (285,0) c Total Memory so far : 1662.07Mb
2254.68/291.07	c (285,0) c
2254.68/291.07	c (285,0) c |-------------------------------------------------------------------------------------------------------|
2254.68/291.07	c (285,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2254.68/291.07	c (285,0) c |-------------------------------------------------------------------------------------------------------|
2254.68/291.07	c (285,0) c |  0 |    918 |     394195 |     255509 |   627763 |    57327 |    34789 |   234583 |     2900 |  1.273 |
2254.68/291.07	c (285,0) c |  1 |    805 |     369858 |     243048 |   621495 |    44869 |    28678 |   240741 |     2665 |  1.273 |
2254.68/291.07	c (285,0) c |  2 |    786 |     370741 |     241145 |   619116 |    42962 |    30204 |   239085 |     2478 |  1.273 |
2254.68/291.07	c (285,0) c |  3 |    680 |     455517 |     320891 |   605364 |    53713 |    43810 |   225559 |     2888 |  1.273 |
2254.68/291.07	c (285,0) c |  4 |    664 |     398829 |     270852 |   583661 |    39470 |    33829 |   235564 |     2275 |  1.273 |
2254.68/291.07	c (285,0) c |  5 |    519 |     451370 |     321405 |   516670 |    54228 |    37385 |   205126 |     2188 |  1.244 |
2254.68/291.07	c (285,0) c |  6 |    698 |     338367 |     224212 |   590382 |    56626 |    27179 |   235472 |     2210 |  1.254 |
2254.68/291.07	c (285,0) c |  7 |    748 |     373245 |     246027 |   614892 |    47858 |    33577 |   234043 |     3173 |  1.263 |
2254.68/291.07	c (285,0) c 
2254.68/291.07	c (285,0) c synthesis     2123089 conflicts  2780271968 propagations      983 conflicts/sec  1286838 propagations/sec
2254.68/291.07	c (285,0) c Total Memory so far : 1632.62Mb
2254.68/291.07	c (285,0) c
2254.68/291.07	c (285,0) c |-------------------------------------------------------------------------------------------------------|
2254.68/291.07	c (285,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2254.68/291.07	c (285,0) c |-------------------------------------------------------------------------------------------------------|
2254.68/291.07	c (285,0) c |  0 |    934 |     401372 |     260004 |   636155 |    61822 |    35034 |   237534 |     2957 |  1.292 |
2254.68/291.07	c (285,0) c |  1 |    822 |     375122 |     246182 |   625936 |    48003 |    28925 |   243916 |     2698 |  1.292 |
2254.68/291.07	c (285,0) c |  2 |    798 |     375465 |     244190 |   622913 |    46007 |    30672 |   240473 |     2513 |  1.273 |
2254.68/291.07	c (285,0) c |  3 |    711 |     462677 |     324694 |   613398 |    57516 |    44197 |   228707 |     3023 |  1.292 |
2254.68/291.07	c (285,0) c |  4 |    685 |     405335 |     274764 |   593008 |    43378 |    34250 |   238656 |     2369 |  1.292 |
2254.68/291.07	c (285,0) c |  5 |    519 |     458365 |     327127 |   516809 |    59950 |    37768 |   205126 |     2188 |  1.244 |
2254.68/291.07	c (285,0) c |  6 |    700 |     341953 |     226660 |   593591 |    59074 |    27489 |   243660 |     2243 |  1.293 |
2254.68/291.07	c (285,0) c |  7 |    760 |     381213 |     251466 |   619844 |    53297 |    34571 |   238273 |     3259 |  1.292 |
2254.68/291.07	c (285,0) c 
2254.68/291.07	c (285,0) c synthesis     2155087 conflicts  2826788413 propagations      979 conflicts/sec  1284664 propagations/sec
2254.68/291.07	c (285,0) c Total Memory so far : 1663.54Mb
2254.68/291.07	c (285,0) c
2254.68/291.07	c (285,0) c |-------------------------------------------------------------------------------------------------------|
2254.68/291.07	c (285,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2254.68/291.07	c (285,0) c |-------------------------------------------------------------------------------------------------------|
2254.68/291.07	c (285,0) c |  0 |    944 |     407904 |     264651 |   640734 |    33291 |    35470 |   239660 |     3008 |  1.297 |
2254.68/291.07	c (285,0) c |  1 |    831 |     383347 |     251925 |   628773 |    53746 |    29905 |   246488 |     2794 |  1.297 |
2254.68/291.07	c (285,0) c |  2 |    813 |     381054 |     247637 |   628118 |    49454 |    31104 |   245321 |     2570 |  1.297 |
2254.68/291.07	c (285,0) c |  3 |    738 |     469280 |     328456 |   620127 |    61278 |    44498 |   231531 |     3080 |  1.297 |
2254.68/291.07	c (285,0) c |  4 |    699 |     410964 |     278268 |   600952 |    46881 |    34487 |   240698 |     2417 |  1.297 |
2254.68/291.07	c (285,0) c |  5 |    519 |     466368 |     333557 |   516942 |    66379 |    38214 |   205126 |     2192 |  1.244 |
2254.68/291.07	c (285,0) c |  6 |    700 |     346287 |     230169 |   594529 |    31986 |    28060 |   243660 |     2324 |  1.293 |
2320.82/299.34	c (293,0) c |  7 |    772 |     385178 |     253898 |   626367 |    55729 |    34709 |   241190 |     3298 |  1.297 |
2320.82/299.34	c (293,0) c 
2320.82/299.34	c (293,0) c synthesis     2188563 conflicts  2875241924 propagations      977 conflicts/sec  1283439 propagations/sec
2320.82/299.34	c (293,0) c Total Memory so far : 1634.15Mb
2320.82/299.34	c (293,0) c
2320.82/299.34	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2320.82/299.34	c (293,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2320.82/299.34	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2320.82/299.34	c (293,0) c |  0 |    957 |     413054 |     268031 |   644382 |    36671 |    35981 |   242814 |     3076 |  1.297 |
2320.82/299.34	c (293,0) c |  1 |    834 |     386188 |     254011 |   631587 |    55832 |    30132 |   248886 |     2839 |  1.297 |
2320.82/299.34	c (293,0) c |  2 |    813 |     387046 |     252416 |   628928 |    54233 |    32007 |   245321 |     2665 |  1.297 |
2320.82/299.34	c (293,0) c |  3 |    754 |     477301 |     333861 |   625148 |    66683 |    44672 |   235022 |     3121 |  1.297 |
2320.82/299.34	c (293,0) c |  4 |    722 |     416397 |     281183 |   606182 |    49796 |    34872 |   244833 |     2495 |  1.297 |
2320.82/299.34	c (293,0) c |  5 |    524 |     471350 |     337285 |   519573 |    70107 |    38468 |   241152 |     2198 |  1.297 |
2320.82/299.34	c (293,0) c |  6 |    705 |     350331 |     233017 |   596919 |    34834 |    28550 |   250828 |     2362 |  1.297 |
2320.82/299.34	c (293,0) c |  7 |    782 |     390094 |     257083 |   630229 |    58914 |    35043 |   243503 |     3340 |  1.297 |
2320.82/299.34	c (293,0) c 
2320.82/299.34	c (293,0) c synthesis     2216887 conflicts  2914246555 propagations      976 conflicts/sec  1282593 propagations/sec
2320.82/299.34	c (293,0) c Total Memory so far : 1634.96Mb
2320.82/299.34	c (293,0) c
2320.82/299.34	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2320.82/299.34	c (293,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
2320.82/299.34	c (293,0) c |-------------------------------------------------------------------------------------------------------|
2320.82/299.34	c (293,0) c |  0 |    967 |     417842 |     271058 |   648967 |    39698 |    36375 |   247141 |     3119 |  1.297 |
2320.82/299.34	c (293,0) c |  1 |    841 |     392819 |     258237 |   635898 |    60058 |    30866 |   252376 |     2939 |  1.297 |
2320.82/299.34	c (293,0) c |  2 |    813 |     394867 |     258777 |   629327 |    60594 |    33235 |   245321 |     2748 |  1.297 |
2320.82/299.34	c (293,0) c |  3 |    768 |     480867 |     335931 |   629568 |    68753 |    44772 |   238779 |     3158 |  1.297 |
2320.82/299.34	c (293,0) c |  4 |    739 |     422777 |     285163 |   612964 |    53776 |    35401 |   248073 |     2606 |  1.297 |
2320.82/299.34	c (293,0) c |  5 |    535 |     475697 |     340132 |   525974 |    72954 |    38682 |   244558 |     2229 |  1.297 |
2320.82/299.34	c (293,0) c |  6 |    705 |     353243 |     235277 |   598749 |    37094 |    28765 |   250828 |     2403 |  1.297 |
2320.82/299.34	c (293,0) c |  7 |    782 |     395133 |     261105 |   631300 |    62936 |    35519 |   243503 |     3349 |  1.297 |
2320.82/299.34	c (293,0) c 
2320.82/299.34	c (293,0) c synthesis     2245680 conflicts  2952010257 propagations      975 conflicts/sec  1281227 propagations/sec
2320.82/299.34	c (293,0) c Total Memory so far : 1636.00Mb
2320.82/299.34	c (293,0) c last restart ## conflicts  :  1419 57 
2320.82/299.34	c (293,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer).
2320.82/299.34	c (293,0) c Total Memory so far : 1636.00Mb
2320.82/299.34	c (293,0) c
2320.82/299.34	c (293,0) c real time : 293.273 s
2320.82/299.34	c (293,0) c cpu time  : 2306.21 s
2320.82/299.34	c (293,0) c
2320.82/299.34	c (293,0) c
2320.82/299.34	c (293,0) c
2320.82/299.34	c (293,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2320.82/299.34	c (293,0) c
2320.82/299.34	c (293,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2320.82/299.34	c (293,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2320.82/299.34	c (293,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2320.82/299.34	c (293,0) c | Conflicts     |         2247660 |     271206 |     258811 |     259166 |     336049 |     285268 |     340225 |     235466 |     261469 |
2320.82/299.34	c (293,0) c | Decisions     |         3336540 |     418307 |     393542 |     395371 |     481229 |     423139 |     475795 |     353532 |     395625 |
2320.82/299.34	c (293,0) c | Propagations  |      2954411920 |  353016724 |  349402623 |  348871991 |  387943153 |  398434242 |  411279985 |  344721922 |  360741280 |
2320.82/299.34	c (293,0) c | Avg_Trail     |                 |      13904 |      13645 |      14042 |      12581 |      12099 |      11554 |      14412 |      14083 |
2320.82/299.34	c (293,0) c | Avg_DL        |                 |         43 |         42 |         42 |         39 |         35 |         33 |         44 |         43 |
2320.82/299.34	c (293,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2320.82/299.34	c (293,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2320.82/299.34	c (293,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2320.82/299.34	c (293,0) c | Exported      |          283869 |      36386 |      30958 |      33302 |      44781 |      35406 |      38687 |      28784 |      35565 |
2320.82/299.34	c (293,0) c | Imported      |         1971268 |     247141 |     252376 |     245321 |     239079 |     248462 |     244558 |     250828 |     243503 |
2320.82/299.34	c (293,0) c | Good          |            8111 |       1003 |       1039 |        995 |       1035 |        989 |       1044 |       1053 |        953 |
2320.82/299.34	c (293,0) c | Purge         |         1963157 |     246138 |     251337 |     244326 |     238044 |     247473 |     243514 |     249775 |     242550 |
2320.82/299.34	c (293,0) c | Promoted      |           22574 |       3122 |       2946 |       2748 |       3159 |       2610 |       2231 |       2408 |       3350 |
2320.82/299.34	c (293,0) c | Remove_Imp    |         1294961 |     173154 |     163634 |     164974 |     145238 |     167483 |     138669 |     182412 |     159397 |
2320.82/299.34	c (293,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2320.82/299.34	c (293,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2320.82/299.34	c (293,0) c | Unaries       |                 |          4 |         10 |         13 |         11 |         15 |          5 |         14 |         14 |
2320.82/299.34	c (293,0) c | Binaries      |                 |        167 |        124 |        154 |        136 |        182 |        118 |         96 |        194 |
2320.82/299.34	c (293,0) c | Glues         |                 |       1730 |       1498 |       1528 |       1555 |       1586 |       1272 |       1248 |       1729 |
2320.82/299.34	c (293,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2320.82/299.34	c (293,0) c | Orig_Seen     |            33 % |     649384 |     636783 |     629336 |     630040 |     613401 |     526455 |     598765 |     631371 |
2320.82/299.34	c (293,0) c | Diff Orig seen|                 |      12601 |      X     | -     7447 | -     6743 | -    23382 | -   110328 | -    38018 | -     5412 |
2320.82/299.34	c (293,0) c | Hamming       |            16 % |       3786 |      X     |       3569 |       3420 |       3132 |       2939 |       3775 |       3321 |
2320.82/299.34	c (293,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2320.82/299.34	c (293,0) 
2320.82/299.34	c (293,0) s SATISFIABLE
11.39/299.42	c (293,0) SatSolver.solve End
11.39/299.42	c (293,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.39/299.42	c (293,0) Show results Begin
11.39/299.49	s SATISFIABLE
11.39/299.49	v <instantiation>
11.39/299.49	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4]</list>
11.39/299.49	v     <values>30 39 64 66 45 59 8 56 25 36 60 46 53 18 31 20 26 50 62 63 10 16 15 13 28 37 47 41 7 9 14 11 29 34 52 40 24 21 23 12 38 32 54 65 27 6 17 33 35 61 49 42 57 22 55 19 43 48 44 51 58</values>
11.39/299.49	v </instantiation>
11.39/299.49	c (293,0) Show results End
11.39/299.49	c (293,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
11.39/299.49	c (293,0) 293,293,STOP-AFTER(ALL)
11.39/299.49	c END-Prog: Tue Aug 14 00:54:30 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 (14078 MiB free)
  memory of node 1: 16384 MiB (9357 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307134-1534200570/watcher-4307134-1534200570 -o /tmp/evaluation-result-4307134-1534200570/solver-4307134-1534200570 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1534200546-4266 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307134-1534200570.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=4525, runsolver pid=4522

[startup+0.100155 s]*
/proc/loadavg: 7.20 8.09 8.26 3/204 4547
/proc/meminfo: memFree=23900960/32770624 swapFree=67108852/67108860
[pid=4525] ppid=4522 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4525/stat : 4525 (scop.sh) S 4522 4525 4239 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237620195 115843072 349 33554432000 4194304 5098028 140721438353904 140721438351160 139980664447612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140721438356514 140721438356739 140721438356739 140721438359501 0
/proc/4525/statm: 28282 349 296 221 0 87 0
[pid=4528] ppid=4525 vsize=27313900 memory=109712 CPUtime=0.11 cores=0-7
/proc/4528/stat : 4528 (java) S 4525 4525 4239 0 -1 1077944320 6353 0 0 0 9 2 0 0 20 0 20 0 237620195 27969433600 27428 33554432000 4194304 4196468 140731873780960 140731873763504 140388708970231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
/proc/4528/statm: 6828475 27428 2745 1 0 6790935 0
[pid=4528/tid=4529] ppid=4525 vsize=27313900 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/4528/task/4529/stat : 4529 (java) R 4525 4525 4239 0 -1 4202560 4539 0 0 0 7 1 0 0 20 0 20 0 237620195 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388680796560 140388708992157 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4530] ppid=4525 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4528/task/4530/stat : 4530 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388713213072 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4531] ppid=4525 vsize=27313900 memory=140071247226496 CPUtime=0 cores=0-7
/proc/4528/task/4531/stat : 4531 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388527369232 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4532] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4532/stat : 4532 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388526316432 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4533] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4533/stat : 4533 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388525263632 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4534] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4534/stat : 4534 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388524210832 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4535] ppid=4525 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/4528/task/4535/stat : 4535 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388126587408 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4536] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4536/stat : 4536 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388125534608 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4537] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4537/stat : 4537 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 27493 33554432000 4194304 4196468 140731873780960 140388124481808 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4538] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4538/stat : 4538 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620199 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386760584048 140388708981378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4539] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4539/stat : 4539 (java) S 4525 4525 4239 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237620200 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386643207712 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4540] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4540/stat : 4540 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620200 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386374772080 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4541] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4541/stat : 4541 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386000263504 140388708988827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4542] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4542/stat : 4542 (java) S 4525 4525 4239 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386759530864 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4543] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4543/stat : 4543 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386758478064 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4544] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4544/stat : 4544 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386757425264 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4545] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4545/stat : 4545 (java) R 4525 4525 4239 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386756372464 140388687863944 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4546] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4546/stat : 4546 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237620203 27969433600 27493 33554432000 4194304 4196468 140731873780960 140385502358624 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4547] ppid=4525 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/4528/task/4547/stat : 4547 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620203 27969433600 27493 33554432000 4194304 4196468 140731873780960 140386755320880 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 111108 KiB

[startup+0.210639 s]*
/proc/loadavg: 7.20 8.09 8.26 2/204 4547
/proc/meminfo: memFree=23884588/32770624 swapFree=67108852/67108860
[pid=4525] ppid=4522 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4525/stat : 4525 (scop.sh) S 4522 4525 4239 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237620195 115843072 349 33554432000 4194304 5098028 140721438353904 140721438351160 139980664447612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140721438356514 140721438356739 140721438356739 140721438359501 0
/proc/4525/statm: 28282 349 296 221 0 87 0
[pid=4528] ppid=4525 vsize=27313900 memory=124084 CPUtime=0.24 cores=0-7
/proc/4528/stat : 4528 (java) S 4525 4525 4239 0 -1 1077944320 10218 0 0 0 22 2 0 0 20 0 20 0 237620195 27969433600 31021 33554432000 4194304 4196468 140731873780960 140731873763504 140388708970231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
/proc/4528/statm: 6828475 31021 2868 1 0 6790935 0
[pid=4528/tid=4529] ppid=4525 vsize=27313900 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4528/task/4529/stat : 4529 (java) R 4525 4525 4239 0 -1 4202560 8131 0 0 0 18 2 0 0 20 0 20 0 237620195 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388680778976 140388693050718 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4530] ppid=4525 vsize=27313900 memory=331 CPUtime=0 cores=0-7
/proc/4528/task/4530/stat : 4530 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388713213072 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4531] ppid=4525 vsize=27313900 memory=140071247230930 CPUtime=0 cores=0-7
/proc/4528/task/4531/stat : 4531 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388527369232 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4532] ppid=4525 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/4528/task/4532/stat : 4532 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388526316432 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4533] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4533/stat : 4533 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388525263632 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4534] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4534/stat : 4534 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388524210832 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4535] ppid=4525 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/4528/task/4535/stat : 4535 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388126587408 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4536] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4536/stat : 4536 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388125534608 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4537] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4537/stat : 4537 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31086 33554432000 4194304 4196468 140731873780960 140388124481808 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4538] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4538/stat : 4538 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620199 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386760584048 140388708981378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4539] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4539/stat : 4539 (java) S 4525 4525 4239 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237620200 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386643207712 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4540] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4540/stat : 4540 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620200 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386374772080 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4541] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4541/stat : 4541 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386000263504 140388708988827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4542] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4542/stat : 4542 (java) S 4525 4525 4239 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386759530864 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4543] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4543/stat : 4543 (java) S 4525 4525 4239 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386758478064 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4544] ppid=4525 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/4528/task/4544/stat : 4544 (java) S 4525 4525 4239 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386757425264 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4545] ppid=4525 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/4528/task/4545/stat : 4545 (java) S 4525 4525 4239 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 20 0 237620202 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386756372464 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4546] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4546/stat : 4546 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237620203 27969433600 31086 33554432000 4194304 4196468 140731873780960 140385502358624 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4547] ppid=4525 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/4528/task/4547/stat : 4547 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620203 27969433600 31086 33554432000 4194304 4196468 140731873780960 140386755320880 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125480 KiB

[startup+0.310445 s]*
/proc/loadavg: 7.20 8.09 8.26 2/204 4547
/proc/meminfo: memFree=23881208/32770624 swapFree=67108852/67108860
[pid=4525] ppid=4522 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4525/stat : 4525 (scop.sh) S 4522 4525 4239 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237620195 115843072 349 33554432000 4194304 5098028 140721438353904 140721438351160 139980664447612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140721438356514 140721438356739 140721438356739 140721438359501 0
/proc/4525/statm: 28282 349 296 221 0 87 0
[pid=4528] ppid=4525 vsize=27313900 memory=127868 CPUtime=0.42 cores=0-7
/proc/4528/stat : 4528 (java) S 4525 4525 4239 0 -1 1077944320 10761 0 0 0 39 3 0 0 20 0 20 0 237620195 27969433600 31967 33554432000 4194304 4196468 140731873780960 140731873763504 140388708970231 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
/proc/4528/statm: 6828475 31967 2958 1 0 6790935 0
[pid=4528/tid=4529] ppid=4525 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4528/task/4529/stat : 4529 (java) R 4525 4525 4239 0 -1 4202560 8503 0 0 0 27 2 0 0 20 0 20 0 237620195 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388680765680 140388693050718 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4530] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4530/stat : 4530 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388713213072 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4531] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4531/stat : 4531 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388527369232 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4532] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4532/stat : 4532 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388526316432 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4533] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4533/stat : 4533 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388525263632 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4534] ppid=4525 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/4528/task/4534/stat : 4534 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388524210832 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4535] ppid=4525 vsize=27313900 memory=140071097430959 CPUtime=0 cores=0-7
/proc/4528/task/4535/stat : 4535 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388126587408 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4536] ppid=4525 vsize=27313900 memory=140071097433264 CPUtime=0 cores=0-7
/proc/4528/task/4536/stat : 4536 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388125534608 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4537] ppid=4525 vsize=27313900 memory=140071097435568 CPUtime=0 cores=0-7
/proc/4528/task/4537/stat : 4537 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27969433600 31967 33554432000 4194304 4196468 140731873780960 140388124481808 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4538] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4538/stat : 4538 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620199 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386760584048 140388708981378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4539] ppid=4525 vsize=27313900 memory=280142194878096 CPUtime=0 cores=0-7
/proc/4528/task/4539/stat : 4539 (java) S 4525 4525 4239 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237620200 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386643207712 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4540] ppid=4525 vsize=27313900 memory=280142194885008 CPUtime=0 cores=0-7
/proc/4528/task/4540/stat : 4540 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620200 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386374772080 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4541] ppid=4525 vsize=27313900 memory=280142194826288 CPUtime=0 cores=0-7
/proc/4528/task/4541/stat : 4541 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386000263504 140388708988827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4542] ppid=4525 vsize=27313900 memory=280142194898832 CPUtime=0 cores=0-7
/proc/4528/task/4542/stat : 4542 (java) S 4525 4525 4239 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 237620202 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386759530864 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4543] ppid=4525 vsize=27313900 memory=280142194905744 CPUtime=0.02 cores=0-7
/proc/4528/task/4543/stat : 4543 (java) S 4525 4525 4239 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 20 0 237620202 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386758478064 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4544] ppid=4525 vsize=27313900 memory=280142194903440 CPUtime=0.01 cores=0-7
/proc/4528/task/4544/stat : 4544 (java) S 4525 4525 4239 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 237620202 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386757425264 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4545] ppid=4525 vsize=27313900 memory=280142194919600 CPUtime=0.07 cores=0-7
/proc/4528/task/4545/stat : 4545 (java) S 4525 4525 4239 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 20 0 237620202 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386756372464 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4546] ppid=4525 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4546/stat : 4546 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237620203 27969433600 31967 33554432000 4194304 4196468 140731873780960 140385502358624 140388708980437 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4547] ppid=4525 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/4528/task/4547/stat : 4547 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620203 27969433600 31967 33554432000 4194304 4196468 140731873780960 140386755320880 140388708981378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129264 KiB

[startup+0.700991 s]
/proc/loadavg: 7.20 8.09 8.26 2/204 4547
/proc/meminfo: memFree=23857024/32770624 swapFree=67108852/67108860
[pid=4525] ppid=4522 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4525/stat : 4525 (scop.sh) S 4522 4525 4239 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237620195 115843072 349 33554432000 4194304 5098028 140721438353904 140721438351160 139980664447612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140721438356514 140721438356739 140721438356739 140721438359501 0
/proc/4525/statm: 28282 349 296 221 0 87 0
[pid=4528] ppid=4525 vsize=27322296 memory=165636 CPUtime=0.99 cores=0-7
/proc/4528/stat : 4528 (java) S 4525 4525 4239 0 -1 1077944320 17926 0 0 0 93 6 0 0 20 0 20 0 237620195 27978031104 41409 33554432000 4194304 4196468 140731873780960 140731873763504 140388708970231 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
/proc/4528/statm: 6830574 41409 3148 1 0 6791959 0
[pid=4528/tid=4529] ppid=4525 vsize=27322296 memory=280142195277488 CPUtime=0.67 cores=0-7
/proc/4528/task/4529/stat : 4529 (java) R 4525 4525 4239 0 -1 4202560 15137 0 0 0 62 5 0 0 20 0 20 0 237620195 27978031104 41409 33554432000 4194304 4196468 140731873780960 140388680805888 140388701207358 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4530] ppid=4525 vsize=27322296 memory=140071097639792 CPUtime=0 cores=0-7
/proc/4528/task/4530/stat : 4530 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237620198 27978031104 41409 33554432000 4194304 4196468 140731873780960 140388713213072 140388708980437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4531] ppid=4525 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/4528/task/4531/stat : 4531 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237620198 27978031104 41409 33554432000 4194304 4196468 140731873780960 140388527369232 140388708980437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0
[pid=4528/tid=4532] ppid=4525 vsize=27322296 memory=1912 CPUtime=0 cores=0-7
/proc/4528/task/4532/stat : 4532 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237620198 27978031104 41409 33554432000 4194304 4196468 140731873780960 140388526316432 140388708980437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26263552 140731873788905 140731873789229 140731873789229 140731873791951 0

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

[pid=4568/tid=4575] ppid=4548 vsize=1675256 memory=752 CPUtime=288.62 cores=0-7
/proc/4568/task/4575/stat : 4575 (glucose-syrup) R 4548 4525 4239 0 -1 4202560 201528 0 0 0 28821 41 0 0 20 0 9 0 237621206 1715462144 270275 33554432000 4194304 4373367 140721173604320 140634940718280 4271925 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 15024128 140721173607505 140721173607636 140721173607636 140721173610439 0
[pid=4568/tid=4576] ppid=4548 vsize=1675256 memory=1616 CPUtime=282.94 cores=0-7
/proc/4568/task/4576/stat : 4576 (glucose-syrup) R 4548 4525 4239 0 -1 4202560 202716 0 0 0 28252 42 0 0 20 0 9 0 237621206 1715462144 270275 33554432000 4194304 4373367 140721173604320 140634932325208 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 15024128 140721173607505 140721173607636 140721173607636 140721173610439 0
[pid=4568/tid=4577] ppid=4548 vsize=1675256 memory=8039887049847965862 CPUtime=288.94 cores=0-7
/proc/4568/task/4577/stat : 4577 (glucose-syrup) R 4548 4525 4239 0 -1 4202560 187484 0 0 0 28858 36 0 0 20 0 9 0 237621206 1715462144 270275 33554432000 4194304 4373367 140721173604320 140634565250416 4271897 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 15024128 140721173607505 140721173607636 140721173607636 140721173610439 0
[pid=4568/tid=4578] ppid=4548 vsize=1675256 memory=6408 CPUtime=288.95 cores=0-7
/proc/4568/task/4578/stat : 4578 (glucose-syrup) R 4548 4525 4239 0 -1 4202560 171045 0 0 0 28849 46 0 0 20 0 9 0 237621206 1715462144 270275 33554432000 4194304 4373367 140721173604320 140634556857712 4271897 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 15024128 140721173607505 140721173607636 140721173607636 140721173610439 0
[pid=4568/tid=4579] ppid=4548 vsize=1675256 memory=14892 CPUtime=288.57 cores=0-7
/proc/4568/task/4579/stat : 4579 (glucose-syrup) R 4548 4525 4239 0 -1 4202560 185178 0 0 0 28823 34 0 0 20 0 9 0 237621206 1715462144 270275 33554432000 4194304 4373367 140721173604320 140634548464520 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 15024128 140721173607505 140721173607636 140721173607636 140721173610439 0
[pid=4568/tid=4580] ppid=4548 vsize=1675256 memory=13920 CPUtime=288.8 cores=0-7
/proc/4568/task/4580/stat : 4580 (glucose-syrup) R 4548 4525 4239 0 -1 4202560 201130 0 0 0 28834 46 0 0 20 0 9 0 237621206 1715462144 270275 33554432000 4194304 4373367 140721173604320 140634540071768 4272316 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 15024128 140721173607505 140721173607636 140721173607636 140721173610439 0
[pid=4568/tid=4581] ppid=4548 vsize=1675256 memory=3340 CPUtime=288.9 cores=0-7
/proc/4568/task/4581/stat : 4581 (glucose-syrup) R 4548 4525 4239 0 -1 4202560 176879 0 0 0 28847 43 0 0 20 0 9 0 237621206 1715462144 270275 33554432000 4194304 4373367 140721173604320 140634409135424 4271619 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 15024128 140721173607505 140721173607636 140721173607636 140721173610439 0
[pid=4548/tid=4549] ppid=4525 vsize=8413904 memory=8039887049847965862 CPUtime=0.72 cores=0-7
/proc/4548/task/4549/stat : 4549 (java) S 4525 4525 4239 0 -1 1077944384 14493 0 0 0 68 4 0 0 20 0 24 0 237620731 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873962766224 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4550] ppid=4525 vsize=8413904 memory=35896 CPUtime=0 cores=0-7
/proc/4548/task/4550/stat : 4550 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873995168400 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4551] ppid=4525 vsize=8413904 memory=1624 CPUtime=0 cores=0-7
/proc/4548/task/4551/stat : 4551 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873800931856 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4552] ppid=4525 vsize=8413904 memory=496 CPUtime=0 cores=0-7
/proc/4548/task/4552/stat : 4552 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873799879056 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4553] ppid=4525 vsize=8413904 memory=4104 CPUtime=0 cores=0-7
/proc/4548/task/4553/stat : 4553 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873798826256 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4554] ppid=4525 vsize=8413904 memory=1796 CPUtime=0 cores=0-7
/proc/4548/task/4554/stat : 4554 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873472908432 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4555] ppid=4525 vsize=8413904 memory=916 CPUtime=0 cores=0-7
/proc/4548/task/4555/stat : 4555 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873471855632 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4556] ppid=4525 vsize=8413904 memory=4136 CPUtime=0 cores=0-7
/proc/4548/task/4556/stat : 4556 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873470802832 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4557] ppid=4525 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/4548/task/4557/stat : 4557 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873469750032 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4558] ppid=4525 vsize=8413904 memory=3868 CPUtime=0 cores=0-7
/proc/4548/task/4558/stat : 4558 (java) S 4525 4525 4239 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 237620734 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873084381552 139873990937218 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4559] ppid=4525 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/4548/task/4559/stat : 4559 (java) S 4525 4525 4239 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237620734 8615837696 32006 33554432000 4194304 4196468 140730280893520 139872589308960 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4560] ppid=4525 vsize=8413904 memory=128024 CPUtime=0 cores=0-7
/proc/4548/task/4560/stat : 4560 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620734 8615837696 32006 33554432000 4194304 4196468 140730280893520 139872320873328 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4561] ppid=4525 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/4548/task/4561/stat : 4561 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620737 8615837696 32006 33554432000 4194304 4196468 140730280893520 139871946364752 139873990944667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4562] ppid=4525 vsize=8413904 memory=128024 CPUtime=0.08 cores=0-7
/proc/4548/task/4562/stat : 4562 (java) S 4525 4525 4239 0 -1 1077944384 832 0 0 0 8 0 0 0 20 0 24 0 237620737 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873083329392 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4563] ppid=4525 vsize=8413904 memory=1073296 CPUtime=0.09 cores=0-7
/proc/4548/task/4563/stat : 4563 (java) S 4525 4525 4239 0 -1 1077944384 577 0 0 0 9 0 0 0 20 0 24 0 237620737 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873082276592 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4564] ppid=4525 vsize=8413904 memory=11584 CPUtime=0.04 cores=0-7
/proc/4548/task/4564/stat : 4564 (java) S 4525 4525 4239 0 -1 1077944384 148 0 0 0 4 0 0 0 20 0 24 0 237620737 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873081223792 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4565] ppid=4525 vsize=8413904 memory=4960 CPUtime=0.25 cores=0-7
/proc/4548/task/4565/stat : 4565 (java) S 4525 4525 4239 0 -1 1077944384 1107 0 0 0 25 0 0 0 20 0 24 0 237620737 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873080170992 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4566] ppid=4525 vsize=8413904 memory=3840 CPUtime=0 cores=0-7
/proc/4548/task/4566/stat : 4566 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237620737 8615837696 32006 33554432000 4194304 4196468 140730280893520 139871448459872 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4567] ppid=4525 vsize=8413904 memory=1280 CPUtime=0.15 cores=0-7
/proc/4548/task/4567/stat : 4567 (java) S 4525 4525 4239 0 -1 1077944384 21 0 0 0 15 0 0 0 20 0 24 0 237620737 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873079118384 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4569] ppid=4525 vsize=8413904 memory=1152 CPUtime=0 cores=0-7
/proc/4548/task/4569/stat : 4569 (java) S 4525 4525 4239 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 237620802 8615837696 32006 33554432000 4194304 4196468 140730280893520 139873071309888 139873990950681 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4571] ppid=4525 vsize=8413904 memory=876 CPUtime=0.04 cores=0-7
/proc/4548/task/4571/stat : 4571 (java) S 4525 4525 4239 0 -1 4202560 738 0 0 0 4 0 0 0 20 0 24 0 237620802 8615837696 32006 33554432000 4194304 4196468 140730280893520 139870777360784 139873990947997 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4572] ppid=4525 vsize=8413904 memory=1912 CPUtime=0 cores=0-7
/proc/4548/task/4572/stat : 4572 (java) S 4525 4525 4239 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237620802 8615837696 32006 33554432000 4194304 4196468 140730280893520 139871045795856 139873990947997 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4573] ppid=4525 vsize=8413904 memory=1120 CPUtime=0 cores=0-7
/proc/4548/task/4573/stat : 4573 (java) S 4525 4525 4239 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 237620804 8615837696 32006 33554432000 4194304 4196468 140730280893520 139870508932640 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
Current children cumulated CPU time: 2320.02 s
Current children cumulated vsize: 10202288 KiB
Current children cumulated memory: 1210596 KiB

[startup+299.401 s]
/proc/loadavg: 8.16 8.19 8.24 9/218 4589
/proc/meminfo: memFree=22770432/32770624 swapFree=67108852/67108860
[pid=4525] ppid=4522 vsize=113128 memory=1472 CPUtime=9.83 cores=0-7
/proc/4525/stat : 4525 (scop.sh) S 4522 4525 4239 0 -1 4202496 590 28030 0 0 0 0 927 56 20 0 1 0 237620195 115843072 368 33554432000 4194304 5098028 140721438353904 140721438350648 139980664447612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140721438356514 140721438356739 140721438356739 140721438359501 0
/proc/4525/statm: 28282 368 311 221 0 87 0
[pid=4548] ppid=4525 vsize=8413904 memory=133740 CPUtime=1.56 cores=0-7
/proc/4548/stat : 4548 (java) S 4525 4525 4239 0 -1 1077944320 19771 0 0 0 148 8 0 0 20 0 24 0 237620731 8615837696 33435 33554432000 4194304 4196468 140730280893520 140730280876064 139873990926071 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
/proc/4548/statm: 2103476 33435 3165 1 0 2064875 0
[pid=4548/tid=4549] ppid=4525 vsize=8413904 memory=1616 CPUtime=0.72 cores=0-7
/proc/4548/task/4549/stat : 4549 (java) S 4525 4525 4239 0 -1 1077944384 14493 0 0 0 68 4 0 0 20 0 24 0 237620731 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873962766224 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4550] ppid=4525 vsize=8413904 memory=11584 CPUtime=0 cores=0-7
/proc/4548/task/4550/stat : 4550 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873995168400 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4551] ppid=4525 vsize=8413904 memory=4960 CPUtime=0 cores=0-7
/proc/4548/task/4551/stat : 4551 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873800931856 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4552] ppid=4525 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/4548/task/4552/stat : 4552 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873799879056 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4553] ppid=4525 vsize=8413904 memory=2248 CPUtime=0 cores=0-7
/proc/4548/task/4553/stat : 4553 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873798826256 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4554] ppid=4525 vsize=8413904 memory=1568 CPUtime=0 cores=0-7
/proc/4548/task/4554/stat : 4554 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873472908432 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4555] ppid=4525 vsize=8413904 memory=924 CPUtime=0 cores=0-7
/proc/4548/task/4555/stat : 4555 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873471855632 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4556] ppid=4525 vsize=8413904 memory=2196 CPUtime=0 cores=0-7
/proc/4548/task/4556/stat : 4556 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873470802832 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4557] ppid=4525 vsize=8413904 memory=4256 CPUtime=0 cores=0-7
/proc/4548/task/4557/stat : 4557 (java) S 4525 4525 4239 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237620732 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873469750032 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4558] ppid=4525 vsize=8413904 memory=1920 CPUtime=0 cores=0-7
/proc/4548/task/4558/stat : 4558 (java) S 4525 4525 4239 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 237620734 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873084381552 139873990937218 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4559] ppid=4525 vsize=8413904 memory=7380 CPUtime=0 cores=0-7
/proc/4548/task/4559/stat : 4559 (java) S 4525 4525 4239 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237620734 8615837696 33435 33554432000 4194304 4196468 140730280893520 139872589308960 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4560] ppid=4525 vsize=8413904 memory=804 CPUtime=0 cores=0-7
/proc/4548/task/4560/stat : 4560 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620734 8615837696 33435 33554432000 4194304 4196468 140730280893520 139872320873328 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4561] ppid=4525 vsize=8413904 memory=4104 CPUtime=0 cores=0-7
/proc/4548/task/4561/stat : 4561 (java) S 4525 4525 4239 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237620737 8615837696 33435 33554432000 4194304 4196468 140730280893520 139871946364752 139873990944667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4562] ppid=4525 vsize=8413904 memory=1796 CPUtime=0.1 cores=0-7
/proc/4548/task/4562/stat : 4562 (java) S 4525 4525 4239 0 -1 1077944384 846 0 0 0 10 0 0 0 20 0 24 0 237620737 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873083329392 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4563] ppid=4525 vsize=8413904 memory=916 CPUtime=0.11 cores=0-7
/proc/4548/task/4563/stat : 4563 (java) S 4525 4525 4239 0 -1 1077944384 589 0 0 0 11 0 0 0 20 0 24 0 237620737 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873082276592 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4564] ppid=4525 vsize=8413904 memory=4136 CPUtime=0.07 cores=0-7
/proc/4548/task/4564/stat : 4564 (java) S 4525 4525 4239 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 24 0 237620737 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873081223792 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4565] ppid=4525 vsize=8413904 memory=1408 CPUtime=0.26 cores=0-7
/proc/4548/task/4565/stat : 4565 (java) S 4525 4525 4239 0 -1 1077944384 1121 0 0 0 26 0 0 0 20 0 24 0 237620737 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873080170992 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4566] ppid=4525 vsize=8413904 memory=8039887049847965862 CPUtime=0 cores=0-7
/proc/4548/task/4566/stat : 4566 (java) S 4525 4525 4239 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237620737 8615837696 33435 33554432000 4194304 4196468 140730280893520 139871448459872 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4567] ppid=4525 vsize=8413904 memory=2056 CPUtime=0.15 cores=0-7
/proc/4548/task/4567/stat : 4567 (java) S 4525 4525 4239 0 -1 1077944384 21 0 0 0 15 0 0 0 20 0 24 0 237620737 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873079118384 139873990937218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4569] ppid=4525 vsize=8413904 memory=1776 CPUtime=0 cores=0-7
/proc/4548/task/4569/stat : 4569 (java) S 4525 4525 4239 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 237620802 8615837696 33435 33554432000 4194304 4196468 140730280893520 139873071309888 139873990950681 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4571] ppid=4525 vsize=8413904 memory=752 CPUtime=0.08 cores=0-7
/proc/4548/task/4571/stat : 4571 (java) S 4525 4525 4239 0 -1 4202560 801 0 0 0 7 1 0 0 20 0 24 0 237620802 8615837696 33435 33554432000 4194304 4196468 140730280893520 139870777360752 139873990947997 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4572] ppid=4525 vsize=8413904 memory=1616 CPUtime=0 cores=0-7
/proc/4548/task/4572/stat : 4572 (java) S 4525 4525 4239 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237620802 8615837696 33435 33554432000 4194304 4196468 140730280893520 139871045795856 139873990947997 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4573] ppid=4525 vsize=8413904 memory=11584 CPUtime=0 cores=0-7
/proc/4548/task/4573/stat : 4573 (java) S 4525 4525 4239 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 237620804 8615837696 33435 33554432000 4194304 4196468 140730280893520 139870508932640 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
Current children cumulated CPU time: 11.39 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 135212 KiB

[startup+299.505 s]
/proc/loadavg: 8.16 8.19 8.24 9/218 4589
/proc/meminfo: memFree=22770432/32770624 swapFree=67108852/67108860
[pid=4525] ppid=4522 vsize=113128 memory=1472 CPUtime=9.83 cores=0-7
/proc/4525/stat : 4525 (scop.sh) S 4522 4525 4239 0 -1 4202496 590 28030 0 0 0 0 927 56 20 0 1 0 237620195 115843072 368 33554432000 4194304 5098028 140721438353904 140721438350648 139980664447612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35106816 140721438356514 140721438356739 140721438356739 140721438359501 0
/proc/4525/statm: 28282 368 311 221 0 87 0
[pid=4548] ppid=4525 vsize=8151752 memory=139424 CPUtime=2311.63 cores=0-7
/proc/4548/stat : 4548 (java) S 4525 4525 4239 0 -1 1077944320 20111 1646643 0 0 163 9 230621 370 20 0 20 0 237620731 8347394048 34856 33554432000 4194304 4196468 140730280893520 140730280876064 139873990926071 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
/proc/4548/statm: 2037938 34856 3174 1 0 1999337 0
[pid=4548/tid=4550] ppid=4525 vsize=8151752 memory=128024 CPUtime=2309.91 cores=0-7
/proc/4548/task/4550/stat : 4550 (java) S 4525 4525 4239 0 -1 1077944384 1 1646643 0 0 0 0 230621 370 20 0 19 0 237620732 8347394048 34822 33554432000 4194304 4196468 140730280893520 139873995168400 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4551] ppid=4525 vsize=8151752 memory=1075792 CPUtime=2309.91 cores=0-7
/proc/4548/task/4551/stat : 4551 (java) S 4525 4525 4239 0 -1 1077944384 2 1646643 0 0 0 0 230621 370 20 0 19 0 237620732 8347394048 34822 33554432000 4194304 4196468 140730280893520 139873800931856 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4552] ppid=4525 vsize=8150724 memory=1472 CPUtime=2309.91 cores=0-7
/proc/4548/task/4552/stat : 4552 (java) S 4525 4525 4239 0 -1 1077944384 1 1646643 0 0 0 0 230621 370 20 0 19 0 237620732 8346341376 34843 33554432000 4194304 4196468 140730280893520 139873799879056 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4553] ppid=4525 vsize=8150724 memory=1081100 CPUtime=2309.91 cores=0-7
/proc/4548/task/4553/stat : 4553 (java) S 4525 4525 4239 0 -1 1077944384 3 1646643 0 0 0 0 230621 370 20 0 19 0 237620732 8346341376 34843 33554432000 4194304 4196468 140730280893520 139873798826256 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4554] ppid=4525 vsize=8150724 memory=128024 CPUtime=2309.91 cores=0-7
/proc/4548/task/4554/stat : 4554 (java) S 4525 4525 4239 0 -1 1077944384 2 1646643 0 0 0 0 230621 370 20 0 19 0 237620732 8346341376 34843 33554432000 4194304 4196468 140730280893520 139873472908432 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4555] ppid=4525 vsize=8149696 memory=1472 CPUtime=2309.91 cores=0-7
/proc/4548/task/4555/stat : 4555 (java) S 4525 4525 4239 0 -1 1077944384 2 1646643 0 0 0 0 230621 370 20 0 19 0 237620732 8345288704 34841 33554432000 4194304 4196468 140730280893520 139873471855632 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4556] ppid=4525 vsize=8018620 memory=1472 CPUtime=2309.91 cores=0-7
/proc/4548/task/4556/stat : 4556 (java) S 4525 4525 4239 0 -1 1077944384 1 1646643 0 0 0 0 230621 370 20 0 19 0 237620732 8211066880 34835 33554432000 4194304 4196468 140730280893520 139873470802832 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4557] ppid=4525 vsize=8018620 memory=1472 CPUtime=2309.91 cores=0-7
/proc/4548/task/4557/stat : 4557 (java) S 4525 4525 4239 0 -1 1077944384 2 1646643 0 0 0 0 230621 370 20 0 19 0 237620732 8211066880 34835 33554432000 4194304 4196468 140730280893520 139873469750032 139873990936277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4559] ppid=4525 vsize=8018620 memory=0 CPUtime=2309.91 cores=0-7
/proc/4548/task/4559/stat : 4559 (java) S 4525 4525 4239 0 -1 1077944384 13 1646643 0 0 0 0 230621 370 20 0 19 0 237620734 8211066880 34839 33554432000 4194304 4196468 140730280893520 139872589308960 139873990936277 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4560] ppid=4525 vsize=8018620 memory=280142194671856 CPUtime=2309.91 cores=0-7
/proc/4548/task/4560/stat : 4560 (java) R 4525 4525 4239 0 -1 1077944384 1 1646643 0 0 0 0 230621 370 20 0 18 0 237620734 8211066880 34865 33554432000 4194304 4196468 140730280893520 139872320873328 139873990936277 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4561] ppid=4525 vsize=8018620 memory=55 CPUtime=2309.91 cores=0-7
/proc/4548/task/4561/stat : 4561 (java) R 4525 4525 4239 0 -1 1077944384 2 1646643 0 0 0 0 230621 370 20 0 14 0 237620737 8211066880 34884 33554432000 4194304 4196468 140730280893520 139871946364400 139873990936277 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140730280895666 140730280895789 140730280895789 140730280898511 0
[pid=4548/tid=4573] ppid=4525 vsize=0 memory=1472 CPUtime=2309.91 cores=0-7
/proc/4548/task/4573/stat : 4573 (java) R 4525 4525 4239 0 -1 4203588 13 1646643 0 0 0 0 230621 370 20 0 2 0 237620804 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 2321.46 s
Current children cumulated vsize: 8264880 KiB
Current children cumulated memory: 140896 KiB

Child status: 0
Real time (s): 299.513
CPU time (s): 2321.49
CPU user time (s): 2317.13
CPU system time (s): 4.36788
CPU usage (%): 775.091
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 2535848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2317.13
system time used= 4.36787
maximum resident set size= 2536988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1695389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 68136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76612
involuntary context switches= 28126


# summary of solver processes directly reported to runsolver:
#   pid: 4525
#   total CPU time (s): 2321.49
#   total CPU user time (s): 2317.13
#   total CPU system time (s): 4.36788

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.76008 second user time and 4.20979 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-14 00:49:30
IDJOB=4307134
IDBENCH=141564
IDSOLVER=2788
FILE ID=node133/4307134-1534200570
RUNJOBID= node133-1534200546-4266
PBS_JOBID= 21038009
Free space on /tmp= 38972 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-05-0006_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307134-1534200570/watcher-4307134-1534200570 -o /tmp/evaluation-result-4307134-1534200570/solver-4307134-1534200570 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1534200546-4266 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307134-1534200570.xml

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

MD5SUM BENCH= c9b27afa5f83f52385759d74be3b3eae
RANDOM SEED=796160777

node133.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.24
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.24
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.24
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.24
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:        23998612 kB
MemAvailable:   31903572 kB
Buffers:           97024 kB
Cached:          8036732 kB
SwapCached:            4 kB
Active:          4090700 kB
Inactive:        4096588 kB
Active(anon):       3808 kB
Inactive(anon):   102000 kB
Active(file):    4086892 kB
Inactive(file):  3994588 kB
Unevictable:        7072 kB
Mlocked:            7072 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              8380 kB
Writeback:             0 kB
AnonPages:         60132 kB
Mapped:            54064 kB
Shmem:             49816 kB
Slab:             279912 kB
SReclaimable:     251940 kB
SUnreclaim:        27972 kB
KernelStack:        3264 kB
PageTables:         5280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349596 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 38964 MiB
End job on node133 at 2018-08-14 00:54:30