Trace number 4307161

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 1824.41 231.352

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K04-P04_c18.xml
MD5SUMbba9b3428f0c8228a4e28ff2342631fb
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 benchmark32.09
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints38
Number of domains2
Minimum domain size36
Maximum domain size37
Distribution of domain sizes[{"size":36,"count":36},{"size":37,"count":16}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":40},{"degree":2,"count":36},{"degree":5,"count":8},{"degree":6,"count":8}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":36},{"arity":16,"count":1},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36},{"type":"allDifferent","count":2}]
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-21871-serial-file.bin HOME/instance-4307161-1534179332.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.56	c BEGIN-Prog: Mon Aug 13 18:55:33 CEST 2018
0.65/0.56	c PID: 21874
0.65/0.56	c IP: 172.20.3.132
0.65/0.56	c HOST: node132.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.19/0.88	c (0,0) Parsing End
1.19/0.89	c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 38 ctr, max domain size 37
1.19/0.89	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.89	c (0,0) Constraint Name Generate Begin
1.19/0.89	c (0,0) Ctr:HOME/instance-4307161-1534179332.xml,AllDifferent:Dist:Eq:IntVar
1.19/0.89	c (0,0) Constraint Name Generate End
1.19/0.89	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.89	c (0,0) CSP to CSPinCNF Begin
1.40/0.99	c (0,0) translated 4 (10%) constraints
1.56/1.01	c (0,0) translated 8 (20%) constraints
1.56/1.02	c (0,0) translated 12 (30%) constraints
1.56/1.03	c (0,0) translated 16 (40%) constraints
1.56/1.04	c (0,0) translated 19 (50%) constraints
1.56/1.05	c (0,0) translated 23 (60%) constraints
1.56/1.06	c (0,0) translated 27 (70%) constraints
1.56/1.07	c (0,0) translated 31 (80%) constraints
1.56/1.08	c (0,0) translated 35 (90%) constraints
1.80/1.13	c (0,0) translated 38 (100%) constraints
2.42/1.32	c (0,0) STATISTICS1:HOME/instance-4307161-1534179332.xml,AllDifferent:Dist:Eq:IntVar,52,862,1332,37,36,3,1332:144;37:120;36:630,37:560;36:1476,36:2;16:2;2:786;1:72,3:144;2:750;1:104,
2.42/1.32	c (0,0) ==========================================
2.42/1.32	c (0,0) Order
2.42/1.32	c (0,0) ==========================================
2.42/1.34	c (0,0) translated 87 (10%) constraints
2.42/1.35	c (0,0) translated 173 (20%) constraints
2.42/1.37	c (0,0) translated 259 (30%) constraints
2.42/1.38	c (0,0) translated 345 (40%) constraints
2.42/1.39	c (0,0) translated 431 (50%) constraints
2.73/1.40	c (0,0) translated 518 (60%) constraints
2.73/1.41	c (0,0) translated 604 (70%) constraints
2.73/1.41	c (0,0) translated 690 (80%) constraints
2.73/1.42	c (0,0) translated 776 (90%) constraints
2.73/1.43	c (0,0) translated 862 (100%) constraints
2.73/1.43	c (0,0) CSP to CSPinCNF End
2.73/1.43	c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 862 ctr, max domain size 37
2.73/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.73/1.43	c (0,0) CSPinCNF Propagation Begin
2.73/1.46	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.73/1.46	c (0,0) CSPinCNF Propagation End
2.73/1.46	c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 862 ctr, max domain size 37
2.73/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.73/1.46	c (0,0) Simplify CSPinCNF Begin
3.08/1.58	c (1,1) Simplify CSPinCNF End
3.08/1.59	c (1,1) CSP: 52 int (0 aux), 1572 bool (1572 aux), 2434 ctr, max domain size 37
3.08/1.59	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.08/1.59	c (1,1) Calculate Precise Domain Begin
3.08/1.59	c (1,1) 0 values are removed by re-calculation
3.08/1.59	c (1,1) Calculate Precise Domain End
3.08/1.59	c (1,1) CSP: 52 int (0 aux), 1572 bool (1572 aux), 2434 ctr, max domain size 37
3.08/1.59	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.08/1.59	c (1,1) CSPinCNF to SatSolver Begin
5.03/2.04	c (1,1) 244 (10 %) CSP clauses are encoded (3408 SAT variables, 99299 SAT clauses)
5.03/2.07	c (1,1) 487 (20 %) CSP clauses are encoded (3408 SAT variables, 105374 SAT clauses)
5.03/2.10	c (1,1) 731 (30 %) CSP clauses are encoded (3408 SAT variables, 111289 SAT clauses)
5.40/2.13	c (1,1) 974 (40 %) CSP clauses are encoded (3408 SAT variables, 117202 SAT clauses)
5.40/2.17	c (1,1) 1217 (50 %) CSP clauses are encoded (3408 SAT variables, 123115 SAT clauses)
5.57/2.20	c (1,1) 1461 (60 %) CSP clauses are encoded (3408 SAT variables, 129064 SAT clauses)
5.57/2.23	c (1,1) 1704 (70 %) CSP clauses are encoded (3408 SAT variables, 134977 SAT clauses)
5.57/2.27	c (1,1) 1948 (80 %) CSP clauses are encoded (3408 SAT variables, 140891 SAT clauses)
5.84/2.30	c (1,1) 2191 (90 %) CSP clauses are encoded (3408 SAT variables, 146804 SAT clauses)
5.84/2.32	c (1,1) 2434 (100 %) CSP clauses are encoded (3408 SAT variables, 152717 SAT clauses)
5.84/2.32	c (1,1) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
5.84/2.32	c (1,1) CSPinCNF to SatSolver End
5.84/2.32	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.84/2.35	c (1,1) STATISTICS2:HOME/instance-4307161-1534179332.xml,AllDifferent:Dist:Eq:IntVar,1624,2434,1332,37,36,3,1332:144;37:240;36:1260,37:800;36:2736;2:3144,36:2;16:2;2:2358;1:72,3:144;2:1500;1:3248,
5.84/2.35	c (1,1) 3408 bool, 152718 clause
5.84/2.35	c (1,1) Export Begin
6.12/2.43	c (1,1) Export to HOME/scop-21871-serial-file.bin
6.12/2.43	c (1,1) Export End
6.12/2.43	c (1,1) Export File Size: 0.01 MB
6.12/2.43	c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
6.12/2.43	c END-Prog: Mon Aug 13 18:55:35 CEST 2018
6.12/2.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21871-serial-file.bin
6.18/2.93	c (0,0) Read Serial File Begin
6.18/2.93	c (0,0) HOME/scop-21871-serial-file.bin
6.92/3.09	c (0,0) Read Serial File End
6.92/3.10	
6.92/3.10	scop order+glucose-syrup (2018-07-31)
6.92/3.10	(Solving Process)
6.92/3.10	
7.06/3.13	c BEGIN-Prog: Mon Aug 13 18:55:35 CEST 2018
7.06/3.13	c PID: 21894
7.06/3.13	c IP: 172.20.3.132
7.06/3.13	c HOST: node132.alineos.net
7.06/3.13	c (0,0) SatSolver.solve Begin
7.06/3.13	c (0,0) 0 bool, 0 clause
7.06/3.13	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307161-1534179332.xml-scop-21874.cnf
76.44/12.14	c (9,0) c
76.44/12.14	c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
76.44/12.14	c (9,0) c
76.44/12.14	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
76.44/12.14	c (9,0) c 8 solvers engines and 1 companion as a blackboard created.
76.44/12.14	c (9,0) c ========================================[ Problem Statistics ]===========================================
76.44/12.14	c (9,0) c |                                                                                                       |
76.44/12.14	c (9,0) c |  Number of variables:          3408                                                                   |
76.44/12.14	c (9,0) c |  Number of clauses:          152718                                                                   |
76.44/12.14	c (9,0) c |  Parse time:                   0.05 s                                                                 |
76.44/12.14	c (9,0) c |                                                                                                       |
76.44/12.14	c (9,0) c |  Eliminated clauses:           0.01 Mb                                                                |
76.44/12.14	c (9,0) c |  Simplification time:          0.22 s                                                                 |
76.44/12.14	c (9,0) c |                                                                                                       |
76.44/12.14	c (9,0) c |  Generating clones                                                                                    |
76.44/12.14	c (9,0) c |  all clones generated. Memory = 101.07Mb.                                                             |
76.44/12.14	c (9,0) c ========================================================================================================|
76.44/12.14	c (9,0) c
76.44/12.14	c (9,0) c |-------------------------------------------------------------------------------------------------------|
76.44/12.14	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
76.44/12.14	c (9,0) c |-------------------------------------------------------------------------------------------------------|
76.44/12.14	c (9,0) c |  0 |     26 |      38562 |      28304 |    92124 |    12119 |     3857 |    30547 |      112 |  0.000 |
76.44/12.14	c (9,0) c |  1 |     43 |      43660 |      31386 |   101492 |    15199 |     4398 |    30382 |      116 |  0.000 |
76.44/12.14	c (9,0) c |  2 |     38 |      42489 |      31054 |    99238 |    14869 |     4004 |    30410 |      136 |  0.000 |
76.44/12.14	c (9,0) c |  3 |     52 |      45202 |      32558 |   101827 |    16364 |     4424 |    30081 |      134 |  0.000 |
76.44/12.14	c (9,0) c |  4 |     49 |      42380 |      30953 |    99943 |    14770 |     3776 |    31042 |      114 |  0.000 |
76.44/12.14	c (9,0) c |  5 |     25 |      51440 |      38980 |    87404 |    12892 |     6120 |    21841 |      102 |  0.000 |
76.44/12.14	c (9,0) c |  6 |     35 |      43258 |      31893 |    99108 |    15706 |     4462 |    28389 |      107 |  0.000 |
76.44/12.14	c (9,0) c |  7 |     46 |      42412 |      30802 |   102803 |    14616 |     4091 |    29678 |      125 |  0.000 |
76.44/12.14	c (9,0) c 
76.44/12.14	c (9,0) c synthesis      255931 conflicts    74656687 propagations     6873 conflicts/sec  2004939 propagations/sec
76.44/12.14	c (9,0) c Total Memory so far : 677.78Mb
76.44/12.14	c (9,0) c
76.44/12.14	c (9,0) c |-------------------------------------------------------------------------------------------------------|
76.44/12.14	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
76.44/12.14	c (9,0) c |-------------------------------------------------------------------------------------------------------|
76.44/12.14	c (9,0) c |  0 |     39 |      70268 |      52594 |   119199 |    14062 |     6974 |    48218 |      315 |  0.000 |
76.44/12.14	c (9,0) c |  1 |     62 |      76716 |      56602 |   122128 |    18069 |     7728 |    48124 |      329 |  0.000 |
76.44/12.14	c (9,0) c |  2 |     76 |      76674 |      56423 |   120939 |    17884 |     7600 |    53833 |      320 |  0.000 |
76.44/12.14	c (9,0) c |  3 |     91 |      77024 |      56144 |   121832 |    17607 |     7393 |    48485 |      345 |  0.000 |
76.44/12.14	c (9,0) c |  4 |     87 |      80620 |      59393 |   122922 |    20868 |     7923 |    53477 |      355 |  0.000 |
76.44/12.14	c (9,0) c |  5 |     55 |      87078 |      65748 |   115679 |    27211 |     9929 |    50637 |      305 |  0.000 |
76.44/12.14	c (9,0) c |  6 |     80 |      74617 |      54384 |   122868 |    15844 |     7002 |    54471 |      334 |  0.000 |
76.44/12.14	c (9,0) c |  7 |     74 |      73426 |      53952 |   120106 |    15415 |     6941 |    54194 |      299 |  0.000 |
76.44/12.14	c (9,0) c 
172.16/24.14	c (21,0) c synthesis      455241 conflicts   133211117 propagations     6592 conflicts/sec  1928945 propagations/sec
172.16/24.14	c (21,0) c Total Memory so far : 677.78Mb
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c |-------------------------------------------------------------------------------------------------------|
172.16/24.14	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
172.16/24.14	c (21,0) c |-------------------------------------------------------------------------------------------------------|
172.16/24.14	c (21,0) c |  0 |     96 |      98341 |      72731 |   129450 |    19171 |     9451 |    70953 |      646 |  0.000 |
172.16/24.14	c (21,0) c |  1 |    135 |     103139 |      74676 |   129316 |    21112 |     9864 |    70939 |      605 |  0.000 |
172.16/24.14	c (21,0) c |  2 |    174 |     106594 |      76230 |   133244 |    22663 |     9694 |    71105 |      597 |  0.000 |
172.16/24.14	c (21,0) c |  3 |    119 |     106674 |      78617 |   130038 |    25053 |     9964 |    70294 |      569 |  0.000 |
172.16/24.14	c (21,0) c |  4 |    155 |     111197 |      81602 |   131024 |    28048 |    10502 |    69575 |      639 |  0.000 |
172.16/24.14	c (21,0) c |  5 |    139 |     113865 |      82641 |   128908 |    29080 |    11756 |    68981 |      562 |  0.000 |
172.16/24.14	c (21,0) c |  6 |    128 |     107118 |      76906 |   134468 |    23340 |     9904 |    70873 |      600 |  0.000 |
172.16/24.14	c (21,0) c |  7 |     96 |     100718 |      74045 |   127704 |    20485 |     9693 |    68396 |      532 |  0.000 |
172.16/24.14	c (21,0) c 
172.16/24.14	c (21,0) c synthesis      617449 conflicts   184311365 propagations     6117 conflicts/sec  1826028 propagations/sec
172.16/24.14	c (21,0) c Total Memory so far : 677.78Mb
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c Try to adapt solver strategies
172.16/24.14	c (21,0) c 
172.16/24.14	c (21,0) c Nothing extreme in this problem, continue with glucose default strategies.
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c |-------------------------------------------------------------------------------------------------------|
172.16/24.14	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
172.16/24.14	c (21,0) c |-------------------------------------------------------------------------------------------------------|
172.16/24.14	c (21,0) c |  0 |    225 |     113989 |      81550 |   131395 |    27990 |    10237 |    86200 |      826 |  0.000 |
172.16/24.14	c (21,0) c |  1 |    270 |     121102 |      84885 |   131886 |    31321 |    10811 |    85357 |      792 |  0.000 |
172.16/24.14	c (21,0) c |  2 |    272 |     128619 |      90528 |   137680 |    19349 |    11090 |    84410 |      799 |  0.000 |
172.16/24.14	c (21,0) c |  3 |    165 |     134996 |      98905 |   134231 |    27735 |    12735 |    83108 |      812 |  0.000 |
172.16/24.14	c (21,0) c |  4 |    203 |     138522 |     101087 |   135395 |    29923 |    12794 |    83601 |      942 |  0.000 |
172.16/24.14	c (21,0) c |  5 |    183 |     141736 |     102770 |   134991 |    31599 |    13710 |    82604 |      848 |  0.000 |
172.16/24.14	c (21,0) c |  6 |    173 |     133850 |      95099 |   139462 |    23919 |    11775 |    83709 |      865 |  0.000 |
172.16/24.14	c (21,0) c |  7 |    146 |     128094 |      93176 |   131726 |    22002 |    13299 |    82615 |      821 |  0.000 |
172.16/24.14	c (21,0) c 
172.16/24.14	c (21,0) c synthesis      748000 conflicts   228477757 propagations     5633 conflicts/sec  1720574 propagations/sec
172.16/24.14	c (21,0) c Total Memory so far : 677.78Mb
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c Try to adapt solver strategies
172.16/24.14	c (21,0) c 
172.16/24.14	c (21,0) c Nothing extreme in this problem, continue with glucose default strategies.
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c Try to adapt solver strategies
172.16/24.14	c (21,0) c 
172.16/24.14	c (21,0) c Nothing extreme in this problem, continue with glucose default strategies.
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c Try to adapt solver strategies
172.16/24.14	c (21,0) c 
172.16/24.14	c (21,0) c Nothing extreme in this problem, continue with glucose default strategies.
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c
172.16/24.14	c (21,0) c |-------------------------------------------------------------------------------------------------------|
172.16/24.14	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
172.16/24.14	c (21,0) c |-------------------------------------------------------------------------------------------------------|
172.16/24.14	c (21,0) c |  0 |    240 |     141754 |     102700 |   136105 |    31531 |    13209 |   100774 |     1163 |  0.000 |
172.16/24.14	c (21,0) c |  1 |    290 |     146003 |     102965 |   134255 |    31789 |    12940 |    99929 |     1099 |  0.000 |
172.16/24.14	c (21,0) c |  2 |    298 |     154859 |     109851 |   140165 |    38671 |    13462 |    99802 |     1072 |  0.000 |
172.16/24.14	c (21,0) c |  3 |    183 |     161497 |     119272 |   137708 |    27902 |    15158 |    97351 |     1105 |  0.000 |
283.82/38.14	c (35,0) c |  4 |    216 |     163157 |     118567 |   139499 |    27194 |    14701 |    99695 |     1265 |  0.000 |
283.82/38.14	c (35,0) c |  5 |    238 |     170321 |     122102 |   139729 |    30728 |    15708 |    97828 |     1252 |  0.000 |
283.82/38.14	c (35,0) c |  6 |    183 |     164238 |     117880 |   141999 |    26502 |    14551 |    98984 |     1184 |  0.000 |
283.82/38.14	c (35,0) c |  7 |    234 |     149424 |     107091 |   134543 |    35917 |    14682 |    96657 |     1177 |  0.000 |
283.82/38.14	c (35,0) c 
283.82/38.14	c (35,0) c synthesis      900428 conflicts   276383107 propagations     5468 conflicts/sec  1678499 propagations/sec
283.82/38.14	c (35,0) c Total Memory so far : 677.78Mb
283.82/38.14	c (35,0) c
283.82/38.14	c (35,0) c |-------------------------------------------------------------------------------------------------------|
283.82/38.14	c (35,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
283.82/38.14	c (35,0) c |-------------------------------------------------------------------------------------------------------|
283.82/38.14	c (35,0) c |  0 |    257 |     177364 |     129363 |   139730 |    37987 |    16809 |   119667 |     1514 |  0.000 |
283.82/38.14	c (35,0) c |  1 |    332 |     174600 |     123572 |   136662 |    32193 |    15332 |   121258 |     1435 |  0.000 |
283.82/38.14	c (35,0) c |  2 |    318 |     185794 |     132649 |   142897 |    41272 |    16177 |   119800 |     1446 |  0.000 |
283.82/38.14	c (35,0) c |  3 |    200 |     191993 |     142124 |   140428 |    27948 |    17648 |   111502 |     1431 |  0.000 |
283.82/38.14	c (35,0) c |  4 |    316 |     188535 |     134790 |   141802 |    43416 |    16610 |   117383 |     1782 |  0.000 |
283.82/38.14	c (35,0) c |  5 |    263 |     210172 |     150759 |   142450 |    36584 |    19648 |   111723 |     1728 |  0.000 |
283.82/38.14	c (35,0) c |  6 |    212 |     197646 |     142768 |   144107 |    28580 |    17342 |   116013 |     1599 |  0.000 |
283.82/38.14	c (35,0) c |  7 |    259 |     178092 |     128041 |   136417 |    36668 |    17171 |   115703 |     1607 |  0.000 |
283.82/38.14	c (35,0) c 
283.82/38.14	c (35,0) c synthesis     1084067 conflicts   334392233 propagations     5300 conflicts/sec  1634960 propagations/sec
283.82/38.14	c (35,0) c Total Memory so far : 677.78Mb
283.82/38.14	c (35,0) c
283.82/38.14	c (35,0) c |-------------------------------------------------------------------------------------------------------|
283.82/38.14	c (35,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
283.82/38.14	c (35,0) c |-------------------------------------------------------------------------------------------------------|
283.82/38.14	c (35,0) c |  0 |    308 |     210335 |     152644 |   142588 |    38460 |    19264 |   135061 |     2073 |  0.000 |
283.82/38.14	c (35,0) c |  1 |    379 |     211041 |     149470 |   138825 |    35293 |    19035 |   139874 |     1880 |  0.000 |
283.82/38.14	c (35,0) c |  2 |    329 |     219224 |     157169 |   144205 |    42988 |    19707 |   134989 |     1857 |  0.000 |
283.82/38.14	c (35,0) c |  3 |    271 |     222193 |     162443 |   142658 |    48267 |    20641 |   137676 |     1920 |  0.000 |
283.82/38.14	c (35,0) c |  4 |    339 |     214546 |     153793 |   143445 |    39624 |    19038 |   138364 |     2229 |  0.000 |
283.82/38.14	c (35,0) c |  5 |    362 |     237984 |     168889 |   143961 |    29310 |    21425 |   136709 |     2224 |  0.000 |
283.82/38.14	c (35,0) c |  6 |    231 |     227077 |     165814 |   144700 |    26233 |    19955 |   134237 |     1976 |  0.000 |
283.82/38.14	c (35,0) c |  7 |    322 |     207912 |     148643 |   139030 |    34468 |    19877 |   134075 |     2181 |  0.000 |
283.82/38.14	c (35,0) c 
283.82/38.14	c (35,0) c synthesis     1258866 conflicts   389236390 propagations     5151 conflicts/sec  1592658 propagations/sec
283.82/38.14	c (35,0) c Total Memory so far : 677.78Mb
283.82/38.14	c (35,0) c
283.82/38.14	c (35,0) c |-------------------------------------------------------------------------------------------------------|
283.82/38.14	c (35,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
283.82/38.14	c (35,0) c |-------------------------------------------------------------------------------------------------------|
283.82/38.14	c (35,0) c |  0 |    334 |     239105 |     173604 |   144435 |    34021 |    21414 |   154939 |     2462 |  0.000 |
283.82/38.14	c (35,0) c |  1 |    418 |     235616 |     167693 |   139891 |    28113 |    20807 |   155229 |     2156 |  0.000 |
283.82/38.14	c (35,0) c |  2 |    353 |     247473 |     177585 |   145061 |    38007 |    22174 |   154213 |     2202 |  0.000 |
283.82/38.14	c (35,0) c |  3 |    295 |     247447 |     180393 |   144207 |    40812 |    22613 |   151039 |     2269 |  0.000 |
283.82/38.14	c (35,0) c |  4 |    362 |     240522 |     173139 |   144544 |    33565 |    21393 |   155061 |     2639 |  0.000 |
387.50/51.14	c (48,0) c |  5 |    381 |     263272 |     187518 |   145106 |    47939 |    23252 |   153206 |     2527 |  0.000 |
387.50/51.14	c (48,0) c |  6 |    272 |     254270 |     185362 |   145462 |    45781 |    22284 |   153359 |     2413 |  0.000 |
387.50/51.14	c (48,0) c |  7 |    341 |     232532 |     166685 |   141332 |    27118 |    22539 |   153447 |     2549 |  0.000 |
387.50/51.14	c (48,0) c 
387.50/51.14	c (48,0) c synthesis     1411980 conflicts   434363352 propagations     5111 conflicts/sec  1572176 propagations/sec
387.50/51.14	c (48,0) c Total Memory so far : 677.78Mb
387.50/51.14	c (48,0) c
387.50/51.14	c (48,0) c |-------------------------------------------------------------------------------------------------------|
387.50/51.14	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
387.50/51.14	c (48,0) c |-------------------------------------------------------------------------------------------------------|
387.50/51.14	c (48,0) c |  0 |    385 |     261527 |     188446 |   145089 |    48863 |    23276 |   163174 |     2794 |  0.000 |
387.50/51.14	c (48,0) c |  1 |    430 |     260546 |     187695 |   140763 |    48115 |    22386 |   166043 |     2341 |  0.000 |
387.50/51.14	c (48,0) c |  2 |    385 |     270783 |     193604 |   146017 |    54026 |    23667 |   160961 |     2668 |  0.000 |
387.50/51.14	c (48,0) c |  3 |    327 |     269531 |     196398 |   145276 |    28817 |    24306 |   162296 |     2623 |  0.000 |
387.50/51.14	c (48,0) c |  4 |    431 |     262126 |     188718 |   144988 |    49145 |    22722 |   166794 |     2980 |  0.000 |
387.50/51.14	c (48,0) c |  5 |    399 |     285705 |     203541 |   146096 |    35963 |    24687 |   164660 |     2871 |  0.000 |
387.50/51.14	c (48,0) c |  6 |    308 |     276054 |     201058 |   146023 |    33472 |    23775 |   165878 |     2661 |  0.000 |
387.50/51.14	c (48,0) c |  7 |    358 |     256701 |     184344 |   143209 |    44777 |    24926 |   162579 |     2983 |  0.000 |
387.50/51.14	c (48,0) c 
387.50/51.14	c (48,0) c synthesis     1543804 conflicts   476220438 propagations     5010 conflicts/sec  1545336 propagations/sec
387.50/51.14	c (48,0) c Total Memory so far : 677.78Mb
387.50/51.14	c (48,0) c
387.50/51.14	c (48,0) c |-------------------------------------------------------------------------------------------------------|
387.50/51.14	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
387.50/51.14	c (48,0) c |-------------------------------------------------------------------------------------------------------|
387.50/51.14	c (48,0) c |  0 |    399 |     296834 |     215155 |   145931 |    47569 |    26336 |   178726 |     3333 |  0.000 |
387.50/51.14	c (48,0) c |  1 |    453 |     290579 |     211446 |   141831 |    43870 |    25118 |   183222 |     2625 |  0.000 |
387.50/51.14	c (48,0) c |  2 |    445 |     296791 |     211080 |   146945 |    43502 |    25367 |   182539 |     3088 |  0.000 |
387.50/51.14	c (48,0) c |  3 |    355 |     302389 |     220066 |   146506 |    52485 |    26660 |   179912 |     3239 |  0.000 |
387.50/51.14	c (48,0) c |  4 |    455 |     289698 |     209124 |   145744 |    41544 |    24827 |   183396 |     3433 |  0.000 |
387.50/51.14	c (48,0) c |  5 |    425 |     313051 |     224001 |   146896 |    56423 |    26461 |   180140 |     3282 |  0.000 |
387.50/51.14	c (48,0) c |  6 |    371 |     304691 |     220384 |   146851 |    52798 |    26242 |   182074 |     3174 |  0.000 |
387.50/51.14	c (48,0) c |  7 |    387 |     289305 |     208289 |   145054 |    40714 |    27449 |   180539 |     3469 |  0.000 |
387.50/51.14	c (48,0) c 
387.50/51.14	c (48,0) c synthesis     1719545 conflicts   530813754 propagations     4941 conflicts/sec  1525363 propagations/sec
387.50/51.14	c (48,0) c Total Memory so far : 677.78Mb
387.50/51.14	c (48,0) c
387.50/51.14	c (48,0) c |-------------------------------------------------------------------------------------------------------|
387.50/51.14	c (48,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
387.50/51.14	c (48,0) c |-------------------------------------------------------------------------------------------------------|
387.50/51.14	c (48,0) c |  0 |    441 |     319555 |     231083 |   146679 |    32898 |    27511 |   194822 |     3683 |  0.000 |
387.50/51.14	c (48,0) c |  1 |    482 |     312919 |     227782 |   142805 |    60206 |    26990 |   194634 |     2888 |  0.000 |
387.50/51.14	c (48,0) c |  2 |    465 |     319673 |     228151 |   147315 |    60573 |    27920 |   193199 |     3587 |  0.000 |
387.50/51.14	c (48,0) c |  3 |    391 |     322325 |     234041 |   147161 |    35859 |    27816 |   194402 |     3596 |  0.000 |
387.50/51.14	c (48,0) c |  4 |    475 |     311205 |     225355 |   146110 |    57775 |    26943 |   195495 |     3778 |  0.000 |
387.50/51.14	c (48,0) c |  5 |    500 |     333177 |     236812 |   147364 |    38633 |    27810 |   194236 |     3635 |  0.000 |
499.15/65.14	c (62,0) c |  6 |    400 |     333396 |     242275 |   147142 |    44093 |    28469 |   189446 |     3499 |  0.000 |
499.15/65.14	c (62,0) c |  7 |    427 |     312183 |     224101 |   145699 |    56526 |    29045 |   193425 |     3889 |  0.000 |
499.15/65.14	c (62,0) c 
499.15/65.14	c (62,0) c synthesis     1849601 conflicts   570772436 propagations     4869 conflicts/sec  1502496 propagations/sec
499.15/65.14	c (62,0) c Total Memory so far : 677.78Mb
499.15/65.14	c (62,0) c
499.15/65.14	c (62,0) c |-------------------------------------------------------------------------------------------------------|
499.15/65.14	c (62,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
499.15/65.14	c (62,0) c |-------------------------------------------------------------------------------------------------------|
499.15/65.14	c (62,0) c |  0 |    463 |     348417 |     251927 |   147291 |    53742 |    29444 |   207395 |     4092 |  0.000 |
499.15/65.14	c (62,0) c |  1 |    487 |     339154 |     248044 |   143693 |    49863 |    29750 |   204544 |     3280 |  0.000 |
499.15/65.14	c (62,0) c |  2 |    488 |     343990 |     245568 |   147734 |    47392 |    29591 |   207140 |     4080 |  0.000 |
499.15/65.14	c (62,0) c |  3 |    439 |     343946 |     248621 |   147490 |    50439 |    29282 |   207301 |     4071 |  0.000 |
499.15/65.14	c (62,0) c |  4 |    509 |     334690 |     241733 |   146706 |    43554 |    28745 |   206853 |     4313 |  0.000 |
499.15/65.14	c (62,0) c |  5 |    561 |     351546 |     249105 |   147593 |    50926 |    29196 |   207147 |     4033 |  0.000 |
499.15/65.14	c (62,0) c |  6 |    424 |     361703 |     264614 |   147252 |    33240 |    30044 |   206523 |     3684 |  0.000 |
499.15/65.14	c (62,0) c |  7 |    442 |     334918 |     241148 |   146091 |    42973 |    30813 |   205628 |     4276 |  0.000 |
499.15/65.14	c (62,0) c 
499.15/65.14	c (62,0) c synthesis     1990760 conflicts   613396726 propagations     4835 conflicts/sec  1489752 propagations/sec
499.15/65.14	c (62,0) c Total Memory so far : 677.78Mb
499.15/65.14	c (62,0) c
499.15/65.14	c (62,0) c |-------------------------------------------------------------------------------------------------------|
499.15/65.14	c (62,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
499.15/65.14	c (62,0) c |-------------------------------------------------------------------------------------------------------|
499.15/65.14	c (62,0) c |  0 |    486 |     376432 |     271999 |   147720 |    40618 |    31431 |   223549 |     4683 |  0.001 |
499.15/65.14	c (62,0) c |  1 |    510 |     365174 |     267427 |   144917 |    36043 |    32038 |   220742 |     3796 |  0.000 |
499.15/65.14	c (62,0) c |  2 |    546 |     369972 |     263706 |   148046 |    65531 |    31123 |   223916 |     4519 |  0.000 |
499.15/65.14	c (62,0) c |  3 |    487 |     370758 |     267087 |   147990 |    35709 |    31139 |   223471 |     4725 |  0.000 |
499.15/65.14	c (62,0) c |  4 |    533 |     364445 |     262941 |   147391 |    64762 |    30973 |   224731 |     4859 |  0.000 |
499.15/65.14	c (62,0) c |  5 |    576 |     377311 |     268638 |   147956 |    37265 |    31532 |   223690 |     4536 |  0.000 |
499.15/65.14	c (62,0) c |  6 |    448 |     398162 |     292930 |   147491 |    61556 |    34062 |   215269 |     4290 |  0.000 |
499.15/65.14	c (62,0) c |  7 |    450 |     363927 |     261983 |   146575 |    63808 |    33471 |   221696 |     4757 |  0.000 |
499.15/65.14	c (62,0) c 
499.15/65.14	c (62,0) c synthesis     2156711 conflicts   664755781 propagations     4776 conflicts/sec  1471990 propagations/sec
499.15/65.14	c (62,0) c Total Memory so far : 680.28Mb
499.15/65.14	c (62,0) c
499.15/65.14	c (62,0) c |-------------------------------------------------------------------------------------------------------|
499.15/65.14	c (62,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
499.15/65.14	c (62,0) c |-------------------------------------------------------------------------------------------------------|
499.15/65.14	c (62,0) c |  0 |    486 |     407119 |     294436 |   147937 |    63055 |    34559 |   223549 |     5087 |  0.001 |
499.15/65.14	c (62,0) c |  1 |    529 |     391469 |     286622 |   146599 |    55238 |    34633 |   240101 |     4261 |  0.000 |
499.15/65.14	c (62,0) c |  2 |    586 |     397017 |     282740 |   148388 |    51363 |    32834 |   241761 |     5030 |  0.000 |
499.15/65.14	c (62,0) c |  3 |    520 |     398848 |     287751 |   148305 |    56373 |    32926 |   238358 |     5363 |  0.000 |
499.15/65.14	c (62,0) c |  4 |    575 |     389300 |     279838 |   147767 |    48457 |    32988 |   241702 |     5439 |  0.000 |
499.15/65.14	c (62,0) c |  5 |    609 |     405300 |     289062 |   148257 |    57689 |    33737 |   239435 |     5073 |  0.000 |
499.15/65.14	c (62,0) c |  6 |    449 |     432928 |     320742 |   147569 |    53567 |    37901 |   230972 |     4697 |  0.000 |
602.84/78.14	c (75,0) c |  7 |    467 |     394653 |     284293 |   147013 |    52921 |    35353 |   239553 |     5383 |  0.000 |
602.84/78.14	c (75,0) c 
602.84/78.14	c (75,0) c synthesis     2325484 conflicts   717168661 propagations     4732 conflicts/sec  1459254 propagations/sec
602.84/78.14	c (75,0) c Total Memory so far : 682.32Mb
602.84/78.14	c (75,0) c
602.84/78.14	c (75,0) c |-------------------------------------------------------------------------------------------------------|
602.84/78.14	c (75,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
602.84/78.14	c (75,0) c |-------------------------------------------------------------------------------------------------------|
602.84/78.14	c (75,0) c |  0 |    486 |     438592 |     317658 |   148072 |    50478 |    37268 |   223549 |     5324 |  0.001 |
602.84/78.14	c (75,0) c |  1 |    531 |     422629 |     309321 |   147280 |    42152 |    37686 |   254769 |     4944 |  0.000 |
602.84/78.14	c (75,0) c |  2 |    643 |     424513 |     301860 |   148682 |    70484 |    34984 |   257317 |     5684 |  0.000 |
602.84/78.14	c (75,0) c |  3 |    547 |     425335 |     307797 |   148502 |    40618 |    34579 |   252972 |     5856 |  0.000 |
602.84/78.14	c (75,0) c |  4 |    634 |     415953 |     297672 |   148099 |    66291 |    34742 |   257737 |     6010 |  0.000 |
602.84/78.14	c (75,0) c |  5 |    647 |     427766 |     304497 |   148423 |    37322 |    35646 |   256565 |     5618 |  0.000 |
602.84/78.14	c (75,0) c |  6 |    449 |     462299 |     344718 |   147607 |    39146 |    40805 |   230972 |     4993 |  0.000 |
602.84/78.14	c (75,0) c |  7 |    483 |     419533 |     303457 |   147225 |    36288 |    36805 |   247457 |     5683 |  0.000 |
602.84/78.14	c (75,0) c 
602.84/78.14	c (75,0) c synthesis     2486981 conflicts   766161415 propagations     4681 conflicts/sec  1442010 propagations/sec
602.84/78.14	c (75,0) c Total Memory so far : 684.69Mb
602.84/78.14	c (75,0) c
602.84/78.14	c (75,0) c |-------------------------------------------------------------------------------------------------------|
602.84/78.14	c (75,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
602.84/78.14	c (75,0) c |-------------------------------------------------------------------------------------------------------|
602.84/78.14	c (75,0) c |  0 |    486 |     459486 |     333279 |   148163 |    66099 |    38482 |   223549 |     5508 |  0.001 |
602.84/78.14	c (75,0) c |  1 |    554 |     443950 |     324275 |   147656 |    57106 |    38960 |   265322 |     5525 |  0.000 |
602.84/78.14	c (75,0) c |  2 |    649 |     448004 |     320087 |   148873 |    52910 |    36789 |   266644 |     6125 |  0.000 |
602.84/78.14	c (75,0) c |  3 |    557 |     450538 |     327491 |   148708 |    60312 |    36187 |   267632 |     6236 |  0.000 |
602.84/78.14	c (75,0) c |  4 |    668 |     438838 |     313528 |   148278 |    46344 |    36177 |   269164 |     6494 |  0.000 |
602.84/78.14	c (75,0) c |  5 |    674 |     451960 |     321896 |   148617 |    54721 |    37543 |   266426 |     6202 |  0.000 |
602.84/78.14	c (75,0) c |  6 |    449 |     487892 |     365331 |   147616 |    59758 |    42743 |   230972 |     5177 |  0.000 |
602.84/78.14	c (75,0) c |  7 |    511 |     441096 |     318698 |   147437 |    51529 |    38493 |   266713 |     6105 |  0.000 |
602.84/78.14	c (75,0) c 
602.84/78.14	c (75,0) c synthesis     2624585 conflicts   809747944 propagations     4660 conflicts/sec  1437816 propagations/sec
602.84/78.14	c (75,0) c Total Memory so far : 686.16Mb
602.84/78.14	c (75,0) c
602.84/78.14	c (75,0) c |-------------------------------------------------------------------------------------------------------|
602.84/78.14	c (75,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
602.84/78.14	c (75,0) c |-------------------------------------------------------------------------------------------------------|
602.84/78.14	c (75,0) c |  0 |    486 |     482801 |     349966 |   148281 |    44394 |    40241 |   223549 |     5739 |  0.001 |
602.84/78.14	c (75,0) c |  1 |    603 |     465387 |     338589 |   147809 |    71419 |    40279 |   276986 |     6022 |  0.000 |
602.84/78.14	c (75,0) c |  2 |    664 |     469221 |     335417 |   149000 |    68240 |    38316 |   279099 |     6522 |  0.000 |
602.84/78.14	c (75,0) c |  3 |    578 |     468077 |     340022 |   148828 |    72843 |    37341 |   280250 |     6587 |  0.000 |
602.84/78.14	c (75,0) c |  4 |    688 |     458869 |     328404 |   148354 |    61221 |    37277 |   278031 |     6882 |  0.000 |
602.84/78.14	c (75,0) c |  5 |    697 |     469936 |     335041 |   148789 |    67866 |    38893 |   278603 |     6601 |  0.000 |
602.84/78.14	c (75,0) c |  6 |    451 |     507849 |     381286 |   147644 |    75713 |    44132 |   272976 |     5370 |  0.000 |
602.84/78.14	c (75,0) c |  7 |    516 |     465761 |     337884 |   147853 |    70715 |    41246 |   274175 |     6587 |  0.000 |
602.84/78.14	c (75,0) c 
706.52/91.14	c (88,0) c synthesis     2746609 conflicts   848434682 propagations     4616 conflicts/sec  1425778 propagations/sec
706.52/91.14	c (88,0) c Total Memory so far : 688.48Mb
706.52/91.14	c (88,0) c
706.52/91.14	c (88,0) c |-------------------------------------------------------------------------------------------------------|
706.52/91.14	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
706.52/91.14	c (88,0) c |-------------------------------------------------------------------------------------------------------|
706.52/91.14	c (88,0) c |  0 |    486 |     508517 |     368161 |   148327 |    62589 |    40572 |   223549 |     5936 |  0.001 |
706.52/91.14	c (88,0) c |  1 |    609 |     488508 |     356059 |   147946 |    50484 |    40498 |   279694 |     6460 |  0.000 |
706.52/91.14	c (88,0) c |  2 |    671 |     496307 |     357017 |   149116 |    51441 |    38897 |   281295 |     7063 |  0.000 |
706.52/91.14	c (88,0) c |  3 |    644 |     489180 |     354644 |   148934 |    49064 |    37605 |   282587 |     7048 |  0.000 |
706.52/91.14	c (88,0) c |  4 |    701 |     479866 |     343937 |   148459 |    76754 |    37488 |   282704 |     7332 |  0.000 |
706.52/91.14	c (88,0) c |  5 |    721 |     488037 |     348103 |   148915 |    42523 |    39139 |   281053 |     6948 |  0.000 |
706.52/91.14	c (88,0) c |  6 |    456 |     529765 |     398207 |   147667 |    51637 |    44369 |   275823 |     5633 |  0.000 |
706.52/91.14	c (88,0) c |  7 |    551 |     489263 |     355037 |   148132 |    49461 |    41624 |   278568 |     7173 |  0.000 |
706.52/91.14	c (88,0) c 
706.52/91.14	c (88,0) c synthesis     2881165 conflicts   889103048 propagations     4595 conflicts/sec  1418132 propagations/sec
706.52/91.14	c (88,0) c Total Memory so far : 690.01Mb
706.52/91.14	c (88,0) c
706.52/91.14	c (88,0) c |-------------------------------------------------------------------------------------------------------|
706.52/91.14	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
706.52/91.14	c (88,0) c |-------------------------------------------------------------------------------------------------------|
706.52/91.14	c (88,0) c |  0 |    486 |     532090 |     384831 |   148352 |    79259 |    40572 |   223549 |     6100 |  0.001 |
706.52/91.14	c (88,0) c |  1 |    628 |     505764 |     368524 |   148108 |    62949 |    40498 |   279694 |     6804 |  0.000 |
706.52/91.14	c (88,0) c |  2 |    684 |     518449 |     374085 |   149181 |    68509 |    38897 |   281295 |     7439 |  0.000 |
706.52/91.14	c (88,0) c |  3 |    693 |     509093 |     368453 |   149088 |    62873 |    37605 |   282587 |     7541 |  0.000 |
706.52/91.14	c (88,0) c |  4 |    735 |     502444 |     359891 |   148597 |    54320 |    37488 |   282704 |     7773 |  0.000 |
706.52/91.14	c (88,0) c |  5 |    732 |     511771 |     365774 |   149026 |    60194 |    39139 |   281053 |     7388 |  0.000 |
706.52/91.14	c (88,0) c |  6 |    464 |     551173 |     414564 |   147801 |    67994 |    44369 |   275823 |     6052 |  0.000 |
706.52/91.14	c (88,0) c |  7 |    559 |     514294 |     374146 |   148369 |    68570 |    41624 |   278568 |     7652 |  0.000 |
706.52/91.14	c (88,0) c 
706.52/91.14	c (88,0) c synthesis     3010269 conflicts   929572878 propagations     4569 conflicts/sec  1410912 propagations/sec
706.52/91.14	c (88,0) c Total Memory so far : 691.62Mb
706.52/91.14	c (88,0) c
706.52/91.14	c (88,0) c |-------------------------------------------------------------------------------------------------------|
706.52/91.14	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
706.52/91.14	c (88,0) c |-------------------------------------------------------------------------------------------------------|
706.52/91.14	c (88,0) c |  0 |    531 |     557484 |     402119 |   148495 |    55554 |    41661 |   292584 |     6578 |  0.000 |
706.52/91.14	c (88,0) c |  1 |    632 |     526864 |     385260 |   148203 |    79685 |    41870 |   279694 |     7155 |  0.000 |
706.52/91.14	c (88,0) c |  2 |    693 |     546762 |     395778 |   149245 |    49197 |    40824 |   292594 |     7875 |  0.000 |
706.52/91.14	c (88,0) c |  3 |    724 |     537268 |     389151 |   149174 |    42571 |    39818 |   293049 |     8114 |  0.000 |
706.52/91.14	c (88,0) c |  4 |    757 |     525461 |     377045 |   148774 |    71474 |    38796 |   295554 |     8245 |  0.000 |
706.52/91.14	c (88,0) c |  5 |    750 |     534631 |     382600 |   149106 |    77019 |    40592 |   293537 |     7922 |  0.000 |
706.52/91.14	c (88,0) c |  6 |    472 |     573641 |     431415 |   148069 |    84845 |    45964 |   280642 |     6598 |  0.000 |
706.52/91.14	c (88,0) c |  7 |    563 |     554240 |     405825 |   148477 |    59248 |    44876 |   281547 |     8247 |  0.000 |
706.52/91.14	c (88,0) c 
706.52/91.14	c (88,0) c synthesis     3169193 conflicts   977479640 propagations     4536 conflicts/sec  1398968 propagations/sec
858.06/110.14	c (107,0) c Total Memory so far : 693.67Mb
858.06/110.14	c (107,0) c
858.06/110.14	c (107,0) c |-------------------------------------------------------------------------------------------------------|
858.06/110.14	c (107,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
858.06/110.14	c (107,0) c |-------------------------------------------------------------------------------------------------------|
858.06/110.14	c (107,0) c |  0 |    574 |     584244 |     421412 |   148686 |    74847 |    43398 |   305426 |     7197 |  0.000 |
858.06/110.14	c (107,0) c |  1 |    637 |     550790 |     403603 |   148344 |    57032 |    43656 |   304587 |     7660 |  0.000 |
858.06/110.14	c (107,0) c |  2 |    705 |     573121 |     416754 |   149312 |    70174 |    42864 |   305530 |     8264 |  0.000 |
858.06/110.14	c (107,0) c |  3 |    776 |     561727 |     406303 |   149369 |    59723 |    41366 |   307312 |     8686 |  0.000 |
858.06/110.14	c (107,0) c |  4 |    770 |     547677 |     393919 |   148863 |    47347 |    40091 |   304946 |     8709 |  0.000 |
858.06/110.14	c (107,0) c |  5 |    760 |     561933 |     404201 |   149228 |    57621 |    42423 |   305485 |     8512 |  0.000 |
858.06/110.14	c (107,0) c |  6 |    485 |     595654 |     447677 |   148398 |    57508 |    47729 |   296117 |     7094 |  0.000 |
858.06/110.14	c (107,0) c |  7 |    575 |     586471 |     430536 |   148653 |    83959 |    47457 |   301170 |     8692 |  0.000 |
858.06/110.14	c (107,0) c 
858.06/110.14	c (107,0) c synthesis     3324405 conflicts  1025771820 propagations     4501 conflicts/sec  1388813 propagations/sec
858.06/110.14	c (107,0) c Total Memory so far : 695.59Mb
858.06/110.14	c (107,0) c
858.06/110.14	c (107,0) c |-------------------------------------------------------------------------------------------------------|
858.06/110.14	c (107,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
858.06/110.14	c (107,0) c |-------------------------------------------------------------------------------------------------------|
858.06/110.14	c (107,0) c |  0 |    625 |     609881 |     439656 |   148818 |    49480 |    45104 |   318371 |     7948 |  0.000 |
858.06/110.14	c (107,0) c |  1 |    643 |     572208 |     420836 |   148553 |    74265 |    45190 |   315439 |     8061 |  0.000 |
858.06/110.14	c (107,0) c |  2 |    736 |     595954 |     432762 |   149429 |    86182 |    44485 |   318918 |     8802 |  0.000 |
858.06/110.14	c (107,0) c |  3 |    782 |     590102 |     428001 |   149446 |    81421 |    43587 |   320085 |     9229 |  0.000 |
858.06/110.14	c (107,0) c |  4 |    795 |     571569 |     410960 |   148977 |    64388 |    41877 |   321192 |     9193 |  0.000 |
858.06/110.14	c (107,0) c |  5 |    770 |     590367 |     425306 |   149333 |    78726 |    44303 |   318832 |     9099 |  0.000 |
858.06/110.14	c (107,0) c |  6 |    503 |     620224 |     465943 |   148624 |    75774 |    49666 |   313787 |     7669 |  0.000 |
858.06/110.14	c (107,0) c |  7 |    598 |     613532 |     450195 |   148869 |    60019 |    49543 |   313429 |     9304 |  0.000 |
858.06/110.14	c (107,0) c 
858.06/110.14	c (107,0) c synthesis     3473659 conflicts  1072804192 propagations     4462 conflicts/sec  1378050 propagations/sec
858.06/110.14	c (107,0) c Total Memory so far : 697.99Mb
858.06/110.14	c (107,0) c
858.06/110.14	c (107,0) c |-------------------------------------------------------------------------------------------------------|
858.06/110.14	c (107,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
858.06/110.14	c (107,0) c |-------------------------------------------------------------------------------------------------------|
858.06/110.14	c (107,0) c |  0 |    700 |     631289 |     453944 |   148957 |    63768 |    46178 |   329924 |     8459 |  0.000 |
858.06/110.14	c (107,0) c |  1 |    651 |     595161 |     438956 |   148688 |    48784 |    46796 |   322389 |     8354 |  0.000 |
858.06/110.14	c (107,0) c |  2 |    794 |     621382 |     449366 |   149490 |    59190 |    46277 |   329882 |     9386 |  0.000 |
858.06/110.14	c (107,0) c |  3 |    821 |     616279 |     447829 |   149518 |    57651 |    45093 |   330365 |     9730 |  0.000 |
858.06/110.14	c (107,0) c |  4 |    814 |     596041 |     428224 |   149087 |    81652 |    43852 |   331605 |     9670 |  0.000 |
858.06/110.14	c (107,0) c |  5 |    792 |     610076 |     439498 |   149410 |    49318 |    45615 |   329861 |     9652 |  0.000 |
858.06/110.14	c (107,0) c |  6 |    510 |     641322 |     482263 |   148654 |    92094 |    51337 |   320046 |     8052 |  0.000 |
858.06/110.14	c (107,0) c |  7 |    618 |     636369 |     466738 |   149179 |    76562 |    51171 |   323965 |     9863 |  0.000 |
858.06/110.14	c (107,0) c 
858.06/110.14	c (107,0) c synthesis     3606819 conflicts  1117497755 propagations     4408 conflicts/sec  1365621 propagations/sec
858.06/110.14	c (107,0) c Total Memory so far : 699.66Mb
858.06/110.14	c (107,0) c
953.78/122.14	c (119,0) c |-------------------------------------------------------------------------------------------------------|
953.78/122.14	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
953.78/122.14	c (119,0) c |-------------------------------------------------------------------------------------------------------|
953.78/122.14	c (119,0) c |  0 |    720 |     654202 |     472156 |   149009 |    81980 |    47888 |   334165 |     8977 |  0.000 |
953.78/122.14	c (119,0) c |  1 |    654 |     615620 |     455659 |   148811 |    65487 |    48325 |   339271 |     8532 |  0.000 |
953.78/122.14	c (119,0) c |  2 |    797 |     641739 |     464791 |   149530 |    74615 |    47980 |   330365 |     9690 |  0.000 |
953.78/122.14	c (119,0) c |  3 |    838 |     633727 |     460446 |   149569 |    70268 |    46352 |   338618 |    10192 |  0.001 |
953.78/122.14	c (119,0) c |  4 |    839 |     612671 |     439924 |   149140 |    49748 |    45066 |   337672 |    10068 |  0.000 |
953.78/122.14	c (119,0) c |  5 |    848 |     628606 |     451921 |   149453 |    61741 |    46983 |   340611 |    10026 |  0.000 |
953.78/122.14	c (119,0) c |  6 |    533 |     661928 |     496603 |   148777 |    60230 |    52502 |   335028 |     8428 |  0.000 |
953.78/122.14	c (119,0) c |  7 |    644 |     654141 |     479583 |   149322 |    89407 |    52503 |   334829 |    10331 |  0.000 |
953.78/122.14	c (119,0) c 
953.78/122.14	c (119,0) c synthesis     3721083 conflicts  1155815387 propagations     4377 conflicts/sec  1359455 propagations/sec
953.78/122.14	c (119,0) c Total Memory so far : 701.18Mb
953.78/122.14	c (119,0) c
953.78/122.14	c (119,0) c |-------------------------------------------------------------------------------------------------------|
953.78/122.14	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
953.78/122.14	c (119,0) c |-------------------------------------------------------------------------------------------------------|
953.78/122.14	c (119,0) c |  0 |    729 |     677402 |     489988 |   149066 |    53619 |    49113 |   349185 |     9337 |  0.000 |
953.78/122.14	c (119,0) c |  1 |    667 |     632346 |     468843 |   148949 |    78671 |    49510 |   342220 |     8863 |  0.000 |
953.78/122.14	c (119,0) c |  2 |    797 |     659447 |     478291 |   149579 |    88115 |    49370 |   330365 |     9977 |  0.000 |
953.78/122.14	c (119,0) c |  3 |    866 |     652709 |     473544 |   149626 |    83366 |    47665 |   349850 |    10570 |  0.000 |
953.78/122.14	c (119,0) c |  4 |    839 |     633208 |     455545 |   149164 |    65369 |    46896 |   337672 |    10438 |  0.000 |
953.78/122.14	c (119,0) c |  5 |    862 |     648069 |     465957 |   149520 |    75777 |    48623 |   350180 |    10547 |  0.000 |
953.78/122.14	c (119,0) c |  6 |    553 |     681902 |     512018 |   148868 |    75645 |    53709 |   344452 |     8842 |  0.000 |
953.78/122.14	c (119,0) c |  7 |    654 |     673304 |     493490 |   149553 |    57105 |    53929 |   341539 |    10852 |  0.000 |
953.78/122.14	c (119,0) c 
953.78/122.14	c (119,0) c synthesis     3837677 conflicts  1193851961 propagations     4351 conflicts/sec  1353432 propagations/sec
953.78/122.14	c (119,0) c Total Memory so far : 702.54Mb
953.78/122.14	c (119,0) c
953.78/122.14	c (119,0) c |-------------------------------------------------------------------------------------------------------|
953.78/122.14	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
953.78/122.14	c (119,0) c |-------------------------------------------------------------------------------------------------------|
953.78/122.14	c (119,0) c |  0 |    776 |     695797 |     502993 |   149164 |    66624 |    50163 |   359202 |     9769 |  0.000 |
953.78/122.14	c (119,0) c |  1 |    673 |     647754 |     480798 |   149047 |    90626 |    50607 |   356328 |     9127 |  0.000 |
953.78/122.14	c (119,0) c |  2 |    797 |     677109 |     492140 |   149613 |    55762 |    50756 |   330365 |    10284 |  0.000 |
953.78/122.14	c (119,0) c |  3 |    878 |     674240 |     489848 |   149703 |    53470 |    49211 |   359108 |    11079 |  0.000 |
953.78/122.14	c (119,0) c |  4 |    860 |     652976 |     469751 |   149219 |    79575 |    48201 |   361127 |    10845 |  0.000 |
953.78/122.14	c (119,0) c |  5 |    904 |     667532 |     479044 |   149617 |    88864 |    49889 |   359424 |    11010 |  0.000 |
953.78/122.14	c (119,0) c |  6 |    580 |     702005 |     527154 |   148954 |    90781 |    55129 |   354236 |     9194 |  0.000 |
953.78/122.14	c (119,0) c |  7 |    666 |     694808 |     510147 |   149715 |    73762 |    55454 |   353907 |    11312 |  0.000 |
953.78/122.14	c (119,0) c 
953.78/122.14	c (119,0) c synthesis     3951877 conflicts  1231341277 propagations     4324 conflicts/sec  1347219 propagations/sec
953.78/122.14	c (119,0) c Total Memory so far : 704.50Mb
953.78/122.14	c (119,0) c
953.78/122.14	c (119,0) c |-------------------------------------------------------------------------------------------------------|
1065.43/136.15	c (133,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1065.43/136.15	c (133,0) c |-------------------------------------------------------------------------------------------------------|
1065.43/136.15	c (133,0) c |  0 |    804 |     715090 |     517274 |   149229 |    80905 |    51668 |   368438 |    10228 |  0.000 |
1065.43/136.15	c (133,0) c |  1 |    679 |     664279 |     493324 |   149158 |    56961 |    51970 |   365925 |     9534 |  0.000 |
1065.43/136.15	c (133,0) c |  2 |    800 |     697418 |     507440 |   149642 |    71062 |    52277 |   367327 |    10547 |  0.000 |
1065.43/136.15	c (133,0) c |  3 |    916 |     692985 |     502921 |   149823 |    66543 |    50286 |   369859 |    11511 |  0.000 |
1065.43/136.15	c (133,0) c |  4 |    903 |     668889 |     480535 |   149299 |    90359 |    49268 |   370570 |    11218 |  0.000 |
1065.43/136.15	c (133,0) c |  5 |    916 |     687046 |     494221 |   149676 |    57847 |    51273 |   368828 |    11504 |  0.000 |
1065.43/136.15	c (133,0) c |  6 |    590 |     715385 |     537017 |   149117 |    51839 |    56162 |   363743 |     9569 |  0.000 |
1065.43/136.15	c (133,0) c |  7 |    668 |     719913 |     530690 |   149747 |    94305 |    57321 |   355097 |    11937 |  0.000 |
1065.43/136.15	c (133,0) c 
1065.43/136.15	c (133,0) c synthesis     4063423 conflicts  1267564872 propagations     4296 conflicts/sec  1340085 propagations/sec
1065.43/136.15	c (133,0) c Total Memory so far : 706.18Mb
1065.43/136.15	c (133,0) c
1065.43/136.15	c (133,0) c |-------------------------------------------------------------------------------------------------------|
1065.43/136.15	c (133,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1065.43/136.15	c (133,0) c |-------------------------------------------------------------------------------------------------------|
1065.43/136.15	c (133,0) c |  0 |    832 |     737853 |     533402 |   149328 |    97033 |    53669 |   380023 |    10931 |  0.000 |
1065.43/136.15	c (133,0) c |  1 |    689 |     685488 |     508856 |   149279 |    72493 |    54426 |   374800 |    10149 |  0.000 |
1065.43/136.15	c (133,0) c |  2 |    823 |     723299 |     526445 |   149710 |    90067 |    54086 |   381139 |    11111 |  0.000 |
1065.43/136.15	c (133,0) c |  3 |    952 |     714779 |     518741 |   149907 |    82363 |    51863 |   381305 |    12020 |  0.001 |
1065.43/136.15	c (133,0) c |  4 |    940 |     692900 |     497677 |   149358 |    61294 |    50663 |   382355 |    11798 |  0.000 |
1065.43/136.15	c (133,0) c |  5 |    964 |     710328 |     510523 |   149736 |    74149 |    52969 |   382151 |    12082 |  0.000 |
1065.43/136.15	c (133,0) c |  6 |    639 |     740439 |     553845 |   149311 |    68667 |    57996 |   375420 |    10188 |  0.000 |
1065.43/136.15	c (133,0) c |  7 |    672 |     747611 |     551799 |   149797 |    66619 |    59661 |   375386 |    12540 |  0.000 |
1065.43/136.15	c (133,0) c 
1065.43/136.15	c (133,0) c synthesis     4201288 conflicts  1311375052 propagations     4262 conflicts/sec  1330332 propagations/sec
1065.43/136.15	c (133,0) c Total Memory so far : 707.97Mb
1065.43/136.15	c (133,0) c
1065.43/136.15	c (133,0) c |-------------------------------------------------------------------------------------------------------|
1065.43/136.15	c (133,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1065.43/136.15	c (133,0) c |-------------------------------------------------------------------------------------------------------|
1065.43/136.15	c (133,0) c |  0 |    901 |     762671 |     549833 |   149448 |    64654 |    55644 |   393793 |    11697 |  0.000 |
1065.43/136.15	c (133,0) c |  1 |    692 |     706586 |     524768 |   149409 |    88405 |    56707 |   392723 |    10618 |  0.000 |
1065.43/136.15	c (133,0) c |  2 |    890 |     744848 |     540937 |   149768 |    55753 |    55614 |   393459 |    11706 |  0.000 |
1065.43/136.15	c (133,0) c |  3 |    964 |     744981 |     541755 |   149926 |    56591 |    54507 |   393840 |    12653 |  0.000 |
1065.43/136.15	c (133,0) c |  4 |    948 |     716140 |     514787 |   149397 |    78404 |    51862 |   395126 |    12433 |  0.000 |
1065.43/136.15	c (133,0) c |  5 |    989 |     734158 |     527852 |   149818 |    91478 |    54754 |   394678 |    12695 |  0.000 |
1065.43/136.15	c (133,0) c |  6 |    668 |     761661 |     568630 |   149398 |    83451 |    59708 |   389532 |    10773 |  0.000 |
1065.43/136.15	c (133,0) c |  7 |    699 |     767220 |     566130 |   149877 |    80950 |    60764 |   388672 |    13025 |  0.000 |
1065.43/136.15	c (133,0) c 
1065.43/136.15	c (133,0) c synthesis     4334693 conflicts  1354156066 propagations     4227 conflicts/sec  1320389 propagations/sec
1065.43/136.15	c (133,0) c Total Memory so far : 738.33Mb
1065.43/136.15	c (133,0) c
1065.43/136.15	c (133,0) c |-------------------------------------------------------------------------------------------------------|
1065.43/136.15	c (133,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1185.06/151.14	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1185.06/151.14	c (148,0) c |  0 |    918 |     784534 |     566254 |   149502 |    81075 |    57363 |   401197 |    12292 |  0.000 |
1185.06/151.14	c (148,0) c |  1 |    693 |     718518 |     534001 |   149458 |    97638 |    57491 |   396327 |    10905 |  0.000 |
1185.06/151.14	c (148,0) c |  2 |    921 |     764833 |     555763 |   149828 |    70579 |    57068 |   401957 |    12210 |  0.000 |
1185.06/151.14	c (148,0) c |  3 |    995 |     762616 |     553950 |   149969 |    68786 |    55838 |   403289 |    13128 |  0.000 |
1185.06/151.14	c (148,0) c |  4 |    949 |     733133 |     527642 |   149451 |    91259 |    52636 |   398182 |    12733 |  0.000 |
1185.06/151.14	c (148,0) c |  5 |   1008 |     748434 |     538075 |   149844 |    52893 |    55602 |   403456 |    13100 |  0.000 |
1185.06/151.14	c (148,0) c |  6 |    692 |     778962 |     580999 |   149464 |    95821 |    61040 |   397957 |    11218 |  0.000 |
1185.06/151.14	c (148,0) c |  7 |    749 |     786187 |     579102 |   149910 |    93922 |    62408 |   396811 |    13494 |  0.000 |
1185.06/151.14	c (148,0) c 
1185.06/151.14	c (148,0) c synthesis     4435786 conflicts  1388426368 propagations     4194 conflicts/sec  1312898 propagations/sec
1185.06/151.14	c (148,0) c Total Memory so far : 738.33Mb
1185.06/151.14	c (148,0) c
1185.06/151.14	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1185.06/151.14	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1185.06/151.14	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1185.06/151.14	c (148,0) c |  0 |    950 |     805168 |     581327 |   149563 |    96148 |    58742 |   412125 |    12745 |  0.000 |
1185.06/151.14	c (148,0) c |  1 |    703 |     739987 |     550439 |   149513 |    65270 |    58957 |   411254 |    11410 |  0.000 |
1185.06/151.14	c (148,0) c |  2 |    930 |     789534 |     574718 |   149874 |    89534 |    58785 |   410586 |    12754 |  0.000 |
1185.06/151.14	c (148,0) c |  3 |   1008 |     783263 |     568761 |   150003 |    83597 |    57459 |   411136 |    13622 |  0.000 |
1185.06/151.14	c (148,0) c |  4 |    956 |     757625 |     546245 |   149502 |    61066 |    54125 |   416108 |    13138 |  0.000 |
1185.06/151.14	c (148,0) c |  5 |   1054 |     771791 |     554400 |   149896 |    69218 |    57054 |   413507 |    13699 |  0.000 |
1185.06/151.14	c (148,0) c |  6 |    696 |     798399 |     595714 |   149538 |    59138 |    62575 |   407652 |    11599 |  0.000 |
1185.06/151.14	c (148,0) c |  7 |    818 |     804877 |     591324 |   149943 |    54740 |    63418 |   407183 |    14022 |  0.000 |
1185.06/151.14	c (148,0) c 
1185.06/151.14	c (148,0) c synthesis     4562928 conflicts  1429441564 propagations     4158 conflicts/sec  1302594 propagations/sec
1185.06/151.14	c (148,0) c Total Memory so far : 738.33Mb
1185.06/151.14	c (148,0) c
1185.06/151.14	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1185.06/151.14	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1185.06/151.14	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1185.06/151.14	c (148,0) c |  0 |    982 |     831102 |     600226 |   149593 |    63645 |    60340 |   422640 |    13257 |  0.000 |
1185.06/151.14	c (148,0) c |  1 |    711 |     762538 |     567504 |   149566 |    82335 |    60447 |   422423 |    11884 |  0.000 |
1185.06/151.14	c (148,0) c |  2 |    986 |     809308 |     587352 |   149934 |   102168 |    60170 |   422773 |    13300 |  0.000 |
1185.06/151.14	c (148,0) c |  3 |   1019 |     802946 |     583417 |   150045 |    98253 |    58755 |   421450 |    14042 |  0.000 |
1185.06/151.14	c (148,0) c |  4 |    968 |     779644 |     563018 |   149565 |    77838 |    56028 |   425732 |    13582 |  0.000 |
1185.06/151.14	c (148,0) c |  5 |   1096 |     794005 |     569879 |   149939 |    84697 |    58467 |   419365 |    14231 |  0.000 |
1185.06/151.14	c (148,0) c |  6 |    719 |     820167 |     611804 |   149660 |    75228 |    63897 |   419083 |    12035 |  0.000 |
1185.06/151.14	c (148,0) c |  7 |    870 |     830782 |     608389 |   149981 |    71804 |    64965 |   417617 |    14698 |  0.000 |
1185.06/151.14	c (148,0) c 
1185.06/151.14	c (148,0) c synthesis     4691589 conflicts  1470790059 propagations     4125 conflicts/sec  1293283 propagations/sec
1185.06/151.14	c (148,0) c Total Memory so far : 738.33Mb
1185.06/151.14	c (148,0) c
1185.06/151.14	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1185.06/151.14	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1185.06/151.14	c (148,0) c |-------------------------------------------------------------------------------------------------------|
1304.70/166.14	c (163,0) c |  0 |   1032 |     852960 |     615212 |   149659 |    78631 |    61451 |   433091 |    13834 |  0.000 |
1304.70/166.14	c (163,0) c |  1 |    719 |     785306 |     585074 |   149619 |    99905 |    62004 |   430324 |    12312 |  0.000 |
1304.70/166.14	c (163,0) c |  2 |   1020 |     830842 |     602335 |   149985 |    65751 |    61440 |   431373 |    13816 |  0.000 |
1304.70/166.14	c (163,0) c |  3 |   1034 |     827535 |     602094 |   150101 |    65524 |    60496 |   434211 |    14645 |  0.000 |
1304.70/166.14	c (163,0) c |  4 |    983 |     804235 |     580592 |   149621 |    95413 |    58298 |   436107 |    14012 |  0.000 |
1304.70/166.14	c (163,0) c |  5 |   1111 |     815109 |     585773 |   149944 |   100591 |    59692 |   434818 |    14743 |  0.000 |
1304.70/166.14	c (163,0) c |  6 |    731 |     841051 |     627654 |   149698 |    91077 |    65186 |   429090 |    12579 |  0.000 |
1304.70/166.14	c (163,0) c |  7 |    933 |     854930 |     624664 |   150021 |    88080 |    66207 |   426471 |    15235 |  0.000 |
1304.70/166.14	c (163,0) c 
1304.70/166.14	c (163,0) c synthesis     4823399 conflicts  1513179023 propagations     4098 conflicts/sec  1285557 propagations/sec
1304.70/166.14	c (163,0) c Total Memory so far : 738.33Mb
1304.70/166.14	c (163,0) c
1304.70/166.14	c (163,0) c |-------------------------------------------------------------------------------------------------------|
1304.70/166.14	c (163,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1304.70/166.14	c (163,0) c |-------------------------------------------------------------------------------------------------------|
1304.70/166.14	c (163,0) c |  0 |   1078 |     872784 |     628915 |   149727 |    92334 |    62624 |   444412 |    14389 |  0.000 |
1304.70/166.14	c (163,0) c |  1 |    730 |     806422 |     599944 |   149668 |    63371 |    63857 |   442557 |    12703 |  0.000 |
1304.70/166.14	c (163,0) c |  2 |   1106 |     851107 |     614911 |   150010 |    78327 |    62531 |   444174 |    14321 |  0.000 |
1304.70/166.14	c (163,0) c |  3 |   1058 |     855374 |     623388 |   150118 |    86818 |    62599 |   444192 |    15201 |  0.000 |
1304.70/166.14	c (163,0) c |  4 |   1015 |     824262 |     594622 |   149684 |    58048 |    59468 |   447024 |    14564 |  0.000 |
1304.70/166.14	c (163,0) c |  5 |   1138 |     842634 |     606106 |   150002 |    69524 |    61958 |   443913 |    15324 |  0.000 |
1304.70/166.14	c (163,0) c |  6 |    762 |     863011 |     644557 |   149745 |   107981 |    66560 |   440336 |    13048 |  0.000 |
1304.70/166.14	c (163,0) c |  7 |    936 |     877366 |     641799 |   150057 |   105215 |    67481 |   439506 |    15743 |  0.000 |
1304.70/166.14	c (163,0) c 
1304.70/166.14	c (163,0) c synthesis     4954242 conflicts  1555013221 propagations     4071 conflicts/sec  1277875 propagations/sec
1304.70/166.14	c (163,0) c Total Memory so far : 738.33Mb
1304.70/166.14	c (163,0) c
1304.70/166.14	c (163,0) c |-------------------------------------------------------------------------------------------------------|
1304.70/166.14	c (163,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1304.70/166.14	c (163,0) c |-------------------------------------------------------------------------------------------------------|
1304.70/166.14	c (163,0) c |  0 |   1148 |     890917 |     640538 |   149800 |   103957 |    63529 |   455677 |    14890 |  0.000 |
1304.70/166.14	c (163,0) c |  1 |    751 |     828018 |     615774 |   149759 |    79201 |    65570 |   452627 |    13209 |  0.000 |
1304.70/166.14	c (163,0) c |  2 |   1125 |     871574 |     629941 |   150041 |    93357 |    63958 |   454095 |    14769 |  0.000 |
1304.70/166.14	c (163,0) c |  3 |   1069 |     879349 |     641328 |   150147 |   104757 |    64283 |   454876 |    15754 |  0.000 |
1304.70/166.14	c (163,0) c |  4 |   1042 |     847520 |     611529 |   149746 |    74955 |    60853 |   455507 |    15203 |  0.000 |
1304.70/166.14	c (163,0) c |  5 |   1160 |     868206 |     625099 |   150049 |    88516 |    64201 |   454570 |    15899 |  0.000 |
1304.70/166.14	c (163,0) c |  6 |    786 |     887244 |     662634 |   149790 |    72054 |    68134 |   449784 |    13618 |  0.000 |
1304.70/166.14	c (163,0) c |  7 |   1045 |     898403 |     654509 |   150093 |    63922 |    68705 |   449855 |    16218 |  0.000 |
1304.70/166.14	c (163,0) c 
1304.70/166.14	c (163,0) c synthesis     5081352 conflicts  1595538137 propagations     4043 conflicts/sec  1269582 propagations/sec
1304.70/166.14	c (163,0) c Total Memory so far : 738.33Mb
1304.70/166.14	c (163,0) c
1304.70/166.14	c (163,0) c |-------------------------------------------------------------------------------------------------------|
1304.70/166.14	c (163,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1304.70/166.14	c (163,0) c |-------------------------------------------------------------------------------------------------------|
1400.41/178.14	c (175,0) c |  0 |   1178 |     914222 |     657359 |   149840 |    66787 |    65342 |   465153 |    15464 |  0.000 |
1400.41/178.14	c (175,0) c |  1 |    753 |     854603 |     636328 |   149817 |    99755 |    68126 |   462288 |    13782 |  0.000 |
1400.41/178.14	c (175,0) c |  2 |   1137 |     894962 |     646782 |   150070 |    56196 |    65369 |   465716 |    15222 |  0.000 |
1400.41/178.14	c (175,0) c |  3 |   1118 |     903178 |     658133 |   150198 |    67553 |    65854 |   467368 |    16387 |  0.000 |
1400.41/178.14	c (175,0) c |  4 |   1054 |     869924 |     628457 |   149796 |    91883 |    62202 |   469604 |    15736 |  0.000 |
1400.41/178.14	c (175,0) c |  5 |   1182 |     893164 |     642851 |   150085 |   106269 |    66588 |   463473 |    16417 |  0.000 |
1400.41/178.14	c (175,0) c |  6 |    796 |     909719 |     679213 |   149820 |    88633 |    69663 |   459859 |    14161 |  0.000 |
1400.41/178.14	c (175,0) c |  7 |   1062 |     919083 |     670168 |   150146 |    79581 |    70090 |   463127 |    16655 |  0.000 |
1400.41/178.14	c (175,0) c 
1400.41/178.14	c (175,0) c synthesis     5219291 conflicts  1638938200 propagations     4025 conflicts/sec  1264016 propagations/sec
1401.12/178.26	c (175,0) c Total Memory so far : 768.09Mb
1401.12/178.26	c (175,0) c
1401.12/178.26	c (175,0) c |-------------------------------------------------------------------------------------------------------|
1401.12/178.26	c (175,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1401.12/178.26	c (175,0) c |-------------------------------------------------------------------------------------------------------|
1401.12/178.26	c (175,0) c |  0 |   1214 |     931598 |     669696 |   149868 |    79124 |    66728 |   477278 |    15802 |  0.000 |
1401.12/178.27	c (175,0) c |  1 |    760 |     876826 |     653110 |   149876 |    62532 |    70071 |   473879 |    14216 |  0.000 |
1401.12/178.27	c (175,0) c |  2 |   1153 |     915589 |     661765 |   150098 |    71179 |    67085 |   475662 |    15588 |  0.000 |
1401.12/178.27	c (175,0) c |  3 |   1138 |     917681 |     668808 |   150248 |    78228 |    66711 |   472764 |    16736 |  0.000 |
1401.12/178.27	c (175,0) c |  4 |   1063 |     883733 |     638550 |   149814 |   101976 |    63043 |   481065 |    16096 |  0.000 |
1401.12/178.27	c (175,0) c |  5 |   1183 |     915114 |     660314 |   150118 |    69737 |    68089 |   471596 |    16791 |  0.000 |
1401.12/178.27	c (175,0) c |  6 |    806 |     928498 |     693624 |   149847 |   103044 |    71052 |   471381 |    14498 |  0.000 |
1401.12/178.27	c (175,0) c |  7 |   1098 |     938841 |     684077 |   150176 |    93490 |    71347 |   472119 |    17063 |  0.000 |
1401.12/178.27	c (175,0) c 
1401.12/178.27	c (175,0) c synthesis     5329945 conflicts  1673188376 propagations     4012 conflicts/sec  1259447 propagations/sec
1401.12/178.27	c (175,0) c Total Memory so far : 768.09Mb
1401.12/178.27	c (175,0) c
1401.12/178.27	c (175,0) c |-------------------------------------------------------------------------------------------------------|
1401.12/178.27	c (175,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1401.12/178.27	c (175,0) c |-------------------------------------------------------------------------------------------------------|
1401.12/178.27	c (175,0) c |  0 |   1226 |     951009 |     684797 |   149918 |    94225 |    68381 |   485085 |    16337 |  0.000 |
1401.12/178.27	c (175,0) c |  1 |    762 |     899594 |     670733 |   149923 |    80155 |    72372 |   477373 |    14814 |  0.000 |
1401.12/178.27	c (175,0) c |  2 |   1168 |     933409 |     674618 |   150132 |    84032 |    68420 |   485781 |    16026 |  0.000 |
1401.12/178.27	c (175,0) c |  3 |   1143 |     933065 |     681446 |   150305 |    90866 |    67534 |   480157 |    17032 |  0.000 |
1401.12/178.27	c (175,0) c |  4 |   1085 |     899988 |     649910 |   149850 |    59336 |    64017 |   489626 |    16551 |  0.000 |
1401.12/178.27	c (175,0) c |  5 |   1186 |     933503 |     674832 |   150124 |    84254 |    69322 |   477434 |    17106 |  0.000 |
1401.12/178.27	c (175,0) c |  6 |    810 |     948008 |     708509 |   149875 |    61337 |    72476 |   475509 |    14821 |  0.000 |
1401.12/178.27	c (175,0) c |  7 |   1120 |     955971 |     696506 |   150207 |   105919 |    72354 |   481820 |    17471 |  0.000 |
1401.12/178.27	c (175,0) c 
1401.12/178.27	c (175,0) c synthesis     5441351 conflicts  1706503817 propagations     4000 conflicts/sec  1254409 propagations/sec
1401.12/178.27	c (175,0) c Total Memory so far : 768.09Mb
1401.12/178.27	c (175,0) c
1401.12/178.27	c (175,0) c |-------------------------------------------------------------------------------------------------------|
1401.12/178.27	c (175,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1401.12/178.27	c (175,0) c |-------------------------------------------------------------------------------------------------------|
1401.12/178.27	c (175,0) c |  0 |   1233 |     970190 |     699538 |   149953 |   108966 |    69824 |   496091 |    16647 |  0.000 |
1504.09/191.14	c (188,0) c |  1 |    762 |     919554 |     686653 |   149985 |    96075 |    74463 |   477373 |    15165 |  0.000 |
1504.09/191.14	c (188,0) c |  2 |   1204 |     949628 |     686173 |   150153 |    95587 |    69687 |   495408 |    16334 |  0.000 |
1504.09/191.14	c (188,0) c |  3 |   1144 |     951818 |     696886 |   150326 |   106306 |    69051 |   495449 |    17423 |  0.000 |
1504.09/191.14	c (188,0) c |  4 |   1092 |     917903 |     664010 |   149907 |    73436 |    65333 |   498011 |    17044 |  0.000 |
1504.09/191.14	c (188,0) c |  5 |   1186 |     954029 |     691401 |   150128 |   100824 |    70435 |   477434 |    17356 |  0.000 |
1504.09/191.14	c (188,0) c |  6 |    813 |     968261 |     724631 |   149896 |    77459 |    73791 |   492900 |    15134 |  0.000 |
1504.09/191.14	c (188,0) c |  7 |   1123 |     979748 |     715191 |   150220 |    68017 |    74409 |   489173 |    17846 |  0.000 |
1504.09/191.14	c (188,0) c 
1504.09/191.14	c (188,0) c synthesis     5564485 conflicts  1742420465 propagations     3997 conflicts/sec  1251465 propagations/sec
1504.09/191.14	c (188,0) c Total Memory so far : 768.09Mb
1504.09/191.14	c (188,0) c
1504.09/191.14	c (188,0) c |-------------------------------------------------------------------------------------------------------|
1504.09/191.14	c (188,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1504.09/191.14	c (188,0) c |-------------------------------------------------------------------------------------------------------|
1504.09/191.14	c (188,0) c |  0 |   1257 |     988759 |     713147 |   150020 |    65974 |    71015 |   505952 |    17187 |  0.000 |
1504.09/191.14	c (188,0) c |  1 |    762 |     942048 |     704747 |   150003 |    57575 |    77038 |   477373 |    15476 |  0.000 |
1504.09/191.14	c (188,0) c |  2 |   1225 |     967369 |     699289 |   150196 |   108703 |    71012 |   507204 |    16740 |  0.000 |
1504.09/191.14	c (188,0) c |  3 |   1151 |     974680 |     714143 |   150335 |    66969 |    71126 |   506068 |    17931 |  0.000 |
1504.09/191.14	c (188,0) c |  4 |   1097 |     933410 |     675818 |   149976 |    85244 |    66447 |   510251 |    17428 |  0.000 |
1504.09/191.14	c (188,0) c |  5 |   1195 |     972935 |     706757 |   150143 |    59584 |    71421 |   501945 |    17582 |  0.000 |
1504.09/191.14	c (188,0) c |  6 |    817 |     986782 |     739121 |   149910 |    91949 |    75082 |   499453 |    15657 |  0.000 |
1504.09/191.14	c (188,0) c |  7 |   1129 |     996303 |     727862 |   150231 |    80687 |    75765 |   501272 |    18196 |  0.000 |
1504.09/191.14	c (188,0) c 
1504.09/191.14	c (188,0) c synthesis     5680885 conflicts  1776296436 propagations     3989 conflicts/sec  1247249 propagations/sec
1504.09/191.14	c (188,0) c Total Memory so far : 768.09Mb
1504.09/191.14	c (188,0) c
1504.09/191.14	c (188,0) c |-------------------------------------------------------------------------------------------------------|
1504.09/191.14	c (188,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1504.09/191.14	c (188,0) c |-------------------------------------------------------------------------------------------------------|
1504.09/191.14	c (188,0) c |  0 |   1282 |    1005767 |     725465 |   150039 |    78292 |    71963 |   515382 |    17640 |  0.000 |
1504.09/191.14	c (188,0) c |  1 |    766 |     961831 |     719567 |   150035 |    72395 |    78110 |   510360 |    15927 |  0.000 |
1504.09/191.14	c (188,0) c |  2 |   1241 |     984327 |     711263 |   150213 |    64083 |    72412 |   516127 |    17117 |  0.000 |
1504.09/191.14	c (188,0) c |  3 |   1189 |     993756 |     726659 |   150353 |    79485 |    72311 |   516153 |    18376 |  0.000 |
1504.09/191.14	c (188,0) c |  4 |   1098 |     949280 |     687877 |   150045 |    97303 |    67560 |   516829 |    17791 |  0.000 |
1504.09/191.14	c (188,0) c |  5 |   1196 |     992338 |     721917 |   150171 |    74744 |    72821 |   515537 |    17912 |  0.000 |
1504.09/191.14	c (188,0) c |  6 |    820 |    1004942 |     752744 |   149931 |   105572 |    76337 |   510581 |    16097 |  0.000 |
1504.09/191.14	c (188,0) c |  7 |   1143 |    1014361 |     740941 |   150288 |    93767 |    77396 |   510438 |    18682 |  0.000 |
1504.09/191.14	c (188,0) c 
1504.09/191.14	c (188,0) c synthesis     5786433 conflicts  1809913842 propagations     3974 conflicts/sec  1243011 propagations/sec
1504.09/191.14	c (188,0) c Total Memory so far : 768.09Mb
1504.09/191.14	c (188,0) c
1504.09/191.14	c (188,0) c |-------------------------------------------------------------------------------------------------------|
1504.09/191.14	c (188,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1504.09/191.14	c (188,0) c |-------------------------------------------------------------------------------------------------------|
1504.09/191.14	c (188,0) c |  0 |   1292 |    1027452 |     741979 |   150079 |    94806 |    73219 |   525919 |    18200 |  0.000 |
1504.09/191.14	c (188,0) c |  1 |    773 |     979751 |     732842 |   150121 |    85670 |    78804 |   521651 |    16412 |  0.000 |
1615.75/205.14	c (202,0) c |  2 |   1248 |    1006078 |     727527 |   150253 |    80347 |    74384 |   519702 |    17645 |  0.000 |
1615.75/205.14	c (202,0) c |  3 |   1233 |    1011693 |     738690 |   150386 |    91516 |    73403 |   525680 |    18859 |  0.000 |
1615.75/205.14	c (202,0) c |  4 |   1103 |     968145 |     700895 |   150097 |   110321 |    68837 |   528016 |    18197 |  0.000 |
1615.75/205.14	c (202,0) c |  5 |   1209 |    1015205 |     739801 |   150191 |    92627 |    74321 |   524731 |    18422 |  0.000 |
1615.75/205.14	c (202,0) c |  6 |    829 |    1028806 |     770353 |   149953 |    63982 |    77926 |   522481 |    16608 |  0.000 |
1615.75/205.14	c (202,0) c |  7 |   1148 |    1038614 |     759558 |   150295 |   112384 |    79624 |   517506 |    19163 |  0.000 |
1615.75/205.14	c (202,0) c 
1615.75/205.14	c (202,0) c synthesis     5911645 conflicts  1850528548 propagations     3952 conflicts/sec  1237028 propagations/sec
1615.75/205.14	c (202,0) c Total Memory so far : 768.09Mb
1615.75/205.14	c (202,0) c
1615.75/205.14	c (202,0) c |-------------------------------------------------------------------------------------------------------|
1615.75/205.14	c (202,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1615.75/205.14	c (202,0) c |-------------------------------------------------------------------------------------------------------|
1615.75/205.14	c (202,0) c |  0 |   1321 |    1045134 |     754805 |   150106 |   107632 |    74076 |   538152 |    18741 |  0.000 |
1615.75/205.14	c (202,0) c |  1 |    784 |     996393 |     745755 |   150161 |    98583 |    79251 |   532493 |    16795 |  0.000 |
1615.75/205.14	c (202,0) c |  2 |   1256 |    1028867 |     745028 |   150316 |    97848 |    76042 |   531257 |    18132 |  0.000 |
1615.75/205.14	c (202,0) c |  3 |   1239 |    1032560 |     754621 |   150412 |   107447 |    74960 |   537266 |    19307 |  0.000 |
1615.75/205.14	c (202,0) c |  4 |   1105 |     996109 |     721634 |   150130 |    74458 |    70483 |   540478 |    18609 |  0.000 |
1615.75/205.14	c (202,0) c |  5 |   1217 |    1034288 |     754090 |   150213 |   106917 |    75592 |   530918 |    18929 |  0.000 |
1615.75/205.14	c (202,0) c |  6 |    841 |    1055766 |     790219 |   149985 |    83848 |    80527 |   531703 |    17176 |  0.000 |
1615.75/205.14	c (202,0) c |  7 |   1161 |    1062992 |     777098 |   150380 |    70721 |    81319 |   530919 |    19643 |  0.000 |
1615.75/205.14	c (202,0) c 
1615.75/205.14	c (202,0) c synthesis     6043250 conflicts  1891180035 propagations     3935 conflicts/sec  1231396 propagations/sec
1615.75/205.14	c (202,0) c Total Memory so far : 768.09Mb
1615.75/205.14	c (202,0) c
1615.75/205.14	c (202,0) c |-------------------------------------------------------------------------------------------------------|
1615.75/205.14	c (202,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1615.75/205.14	c (202,0) c |-------------------------------------------------------------------------------------------------------|
1615.75/205.14	c (202,0) c |  0 |   1340 |    1060000 |     765603 |   150143 |   118430 |    74894 |   545080 |    19211 |  0.000 |
1615.75/205.14	c (202,0) c |  1 |    826 |    1008590 |     753429 |   150189 |   106257 |    79753 |   540425 |    17068 |  0.000 |
1615.75/205.14	c (202,0) c |  2 |   1273 |    1044649 |     756833 |   150367 |   109653 |    77103 |   541758 |    18570 |  0.000 |
1615.75/205.14	c (202,0) c |  3 |   1256 |    1046665 |     765011 |   150436 |   117837 |    75929 |   541205 |    19648 |  0.000 |
1615.75/205.14	c (202,0) c |  4 |   1114 |    1015471 |     736307 |   150157 |    89131 |    71732 |   546754 |    18979 |  0.000 |
1615.75/205.14	c (202,0) c |  5 |   1218 |    1048519 |     765600 |   150226 |    59226 |    76584 |   539390 |    19179 |  0.000 |
1615.75/205.14	c (202,0) c |  6 |    870 |    1073649 |     802679 |   150040 |    96308 |    81973 |   538245 |    17688 |  0.000 |
1615.75/205.14	c (202,0) c |  7 |   1207 |    1078396 |     787200 |   150439 |    80823 |    82376 |   537828 |    20017 |  0.000 |
1615.75/205.14	c (202,0) c 
1615.75/205.14	c (202,0) c synthesis     6132662 conflicts  1919579268 propagations     3912 conflicts/sec  1224442 propagations/sec
1615.75/205.14	c (202,0) c Total Memory so far : 768.09Mb
1615.75/205.14	c (202,0) c
1615.75/205.14	c (202,0) c |-------------------------------------------------------------------------------------------------------|
1615.75/205.14	c (202,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1615.75/205.14	c (202,0) c |-------------------------------------------------------------------------------------------------------|
1615.75/205.14	c (202,0) c |  0 |   1347 |    1083819 |     784470 |   150175 |    78087 |    76952 |   548650 |    19771 |  0.000 |
1615.75/205.14	c (202,0) c |  1 |    843 |    1028423 |     768305 |   150227 |    61927 |    80672 |   551441 |    17539 |  0.000 |
1615.75/205.14	c (202,0) c |  2 |   1284 |    1068549 |     776039 |   150404 |    69658 |    78645 |   552774 |    19105 |  0.000 |
1727.40/219.14	c (216,0) c |  3 |   1270 |    1069606 |     782147 |   150455 |    75780 |    77404 |   553418 |    20123 |  0.000 |
1727.40/219.14	c (216,0) c |  4 |   1130 |    1035164 |     750297 |   150178 |   103121 |    72758 |   558499 |    19434 |  0.000 |
1727.40/219.14	c (216,0) c |  5 |   1228 |    1074388 |     786131 |   150243 |    79757 |    78821 |   551813 |    19644 |  0.000 |
1727.40/219.14	c (216,0) c |  6 |    894 |    1095113 |     817918 |   150056 |   111547 |    83454 |   548664 |    18231 |  0.000 |
1727.40/219.14	c (216,0) c |  7 |   1262 |    1098985 |     801013 |   150514 |    94636 |    83459 |   548337 |    20523 |  0.000 |
1727.40/219.14	c (216,0) c 
1727.40/219.14	c (216,0) c synthesis     6266320 conflicts  1960182093 propagations     3898 conflicts/sec  1219340 propagations/sec
1727.40/219.14	c (216,0) c Total Memory so far : 768.09Mb
1727.40/219.14	c (216,0) c
1727.40/219.14	c (216,0) c |-------------------------------------------------------------------------------------------------------|
1727.40/219.14	c (216,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1727.40/219.14	c (216,0) c |-------------------------------------------------------------------------------------------------------|
1727.40/219.14	c (216,0) c |  0 |   1374 |    1108425 |     802762 |   150202 |    96379 |    79061 |   565019 |    20332 |  0.000 |
1727.40/219.14	c (216,0) c |  1 |    855 |    1049852 |     784280 |   150261 |    77902 |    81858 |   554465 |    18062 |  0.000 |
1727.40/219.14	c (216,0) c |  2 |   1296 |    1086835 |     790244 |   150421 |    83863 |    79574 |   560369 |    19508 |  0.000 |
1727.40/219.14	c (216,0) c |  3 |   1290 |    1094260 |     800776 |   150491 |    94408 |    79378 |   564686 |    20652 |  0.000 |
1727.40/219.14	c (216,0) c |  4 |   1132 |    1057907 |     767247 |   150193 |    60869 |    74115 |   569919 |    19946 |  0.000 |
1727.40/219.14	c (216,0) c |  5 |   1254 |    1092916 |     799249 |   150265 |    92875 |    80514 |   562688 |    20178 |  0.000 |
1727.40/219.14	c (216,0) c |  6 |    919 |    1112797 |     830003 |   150062 |   123632 |    85245 |   558748 |    18722 |  0.000 |
1727.40/219.14	c (216,0) c |  7 |   1286 |    1116871 |     813868 |   150533 |   107491 |    84340 |   556634 |    20921 |  0.000 |
1727.40/219.14	c (216,0) c 
1727.40/219.14	c (216,0) c synthesis     6388429 conflicts  1998261148 propagations     3878 conflicts/sec  1212992 propagations/sec
1727.40/219.14	c (216,0) c Total Memory so far : 768.09Mb
1727.40/219.14	c (216,0) c
1727.40/219.14	c (216,0) c |-------------------------------------------------------------------------------------------------------|
1727.40/219.14	c (216,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1727.40/219.14	c (216,0) c |-------------------------------------------------------------------------------------------------------|
1727.40/219.14	c (216,0) c |  0 |   1399 |    1123573 |     812759 |   150236 |   106376 |    80195 |   571975 |    20700 |  0.000 |
1727.40/219.14	c (216,0) c |  1 |    855 |    1066349 |     797363 |   150292 |    90985 |    82896 |   554465 |    18402 |  0.000 |
1727.40/219.14	c (216,0) c |  2 |   1296 |    1102990 |     802983 |   150435 |    96602 |    80364 |   560369 |    19750 |  0.000 |
1727.40/219.14	c (216,0) c |  3 |   1312 |    1108437 |     811584 |   150497 |   105217 |    80100 |   571217 |    20932 |  0.000 |
1727.40/219.14	c (216,0) c |  4 |   1142 |    1077976 |     781468 |   150257 |    75090 |    75389 |   576804 |    20339 |  0.000 |
1727.40/219.14	c (216,0) c |  5 |   1279 |    1106135 |     807942 |   150273 |   101568 |    81644 |   570281 |    20562 |  0.000 |
1727.40/219.14	c (216,0) c |  6 |    935 |    1133402 |     844316 |   150076 |    76142 |    86562 |   563971 |    19225 |  0.000 |
1727.40/219.14	c (216,0) c |  7 |   1295 |    1130309 |     824186 |   150548 |   117809 |    85046 |   566272 |    21219 |  0.000 |
1727.40/219.14	c (216,0) c 
1727.40/219.14	c (216,0) c synthesis     6482601 conflicts  2029019037 propagations     3860 conflicts/sec  1208227 propagations/sec
1727.40/219.14	c (216,0) c Total Memory so far : 768.09Mb
1727.40/219.14	c (216,0) c
1727.40/219.14	c (216,0) c |-------------------------------------------------------------------------------------------------------|
1727.40/219.14	c (216,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1727.40/219.14	c (216,0) c |-------------------------------------------------------------------------------------------------------|
1727.40/219.14	c (216,0) c |  0 |   1421 |    1142282 |     827004 |   150256 |   120621 |    81324 |   580764 |    21223 |  0.000 |
1727.40/219.14	c (216,0) c |  1 |    873 |    1087516 |     813606 |   150345 |   107228 |    84139 |   576564 |    18833 |  0.000 |
1727.40/219.14	c (216,0) c |  2 |   1317 |    1120546 |     815965 |   150460 |   109584 |    81274 |   581194 |    20146 |  0.000 |
1727.40/219.14	c (216,0) c |  3 |   1323 |    1125530 |     824336 |   150504 |   117969 |    81277 |   578560 |    21342 |  0.000 |
1823.83/231.24	c (228,0) c |  4 |   1182 |    1099426 |     795807 |   150297 |    89429 |    76788 |   585738 |    20865 |  0.000 |
1823.83/231.24	c (228,0) c |  5 |   1303 |    1123054 |     819693 |   150299 |   113319 |    83281 |   579206 |    20980 |  0.000 |
1823.83/231.24	c (228,0) c |  6 |    938 |    1159611 |     863834 |   150122 |    95660 |    88416 |   571349 |    19878 |  0.001 |
1823.83/231.24	c (228,0) c |  7 |   1299 |    1147598 |     837856 |   150554 |    69674 |    86079 |   573884 |    21507 |  0.000 |
1823.83/231.24	c (228,0) c 
1823.83/231.24	c (228,0) c synthesis     6598103 conflicts  2065608716 propagations     3838 conflicts/sec  1201496 propagations/sec
1823.83/231.24	c (228,0) c Total Memory so far : 768.09Mb
1823.83/231.24	c (228,0) c
1823.83/231.24	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1823.83/231.24	c (228,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1823.83/231.24	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1823.83/231.24	c (228,0) c |  0 |   1441 |    1161317 |     840874 |   150274 |    72697 |    82555 |   591470 |    21751 |  0.000 |
1823.83/231.24	c (228,0) c |  1 |    900 |    1105027 |     826363 |   150393 |   119985 |    85060 |   588456 |    19341 |  0.000 |
1823.83/231.24	c (228,0) c |  2 |   1344 |    1139611 |     829757 |   150471 |   123376 |    82372 |   591851 |    20621 |  0.000 |
1823.83/231.24	c (228,0) c |  3 |   1353 |    1149907 |     841261 |   150537 |    73096 |    82848 |   591135 |    21919 |  0.000 |
1823.83/231.24	c (228,0) c |  4 |   1215 |    1122595 |     812202 |   150316 |   105824 |    78565 |   594941 |    21442 |  0.000 |
1823.83/231.24	c (228,0) c |  5 |   1318 |    1145926 |     836325 |   150336 |    68143 |    85343 |   586478 |    21537 |  0.000 |
1823.83/231.24	c (228,0) c |  6 |    954 |    1180752 |     879144 |   150152 |   110970 |    89772 |   584455 |    20263 |  0.000 |
1823.83/231.24	c (228,0) c |  7 |   1304 |    1173604 |     858168 |   150566 |    89986 |    87923 |   586089 |    22009 |  0.000 |
1823.83/231.24	c (228,0) c 
1823.83/231.24	c (228,0) c synthesis     6724094 conflicts  2104298788 propagations     3823 conflicts/sec  1196264 propagations/sec
1823.83/231.24	c (228,0) c Total Memory so far : 768.09Mb
1823.83/231.24	c (228,0) c
1823.83/231.24	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1823.83/231.24	c (228,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1823.83/231.24	c (228,0) c |-------------------------------------------------------------------------------------------------------|
1823.83/231.24	c (228,0) c |  0 |   1468 |    1180532 |     854776 |   150320 |    86599 |    83731 |   600880 |    22176 |  0.000 |
1823.83/231.24	c (228,0) c |  1 |    912 |    1124444 |     841041 |   150416 |    72862 |    86296 |   596501 |    19817 |  0.000 |
1823.83/231.24	c (228,0) c |  2 |   1352 |    1161947 |     847132 |   150490 |    78950 |    83657 |   603602 |    21089 |  0.000 |
1823.83/231.24	c (228,0) c |  3 |   1390 |    1174129 |     858855 |   150560 |    90690 |    84532 |   601612 |    22453 |  0.000 |
1823.83/231.24	c (228,0) c |  4 |   1216 |    1150744 |     835236 |   150318 |    67061 |    81875 |   597343 |    22122 |  0.001 |
1823.83/231.24	c (228,0) c |  5 |   1326 |    1169383 |     853332 |   150360 |    85150 |    87084 |   600184 |    22004 |  0.000 |
1823.83/231.24	c (228,0) c |  6 |    976 |    1197263 |     891135 |   150205 |   122961 |    90848 |   591462 |    20633 |  0.000 |
1823.83/231.24	c (228,0) c |  7 |   1332 |    1193110 |     872440 |   150580 |   104258 |    89246 |   597094 |    22507 |  0.000 |
1823.83/231.24	c (228,0) c 
1823.83/231.24	c (228,0) c synthesis     6853947 conflicts  2143432754 propagations     3810 conflicts/sec  1191507 propagations/sec
1823.83/231.24	c (228,0) c Total Memory so far : 768.09Mb
1823.83/231.24	c (228,0) c last restart ## conflicts  :  401 22 
1823.83/231.24	c (228,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer).
1823.83/231.24	c (228,0) c Total Memory so far : 768.09Mb
1823.83/231.24	c (228,0) c
1823.83/231.24	c (228,0) c real time : 228.089 s
1823.83/231.24	c (228,0) c cpu time  : 1815.67 s
1823.83/231.24	c (228,0) c
1823.83/231.24	c (228,0) c
1823.83/231.24	c (228,0) c
1823.83/231.24	c (228,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1823.83/231.24	c (228,0) c
1823.83/231.24	c (228,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1823.83/231.24	c (228,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1823.83/231.24	c (228,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1823.83/231.24	c (228,0) c | Conflicts     |         6902747 |     861300 |     847631 |     852929 |     864560 |     843661 |     858548 |     896462 |     877656 |
1823.83/231.24	c (228,0) c | Decisions     |         9418258 |    1189188 |    1132569 |    1170774 |    1182115 |    1160997 |    1177408 |    1204127 |    1201080 |
1823.83/231.24	c (228,0) c | Propagations  |      2158795549 |  268718789 |  266134196 |  270217480 |  268624536 |  264155144 |  269421031 |  273536623 |  277987750 |
1823.83/231.24	c (228,0) c | Avg_Trail     |                 |       1757 |       1728 |       1773 |       1721 |       1755 |       1713 |       1757 |       1745 |
1823.83/231.24	c (228,0) c | Avg_DL        |                 |         25 |         25 |         25 |         25 |         25 |         25 |         24 |         25 |
1823.83/231.24	c (228,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1823.83/231.24	c (228,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1823.83/231.24	c (228,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1823.83/231.24	c (228,0) c | Exported      |          691955 |      84311 |      86901 |      84146 |      85237 |      82678 |      87564 |      91384 |      89734 |
1823.83/231.24	c (228,0) c | Imported      |         4812746 |     607314 |     596501 |     607481 |     606231 |     597343 |     604355 |     591462 |     602059 |
1823.83/231.24	c (228,0) c | Good          |             434 |         57 |         60 |         49 |         51 |         56 |         51 |         57 |         53 |
1823.83/231.24	c (228,0) c | Purge         |         4812312 |     607257 |     596441 |     607432 |     606180 |     597287 |     604304 |     591405 |     602006 |
1823.83/231.24	c (228,0) c | Promoted      |          174213 |      22360 |      19994 |      21328 |      22640 |      22231 |      22178 |      20779 |      22703 |
1823.83/231.24	c (228,0) c | Remove_Imp    |         3665322 |     458871 |     469393 |     467787 |     454442 |     473243 |     461448 |     434690 |     445448 |
1823.83/231.24	c (228,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1823.83/231.24	c (228,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1823.83/231.24	c (228,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1823.83/231.24	c (228,0) c | Binaries      |                 |          5 |          2 |         13 |         11 |          6 |         11 |          5 |          9 |
1823.83/231.24	c (228,0) c | Glues         |                 |       2380 |       2162 |       2025 |       2422 |       2086 |       2162 |       1936 |       2324 |
1823.83/231.24	c (228,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1823.83/231.24	c (228,0) c | Orig_Seen     |            98 % |     150332 |     150422 |     150519 |     150564 |     150318 |     150371 |     150211 |     150583 |
1823.83/231.24	c (228,0) c | Diff Orig seen|                 |      X     |         90 |        187 |        232 | -       14 |         39 | -      121 |        251 |
1823.83/231.24	c (228,0) c | Hamming       |            30 % |      X     |       1138 |       1051 |       1014 |       1004 |        996 |        875 |       1160 |
1823.83/231.24	c (228,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1823.83/231.24	c (228,0) 
1823.83/231.24	c (228,0) s SATISFIABLE
1823.83/231.27	c (228,0) SatSolver.solve End
1823.83/231.27	c (228,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1823.83/231.27	c (228,0) Show results Begin
1824.30/231.33	s SATISFIABLE
1824.30/231.34	v <instantiation>
1824.30/231.34	v     <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[2][0] cn[2][1] cn[2][2] cn[2][3] cn[3][0] cn[3][1] cn[3][2] cn[3][3] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][1][2] ce[0][1][3] ce[0][2][3] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][1][2] ce[1][1][3] ce[1][2][3] ce[2][0][1] ce[2][0][2] ce[2][0][3] ce[2][1][2] ce[2][1][3] ce[2][2][3] ce[3][0][1] ce[3][0][2] ce[3][0][3] ce[3][1][2] ce[3][1][3] ce[3][2][3] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[1][0] cie[1][1] cie[1][2] cie[1][3] cie[2][0] cie[2][1] cie[2][2] cie[2][3]</list>
1824.30/231.34	v     <values>12 1 10 35 7 36 22 15 33 0 3 16 2 24 30 34 11 2 23 9 34 25 29 15 8 14 21 7 33 30 17 3 16 13 22 28 32 6 10 4 5 35 12 20 26 36 19 1 31 24 27 18</values>
1824.30/231.34	v </instantiation>
1824.30/231.34	c (228,0) Show results End
1824.30/231.34	c (228,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1824.30/231.34	c (228,0) 228,228,STOP-AFTER(ALL)
1824.30/231.34	c END-Prog: Mon Aug 13 18:59:24 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 (6926 MiB free)
  memory of node 1: 16384 MiB (10422 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307161-1534179332/watcher-4307161-1534179332 -o /tmp/evaluation-result-4307161-1534179332/solver-4307161-1534179332 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534168708-18653 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307161-1534179332.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=21871, runsolver pid=21868

[startup+0.110699 s]*
/proc/loadavg: 5.50 7.43 7.95 2/204 21893
/proc/meminfo: memFree=17665712/32770624 swapFree=67108860/67108860
[pid=21871] ppid=21868 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21871/stat : 21871 (scop.sh) S 21868 21871 18626 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 235496401 115843072 349 33554432000 4194304 5098028 140735416200752 140735416198008 139627877089916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24522752 140735416206370 140735416206595 140735416206595 140735416209357 0
/proc/21871/statm: 28282 349 296 221 0 87 0
[pid=21874] ppid=21871 vsize=27313900 memory=111260 CPUtime=0.11 cores=0-7
/proc/21874/stat : 21874 (java) S 21871 21871 18626 0 -1 1077944320 6726 0 0 0 9 2 0 0 20 0 20 0 235496401 27969433600 27815 33554432000 4194304 4196468 140729775322752 140729775305296 139738165231351 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
/proc/21874/statm: 6828475 27815 2769 1 0 6790935 0
[pid=21874/tid=21875] ppid=21871 vsize=27313900 memory=4134930498285298233 CPUtime=0.1 cores=0-7
/proc/21874/task/21875/stat : 21875 (java) R 21871 21871 18626 0 -1 4202560 4813 0 0 0 8 2 0 0 20 0 20 0 235496401 27969433600 27815 33554432000 4194304 4196468 140729775322752 139738137043336 139738145507058 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21876] ppid=21871 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21874/task/21876/stat : 21876 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 27815 33554432000 4194304 4196468 140729775322752 139738169473936 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21877] ppid=21871 vsize=27313900 memory=140565037422208 CPUtime=0 cores=0-7
/proc/21874/task/21877/stat : 21877 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 27815 33554432000 4194304 4196468 140729775322752 139737983630096 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21878] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21878/stat : 21878 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 27815 33554432000 4194304 4196468 140729775322752 139737982577808 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21879] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21879/stat : 21879 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 27815 33554432000 4194304 4196468 140729775322752 139737981525008 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21880] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21880/stat : 21880 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 27815 33554432000 4194304 4196468 140729775322752 139737980471696 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21881] ppid=21871 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21874/task/21881/stat : 21881 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 27881 33554432000 4194304 4196468 140729775322752 139737979418896 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21882] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21882/stat : 21882 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 27881 33554432000 4194304 4196468 140729775322752 139737978366608 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21883] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21883/stat : 21883 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 27881 33554432000 4194304 4196468 140729775322752 139737977313808 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21884] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21884/stat : 21884 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496405 27969433600 27881 33554432000 4194304 4196468 140729775322752 139736215677552 139738165242498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21885] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21885/stat : 21885 (java) S 21871 21871 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235496406 27969433600 27881 33554432000 4194304 4196468 140729775322752 139736089879840 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21886] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21886/stat : 21886 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496406 27969433600 27881 33554432000 4194304 4196468 140729775322752 139735821444720 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21887] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21887/stat : 21887 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 27881 33554432000 4194304 4196468 140729775322752 139735446936144 139738165249947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21888] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21888/stat : 21888 (java) S 21871 21871 18626 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 27881 33554432000 4194304 4196468 140729775322752 139736214624368 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21889] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21889/stat : 21889 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 27881 33554432000 4194304 4196468 140729775322752 139736213571568 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21890] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21890/stat : 21890 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 27881 33554432000 4194304 4196468 140729775322752 139736212519280 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21891] ppid=21871 vsize=27313900 memory=0 CPUtime=0.01 cores=0-7
/proc/21874/task/21891/stat : 21891 (java) S 21871 21871 18626 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 20 0 235496408 27969433600 27947 33554432000 4194304 4196468 140729775322752 139736211466480 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21892] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21892/stat : 21892 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235496409 27969433600 27947 33554432000 4194304 4196468 140729775322752 139734949030752 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21893] ppid=21871 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21874/task/21893/stat : 21893 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496409 27969433600 27947 33554432000 4194304 4196468 140729775322752 139736210414384 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 112656 KiB

[startup+0.210759 s]*
/proc/loadavg: 5.50 7.43 7.95 2/204 21893
/proc/meminfo: memFree=17651636/32770624 swapFree=67108860/67108860
[pid=21871] ppid=21868 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21871/stat : 21871 (scop.sh) S 21868 21871 18626 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 235496401 115843072 349 33554432000 4194304 5098028 140735416200752 140735416198008 139627877089916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24522752 140735416206370 140735416206595 140735416206595 140735416209357 0
/proc/21871/statm: 28282 349 296 221 0 87 0
[pid=21874] ppid=21871 vsize=27313900 memory=123796 CPUtime=0.25 cores=0-7
/proc/21874/stat : 21874 (java) S 21871 21871 18626 0 -1 1077944320 10214 0 0 0 21 4 0 0 20 0 20 0 235496401 27969433600 30949 33554432000 4194304 4196468 140729775322752 140729775305296 139738165231351 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
/proc/21874/statm: 6828475 30949 2837 1 0 6790935 0
[pid=21874/tid=21875] ppid=21871 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21874/task/21875/stat : 21875 (java) R 21871 21871 18626 0 -1 4202560 8110 0 0 0 16 3 0 0 20 0 20 0 235496401 27969433600 30949 33554432000 4194304 4196468 140729775322752 139738137021056 139738165253277 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21876] ppid=21871 vsize=27313900 memory=339 CPUtime=0 cores=0-7
/proc/21874/task/21876/stat : 21876 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 30949 33554432000 4194304 4196468 140729775322752 139738169473936 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21877] ppid=21871 vsize=27313900 memory=140565037441441 CPUtime=0 cores=0-7
/proc/21874/task/21877/stat : 21877 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 30949 33554432000 4194304 4196468 140729775322752 139737983630096 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21878] ppid=21871 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21874/task/21878/stat : 21878 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 30949 33554432000 4194304 4196468 140729775322752 139737982577808 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21879] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21879/stat : 21879 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 30949 33554432000 4194304 4196468 140729775322752 139737981525008 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21880] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21880/stat : 21880 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 30949 33554432000 4194304 4196468 140729775322752 139737980471696 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21881] ppid=21871 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21874/task/21881/stat : 21881 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 30949 33554432000 4194304 4196468 140729775322752 139737979418896 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21882] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21882/stat : 21882 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 30949 33554432000 4194304 4196468 140729775322752 139737978366608 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21883] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21883/stat : 21883 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 30949 33554432000 4194304 4196468 140729775322752 139737977313808 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21884] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21884/stat : 21884 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496405 27969433600 30949 33554432000 4194304 4196468 140729775322752 139736215677552 139738165242498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21885] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21885/stat : 21885 (java) S 21871 21871 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235496406 27969433600 30949 33554432000 4194304 4196468 140729775322752 139736089879840 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21886] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21886/stat : 21886 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496406 27969433600 30949 33554432000 4194304 4196468 140729775322752 139735821444720 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21887] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21887/stat : 21887 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 30949 33554432000 4194304 4196468 140729775322752 139735446936144 139738165249947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21888] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21888/stat : 21888 (java) S 21871 21871 18626 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 30949 33554432000 4194304 4196468 140729775322752 139736214624368 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21889] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21889/stat : 21889 (java) S 21871 21871 18626 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 30949 33554432000 4194304 4196468 140729775322752 139736213571568 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21890] ppid=21871 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21874/task/21890/stat : 21890 (java) S 21871 21871 18626 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 30949 33554432000 4194304 4196468 140729775322752 139736212519280 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21891] ppid=21871 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/21874/task/21891/stat : 21891 (java) R 21871 21871 18626 0 -1 4202560 288 0 0 0 2 0 0 0 20 0 20 0 235496408 27969433600 30949 33554432000 4194304 4196468 140729775322752 139736211466480 139738144365847 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21892] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21892/stat : 21892 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235496409 27969433600 30949 33554432000 4194304 4196468 140729775322752 139734949030752 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21893] ppid=21871 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21874/task/21893/stat : 21893 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496409 27969433600 30949 33554432000 4194304 4196468 140729775322752 139736210414384 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125192 KiB

[startup+0.310752 s]*
/proc/loadavg: 5.50 7.43 7.95 2/204 21893
/proc/meminfo: memFree=17648596/32770624 swapFree=67108860/67108860
[pid=21871] ppid=21868 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21871/stat : 21871 (scop.sh) S 21868 21871 18626 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 235496401 115843072 349 33554432000 4194304 5098028 140735416200752 140735416198008 139627877089916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24522752 140735416206370 140735416206595 140735416206595 140735416209357 0
/proc/21871/statm: 28282 349 296 221 0 87 0
[pid=21874] ppid=21871 vsize=27313900 memory=127572 CPUtime=0.42 cores=0-7
/proc/21874/stat : 21874 (java) S 21871 21871 18626 0 -1 1077944320 10739 0 0 0 38 4 0 0 20 0 20 0 235496401 27969433600 31893 33554432000 4194304 4196468 140729775322752 140729775305296 139738165231351 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
/proc/21874/statm: 6828475 31893 2943 1 0 6790935 0
[pid=21874/tid=21875] ppid=21871 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21874/task/21875/stat : 21875 (java) R 21871 21871 18626 0 -1 4202560 8488 0 0 0 26 3 0 0 20 0 20 0 235496401 27969433600 31893 33554432000 4194304 4196468 140729775322752 139738137026800 139738150396897 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21876] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21876/stat : 21876 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 31893 33554432000 4194304 4196468 140729775322752 139738169473936 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21877] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21877/stat : 21877 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 31893 33554432000 4194304 4196468 140729775322752 139737983630096 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21878] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21878/stat : 21878 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 31893 33554432000 4194304 4196468 140729775322752 139737982577808 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21879] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21879/stat : 21879 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 31893 33554432000 4194304 4196468 140729775322752 139737981525008 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21880] ppid=21871 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/21874/task/21880/stat : 21880 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 31893 33554432000 4194304 4196468 140729775322752 139737980471696 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21881] ppid=21871 vsize=27313900 memory=140564884452271 CPUtime=0 cores=0-7
/proc/21874/task/21881/stat : 21881 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 31893 33554432000 4194304 4196468 140729775322752 139737979418896 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21882] ppid=21871 vsize=27313900 memory=140564884454576 CPUtime=0 cores=0-7
/proc/21874/task/21882/stat : 21882 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 31893 33554432000 4194304 4196468 140729775322752 139737978366608 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21883] ppid=21871 vsize=27313900 memory=140564884456880 CPUtime=0 cores=0-7
/proc/21874/task/21883/stat : 21883 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27969433600 31893 33554432000 4194304 4196468 140729775322752 139737977313808 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21884] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21884/stat : 21884 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235496405 27969433600 31893 33554432000 4194304 4196468 140729775322752 139736215677552 139738165242498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21885] ppid=21871 vsize=27313900 memory=281129768920720 CPUtime=0 cores=0-7
/proc/21874/task/21885/stat : 21885 (java) S 21871 21871 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235496406 27969433600 31893 33554432000 4194304 4196468 140729775322752 139736089879840 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21886] ppid=21871 vsize=27313900 memory=281129768927632 CPUtime=0 cores=0-7
/proc/21874/task/21886/stat : 21886 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496406 27969433600 31893 33554432000 4194304 4196468 140729775322752 139735821444720 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21887] ppid=21871 vsize=27313900 memory=281129768868912 CPUtime=0 cores=0-7
/proc/21874/task/21887/stat : 21887 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 31893 33554432000 4194304 4196468 140729775322752 139735446936144 139738165249947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21888] ppid=21871 vsize=27313900 memory=281129768941456 CPUtime=0 cores=0-7
/proc/21874/task/21888/stat : 21888 (java) S 21871 21871 18626 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 31893 33554432000 4194304 4196468 140729775322752 139736214624368 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21889] ppid=21871 vsize=27313900 memory=281129768948368 CPUtime=0 cores=0-7
/proc/21874/task/21889/stat : 21889 (java) S 21871 21871 18626 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 235496408 27969433600 31893 33554432000 4194304 4196468 140729775322752 139736213571568 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21890] ppid=21871 vsize=27313900 memory=281129768946064 CPUtime=0.02 cores=0-7
/proc/21874/task/21890/stat : 21890 (java) S 21871 21871 18626 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 20 0 235496408 27969433600 31893 33554432000 4194304 4196468 140729775322752 139736212519280 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21891] ppid=21871 vsize=27313900 memory=281129768962224 CPUtime=0.07 cores=0-7
/proc/21874/task/21891/stat : 21891 (java) S 21871 21871 18626 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 20 0 235496408 27969433600 31893 33554432000 4194304 4196468 140729775322752 139736211466480 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21892] ppid=21871 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21892/stat : 21892 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235496409 27969433600 31893 33554432000 4194304 4196468 140729775322752 139734949030752 139738165241557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21893] ppid=21871 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/21874/task/21893/stat : 21893 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496409 27969433600 31893 33554432000 4194304 4196468 140729775322752 139736210414384 139738165242498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128968 KiB

