Trace number 4405385

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
Fun-sCOP order+ManyGlucose (2019-09-22)? (TO) 2531.19 2520.57

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-08-m039.xml
MD5SUMcf7d41cb48e0c265061ebe127338815d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints52
Number of domains1
Minimum domain size169
Maximum domain size169
Distribution of domain sizes[{"size":169,"count":169}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1362-serial-file.bin HOME/instance-4405385-1569341129.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 17:04:06 CEST 2019
0.65/0.56	c PID: 1366
0.65/0.56	c IP: 172.20.3.106
0.65/0.56	c HOST: node106.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.40/0.94	c (0,0) Parsing End
1.40/0.95	c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 52 ctr, max domain size 169
1.40/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.95	c (0,0) Constraint Name Generate Begin
1.40/0.95	c (0,0) Ctr:HOME/instance-4405385-1569341129.xml,AllDifferent:Lt:Num:Var:WeightedSum
1.40/0.95	c (0,0) Constraint Name Generate End
1.40/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.95	c (0,0) CSP to CSPinCNF Begin
4.78/2.06	c (1,1) translated 6 (10%) constraints
4.78/2.07	c (1,1) translated 11 (20%) constraints
4.78/2.08	c (1,1) translated 16 (30%) constraints
4.78/2.08	c (1,1) translated 21 (40%) constraints
4.78/2.09	c (1,1) translated 26 (50%) constraints
4.78/2.10	c (1,1) translated 32 (60%) constraints
4.78/2.10	c (1,1) translated 37 (70%) constraints
5.24/2.11	c (1,1) translated 42 (80%) constraints
5.24/2.11	c (1,1) translated 47 (90%) constraints
5.24/2.11	c (1,1) translated 52 (100%) constraints
5.24/2.11	c (1,1) ===========================================
5.24/2.11	c (1,1) Order
5.24/2.11	c (1,1) ===========================================
5.66/2.24	c (1,1) translated 1442 (10%) constraints
6.04/2.31	c (1,1) translated 2884 (20%) constraints
6.04/2.37	c (1,1) translated 4326 (30%) constraints
6.20/2.43	c (1,1) translated 5768 (40%) constraints
6.20/2.48	c (1,1) translated 7209 (50%) constraints
6.58/2.52	c (1,1) translated 8651 (60%) constraints
6.58/2.56	c (2,2) translated 10093 (70%) constraints
6.83/2.60	c (2,2) translated 11535 (80%) constraints
6.83/2.64	c (2,2) translated 12977 (90%) constraints
9.72/4.15	c (3,3) translated 14418 (100%) constraints
9.72/4.15	c (3,3) CSP to CSPinCNF End
9.72/4.17	c (3,3) CSP: 541 int (372 aux), 28561 bool (28561 aux), 72329 ctr, max domain size 841
9.72/4.17	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.72/4.17	c (3,3) CSPinCNF Propagation Begin
11.43/5.27	c (4,4) 9 values, 25 unsatisfiable literals, and 356 valid clauses are removed
11.43/5.27	c (4,4) CSPinCNF Propagation End
11.43/5.28	c (4,4) CSP: 541 int (372 aux), 28561 bool (28561 aux), 71973 ctr, max domain size 841
11.43/5.28	c (4,4) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.43/5.28	c (4,4) Simplify CSPinCNF Begin
12.91/5.87	c (5,5) Simplify CSPinCNF End
12.91/5.89	c (5,5) CSP: 541 int (372 aux), 56953 bool (56953 aux), 100365 ctr, max domain size 841
12.91/5.89	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.91/5.89	c (5,5) Calculate Precise Domain Begin
13.13/5.95	c (5,5) 4 values are removed by re-calculation
13.13/5.95	c (5,5) Calculate Precise Domain End
13.13/5.97	c (5,5) CSP: 541 int (372 aux), 56953 bool (56953 aux), 100365 ctr, max domain size 841
13.13/5.97	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.13/5.97	c (5,5) CSPinCNF to SatSolver Begin
21.95/11.32	c (10,10) 10037 (10 %) CSP clauses are encoded (0 SAT variables, 1329262 SAT clauses)
25.92/15.25	c (14,14) 20073 (20 %) CSP clauses are encoded (0 SAT variables, 2463186 SAT clauses)
30.71/19.58	c (19,18) 30110 (30 %) CSP clauses are encoded (0 SAT variables, 3597063 SAT clauses)
35.11/23.77	c (23,22) 40146 (40 %) CSP clauses are encoded (0 SAT variables, 4730545 SAT clauses)
36.11/24.78	c (24,23) 50183 (50 %) CSP clauses are encoded (0 SAT variables, 5014174 SAT clauses)
36.22/24.86	c (24,23) 60219 (60 %) CSP clauses are encoded (0 SAT variables, 5024210 SAT clauses)
36.32/24.95	c (24,23) 70256 (70 %) CSP clauses are encoded (0 SAT variables, 5034247 SAT clauses)
36.43/25.03	c (24,23) 80292 (80 %) CSP clauses are encoded (0 SAT variables, 5044283 SAT clauses)
36.53/25.11	c (24,23) 90329 (90 %) CSP clauses are encoded (0 SAT variables, 5054320 SAT clauses)
154.56/145.94	c (145,127) 100365 (100 %) CSP clauses are encoded (0 SAT variables, 73893216 SAT clauses)
154.56/145.94	c (145,127) CSPinCNF to SatSolver End
154.56/145.94	c (145,127) Heap : 6614 MiB used (max 22341 MiB), NonHeap : 29 MiB used (max 0 MiB)
154.56/145.94	c (145,127) 254623 bool, 73893382 clause
154.56/145.94	c (145,127) Export Begin
154.69/146.05	c (145,127) Export to HOME/scop-1362-serial-file.bin
154.69/146.05	c (145,127) Export End
154.69/146.05	c (145,127) Export File Size: 0.03 MB
154.69/146.05	c (145,127) 0,0,3,4,5,5,145,STOP-AFTER(DIMACS)
154.69/146.05	c END-Prog: Tue Sep 24 17:06:31 CEST 2019
0.00/146.10	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1362-serial-file.bin
155.36/146.57	c (0,0) Read Serial File Begin
155.36/146.57	c (0,0) HOME/scop-1362-serial-file.bin
155.63/147.19	c (0,0) Read Serial File End
155.81/147.21	
155.81/147.21	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
155.81/147.21	(Solving Process)
155.81/147.21	
155.81/147.23	c BEGIN-Prog: Tue Sep 24 17:06:32 CEST 2019
155.81/147.23	c PID: 1394
155.81/147.23	c IP: 172.20.3.106
155.81/147.23	c HOST: node106.alineos.net
155.81/147.23	c (0,0) SatSolver.solve Begin
155.81/147.23	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405385-1569341129.xml-scop-1366.cnf
155.81/147.26	c (0,0) c
155.81/147.26	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
155.81/147.26	c (0,0) c
155.81/147.26	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
155.81/147.26	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
155.81/147.26	c (0,0) c ========================================[ Problem Statistics ]===========================================
155.81/147.26	c (0,0) c |                                                                                                       |
176.97/168.30	c (21,0) c |  Number of variables:        254623                                                                   |
176.97/168.30	c (21,0) c |  Number of clauses:        73893382                                                                   |
176.97/168.30	c (21,0) c |  Parse time:                  19.20 s                                                                 |
176.97/168.30	c (21,0) c |                                                                                                       |
181.17/172.41	c (25,0) c | Too many clauses... No preprocessing                                                                  |
181.17/172.41	c (25,0) c |  Simplification time:          3.48 s                                                                 |
181.17/172.41	c (25,0) c |                                                                                                       |
181.17/172.41	c (25,0) c |  One Solver is taking   5202.17Mb... Let's take   1 solvers for this run (max 40% of the maxmemory).  |
181.17/172.41	c (25,0) c |  Generating clones                                                                                    |
181.17/172.41	c (25,0) c |  all clones generated. Memory =  5202.17Mb.                                                           |
181.17/172.41	c (25,0) c ========================================================================================================|
181.17/172.41	c (25,0) c
181.17/172.41	c (25,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
181.17/172.41	c (25,0) c
181.17/172.41	c (25,0) c |-----------------------|------------|
181.17/172.41	c (25,0) c | Threads               |          0 |
181.17/172.41	c (25,0) c |-----------------------|------------|
181.17/172.41	c (25,0) c | randomizeFirstDescent |      False |
181.17/172.41	c (25,0) c | adaptStrategeis       |       True |
181.17/172.41	c (25,0) c | forceUnsatOnNewDescent|       True |
181.17/172.41	c (25,0) c | Initial random_seed   |   91648253 |
181.17/172.41	c (25,0) c | chanseokStrategy      |      False |
181.17/172.41	c (25,0) c | coLBDBound            |          5 |
181.17/172.41	c (25,0) c | glureduce             |       True |
181.17/172.41	c (25,0) c | firstReduceDB         |       2000 |
181.17/172.41	c (25,0) c | incReduceDB           |        300 |
181.17/172.41	c (25,0) c | luby_restart          |      False |
181.17/172.41	c (25,0) c | luby_restart_factor   |        100 |
181.17/172.41	c (25,0) c | var_decay             |     0.8000 |
181.17/172.41	c (25,0) c | max_var_decay         |     0.9500 |
181.17/172.41	c (25,0) c | randomize_on_restarts |      False |
181.17/172.41	c (25,0) c | remove_satisfied      |       True |
181.17/172.41	c (25,0) c |-----------------------|------------|
211.10/202.39	c (55,0) c
211.10/202.39	c (55,0) c |------------------------------------------------------------------------------------------------------------------------|
211.10/202.39	c (55,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
211.10/202.39	c (55,0) c |------------------------------------------------------------------------------------------------------------------------|
211.10/202.39	c (55,0) c |  0 |     18 |      18247 |       1915 |    69411 |     1913 |       58 |        0 |        0 |      625 |  20 |  0.001 |
211.10/202.39	c (55,0) c 
211.10/202.39	c (55,0) c synthesis        1915 conflicts    17280262 propagations       39 conflicts/sec   349165 propagations/sec
211.10/202.39	c (55,0) c real: 55.1346 s, cpu: 49.4902 s, memory: 5530.17 Mb
240.10/231.39	c (84,0) c
240.10/231.39	c (84,0) c |------------------------------------------------------------------------------------------------------------------------|
240.10/231.39	c (84,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.10/231.39	c (84,0) c |------------------------------------------------------------------------------------------------------------------------|
240.10/231.39	c (84,0) c |  0 |     37 |      26710 |       3883 |   151681 |     2887 |       67 |        0 |        0 |     1411 |  20 |  0.001 |
240.10/231.39	c (84,0) c 
240.10/231.39	c (84,0) c synthesis        3883 conflicts    35343166 propagations       50 conflicts/sec   453883 propagations/sec
240.10/231.39	c (84,0) c real: 84.1346 s, cpu: 77.8685 s, memory: 5530.17 Mb
269.11/260.39	c (113,0) c
269.11/260.39	c (113,0) c |------------------------------------------------------------------------------------------------------------------------|
269.11/260.39	c (113,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
269.11/260.39	c (113,0) c |------------------------------------------------------------------------------------------------------------------------|
269.11/260.39	c (113,0) c |  0 |     49 |      44512 |       8477 |   204307 |     4687 |     1028 |        0 |        0 |     2220 |  20 |  0.001 |
269.11/260.39	c (113,0) c 
269.11/260.39	c (113,0) c synthesis        8477 conflicts    59601144 propagations       80 conflicts/sec   559684 propagations/sec
269.11/260.39	c (113,0) c real: 113.135 s, cpu: 106.491 s, memory: 5594.17 Mb
298.12/289.39	c (142,0) c
298.12/289.39	c (142,0) c |------------------------------------------------------------------------------------------------------------------------|
298.12/289.39	c (142,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
298.12/289.39	c (142,0) c |------------------------------------------------------------------------------------------------------------------------|
298.12/289.39	c (142,0) c |  0 |     71 |      54870 |      10816 |   286314 |     7024 |     1313 |        0 |        0 |     2992 |  20 |  0.003 |
298.12/289.39	c (142,0) c 
298.12/289.39	c (142,0) c synthesis       10816 conflicts    78528049 propagations       80 conflicts/sec   581168 propagations/sec
298.12/289.39	c (142,0) c real: 142.135 s, cpu: 135.121 s, memory: 5594.17 Mb
327.15/318.39	c (171,0) c
327.15/318.39	c (171,0) c |------------------------------------------------------------------------------------------------------------------------|
327.15/318.39	c (171,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
327.15/318.39	c (171,0) c |------------------------------------------------------------------------------------------------------------------------|
327.15/318.39	c (171,0) c |  0 |     74 |      62940 |      16331 |   324269 |     7543 |     1667 |        0 |        0 |     3895 |  20 |  0.003 |
327.15/318.39	c (171,0) c 
327.15/318.39	c (171,0) c synthesis       16331 conflicts   107938527 propagations      100 conflicts/sec   657876 propagations/sec
327.15/318.39	c (171,0) c real: 171.135 s, cpu: 164.071 s, memory: 5594.17 Mb
356.17/347.39	c (200,0) c
356.17/347.39	c (200,0) c |------------------------------------------------------------------------------------------------------------------------|
356.17/347.39	c (200,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
356.17/347.39	c (200,0) c |------------------------------------------------------------------------------------------------------------------------|
356.17/347.39	c (200,0) c |  0 |     81 |      71117 |      20893 |   378517 |    12105 |     2069 |        0 |        0 |     4739 |  20 |  0.003 |
356.17/347.39	c (200,0) c 
356.17/347.39	c (200,0) c synthesis       20893 conflicts   134188984 propagations      108 conflicts/sec   695989 propagations/sec
356.17/347.39	c (200,0) c real: 200.135 s, cpu: 192.803 s, memory: 5594.17 Mb
385.19/376.39	c (229,0) c
385.19/376.39	c (229,0) c |------------------------------------------------------------------------------------------------------------------------|
385.19/376.39	c (229,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
385.19/376.39	c (229,0) c |------------------------------------------------------------------------------------------------------------------------|
385.19/376.39	c (229,0) c |  0 |     90 |      76986 |      22933 |   467868 |    14142 |     2223 |        0 |        0 |     5581 |  20 |  0.005 |
385.19/376.39	c (229,0) c 
385.19/376.39	c (229,0) c synthesis       22933 conflicts   153747091 propagations      103 conflicts/sec   693659 propagations/sec
385.19/376.39	c (229,0) c real: 229.135 s, cpu: 221.646 s, memory: 5594.17 Mb
414.22/405.39	c (258,0) c
414.22/405.39	c (258,0) c |------------------------------------------------------------------------------------------------------------------------|
414.22/405.39	c (258,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
414.22/405.39	c (258,0) c |------------------------------------------------------------------------------------------------------------------------|
414.22/405.39	c (258,0) c |  0 |    104 |      84808 |      24862 |   558776 |     8671 |     2424 |        0 |        0 |     6428 |  20 |  0.005 |
414.22/405.39	c (258,0) c 
414.22/405.39	c (258,0) c synthesis       24862 conflicts   171470303 propagations       99 conflicts/sec   684814 propagations/sec
414.22/405.39	c (258,0) c real: 258.135 s, cpu: 250.39 s, memory: 5594.17 Mb
443.23/434.39	c (287,0) c
443.23/434.39	c (287,0) c |------------------------------------------------------------------------------------------------------------------------|
443.23/434.39	c (287,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
443.23/434.39	c (287,0) c |------------------------------------------------------------------------------------------------------------------------|
443.23/434.39	c (287,0) c |  0 |    113 |      99798 |      34286 |   626369 |    18095 |     5437 |        0 |        0 |     7278 |  20 |  0.005 |
443.23/434.39	c (287,0) c 
443.23/434.39	c (287,0) c synthesis       34286 conflicts   196291701 propagations      123 conflicts/sec   702875 propagations/sec
443.23/434.39	c (287,0) c real: 287.135 s, cpu: 279.27 s, memory: 5594.17 Mb
472.26/463.39	c (316,0) c
472.26/463.39	c (316,0) c |------------------------------------------------------------------------------------------------------------------------|
472.26/463.39	c (316,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
472.26/463.39	c (316,0) c |------------------------------------------------------------------------------------------------------------------------|
472.26/463.39	c (316,0) c |  0 |    125 |     106566 |      35684 |   705599 |    19489 |     5564 |        0 |        0 |     8128 |  20 |  0.008 |
472.26/463.39	c (316,0) c 
472.26/463.39	c (316,0) c synthesis       35684 conflicts   213866993 propagations      116 conflicts/sec   694315 propagations/sec
472.26/463.39	c (316,0) c real: 316.135 s, cpu: 308.026 s, memory: 5594.17 Mb
501.28/492.39	c (345,0) c
501.28/492.39	c (345,0) c |------------------------------------------------------------------------------------------------------------------------|
501.28/492.39	c (345,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
501.28/492.39	c (345,0) c |------------------------------------------------------------------------------------------------------------------------|
501.28/492.39	c (345,0) c |  0 |    139 |     116623 |      39992 |   766953 |    13899 |     6313 |        0 |        0 |     8964 |  20 |  0.008 |
501.28/492.39	c (345,0) c 
501.28/492.39	c (345,0) c synthesis       39992 conflicts   234527330 propagations      119 conflicts/sec   696352 propagations/sec
501.28/492.39	c (345,0) c real: 345.135 s, cpu: 336.794 s, memory: 5594.17 Mb
530.31/521.39	c (374,0) c
530.31/521.39	c (374,0) c |------------------------------------------------------------------------------------------------------------------------|
530.31/521.39	c (374,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
530.31/521.39	c (374,0) c |------------------------------------------------------------------------------------------------------------------------|
530.31/521.39	c (374,0) c |  0 |    156 |     124865 |      42244 |   837247 |    16150 |     6454 |        0 |        0 |     9762 |  20 |  0.009 |
530.31/521.39	c (374,0) c 
530.31/521.39	c (374,0) c synthesis       42244 conflicts   255893061 propagations      116 conflicts/sec   699981 propagations/sec
530.31/521.39	c (374,0) c real: 374.135 s, cpu: 365.571 s, memory: 5594.17 Mb
559.32/550.39	c (403,0) c
559.32/550.39	c (403,0) c |------------------------------------------------------------------------------------------------------------------------|
559.32/550.39	c (403,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
559.32/550.39	c (403,0) c |------------------------------------------------------------------------------------------------------------------------|
559.32/550.39	c (403,0) c |  0 |    171 |     140261 |      44157 |   914798 |    18062 |     6553 |        0 |        0 |    10585 |  20 |  0.010 |
559.32/550.39	c (403,0) c 
559.32/550.39	c (403,0) c synthesis       44157 conflicts   276316712 propagations      112 conflicts/sec   700614 propagations/sec
559.32/550.39	c (403,0) c real: 403.135 s, cpu: 394.392 s, memory: 5594.17 Mb
588.34/579.39	c (432,0) c
588.34/579.39	c (432,0) c |------------------------------------------------------------------------------------------------------------------------|
588.34/579.39	c (432,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
588.34/579.39	c (432,0) c |------------------------------------------------------------------------------------------------------------------------|
588.34/579.39	c (432,0) c |  0 |    188 |     147159 |      45846 |   986035 |    19751 |     6687 |        0 |        0 |    11435 |  20 |  0.010 |
588.34/579.39	c (432,0) c 
588.34/579.39	c (432,0) c synthesis       45846 conflicts   293735855 propagations      108 conflicts/sec   694128 propagations/sec
588.34/579.39	c (432,0) c real: 432.135 s, cpu: 423.173 s, memory: 5594.17 Mb
617.38/608.39	c (461,0) c
617.38/608.39	c (461,0) c |------------------------------------------------------------------------------------------------------------------------|
617.38/608.39	c (461,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
617.38/608.39	c (461,0) c |------------------------------------------------------------------------------------------------------------------------|
617.38/608.39	c (461,0) c |  0 |    209 |     154877 |      48186 |  1049063 |    22091 |     7069 |        0 |        0 |    12260 |  20 |  0.010 |
617.38/608.39	c (461,0) c 
617.38/608.39	c (461,0) c synthesis       48186 conflicts   313652440 propagations      107 conflicts/sec   693925 propagations/sec
617.38/608.39	c (461,0) c real: 461.135 s, cpu: 451.998 s, memory: 5594.17 Mb
646.38/637.39	c (490,0) c
646.38/637.39	c (490,0) c |------------------------------------------------------------------------------------------------------------------------|
646.38/637.39	c (490,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
646.38/637.39	c (490,0) c |------------------------------------------------------------------------------------------------------------------------|
646.38/637.39	c (490,0) c |  0 |    216 |     164054 |      52922 |  1108751 |    14383 |     7326 |        0 |        0 |    13153 |  20 |  0.010 |
646.38/637.39	c (490,0) c 
646.38/637.39	c (490,0) c synthesis       52922 conflicts   338210456 propagations      110 conflicts/sec   703395 propagations/sec
646.38/637.39	c (490,0) c real: 490.135 s, cpu: 480.826 s, memory: 5594.17 Mb
675.41/666.39	c (519,0) c
675.41/666.39	c (519,0) c |------------------------------------------------------------------------------------------------------------------------|
675.41/666.39	c (519,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
675.41/666.39	c (519,0) c |------------------------------------------------------------------------------------------------------------------------|
675.41/666.39	c (519,0) c |  0 |    225 |     168178 |      53836 |  1171017 |    15297 |     7342 |        0 |        0 |    14016 |  20 |  0.010 |
675.41/666.39	c (519,0) c 
675.41/666.39	c (519,0) c synthesis       53836 conflicts   354412243 propagations      106 conflicts/sec   695380 propagations/sec
675.41/666.39	c (519,0) c real: 519.135 s, cpu: 509.667 s, memory: 5594.17 Mb
704.44/695.39	c (548,0) c
704.44/695.39	c (548,0) c |------------------------------------------------------------------------------------------------------------------------|
704.44/695.39	c (548,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
704.44/695.39	c (548,0) c |------------------------------------------------------------------------------------------------------------------------|
704.44/695.39	c (548,0) c |  0 |    236 |     173826 |      56022 |  1232019 |    17483 |     7509 |        0 |        0 |    14901 |  20 |  0.010 |
704.44/695.39	c (548,0) c 
704.44/695.39	c (548,0) c synthesis       56022 conflicts   372060896 propagations      104 conflicts/sec   690931 propagations/sec
704.44/695.39	c (548,0) c real: 548.135 s, cpu: 538.492 s, memory: 5594.17 Mb
733.47/724.39	c (577,0) c
733.47/724.39	c (577,0) c |------------------------------------------------------------------------------------------------------------------------|
733.47/724.39	c (577,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
733.47/724.39	c (577,0) c |------------------------------------------------------------------------------------------------------------------------|
733.47/724.39	c (577,0) c |  0 |    251 |     181283 |      58508 |  1292564 |    19969 |     7706 |        0 |        0 |    15742 |  20 |  0.010 |
733.47/724.39	c (577,0) c 
733.47/724.39	c (577,0) c synthesis       58508 conflicts   391271672 propagations      103 conflicts/sec   689721 propagations/sec
733.47/724.39	c (577,0) c real: 577.135 s, cpu: 567.29 s, memory: 5594.17 Mb
762.48/753.39	c (606,0) c
762.58/753.40	c (606,0) c |------------------------------------------------------------------------------------------------------------------------|
762.58/753.40	c (606,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
762.58/753.40	c (606,0) c |------------------------------------------------------------------------------------------------------------------------|
762.58/753.40	c (606,0) c |  0 |    266 |     189410 |      61474 |  1353627 |    22934 |     7892 |        0 |        0 |    16596 |  20 |  0.011 |
762.58/753.40	c (606,0) c 
762.58/753.40	c (606,0) c synthesis       61474 conflicts   412625151 propagations      103 conflicts/sec   692188 propagations/sec
762.58/753.40	c (606,0) c real: 606.135 s, cpu: 596.117 s, memory: 5594.17 Mb
791.51/782.39	c (635,0) c
791.51/782.39	c (635,0) c |------------------------------------------------------------------------------------------------------------------------|
791.51/782.39	c (635,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
791.51/782.39	c (635,0) c |------------------------------------------------------------------------------------------------------------------------|
791.51/782.39	c (635,0) c |  0 |    272 |     195762 |      64684 |  1418746 |    26144 |     7975 |        0 |        0 |    17428 |  20 |  0.011 |
791.51/782.39	c (635,0) c 
791.51/782.39	c (635,0) c synthesis       64684 conflicts   439525595 propagations      104 conflicts/sec   703282 propagations/sec
791.51/782.39	c (635,0) c real: 635.135 s, cpu: 624.963 s, memory: 5594.17 Mb
820.54/811.39	c (664,0) c
820.54/811.39	c (664,0) c |------------------------------------------------------------------------------------------------------------------------|
820.54/811.39	c (664,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
820.54/811.39	c (664,0) c |------------------------------------------------------------------------------------------------------------------------|
820.54/811.39	c (664,0) c |  0 |    281 |     202371 |      67113 |  1472979 |    28572 |     8024 |        0 |        0 |    18300 |  20 |  0.012 |
820.54/811.39	c (664,0) c 
820.54/811.39	c (664,0) c synthesis       67113 conflicts   461524760 propagations      103 conflicts/sec   705963 propagations/sec
820.54/811.39	c (664,0) c real: 664.135 s, cpu: 653.752 s, memory: 5594.17 Mb
849.56/840.39	c (693,0) c
849.56/840.39	c (693,0) c |------------------------------------------------------------------------------------------------------------------------|
849.56/840.39	c (693,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
849.56/840.39	c (693,0) c |------------------------------------------------------------------------------------------------------------------------|
849.56/840.39	c (693,0) c |  0 |    286 |     208716 |      69771 |  1528550 |    16203 |     8293 |        0 |        0 |    19141 |  20 |  0.013 |
849.56/840.39	c (693,0) c 
849.56/840.39	c (693,0) c synthesis       69771 conflicts   484632696 propagations      102 conflicts/sec   710053 propagations/sec
849.56/840.39	c (693,0) c real: 693.135 s, cpu: 682.53 s, memory: 5594.17 Mb
878.58/869.39	c (722,0) c
878.58/869.39	c (722,0) c |------------------------------------------------------------------------------------------------------------------------|
878.58/869.39	c (722,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
878.58/869.39	c (722,0) c |------------------------------------------------------------------------------------------------------------------------|
878.58/869.39	c (722,0) c |  0 |    297 |     214082 |      71581 |  1590680 |    18013 |     8356 |        0 |        0 |    19965 |  20 |  0.013 |
878.58/869.39	c (722,0) c 
878.58/869.39	c (722,0) c synthesis       71581 conflicts   508100834 propagations      101 conflicts/sec   714254 propagations/sec
878.58/869.39	c (722,0) c real: 722.135 s, cpu: 711.373 s, memory: 5594.17 Mb
907.60/898.39	c (751,0) c
907.60/898.39	c (751,0) c |------------------------------------------------------------------------------------------------------------------------|
907.60/898.39	c (751,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
907.60/898.39	c (751,0) c |------------------------------------------------------------------------------------------------------------------------|
907.60/898.39	c (751,0) c |  0 |    303 |     219285 |      74196 |  1637832 |    20628 |     8436 |        0 |        0 |    20815 |  20 |  0.013 |
907.60/898.39	c (751,0) c 
907.60/898.39	c (751,0) c synthesis       74196 conflicts   533688484 propagations      100 conflicts/sec   720967 propagations/sec
907.60/898.39	c (751,0) c real: 751.135 s, cpu: 740.24 s, memory: 5594.17 Mb
936.63/927.39	c (780,0) c
936.63/927.39	c (780,0) c |------------------------------------------------------------------------------------------------------------------------|
936.63/927.39	c (780,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
936.63/927.39	c (780,0) c |------------------------------------------------------------------------------------------------------------------------|
936.63/927.39	c (780,0) c |  0 |    308 |     228384 |      79381 |  1678713 |    25812 |     9027 |        0 |        0 |    21673 |  20 |  0.014 |
936.63/927.39	c (780,0) c 
936.63/927.39	c (780,0) c synthesis       79381 conflicts   557992134 propagations      103 conflicts/sec   725507 propagations/sec
936.63/927.39	c (780,0) c real: 780.135 s, cpu: 769.106 s, memory: 5594.17 Mb
965.65/956.39	c (809,0) c
965.65/956.39	c (809,0) c |------------------------------------------------------------------------------------------------------------------------|
965.65/956.39	c (809,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
965.65/956.39	c (809,0) c |------------------------------------------------------------------------------------------------------------------------|
965.65/956.39	c (809,0) c |  0 |    321 |     234831 |      81187 |  1744424 |    27618 |     9199 |        0 |        0 |    22553 |  20 |  0.014 |
965.65/956.39	c (809,0) c 
965.65/956.39	c (809,0) c synthesis       81187 conflicts   576306512 propagations      102 conflicts/sec   722272 propagations/sec
965.65/956.39	c (809,0) c real: 809.135 s, cpu: 797.908 s, memory: 5594.17 Mb
994.67/985.39	c (838,0) c
994.67/985.39	c (838,0) c |------------------------------------------------------------------------------------------------------------------------|
994.67/985.39	c (838,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
994.67/985.39	c (838,0) c |------------------------------------------------------------------------------------------------------------------------|
994.67/985.39	c (838,0) c |  0 |    337 |     240406 |      82116 |  1801638 |    28545 |     9260 |        0 |        0 |    23417 |  20 |  0.015 |
994.67/985.39	c (838,0) c 
994.67/985.39	c (838,0) c synthesis       82116 conflicts   593732413 propagations       99 conflicts/sec   718168 propagations/sec
994.67/985.39	c (838,0) c real: 838.135 s, cpu: 826.732 s, memory: 5594.17 Mb
1023.68/1014.39	c (867,0) c
1023.68/1014.39	c (867,0) c |------------------------------------------------------------------------------------------------------------------------|
1023.68/1014.39	c (867,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1023.68/1014.39	c (867,0) c |------------------------------------------------------------------------------------------------------------------------|
1023.68/1014.39	c (867,0) c |  0 |    342 |     247784 |      86897 |  1817384 |    33326 |     9697 |        0 |        0 |    24306 |  20 |  0.015 |
1023.68/1014.39	c (867,0) c 
1023.68/1014.39	c (867,0) c synthesis       86897 conflicts   617527883 propagations      102 conflicts/sec   721718 propagations/sec
1023.68/1014.39	c (867,0) c real: 867.135 s, cpu: 855.635 s, memory: 5594.17 Mb
1052.71/1043.39	c (896,0) c
1052.71/1043.39	c (896,0) c |------------------------------------------------------------------------------------------------------------------------|
1052.71/1043.39	c (896,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1052.71/1043.39	c (896,0) c |------------------------------------------------------------------------------------------------------------------------|
1052.71/1043.39	c (896,0) c |  0 |    344 |     253439 |      91161 |  1838266 |    19982 |    10004 |        0 |        0 |    25199 |  20 |  0.015 |
1052.71/1043.39	c (896,0) c 
1052.71/1043.39	c (896,0) c synthesis       91161 conflicts   640891139 propagations      103 conflicts/sec   724593 propagations/sec
1052.71/1043.39	c (896,0) c real: 896.135 s, cpu: 884.484 s, memory: 5594.17 Mb
1081.73/1072.39	c (925,0) c
1081.73/1072.39	c (925,0) c |------------------------------------------------------------------------------------------------------------------------|
1081.73/1072.39	c (925,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1081.73/1072.39	c (925,0) c |------------------------------------------------------------------------------------------------------------------------|
1081.73/1072.39	c (925,0) c |  0 |    352 |     260007 |      94272 |  1889026 |    23093 |    10197 |        0 |        0 |    26024 |  20 |  0.015 |
1081.73/1072.39	c (925,0) c 
1081.73/1072.39	c (925,0) c synthesis       94272 conflicts   666180006 propagations      103 conflicts/sec   729426 propagations/sec
1081.73/1072.39	c (925,0) c real: 925.135 s, cpu: 913.293 s, memory: 5594.17 Mb
1110.75/1101.39	c (954,0) c
1110.75/1101.39	c (954,0) c |------------------------------------------------------------------------------------------------------------------------|
1110.75/1101.39	c (954,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1110.75/1101.39	c (954,0) c |------------------------------------------------------------------------------------------------------------------------|
1110.75/1101.39	c (954,0) c |  0 |    366 |     271019 |      97553 |  1940922 |    26373 |    10764 |        0 |        0 |    26907 |  20 |  0.016 |
1110.75/1101.39	c (954,0) c 
1110.75/1101.39	c (954,0) c synthesis       97553 conflicts   684790781 propagations      104 conflicts/sec   726874 propagations/sec
1110.75/1101.39	c (954,0) c real: 954.135 s, cpu: 942.104 s, memory: 5594.17 Mb
1139.78/1130.39	c (983,0) c
1139.78/1130.39	c (983,0) c |------------------------------------------------------------------------------------------------------------------------|
1139.78/1130.39	c (983,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1139.78/1130.39	c (983,0) c |------------------------------------------------------------------------------------------------------------------------|
1139.78/1130.39	c (983,0) c |  0 |    380 |     275087 |      98245 |  1986311 |    27064 |    10780 |        0 |        0 |    27749 |  20 |  0.016 |
1139.78/1130.39	c (983,0) c 
1139.78/1130.39	c (983,0) c synthesis       98245 conflicts   703278414 propagations      101 conflicts/sec   724353 propagations/sec
1139.78/1130.39	c (983,0) c real: 983.135 s, cpu: 970.906 s, memory: 5594.17 Mb
1168.80/1159.39	c (1012,0) c
1168.80/1159.39	c (1012,0) c |------------------------------------------------------------------------------------------------------------------------|
1168.80/1159.39	c (1012,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1168.80/1159.39	c (1012,0) c |------------------------------------------------------------------------------------------------------------------------|
1168.80/1159.39	c (1012,0) c |  0 |    395 |     280961 |      99979 |  2040693 |    28798 |    10896 |        0 |        0 |    28601 |  20 |  0.016 |
1168.80/1159.39	c (1012,0) c 
1168.80/1159.39	c (1012,0) c synthesis       99979 conflicts   722695369 propagations      100 conflicts/sec   722872 propagations/sec
1168.80/1159.39	c (1012,0) c real: 1012.13 s, cpu: 999.756 s, memory: 5594.17 Mb
1197.83/1188.39	c (1041,0) c
1197.83/1188.39	c (1041,0) c |------------------------------------------------------------------------------------------------------------------------|
1197.83/1188.39	c (1041,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1197.83/1188.39	c (1041,0) c |------------------------------------------------------------------------------------------------------------------------|
1197.83/1188.39	c (1041,0) c |  0 |    411 |     289863 |     103369 |  2101781 |    32185 |    11166 |        0 |        0 |    29434 |  20 |  0.018 |
1197.83/1188.39	c (1041,0) c 
1197.83/1188.39	c (1041,0) c synthesis      103369 conflicts   745209684 propagations      100 conflicts/sec   724521 propagations/sec
1197.83/1188.39	c (1041,0) c real: 1041.13 s, cpu: 1028.55 s, memory: 5594.17 Mb
1226.86/1217.39	c (1070,0) c
1226.86/1217.39	c (1070,0) c |------------------------------------------------------------------------------------------------------------------------|
1226.86/1217.39	c (1070,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1226.86/1217.39	c (1070,0) c |------------------------------------------------------------------------------------------------------------------------|
1226.86/1217.39	c (1070,0) c |  0 |    418 |     296442 |     106918 |  2149148 |    35734 |    11367 |        0 |        0 |    30280 |  20 |  0.018 |
1226.86/1217.39	c (1070,0) c 
1226.86/1217.39	c (1070,0) c synthesis      106918 conflicts   772823035 propagations      101 conflicts/sec   730854 propagations/sec
1226.86/1217.39	c (1070,0) c real: 1070.13 s, cpu: 1057.43 s, memory: 5594.17 Mb
1255.88/1246.39	c (1099,0) c
1255.88/1246.39	c (1099,0) c |------------------------------------------------------------------------------------------------------------------------|
1255.88/1246.39	c (1099,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1255.88/1246.39	c (1099,0) c |------------------------------------------------------------------------------------------------------------------------|
1255.88/1246.39	c (1099,0) c |  0 |    427 |     300365 |     107961 |  2207039 |    36777 |    11414 |        0 |        0 |    31141 |  20 |  0.018 |
1255.88/1246.39	c (1099,0) c 
1255.88/1246.39	c (1099,0) c synthesis      107961 conflicts   790404116 propagations       99 conflicts/sec   727650 propagations/sec
1255.88/1246.39	c (1099,0) c real: 1099.13 s, cpu: 1086.24 s, memory: 5594.17 Mb
1284.89/1275.39	c (1128,0) c
1284.89/1275.39	c (1128,0) c |------------------------------------------------------------------------------------------------------------------------|
1284.89/1275.39	c (1128,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1284.89/1275.39	c (1128,0) c |------------------------------------------------------------------------------------------------------------------------|
1284.89/1275.39	c (1128,0) c |  0 |    439 |     305755 |     109415 |  2273199 |    38230 |    11478 |        0 |        0 |    32000 |  20 |  0.019 |
1284.89/1275.39	c (1128,0) c 
1284.89/1275.39	c (1128,0) c synthesis      109415 conflicts   809455424 propagations       98 conflicts/sec   725918 propagations/sec
1284.89/1275.39	c (1128,0) c real: 1128.13 s, cpu: 1115.08 s, memory: 5594.17 Mb
1313.93/1304.39	c (1157,0) c
1313.93/1304.39	c (1157,0) c |------------------------------------------------------------------------------------------------------------------------|
1313.93/1304.39	c (1157,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1313.93/1304.39	c (1157,0) c |------------------------------------------------------------------------------------------------------------------------|
1313.93/1304.39	c (1157,0) c |  0 |    453 |     311240 |     110546 |  2333023 |    39360 |    11514 |        0 |        0 |    32851 |  20 |  0.020 |
1313.93/1304.39	c (1157,0) c 
1313.93/1304.39	c (1157,0) c synthesis      110546 conflicts   828372864 propagations       97 conflicts/sec   724185 propagations/sec
1313.93/1304.39	c (1157,0) c real: 1157.13 s, cpu: 1143.87 s, memory: 5594.17 Mb
1342.95/1333.39	c (1186,0) c
1342.95/1333.39	c (1186,0) c |------------------------------------------------------------------------------------------------------------------------|
1342.95/1333.39	c (1186,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1342.95/1333.39	c (1186,0) c |------------------------------------------------------------------------------------------------------------------------|
1342.95/1333.39	c (1186,0) c |  0 |    473 |     318610 |     111877 |  2411345 |    20492 |    11591 |        0 |        0 |    33703 |  20 |  0.020 |
1342.95/1333.39	c (1186,0) c 
1342.95/1333.39	c (1186,0) c synthesis      111877 conflicts   846017627 propagations       95 conflicts/sec   721429 propagations/sec
1342.95/1333.39	c (1186,0) c real: 1186.13 s, cpu: 1172.7 s, memory: 5594.17 Mb
1371.96/1362.39	c (1215,0) c
1371.96/1362.39	c (1215,0) c |------------------------------------------------------------------------------------------------------------------------|
1371.96/1362.39	c (1215,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1371.96/1362.39	c (1215,0) c |------------------------------------------------------------------------------------------------------------------------|
1371.96/1362.39	c (1215,0) c |  0 |    490 |     326724 |     114156 |  2473177 |    22770 |    11781 |        0 |        0 |    34582 |  20 |  0.020 |
1371.96/1362.39	c (1215,0) c 
1371.96/1362.39	c (1215,0) c synthesis      114156 conflicts   865310651 propagations       95 conflicts/sec   720183 propagations/sec
1371.96/1362.39	c (1215,0) c real: 1215.13 s, cpu: 1201.52 s, memory: 5594.17 Mb
1400.98/1391.39	c (1244,0) c
1400.98/1391.39	c (1244,0) c |------------------------------------------------------------------------------------------------------------------------|
1400.98/1391.39	c (1244,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1400.98/1391.39	c (1244,0) c |------------------------------------------------------------------------------------------------------------------------|
1400.98/1391.39	c (1244,0) c |  0 |    499 |     332654 |     116009 |  2526453 |    24622 |    11916 |        0 |        0 |    35426 |  20 |  0.021 |
1400.98/1391.39	c (1244,0) c 
1400.98/1391.39	c (1244,0) c synthesis      116009 conflicts   885869545 propagations       94 conflicts/sec   720025 propagations/sec
1400.98/1391.39	c (1244,0) c real: 1244.13 s, cpu: 1230.33 s, memory: 5594.17 Mb
1430.01/1420.39	c (1273,0) c
1430.01/1420.40	c (1273,0) c |------------------------------------------------------------------------------------------------------------------------|
1430.01/1420.40	c (1273,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1430.01/1420.40	c (1273,0) c |------------------------------------------------------------------------------------------------------------------------|
1430.01/1420.40	c (1273,0) c |  0 |    508 |     338636 |     118513 |  2580972 |    27125 |    12013 |        0 |        0 |    36280 |  20 |  0.022 |
1430.01/1420.40	c (1273,0) c 
1430.01/1420.40	c (1273,0) c synthesis      118513 conflicts   908998368 propagations       94 conflicts/sec   721920 propagations/sec
1430.01/1420.40	c (1273,0) c real: 1273.13 s, cpu: 1259.14 s, memory: 5594.17 Mb
1459.03/1449.39	c (1302,0) c
1459.03/1449.39	c (1302,0) c |------------------------------------------------------------------------------------------------------------------------|
1459.03/1449.39	c (1302,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1459.03/1449.39	c (1302,0) c |------------------------------------------------------------------------------------------------------------------------|
1459.03/1449.39	c (1302,0) c |  0 |    516 |     348225 |     121853 |  2636070 |    30462 |    12545 |        0 |        0 |    37119 |  20 |  0.024 |
1459.03/1449.39	c (1302,0) c 
1459.03/1449.39	c (1302,0) c synthesis      121853 conflicts   930221442 propagations       95 conflicts/sec   722216 propagations/sec
1459.03/1449.39	c (1302,0) c real: 1302.13 s, cpu: 1288.01 s, memory: 5594.17 Mb
1488.06/1478.39	c (1331,0) c
1488.06/1478.39	c (1331,0) c |------------------------------------------------------------------------------------------------------------------------|
1488.06/1478.39	c (1331,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1488.06/1478.39	c (1331,0) c |------------------------------------------------------------------------------------------------------------------------|
1488.06/1478.39	c (1331,0) c |  0 |    516 |     359038 |     130320 |  2671805 |    38929 |    12850 |        0 |        0 |    37957 |  20 |  0.024 |
1488.06/1478.39	c (1331,0) c 
1488.06/1478.39	c (1331,0) c synthesis      130320 conflicts   969524820 propagations       99 conflicts/sec   736181 propagations/sec
1488.06/1478.39	c (1331,0) c real: 1331.13 s, cpu: 1316.96 s, memory: 5594.17 Mb
1517.08/1507.39	c (1360,0) c
1517.08/1507.39	c (1360,0) c |------------------------------------------------------------------------------------------------------------------------|
1517.08/1507.39	c (1360,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1517.08/1507.39	c (1360,0) c |------------------------------------------------------------------------------------------------------------------------|
1517.08/1507.39	c (1360,0) c |  0 |    516 |     371333 |     139703 |  2692773 |    25518 |    13209 |        0 |        0 |    38797 |  20 |  0.024 |
1517.08/1507.39	c (1360,0) c 
1517.08/1507.39	c (1360,0) c synthesis      139703 conflicts  1011075612 propagations      104 conflicts/sec   751208 propagations/sec
1517.08/1507.39	c (1360,0) c real: 1360.13 s, cpu: 1345.93 s, memory: 5594.17 Mb
1546.12/1536.39	c (1389,0) c
1546.12/1536.39	c (1389,0) c |------------------------------------------------------------------------------------------------------------------------|
1546.12/1536.39	c (1389,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1546.12/1536.39	c (1389,0) c |------------------------------------------------------------------------------------------------------------------------|
1546.12/1536.39	c (1389,0) c |  0 |    516 |     384695 |     150035 |  2701638 |    35850 |    13694 |        0 |        0 |    39655 |  20 |  0.024 |
1546.12/1536.39	c (1389,0) c 
1546.12/1536.39	c (1389,0) c synthesis      150035 conflicts  1053426550 propagations      109 conflicts/sec   766181 propagations/sec
1546.12/1536.39	c (1389,0) c real: 1389.13 s, cpu: 1374.91 s, memory: 5594.17 Mb
1575.14/1565.39	c (1418,0) c
1575.14/1565.39	c (1418,0) c |------------------------------------------------------------------------------------------------------------------------|
1575.14/1565.39	c (1418,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1575.14/1565.39	c (1418,0) c |------------------------------------------------------------------------------------------------------------------------|
1575.14/1565.39	c (1418,0) c |  0 |    516 |     397807 |     160604 |  2707671 |    46419 |    14189 |        0 |        0 |    40516 |  20 |  0.024 |
1575.14/1565.39	c (1418,0) c 
1575.14/1565.39	c (1418,0) c synthesis      160604 conflicts  1095509912 propagations      114 conflicts/sec   780341 propagations/sec
1575.14/1565.39	c (1418,0) c real: 1418.13 s, cpu: 1403.89 s, memory: 5594.17 Mb
1604.15/1594.39	c (1447,0) c
1604.15/1594.39	c (1447,0) c |------------------------------------------------------------------------------------------------------------------------|
1604.15/1594.39	c (1447,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1604.15/1594.39	c (1447,0) c |------------------------------------------------------------------------------------------------------------------------|
1604.15/1594.39	c (1447,0) c |  0 |    516 |     410323 |     170747 |  2712289 |    31167 |    14750 |        0 |        0 |    41364 |  20 |  0.024 |
1604.15/1594.39	c (1447,0) c 
1604.15/1594.39	c (1447,0) c synthesis      170747 conflicts  1137966686 propagations      119 conflicts/sec   794196 propagations/sec
1604.15/1594.39	c (1447,0) c real: 1447.13 s, cpu: 1432.85 s, memory: 5594.17 Mb
1633.17/1623.39	c (1476,0) c
1633.17/1623.39	c (1476,0) c |------------------------------------------------------------------------------------------------------------------------|
1633.17/1623.39	c (1476,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1633.17/1623.39	c (1476,0) c |------------------------------------------------------------------------------------------------------------------------|
1633.17/1623.39	c (1476,0) c |  0 |    523 |     423189 |     175462 |  2757068 |    35881 |    15064 |        0 |        0 |    42231 |  20 |  0.025 |
1633.17/1623.39	c (1476,0) c 
1633.17/1623.39	c (1476,0) c synthesis      175462 conflicts  1164570565 propagations      120 conflicts/sec   796797 propagations/sec
1633.17/1623.39	c (1476,0) c real: 1476.13 s, cpu: 1461.57 s, memory: 5594.17 Mb
1662.19/1652.39	c (1505,0) c
1662.19/1652.39	c (1505,0) c |------------------------------------------------------------------------------------------------------------------------|
1662.19/1652.39	c (1505,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1662.19/1652.39	c (1505,0) c |------------------------------------------------------------------------------------------------------------------------|
1662.19/1652.39	c (1505,0) c |  0 |    528 |     428578 |     177960 |  2791896 |    38379 |    15209 |        0 |        0 |    43008 |  20 |  0.025 |
1662.19/1652.39	c (1505,0) c 
1662.19/1652.39	c (1505,0) c synthesis      177960 conflicts  1195175627 propagations      119 conflicts/sec   801909 propagations/sec
1662.19/1652.39	c (1505,0) c real: 1505.13 s, cpu: 1490.41 s, memory: 5594.17 Mb
1692.22/1682.39	c (1535,0) c
1692.22/1682.39	c (1535,0) c |------------------------------------------------------------------------------------------------------------------------|
1692.22/1682.39	c (1535,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1692.22/1682.39	c (1535,0) c |------------------------------------------------------------------------------------------------------------------------|
1692.22/1682.39	c (1535,0) c |  0 |    539 |     435036 |     180962 |  2840869 |    41381 |    15429 |        0 |        0 |    43885 |  20 |  0.025 |
1692.22/1682.39	c (1535,0) c 
1692.22/1682.39	c (1535,0) c synthesis      180962 conflicts  1221361482 propagations      119 conflicts/sec   803375 propagations/sec
1692.22/1682.39	c (1535,0) c real: 1535.13 s, cpu: 1520.29 s, memory: 5594.17 Mb
1721.25/1711.39	c (1564,0) c
1721.25/1711.39	c (1564,0) c |------------------------------------------------------------------------------------------------------------------------|
1721.25/1711.39	c (1564,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1721.25/1711.39	c (1564,0) c |------------------------------------------------------------------------------------------------------------------------|
1721.25/1711.39	c (1564,0) c |  0 |    549 |     444616 |     185617 |  2900181 |    46036 |    15629 |        0 |        0 |    44744 |  20 |  0.025 |
1721.25/1711.39	c (1564,0) c 
1721.25/1711.39	c (1564,0) c synthesis      185617 conflicts  1247127982 propagations      120 conflicts/sec   805073 propagations/sec
1721.25/1711.39	c (1564,0) c real: 1564.13 s, cpu: 1549.09 s, memory: 5594.17 Mb
1750.26/1740.39	c (1593,0) c
1750.26/1740.39	c (1593,0) c |------------------------------------------------------------------------------------------------------------------------|
1750.26/1740.39	c (1593,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1750.26/1740.39	c (1593,0) c |------------------------------------------------------------------------------------------------------------------------|
1750.26/1740.39	c (1593,0) c |  0 |    555 |     453926 |     190198 |  2961380 |    50617 |    15974 |        0 |        0 |    45635 |  20 |  0.025 |
1750.26/1740.39	c (1593,0) c 
1750.26/1740.39	c (1593,0) c synthesis      190198 conflicts  1270057724 propagations      121 conflicts/sec   804878 propagations/sec
1750.26/1740.39	c (1593,0) c real: 1593.13 s, cpu: 1577.95 s, memory: 5594.17 Mb
1779.28/1769.39	c (1622,0) c
1779.28/1769.39	c (1622,0) c |------------------------------------------------------------------------------------------------------------------------|
1779.28/1769.39	c (1622,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1779.28/1769.39	c (1622,0) c |------------------------------------------------------------------------------------------------------------------------|
1779.28/1769.39	c (1622,0) c |  0 |    566 |     459941 |     191610 |  3022224 |    52029 |    16044 |        0 |        0 |    46499 |  20 |  0.025 |
1779.28/1769.39	c (1622,0) c 
1779.28/1769.39	c (1622,0) c synthesis      191610 conflicts  1288810484 propagations      119 conflicts/sec   802123 propagations/sec
1779.28/1769.39	c (1622,0) c real: 1622.13 s, cpu: 1606.75 s, memory: 5594.17 Mb
1808.31/1798.39	c (1651,0) c
1808.31/1798.39	c (1651,0) c |------------------------------------------------------------------------------------------------------------------------|
1808.31/1798.39	c (1651,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1808.31/1798.39	c (1651,0) c |------------------------------------------------------------------------------------------------------------------------|
1808.31/1798.39	c (1651,0) c |  0 |    577 |     468278 |     194051 |  3096554 |    54469 |    16252 |        0 |        0 |    47368 |  20 |  0.026 |
1808.31/1798.39	c (1651,0) c 
1808.31/1798.39	c (1651,0) c synthesis      194051 conflicts  1309158724 propagations      119 conflicts/sec   800412 propagations/sec
1808.31/1798.39	c (1651,0) c real: 1651.13 s, cpu: 1635.61 s, memory: 5594.17 Mb
1837.33/1827.39	c (1680,0) c
1837.33/1827.39	c (1680,0) c |------------------------------------------------------------------------------------------------------------------------|
1837.33/1827.39	c (1680,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1837.33/1827.39	c (1680,0) c |------------------------------------------------------------------------------------------------------------------------|
1837.33/1827.39	c (1680,0) c |  0 |    596 |     476441 |     195753 |  3159457 |    28162 |    16419 |        0 |        0 |    48196 |  20 |  0.026 |
1837.33/1827.39	c (1680,0) c 
1837.33/1827.39	c (1680,0) c synthesis      195753 conflicts  1327484672 propagations      118 conflicts/sec   797589 propagations/sec
1837.33/1827.39	c (1680,0) c real: 1680.13 s, cpu: 1664.37 s, memory: 5594.17 Mb
1866.35/1856.39	c (1709,0) c
1866.35/1856.39	c (1709,0) c |------------------------------------------------------------------------------------------------------------------------|
1866.35/1856.39	c (1709,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1866.35/1856.39	c (1709,0) c |------------------------------------------------------------------------------------------------------------------------|
1866.35/1856.39	c (1709,0) c |  0 |    601 |     482148 |     198883 |  3196241 |    31292 |    16543 |        0 |        0 |    49048 |  20 |  0.026 |
1866.35/1856.39	c (1709,0) c 
1866.35/1856.39	c (1709,0) c synthesis      198883 conflicts  1357358128 propagations      117 conflicts/sec   801593 propagations/sec
1866.35/1856.39	c (1709,0) c real: 1709.13 s, cpu: 1693.33 s, memory: 5594.17 Mb
1895.36/1885.39	c (1738,0) c
1895.36/1885.39	c (1738,0) c |------------------------------------------------------------------------------------------------------------------------|
1895.36/1885.39	c (1738,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1895.36/1885.39	c (1738,0) c |------------------------------------------------------------------------------------------------------------------------|
1895.36/1885.39	c (1738,0) c |  0 |    601 |     488683 |     203093 |  3210728 |    35502 |    16753 |        0 |        0 |    49901 |  20 |  0.026 |
1895.36/1885.39	c (1738,0) c 
1895.36/1885.39	c (1738,0) c synthesis      203093 conflicts  1389961663 propagations      118 conflicts/sec   807051 propagations/sec
1895.36/1885.39	c (1738,0) c real: 1738.13 s, cpu: 1722.27 s, memory: 5594.17 Mb
1924.40/1914.39	c (1767,0) c
1924.40/1914.39	c (1767,0) c |------------------------------------------------------------------------------------------------------------------------|
1924.40/1914.39	c (1767,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1924.40/1914.39	c (1767,0) c |------------------------------------------------------------------------------------------------------------------------|
1924.40/1914.39	c (1767,0) c |  0 |    601 |     494255 |     207004 |  3219972 |    39413 |    16960 |        0 |        0 |    50753 |  20 |  0.026 |
1924.40/1914.39	c (1767,0) c 
1924.40/1914.39	c (1767,0) c synthesis      207004 conflicts  1422148343 propagations      118 conflicts/sec   812084 propagations/sec
1924.40/1914.39	c (1767,0) c real: 1767.13 s, cpu: 1751.23 s, memory: 5594.17 Mb
1953.42/1943.39	c (1796,0) c
1953.42/1943.39	c (1796,0) c |------------------------------------------------------------------------------------------------------------------------|
1953.42/1943.39	c (1796,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1953.42/1943.39	c (1796,0) c |------------------------------------------------------------------------------------------------------------------------|
1953.42/1943.39	c (1796,0) c |  0 |    601 |     500122 |     211047 |  3225765 |    43456 |    17191 |        0 |        0 |    51605 |  20 |  0.026 |
1953.42/1943.39	c (1796,0) c 
1953.42/1943.39	c (1796,0) c synthesis      211047 conflicts  1454755094 propagations      119 conflicts/sec   817189 propagations/sec
1953.42/1943.39	c (1796,0) c real: 1796.13 s, cpu: 1780.19 s, memory: 5594.17 Mb
1982.45/1972.39	c (1825,0) c
1982.45/1972.39	c (1825,0) c |------------------------------------------------------------------------------------------------------------------------|
1982.45/1972.39	c (1825,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1982.45/1972.39	c (1825,0) c |------------------------------------------------------------------------------------------------------------------------|
1982.45/1972.39	c (1825,0) c |  0 |    601 |     506041 |     215205 |  3229454 |    47614 |    17431 |        0 |        0 |    52466 |  20 |  0.026 |
1982.45/1972.39	c (1825,0) c 
1982.45/1972.39	c (1825,0) c synthesis      215205 conflicts  1487418186 propagations      119 conflicts/sec   822160 propagations/sec
1982.45/1972.39	c (1825,0) c real: 1825.13 s, cpu: 1809.16 s, memory: 5594.17 Mb
2011.47/2001.39	c (1854,0) c
2011.47/2001.39	c (1854,0) c |------------------------------------------------------------------------------------------------------------------------|
2011.47/2001.39	c (1854,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2011.47/2001.39	c (1854,0) c |------------------------------------------------------------------------------------------------------------------------|
2011.47/2001.39	c (1854,0) c |  0 |    612 |     515264 |     217184 |  3292581 |    49593 |    17575 |        0 |        0 |    53318 |  20 |  0.026 |
2011.47/2001.39	c (1854,0) c 
2011.47/2001.39	c (1854,0) c synthesis      217184 conflicts  1506515216 propagations      118 conflicts/sec   819726 propagations/sec
2011.47/2001.39	c (1854,0) c real: 1854.13 s, cpu: 1837.83 s, memory: 5594.17 Mb
2040.48/2030.39	c (1883,0) c
2040.48/2030.39	c (1883,0) c |------------------------------------------------------------------------------------------------------------------------|
2040.48/2030.39	c (1883,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2040.48/2030.39	c (1883,0) c |------------------------------------------------------------------------------------------------------------------------|
2040.48/2030.39	c (1883,0) c |  0 |    623 |     523986 |     219743 |  3361860 |    52152 |    18162 |        0 |        0 |    54164 |  20 |  0.026 |
2040.48/2030.39	c (1883,0) c 
2040.48/2030.39	c (1883,0) c synthesis      219743 conflicts  1524762120 propagations      118 conflicts/sec   816829 propagations/sec
2040.48/2030.39	c (1883,0) c real: 1883.13 s, cpu: 1866.68 s, memory: 5594.17 Mb
2069.50/2059.39	c (1912,0) c
2069.50/2059.39	c (1912,0) c |------------------------------------------------------------------------------------------------------------------------|
2069.50/2059.39	c (1912,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2069.50/2059.39	c (1912,0) c |------------------------------------------------------------------------------------------------------------------------|
2069.50/2059.39	c (1912,0) c |  0 |    642 |     534114 |     221499 |  3432969 |    53907 |    18349 |        0 |        0 |    54962 |  20 |  0.027 |
2069.50/2059.39	c (1912,0) c 
2069.50/2059.39	c (1912,0) c synthesis      221499 conflicts  1543950049 propagations      117 conflicts/sec   814554 propagations/sec
2069.50/2059.39	c (1912,0) c real: 1912.13 s, cpu: 1895.46 s, memory: 5594.17 Mb
2098.53/2088.39	c (1941,0) c
2098.53/2088.39	c (1941,0) c |------------------------------------------------------------------------------------------------------------------------|
2098.53/2088.39	c (1941,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2098.53/2088.39	c (1941,0) c |------------------------------------------------------------------------------------------------------------------------|
2098.53/2088.39	c (1941,0) c |  0 |    656 |     543005 |     225739 |  3479000 |    58146 |    18925 |        0 |        0 |    55804 |  20 |  0.028 |
2098.53/2088.39	c (1941,0) c 
2098.53/2088.39	c (1941,0) c synthesis      225739 conflicts  1567746684 propagations      117 conflicts/sec   814696 propagations/sec
2098.53/2088.39	c (1941,0) c real: 1941.13 s, cpu: 1924.33 s, memory: 5594.17 Mb
2127.56/2117.39	c (1970,0) c
2127.56/2117.39	c (1970,0) c |------------------------------------------------------------------------------------------------------------------------|
2127.56/2117.39	c (1970,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2127.56/2117.39	c (1970,0) c |------------------------------------------------------------------------------------------------------------------------|
2127.56/2117.39	c (1970,0) c |  0 |    661 |     550079 |     229401 |  3520218 |    31210 |    19704 |        0 |        0 |    56706 |  20 |  0.029 |
2127.56/2117.39	c (1970,0) c 
2127.56/2117.39	c (1970,0) c synthesis      229401 conflicts  1587999899 propagations      117 conflicts/sec   813051 propagations/sec
2127.56/2117.39	c (1970,0) c real: 1970.13 s, cpu: 1953.14 s, memory: 5594.17 Mb
2156.57/2146.39	c (1999,0) c
2156.57/2146.39	c (1999,0) c |------------------------------------------------------------------------------------------------------------------------|
2156.57/2146.39	c (1999,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2156.57/2146.39	c (1999,0) c |------------------------------------------------------------------------------------------------------------------------|
2156.57/2146.39	c (1999,0) c |  0 |    677 |     555932 |     230353 |  3574533 |    32162 |    19744 |        0 |        0 |    57563 |  20 |  0.029 |
2156.57/2146.39	c (1999,0) c 
2156.57/2146.39	c (1999,0) c synthesis      230353 conflicts  1606824695 propagations      116 conflicts/sec   810713 propagations/sec
2156.57/2146.39	c (1999,0) c real: 1999.13 s, cpu: 1981.99 s, memory: 5594.17 Mb
2185.60/2175.39	c (2028,0) c
2185.60/2175.39	c (2028,0) c |------------------------------------------------------------------------------------------------------------------------|
2185.60/2175.39	c (2028,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2185.60/2175.39	c (2028,0) c |------------------------------------------------------------------------------------------------------------------------|
2185.60/2175.39	c (2028,0) c |  0 |    683 |     563104 |     234985 |  3608292 |    36793 |    20042 |        0 |        0 |    58386 |  20 |  0.029 |
2185.60/2175.39	c (2028,0) c 
2185.60/2175.39	c (2028,0) c synthesis      234985 conflicts  1638231178 propagations      117 conflicts/sec   814684 propagations/sec
2185.60/2175.39	c (2028,0) c real: 2028.13 s, cpu: 2010.88 s, memory: 5594.17 Mb
2214.62/2204.39	c (2057,0) c
2214.62/2204.39	c (2057,0) c |------------------------------------------------------------------------------------------------------------------------|
2214.62/2204.39	c (2057,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2214.62/2204.39	c (2057,0) c |------------------------------------------------------------------------------------------------------------------------|
2214.62/2204.39	c (2057,0) c |  0 |    683 |     572079 |     241340 |  3627267 |    43148 |    20225 |        0 |        0 |    59226 |  20 |  0.029 |
2214.62/2204.39	c (2057,0) c 
2214.62/2204.39	c (2057,0) c synthesis      241340 conflicts  1676050438 propagations      118 conflicts/sec   821657 propagations/sec
2214.62/2204.39	c (2057,0) c real: 2057.13 s, cpu: 2039.84 s, memory: 5594.17 Mb
2243.64/2233.39	c (2086,0) c
2243.64/2233.39	c (2086,0) c |------------------------------------------------------------------------------------------------------------------------|
2243.64/2233.39	c (2086,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2243.64/2233.39	c (2086,0) c |------------------------------------------------------------------------------------------------------------------------|
2243.64/2233.39	c (2086,0) c |  0 |    683 |     581281 |     247989 |  3630790 |    49797 |    20401 |        0 |        0 |    60074 |  20 |  0.029 |
2243.64/2233.39	c (2086,0) c 
2243.64/2233.39	c (2086,0) c synthesis      247989 conflicts  1714430231 propagations      120 conflicts/sec   828703 propagations/sec
2243.64/2233.39	c (2086,0) c real: 2086.13 s, cpu: 2068.81 s, memory: 5594.17 Mb
2272.68/2262.39	c (2115,0) c
2272.68/2262.39	c (2115,0) c |------------------------------------------------------------------------------------------------------------------------|
2272.68/2262.39	c (2115,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2272.68/2262.39	c (2115,0) c |------------------------------------------------------------------------------------------------------------------------|
2272.68/2262.39	c (2115,0) c |  0 |    683 |     592785 |     256292 |  3633046 |    58100 |    20699 |        0 |        0 |    60955 |  20 |  0.029 |
2272.68/2262.39	c (2115,0) c 
2272.68/2262.39	c (2115,0) c synthesis      256292 conflicts  1753619049 propagations      122 conflicts/sec   835944 propagations/sec
2272.68/2262.39	c (2115,0) c real: 2115.13 s, cpu: 2097.77 s, memory: 5594.17 Mb
2301.70/2291.39	c (2144,0) c
2301.70/2291.39	c (2144,0) c |------------------------------------------------------------------------------------------------------------------------|
2301.70/2291.39	c (2144,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2301.70/2291.39	c (2144,0) c |------------------------------------------------------------------------------------------------------------------------|
2301.70/2291.39	c (2144,0) c |  0 |    683 |     603387 |     263900 |  3634303 |    65708 |    20994 |        0 |        0 |    61819 |  20 |  0.029 |
2301.70/2291.39	c (2144,0) c 
2301.70/2291.39	c (2144,0) c synthesis      263900 conflicts  1792451775 propagations      124 conflicts/sec   842817 propagations/sec
2301.70/2291.39	c (2144,0) c real: 2144.13 s, cpu: 2126.74 s, memory: 5594.17 Mb
2330.72/2320.39	c (2173,0) c
2330.72/2320.39	c (2173,0) c |------------------------------------------------------------------------------------------------------------------------|
2330.72/2320.39	c (2173,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2330.72/2320.39	c (2173,0) c |------------------------------------------------------------------------------------------------------------------------|
2330.72/2320.39	c (2173,0) c |  0 |    683 |     614136 |     271629 |  3635550 |    40243 |    21314 |        0 |        0 |    62689 |  20 |  0.029 |
2330.72/2320.39	c (2173,0) c 
2330.72/2320.39	c (2173,0) c synthesis      271629 conflicts  1830892991 propagations      126 conflicts/sec   849323 propagations/sec
2330.72/2320.39	c (2173,0) c real: 2173.13 s, cpu: 2155.71 s, memory: 5594.17 Mb
2359.74/2349.39	c (2202,0) c
2359.74/2349.39	c (2202,0) c |------------------------------------------------------------------------------------------------------------------------|
2359.74/2349.39	c (2202,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2359.74/2349.39	c (2202,0) c |------------------------------------------------------------------------------------------------------------------------|
2359.74/2349.39	c (2202,0) c |  0 |    683 |     625513 |     279790 |  3641533 |    48404 |    21581 |        0 |        0 |    63558 |  20 |  0.029 |
2359.74/2349.39	c (2202,0) c 
2359.74/2349.39	c (2202,0) c synthesis      279790 conflicts  1869850365 propagations      128 conflicts/sec   855894 propagations/sec
2359.74/2349.39	c (2202,0) c real: 2202.13 s, cpu: 2184.67 s, memory: 5594.17 Mb
2388.76/2378.39	c (2231,0) c
2388.76/2378.39	c (2231,0) c |------------------------------------------------------------------------------------------------------------------------|
2388.76/2378.39	c (2231,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2388.76/2378.39	c (2231,0) c |------------------------------------------------------------------------------------------------------------------------|
2388.76/2378.39	c (2231,0) c |  0 |    683 |     635490 |     287111 |  3643637 |    55725 |    21773 |        0 |        0 |    64406 |  20 |  0.029 |
2388.76/2378.39	c (2231,0) c 
2388.76/2378.39	c (2231,0) c synthesis      287111 conflicts  1908354034 propagations      130 conflicts/sec   862087 propagations/sec
2388.76/2378.39	c (2231,0) c real: 2231.13 s, cpu: 2213.64 s, memory: 5594.17 Mb
2417.79/2407.39	c (2260,0) c
2417.79/2407.39	c (2260,0) c |------------------------------------------------------------------------------------------------------------------------|
2417.79/2407.39	c (2260,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2417.79/2407.39	c (2260,0) c |------------------------------------------------------------------------------------------------------------------------|
2417.79/2407.39	c (2260,0) c |  0 |    683 |     645617 |     294280 |  3644638 |    62894 |    21935 |        0 |        0 |    65251 |  20 |  0.029 |
2417.79/2407.39	c (2260,0) c 
2417.79/2407.39	c (2260,0) c synthesis      294280 conflicts  1947156537 propagations      131 conflicts/sec   868251 propagations/sec
2417.79/2407.39	c (2260,0) c real: 2260.13 s, cpu: 2242.62 s, memory: 5594.17 Mb
2446.82/2436.39	c (2289,0) c
2446.82/2436.39	c (2289,0) c |------------------------------------------------------------------------------------------------------------------------|
2446.82/2436.39	c (2289,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2446.82/2436.39	c (2289,0) c |------------------------------------------------------------------------------------------------------------------------|
2446.82/2436.39	c (2289,0) c |  0 |    683 |     659176 |     303660 |  3647692 |    36474 |    22270 |        0 |        0 |    66142 |  20 |  0.029 |
2446.82/2436.39	c (2289,0) c 
2446.82/2436.39	c (2289,0) c synthesis      303660 conflicts  1986525233 propagations      134 conflicts/sec   874548 propagations/sec
2446.82/2436.39	c (2289,0) c real: 2289.13 s, cpu: 2271.49 s, memory: 5594.17 Mb
2475.83/2465.39	c (2318,0) c
2475.83/2465.39	c (2318,0) c |------------------------------------------------------------------------------------------------------------------------|
2475.83/2465.39	c (2318,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2475.83/2465.39	c (2318,0) c |------------------------------------------------------------------------------------------------------------------------|
2475.83/2465.39	c (2318,0) c |  0 |    690 |     665280 |     306254 |  3685668 |    39068 |    22545 |        0 |        0 |    67004 |  20 |  0.029 |
2475.83/2465.39	c (2318,0) c 
2475.83/2465.39	c (2318,0) c synthesis      306254 conflicts  2008192754 propagations      133 conflicts/sec   873021 propagations/sec
2475.83/2465.39	c (2318,0) c real: 2318.13 s, cpu: 2300.28 s, memory: 5594.17 Mb
2504.85/2494.39	c (2347,0) c
2504.85/2494.39	c (2347,0) c |------------------------------------------------------------------------------------------------------------------------|
2504.85/2494.39	c (2347,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2504.85/2494.39	c (2347,0) c |------------------------------------------------------------------------------------------------------------------------|
2504.85/2494.39	c (2347,0) c |  0 |    696 |     670325 |     308299 |  3738631 |    41113 |    22880 |        0 |        0 |    67827 |  20 |  0.029 |
2504.85/2494.39	c (2347,0) c 
2504.85/2494.39	c (2347,0) c synthesis      308299 conflicts  2027975184 propagations      132 conflicts/sec   870699 propagations/sec
2504.85/2494.39	c (2347,0) c real: 2347.13 s, cpu: 2329.14 s, memory: 5594.17 Mb
2530.56/2520.01	c (2373,0) receiving signal SIGTERM
2530.56/2520.01	s UNKNOWN
2530.56/2520.01	c (scop.sh) Receiving Signal. Removing all intermediate files.
2530.56/2520.01	c (scop.sh) Remove HOME/scop-1362-serial-file.bin.
2530.56/2520.02	c (scop.sh) Killing background jobs.
2530.56/2520.02	c (2373,0) receiving signal SIGTERM

Verifier Data


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 (9666 MiB free)
  memory of node 1: 16384 MiB (15015 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405385-1569341129/watcher-4405385-1569341129 -o /tmp/evaluation-result-4405385-1569341129/solver-4405385-1569341129 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405385-1569341129.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
solver pid=1362, runsolver pid=1359
Current StackSize limit: 8192 KiB


[startup+0.100148 s]*
/proc/loadavg: 4.10 5.52 6.22 2/212 1385
/proc/meminfo: memFree=25179924/32770624 swapFree=66999728/67108860
[pid=1362] ppid=1359 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/1362/stat : 1362 (scop.sh) S 1359 1362 31481 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510366875 115843072 348 33554432000 4194304 5098028 140735666802112 140735666799368 140365781385852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39985152 140735666803493 140735666803820 140735666803820 140735666806733 0
/proc/1362/statm: 28282 348 296 221 0 87 0
[pid=1366] ppid=1362 vsize=27314120 memory=106116 CPUtime=0.1 cores=0-7
/proc/1366/stat : 1366 (java) S 1362 1362 31481 0 -1 1077944320 6603 0 0 0 8 2 0 0 20 0 20 0 510366875 27969658880 26529 33554432000 4194304 4196468 140722740026032 140722740008576 139734086725367 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
/proc/1366/statm: 6828530 26529 2801 1 0 6790935 0
[pid=1366/tid=1367] ppid=1362 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/1366/task/1367/stat : 1367 (java) R 1362 1362 31481 0 -1 4202560 4715 0 0 0 6 2 0 0 20 0 20 0 510366876 27969658880 26594 33554432000 4194304 4196468 140722740026032 139734058551696 139734072793486 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1368] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1368/stat : 1368 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 26594 33554432000 4194304 4196468 140722740026032 139734090967440 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1369] ppid=1362 vsize=27314120 memory=288370500167091840 CPUtime=0 cores=0-7
/proc/1366/task/1369/stat : 1369 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 26594 33554432000 4194304 4196468 140722740026032 139733905123600 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1370] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1370/stat : 1370 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 26594 33554432000 4194304 4196468 140722740026032 139733904071312 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1371] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1371/stat : 1371 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 26594 33554432000 4194304 4196468 140722740026032 139733903018512 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1372] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1372/stat : 1372 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 26594 33554432000 4194304 4196468 140722740026032 139733901966224 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1373] ppid=1362 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1366/task/1373/stat : 1373 (java) S 1362 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 26594 33554432000 4194304 4196468 140722740026032 139733900913424 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1374] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1374/stat : 1374 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 26594 33554432000 4194304 4196468 140722740026032 139733899861136 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1375] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1375/stat : 1375 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 26594 33554432000 4194304 4196468 140722740026032 139733898808336 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1376] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1376/stat : 1376 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 27106 33554432000 4194304 4196468 140722740026032 139733077915760 139734086736514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1377] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1377/stat : 1377 (java) S 1362 1362 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 27106 33554432000 4194304 4196468 140722740026032 139731996238624 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1378] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1378/stat : 1378 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 27106 33554432000 4194304 4196468 140722740026032 139731727803504 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1379] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1379/stat : 1379 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 27106 33554432000 4194304 4196468 140722740026032 139731353294928 139734086743963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1380] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1380/stat : 1380 (java) S 1362 1362 31481 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 27106 33554432000 4194304 4196468 140722740026032 139733076863600 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1381] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1381/stat : 1381 (java) S 1362 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 27106 33554432000 4194304 4196468 140722740026032 139733075810800 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1382] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1382/stat : 1382 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 27106 33554432000 4194304 4196468 140722740026032 139733074758512 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1383] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1383/stat : 1383 (java) S 1362 1362 31481 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 27106 33554432000 4194304 4196468 140722740026032 139733073705712 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1384] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1384/stat : 1384 (java) S 1362 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 27106 33554432000 4194304 4196468 140722740026032 139730855389536 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1385] ppid=1362 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1366/task/1385/stat : 1385 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 27106 33554432000 4194304 4196468 140722740026032 139733072652592 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107508 KiB

[startup+0.210622 s]*
/proc/loadavg: 4.10 5.52 6.22 2/212 1385
/proc/meminfo: memFree=25158836/32770624 swapFree=66999728/67108860
[pid=1362] ppid=1359 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/1362/stat : 1362 (scop.sh) S 1359 1362 31481 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510366875 115843072 348 33554432000 4194304 5098028 140735666802112 140735666799368 140365781385852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39985152 140735666803493 140735666803820 140735666803820 140735666806733 0
/proc/1362/statm: 28282 348 296 221 0 87 0
[pid=1366] ppid=1362 vsize=27314120 memory=125420 CPUtime=0.24 cores=0-7
/proc/1366/stat : 1366 (java) S 1362 1362 31481 0 -1 1077944320 12237 0 0 0 19 5 0 0 20 0 20 0 510366875 27969658880 31355 33554432000 4194304 4196468 140722740026032 140722740008576 139734086725367 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
/proc/1366/statm: 6828530 31355 2941 1 0 6790935 0
[pid=1366/tid=1367] ppid=1362 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1366/task/1367/stat : 1367 (java) R 1362 1362 31481 0 -1 4202560 9921 0 0 0 15 4 0 0 20 0 20 0 510366876 27969658880 31355 33554432000 4194304 4196468 140722740026032 139734058549328 139734068288923 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1368] ppid=1362 vsize=27314120 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/1366/task/1368/stat : 1368 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 31355 33554432000 4194304 4196468 140722740026032 139734090967440 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1369] ppid=1362 vsize=27314120 memory=140124015400875 CPUtime=0 cores=0-7
/proc/1366/task/1369/stat : 1369 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733905123600 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1370] ppid=1362 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1366/task/1370/stat : 1370 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733904071312 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1371] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1371/stat : 1371 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733903018512 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1372] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1372/stat : 1372 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733901966224 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1373] ppid=1362 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1366/task/1373/stat : 1373 (java) S 1362 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733900913424 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1374] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1374/stat : 1374 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733899861136 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1375] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1375/stat : 1375 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733898808336 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1376] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1376/stat : 1376 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733077915760 139734086736514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1377] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1377/stat : 1377 (java) S 1362 1362 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 31355 33554432000 4194304 4196468 140722740026032 139731996238624 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1378] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1378/stat : 1378 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 31355 33554432000 4194304 4196468 140722740026032 139731727803504 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1379] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1379/stat : 1379 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 31355 33554432000 4194304 4196468 140722740026032 139731353294928 139734086743963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1380] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1380/stat : 1380 (java) S 1362 1362 31481 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733076863600 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1381] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1381/stat : 1381 (java) S 1362 1362 31481 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733075810800 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1382] ppid=1362 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1366/task/1382/stat : 1382 (java) S 1362 1362 31481 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733074758512 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1383] ppid=1362 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1366/task/1383/stat : 1383 (java) S 1362 1362 31481 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 510366883 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733073705712 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1384] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1384/stat : 1384 (java) S 1362 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 31355 33554432000 4194304 4196468 140722740026032 139730855389536 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1385] ppid=1362 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1366/task/1385/stat : 1385 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 31355 33554432000 4194304 4196468 140722740026032 139733072652592 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126812 KiB

[startup+0.310406 s]*
/proc/loadavg: 4.10 5.52 6.22 2/212 1385
/proc/meminfo: memFree=25155300/32770624 swapFree=66999728/67108860
[pid=1362] ppid=1359 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/1362/stat : 1362 (scop.sh) S 1359 1362 31481 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510366875 115843072 348 33554432000 4194304 5098028 140735666802112 140735666799368 140365781385852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39985152 140735666803493 140735666803820 140735666803820 140735666806733 0
/proc/1362/statm: 28282 348 296 221 0 87 0
[pid=1366] ppid=1362 vsize=27314120 memory=129968 CPUtime=0.42 cores=0-7
/proc/1366/stat : 1366 (java) S 1362 1362 31481 0 -1 1077944320 12791 0 0 0 37 5 0 0 20 0 20 0 510366875 27969658880 32492 33554432000 4194304 4196468 140722740026032 140722740008576 139734086725367 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
/proc/1366/statm: 6828530 32492 3057 1 0 6790935 0
[pid=1366/tid=1367] ppid=1362 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/1366/task/1367/stat : 1367 (java) R 1362 1362 31481 0 -1 4202560 10280 0 0 0 25 4 0 0 20 0 20 0 510366876 27969658880 32492 33554432000 4194304 4196468 140722740026032 139734058542752 139734068288942 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1368] ppid=1362 vsize=27314120 memory=948 CPUtime=0 cores=0-7
/proc/1366/task/1368/stat : 1368 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 32492 33554432000 4194304 4196468 140722740026032 139734090967440 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1369] ppid=1362 vsize=27314120 memory=2832 CPUtime=0 cores=0-7
/proc/1366/task/1369/stat : 1369 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733905123600 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1370] ppid=1362 vsize=27314120 memory=9588 CPUtime=0 cores=0-7
/proc/1366/task/1370/stat : 1370 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733904071312 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1371] ppid=1362 vsize=27314120 memory=1548 CPUtime=0 cores=0-7
/proc/1366/task/1371/stat : 1371 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733903018512 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1372] ppid=1362 vsize=27314120 memory=628 CPUtime=0 cores=0-7
/proc/1366/task/1372/stat : 1372 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733901966224 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1373] ppid=1362 vsize=27314120 memory=1056 CPUtime=0 cores=0-7
/proc/1366/task/1373/stat : 1373 (java) S 1362 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733900913424 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1374] ppid=1362 vsize=27314120 memory=1716 CPUtime=0 cores=0-7
/proc/1366/task/1374/stat : 1374 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733899861136 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1375] ppid=1362 vsize=27314120 memory=6168 CPUtime=0 cores=0-7
/proc/1366/task/1375/stat : 1375 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366878 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733898808336 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1376] ppid=1362 vsize=27314120 memory=14012 CPUtime=0 cores=0-7
/proc/1366/task/1376/stat : 1376 (java) S 1362 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733077915760 139734086736514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1377] ppid=1362 vsize=27314120 memory=2116 CPUtime=0 cores=0-7
/proc/1366/task/1377/stat : 1377 (java) S 1362 1362 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 32492 33554432000 4194304 4196468 140722740026032 139731996238624 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1378] ppid=1362 vsize=27314120 memory=23924 CPUtime=0 cores=0-7
/proc/1366/task/1378/stat : 1378 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366880 27969658880 32492 33554432000 4194304 4196468 140722740026032 139731727803504 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1379] ppid=1362 vsize=27314120 memory=12024 CPUtime=0 cores=0-7
/proc/1366/task/1379/stat : 1379 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 32492 33554432000 4194304 4196468 140722740026032 139731353294928 139734086743963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1380] ppid=1362 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1366/task/1380/stat : 1380 (java) S 1362 1362 31481 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 20 0 510366883 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733076863600 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1381] ppid=1362 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1366/task/1381/stat : 1381 (java) R 1362 1362 31481 0 -1 4202560 96 0 0 0 1 0 0 0 20 0 20 0 510366883 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733075810800 139734064053376 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1382] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1382/stat : 1382 (java) S 1362 1362 31481 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733074758512 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1383] ppid=1362 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/1366/task/1383/stat : 1383 (java) S 1362 1362 31481 0 -1 1077944384 529 0 0 0 7 0 0 0 20 0 20 0 510366883 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733073705712 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1384] ppid=1362 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1384/stat : 1384 (java) S 1362 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 32492 33554432000 4194304 4196468 140722740026032 139730855389536 139734086735573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1385] ppid=1362 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1366/task/1385/stat : 1385 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366883 27969658880 32492 33554432000 4194304 4196468 140722740026032 139733072652592 139734086736514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131360 KiB

[startup+0.700935 s]
/proc/loadavg: 4.10 5.52 6.22 2/212 1385
/proc/meminfo: memFree=25133472/32770624 swapFree=66999728/67108860
[pid=1362] ppid=1359 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/1362/stat : 1362 (scop.sh) S 1359 1362 31481 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510366875 115843072 348 33554432000 4194304 5098028 140735666802112 140735666799368 140365781385852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39985152 140735666803493 140735666803820 140735666803820 140735666806733 0
/proc/1362/statm: 28282 348 296 221 0 87 0
[pid=1366] ppid=1362 vsize=27322516 memory=166052 CPUtime=0.98 cores=0-7
/proc/1366/stat : 1366 (java) S 1362 1362 31481 0 -1 1077944320 20584 0 0 0 90 8 0 0 20 0 20 0 510366875 27978256384 41513 33554432000 4194304 4196468 140722740026032 140722740008576 139734086725367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
/proc/1366/statm: 6830629 41513 3204 1 0 6791959 0
[pid=1366/tid=1367] ppid=1362 vsize=27322516 memory=4639059890892133476 CPUtime=0.68 cores=0-7
/proc/1366/task/1367/stat : 1367 (java) R 1362 1362 31481 0 -1 4202560 17514 0 0 0 61 7 0 0 20 0 20 0 510366876 27978256384 41513 33554432000 4194304 4196468 140722740026032 139734058554560 139734070805854 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1368] ppid=1362 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/1366/task/1368/stat : 1368 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27978256384 41513 33554432000 4194304 4196468 140722740026032 139734090967440 139734086735573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1369] ppid=1362 vsize=27322516 memory=280247824451072 CPUtime=0 cores=0-7
/proc/1366/task/1369/stat : 1369 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27978256384 41513 33554432000 4194304 4196468 140722740026032 139733905123600 139734086735573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0
[pid=1366/tid=1370] ppid=1362 vsize=27322516 memory=6399501272259 CPUtime=0 cores=0-7
/proc/1366/task/1370/stat : 1370 (java) S 1362 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510366878 27978256384 41513 33554432000 4194304 4196468 140722740026032 139733904071312 139734086735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25346048 140722740032236 140722740032662 140722740032662 140722740035535 0

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

/proc/1394/task/1397/stat : 1397 (java) S 1359 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510381488 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892791474960 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1398] ppid=1359 vsize=8807348 memory=0 CPUtime=0 cores=0-7
/proc/1394/task/1398/stat : 1398 (java) S 1359 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 510381488 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892790422672 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1399] ppid=1359 vsize=8807348 memory=23968 CPUtime=0 cores=0-7
/proc/1394/task/1399/stat : 1399 (java) S 1359 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 510381488 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892470311952 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1400] ppid=1359 vsize=8807348 memory=12024 CPUtime=0 cores=0-7
/proc/1394/task/1400/stat : 1400 (java) S 1359 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510381488 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892469258640 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1401] ppid=1359 vsize=8807348 memory=1556 CPUtime=0 cores=0-7
/proc/1394/task/1401/stat : 1401 (java) S 1359 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510381488 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892468205840 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1402] ppid=1359 vsize=8807348 memory=125772 CPUtime=0 cores=0-7
/proc/1394/task/1402/stat : 1402 (java) S 1359 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510381488 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892467153552 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1403] ppid=1359 vsize=8807348 memory=5057532 CPUtime=0 cores=0-7
/proc/1394/task/1403/stat : 1403 (java) S 1359 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 510381488 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892466100752 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1404] ppid=1359 vsize=8807348 memory=1412 CPUtime=0.03 cores=0-7
/proc/1394/task/1404/stat : 1404 (java) S 1359 1362 31481 0 -1 1077944384 16 0 0 0 1 2 0 0 20 0 26 0 510381490 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892080503408 139892987075202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1405] ppid=1359 vsize=8807348 memory=3668 CPUtime=0 cores=0-7
/proc/1394/task/1405/stat : 1405 (java) S 1359 1362 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 26 0 510381490 9018724352 34003 33554432000 4194304 4196468 140737325697728 139891648226592 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1406] ppid=1359 vsize=8807348 memory=1472 CPUtime=0 cores=0-7
/proc/1394/task/1406/stat : 1406 (java) S 1359 1362 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 510381490 9018724352 34003 33554432000 4194304 4196468 140737325697728 139891379791472 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1407] ppid=1359 vsize=8807348 memory=125772 CPUtime=0 cores=0-7
/proc/1394/task/1407/stat : 1407 (java) S 1359 1362 31481 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 26 0 510381493 9018724352 34003 33554432000 4194304 4196468 140737325697728 139891005282896 139892987082651 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1408] ppid=1359 vsize=8807348 memory=1760 CPUtime=0.07 cores=0-7
/proc/1394/task/1408/stat : 1408 (java) S 1359 1362 31481 0 -1 1077944384 564 0 0 0 7 0 0 0 20 0 26 0 510381493 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892079450224 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1409] ppid=1359 vsize=8807348 memory=111632 CPUtime=0.07 cores=0-7
/proc/1394/task/1409/stat : 1409 (java) S 1359 1362 31481 0 -1 1077944384 253 0 0 0 7 0 0 0 20 0 26 0 510381493 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892078397424 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1410] ppid=1359 vsize=8807348 memory=800 CPUtime=0.09 cores=0-7
/proc/1394/task/1410/stat : 1410 (java) S 1359 1362 31481 0 -1 1077944384 522 0 0 0 8 1 0 0 20 0 26 0 510381493 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892077345136 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1411] ppid=1359 vsize=8807348 memory=1804 CPUtime=0.26 cores=0-7
/proc/1394/task/1411/stat : 1411 (java) S 1359 1362 31481 0 -1 1077944384 1168 0 0 0 26 0 0 0 20 0 26 0 510381493 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892076292336 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1412] ppid=1359 vsize=8807348 memory=916 CPUtime=0 cores=0-7
/proc/1394/task/1412/stat : 1412 (java) S 1359 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 510381493 9018724352 34003 33554432000 4194304 4196468 140737325697728 139890507377504 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1413] ppid=1359 vsize=8807348 memory=4488 CPUtime=1.71 cores=0-7
/proc/1394/task/1413/stat : 1413 (java) S 1359 1362 31481 0 -1 1077944384 158 0 0 0 72 99 0 0 20 0 26 0 510381494 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892075240240 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1415] ppid=1359 vsize=8807348 memory=1164 CPUtime=0 cores=0-7
/proc/1394/task/1415/stat : 1415 (java) S 1359 1362 31481 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 26 0 510381601 9018724352 34003 33554432000 4194304 4196468 140737325697728 139892067206976 139892987088665 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1417] ppid=1359 vsize=8807348 memory=8317482817917895235 CPUtime=0.05 cores=0-7
/proc/1394/task/1417/stat : 1417 (java) S 1359 1362 31481 0 -1 4202560 1740 0 0 0 4 1 0 0 20 0 26 0 510381601 9018724352 34003 33554432000 4194304 4196468 140737325697728 139889836277424 139892987085981 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1418] ppid=1359 vsize=8807348 memory=1716 CPUtime=0 cores=0-7
/proc/1394/task/1418/stat : 1418 (java) S 1359 1362 31481 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 26 0 510381601 9018724352 34003 33554432000 4194304 4196468 140737325697728 139890104712496 139892987085981 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1419] ppid=1359 vsize=8807348 memory=6168 CPUtime=0 cores=0-7
/proc/1394/task/1419/stat : 1419 (java) S 1359 1362 31481 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 26 0 510381604 9018724352 34003 33554432000 4194304 4196468 140737325697728 139889567849776 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1601] ppid=1359 vsize=8807348 memory=14012 CPUtime=0 cores=0-7
/proc/1394/task/1601/stat : 1601 (java) S 1359 1362 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 510618876 9018724352 34003 33554432000 4194304 4196468 140737325697728 139889299415840 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1604] ppid=1359 vsize=8807348 memory=2116 CPUtime=0 cores=0-7
/proc/1394/task/1604/stat : 1604 (java) S 1359 1362 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510618877 9018724352 34003 33554432000 4194304 4196468 140737325697728 139889030980768 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
Current cumulated CPU time of completed processes: 154.869 s
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 8807348 KiB
Current children cumulated memory: 136012 KiB

[startup+2520.4 s]
/proc/loadavg: 1.00 1.06 1.40 2/216 1604
/proc/meminfo: memFree=20491864/32770624 swapFree=66999744/67108860
[pid=1394] ppid=1359 vsize=8545196 memory=136004 CPUtime=2376.14 cores=0-7
/proc/1394/stat : 1394 (java) S 1359 1362 31481 0 -1 1077944320 22763 19803323 0 0 213 108 235455 1838 20 0 23 0 510381486 8750280704 34001 33554432000 4194304 4196468 140737325697728 140737325680272 139892987064055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
/proc/1394/statm: 2136299 34001 3212 1 0 2097643 0
[pid=1394/tid=1395] ppid=1359 vsize=8545196 memory=136012 CPUtime=2373.69 cores=0-7
/proc/1394/task/1395/stat : 1395 (java) S 1359 1362 31481 0 -1 1077944384 16921 19803323 0 0 71 5 235455 1838 20 0 23 0 510381487 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892958904224 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1396] ppid=1359 vsize=8545196 memory=4100 CPUtime=2372.93 cores=0-7
/proc/1394/task/1396/stat : 1396 (java) S 1359 1362 31481 0 -1 1077944384 1 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892991306640 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1397] ppid=1359 vsize=8545196 memory=1728 CPUtime=2372.93 cores=0-7
/proc/1394/task/1397/stat : 1397 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892791474960 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1398] ppid=1359 vsize=8545196 memory=8112282956445269571 CPUtime=2372.93 cores=0-7
/proc/1394/task/1398/stat : 1398 (java) S 1359 1362 31481 0 -1 1077944384 1 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892790422672 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1399] ppid=1359 vsize=8545196 memory=860 CPUtime=2372.93 cores=0-7
/proc/1394/task/1399/stat : 1399 (java) S 1359 1362 31481 0 -1 1077944384 1 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892470311952 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1400] ppid=1359 vsize=8545196 memory=1980 CPUtime=2372.93 cores=0-7
/proc/1394/task/1400/stat : 1400 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892469258640 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1401] ppid=1359 vsize=8545196 memory=2552 CPUtime=2372.93 cores=0-7
/proc/1394/task/1401/stat : 1401 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892468205840 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1402] ppid=1359 vsize=8545196 memory=5057532 CPUtime=2372.93 cores=0-7
/proc/1394/task/1402/stat : 1402 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892467153552 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1403] ppid=1359 vsize=8545196 memory=125772 CPUtime=2372.93 cores=0-7
/proc/1394/task/1403/stat : 1403 (java) S 1359 1362 31481 0 -1 1077944384 3 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892466100752 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1404] ppid=1359 vsize=8545196 memory=5057532 CPUtime=2372.96 cores=0-7
/proc/1394/task/1404/stat : 1404 (java) S 1359 1362 31481 0 -1 1077944384 16 19803323 0 0 1 2 235455 1838 20 0 23 0 510381490 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892080502912 139892987075202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1405] ppid=1359 vsize=8545196 memory=3668 CPUtime=2372.93 cores=0-7
/proc/1394/task/1405/stat : 1405 (java) S 1359 1362 31481 0 -1 1077944384 13 19803323 0 0 0 0 235455 1838 20 0 23 0 510381490 8750280704 34001 33554432000 4194304 4196468 140737325697728 139891648226592 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1406] ppid=1359 vsize=8545196 memory=1472 CPUtime=2372.93 cores=0-7
/proc/1394/task/1406/stat : 1406 (java) S 1359 1362 31481 0 -1 1077944384 1 19803323 0 0 0 0 235455 1838 20 0 23 0 510381490 8750280704 34001 33554432000 4194304 4196468 140737325697728 139891379791472 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1407] ppid=1359 vsize=8545196 memory=125772 CPUtime=2372.93 cores=0-7
/proc/1394/task/1407/stat : 1407 (java) S 1359 1362 31481 0 -1 1077944384 30 19803323 0 0 0 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139891005282544 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1408] ppid=1359 vsize=8545196 memory=5057520 CPUtime=2373 cores=0-7
/proc/1394/task/1408/stat : 1408 (java) S 1359 1362 31481 0 -1 1077944384 564 19803323 0 0 7 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892079450224 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1409] ppid=1359 vsize=8545196 memory=4100 CPUtime=2373 cores=0-7
/proc/1394/task/1409/stat : 1409 (java) S 1359 1362 31481 0 -1 1077944384 253 19803323 0 0 7 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892078397424 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1410] ppid=1359 vsize=8545196 memory=1164 CPUtime=2373.02 cores=0-7
/proc/1394/task/1410/stat : 1410 (java) S 1359 1362 31481 0 -1 1077944384 523 19803323 0 0 8 1 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892077343968 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1411] ppid=1359 vsize=8545196 memory=8317482817917895235 CPUtime=2373.19 cores=0-7
/proc/1394/task/1411/stat : 1411 (java) S 1359 1362 31481 0 -1 1077944384 1168 19803323 0 0 26 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892076291168 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1412] ppid=1359 vsize=8545196 memory=1728 CPUtime=2372.93 cores=0-7
/proc/1394/task/1412/stat : 1412 (java) S 1359 1362 31481 0 -1 1077944384 3 19803323 0 0 0 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139890507377504 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1415] ppid=1359 vsize=8545196 memory=860 CPUtime=2372.93 cores=0-7
/proc/1394/task/1415/stat : 1415 (java) S 1359 1362 31481 0 -1 1077944384 24 19803323 0 0 0 0 235455 1838 20 0 23 0 510381601 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892067206656 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1419] ppid=1359 vsize=8545196 memory=125772 CPUtime=2372.93 cores=0-7
/proc/1394/task/1419/stat : 1419 (java) S 1359 1362 31481 0 -1 1077944384 4 19803323 0 0 0 0 235455 1838 20 0 23 0 510381604 8750280704 34001 33554432000 4194304 4196468 140737325697728 139889567840032 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1601] ppid=1359 vsize=8545196 memory=984 CPUtime=2373.01 cores=0-7
/proc/1394/task/1601/stat : 1601 (java) R 1359 1362 31481 0 -1 4202560 3 19803323 0 0 0 8 235455 1838 20 0 23 0 510618876 8750280704 34001 33554432000 4194304 4196468 140737325697728 139889299415840 139892979749687 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1604] ppid=1359 vsize=8545196 memory=2024 CPUtime=2372.93 cores=0-7
/proc/1394/task/1604/stat : 1604 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510618877 8750280704 34001 33554432000 4194304 4196468 140737325697728 139889030979920 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
Current cumulated CPU time of completed processes: 154.869 s
Current children cumulated CPU time: 2376.14 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 136004 KiB

