Trace number 4405418

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) 2605.67 2520.44

General information on the benchmark

NamePrimes/
Primes-m1-p15/Primes-15-40-3-5.xml
MD5SUM25f96b3bf5c8370c442a7a32cdfe0f98
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark208.669
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size46
Maximum domain size46
Distribution of domain sizes[{"size":46,"count":91}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":9},{"degree":1,"count":19},{"degree":2,"count":29},{"degree":3,"count":25},{"degree":4,"count":15},{"degree":6,"count":3}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":8},{"arity":5,"count":9},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":9}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
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-19692-serial-file.bin HOME/instance-4405418-1569340982.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 18:02:21 CEST 2019
0.65/0.56	c PID: 19695
0.65/0.56	c IP: 172.20.3.146
0.65/0.56	c HOST: node146.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.18/0.89	c (0,0) Parsing End
1.18/0.90	c (0,0) CSP: 91 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.18/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.90	c (0,0) Constraint Name Generate Begin
1.40/0.90	c (0,0) Ctr:HOME/instance-4405418-1569340982.xml,Num:Var:WeightedSum
1.40/0.90	c (0,0) Constraint Name Generate End
1.40/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.90	c (0,0) CSP to CSPinCNF Begin
1.40/1.00	c (0,0) translated 4 (10%) constraints
1.56/1.01	c (0,0) translated 8 (20%) constraints
1.56/1.02	c (0,0) translated 12 (30%) constraints
1.56/1.03	c (0,0) translated 16 (40%) constraints
1.56/1.03	c (0,0) translated 20 (50%) constraints
1.56/1.04	c (0,0) translated 24 (60%) constraints
1.56/1.04	c (0,0) translated 28 (70%) constraints
1.56/1.05	c (0,0) translated 32 (80%) constraints
1.56/1.06	c (0,0) translated 36 (90%) constraints
1.56/1.06	c (0,0) translated 40 (100%) constraints
1.56/1.06	c (0,0) ===========================================
1.56/1.06	c (0,0) Order
1.56/1.06	c (0,0) ===========================================
1.56/1.09	c (0,0) translated 4 (10%) constraints
1.83/1.11	c (0,0) translated 8 (20%) constraints
1.83/1.13	c (0,0) translated 12 (30%) constraints
1.83/1.14	c (0,0) translated 16 (40%) constraints
1.83/1.15	c (0,0) translated 20 (50%) constraints
1.83/1.16	c (0,0) translated 24 (60%) constraints
1.83/1.17	c (0,0) translated 28 (70%) constraints
1.83/1.18	c (0,0) translated 32 (80%) constraints
1.83/1.19	c (0,0) translated 36 (90%) constraints
2.05/1.21	c (0,0) translated 40 (100%) constraints
2.05/1.21	c (0,0) CSP to CSPinCNF End
2.05/1.22	c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276
2.05/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.05/1.22	c (0,0) CSPinCNF Propagation Begin
2.05/1.23	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.05/1.23	c (0,0) CSPinCNF Propagation End
2.05/1.23	c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276
2.05/1.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.05/1.23	c (0,0) Simplify CSPinCNF Begin
2.05/1.24	c (0,0) Simplify CSPinCNF End
2.05/1.24	c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276
2.05/1.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.05/1.24	c (0,0) Calculate Precise Domain Begin
3.14/1.66	c (1,1) 34780 values are removed by re-calculation
3.14/1.66	c (1,1) Calculate Precise Domain End
3.14/1.66	c (1,1) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4096
3.14/1.66	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.14/1.66	c (1,1) CSPinCNF to SatSolver Begin
18.99/14.44	c (13,13) 30 (10 %) CSP clauses are encoded (0 SAT variables, 8619555 SAT clauses)
75.26/39.34	c (38,32) 60 (20 %) CSP clauses are encoded (0 SAT variables, 22513701 SAT clauses)
79.37/43.96	c (43,36) 90 (30 %) CSP clauses are encoded (0 SAT variables, 25153779 SAT clauses)
88.14/50.03	c (49,41) 120 (40 %) CSP clauses are encoded (0 SAT variables, 28975033 SAT clauses)
91.43/53.31	c (52,45) 150 (50 %) CSP clauses are encoded (0 SAT variables, 31312432 SAT clauses)
94.97/56.35	c (55,48) 180 (60 %) CSP clauses are encoded (0 SAT variables, 33435050 SAT clauses)
99.51/61.25	c (60,52) 210 (70 %) CSP clauses are encoded (0 SAT variables, 36369534 SAT clauses)
141.71/77.85	c (77,65) 240 (80 %) CSP clauses are encoded (0 SAT variables, 45432548 SAT clauses)
168.83/91.21	c (90,75) 270 (90 %) CSP clauses are encoded (0 SAT variables, 53164901 SAT clauses)
183.24/100.74	c (100,83) 300 (100 %) CSP clauses are encoded (0 SAT variables, 58579435 SAT clauses)
183.24/100.74	c (100,83) CSPinCNF to SatSolver End
183.24/100.74	c (100,83) Heap : 5254 MiB used (max 21655 MiB), NonHeap : 27 MiB used (max 0 MiB)
183.24/100.74	c (100,83) 152800 bool, 58580775 clause
183.24/100.74	c (100,83) Export Begin
183.35/100.83	c (100,83) Export to HOME/scop-19692-serial-file.bin
183.35/100.83	c (100,83) Export End
183.35/100.84	c (100,83) Export File Size: 0.02 MB
183.35/100.84	c (100,83) 0,0,0,0,0,1,100,STOP-AFTER(DIMACS)
183.35/100.84	c END-Prog: Tue Sep 24 18:04:02 CEST 2019
183.35/100.89	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19692-serial-file.bin
184.00/101.36	c (0,0) Read Serial File Begin
184.00/101.36	c (0,0) HOME/scop-19692-serial-file.bin
184.26/101.57	c (0,0) Read Serial File End
184.26/101.58	
184.26/101.58	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
184.26/101.58	(Solving Process)
184.26/101.58	
184.43/101.60	c BEGIN-Prog: Tue Sep 24 18:04:02 CEST 2019
184.43/101.60	c PID: 19722
184.43/101.60	c IP: 172.20.3.146
184.43/101.60	c HOST: node146.alineos.net
184.43/101.61	c (0,0) SatSolver.solve Begin
184.43/101.61	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405418-1569340982.xml-scop-19695.cnf
184.43/101.64	c (0,0) c
184.43/101.64	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)
184.43/101.64	c (0,0) c
184.43/101.64	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
184.43/101.64	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
184.43/101.64	c (0,0) c ========================================[ Problem Statistics ]===========================================
184.43/101.64	c (0,0) c |                                                                                                       |
201.11/118.12	c (16,0) c |  Number of variables:        152800                                                                   |
201.11/118.12	c (16,0) c |  Number of clauses:        58580638                                                                   |
201.11/118.12	c (16,0) c |  Parse time:                  15.09 s                                                                 |
201.11/118.12	c (16,0) c |                                                                                                       |
206.11/123.12	c (21,0) c | Too many clauses... No preprocessing                                                                  |
206.11/123.12	c (21,0) c |  Simplification time:          4.45 s                                                                 |
206.11/123.12	c (21,0) c |                                                                                                       |
206.11/123.12	c (21,0) c |  One Solver is taking   4641.80Mb... Let's take   1 solvers for this run (max 40% of the maxmemory).  |
206.11/123.12	c (21,0) c |  Generating clones                                                                                    |
206.11/123.12	c (21,0) c |  all clones generated. Memory =  4641.80Mb.                                                           |
206.11/123.12	c (21,0) c ========================================================================================================|
206.11/123.12	c (21,0) c
206.11/123.12	c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
206.11/123.12	c (21,0) c
206.11/123.12	c (21,0) c |-----------------------|------------|
206.11/123.12	c (21,0) c | Threads               |          0 |
206.11/123.12	c (21,0) c |-----------------------|------------|
206.11/123.12	c (21,0) c | randomizeFirstDescent |      False |
206.11/123.12	c (21,0) c | adaptStrategeis       |       True |
206.11/123.12	c (21,0) c | forceUnsatOnNewDescent|       True |
206.11/123.12	c (21,0) c | Initial random_seed   |   91648253 |
206.11/123.12	c (21,0) c | chanseokStrategy      |      False |
206.11/123.12	c (21,0) c | coLBDBound            |          5 |
206.11/123.12	c (21,0) c | glureduce             |       True |
206.11/123.12	c (21,0) c | firstReduceDB         |       2000 |
206.11/123.12	c (21,0) c | incReduceDB           |        300 |
206.11/123.12	c (21,0) c | luby_restart          |      False |
206.11/123.12	c (21,0) c | luby_restart_factor   |        100 |
206.11/123.12	c (21,0) c | var_decay             |     0.8000 |
206.11/123.12	c (21,0) c | max_var_decay         |     0.9500 |
206.11/123.12	c (21,0) c | randomize_on_restarts |      False |
206.11/123.12	c (21,0) c | remove_satisfied      |       True |
206.11/123.12	c (21,0) c |-----------------------|------------|
235.63/152.65	c (51,0) c
235.63/152.65	c (51,0) c |------------------------------------------------------------------------------------------------------------------------|
235.63/152.65	c (51,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
235.63/152.65	c (51,0) c |------------------------------------------------------------------------------------------------------------------------|
235.63/152.65	c (51,0) c |  0 |      7 |       5323 |       2099 |    45345 |     1101 |       83 |        0 |        0 |      761 |  20 |  1.580 |
235.63/152.65	c (51,0) c 
235.63/152.65	c (51,0) c synthesis        2099 conflicts    14559587 propagations       45 conflicts/sec   308845 propagations/sec
235.63/152.65	c (51,0) c real: 51.0231 s, cpu: 47.1421 s, memory: 5161.81 Mb
264.64/181.65	c (80,0) c
264.64/181.65	c (80,0) c |------------------------------------------------------------------------------------------------------------------------|
264.64/181.65	c (80,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
264.64/181.65	c (80,0) c |------------------------------------------------------------------------------------------------------------------------|
264.64/181.65	c (80,0) c |  0 |     20 |       9601 |       4533 |    90115 |     3532 |      148 |        0 |        0 |     1645 |  20 |  1.601 |
264.64/181.65	c (80,0) c 
264.64/181.65	c (80,0) c synthesis        4533 conflicts    30835073 propagations       60 conflicts/sec   407511 propagations/sec
264.64/181.65	c (80,0) c real: 80.0231 s, cpu: 75.6668 s, memory: 5161.81 Mb
294.68/211.65	c (110,0) c
294.68/211.65	c (110,0) c |------------------------------------------------------------------------------------------------------------------------|
294.68/211.65	c (110,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
294.68/211.65	c (110,0) c |------------------------------------------------------------------------------------------------------------------------|
294.68/211.65	c (110,0) c |  0 |     33 |      14988 |       7504 |   132344 |     3708 |      642 |        0 |        0 |     2605 |  20 |  1.601 |
294.68/211.65	c (110,0) c 
294.68/211.65	c (110,0) c synthesis        7504 conflicts    46943123 propagations       71 conflicts/sec   445535 propagations/sec
294.68/211.65	c (110,0) c real: 110.023 s, cpu: 105.363 s, memory: 5161.81 Mb
323.70/240.65	c (139,0) c
323.70/240.65	c (139,0) c |------------------------------------------------------------------------------------------------------------------------|
323.70/240.65	c (139,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
323.70/240.65	c (139,0) c |------------------------------------------------------------------------------------------------------------------------|
323.70/240.65	c (139,0) c |  0 |     41 |      19824 |      10285 |   170396 |     6487 |     1229 |        0 |        0 |     3504 |  20 |  1.645 |
323.70/240.65	c (139,0) c 
323.70/240.65	c (139,0) c synthesis       10285 conflicts    62898080 propagations       77 conflicts/sec   468703 propagations/sec
323.70/240.65	c (139,0) c real: 139.023 s, cpu: 134.196 s, memory: 5161.81 Mb
352.74/269.65	c (168,0) c
352.74/269.65	c (168,0) c |------------------------------------------------------------------------------------------------------------------------|
352.74/269.65	c (168,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
352.74/269.65	c (168,0) c |------------------------------------------------------------------------------------------------------------------------|
352.74/269.65	c (168,0) c |  0 |     52 |      24026 |      12626 |   201589 |     8828 |     1647 |        0 |        0 |     4369 |  20 |  1.645 |
352.74/269.65	c (168,0) c 
352.74/269.65	c (168,0) c synthesis       12626 conflicts    77476598 propagations       77 conflicts/sec   475257 propagations/sec
352.74/269.65	c (168,0) c real: 168.023 s, cpu: 163.021 s, memory: 5161.81 Mb
381.76/298.65	c (197,0) c
381.76/298.65	c (197,0) c |------------------------------------------------------------------------------------------------------------------------|
381.76/298.65	c (197,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
381.76/298.65	c (197,0) c |------------------------------------------------------------------------------------------------------------------------|
381.76/298.65	c (197,0) c |  0 |     58 |      28989 |      15826 |   236983 |     7047 |     2382 |        0 |        0 |     5263 |  20 |  1.645 |
381.76/298.65	c (197,0) c 
381.76/298.65	c (197,0) c synthesis       15826 conflicts    95441818 propagations       82 conflicts/sec   497375 propagations/sec
381.76/298.65	c (197,0) c real: 197.023 s, cpu: 191.891 s, memory: 5161.81 Mb
410.79/327.65	c (226,0) c
410.79/327.65	c (226,0) c |------------------------------------------------------------------------------------------------------------------------|
410.79/327.65	c (226,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
410.79/327.65	c (226,0) c |------------------------------------------------------------------------------------------------------------------------|
410.79/327.65	c (226,0) c |  0 |     65 |      32431 |      17948 |   262077 |     9169 |     2728 |        0 |        0 |     6155 |  20 |  1.645 |
410.79/327.65	c (226,0) c 
410.79/327.65	c (226,0) c synthesis       17948 conflicts   110328275 propagations       81 conflicts/sec   499845 propagations/sec
410.79/327.65	c (226,0) c real: 226.023 s, cpu: 220.725 s, memory: 5161.81 Mb
440.81/357.65	c (256,0) c
440.81/357.65	c (256,0) c |------------------------------------------------------------------------------------------------------------------------|
440.81/357.65	c (256,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
440.81/357.65	c (256,0) c |------------------------------------------------------------------------------------------------------------------------|
440.81/357.65	c (256,0) c |  0 |     76 |      36363 |      20158 |   287982 |    11379 |     3009 |        0 |        0 |     7103 |  20 |  1.645 |
440.81/357.65	c (256,0) c 
440.81/357.65	c (256,0) c synthesis       20158 conflicts   126165142 propagations       80 conflicts/sec   503368 propagations/sec
440.81/357.65	c (256,0) c real: 256.023 s, cpu: 250.642 s, memory: 5161.81 Mb
469.83/386.65	c (285,0) c
469.83/386.65	c (285,0) c |------------------------------------------------------------------------------------------------------------------------|
469.83/386.65	c (285,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
469.83/386.65	c (285,0) c |------------------------------------------------------------------------------------------------------------------------|
469.83/386.65	c (285,0) c |  0 |     86 |      41492 |      23293 |   322027 |    14514 |     3456 |        0 |        0 |     8071 |  20 |  1.645 |
469.83/386.65	c (285,0) c 
469.83/386.65	c (285,0) c synthesis       23293 conflicts   142504591 propagations       83 conflicts/sec   509900 propagations/sec
469.83/386.65	c (285,0) c real: 285.023 s, cpu: 279.476 s, memory: 5161.81 Mb
498.86/415.65	c (314,0) c
498.86/415.65	c (314,0) c |------------------------------------------------------------------------------------------------------------------------|
498.86/415.65	c (314,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
498.86/415.65	c (314,0) c |------------------------------------------------------------------------------------------------------------------------|
498.86/415.65	c (314,0) c |  0 |     94 |      45751 |      25839 |   350020 |     9654 |     3915 |        0 |        0 |     9038 |  20 |  1.645 |
498.86/415.65	c (314,0) c 
498.86/415.65	c (314,0) c synthesis       25839 conflicts   158569924 propagations       84 conflicts/sec   514192 propagations/sec
498.86/415.65	c (314,0) c real: 314.023 s, cpu: 308.387 s, memory: 5161.81 Mb
527.89/444.65	c (343,0) c
527.89/444.65	c (343,0) c |------------------------------------------------------------------------------------------------------------------------|
527.89/444.65	c (343,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
527.89/444.65	c (343,0) c |------------------------------------------------------------------------------------------------------------------------|
527.89/444.65	c (343,0) c |  0 |    103 |      50307 |      28498 |   378029 |    12313 |     4335 |        0 |        0 |     9943 |  20 |  1.645 |
527.89/444.65	c (343,0) c 
527.89/444.65	c (343,0) c synthesis       28498 conflicts   174243020 propagations       85 conflicts/sec   516707 propagations/sec
527.89/444.65	c (343,0) c real: 343.023 s, cpu: 337.218 s, memory: 5161.81 Mb
556.91/473.65	c (372,0) c
556.91/473.65	c (372,0) c |------------------------------------------------------------------------------------------------------------------------|
556.91/473.65	c (372,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
556.91/473.65	c (372,0) c |------------------------------------------------------------------------------------------------------------------------|
556.91/473.65	c (372,0) c |  0 |    113 |      55842 |      31722 |   401346 |    15532 |     4986 |        0 |        0 |    10824 |  20 |  1.645 |
556.91/473.65	c (372,0) c 
556.91/473.65	c (372,0) c synthesis       31722 conflicts   192009390 propagations       87 conflicts/sec   524514 propagations/sec
556.91/473.65	c (372,0) c real: 372.023 s, cpu: 366.071 s, memory: 5161.81 Mb
586.95/503.65	c (402,0) c
586.95/503.65	c (402,0) c |------------------------------------------------------------------------------------------------------------------------|
586.95/503.65	c (402,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
586.95/503.65	c (402,0) c |------------------------------------------------------------------------------------------------------------------------|
586.95/503.65	c (402,0) c |  0 |    119 |      60103 |      34384 |   427052 |    18194 |     5438 |        0 |        0 |    11778 |  20 |  1.645 |
586.95/503.65	c (402,0) c 
586.95/503.65	c (402,0) c synthesis       34384 conflicts   209417570 propagations       87 conflicts/sec   528957 propagations/sec
586.95/503.65	c (402,0) c real: 402.023 s, cpu: 395.906 s, memory: 5161.81 Mb
615.98/532.65	c (431,0) c
615.98/532.65	c (431,0) c |------------------------------------------------------------------------------------------------------------------------|
615.98/532.65	c (431,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
615.98/532.65	c (431,0) c |------------------------------------------------------------------------------------------------------------------------|
615.98/532.65	c (431,0) c |  0 |    129 |      65156 |      37434 |   458113 |    11364 |     5856 |        0 |        0 |    12692 |  20 |  1.645 |
615.98/532.65	c (431,0) c 
615.98/532.65	c (431,0) c synthesis       37434 conflicts   225060520 propagations       88 conflicts/sec   529758 propagations/sec
615.98/532.65	c (431,0) c real: 431.023 s, cpu: 424.836 s, memory: 5161.81 Mb
645.00/561.65	c (460,0) c
645.00/561.65	c (460,0) c |------------------------------------------------------------------------------------------------------------------------|
645.00/561.65	c (460,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
645.00/561.65	c (460,0) c |------------------------------------------------------------------------------------------------------------------------|
645.00/561.65	c (460,0) c |  0 |    146 |      68334 |      39103 |   475223 |    13033 |     6097 |        0 |        0 |    13523 |  20 |  1.645 |
645.00/561.65	c (460,0) c 
645.00/561.65	c (460,0) c synthesis       39103 conflicts   243210144 propagations       86 conflicts/sec   536077 propagations/sec
645.00/561.65	c (460,0) c real: 460.023 s, cpu: 453.685 s, memory: 5161.81 Mb
674.02/590.65	c (489,0) c
674.02/590.65	c (489,0) c |------------------------------------------------------------------------------------------------------------------------|
674.02/590.65	c (489,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
674.02/590.65	c (489,0) c |------------------------------------------------------------------------------------------------------------------------|
674.02/590.65	c (489,0) c |  0 |    150 |      72781 |      42069 |   501930 |    15999 |     6542 |        0 |        0 |    14392 |  20 |  1.645 |
674.02/590.65	c (489,0) c 
674.02/590.65	c (489,0) c synthesis       42069 conflicts   259825966 propagations       87 conflicts/sec   538376 propagations/sec
674.02/590.65	c (489,0) c real: 489.023 s, cpu: 482.61 s, memory: 5161.81 Mb
703.05/619.65	c (518,0) c
703.05/619.65	c (518,0) c |------------------------------------------------------------------------------------------------------------------------|
703.05/619.65	c (518,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
703.05/619.65	c (518,0) c |------------------------------------------------------------------------------------------------------------------------|
703.05/619.65	c (518,0) c |  0 |    159 |      77130 |      44783 |   525637 |    18713 |     6916 |        0 |        0 |    15319 |  20 |  1.645 |
703.05/619.65	c (518,0) c 
703.05/619.65	c (518,0) c synthesis       44783 conflicts   276669712 propagations       88 conflicts/sec   540965 propagations/sec
703.05/619.65	c (518,0) c real: 518.023 s, cpu: 511.437 s, memory: 5161.81 Mb
733.07/649.65	c (548,0) c
733.07/649.65	c (548,0) c |------------------------------------------------------------------------------------------------------------------------|
733.07/649.65	c (548,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
733.07/649.65	c (548,0) c |------------------------------------------------------------------------------------------------------------------------|
733.07/649.65	c (548,0) c |  0 |    170 |      81911 |      47683 |   550659 |    21613 |     7303 |        0 |        0 |    16291 |  20 |  1.645 |
733.07/649.65	c (548,0) c 
733.07/649.65	c (548,0) c synthesis       47683 conflicts   293329870 propagations       88 conflicts/sec   541884 propagations/sec
733.07/649.65	c (548,0) c real: 548.023 s, cpu: 541.314 s, memory: 5161.81 Mb
762.10/678.65	c (577,0) c
762.10/678.65	c (577,0) c |------------------------------------------------------------------------------------------------------------------------|
762.10/678.65	c (577,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
762.10/678.65	c (577,0) c |------------------------------------------------------------------------------------------------------------------------|
762.10/678.65	c (577,0) c |  0 |    177 |      86333 |      50486 |   575727 |    24416 |     7653 |        0 |        0 |    17155 |  20 |  1.645 |
762.10/678.65	c (577,0) c 
762.10/678.65	c (577,0) c synthesis       50486 conflicts   308658543 propagations       89 conflicts/sec   541327 propagations/sec
762.10/678.65	c (577,0) c real: 577.023 s, cpu: 570.188 s, memory: 5225.81 Mb
791.13/707.65	c (606,0) c
791.13/707.67	c (606,0) c |------------------------------------------------------------------------------------------------------------------------|
791.13/707.67	c (606,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
791.13/707.67	c (606,0) c |------------------------------------------------------------------------------------------------------------------------|
791.13/707.67	c (606,0) c |  0 |    185 |      91268 |      53609 |   600980 |    15091 |     8105 |        0 |        0 |    18141 |  20 |  1.645 |
791.13/707.67	c (606,0) c 
791.13/707.67	c (606,0) c synthesis       53609 conflicts   325073935 propagations       89 conflicts/sec   542600 propagations/sec
791.13/707.67	c (606,0) c real: 606.023 s, cpu: 599.105 s, memory: 5225.81 Mb
820.17/736.65	c (635,0) c
820.17/736.65	c (635,0) c |------------------------------------------------------------------------------------------------------------------------|
820.17/736.65	c (635,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
820.17/736.65	c (635,0) c |------------------------------------------------------------------------------------------------------------------------|
820.17/736.65	c (635,0) c |  0 |    191 |      95790 |      56564 |   623245 |    18046 |     8576 |        0 |        0 |    19064 |  20 |  1.645 |
820.17/736.65	c (635,0) c 
820.17/736.65	c (635,0) c synthesis       56564 conflicts   340885000 propagations       90 conflicts/sec   542830 propagations/sec
820.17/736.65	c (635,0) c real: 635.023 s, cpu: 627.977 s, memory: 5225.81 Mb
849.20/765.65	c (664,0) c
849.20/765.65	c (664,0) c |------------------------------------------------------------------------------------------------------------------------|
849.20/765.65	c (664,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
849.20/765.65	c (664,0) c |------------------------------------------------------------------------------------------------------------------------|
849.20/765.65	c (664,0) c |  0 |    204 |     100285 |      59041 |   642557 |    20523 |     8892 |        0 |        0 |    19970 |  20 |  1.645 |
849.20/765.65	c (664,0) c 
849.20/765.65	c (664,0) c synthesis       59041 conflicts   357795834 propagations       90 conflicts/sec   544723 propagations/sec
849.20/765.65	c (664,0) c real: 664.023 s, cpu: 656.84 s, memory: 5225.81 Mb
878.22/794.65	c (693,0) c
878.22/794.65	c (693,0) c |------------------------------------------------------------------------------------------------------------------------|
878.22/794.65	c (693,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
878.22/794.65	c (693,0) c |------------------------------------------------------------------------------------------------------------------------|
878.22/794.65	c (693,0) c |  0 |    218 |     105078 |      61849 |   663229 |    23331 |     9233 |        0 |        0 |    20851 |  20 |  1.645 |
878.22/794.65	c (693,0) c 
878.22/794.65	c (693,0) c synthesis       61849 conflicts   374050704 propagations       90 conflicts/sec   545502 propagations/sec
878.22/794.65	c (693,0) c real: 693.023 s, cpu: 685.7 s, memory: 5225.81 Mb
907.24/823.65	c (722,0) c
907.24/823.65	c (722,0) c |------------------------------------------------------------------------------------------------------------------------|
907.24/823.65	c (722,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
907.24/823.65	c (722,0) c |------------------------------------------------------------------------------------------------------------------------|
907.24/823.65	c (722,0) c |  0 |    229 |     108973 |      63859 |   679404 |    25341 |     9470 |        0 |        0 |    21766 |  20 |  1.645 |
907.24/823.65	c (722,0) c 
907.24/823.65	c (722,0) c synthesis       63859 conflicts   390508523 propagations       89 conflicts/sec   546488 propagations/sec
907.24/823.65	c (722,0) c real: 722.023 s, cpu: 714.578 s, memory: 5225.81 Mb
937.27/853.65	c (752,0) c
937.27/853.65	c (752,0) c |------------------------------------------------------------------------------------------------------------------------|
937.27/853.65	c (752,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
937.27/853.65	c (752,0) c |------------------------------------------------------------------------------------------------------------------------|
937.27/853.65	c (752,0) c |  0 |    247 |     112502 |      65650 |   697104 |    27132 |     9671 |        0 |        0 |    22672 |  20 |  1.645 |
937.27/853.65	c (752,0) c 
937.27/853.65	c (752,0) c synthesis       65650 conflicts   407563861 propagations       88 conflicts/sec   547474 propagations/sec
937.27/853.65	c (752,0) c real: 752.023 s, cpu: 744.444 s, memory: 5225.81 Mb
966.30/882.65	c (781,0) c
966.30/882.65	c (781,0) c |------------------------------------------------------------------------------------------------------------------------|
966.30/882.65	c (781,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
966.30/882.65	c (781,0) c |------------------------------------------------------------------------------------------------------------------------|
966.30/882.65	c (781,0) c |  0 |    264 |     116514 |      67678 |   713838 |    29160 |     9967 |        0 |        0 |    23571 |  20 |  1.645 |
966.30/882.65	c (781,0) c 
966.30/882.65	c (781,0) c synthesis       67678 conflicts   423823170 propagations       88 conflicts/sec   548055 propagations/sec
966.30/882.65	c (781,0) c real: 781.023 s, cpu: 773.322 s, memory: 5225.81 Mb
995.32/911.65	c (810,0) c
995.32/911.65	c (810,0) c |------------------------------------------------------------------------------------------------------------------------|
995.32/911.65	c (810,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
995.32/911.65	c (810,0) c |------------------------------------------------------------------------------------------------------------------------|
995.32/911.65	c (810,0) c |  0 |    282 |     120455 |      69745 |   731384 |    16199 |    10261 |        0 |        0 |    24458 |  20 |  1.645 |
995.32/911.65	c (810,0) c 
995.32/911.65	c (810,0) c synthesis       69745 conflicts   441025050 propagations       87 conflicts/sec   549768 propagations/sec
995.32/911.65	c (810,0) c real: 810.023 s, cpu: 802.202 s, memory: 5225.81 Mb
1024.35/940.65	c (839,0) c
1024.35/940.65	c (839,0) c |------------------------------------------------------------------------------------------------------------------------|
1024.35/940.65	c (839,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1024.35/940.65	c (839,0) c |------------------------------------------------------------------------------------------------------------------------|
1024.35/940.65	c (839,0) c |  0 |    301 |     125531 |      72359 |   750916 |    18813 |    10569 |        0 |        0 |    25293 |  20 |  1.645 |
1024.35/940.65	c (839,0) c 
1024.35/940.65	c (839,0) c synthesis       72359 conflicts   458015086 propagations       87 conflicts/sec   551127 propagations/sec
1024.35/940.65	c (839,0) c real: 839.023 s, cpu: 831.052 s, memory: 5225.81 Mb
1053.37/969.65	c (868,0) c
1053.37/969.65	c (868,0) c |------------------------------------------------------------------------------------------------------------------------|
1053.37/969.65	c (868,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1053.37/969.65	c (868,0) c |------------------------------------------------------------------------------------------------------------------------|
1053.37/969.65	c (868,0) c |  0 |    316 |     129911 |      74597 |   771502 |    21051 |    10776 |        0 |        0 |    26170 |  20 |  1.645 |
1053.37/969.65	c (868,0) c 
1053.37/969.65	c (868,0) c synthesis       74597 conflicts   474382763 propagations       87 conflicts/sec   551651 propagations/sec
1053.37/969.65	c (868,0) c real: 868.023 s, cpu: 859.932 s, memory: 5225.81 Mb
1083.40/999.65	c (898,0) c
1083.40/999.65	c (898,0) c |------------------------------------------------------------------------------------------------------------------------|
1083.40/999.65	c (898,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1083.40/999.65	c (898,0) c |------------------------------------------------------------------------------------------------------------------------|
1083.40/999.65	c (898,0) c |  0 |    328 |     133634 |      76777 |   785460 |    23231 |    11060 |        0 |        0 |    27170 |  20 |  1.645 |
1083.40/999.65	c (898,0) c 
1083.40/999.65	c (898,0) c synthesis       76777 conflicts   490636700 propagations       86 conflicts/sec   551414 propagations/sec
1083.40/999.65	c (898,0) c real: 898.023 s, cpu: 889.779 s, memory: 5225.81 Mb
1112.42/1028.65	c (927,0) c
1112.42/1028.65	c (927,0) c |------------------------------------------------------------------------------------------------------------------------|
1112.42/1028.65	c (927,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1112.42/1028.65	c (927,0) c |------------------------------------------------------------------------------------------------------------------------|
1112.42/1028.65	c (927,0) c |  0 |    344 |     137604 |      78934 |   802309 |    25388 |    11305 |        0 |        0 |    28122 |  20 |  1.645 |
1112.42/1028.65	c (927,0) c 
1112.42/1028.65	c (927,0) c synthesis       78934 conflicts   508496083 propagations       86 conflicts/sec   553515 propagations/sec
1112.42/1028.65	c (927,0) c real: 927.023 s, cpu: 918.666 s, memory: 5225.81 Mb
1141.44/1057.65	c (956,0) c
1141.44/1057.65	c (956,0) c |------------------------------------------------------------------------------------------------------------------------|
1141.44/1057.65	c (956,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1141.44/1057.65	c (956,0) c |------------------------------------------------------------------------------------------------------------------------|
1141.44/1057.65	c (956,0) c |  0 |    354 |     140580 |      80664 |   816939 |    27118 |    11589 |        0 |        0 |    29060 |  20 |  1.645 |
1141.44/1057.65	c (956,0) c 
1141.44/1057.65	c (956,0) c synthesis       80664 conflicts   525720523 propagations       85 conflicts/sec   554842 propagations/sec
1141.44/1057.65	c (956,0) c real: 956.023 s, cpu: 947.514 s, memory: 5225.81 Mb
1170.48/1086.65	c (985,0) c
1170.48/1086.65	c (985,0) c |------------------------------------------------------------------------------------------------------------------------|
1170.48/1086.65	c (985,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1170.48/1086.65	c (985,0) c |------------------------------------------------------------------------------------------------------------------------|
1170.48/1086.65	c (985,0) c |  0 |    372 |     142390 |      81815 |   835078 |    28269 |    11670 |        0 |        0 |    30035 |  20 |  1.645 |
1170.48/1086.65	c (985,0) c 
1170.48/1086.65	c (985,0) c synthesis       81815 conflicts   544075330 propagations       84 conflicts/sec   557197 propagations/sec
1170.48/1086.65	c (985,0) c real: 985.023 s, cpu: 976.45 s, memory: 5225.81 Mb
1199.50/1115.65	c (1014,0) c
1199.50/1115.65	c (1014,0) c |------------------------------------------------------------------------------------------------------------------------|
1199.50/1115.65	c (1014,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1199.50/1115.65	c (1014,0) c |------------------------------------------------------------------------------------------------------------------------|
1199.50/1115.65	c (1014,0) c |  0 |    382 |     147209 |      84704 |   854390 |    31158 |    12042 |        0 |        0 |    30988 |  20 |  1.645 |
1199.50/1115.65	c (1014,0) c 
1199.50/1115.65	c (1014,0) c synthesis       84704 conflicts   561342467 propagations       84 conflicts/sec   558384 propagations/sec
1199.50/1115.65	c (1014,0) c real: 1014.02 s, cpu: 1005.3 s, memory: 5225.81 Mb
1229.53/1145.65	c (1044,0) c
1229.53/1145.65	c (1044,0) c |------------------------------------------------------------------------------------------------------------------------|
1229.53/1145.65	c (1044,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1229.53/1145.65	c (1044,0) c |------------------------------------------------------------------------------------------------------------------------|
1229.53/1145.65	c (1044,0) c |  0 |    395 |     150337 |      86400 |   868402 |    32854 |    12226 |        0 |        0 |    31936 |  20 |  1.645 |
1229.53/1145.65	c (1044,0) c 
1229.53/1145.65	c (1044,0) c synthesis       86400 conflicts   578803267 propagations       83 conflicts/sec   559125 propagations/sec
1229.53/1145.65	c (1044,0) c real: 1044.02 s, cpu: 1035.19 s, memory: 5225.81 Mb
1258.57/1174.65	c (1073,0) c
1258.57/1174.65	c (1073,0) c |------------------------------------------------------------------------------------------------------------------------|
1258.57/1174.65	c (1073,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1258.57/1174.65	c (1073,0) c |------------------------------------------------------------------------------------------------------------------------|
1258.57/1174.65	c (1073,0) c |  0 |    402 |     153474 |      88245 |   882852 |    34699 |    12512 |        0 |        0 |    32767 |  20 |  1.645 |
1258.57/1174.65	c (1073,0) c 
1258.57/1174.65	c (1073,0) c synthesis       88245 conflicts   592659437 propagations       83 conflicts/sec   556974 propagations/sec
1258.57/1174.65	c (1073,0) c real: 1073.02 s, cpu: 1064.07 s, memory: 5225.81 Mb
1287.58/1203.65	c (1102,0) c
1287.58/1203.65	c (1102,0) c |------------------------------------------------------------------------------------------------------------------------|
1287.58/1203.65	c (1102,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1287.58/1203.65	c (1102,0) c |------------------------------------------------------------------------------------------------------------------------|
1287.58/1203.65	c (1102,0) c |  0 |    403 |     156620 |      90220 |   899385 |    19061 |    12743 |        0 |        0 |    33554 |  20 |  1.645 |
1287.58/1203.65	c (1102,0) c 
1287.58/1203.65	c (1102,0) c synthesis       90220 conflicts   605355455 propagations       83 conflicts/sec   553846 propagations/sec
1287.58/1203.65	c (1102,0) c real: 1102.02 s, cpu: 1093 s, memory: 5225.81 Mb
1316.61/1232.65	c (1131,0) c
1316.61/1232.65	c (1131,0) c |------------------------------------------------------------------------------------------------------------------------|
1316.61/1232.65	c (1131,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1316.61/1232.65	c (1131,0) c |------------------------------------------------------------------------------------------------------------------------|
1316.61/1232.65	c (1131,0) c |  0 |    414 |     160072 |      92134 |   912941 |    20975 |    12983 |        0 |        0 |    34466 |  20 |  1.645 |
1316.61/1232.65	c (1131,0) c 
1316.61/1232.65	c (1131,0) c synthesis       92134 conflicts   619964813 propagations       82 conflicts/sec   552639 propagations/sec
1316.61/1232.65	c (1131,0) c real: 1131.02 s, cpu: 1121.83 s, memory: 5225.81 Mb
1345.64/1261.65	c (1160,0) c
1345.64/1261.65	c (1160,0) c |------------------------------------------------------------------------------------------------------------------------|
1345.64/1261.65	c (1160,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1345.64/1261.65	c (1160,0) c |------------------------------------------------------------------------------------------------------------------------|
1345.64/1261.65	c (1160,0) c |  0 |    431 |     163391 |      93942 |   924403 |    22783 |    13197 |        0 |        0 |    35347 |  20 |  1.645 |
1345.64/1261.65	c (1160,0) c 
1345.64/1261.65	c (1160,0) c synthesis       93942 conflicts   636390718 propagations       82 conflicts/sec   553013 propagations/sec
1345.64/1261.65	c (1160,0) c real: 1160.02 s, cpu: 1150.77 s, memory: 5225.81 Mb
1375.67/1291.65	c (1190,0) c
1375.67/1291.65	c (1190,0) c |------------------------------------------------------------------------------------------------------------------------|
1375.67/1291.65	c (1190,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1375.67/1291.65	c (1190,0) c |------------------------------------------------------------------------------------------------------------------------|
1375.67/1291.65	c (1190,0) c |  0 |    445 |     167014 |      95872 |   938379 |    24713 |    13415 |        0 |        0 |    36215 |  20 |  1.645 |
1375.67/1291.65	c (1190,0) c 
1375.67/1291.65	c (1190,0) c synthesis       95872 conflicts   653894331 propagations       81 conflicts/sec   553855 propagations/sec
1375.67/1291.65	c (1190,0) c real: 1190.02 s, cpu: 1180.62 s, memory: 5225.81 Mb
1404.70/1320.65	c (1219,0) c
1404.70/1320.65	c (1219,0) c |------------------------------------------------------------------------------------------------------------------------|
1404.70/1320.65	c (1219,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1404.70/1320.65	c (1219,0) c |------------------------------------------------------------------------------------------------------------------------|
1404.70/1320.65	c (1219,0) c |  0 |    456 |     170945 |      98110 |   955002 |    26951 |    13682 |        0 |        0 |    37149 |  20 |  1.645 |
1404.70/1320.65	c (1219,0) c 
1404.70/1320.65	c (1219,0) c synthesis       98110 conflicts   672715987 propagations       81 conflicts/sec   556184 propagations/sec
1404.70/1320.65	c (1219,0) c real: 1219.02 s, cpu: 1209.52 s, memory: 5225.81 Mb
1433.72/1349.65	c (1248,0) c
1433.72/1349.65	c (1248,0) c |------------------------------------------------------------------------------------------------------------------------|
1433.72/1349.65	c (1248,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1433.72/1349.65	c (1248,0) c |------------------------------------------------------------------------------------------------------------------------|
1433.72/1349.65	c (1248,0) c |  0 |    465 |     175699 |     100894 |   971183 |    29734 |    14096 |        0 |        0 |    38109 |  20 |  1.645 |
1433.72/1349.65	c (1248,0) c 
1433.72/1349.65	c (1248,0) c synthesis      100894 conflicts   690169015 propagations       81 conflicts/sec   557320 propagations/sec
1433.72/1349.65	c (1248,0) c real: 1248.02 s, cpu: 1238.37 s, memory: 5225.81 Mb
1462.75/1378.65	c (1277,0) c
1462.75/1378.66	c (1277,0) c |------------------------------------------------------------------------------------------------------------------------|
1462.75/1378.66	c (1277,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1462.75/1378.66	c (1277,0) c |------------------------------------------------------------------------------------------------------------------------|
1462.75/1378.66	c (1277,0) c |  0 |    473 |     181872 |     104769 |   990945 |    33609 |    14609 |        0 |        0 |    39064 |  20 |  1.645 |
1462.75/1378.66	c (1277,0) c 
1462.75/1378.66	c (1277,0) c synthesis      104769 conflicts   707266934 propagations       83 conflicts/sec   558088 propagations/sec
1462.75/1378.66	c (1277,0) c real: 1277.02 s, cpu: 1267.3 s, memory: 5225.81 Mb
1491.78/1407.65	c (1306,0) c
1491.78/1407.65	c (1306,0) c |------------------------------------------------------------------------------------------------------------------------|
1491.78/1407.65	c (1306,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1491.78/1407.65	c (1306,0) c |------------------------------------------------------------------------------------------------------------------------|
1491.78/1407.65	c (1306,0) c |  0 |    490 |     185944 |     106856 |  1005356 |    35696 |    14849 |        0 |        0 |    39975 |  20 |  1.645 |
1491.78/1407.65	c (1306,0) c 
1491.78/1407.65	c (1306,0) c synthesis      106856 conflicts   723779363 propagations       82 conflicts/sec   558418 propagations/sec
1491.78/1407.65	c (1306,0) c real: 1306.02 s, cpu: 1296.13 s, memory: 5225.81 Mb
1521.80/1437.65	c (1336,0) c
1521.80/1437.65	c (1336,0) c |------------------------------------------------------------------------------------------------------------------------|
1521.80/1437.65	c (1336,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1521.80/1437.65	c (1336,0) c |------------------------------------------------------------------------------------------------------------------------|
1521.80/1437.65	c (1336,0) c |  0 |    499 |     188404 |     108436 |  1016302 |    37276 |    15056 |        0 |        0 |    40840 |  20 |  1.645 |
1521.80/1437.65	c (1336,0) c 
1521.80/1437.65	c (1336,0) c synthesis      108436 conflicts   741615957 propagations       82 conflicts/sec   559265 propagations/sec
1521.80/1437.65	c (1336,0) c real: 1336.02 s, cpu: 1326.05 s, memory: 5225.81 Mb
1550.84/1466.65	c (1365,0) c
1550.84/1466.65	c (1365,0) c |------------------------------------------------------------------------------------------------------------------------|
1550.84/1466.65	c (1365,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1550.84/1466.65	c (1365,0) c |------------------------------------------------------------------------------------------------------------------------|
1550.84/1466.65	c (1365,0) c |  0 |    504 |     192048 |     110826 |  1028926 |    39666 |    15365 |        0 |        0 |    41701 |  20 |  1.645 |
1550.84/1466.65	c (1365,0) c 
1550.84/1466.65	c (1365,0) c synthesis      110826 conflicts   756208610 propagations       82 conflicts/sec   558119 propagations/sec
1550.84/1466.65	c (1365,0) c real: 1365.02 s, cpu: 1354.92 s, memory: 5225.81 Mb
1579.87/1495.65	c (1394,0) c
1579.87/1495.65	c (1394,0) c |------------------------------------------------------------------------------------------------------------------------|
1579.87/1495.65	c (1394,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1579.87/1495.65	c (1394,0) c |------------------------------------------------------------------------------------------------------------------------|
1579.87/1495.65	c (1394,0) c |  0 |    515 |     196575 |     113395 |  1043976 |    22033 |    15695 |        0 |        0 |    42593 |  20 |  1.645 |
1579.87/1495.65	c (1394,0) c 
1579.87/1495.65	c (1394,0) c synthesis      113395 conflicts   772399690 propagations       82 conflicts/sec   558166 propagations/sec
1579.87/1495.65	c (1394,0) c real: 1394.02 s, cpu: 1383.82 s, memory: 5225.81 Mb
1608.89/1524.65	c (1423,0) c
1608.89/1524.65	c (1423,0) c |------------------------------------------------------------------------------------------------------------------------|
1608.89/1524.65	c (1423,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1608.89/1524.65	c (1423,0) c |------------------------------------------------------------------------------------------------------------------------|
1608.89/1524.65	c (1423,0) c |  0 |    522 |     201063 |     116135 |  1061347 |    24773 |    16032 |        0 |        0 |    43521 |  20 |  1.645 |
1608.89/1524.65	c (1423,0) c 
1608.89/1524.65	c (1423,0) c synthesis      116135 conflicts   787772787 propagations       82 conflicts/sec   557636 propagations/sec
1608.89/1524.65	c (1423,0) c real: 1423.02 s, cpu: 1412.7 s, memory: 5225.81 Mb
1637.92/1553.65	c (1452,0) c
1637.92/1553.65	c (1452,0) c |------------------------------------------------------------------------------------------------------------------------|
1637.92/1553.65	c (1452,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1637.92/1553.65	c (1452,0) c |------------------------------------------------------------------------------------------------------------------------|
1637.92/1553.65	c (1452,0) c |  0 |    526 |     204505 |     118382 |  1072149 |    27020 |    16348 |        0 |        0 |    44489 |  20 |  1.645 |
1637.92/1553.65	c (1452,0) c 
1637.92/1553.65	c (1452,0) c synthesis      118382 conflicts   802715567 propagations       82 conflicts/sec   556823 propagations/sec
1637.92/1553.65	c (1452,0) c real: 1452.02 s, cpu: 1441.6 s, memory: 5225.81 Mb
1667.94/1583.65	c (1482,0) c
1667.94/1583.65	c (1482,0) c |------------------------------------------------------------------------------------------------------------------------|
1667.94/1583.65	c (1482,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1667.94/1583.65	c (1482,0) c |------------------------------------------------------------------------------------------------------------------------|
1667.94/1583.65	c (1482,0) c |  0 |    543 |     208281 |     120280 |  1087143 |    28918 |    16536 |        0 |        0 |    45409 |  20 |  1.645 |
1667.94/1583.65	c (1482,0) c 
1667.94/1583.65	c (1482,0) c synthesis      120280 conflicts   818605781 propagations       82 conflicts/sec   556332 propagations/sec
1667.94/1583.65	c (1482,0) c real: 1482.02 s, cpu: 1471.43 s, memory: 5225.81 Mb
1696.96/1612.65	c (1511,0) c
1696.96/1612.65	c (1511,0) c |------------------------------------------------------------------------------------------------------------------------|
1696.96/1612.65	c (1511,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1696.96/1612.65	c (1511,0) c |------------------------------------------------------------------------------------------------------------------------|
1696.96/1612.65	c (1511,0) c |  0 |    557 |     211706 |     122122 |  1097576 |    30760 |    16746 |        0 |        0 |    46299 |  20 |  1.645 |
1696.96/1612.65	c (1511,0) c 
1696.96/1612.65	c (1511,0) c synthesis      122122 conflicts   834822917 propagations       81 conflicts/sec   556427 propagations/sec
1696.96/1612.65	c (1511,0) c real: 1511.02 s, cpu: 1500.33 s, memory: 5225.81 Mb
1725.99/1641.65	c (1540,0) c
1725.99/1641.65	c (1540,0) c |------------------------------------------------------------------------------------------------------------------------|
1725.99/1641.65	c (1540,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1725.99/1641.65	c (1540,0) c |------------------------------------------------------------------------------------------------------------------------|
1725.99/1641.65	c (1540,0) c |  0 |    568 |     214954 |     124032 |  1108060 |    32670 |    16967 |        0 |        0 |    47192 |  20 |  1.645 |
1725.99/1641.65	c (1540,0) c 
1725.99/1641.65	c (1540,0) c synthesis      124032 conflicts   852132547 propagations       81 conflicts/sec   557223 propagations/sec
1725.99/1641.65	c (1540,0) c real: 1540.02 s, cpu: 1529.25 s, memory: 5225.81 Mb
1755.02/1670.65	c (1569,0) c
1755.02/1670.65	c (1569,0) c |------------------------------------------------------------------------------------------------------------------------|
1755.02/1670.65	c (1569,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1755.02/1670.65	c (1569,0) c |------------------------------------------------------------------------------------------------------------------------|
1755.02/1670.65	c (1569,0) c |  0 |    581 |     218466 |     125894 |  1119483 |    34532 |    17176 |        0 |        0 |    48082 |  20 |  1.645 |
1755.02/1670.65	c (1569,0) c 
1755.02/1670.65	c (1569,0) c synthesis      125894 conflicts   868565879 propagations       81 conflicts/sec   557448 propagations/sec
1755.02/1670.65	c (1569,0) c real: 1569.02 s, cpu: 1558.11 s, memory: 5225.81 Mb
1784.04/1699.65	c (1598,0) c
1784.04/1699.65	c (1598,0) c |------------------------------------------------------------------------------------------------------------------------|
1784.04/1699.65	c (1598,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1784.04/1699.65	c (1598,0) c |------------------------------------------------------------------------------------------------------------------------|
1784.04/1699.65	c (1598,0) c |  0 |    598 |     222979 |     128149 |  1134077 |    36787 |    17442 |        0 |        0 |    49001 |  20 |  1.645 |
1784.04/1699.65	c (1598,0) c 
1784.04/1699.65	c (1598,0) c synthesis      128149 conflicts   885595593 propagations       81 conflicts/sec   558036 propagations/sec
1784.04/1699.65	c (1598,0) c real: 1598.02 s, cpu: 1586.99 s, memory: 5225.81 Mb
1814.07/1729.65	c (1628,0) c
1814.07/1729.65	c (1628,0) c |------------------------------------------------------------------------------------------------------------------------|
1814.07/1729.65	c (1628,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1814.07/1729.65	c (1628,0) c |------------------------------------------------------------------------------------------------------------------------|
1814.07/1729.65	c (1628,0) c |  0 |    612 |     226832 |     130228 |  1147342 |    38866 |    17714 |        0 |        0 |    49940 |  20 |  1.645 |
1814.07/1729.65	c (1628,0) c 
1814.07/1729.65	c (1628,0) c synthesis      130228 conflicts   903987952 propagations       81 conflicts/sec   559105 propagations/sec
1814.07/1729.65	c (1628,0) c real: 1628.02 s, cpu: 1616.85 s, memory: 5225.81 Mb
1843.10/1758.65	c (1657,0) c
1843.10/1758.65	c (1657,0) c |------------------------------------------------------------------------------------------------------------------------|
1843.10/1758.65	c (1657,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1843.10/1758.65	c (1657,0) c |------------------------------------------------------------------------------------------------------------------------|
1843.10/1758.65	c (1657,0) c |  0 |    625 |     230273 |     132237 |  1159252 |    40875 |    18031 |        0 |        0 |    50818 |  20 |  1.645 |
1843.10/1758.65	c (1657,0) c 
1843.10/1758.65	c (1657,0) c synthesis      132237 conflicts   920919075 propagations       80 conflicts/sec   559569 propagations/sec
1843.10/1758.65	c (1657,0) c real: 1657.02 s, cpu: 1645.77 s, memory: 5225.81 Mb
1872.12/1787.65	c (1686,0) c
1872.12/1787.65	c (1686,0) c |------------------------------------------------------------------------------------------------------------------------|
1872.12/1787.65	c (1686,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1872.12/1787.65	c (1686,0) c |------------------------------------------------------------------------------------------------------------------------|
1872.12/1787.65	c (1686,0) c |  0 |    644 |     233642 |     134100 |  1172191 |    42738 |    18197 |        0 |        0 |    51727 |  20 |  1.645 |
1872.12/1787.65	c (1686,0) c 
1872.12/1787.65	c (1686,0) c synthesis      134100 conflicts   937367722 propagations       80 conflicts/sec   559754 propagations/sec
1872.12/1787.65	c (1686,0) c real: 1686.02 s, cpu: 1674.61 s, memory: 5225.81 Mb
1901.14/1816.65	c (1715,0) c
1901.14/1816.65	c (1715,0) c |------------------------------------------------------------------------------------------------------------------------|
1901.14/1816.65	c (1715,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1901.14/1816.65	c (1715,0) c |------------------------------------------------------------------------------------------------------------------------|
1901.14/1816.65	c (1715,0) c |  0 |    653 |     236730 |     135932 |  1184913 |    44570 |    18414 |        0 |        0 |    52628 |  20 |  1.645 |
1901.14/1816.65	c (1715,0) c 
1901.14/1816.65	c (1715,0) c synthesis      135932 conflicts   952940552 propagations       80 conflicts/sec   559396 propagations/sec
1901.14/1816.65	c (1715,0) c real: 1715.02 s, cpu: 1703.52 s, memory: 5225.81 Mb
1930.17/1845.65	c (1744,0) c
1930.17/1845.65	c (1744,0) c |------------------------------------------------------------------------------------------------------------------------|
1930.17/1845.65	c (1744,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1930.17/1845.65	c (1744,0) c |------------------------------------------------------------------------------------------------------------------------|
1930.17/1845.65	c (1744,0) c |  0 |    661 |     241292 |     138431 |  1197066 |    24258 |    18774 |        0 |        0 |    53527 |  20 |  1.645 |
1930.17/1845.65	c (1744,0) c 
1930.17/1845.65	c (1744,0) c synthesis      138431 conflicts   970082125 propagations       80 conflicts/sec   559977 propagations/sec
1930.17/1845.65	c (1744,0) c real: 1744.02 s, cpu: 1732.36 s, memory: 5225.81 Mb
1960.22/1875.65	c (1774,0) c
1960.22/1875.65	c (1774,0) c |------------------------------------------------------------------------------------------------------------------------|
1960.22/1875.65	c (1774,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1960.22/1875.65	c (1774,0) c |------------------------------------------------------------------------------------------------------------------------|
1960.22/1875.65	c (1774,0) c |  0 |    678 |     245576 |     140658 |  1210922 |    26485 |    19017 |        0 |        0 |    54397 |  20 |  1.645 |
1960.22/1875.65	c (1774,0) c 
1960.22/1875.65	c (1774,0) c synthesis      140658 conflicts   986082787 propagations       80 conflicts/sec   559553 propagations/sec
1960.22/1875.65	c (1774,0) c real: 1774.02 s, cpu: 1762.27 s, memory: 5225.81 Mb
1989.24/1904.65	c (1803,0) c
1989.24/1904.65	c (1803,0) c |------------------------------------------------------------------------------------------------------------------------|
1989.24/1904.65	c (1803,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1989.24/1904.65	c (1803,0) c |------------------------------------------------------------------------------------------------------------------------|
1989.24/1904.65	c (1803,0) c |  0 |    687 |     250349 |     143304 |  1225132 |    29131 |    19319 |        0 |        0 |    55339 |  20 |  1.645 |
1989.24/1904.65	c (1803,0) c 
1989.24/1904.65	c (1803,0) c synthesis      143304 conflicts  1002136593 propagations       80 conflicts/sec   559510 propagations/sec
1989.24/1904.65	c (1803,0) c real: 1803.02 s, cpu: 1791.1 s, memory: 5225.81 Mb
2018.27/1933.65	c (1832,0) c
2018.27/1933.65	c (1832,0) c |------------------------------------------------------------------------------------------------------------------------|
2018.27/1933.65	c (1832,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2018.27/1933.65	c (1832,0) c |------------------------------------------------------------------------------------------------------------------------|
2018.27/1933.65	c (1832,0) c |  0 |    701 |     254399 |     145267 |  1239406 |    31094 |    19574 |        0 |        0 |    56231 |  20 |  1.645 |
2018.27/1933.65	c (1832,0) c 
2018.27/1933.65	c (1832,0) c synthesis      145267 conflicts  1017399570 propagations       80 conflicts/sec   559007 propagations/sec
2018.27/1933.65	c (1832,0) c real: 1832.02 s, cpu: 1820.01 s, memory: 5225.81 Mb
2047.30/1962.65	c (1861,0) c
2047.30/1962.65	c (1861,0) c |------------------------------------------------------------------------------------------------------------------------|
2047.30/1962.65	c (1861,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2047.30/1962.65	c (1861,0) c |------------------------------------------------------------------------------------------------------------------------|
2047.30/1962.65	c (1861,0) c |  0 |    709 |     258003 |     147503 |  1251481 |    33330 |    19884 |        0 |        0 |    57181 |  20 |  1.645 |
2047.30/1962.65	c (1861,0) c 
2047.30/1962.65	c (1861,0) c synthesis      147503 conflicts  1032967166 propagations       80 conflicts/sec   558700 propagations/sec
2047.30/1962.65	c (1861,0) c real: 1861.02 s, cpu: 1848.88 s, memory: 5225.81 Mb
2076.31/1991.65	c (1890,0) c
2076.31/1991.65	c (1890,0) c |------------------------------------------------------------------------------------------------------------------------|
2076.31/1991.65	c (1890,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2076.31/1991.65	c (1890,0) c |------------------------------------------------------------------------------------------------------------------------|
2076.31/1991.65	c (1890,0) c |  0 |    724 |     261664 |     149550 |  1264723 |    35377 |    20141 |        0 |        0 |    58148 |  20 |  1.645 |
2076.31/1991.65	c (1890,0) c 
2076.31/1991.65	c (1890,0) c synthesis      149550 conflicts  1050796987 propagations       80 conflicts/sec   559593 propagations/sec
2076.31/1991.65	c (1890,0) c real: 1890.02 s, cpu: 1877.79 s, memory: 5225.81 Mb
2106.34/2021.65	c (1920,0) c
2106.34/2021.65	c (1920,0) c |------------------------------------------------------------------------------------------------------------------------|
2106.34/2021.65	c (1920,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2106.34/2021.65	c (1920,0) c |------------------------------------------------------------------------------------------------------------------------|
2106.34/2021.65	c (1920,0) c |  0 |    737 |     265333 |     151593 |  1276117 |    37420 |    20379 |        0 |        0 |    59119 |  20 |  1.645 |
2106.34/2021.65	c (1920,0) c 
2106.34/2021.65	c (1920,0) c synthesis      151593 conflicts  1068204945 propagations       79 conflicts/sec   559961 propagations/sec
2106.34/2021.65	c (1920,0) c real: 1920.02 s, cpu: 1907.64 s, memory: 5225.81 Mb
2135.37/2050.65	c (1949,0) c
2135.37/2050.65	c (1949,0) c |------------------------------------------------------------------------------------------------------------------------|
2135.37/2050.65	c (1949,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2135.37/2050.65	c (1949,0) c |------------------------------------------------------------------------------------------------------------------------|
2135.37/2050.65	c (1949,0) c |  0 |    756 |     269675 |     153745 |  1288556 |    39572 |    20605 |        0 |        0 |    60033 |  20 |  1.645 |
2135.37/2050.65	c (1949,0) c 
2135.37/2050.65	c (1949,0) c synthesis      153745 conflicts  1083877362 propagations       79 conflicts/sec   559699 propagations/sec
2135.37/2050.65	c (1949,0) c real: 1949.02 s, cpu: 1936.54 s, memory: 5225.81 Mb
2164.40/2079.65	c (1978,0) c
2164.40/2079.65	c (1978,0) c |------------------------------------------------------------------------------------------------------------------------|
2164.40/2079.65	c (1978,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2164.40/2079.65	c (1978,0) c |------------------------------------------------------------------------------------------------------------------------|
2164.40/2079.65	c (1978,0) c |  0 |    771 |     274627 |     156446 |  1301499 |    42273 |    20920 |        0 |        0 |    60937 |  20 |  1.645 |
2164.40/2079.65	c (1978,0) c 
2164.40/2079.65	c (1978,0) c synthesis      156446 conflicts  1099910144 propagations       80 conflicts/sec   559637 propagations/sec
2164.40/2079.65	c (1978,0) c real: 1978.02 s, cpu: 1965.4 s, memory: 5225.81 Mb
2193.41/2108.65	c (2007,0) c
2193.41/2108.65	c (2007,0) c |------------------------------------------------------------------------------------------------------------------------|
2193.41/2108.65	c (2007,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2193.41/2108.65	c (2007,0) c |------------------------------------------------------------------------------------------------------------------------|
2193.41/2108.65	c (2007,0) c |  0 |    781 |     278484 |     158676 |  1313505 |    44503 |    21231 |        0 |        0 |    61884 |  20 |  1.645 |
2193.41/2108.65	c (2007,0) c 
2193.41/2108.65	c (2007,0) c synthesis      158676 conflicts  1114805986 propagations       80 conflicts/sec   558992 propagations/sec
2193.41/2108.65	c (2007,0) c real: 2007.02 s, cpu: 1994.32 s, memory: 5225.81 Mb
2222.45/2137.65	c (2036,0) c
2222.45/2137.65	c (2036,0) c |------------------------------------------------------------------------------------------------------------------------|
2222.45/2137.65	c (2036,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2222.45/2137.65	c (2036,0) c |------------------------------------------------------------------------------------------------------------------------|
2222.45/2137.65	c (2036,0) c |  0 |    793 |     282291 |     160854 |  1325896 |    46681 |    21517 |        0 |        0 |    62848 |  20 |  1.645 |
2222.45/2137.65	c (2036,0) c 
2222.45/2137.65	c (2036,0) c synthesis      160854 conflicts  1130279259 propagations       80 conflicts/sec   558664 propagations/sec
2222.45/2137.65	c (2036,0) c real: 2036.02 s, cpu: 2023.18 s, memory: 5225.81 Mb
2252.47/2167.65	c (2066,0) c
2252.47/2167.65	c (2066,0) c |------------------------------------------------------------------------------------------------------------------------|
2252.47/2167.65	c (2066,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2252.47/2167.65	c (2066,0) c |------------------------------------------------------------------------------------------------------------------------|
2252.47/2167.65	c (2066,0) c |  0 |    810 |     286327 |     162999 |  1337801 |    48826 |    21780 |        0 |        0 |    63719 |  20 |  1.645 |
2252.47/2167.65	c (2066,0) c 
2252.47/2167.65	c (2066,0) c synthesis      162999 conflicts  1146493355 propagations       79 conflicts/sec   558425 propagations/sec
2252.47/2167.65	c (2066,0) c real: 2066.02 s, cpu: 2053.08 s, memory: 5225.81 Mb
2281.51/2196.65	c (2095,0) c
2281.51/2196.65	c (2095,0) c |------------------------------------------------------------------------------------------------------------------------|
2281.51/2196.65	c (2095,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2281.51/2196.65	c (2095,0) c |------------------------------------------------------------------------------------------------------------------------|
2281.51/2196.65	c (2095,0) c |  0 |    830 |     290822 |     165289 |  1349396 |    25726 |    21987 |        0 |        0 |    64635 |  20 |  1.645 |
2281.51/2196.65	c (2095,0) c 
2281.51/2196.65	c (2095,0) c synthesis      165289 conflicts  1163576069 propagations       79 conflicts/sec   558902 propagations/sec
2281.51/2196.65	c (2095,0) c real: 2095.02 s, cpu: 2081.9 s, memory: 5225.81 Mb
2310.54/2225.65	c (2124,0) c
2310.54/2225.65	c (2124,0) c |------------------------------------------------------------------------------------------------------------------------|
2310.54/2225.65	c (2124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2310.54/2225.65	c (2124,0) c |------------------------------------------------------------------------------------------------------------------------|
2310.54/2225.65	c (2124,0) c |  0 |    841 |     295729 |     168008 |  1364808 |    28445 |    22262 |        0 |        0 |    65554 |  20 |  1.645 |
2310.54/2225.65	c (2124,0) c 
2310.54/2225.65	c (2124,0) c synthesis      168008 conflicts  1180317889 propagations       80 conflicts/sec   559175 propagations/sec
2310.54/2225.65	c (2124,0) c real: 2124.02 s, cpu: 2110.82 s, memory: 5225.81 Mb
2339.56/2254.65	c (2153,0) c
2339.56/2254.65	c (2153,0) c |------------------------------------------------------------------------------------------------------------------------|
2339.56/2254.65	c (2153,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2339.56/2254.65	c (2153,0) c |------------------------------------------------------------------------------------------------------------------------|
2339.56/2254.65	c (2153,0) c |  0 |    850 |     301606 |     171530 |  1379898 |    31967 |    22632 |        0 |        0 |    66482 |  20 |  1.645 |
2339.56/2254.65	c (2153,0) c 
2339.56/2254.65	c (2153,0) c synthesis      171530 conflicts  1197584263 propagations       80 conflicts/sec   559702 propagations/sec
2339.56/2254.65	c (2153,0) c real: 2153.02 s, cpu: 2139.68 s, memory: 5225.81 Mb
2368.58/2283.65	c (2182,0) c
2368.58/2283.65	c (2182,0) c |------------------------------------------------------------------------------------------------------------------------|
2368.58/2283.65	c (2182,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2368.58/2283.65	c (2182,0) c |------------------------------------------------------------------------------------------------------------------------|
2368.58/2283.65	c (2182,0) c |  0 |    865 |     304641 |     173253 |  1392181 |    33690 |    22806 |        0 |        0 |    67432 |  20 |  1.645 |
2368.58/2283.65	c (2182,0) c 
2368.58/2283.65	c (2182,0) c synthesis      173253 conflicts  1214732100 propagations       80 conflicts/sec   560152 propagations/sec
2368.58/2283.65	c (2182,0) c real: 2182.02 s, cpu: 2168.58 s, memory: 5225.81 Mb
2398.60/2313.65	c (2212,0) c
2398.60/2313.65	c (2212,0) c |------------------------------------------------------------------------------------------------------------------------|
2398.60/2313.65	c (2212,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2398.60/2313.65	c (2212,0) c |------------------------------------------------------------------------------------------------------------------------|
2398.60/2313.65	c (2212,0) c |  0 |    876 |     308601 |     175294 |  1403608 |    35731 |    23045 |        0 |        0 |    68366 |  20 |  1.645 |
2398.60/2313.65	c (2212,0) c 
2398.60/2313.65	c (2212,0) c synthesis      175294 conflicts  1230524677 propagations       80 conflicts/sec   559727 propagations/sec
2398.60/2313.65	c (2212,0) c real: 2212.02 s, cpu: 2198.44 s, memory: 5225.81 Mb
2427.65/2342.65	c (2241,0) c
2427.65/2342.65	c (2241,0) c |------------------------------------------------------------------------------------------------------------------------|
2427.65/2342.65	c (2241,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2427.65/2342.65	c (2241,0) c |------------------------------------------------------------------------------------------------------------------------|
2427.65/2342.65	c (2241,0) c |  0 |    892 |     311719 |     176783 |  1413808 |    37219 |    23256 |        0 |        0 |    69201 |  20 |  1.646 |
2427.65/2342.65	c (2241,0) c 
2427.65/2342.65	c (2241,0) c synthesis      176783 conflicts  1245644716 propagations       79 conflicts/sec   559264 propagations/sec
2427.65/2342.65	c (2241,0) c real: 2241.02 s, cpu: 2227.29 s, memory: 5225.81 Mb
2456.66/2371.65	c (2270,0) c
2456.66/2371.65	c (2270,0) c |------------------------------------------------------------------------------------------------------------------------|
2456.66/2371.65	c (2270,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2456.66/2371.65	c (2270,0) c |------------------------------------------------------------------------------------------------------------------------|
2456.66/2371.65	c (2270,0) c |  0 |    910 |     316123 |     179079 |  1425856 |    39515 |    23454 |        0 |        0 |    70095 |  20 |  1.646 |
2456.66/2371.65	c (2270,0) c 
2456.66/2371.65	c (2270,0) c synthesis      179079 conflicts  1262963613 propagations       79 conflicts/sec   559777 propagations/sec
2456.66/2371.65	c (2270,0) c real: 2270.02 s, cpu: 2256.19 s, memory: 5225.81 Mb
2485.69/2400.65	c (2299,0) c
2485.69/2400.65	c (2299,0) c |------------------------------------------------------------------------------------------------------------------------|
2485.69/2400.65	c (2299,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2485.69/2400.65	c (2299,0) c |------------------------------------------------------------------------------------------------------------------------|
2485.69/2400.65	c (2299,0) c |  0 |    915 |     321679 |     182512 |  1443050 |    42948 |    23898 |        0 |        0 |    71062 |  20 |  1.646 |
2485.69/2400.65	c (2299,0) c 
2485.69/2400.65	c (2299,0) c synthesis      182512 conflicts  1278120197 propagations       80 conflicts/sec   559334 propagations/sec
2485.69/2400.65	c (2299,0) c real: 2299.02 s, cpu: 2285.08 s, memory: 5225.81 Mb
2514.73/2429.65	c (2328,0) c
2514.73/2429.65	c (2328,0) c |------------------------------------------------------------------------------------------------------------------------|
2514.73/2429.65	c (2328,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2514.73/2429.65	c (2328,0) c |------------------------------------------------------------------------------------------------------------------------|
2514.73/2429.65	c (2328,0) c |  0 |    929 |     325118 |     184462 |  1455781 |    44898 |    24156 |        0 |        0 |    71930 |  20 |  1.646 |
2514.73/2429.65	c (2328,0) c 
2514.73/2429.65	c (2328,0) c synthesis      184462 conflicts  1293061956 propagations       80 conflicts/sec   558808 propagations/sec
2514.73/2429.65	c (2328,0) c real: 2328.02 s, cpu: 2313.97 s, memory: 5225.81 Mb
2543.75/2458.65	c (2357,0) c
2543.75/2458.65	c (2357,0) c |------------------------------------------------------------------------------------------------------------------------|
2543.75/2458.65	c (2357,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2543.75/2458.65	c (2357,0) c |------------------------------------------------------------------------------------------------------------------------|
2543.75/2458.65	c (2357,0) c |  0 |    939 |     331018 |     188152 |  1475379 |    48588 |    24585 |        0 |        0 |    72886 |  20 |  1.646 |
2543.75/2458.65	c (2357,0) c 
2543.75/2458.65	c (2357,0) c synthesis      188152 conflicts  1310260403 propagations       80 conflicts/sec   559264 propagations/sec
2543.75/2458.65	c (2357,0) c real: 2357.02 s, cpu: 2342.83 s, memory: 5225.81 Mb
2572.77/2487.65	c (2386,0) c
2572.77/2487.65	c (2386,0) c |------------------------------------------------------------------------------------------------------------------------|
2572.77/2487.65	c (2386,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2572.77/2487.65	c (2386,0) c |------------------------------------------------------------------------------------------------------------------------|
2572.77/2487.65	c (2386,0) c |  0 |    954 |     335142 |     190473 |  1485714 |    50908 |    24883 |        0 |        0 |    73777 |  20 |  1.696 |
2572.77/2487.65	c (2386,0) c 
2572.77/2487.65	c (2386,0) c synthesis      190473 conflicts  1327203142 propagations       80 conflicts/sec   559597 propagations/sec
2572.77/2487.65	c (2386,0) c real: 2386.02 s, cpu: 2371.71 s, memory: 5225.81 Mb
2602.80/2517.65	c (2416,0) c
2602.80/2517.65	c (2416,0) c |------------------------------------------------------------------------------------------------------------------------|
2602.80/2517.65	c (2416,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2602.80/2517.65	c (2416,0) c |------------------------------------------------------------------------------------------------------------------------|
2602.80/2517.65	c (2416,0) c |  0 |    968 |     339176 |     192600 |  1496029 |    53035 |    25167 |        0 |        0 |    74727 |  20 |  1.696 |
2602.80/2517.65	c (2416,0) c 
2602.80/2517.65	c (2416,0) c synthesis      192600 conflicts  1344314173 propagations       80 conflicts/sec   559762 propagations/sec
2602.80/2517.65	c (2416,0) c real: 2416.02 s, cpu: 2401.58 s, memory: 5225.81 Mb
2605.21/2520.02	c (2418,0) receiving signal SIGTERM
2605.21/2520.02	s UNKNOWN
2605.21/2520.02	c (scop.sh) Receiving Signal. Removing all intermediate files.
2605.21/2520.02	c (scop.sh) Remove HOME/scop-19692-serial-file.bin.
2605.21/2520.03	c (scop.sh) Killing background jobs.
2605.21/2520.03	c (2418,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 (11876 MiB free)
  memory of node 1: 16384 MiB (9757 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405418-1569340982/watcher-4405418-1569340982 -o /var/tmp/evaluation-result-4405418-1569340982/solver-4405418-1569340982 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --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-4405418-1569340982.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=19692, runsolver pid=19689
Current StackSize limit: 8192 KiB


[startup+0.100112 s]*
/proc/loadavg: 6.83 7.57 7.28 2/213 19714
/proc/meminfo: memFree=22057288/32770624 swapFree=67002364/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510012149 115843072 349 33554432000 4194304 5098028 140727766431632 140727766428888 139978087285372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17510400 140727766438653 140727766439000 140727766439000 140727766441929 0
/proc/19692/statm: 28282 349 296 221 0 87 0
[pid=19695] ppid=19692 vsize=27314120 memory=107664 CPUtime=0.11 cores=0-7
/proc/19695/stat : 19695 (java) S 19692 19692 18490 0 -1 1077944320 6463 0 0 0 9 2 0 0 20 0 20 0 510012150 27969658880 26916 33554432000 4194304 4196468 140722833915664 140722833898208 140529779052279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
/proc/19695/statm: 6828530 26916 2801 1 0 6790935 0
[pid=19695/tid=19696] ppid=19692 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/19695/task/19696/stat : 19696 (java) R 19692 19692 18490 0 -1 4202560 4580 0 0 0 7 1 0 0 20 0 20 0 510012150 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529750878608 140529779064214 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19697] ppid=19692 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19695/task/19697/stat : 19697 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529783294224 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19698] ppid=19692 vsize=27314120 memory=140182424340096 CPUtime=0 cores=0-7
/proc/19695/task/19698/stat : 19698 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529597450640 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19699] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19699/stat : 19699 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529596398096 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19700] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19700/stat : 19700 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529595345552 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19701] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19701/stat : 19701 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529594293008 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19702] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19702/stat : 19702 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529593240464 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19703] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19703/stat : 19703 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529592187920 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19704] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19704/stat : 19704 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 26916 33554432000 4194304 4196468 140722833915664 140529591135376 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19705] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19705/stat : 19705 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012154 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527830734832 140529779063426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19706] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19706/stat : 19706 (java) S 19692 19692 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510012155 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527706039200 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19707] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19707/stat : 19707 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012155 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527437603824 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19708] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19708/stat : 19708 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527063095504 140529779070875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19709] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19709/stat : 19709 (java) S 19692 19692 18490 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527829682672 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19710] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19710/stat : 19710 (java) R 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527828630128 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19711] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19711/stat : 19711 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527827577584 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19712] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19712/stat : 19712 (java) R 19692 19692 18490 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527826525040 140529779063426 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19713] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19713/stat : 19713 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510012158 27969658880 26916 33554432000 4194304 4196468 140722833915664 140526565189856 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19714] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19714/stat : 19714 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012158 27969658880 26916 33554432000 4194304 4196468 140722833915664 140527825471920 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109060 KiB

[startup+0.210788 s]*
/proc/loadavg: 6.83 7.57 7.28 3/213 19714
/proc/meminfo: memFree=22035712/32770624 swapFree=67002364/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510012149 115843072 349 33554432000 4194304 5098028 140727766431632 140727766428888 139978087285372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17510400 140727766438653 140727766439000 140727766439000 140727766441929 0
/proc/19692/statm: 28282 349 296 221 0 87 0
[pid=19695] ppid=19692 vsize=27314120 memory=128752 CPUtime=0.24 cores=0-7
/proc/19695/stat : 19695 (java) S 19692 19692 18490 0 -1 1077944320 12081 0 0 0 21 3 0 0 20 0 20 0 510012150 27969658880 32188 33554432000 4194304 4196468 140722833915664 140722833898208 140529779052279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
/proc/19695/statm: 6828530 32188 2941 1 0 6790935 0
[pid=19695/tid=19696] ppid=19692 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19695/task/19696/stat : 19696 (java) R 19692 19692 18490 0 -1 4202560 9800 0 0 0 17 2 0 0 20 0 20 0 510012150 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529750874992 140529759327431 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19697] ppid=19692 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/19695/task/19697/stat : 19697 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529783294224 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19698] ppid=19692 vsize=27314120 memory=288370558576051840 CPUtime=0 cores=0-7
/proc/19695/task/19698/stat : 19698 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529597450640 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19699] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19699/stat : 19699 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529596398096 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19700] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19700/stat : 19700 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529595345552 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19701] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19701/stat : 19701 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529594293008 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19702] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19702/stat : 19702 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529593240464 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19703] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19703/stat : 19703 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529592187920 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19704] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19704/stat : 19704 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 32188 33554432000 4194304 4196468 140722833915664 140529591135376 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19705] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19705/stat : 19705 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012154 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527830734832 140529779063426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19706] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19706/stat : 19706 (java) S 19692 19692 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510012155 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527706039200 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19707] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19707/stat : 19707 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012155 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527437603824 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19708] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19708/stat : 19708 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527063095504 140529779070875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19709] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19709/stat : 19709 (java) S 19692 19692 18490 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527829682672 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19710] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19710/stat : 19710 (java) S 19692 19692 18490 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527828630128 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19711] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19711/stat : 19711 (java) S 19692 19692 18490 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527827577584 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19712] ppid=19692 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19695/task/19712/stat : 19712 (java) S 19692 19692 18490 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 510012157 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527826525040 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19713] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19713/stat : 19713 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510012158 27969658880 32188 33554432000 4194304 4196468 140722833915664 140526565189856 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19714] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19714/stat : 19714 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012158 27969658880 32188 33554432000 4194304 4196468 140722833915664 140527825471920 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130148 KiB

[startup+0.310029 s]*
/proc/loadavg: 6.83 7.57 7.28 2/213 19714
/proc/meminfo: memFree=22033664/32770624 swapFree=67002364/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510012149 115843072 349 33554432000 4194304 5098028 140727766431632 140727766428888 139978087285372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17510400 140727766438653 140727766439000 140727766439000 140727766441929 0
/proc/19692/statm: 28282 349 296 221 0 87 0
[pid=19695] ppid=19692 vsize=27314120 memory=132356 CPUtime=0.42 cores=0-7
/proc/19695/stat : 19695 (java) S 19692 19692 18490 0 -1 1077944320 12446 0 0 0 39 3 0 0 20 0 20 0 510012150 27969658880 33089 33554432000 4194304 4196468 140722833915664 140722833898208 140529779052279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
/proc/19695/statm: 6828530 33089 3016 1 0 6790935 0
[pid=19695/tid=19696] ppid=19692 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/19695/task/19696/stat : 19696 (java) R 19692 19692 18490 0 -1 4202560 9987 0 0 0 27 2 0 0 20 0 20 0 510012150 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529750866144 140529762239088 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19697] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19697/stat : 19697 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529783294224 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19698] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19698/stat : 19698 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529597450640 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19699] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19699/stat : 19699 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529596398096 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19700] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19700/stat : 19700 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529595345552 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19701] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19701/stat : 19701 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529594293008 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19702] ppid=19692 vsize=27314120 memory=140182296816303 CPUtime=0 cores=0-7
/proc/19695/task/19702/stat : 19702 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529593240464 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19703] ppid=19692 vsize=27314120 memory=140182296818608 CPUtime=0 cores=0-7
/proc/19695/task/19703/stat : 19703 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529592187920 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19704] ppid=19692 vsize=27314120 memory=140182296820912 CPUtime=0 cores=0-7
/proc/19695/task/19704/stat : 19704 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510012153 27969658880 33089 33554432000 4194304 4196468 140722833915664 140529591135376 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19705] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19705/stat : 19705 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012154 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527830734832 140529779063426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19706] ppid=19692 vsize=27314120 memory=280364593655696 CPUtime=0 cores=0-7
/proc/19695/task/19706/stat : 19706 (java) S 19692 19692 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510012155 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527706039200 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19707] ppid=19692 vsize=27314120 memory=280364593653392 CPUtime=0 cores=0-7
/proc/19695/task/19707/stat : 19707 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012155 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527437603824 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19708] ppid=19692 vsize=27314120 memory=280364593660304 CPUtime=0 cores=0-7
/proc/19695/task/19708/stat : 19708 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527063095504 140529779070875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19709] ppid=19692 vsize=27314120 memory=280364593601584 CPUtime=0.01 cores=0-7
/proc/19695/task/19709/stat : 19709 (java) R 19692 19692 18490 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 20 0 510012157 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527829682672 140529771341728 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19710] ppid=19692 vsize=27314120 memory=280364593674128 CPUtime=0 cores=0-7
/proc/19695/task/19710/stat : 19710 (java) S 19692 19692 18490 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 20 0 510012157 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527828630128 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19711] ppid=19692 vsize=27314120 memory=280364593681040 CPUtime=0.01 cores=0-7
/proc/19695/task/19711/stat : 19711 (java) S 19692 19692 18490 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 20 0 510012157 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527827577584 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19712] ppid=19692 vsize=27314120 memory=280364593678736 CPUtime=0.07 cores=0-7
/proc/19695/task/19712/stat : 19712 (java) S 19692 19692 18490 0 -1 1077944384 474 0 0 0 7 0 0 0 20 0 20 0 510012157 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527826525040 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19713] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19713/stat : 19713 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510012158 27969658880 33089 33554432000 4194304 4196468 140722833915664 140526565189856 140529779062485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19714] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19714/stat : 19714 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012158 27969658880 33089 33554432000 4194304 4196468 140722833915664 140527825471920 140529779063426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133752 KiB

[startup+0.70097 s]
/proc/loadavg: 6.83 7.57 7.28 2/213 19714
/proc/meminfo: memFree=22012456/32770624 swapFree=67002364/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510012149 115843072 349 33554432000 4194304 5098028 140727766431632 140727766428888 139978087285372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17510400 140727766438653 140727766439000 140727766439000 140727766441929 0
/proc/19692/statm: 28282 349 296 221 0 87 0
[pid=19695] ppid=19692 vsize=27322516 memory=168124 CPUtime=1 cores=0-7
/proc/19695/stat : 19695 (java) S 19692 19692 18490 0 -1 1077944320 20062 0 0 0 94 6 0 0 20 0 20 0 510012150 27978256384 42031 33554432000 4194304 4196468 140722833915664 140722833898208 140529779052279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
/proc/19695/statm: 6830629 42031 3199 1 0 6791959 0
[pid=19695/tid=19696] ppid=19692 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/19695/task/19696/stat : 19696 (java) R 19692 19692 18490 0 -1 4202560 17049 0 0 0 63 5 0 0 20 0 20 0 510012150 27978256384 42031 33554432000 4194304 4196468 140722833915664 140529750884016 140529779064214 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19697] ppid=19692 vsize=27322516 memory=140182297027440 CPUtime=0 cores=0-7
/proc/19695/task/19697/stat : 19697 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27978256384 42031 33554432000 4194304 4196468 140722833915664 140529783294224 140529779062485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19698] ppid=19692 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19698/stat : 19698 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510012153 27978256384 42031 33554432000 4194304 4196468 140722833915664 140529597450640 140529779062485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0
[pid=19695/tid=19699] ppid=19692 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/19695/task/19699/stat : 19699 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510012153 27978256384 42031 33554432000 4194304 4196468 140722833915664 140529596398096 140529779062485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33640448 140722833920711 140722833921158 140722833921158 140722833924047 0

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

/proc/19722/task/19737/stat : 19737 (java) S 19692 19692 18490 0 -1 1077944384 300 0 0 0 8 1 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916005586928 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19738] ppid=19692 vsize=8414124 memory=123016 CPUtime=0.08 cores=0-7
/proc/19722/task/19738/stat : 19738 (java) S 19692 19692 18490 0 -1 1077944384 485 0 0 0 8 0 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916004534640 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19739] ppid=19692 vsize=8414124 memory=1476 CPUtime=0.24 cores=0-7
/proc/19722/task/19739/stat : 19739 (java) S 19692 19692 18490 0 -1 1077944384 1332 0 0 0 24 0 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916003481840 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19740] ppid=19692 vsize=8414124 memory=123016 CPUtime=0 cores=0-7
/proc/19722/task/19740/stat : 19740 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139914196806496 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19741] ppid=19692 vsize=8414124 memory=3616 CPUtime=1.68 cores=0-7
/proc/19722/task/19741/stat : 19741 (java) S 19692 19692 18490 0 -1 1077944384 161 0 0 0 64 104 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916002429744 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19743] ppid=19692 vsize=8414124 memory=123016 CPUtime=0 cores=0-7
/proc/19722/task/19743/stat : 19743 (java) S 19692 19692 18490 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510022313 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916076390208 139916780592921 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19745] ppid=19692 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7
/proc/19722/task/19745/stat : 19745 (java) S 19692 19692 18490 0 -1 4202560 1740 0 0 0 1 3 0 0 20 0 24 0 510022313 8616062976 30754 33554432000 4194304 4196468 140737357988096 139913525706384 139916780590237 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19746] ppid=19692 vsize=8414124 memory=123016 CPUtime=0 cores=0-7
/proc/19722/task/19746/stat : 19746 (java) S 19692 19692 18490 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510022313 8616062976 30754 33554432000 4194304 4196468 140737357988096 139913794141456 139916780590237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19747] ppid=19692 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19722/task/19747/stat : 19747 (java) S 19692 19692 18490 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510022315 8616062976 30754 33554432000 4194304 4196468 140737357988096 139913257278768 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
Current children cumulated CPU time: 2587.48 s
Current children cumulated vsize: 13878476 KiB
Current children cumulated memory: 4278208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.01 1.02 1.44 2/218 19931
/proc/meminfo: memFree=16592904/32770624 swapFree=67002364/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1476 CPUtime=183.47 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 18490 0 -1 4202496 583 69618 0 0 0 0 17730 617 20 0 1 0 510012149 115843072 369 33554432000 4194304 5098028 140727766431632 140727766428376 139978087285372 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17510400 140727766438653 140727766439000 140727766439000 140727766441929 0
/proc/19692/statm: 28282 369 311 221 0 87 0
[pid=19722] ppid=19692 vsize=8414124 memory=123016 CPUtime=3.11 cores=0-7
/proc/19722/stat : 19722 (java) S 19692 19692 18490 0 -1 1077944320 23567 0 0 0 190 121 0 0 20 0 24 0 510022239 8616062976 30754 33554432000 4194304 4196468 140737357988096 140737357970640 139916780568311 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
/proc/19722/statm: 2103531 30754 3204 1 0 2064875 0
[pid=19742] ppid=19722 vsize=5351224 memory=4153732 CPUtime=2418.63 cores=0-7
/proc/19742/stat : 19742 (manyglucose-4.1) S 19722 19692 18490 0 -1 1077944320 17351693 0 0 0 240393 1470 0 0 20 0 2 0 510022313 5479653376 1038433 33554432000 4194304 4454172 140721448930400 140721448928800 140572833561218 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 10145792 140721448932173 140721448932380 140721448932380 140721448935350 0
/proc/19742/statm: 1337806 1038433 399 64 0 1333474 0
[pid=19742/tid=19750] ppid=19722 vsize=5351224 memory=1768 CPUtime=2397.13 cores=0-7
/proc/19742/task/19750/stat : 19750 (manyglucose-4.1) R 19722 19692 18490 0 -1 4202560 16198425 0 0 0 238441 1272 0 0 20 0 2 0 510024462 5479653376 1038433 33554432000 4194304 4454172 140721448930400 140572802783896 4351305 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 10145792 140721448932173 140721448932380 140721448932380 140721448935350 0
[pid=19722/tid=19723] ppid=19692 vsize=8414124 memory=772 CPUtime=0.76 cores=0-7
/proc/19722/task/19723/stat : 19723 (java) S 19692 19692 18490 0 -1 1077944384 17496 0 0 0 70 6 0 0 20 0 24 0 510022239 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916752408480 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19724] ppid=19692 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19722/task/19724/stat : 19724 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510022241 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916784810896 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19725] ppid=19692 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/19722/task/19725/stat : 19725 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510022241 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916613905168 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19726] ppid=19692 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/19722/task/19726/stat : 19726 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510022241 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916265032848 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19727] ppid=19692 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/19722/task/19727/stat : 19727 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510022241 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916263980048 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19728] ppid=19692 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/19722/task/19728/stat : 19728 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510022241 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916262926736 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19729] ppid=19692 vsize=8414124 memory=6164 CPUtime=0 cores=0-7
/proc/19722/task/19729/stat : 19729 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510022241 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916261873936 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19730] ppid=19692 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/19722/task/19730/stat : 19730 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510022241 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916260821648 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19731] ppid=19692 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/19722/task/19731/stat : 19731 (java) S 19692 19692 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510022241 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916259768848 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19732] ppid=19692 vsize=8414124 memory=4153732 CPUtime=0.07 cores=0-7
/proc/19722/task/19732/stat : 19732 (java) S 19692 19692 18490 0 -1 1077944384 14 0 0 0 3 4 0 0 20 0 24 0 510022242 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916007692912 139916780579458 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19733] ppid=19692 vsize=8414124 memory=123016 CPUtime=0 cores=0-7
/proc/19722/task/19733/stat : 19733 (java) S 19692 19692 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510022243 8616062976 30754 33554432000 4194304 4196468 140737357988096 139915203437856 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19734] ppid=19692 vsize=8414124 memory=4153732 CPUtime=0 cores=0-7
/proc/19722/task/19734/stat : 19734 (java) S 19692 19692 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510022243 8616062976 30754 33554432000 4194304 4196468 140737357988096 139915069216368 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19735] ppid=19692 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/19722/task/19735/stat : 19735 (java) S 19692 19692 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139914694711888 139916780586907 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19736] ppid=19692 vsize=8414124 memory=34508 CPUtime=0.06 cores=0-7
/proc/19722/task/19736/stat : 19736 (java) S 19692 19692 18490 0 -1 1077944384 632 0 0 0 5 1 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916006639728 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19737] ppid=19692 vsize=8414124 memory=12028 CPUtime=0.09 cores=0-7
/proc/19722/task/19737/stat : 19737 (java) S 19692 19692 18490 0 -1 1077944384 300 0 0 0 8 1 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916005586928 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19738] ppid=19692 vsize=8414124 memory=532 CPUtime=0.08 cores=0-7
/proc/19722/task/19738/stat : 19738 (java) S 19692 19692 18490 0 -1 1077944384 485 0 0 0 8 0 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916004534640 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19739] ppid=19692 vsize=8414124 memory=1564 CPUtime=0.24 cores=0-7
/proc/19722/task/19739/stat : 19739 (java) S 19692 19692 18490 0 -1 1077944384 1332 0 0 0 24 0 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916003481840 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19740] ppid=19692 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/19722/task/19740/stat : 19740 (java) S 19692 19692 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139914196806496 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19741] ppid=19692 vsize=8414124 memory=1980 CPUtime=1.68 cores=0-7
/proc/19722/task/19741/stat : 19741 (java) S 19692 19692 18490 0 -1 1077944384 163 0 0 0 64 104 0 0 20 0 24 0 510022246 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916002429744 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19743] ppid=19692 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/19722/task/19743/stat : 19743 (java) S 19692 19692 18490 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510022313 8616062976 30754 33554432000 4194304 4196468 140737357988096 139916076390208 139916780592921 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19745] ppid=19692 vsize=8414124 memory=2648 CPUtime=0.04 cores=0-7
/proc/19722/task/19745/stat : 19745 (java) S 19692 19692 18490 0 -1 4202560 1740 0 0 0 1 3 0 0 20 0 24 0 510022313 8616062976 30754 33554432000 4194304 4196468 140737357988096 139913525706384 139916780590237 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19746] ppid=19692 vsize=8414124 memory=884 CPUtime=0 cores=0-7
/proc/19722/task/19746/stat : 19746 (java) S 19692 19692 18490 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510022313 8616062976 30754 33554432000 4194304 4196468 140737357988096 139913794141456 139916780590237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19747] ppid=19692 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/19722/task/19747/stat : 19747 (java) S 19692 19692 18490 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510022315 8616062976 30754 33554432000 4194304 4196468 140737357988096 139913257278768 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
Current children cumulated CPU time: 2605.21 s
Current children cumulated vsize: 13878476 KiB
Current children cumulated memory: 4278224 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.03 s]
# the end of solver process 19692 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=177.304 s, system=6.1849 s