[startup+0.700983 s]
/proc/loadavg: 5.50 7.43 7.95 2/204 21893
/proc/meminfo: memFree=17624040/32770624 swapFree=67108860/67108860
[pid=21871] ppid=21868 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21871/stat : 21871 (scop.sh) S 21868 21871 18626 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 235496401 115843072 349 33554432000 4194304 5098028 140735416200752 140735416198008 139627877089916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24522752 140735416206370 140735416206595 140735416206595 140735416209357 0
/proc/21871/statm: 28282 349 296 221 0 87 0
[pid=21874] ppid=21871 vsize=27322296 memory=165336 CPUtime=0.98 cores=0-7
/proc/21874/stat : 21874 (java) S 21871 21871 18626 0 -1 1077944320 17893 0 0 0 92 6 0 0 20 0 20 0 235496401 27978031104 41334 33554432000 4194304 4196468 140729775322752 140729775305296 139738165231351 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
/proc/21874/statm: 6830574 41334 3147 1 0 6791959 0
[pid=21874/tid=21875] ppid=21871 vsize=27322296 memory=281129769320112 CPUtime=0.66 cores=0-7
/proc/21874/task/21875/stat : 21875 (java) R 21871 21871 18626 0 -1 4202560 15106 0 0 0 61 5 0 0 20 0 20 0 235496401 27978031104 41334 33554432000 4194304 4196468 140729775322752 139738137051872 139738157468478 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21876] ppid=21871 vsize=27322296 memory=140564884661104 CPUtime=0 cores=0-7
/proc/21874/task/21876/stat : 21876 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27978031104 41334 33554432000 4194304 4196468 140729775322752 139738169473936 139738165241557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21877] ppid=21871 vsize=27322296 memory=0 CPUtime=0 cores=0-7
/proc/21874/task/21877/stat : 21877 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27978031104 41400 33554432000 4194304 4196468 140729775322752 139737983630096 139738165241557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0
[pid=21874/tid=21878] ppid=21871 vsize=27322296 memory=10784 CPUtime=0 cores=0-7
/proc/21874/task/21878/stat : 21878 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235496404 27978031104 41400 33554432000 4194304 4196468 140729775322752 139737982577808 139738165241557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30584832 140729775326184 140729775326509 140729775326509 140729775329231 0

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