[startup+2520.5 s]
/proc/loadavg: 1.00 1.06 1.40 2/216 1604
/proc/meminfo: memFree=20491864/32770624 swapFree=66999744/67108860
[pid=1394] ppid=1359 vsize=8545196 memory=136004 CPUtime=2376.25 cores=0-7
/proc/1394/stat : 1394 (java) S 1359 1362 31481 0 -1 1077944320 22763 19803323 0 0 213 119 235455 1838 20 0 23 0 510381486 8750280704 34001 33554432000 4194304 4196468 140737325697728 140737325680272 139892987064055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
/proc/1394/statm: 2136299 34001 3212 1 0 2097643 0
[pid=1394/tid=1395] ppid=1359 vsize=8545196 memory=53472 CPUtime=2373.69 cores=0-7
/proc/1394/task/1395/stat : 1395 (java) S 1359 1362 31481 0 -1 1077944384 16921 19803323 0 0 71 5 235455 1838 20 0 23 0 510381487 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892958904224 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1396] ppid=1359 vsize=8545196 memory=984 CPUtime=2372.93 cores=0-7
/proc/1394/task/1396/stat : 1396 (java) S 1359 1362 31481 0 -1 1077944384 1 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892991306640 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1397] ppid=1359 vsize=8545196 memory=2024 CPUtime=2372.93 cores=0-7
/proc/1394/task/1397/stat : 1397 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892791474960 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1398] ppid=1359 vsize=8545196 memory=1376 CPUtime=2372.93 cores=0-7
/proc/1394/task/1398/stat : 1398 (java) S 1359 1362 31481 0 -1 1077944384 1 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892790422672 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1399] ppid=1359 vsize=8545196 memory=136012 CPUtime=2372.93 cores=0-7
/proc/1394/task/1399/stat : 1399 (java) S 1359 1362 31481 0 -1 1077944384 1 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892470311952 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1400] ppid=1359 vsize=8545196 memory=772 CPUtime=2372.93 cores=0-7
/proc/1394/task/1400/stat : 1400 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892469258640 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1401] ppid=1359 vsize=8545196 memory=1548 CPUtime=2372.93 cores=0-7
/proc/1394/task/1401/stat : 1401 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892468205840 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1402] ppid=1359 vsize=8545196 memory=628 CPUtime=2372.93 cores=0-7
/proc/1394/task/1402/stat : 1402 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892467153552 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1403] ppid=1359 vsize=8545196 memory=2116 CPUtime=2372.93 cores=0-7
/proc/1394/task/1403/stat : 1403 (java) S 1359 1362 31481 0 -1 1077944384 3 19803323 0 0 0 0 235455 1838 20 0 23 0 510381488 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892466100752 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1404] ppid=1359 vsize=8545196 memory=23968 CPUtime=2372.96 cores=0-7
/proc/1394/task/1404/stat : 1404 (java) S 1359 1362 31481 0 -1 1077944384 16 19803323 0 0 1 2 235455 1838 20 0 23 0 510381490 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892080502912 139892987075202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1405] ppid=1359 vsize=8545196 memory=948 CPUtime=2372.93 cores=0-7
/proc/1394/task/1405/stat : 1405 (java) S 1359 1362 31481 0 -1 1077944384 13 19803323 0 0 0 0 235455 1838 20 0 23 0 510381490 8750280704 34001 33554432000 4194304 4196468 140737325697728 139891648226592 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1406] ppid=1359 vsize=8545196 memory=2832 CPUtime=2372.93 cores=0-7
/proc/1394/task/1406/stat : 1406 (java) S 1359 1362 31481 0 -1 1077944384 1 19803323 0 0 0 0 235455 1838 20 0 23 0 510381490 8750280704 34001 33554432000 4194304 4196468 140737325697728 139891379791472 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1407] ppid=1359 vsize=8545196 memory=3648 CPUtime=2372.93 cores=0-7
/proc/1394/task/1407/stat : 1407 (java) S 1359 1362 31481 0 -1 1077944384 30 19803323 0 0 0 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139891005282544 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1408] ppid=1359 vsize=8545196 memory=948 CPUtime=2373 cores=0-7
/proc/1394/task/1408/stat : 1408 (java) S 1359 1362 31481 0 -1 1077944384 564 19803323 0 0 7 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892079450224 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1409] ppid=1359 vsize=8545196 memory=6168 CPUtime=2373 cores=0-7
/proc/1394/task/1409/stat : 1409 (java) S 1359 1362 31481 0 -1 1077944384 253 19803323 0 0 7 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892078397424 139892987075202 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1410] ppid=1359 vsize=8545196 memory=14012 CPUtime=2373.02 cores=0-7
/proc/1394/task/1410/stat : 1410 (java) S 1359 1362 31481 0 -1 1077944384 523 19803323 0 0 8 1 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892077343968 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1411] ppid=1359 vsize=8545196 memory=12024 CPUtime=2373.19 cores=0-7
/proc/1394/task/1411/stat : 1411 (java) S 1359 1362 31481 0 -1 1077944384 1168 19803323 0 0 26 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892076291168 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1412] ppid=1359 vsize=8545196 memory=1556 CPUtime=2372.93 cores=0-7
/proc/1394/task/1412/stat : 1412 (java) S 1359 1362 31481 0 -1 1077944384 3 19803323 0 0 0 0 235455 1838 20 0 23 0 510381493 8750280704 34001 33554432000 4194304 4196468 140737325697728 139890507377504 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1415] ppid=1359 vsize=8545196 memory=2832 CPUtime=2372.93 cores=0-7
/proc/1394/task/1415/stat : 1415 (java) S 1359 1362 31481 0 -1 1077944384 24 19803323 0 0 0 0 235455 1838 20 0 23 0 510381601 8750280704 34001 33554432000 4194304 4196468 140737325697728 139892067206656 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1419] ppid=1359 vsize=8545196 memory=9588 CPUtime=2372.93 cores=0-7
/proc/1394/task/1419/stat : 1419 (java) S 1359 1362 31481 0 -1 1077944384 4 19803323 0 0 0 0 235455 1838 20 0 23 0 510381604 8750280704 34001 33554432000 4194304 4196468 140737325697728 139889567840032 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1601] ppid=1359 vsize=8545196 memory=1056 CPUtime=2373.11 cores=0-7
/proc/1394/task/1601/stat : 1601 (java) R 1359 1362 31481 0 -1 4202560 3 19803323 0 0 0 18 235455 1838 20 0 23 0 510618876 8750280704 34001 33554432000 4194304 4196468 140737325697728 139889299415840 139892979749687 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
[pid=1394/tid=1604] ppid=1359 vsize=8545196 memory=1716 CPUtime=2372.93 cores=0-7
/proc/1394/task/1604/stat : 1604 (java) S 1359 1362 31481 0 -1 1077944384 2 19803323 0 0 0 0 235455 1838 20 0 23 0 510618877 8750280704 34001 33554432000 4194304 4196468 140737325697728 139889030979920 139892987074261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34897920 140737325704184 140737325704342 140737325704342 140737325707215 0
Current cumulated CPU time of completed processes: 154.869 s
Current children cumulated CPU time: 2376.25 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 136004 KiB