[startup+2520.44 s]
# the end of solver process 19722 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2583.14 s, system=22.5277 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.4 s]
/proc/loadavg: 1.01 1.02 1.44 2/218 19935
/proc/meminfo: memFree=17899272/32770624 swapFree=67002364/67108860
[pid=19722] ppid=19689 vsize=8545196 memory=133248 CPUtime=2422.13 cores=0-7
/proc/19722/stat : 19722 (java) S 19689 19692 18490 0 -1 1077944320 23606 17351695 0 0 190 138 240393 1492 20 0 23 0 510022239 8750280704 33312 33554432000 4194304 4196468 140737357988096 140737357970640 139916780568311 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
/proc/19722/statm: 2136299 33312 3204 1 0 2097643 0
[pid=19722/tid=19723] ppid=19689 vsize=8545196 memory=1440 CPUtime=2419.61 cores=0-7
/proc/19722/task/19723/stat : 19723 (java) S 19689 19692 18490 0 -1 1077944384 17496 17351695 0 0 70 6 240393 1492 20 0 23 0 510022239 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916752408480 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19724] ppid=19689 vsize=8545196 memory=1768 CPUtime=2418.85 cores=0-7
/proc/19722/task/19724/stat : 19724 (java) S 19689 19692 18490 0 -1 1077944384 1 17351695 0 0 0 0 240393 1492 20 0 23 0 510022241 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916784810896 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19725] ppid=19689 vsize=8545196 memory=6791534058613427641 CPUtime=2418.85 cores=0-7
/proc/19722/task/19725/stat : 19725 (java) S 19689 19692 18490 0 -1 1077944384 1 17351695 0 0 0 0 240393 1492 20 0 23 0 510022241 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916613905168 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19726] ppid=19689 vsize=8545196 memory=4153732 CPUtime=2418.85 cores=0-7
/proc/19722/task/19726/stat : 19726 (java) S 19689 19692 18490 0 -1 1077944384 3 17351695 0 0 0 0 240393 1492 20 0 23 0 510022241 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916265032848 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19727] ppid=19689 vsize=8545196 memory=2012 CPUtime=2418.85 cores=0-7
/proc/19722/task/19727/stat : 19727 (java) S 19689 19692 18490 0 -1 1077944384 2 17351695 0 0 0 0 240393 1492 20 0 23 0 510022241 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916263980048 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19728] ppid=19689 vsize=8545196 memory=1424 CPUtime=2418.85 cores=0-7
/proc/19722/task/19728/stat : 19728 (java) S 19689 19692 18490 0 -1 1077944384 2 17351695 0 0 0 0 240393 1492 20 0 23 0 510022241 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916262926736 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19729] ppid=19689 vsize=8545196 memory=580 CPUtime=2418.85 cores=0-7
/proc/19722/task/19729/stat : 19729 (java) S 19689 19692 18490 0 -1 1077944384 1 17351695 0 0 0 0 240393 1492 20 0 23 0 510022241 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916261873936 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19730] ppid=19689 vsize=8545196 memory=1476 CPUtime=2418.85 cores=0-7
/proc/19722/task/19730/stat : 19730 (java) S 19689 19692 18490 0 -1 1077944384 2 17351695 0 0 0 0 240393 1492 20 0 23 0 510022241 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916260821648 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19731] ppid=19689 vsize=8545196 memory=123016 CPUtime=2418.85 cores=0-7
/proc/19722/task/19731/stat : 19731 (java) S 19689 19692 18490 0 -1 1077944384 2 17351695 0 0 0 0 240393 1492 20 0 23 0 510022241 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916259768848 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19732] ppid=19689 vsize=8545196 memory=4153732 CPUtime=2418.92 cores=0-7
/proc/19722/task/19732/stat : 19732 (java) S 19689 19692 18490 0 -1 1077944384 14 17351695 0 0 3 4 240393 1492 20 0 23 0 510022242 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916007692416 139916780579458 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19733] ppid=19689 vsize=8545196 memory=1564 CPUtime=2418.85 cores=0-7
/proc/19722/task/19733/stat : 19733 (java) S 19689 19692 18490 0 -1 1077944384 13 17351695 0 0 0 0 240393 1492 20 0 23 0 510022243 8750280704 33312 33554432000 4194304 4196468 140737357988096 139915203437856 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19734] ppid=19689 vsize=8545196 memory=928 CPUtime=2418.85 cores=0-7
/proc/19722/task/19734/stat : 19734 (java) S 19689 19692 18490 0 -1 1077944384 21 17351695 0 0 0 0 240393 1492 20 0 23 0 510022243 8750280704 33312 33554432000 4194304 4196468 140737357988096 139915069216368 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19735] ppid=19689 vsize=8545196 memory=1980 CPUtime=2418.85 cores=0-7
/proc/19722/task/19735/stat : 19735 (java) S 19689 19692 18490 0 -1 1077944384 31 17351695 0 0 0 0 240393 1492 20 0 23 0 510022246 8750280704 33312 33554432000 4194304 4196468 140737357988096 139914694711536 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19736] ppid=19689 vsize=8545196 memory=1476 CPUtime=2418.91 cores=0-7
/proc/19722/task/19736/stat : 19736 (java) S 19689 19692 18490 0 -1 1077944384 632 17351695 0 0 5 1 240393 1492 20 0 23 0 510022246 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916006639728 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19737] ppid=19689 vsize=8545196 memory=123016 CPUtime=2418.94 cores=0-7
/proc/19722/task/19737/stat : 19737 (java) S 19689 19692 18490 0 -1 1077944384 300 17351695 0 0 8 1 240393 1492 20 0 23 0 510022246 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916005586928 139916780579458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19738] ppid=19689 vsize=8545196 memory=4153732 CPUtime=2418.93 cores=0-7
/proc/19722/task/19738/stat : 19738 (java) S 19689 19692 18490 0 -1 1077944384 486 17351695 0 0 8 0 240393 1492 20 0 23 0 510022246 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916004533472 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19739] ppid=19689 vsize=8545196 memory=772 CPUtime=2419.09 cores=0-7
/proc/19722/task/19739/stat : 19739 (java) S 19689 19692 18490 0 -1 1077944384 1333 17351695 0 0 24 0 240393 1492 20 0 23 0 510022246 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916003479488 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19740] ppid=19689 vsize=8545196 memory=1556 CPUtime=2418.85 cores=0-7
/proc/19722/task/19740/stat : 19740 (java) S 19689 19692 18490 0 -1 1077944384 3 17351695 0 0 0 0 240393 1492 20 0 23 0 510022246 8750280704 33312 33554432000 4194304 4196468 140737357988096 139914196806496 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19743] ppid=19689 vsize=8545196 memory=1056 CPUtime=2418.85 cores=0-7
/proc/19722/task/19743/stat : 19743 (java) S 19689 19692 18490 0 -1 1077944384 23 17351695 0 0 0 0 240393 1492 20 0 23 0 510022313 8750280704 33312 33554432000 4194304 4196468 140737357988096 139916076389072 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19747] ppid=19689 vsize=8545196 memory=1096 CPUtime=2418.85 cores=0-7
/proc/19722/task/19747/stat : 19747 (java) S 19689 19692 18490 0 -1 1077944384 8 17351695 0 0 0 0 240393 1492 20 0 23 0 510022315 8750280704 33312 33554432000 4194304 4196468 140737357988096 139913257268992 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19932] ppid=19689 vsize=8545196 memory=14008 CPUtime=2419.01 cores=0-7
/proc/19722/task/19932/stat : 19932 (java) R 19689 19692 18490 0 -1 4202560 3 17351695 0 0 0 16 240393 1492 20 0 23 0 510264152 8750280704 33312 33554432000 4194304 4196468 140737357988096 139912988845336 139916773253943 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
[pid=19722/tid=19935] ppid=19689 vsize=8545196 memory=1772 CPUtime=2418.85 cores=0-7
/proc/19722/task/19935/stat : 19935 (java) S 19689 19692 18490 0 -1 1077944384 2 17351695 0 0 0 0 240393 1492 20 0 23 0 510264153 8750280704 33312 33554432000 4194304 4196468 140737357988096 139912720408912 139916780578517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7335936 140737357992927 140737357993094 140737357993094 140737357995983 0
Current cumulated CPU time of completed processes: 183.489 s
Current children cumulated CPU time: 2422.13 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 133248 KiB