/proc/21894/task/21906/stat : 21906 (java) S 21871 21871 18626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 235496649 8615837696 30880 33554432000 4194304 4196468 140724460719552 139986070393968 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21907] ppid=21871 vsize=8413904 memory=623512 CPUtime=0 cores=0-7
/proc/21894/task/21907/stat : 21907 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139985695889488 139987750176667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21908] ppid=21871 vsize=8413904 memory=4784 CPUtime=0.07 cores=0-7
/proc/21894/task/21908/stat : 21908 (java) S 21871 21871 18626 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987111029360 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21909] ppid=21871 vsize=8413904 memory=3332 CPUtime=0.06 cores=0-7
/proc/21894/task/21909/stat : 21909 (java) S 21871 21871 18626 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987109976560 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21910] ppid=21871 vsize=8413904 memory=1732 CPUtime=0.08 cores=0-7
/proc/21894/task/21910/stat : 21910 (java) S 21871 21871 18626 0 -1 1077944384 420 0 0 0 8 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987108924272 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21911] ppid=21871 vsize=8413904 memory=1172 CPUtime=0.23 cores=0-7
/proc/21894/task/21911/stat : 21911 (java) S 21871 21871 18626 0 -1 1077944384 1096 0 0 0 23 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987107871472 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21912] ppid=21871 vsize=8413904 memory=500 CPUtime=0 cores=0-7
/proc/21894/task/21912/stat : 21912 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139985197984096 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21913] ppid=21871 vsize=8413904 memory=928 CPUtime=0.11 cores=0-7
/proc/21894/task/21913/stat : 21913 (java) R 21871 21871 18626 0 -1 1077944384 43 0 0 0 0 11 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987106818352 139987750169218 0 4 2 25189581 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21915] ppid=21871 vsize=8413904 memory=2336 CPUtime=0 cores=0-7
/proc/21894/task/21915/stat : 21915 (java) S 21871 21871 18626 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 235496716 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987099010368 139987750182681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21917] ppid=21871 vsize=8413904 memory=1580 CPUtime=0.04 cores=0-7
/proc/21894/task/21917/stat : 21917 (java) S 21871 21871 18626 0 -1 4202560 739 0 0 0 4 0 0 0 20 0 24 0 235496717 8615837696 30880 33554432000 4194304 4196468 140724460719552 139984526884880 139987750179997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21918] ppid=21871 vsize=8413904 memory=924 CPUtime=0 cores=0-7
/proc/21894/task/21918/stat : 21918 (java) S 21871 21871 18626 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 235496717 8615837696 30880 33554432000 4194304 4196468 140724460719552 139984258449168 139987750179997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21919] ppid=21871 vsize=8413904 memory=4104 CPUtime=0 cores=0-7
/proc/21894/task/21919/stat : 21919 (java) S 21871 21871 18626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 235496719 8615837696 30880 33554432000 4194304 4196468 140724460719552 139984795328288 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
Current children cumulated CPU time: 1820.65 s
Current children cumulated vsize: 9313548 KiB
Current children cumulated memory: 750972 KiB