Child status: 1
Real time (s): 2520.57
CPU time (s): 2531.19
CPU user time (s): 2504.81
CPU system time (s): 26.3872
CPU usage (%): 100.422
Max. virtual memory (cumulated for all children) (KiB): 27443660
Max. memory (cumulated for all children) (KiB): 7964252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.81
system time used= 26.3872
maximum resident set size= 7963440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19905224
page faults= 0
swaps= 0
block input operations= 96
block output operations= 3329400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65246
involuntary context switches= 3281


# summary of solver processes directly reported to runsolver:
#   pid: 1362,1394
#   total CPU time (s): 2531.19
#   total CPU user time (s): 2504.81
#   total CPU system time (s): 26.3872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4344 second user time and 29.1268 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-24 17:04:05
IDJOB=4405385
IDBENCH=133582
IDSOLVER=2867
FILE ID=node106/4405385-1569341129
RUNJOBID= node106-1569332296-31508
PBS_JOBID= 21705069
Free space on /tmp= 23488 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-08-m039.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405385-1569341129/watcher-4405385-1569341129 -o /tmp/evaluation-result-4405385-1569341129/solver-4405385-1569341129 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405385-1569341129.xml

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

MD5SUM BENCH= cf7d41cb48e0c265061ebe127338815d
RANDOM SEED=499944816

node106.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.79
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.79
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.79
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.79
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:        25274536 kB
MemAvailable:   31844252 kB
Buffers:           89720 kB
Cached:          6651624 kB
SwapCached:         4572 kB
Active:          3362264 kB
Inactive:        3388244 kB
Active(anon):       3484 kB
Inactive(anon):    57984 kB
Active(file):    3358780 kB
Inactive(file):  3330260 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999728 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:        112776 kB
Mapped:            54276 kB
Shmem:             43684 kB
Slab:             338224 kB
SReclaimable:     309136 kB
SUnreclaim:        29088 kB
KernelStack:        3360 kB
PageTables:         5084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 23468 MiB
End job on node106 at 2019-09-24 17:46:06