Child status: 1
Real time (s): 2520.44
CPU time (s): 2605.67
CPU user time (s): 2583.14
CPU system time (s): 22.5277
CPU usage (%): 103.382
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 7636704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2583.14
system time used= 22.5277
maximum resident set size= 7635912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17446007
page faults= 0
swaps= 0
block input operations= 104
block output operations= 2570568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64160
involuntary context switches= 3284


# summary of solver processes directly reported to runsolver:
#   pid: 19692,19722
#   total CPU time (s): 2605.67
#   total CPU user time (s): 2583.14
#   total CPU system time (s): 22.5277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7525 second user time and 30.1427 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-24 18:02:21
IDJOB=4405418
IDBENCH=133399
IDSOLVER=2867
FILE ID=node146/4405418-1569340982
RUNJOBID= node146-1569335937-18517
PBS_JOBID= 21705051
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-40-3-5.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 /var/tmp/evaluation-result-4405418-1569340982/watcher-4405418-1569340982 -o /var/tmp/evaluation-result-4405418-1569340982/solver-4405418-1569340982 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --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-4405418-1569340982.xml

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

MD5SUM BENCH= 25f96b3bf5c8370c442a7a32cdfe0f98
RANDOM SEED=1091812113

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22153404 kB
MemAvailable:   31839716 kB
Buffers:          141636 kB
Cached:          9583372 kB
SwapCached:         3568 kB
Active:          4821076 kB
Inactive:        4908268 kB
Active(anon):       4628 kB
Inactive(anon):    56464 kB
Active(file):    4816448 kB
Inactive(file):  4851804 kB
Unevictable:      110892 kB
Mlocked:          110892 kB
SwapTotal:      67108860 kB
SwapFree:       67002364 kB
Dirty:             20788 kB
Writeback:             0 kB
AnonPages:        114324 kB
Mapped:            56896 kB
Shmem:             47620 kB
Slab:             475480 kB
SReclaimable:     446520 kB
SUnreclaim:        28960 kB
KernelStack:        3808 kB
PageTables:         5424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node146 at 2019-09-24 18:44:21