[startup+231.202 s]
/proc/loadavg: 8.68 8.03 8.07 9/217 21929
/proc/meminfo: memFree=17030160/32770624 swapFree=67108860/67108860
[pid=21871] ppid=21868 vsize=113128 memory=1472 CPUtime=6.18 cores=0-7
/proc/21871/stat : 21871 (scop.sh) S 21868 21871 18626 0 -1 4202496 589 26851 0 0 0 0 597 21 20 0 1 0 235496401 115843072 368 33554432000 4194304 5098028 140735416200752 140735416197496 139627877089916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24522752 140735416206370 140735416206595 140735416206595 140735416209357 0
/proc/21871/statm: 28282 368 311 221 0 87 0
[pid=21894] ppid=21871 vsize=8413904 memory=123520 CPUtime=1.37 cores=0-7
/proc/21894/stat : 21894 (java) S 21871 21871 18626 0 -1 1077944320 19317 0 0 0 129 8 0 0 20 0 24 0 235496645 8615837696 30880 33554432000 4194304 4196468 140724460719552 140724460702096 139987750158071 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
/proc/21894/statm: 2103476 30880 3163 1 0 2064875 0
[pid=21914] ppid=21894 vsize=786516 memory=625980 CPUtime=1816.28 cores=0-7
/proc/21914/stat : 21914 (glucose-syrup) S 21894 21871 18626 0 -1 1077944320 401256 0 0 0 181531 97 0 0 20 0 9 0 235496716 805392384 156495 33554432000 4194304 4373367 140725737835936 140725737834480 140150879402626 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
/proc/21914/statm: 196629 156495 382 44 0 192317 0
[pid=21914/tid=21920] ppid=21894 vsize=786516 memory=-5155631275791051909 CPUtime=227.58 cores=0-7
/proc/21914/task/21920/stat : 21920 (glucose-syrup) R 21894 21871 18626 0 -1 4202560 43457 0 0 0 22746 12 0 0 20 0 9 0 235496747 805392384 156495 33554432000 4194304 4373367 140725737835936 140150847266160 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
[pid=21914/tid=21921] ppid=21894 vsize=786516 memory=1192 CPUtime=225.76 cores=0-7
/proc/21914/task/21921/stat : 21921 (glucose-syrup) R 21894 21871 18626 0 -1 4202560 49773 0 0 0 22565 11 0 0 20 0 9 0 235496747 805392384 156495 33554432000 4194304 4373367 140725737835936 140150838873456 4271925 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
[pid=21914/tid=21922] ppid=21894 vsize=786516 memory=1616 CPUtime=227.65 cores=0-7
/proc/21914/task/21922/stat : 21922 (glucose-syrup) R 21894 21871 18626 0 -1 4202560 49448 0 0 0 22754 11 0 0 20 0 9 0 235496747 805392384 156495 33554432000 4194304 4373367 140725737835936 140150830480752 4271928 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
[pid=21914/tid=21923] ppid=21894 vsize=786516 memory=1384 CPUtime=227.15 cores=0-7
/proc/21914/task/21923/stat : 21923 (glucose-syrup) R 21894 21871 18626 0 -1 4202560 46635 0 0 0 22704 11 0 0 20 0 9 0 235496747 805392384 156495 33554432000 4194304 4373367 140725737835936 140150822087824 4271904 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
[pid=21914/tid=21924] ppid=21894 vsize=786516 memory=752 CPUtime=224.76 cores=0-7
/proc/21914/task/21924/stat : 21924 (glucose-syrup) R 21894 21871 18626 0 -1 4202560 48202 0 0 0 22465 11 0 0 20 0 9 0 235496747 805392384 156495 33554432000 4194304 4373367 140725737835936 140150813695344 4272319 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
[pid=21914/tid=21925] ppid=21894 vsize=786516 memory=7308 CPUtime=227.71 cores=0-7
/proc/21914/task/21925/stat : 21925 (glucose-syrup) R 21894 21871 18626 0 -1 4202560 46469 0 0 0 22761 10 0 0 20 0 9 0 235496747 805392384 156495 33554432000 4194304 4373367 140725737835936 140150805302640 4271894 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
[pid=21914/tid=21926] ppid=21894 vsize=786516 memory=1832 CPUtime=227.64 cores=0-7
/proc/21914/task/21926/stat : 21926 (glucose-syrup) R 21894 21871 18626 0 -1 4202560 49547 0 0 0 22751 13 0 0 20 0 9 0 235496747 805392384 156495 33554432000 4194304 4373367 140725737835936 140150796909936 4257231 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
[pid=21914/tid=21927] ppid=21894 vsize=786516 memory=1920 CPUtime=227.65 cores=0-7
/proc/21914/task/21927/stat : 21927 (glucose-syrup) R 21894 21871 18626 0 -1 4202560 48991 0 0 0 22754 11 0 0 20 0 9 0 235496747 805392384 156495 33554432000 4194304 4373367 140725737835936 140150788517136 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 6840320 140725737837648 140725737837780 140725737837780 140725737840583 0
[pid=21894/tid=21895] ppid=21871 vsize=8413904 memory=1192 CPUtime=0.72 cores=0-7
/proc/21894/task/21895/stat : 21895 (java) S 21871 21871 18626 0 -1 1077944384 14507 0 0 0 68 4 0 0 20 0 24 0 235496646 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987721998224 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21896] ppid=21871 vsize=8413904 memory=1616 CPUtime=0 cores=0-7
/proc/21894/task/21896/stat : 21896 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235496647 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987754400144 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21897] ppid=21871 vsize=8413904 memory=1384 CPUtime=0 cores=0-7
/proc/21894/task/21897/stat : 21897 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235496647 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987554568464 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21898] ppid=21871 vsize=8413904 memory=752 CPUtime=0 cores=0-7
/proc/21894/task/21898/stat : 21898 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235496647 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987553516176 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21899] ppid=21871 vsize=8413904 memory=7308 CPUtime=0 cores=0-7
/proc/21894/task/21899/stat : 21899 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235496647 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987552463376 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21900] ppid=21871 vsize=8413904 memory=4486604260213485459 CPUtime=0 cores=0-7
/proc/21894/task/21900/stat : 21900 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235496647 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987551411088 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21901] ppid=21871 vsize=8413904 memory=4784 CPUtime=0 cores=0-7
/proc/21894/task/21901/stat : 21901 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235496647 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987550358288 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21902] ppid=21871 vsize=8413904 memory=4104 CPUtime=0 cores=0-7
/proc/21894/task/21902/stat : 21902 (java) S 21871 21871 18626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235496647 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987549306000 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21903] ppid=21871 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/21894/task/21903/stat : 21903 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235496647 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987548253200 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21904] ppid=21871 vsize=8413904 memory=3520 CPUtime=0 cores=0-7
/proc/21894/task/21904/stat : 21904 (java) S 21871 21871 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 235496649 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987112081520 139987750169218 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21905] ppid=21871 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/21894/task/21905/stat : 21905 (java) S 21871 21871 18626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 235496649 8615837696 30880 33554432000 4194304 4196468 140724460719552 139986204615456 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21906] ppid=21871 vsize=8413904 memory=117480 CPUtime=0 cores=0-7
/proc/21894/task/21906/stat : 21906 (java) S 21871 21871 18626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 235496649 8615837696 30880 33554432000 4194304 4196468 140724460719552 139986070393968 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21907] ppid=21871 vsize=8413904 memory=1920 CPUtime=0 cores=0-7
/proc/21894/task/21907/stat : 21907 (java) S 21871 21871 18626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139985695889488 139987750176667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21908] ppid=21871 vsize=8413904 memory=1192 CPUtime=0.07 cores=0-7
/proc/21894/task/21908/stat : 21908 (java) S 21871 21871 18626 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987111029360 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21909] ppid=21871 vsize=8413904 memory=1616 CPUtime=0.06 cores=0-7
/proc/21894/task/21909/stat : 21909 (java) S 21871 21871 18626 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987109976560 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21910] ppid=21871 vsize=8413904 memory=1384 CPUtime=0.08 cores=0-7
/proc/21894/task/21910/stat : 21910 (java) S 21871 21871 18626 0 -1 1077944384 420 0 0 0 8 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987108924272 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21911] ppid=21871 vsize=8413904 memory=1472 CPUtime=0.23 cores=0-7
/proc/21894/task/21911/stat : 21911 (java) S 21871 21871 18626 0 -1 1077944384 1096 0 0 0 23 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987107871472 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21912] ppid=21871 vsize=8413904 memory=123520 CPUtime=0 cores=0-7
/proc/21894/task/21912/stat : 21912 (java) S 21871 21871 18626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139985197984096 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21913] ppid=21871 vsize=8413904 memory=625128 CPUtime=0.11 cores=0-7
/proc/21894/task/21913/stat : 21913 (java) S 21871 21871 18626 0 -1 1077944384 43 0 0 0 0 11 0 0 20 0 24 0 235496652 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987106818352 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21915] ppid=21871 vsize=8413904 memory=15932 CPUtime=0 cores=0-7
/proc/21894/task/21915/stat : 21915 (java) S 21871 21871 18626 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 235496716 8615837696 30880 33554432000 4194304 4196468 140724460719552 139987099010368 139987750182681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21917] ppid=21871 vsize=8413904 memory=3332 CPUtime=0.04 cores=0-7
/proc/21894/task/21917/stat : 21917 (java) S 21871 21871 18626 0 -1 4202560 739 0 0 0 4 0 0 0 20 0 24 0 235496717 8615837696 30880 33554432000 4194304 4196468 140724460719552 139984526884880 139987750179997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21918] ppid=21871 vsize=8413904 memory=1732 CPUtime=0 cores=0-7
/proc/21894/task/21918/stat : 21918 (java) S 21871 21871 18626 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 235496717 8615837696 30880 33554432000 4194304 4196468 140724460719552 139984258449168 139987750179997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21919] ppid=21871 vsize=8413904 memory=1172 CPUtime=0 cores=0-7
/proc/21894/task/21919/stat : 21919 (java) S 21871 21871 18626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 235496719 8615837696 30880 33554432000 4194304 4196468 140724460719552 139984795328288 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
Current children cumulated CPU time: 1823.83 s
Current children cumulated vsize: 9313548 KiB
Current children cumulated memory: 750972 KiB

[startup+231.301 s]
/proc/loadavg: 8.68 8.03 8.07 9/217 21929
/proc/meminfo: memFree=17030160/32770624 swapFree=67108860/67108860
[pid=21871] ppid=21868 vsize=113128 memory=1472 CPUtime=6.18 cores=0-7
/proc/21871/stat : 21871 (scop.sh) S 21868 21871 18626 0 -1 4202496 589 26851 0 0 0 0 597 21 20 0 1 0 235496401 115843072 368 33554432000 4194304 5098028 140735416200752 140735416197496 139627877089916 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24522752 140735416206370 140735416206595 140735416206595 140735416209357 0
/proc/21871/statm: 28282 368 311 221 0 87 0
[pid=21894] ppid=21871 vsize=8413904 memory=124856 CPUtime=1818.12 cores=0-7
/proc/21894/stat : 21894 (java) S 21871 21871 18626 0 -1 1077944320 19596 401306 0 0 138 8 181567 99 20 0 22 0 235496645 8615837696 31214 33554432000 4194304 4196468 140724460719552 140724460702096 139987750158071 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
/proc/21894/statm: 2103476 31214 3166 1 0 2064875 0
[pid=21894/tid=21895] ppid=21871 vsize=8413904 memory=4420 CPUtime=1817.41 cores=0-7
/proc/21894/task/21895/stat : 21895 (java) R 21871 21871 18626 0 -1 4202560 14651 401306 0 0 71 4 181567 99 20 0 22 0 235496646 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987721975632 139987750170006 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21896] ppid=21871 vsize=8413904 memory=624912 CPUtime=1816.66 cores=0-7
/proc/21894/task/21896/stat : 21896 (java) S 21871 21871 18626 0 -1 1077944384 1 401306 0 0 0 0 181567 99 20 0 22 0 235496647 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987754400144 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21897] ppid=21871 vsize=8413904 memory=623588 CPUtime=1816.66 cores=0-7
/proc/21894/task/21897/stat : 21897 (java) S 21871 21871 18626 0 -1 1077944384 1 401306 0 0 0 0 181567 99 20 0 22 0 235496647 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987554568464 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21898] ppid=21871 vsize=8413904 memory=1472 CPUtime=1816.66 cores=0-7
/proc/21894/task/21898/stat : 21898 (java) S 21871 21871 18626 0 -1 1077944384 3 401306 0 0 0 0 181567 99 20 0 22 0 235496647 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987553516176 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21899] ppid=21871 vsize=8413904 memory=1472 CPUtime=1816.66 cores=0-7
/proc/21894/task/21899/stat : 21899 (java) S 21871 21871 18626 0 -1 1077944384 2 401306 0 0 0 0 181567 99 20 0 22 0 235496647 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987552463376 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21900] ppid=21871 vsize=8413904 memory=1472 CPUtime=1816.66 cores=0-7
/proc/21894/task/21900/stat : 21900 (java) S 21871 21871 18626 0 -1 1077944384 2 401306 0 0 0 0 181567 99 20 0 22 0 235496647 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987551411088 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21901] ppid=21871 vsize=8413904 memory=123520 CPUtime=1816.66 cores=0-7
/proc/21894/task/21901/stat : 21901 (java) S 21871 21871 18626 0 -1 1077944384 2 401306 0 0 0 0 181567 99 20 0 22 0 235496647 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987550358288 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21902] ppid=21871 vsize=8413904 memory=281129768714480 CPUtime=1816.66 cores=0-7
/proc/21894/task/21902/stat : 21902 (java) S 21871 21871 18626 0 -1 1077944384 2 401306 0 0 0 0 181567 99 20 0 22 0 235496647 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987549306000 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21903] ppid=21871 vsize=8413904 memory=7378418336434050669 CPUtime=1816.66 cores=0-7
/proc/21894/task/21903/stat : 21903 (java) S 21871 21871 18626 0 -1 1077944384 1 401306 0 0 0 0 181567 99 20 0 22 0 235496647 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987548253200 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21904] ppid=21871 vsize=8413904 memory=6010433508468879719 CPUtime=1816.66 cores=0-7
/proc/21894/task/21904/stat : 21904 (java) S 21871 21871 18626 0 -1 1077944384 13 401306 0 0 0 0 181567 99 20 0 22 0 235496649 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987112081520 139987750169218 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21905] ppid=21871 vsize=8413904 memory=2336 CPUtime=1816.66 cores=0-7
/proc/21894/task/21905/stat : 21905 (java) S 21871 21871 18626 0 -1 1077944384 13 401306 0 0 0 0 181567 99 20 0 22 0 235496649 8615837696 31214 33554432000 4194304 4196468 140724460719552 139986204615456 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21906] ppid=21871 vsize=8413904 memory=1580 CPUtime=1816.66 cores=0-7
/proc/21894/task/21906/stat : 21906 (java) S 21871 21871 18626 0 -1 1077944384 21 401306 0 0 0 0 181567 99 20 0 22 0 235496649 8615837696 31214 33554432000 4194304 4196468 140724460719552 139986070393968 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21907] ppid=21871 vsize=8413904 memory=1472 CPUtime=1816.66 cores=0-7
/proc/21894/task/21907/stat : 21907 (java) S 21871 21871 18626 0 -1 1077944384 1 401306 0 0 0 0 181567 99 20 0 22 0 235496652 8615837696 31214 33554432000 4194304 4196468 140724460719552 139985695889488 139987750176667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21908] ppid=21871 vsize=8413904 memory=624912 CPUtime=1816.74 cores=0-7
/proc/21894/task/21908/stat : 21908 (java) R 21871 21871 18626 0 -1 1077944384 707 401306 0 0 8 0 181567 99 20 0 22 0 235496652 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987111029360 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21909] ppid=21871 vsize=8413904 memory=1472 CPUtime=1816.72 cores=0-7
/proc/21894/task/21909/stat : 21909 (java) R 21871 21871 18626 0 -1 4202560 395 401306 0 0 6 0 181567 99 20 0 22 0 235496652 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987109976560 139987743143113 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21910] ppid=21871 vsize=8413904 memory=4132 CPUtime=1816.74 cores=0-7
/proc/21894/task/21910/stat : 21910 (java) S 21871 21871 18626 0 -1 1077944384 426 401306 0 0 8 0 181567 99 20 0 22 0 235496652 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987108924272 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21911] ppid=21871 vsize=8413904 memory=4132 CPUtime=1816.92 cores=0-7
/proc/21894/task/21911/stat : 21911 (java) R 21871 21871 18626 0 -1 4202560 1148 401306 0 0 26 0 181567 99 20 0 22 0 235496652 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987107871472 139987734238558 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21912] ppid=21871 vsize=8413904 memory=63796 CPUtime=1816.66 cores=0-7
/proc/21894/task/21912/stat : 21912 (java) S 21871 21871 18626 0 -1 1077944384 3 401306 0 0 0 0 181567 99 20 0 22 0 235496652 8615837696 31214 33554432000 4194304 4196468 140724460719552 139985197984096 139987750168277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21913] ppid=21871 vsize=8413904 memory=1236 CPUtime=1816.77 cores=0-7
/proc/21894/task/21913/stat : 21913 (java) S 21871 21871 18626 0 -1 1077944384 43 401306 0 0 0 11 181567 99 20 0 22 0 235496652 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987106818352 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21915] ppid=21871 vsize=8413904 memory=1472 CPUtime=1816.66 cores=0-7
/proc/21894/task/21915/stat : 21915 (java) S 21871 21871 18626 0 -1 1077944384 29 401306 0 0 0 0 181567 99 20 0 22 0 235496716 8615837696 31214 33554432000 4194304 4196468 140724460719552 139987099009552 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
[pid=21894/tid=21919] ppid=21871 vsize=8413904 memory=625980 CPUtime=1816.66 cores=0-7
/proc/21894/task/21919/stat : 21919 (java) S 21871 21871 18626 0 -1 1077944384 26 401306 0 0 0 0 181567 99 20 0 22 0 235496719 8615837696 31214 33554432000 4194304 4196468 140724460719552 139984795330096 139987750169218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17563648 140724460721329 140724460721453 140724460721453 140724460724175 0
Current children cumulated CPU time: 1824.3 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 126328 KiB

Child status: 0
Real time (s): 231.352
CPU time (s): 1824.41
CPU user time (s): 1823.1
CPU system time (s): 1.31737
CPU usage (%): 788.587
Max. virtual memory (cumulated for all children) (KiB): 27441656
Max. memory (cumulated for all children) (KiB): 750972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1823.1
system time used= 1.31737
maximum resident set size= 626776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14839
involuntary context switches= 20805


# summary of solver processes directly reported to runsolver:
#   pid: 21871
#   total CPU time (s): 1824.41
#   total CPU user time (s): 1823.1
#   total CPU system time (s): 1.31737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.26305 second user time and 3.13661 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-13 18:55:32
IDJOB=4307161
IDBENCH=141167
IDSOLVER=2788
FILE ID=node132/4307161-1534179332
RUNJOBID= node132-1534168708-18653
PBS_JOBID= 21037974
Free space on /tmp= 38332 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K04-P04_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-4307161-1534179332/watcher-4307161-1534179332 -o /tmp/evaluation-result-4307161-1534179332/solver-4307161-1534179332 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534168708-18653 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307161-1534179332.xml

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

MD5SUM BENCH= bba9b3428f0c8228a4e28ff2342631fb
RANDOM SEED=18992915

node132.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.65
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.65
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.65
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.65
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:        17765500 kB
MemAvailable:   31900028 kB
Buffers:          260924 kB
Cached:         13985580 kB
SwapCached:            0 kB
Active:          7027160 kB
Inactive:        7274856 kB
Active(anon):       5088 kB
Inactive(anon):   102816 kB
Active(file):    7022072 kB
Inactive(file):  7172040 kB
Unevictable:        6984 kB
Mlocked:            6984 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8892 kB
Writeback:             0 kB
AnonPages:         76460 kB
Mapped:            55708 kB
Shmem:             49824 kB
Slab:             397528 kB
SReclaimable:     368876 kB
SUnreclaim:        28652 kB
KernelStack:        3600 kB
PageTables:         5340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 38324 MiB
End job on node132 at 2018-08-13 18:59:24