Trace number 4405404

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) 2534.09 2520.46

General information on the benchmark

NameMagicSquare/MagicSquare-sum-s1/
MagicSquare-13-sum.xml
MD5SUM507ff1916128830fd6a67d5c849b681a
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 benchmark16.6118
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints29
Number of domains1
Minimum domain size169
Maximum domain size169
Distribution of domain sizes[{"size":169,"count":169}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":144},{"degree":4,"count":24},{"degree":5,"count":1}]
Minimum constraint arity13
Maximum constraint arity169
Distribution of constraint arities[{"arity":13,"count":28},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":28}]
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-5521-serial-file.bin HOME/instance-4405404-1569339809.xml
0.65/0.60	
0.65/0.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.60	
0.76/0.63	c BEGIN-Prog: Tue Sep 24 17:42:48 CEST 2019
0.76/0.63	c PID: 5524
0.76/0.63	c IP: 172.20.3.116
0.76/0.63	c HOST: node116.alineos.net
0.76/0.64	c (0,0) Parsing Begin
1.33/1.00	c (0,0) Parsing End
1.55/1.01	c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 29 ctr, max domain size 169
1.55/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.55/1.01	c (0,0) Constraint Name Generate Begin
1.55/1.02	c (0,0) Ctr:HOME/instance-4405404-1569339809.xml,AllDifferent:Num:Var:WeightedSum
1.55/1.02	c (0,0) Constraint Name Generate End
1.55/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.55/1.02	c (0,0) CSP to CSPinCNF Begin
5.31/2.28	c (1,1) translated 3 (10%) constraints
5.31/2.29	c (1,1) translated 6 (20%) constraints
5.31/2.30	c (1,1) translated 9 (30%) constraints
5.73/2.30	c (1,1) translated 12 (40%) constraints
5.73/2.30	c (1,1) translated 15 (50%) constraints
5.73/2.31	c (1,1) translated 18 (60%) constraints
5.73/2.31	c (1,1) translated 21 (70%) constraints
5.73/2.31	c (1,1) translated 24 (80%) constraints
5.73/2.32	c (1,1) translated 27 (90%) constraints
5.73/2.32	c (1,1) translated 29 (100%) constraints
5.73/2.32	c (1,1) ===========================================
5.73/2.32	c (1,1) Order
5.73/2.32	c (1,1) ===========================================
6.19/2.44	c (1,1) translated 1440 (10%) constraints
6.59/2.50	c (1,1) translated 2879 (20%) constraints
6.59/2.56	c (1,1) translated 4319 (30%) constraints
6.93/2.62	c (2,2) translated 5758 (40%) constraints
6.93/2.68	c (2,2) translated 7198 (50%) constraints
7.17/2.73	c (2,2) translated 8637 (60%) constraints
7.17/2.78	c (2,2) translated 10077 (70%) constraints
7.41/2.83	c (2,2) translated 11516 (80%) constraints
7.41/2.87	c (2,2) translated 12956 (90%) constraints
10.58/4.49	c (3,3) translated 14395 (100%) constraints
10.96/4.50	c (3,3) CSP to CSPinCNF End
10.96/4.51	c (3,3) CSP: 449 int (280 aux), 28561 bool (28561 aux), 72105 ctr, max domain size 841
10.96/4.51	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.96/4.51	c (3,3) CSPinCNF Propagation Begin
12.82/5.81	c (5,4) 0 values, 0 unsatisfiable literals, and 338 valid clauses are removed
12.82/5.81	c (5,4) CSPinCNF Propagation End
12.82/5.82	c (5,5) CSP: 449 int (280 aux), 28561 bool (28561 aux), 71767 ctr, max domain size 841
12.82/5.82	c (5,5) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.82/5.82	c (5,5) Simplify CSPinCNF Begin
14.37/6.47	c (5,5) Simplify CSPinCNF End
14.37/6.48	c (5,5) CSP: 449 int (280 aux), 56953 bool (56953 aux), 100159 ctr, max domain size 841
14.37/6.48	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.37/6.48	c (5,5) Calculate Precise Domain Begin
14.56/6.53	c (5,5) 0 values are removed by re-calculation
14.56/6.53	c (5,5) Calculate Precise Domain End
14.56/6.55	c (5,5) CSP: 449 int (280 aux), 56953 bool (56953 aux), 100159 ctr, max domain size 841
14.56/6.55	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.56/6.55	c (5,5) CSPinCNF to SatSolver Begin
24.06/12.27	c (11,11) 10016 (10 %) CSP clauses are encoded (0 SAT variables, 1291238 SAT clauses)
28.51/16.92	c (16,15) 20032 (20 %) CSP clauses are encoded (0 SAT variables, 2423158 SAT clauses)
33.66/21.37	c (20,19) 30048 (30 %) CSP clauses are encoded (0 SAT variables, 3554910 SAT clauses)
38.23/25.82	c (25,24) 40064 (40 %) CSP clauses are encoded (0 SAT variables, 4686662 SAT clauses)
39.63/26.99	c (26,25) 50080 (50 %) CSP clauses are encoded (0 SAT variables, 4979590 SAT clauses)
39.74/27.09	c (26,25) 60096 (60 %) CSP clauses are encoded (0 SAT variables, 4989606 SAT clauses)
39.84/27.17	c (26,25) 70112 (70 %) CSP clauses are encoded (0 SAT variables, 4999622 SAT clauses)
39.94/27.27	c (26,25) 80128 (80 %) CSP clauses are encoded (0 SAT variables, 5009638 SAT clauses)
40.04/27.36	c (26,25) 90144 (90 %) CSP clauses are encoded (0 SAT variables, 5019654 SAT clauses)
149.61/138.00	c (137,119) 100159 (100 %) CSP clauses are encoded (0 SAT variables, 61744510 SAT clauses)
149.71/138.19	c (137,119) CSPinCNF to SatSolver End
149.71/138.19	c (137,119) Heap : 3878 MiB used (max 22281 MiB), NonHeap : 27 MiB used (max 0 MiB)
149.71/138.19	c (137,119) 217057 bool, 61858078 clause
149.71/138.19	c (137,119) Export Begin
150.00/138.30	c (137,119) Export to HOME/scop-5521-serial-file.bin
150.00/138.30	c (137,119) Export End
150.00/138.31	c (137,119) Export File Size: 0.03 MB
150.00/138.31	c (137,119) 0,0,3,5,5,5,137,STOP-AFTER(DIMACS)
150.00/138.31	c END-Prog: Tue Sep 24 17:45:06 CEST 2019
150.00/138.36	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5521-serial-file.bin
150.63/138.88	c (0,0) Read Serial File Begin
150.63/138.88	c (0,0) HOME/scop-5521-serial-file.bin
151.06/139.12	c (0,0) Read Serial File End
151.06/139.13	
151.06/139.13	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
151.06/139.13	(Solving Process)
151.06/139.13	
151.06/139.16	c BEGIN-Prog: Tue Sep 24 17:45:07 CEST 2019
151.06/139.16	c PID: 5552
151.06/139.16	c IP: 172.20.3.116
151.06/139.16	c HOST: node116.alineos.net
151.06/139.16	c (0,0) SatSolver.solve Begin
151.06/139.16	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405404-1569339809.xml-scop-5524.cnf
151.06/139.19	c (0,0) c
151.06/139.19	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)
151.06/139.19	c (0,0) c
151.06/139.19	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
151.06/139.19	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
151.06/139.19	c (0,0) c ========================================[ Problem Statistics ]===========================================
151.06/139.19	c (0,0) c |                                                                                                       |
170.97/158.85	c (20,0) c |  Number of variables:        217057                                                                   |
170.97/158.85	c (20,0) c |  Number of clauses:        61858078                                                                   |
170.97/158.85	c (20,0) c |  Parse time:                  17.95 s                                                                 |
170.97/158.85	c (20,0) c |                                                                                                       |
174.98/162.85	c (24,0) c | Too many clauses... No preprocessing                                                                  |
174.98/162.85	c (24,0) c |  Simplification time:          3.52 s                                                                 |
174.98/162.85	c (24,0) c |                                                                                                       |
174.98/162.85	c (24,0) c |  One Solver is taking   4804.95Mb... Let's take   1 solvers for this run (max 40% of the maxmemory).  |
174.98/162.85	c (24,0) c |  Generating clones                                                                                    |
174.98/162.85	c (24,0) c |  all clones generated. Memory =  4804.95Mb.                                                           |
174.98/162.85	c (24,0) c ========================================================================================================|
174.98/162.85	c (24,0) c
174.98/162.85	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
174.98/162.85	c (24,0) c
174.98/162.85	c (24,0) c |-----------------------|------------|
174.98/162.85	c (24,0) c | Threads               |          0 |
174.98/162.85	c (24,0) c |-----------------------|------------|
174.98/162.85	c (24,0) c | randomizeFirstDescent |      False |
174.98/162.85	c (24,0) c | adaptStrategeis       |       True |
174.98/162.85	c (24,0) c | forceUnsatOnNewDescent|       True |
174.98/162.85	c (24,0) c | Initial random_seed   |   91648253 |
174.98/162.85	c (24,0) c | chanseokStrategy      |      False |
174.98/162.85	c (24,0) c | coLBDBound            |          5 |
174.98/162.85	c (24,0) c | glureduce             |       True |
174.98/162.85	c (24,0) c | firstReduceDB         |       2000 |
174.98/162.85	c (24,0) c | incReduceDB           |        300 |
174.98/162.85	c (24,0) c | luby_restart          |      False |
174.98/162.85	c (24,0) c | luby_restart_factor   |        100 |
174.98/162.85	c (24,0) c | var_decay             |     0.8000 |
174.98/162.85	c (24,0) c | max_var_decay         |     0.9500 |
174.98/162.85	c (24,0) c | randomize_on_restarts |      False |
174.98/162.85	c (24,0) c | remove_satisfied      |       True |
174.98/162.85	c (24,0) c |-----------------------|------------|
204.90/192.78	c (53,0) c
204.90/192.78	c (53,0) c |------------------------------------------------------------------------------------------------------------------------|
204.90/192.78	c (53,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
204.90/192.78	c (53,0) c |------------------------------------------------------------------------------------------------------------------------|
204.90/192.78	c (53,0) c |  0 |     27 |      32634 |       2959 |    96275 |     1962 |       76 |        0 |        0 |      625 |  20 |  0.001 |
204.90/192.78	c (53,0) c 
204.90/192.78	c (53,0) c synthesis        2959 conflicts    15103465 propagations       61 conflicts/sec   311556 propagations/sec
204.90/192.78	c (53,0) c real: 53.5907 s, cpu: 48.4775 s, memory: 5132.95 Mb
233.90/221.78	c (82,0) c
233.90/221.78	c (82,0) c |------------------------------------------------------------------------------------------------------------------------|
233.90/221.78	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
233.90/221.78	c (82,0) c |------------------------------------------------------------------------------------------------------------------------|
233.90/221.78	c (82,0) c |  0 |     62 |      55200 |       5599 |   209958 |     4602 |      151 |        0 |        0 |     1365 |  20 |  0.001 |
233.90/221.78	c (82,0) c 
233.90/221.78	c (82,0) c synthesis        5599 conflicts    31025833 propagations       73 conflicts/sec   403783 propagations/sec
233.90/221.78	c (82,0) c real: 82.5907 s, cpu: 76.8378 s, memory: 5132.95 Mb
262.93/250.78	c (111,0) c
262.93/250.78	c (111,0) c |------------------------------------------------------------------------------------------------------------------------|
262.93/250.78	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
262.93/250.78	c (111,0) c |------------------------------------------------------------------------------------------------------------------------|
262.93/250.78	c (111,0) c |  0 |     78 |      78299 |      11202 |   284889 |     7406 |     1116 |        0 |        0 |     2244 |  20 |  0.001 |
262.93/250.78	c (111,0) c 
262.93/250.78	c (111,0) c synthesis       11202 conflicts    47892761 propagations      106 conflicts/sec   453877 propagations/sec
262.93/250.78	c (111,0) c real: 111.591 s, cpu: 105.519 s, memory: 5132.95 Mb
291.96/279.78	c (140,0) c
291.96/279.78	c (140,0) c |------------------------------------------------------------------------------------------------------------------------|
291.96/279.78	c (140,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
291.96/279.78	c (140,0) c |------------------------------------------------------------------------------------------------------------------------|
291.96/279.78	c (140,0) c |  0 |     94 |     108636 |      15740 |   344430 |     6947 |     1878 |        0 |        0 |     3071 |  20 |  0.001 |
291.96/279.78	c (140,0) c 
291.96/279.78	c (140,0) c synthesis       15740 conflicts    66643392 propagations      117 conflicts/sec   496040 propagations/sec
291.96/279.78	c (140,0) c real: 140.591 s, cpu: 134.351 s, memory: 5132.95 Mb
320.97/308.78	c (169,0) c
320.97/308.78	c (169,0) c |------------------------------------------------------------------------------------------------------------------------|
320.97/308.78	c (169,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
320.97/308.78	c (169,0) c |------------------------------------------------------------------------------------------------------------------------|
320.97/308.78	c (169,0) c |  0 |     96 |     131976 |      33668 |   365257 |    17479 |     3360 |        0 |        0 |     4068 |  20 |  0.001 |
320.97/308.78	c (169,0) c 
320.97/308.78	c (169,0) c synthesis       33668 conflicts   101370920 propagations      206 conflicts/sec   620835 propagations/sec
320.97/308.78	c (169,0) c real: 169.591 s, cpu: 163.282 s, memory: 5132.95 Mb
349.98/337.78	c (198,0) c
349.98/337.78	c (198,0) c |------------------------------------------------------------------------------------------------------------------------|
349.98/337.78	c (198,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
349.98/337.78	c (198,0) c |------------------------------------------------------------------------------------------------------------------------|
349.98/337.78	c (198,0) c |  0 |     96 |     151051 |      48449 |   367702 |    22379 |     5058 |        0 |        0 |     5043 |  20 |  0.001 |
349.98/337.78	c (198,0) c 
349.98/337.78	c (198,0) c synthesis       48449 conflicts   137451226 propagations      252 conflicts/sec   714937 propagations/sec
349.98/337.78	c (198,0) c real: 198.591 s, cpu: 192.256 s, memory: 5132.95 Mb
379.00/366.78	c (227,0) c
379.00/366.78	c (227,0) c |------------------------------------------------------------------------------------------------------------------------|
379.00/366.78	c (227,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
379.00/366.78	c (227,0) c |------------------------------------------------------------------------------------------------------------------------|
379.00/366.78	c (227,0) c |  0 |     96 |     168960 |      61668 |   369445 |    23144 |     6431 |        0 |        0 |     6001 |  20 |  0.001 |
379.00/366.78	c (227,0) c 
379.00/366.78	c (227,0) c synthesis       61668 conflicts   172620293 propagations      279 conflicts/sec   780279 propagations/sec
379.00/366.78	c (227,0) c real: 227.591 s, cpu: 221.229 s, memory: 5132.95 Mb
408.01/395.78	c (256,0) c
408.01/395.78	c (256,0) c |------------------------------------------------------------------------------------------------------------------------|
408.01/395.78	c (256,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
408.01/395.78	c (256,0) c |------------------------------------------------------------------------------------------------------------------------|
408.01/395.78	c (256,0) c |  0 |     97 |     182038 |      71026 |   386483 |    17479 |     7345 |        0 |        0 |     6916 |  20 |  0.001 |
408.01/395.78	c (256,0) c 
408.01/395.78	c (256,0) c synthesis       71026 conflicts   207464957 propagations      284 conflicts/sec   829311 propagations/sec
408.01/395.78	c (256,0) c real: 256.591 s, cpu: 250.166 s, memory: 5132.95 Mb
437.04/424.78	c (285,0) c
437.04/424.78	c (285,0) c |------------------------------------------------------------------------------------------------------------------------|
437.04/424.78	c (285,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
437.04/424.78	c (285,0) c |------------------------------------------------------------------------------------------------------------------------|
437.04/424.78	c (285,0) c |  0 |     97 |     193431 |      79428 |   391837 |    25881 |     7990 |        0 |        0 |     7814 |  20 |  0.001 |
437.04/424.78	c (285,0) c 
437.04/424.78	c (285,0) c synthesis       79428 conflicts   242739755 propagations      285 conflicts/sec   869601 propagations/sec
437.04/424.78	c (285,0) c real: 285.591 s, cpu: 279.139 s, memory: 5132.95 Mb
466.07/453.78	c (314,0) c
466.07/453.78	c (314,0) c |------------------------------------------------------------------------------------------------------------------------|
466.07/453.78	c (314,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
466.07/453.78	c (314,0) c |------------------------------------------------------------------------------------------------------------------------|
466.07/453.78	c (314,0) c |  0 |    108 |     212606 |      87856 |   425835 |    34308 |     9161 |        0 |        0 |     8690 |  20 |  0.002 |
466.07/453.78	c (314,0) c 
466.07/453.78	c (314,0) c synthesis       87856 conflicts   270222047 propagations      285 conflicts/sec   877761 propagations/sec
466.07/453.78	c (314,0) c real: 314.591 s, cpu: 307.854 s, memory: 5132.95 Mb
495.09/482.78	c (343,0) c
495.09/482.78	c (343,0) c |------------------------------------------------------------------------------------------------------------------------|
495.09/482.78	c (343,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
495.09/482.78	c (343,0) c |------------------------------------------------------------------------------------------------------------------------|
495.09/482.78	c (343,0) c |  0 |    129 |     222520 |      89769 |   474270 |    18601 |     9390 |        0 |        0 |     9503 |  20 |  0.002 |
495.09/482.78	c (343,0) c 
495.09/482.78	c (343,0) c synthesis       89769 conflicts   285881384 propagations      267 conflicts/sec   849375 propagations/sec
495.09/482.78	c (343,0) c real: 343.591 s, cpu: 336.579 s, memory: 5132.95 Mb
524.13/511.78	c (372,0) c
524.13/511.78	c (372,0) c |------------------------------------------------------------------------------------------------------------------------|
524.13/511.78	c (372,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
524.13/511.78	c (372,0) c |------------------------------------------------------------------------------------------------------------------------|
524.13/511.78	c (372,0) c |  0 |    161 |     240353 |      92947 |   547142 |    21779 |     9957 |        0 |        0 |    10318 |  20 |  0.002 |
524.13/511.78	c (372,0) c 
524.13/511.78	c (372,0) c synthesis       92947 conflicts   302316964 propagations      254 conflicts/sec   827125 propagations/sec
524.13/511.78	c (372,0) c real: 372.591 s, cpu: 365.503 s, memory: 5132.95 Mb
553.14/540.78	c (401,0) c
553.14/540.78	c (401,0) c |------------------------------------------------------------------------------------------------------------------------|
553.14/540.78	c (401,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
553.14/540.78	c (401,0) c |------------------------------------------------------------------------------------------------------------------------|
553.14/540.78	c (401,0) c |  0 |    180 |     262472 |     102786 |   621038 |    31617 |    12583 |        0 |        0 |    11197 |  20 |  0.002 |
553.14/540.78	c (401,0) c 
553.14/540.78	c (401,0) c synthesis      102786 conflicts   323693155 propagations      261 conflicts/sec   820940 propagations/sec
553.14/540.78	c (401,0) c real: 401.591 s, cpu: 394.296 s, memory: 5132.95 Mb
582.17/569.78	c (430,0) c
582.17/569.78	c (430,0) c |------------------------------------------------------------------------------------------------------------------------|
582.17/569.78	c (430,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
582.17/569.78	c (430,0) c |------------------------------------------------------------------------------------------------------------------------|
582.17/569.78	c (430,0) c |  0 |    217 |     282511 |     105405 |   712234 |    34235 |    12876 |        0 |        0 |    11977 |  20 |  0.003 |
582.17/569.78	c (430,0) c 
582.17/569.78	c (430,0) c synthesis      105405 conflicts   341121222 propagations      249 conflicts/sec   806103 propagations/sec
582.17/569.78	c (430,0) c real: 430.591 s, cpu: 423.173 s, memory: 5132.95 Mb
611.20/598.78	c (459,0) c
611.20/598.78	c (459,0) c |------------------------------------------------------------------------------------------------------------------------|
611.20/598.78	c (459,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
611.20/598.78	c (459,0) c |------------------------------------------------------------------------------------------------------------------------|
611.20/598.78	c (459,0) c |  0 |    246 |     323638 |     108717 |   779355 |    37547 |    13362 |        0 |        0 |    12785 |  20 |  0.003 |
611.20/598.78	c (459,0) c 
611.20/598.78	c (459,0) c synthesis      108717 conflicts   362555242 propagations      241 conflicts/sec   802171 propagations/sec
611.20/598.78	c (459,0) c real: 459.591 s, cpu: 451.968 s, memory: 5132.95 Mb
641.22/628.78	c (489,0) c
641.22/628.78	c (489,0) c |------------------------------------------------------------------------------------------------------------------------|
641.22/628.78	c (489,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
641.22/628.78	c (489,0) c |------------------------------------------------------------------------------------------------------------------------|
641.22/628.78	c (489,0) c |  0 |    284 |     362670 |     111683 |   855522 |    20301 |    13713 |        0 |        0 |    13601 |  20 |  0.003 |
641.22/628.78	c (489,0) c 
641.22/628.78	c (489,0) c synthesis      111683 conflicts   384170342 propagations      232 conflicts/sec   797280 propagations/sec
641.22/628.78	c (489,0) c real: 489.591 s, cpu: 481.851 s, memory: 5132.95 Mb
670.22/657.78	c (518,0) c
670.22/657.78	c (518,0) c |------------------------------------------------------------------------------------------------------------------------|
670.22/657.78	c (518,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
670.22/657.78	c (518,0) c |------------------------------------------------------------------------------------------------------------------------|
670.22/657.78	c (518,0) c |  0 |    299 |     383124 |     121504 |   897187 |    30120 |    15362 |        0 |        0 |    14550 |  20 |  0.005 |
670.22/657.78	c (518,0) c 
670.22/657.78	c (518,0) c synthesis      121504 conflicts   403360460 propagations      238 conflicts/sec   789917 propagations/sec
670.22/657.78	c (518,0) c real: 518.591 s, cpu: 510.637 s, memory: 5132.95 Mb
699.24/686.78	c (547,0) c
699.24/686.78	c (547,0) c |------------------------------------------------------------------------------------------------------------------------|
699.24/686.78	c (547,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
699.24/686.78	c (547,0) c |------------------------------------------------------------------------------------------------------------------------|
699.24/686.78	c (547,0) c |  0 |    336 |     400468 |     123882 |   978226 |    32498 |    15614 |        0 |        0 |    15330 |  20 |  0.005 |
699.24/686.78	c (547,0) c 
699.24/686.78	c (547,0) c synthesis      123882 conflicts   420032205 propagations      230 conflicts/sec   778588 propagations/sec
699.24/686.78	c (547,0) c real: 547.591 s, cpu: 539.479 s, memory: 5132.95 Mb
728.26/715.78	c (576,0) c
728.26/715.78	c (576,0) c |------------------------------------------------------------------------------------------------------------------------|
728.26/715.78	c (576,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
728.26/715.78	c (576,0) c |------------------------------------------------------------------------------------------------------------------------|
728.26/715.78	c (576,0) c |  0 |    365 |     436776 |     127636 |  1042521 |    36252 |    16396 |        0 |        0 |    16141 |  20 |  0.005 |
728.26/715.78	c (576,0) c 
728.26/715.78	c (576,0) c synthesis      127636 conflicts   438691495 propagations      225 conflicts/sec   772015 propagations/sec
728.26/715.78	c (576,0) c real: 576.591 s, cpu: 568.243 s, memory: 5132.95 Mb
757.28/744.78	c (605,0) c
757.28/744.79	c (605,0) c |------------------------------------------------------------------------------------------------------------------------|
757.28/744.79	c (605,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
757.28/744.79	c (605,0) c |------------------------------------------------------------------------------------------------------------------------|
757.28/744.79	c (605,0) c |  0 |    406 |     457622 |     130136 |  1127502 |    38751 |    16616 |        0 |        0 |    16915 |  20 |  0.006 |
757.28/744.79	c (605,0) c 
757.28/744.79	c (605,0) c synthesis      130136 conflicts   455360159 propagations      218 conflicts/sec   762821 propagations/sec
757.28/744.79	c (605,0) c real: 605.591 s, cpu: 596.942 s, memory: 5132.95 Mb
786.30/773.78	c (634,0) c
786.30/773.78	c (634,0) c |------------------------------------------------------------------------------------------------------------------------|
786.30/773.78	c (634,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
786.30/773.78	c (634,0) c |------------------------------------------------------------------------------------------------------------------------|
786.30/773.78	c (634,0) c |  0 |    446 |     475010 |     132317 |  1204758 |    40932 |    16782 |        0 |        0 |    17704 |  20 |  0.006 |
786.30/773.78	c (634,0) c 
786.30/773.78	c (634,0) c synthesis      132317 conflicts   472888908 propagations      211 conflicts/sec   755712 propagations/sec
786.30/773.78	c (634,0) c real: 634.591 s, cpu: 625.753 s, memory: 5132.95 Mb
815.30/802.78	c (663,0) c
815.30/802.78	c (663,0) c |------------------------------------------------------------------------------------------------------------------------|
815.30/802.78	c (663,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
815.30/802.78	c (663,0) c |------------------------------------------------------------------------------------------------------------------------|
815.30/802.78	c (663,0) c |  0 |    484 |     494031 |     134847 |  1288334 |    43462 |    17015 |        0 |        0 |    18492 |  20 |  0.006 |
815.30/802.78	c (663,0) c 
815.30/802.78	c (663,0) c synthesis      134847 conflicts   489829548 propagations      206 conflicts/sec   748242 propagations/sec
815.30/802.78	c (663,0) c real: 663.591 s, cpu: 654.64 s, memory: 5132.95 Mb
844.32/831.78	c (692,0) c
844.32/831.78	c (692,0) c |------------------------------------------------------------------------------------------------------------------------|
844.32/831.78	c (692,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
844.32/831.78	c (692,0) c |------------------------------------------------------------------------------------------------------------------------|
844.32/831.78	c (692,0) c |  0 |    513 |     511025 |     137726 |  1351388 |    23544 |    17251 |        0 |        0 |    19301 |  20 |  0.006 |
844.32/831.78	c (692,0) c 
844.32/831.78	c (692,0) c synthesis      137726 conflicts   508974882 propagations      202 conflicts/sec   744742 propagations/sec
844.32/831.78	c (692,0) c real: 692.591 s, cpu: 683.425 s, memory: 5132.95 Mb
873.34/860.78	c (721,0) c
873.34/860.78	c (721,0) c |------------------------------------------------------------------------------------------------------------------------|
873.34/860.78	c (721,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
873.34/860.78	c (721,0) c |------------------------------------------------------------------------------------------------------------------------|
873.34/860.78	c (721,0) c |  0 |    550 |     528756 |     140212 |  1428124 |    26029 |    17433 |        0 |        0 |    20108 |  20 |  0.006 |
873.34/860.78	c (721,0) c 
873.34/860.78	c (721,0) c synthesis      140212 conflicts   526084567 propagations      197 conflicts/sec   738566 propagations/sec
873.34/860.78	c (721,0) c real: 721.591 s, cpu: 712.305 s, memory: 5132.95 Mb
902.36/889.78	c (750,0) c
902.36/889.78	c (750,0) c |------------------------------------------------------------------------------------------------------------------------|
902.36/889.78	c (750,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
902.36/889.78	c (750,0) c |------------------------------------------------------------------------------------------------------------------------|
902.36/889.78	c (750,0) c |  0 |    589 |     546260 |     142795 |  1518204 |    28612 |    17589 |        0 |        0 |    20892 |  20 |  0.006 |
902.36/889.78	c (750,0) c 
902.36/889.78	c (750,0) c synthesis      142795 conflicts   543135464 propagations      193 conflicts/sec   732882 propagations/sec
902.36/889.78	c (750,0) c real: 750.591 s, cpu: 741.096 s, memory: 5132.95 Mb
931.38/918.78	c (779,0) c
931.38/918.78	c (779,0) c |------------------------------------------------------------------------------------------------------------------------|
931.38/918.78	c (779,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
931.38/918.78	c (779,0) c |------------------------------------------------------------------------------------------------------------------------|
931.38/918.78	c (779,0) c |  0 |    612 |     569444 |     146597 |  1566280 |    32413 |    18221 |        0 |        0 |    21712 |  20 |  0.007 |
931.38/918.78	c (779,0) c 
931.38/918.78	c (779,0) c synthesis      146597 conflicts   563113013 propagations      190 conflicts/sec   731343 propagations/sec
931.38/918.78	c (779,0) c real: 779.591 s, cpu: 769.971 s, memory: 5132.95 Mb
960.40/947.78	c (808,0) c
960.40/947.78	c (808,0) c |------------------------------------------------------------------------------------------------------------------------|
960.40/947.78	c (808,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
960.40/947.78	c (808,0) c |------------------------------------------------------------------------------------------------------------------------|
960.40/947.78	c (808,0) c |  0 |    648 |     590184 |     150549 |  1624323 |    36365 |    18826 |        0 |        0 |    22527 |  20 |  0.007 |
960.40/947.78	c (808,0) c 
960.40/947.78	c (808,0) c synthesis      150549 conflicts   580860059 propagations      188 conflicts/sec   727220 propagations/sec
960.40/947.78	c (808,0) c real: 808.591 s, cpu: 798.74 s, memory: 5132.95 Mb
989.42/976.78	c (837,0) c
989.42/976.78	c (837,0) c |------------------------------------------------------------------------------------------------------------------------|
989.42/976.78	c (837,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
989.42/976.78	c (837,0) c |------------------------------------------------------------------------------------------------------------------------|
989.42/976.78	c (837,0) c |  0 |    667 |     606295 |     156119 |  1697290 |    41935 |    19125 |        0 |        0 |    23376 |  20 |  0.007 |
989.42/976.78	c (837,0) c 
989.42/976.78	c (837,0) c synthesis      156119 conflicts   602180714 propagations      189 conflicts/sec   727609 propagations/sec
989.42/976.78	c (837,0) c real: 837.591 s, cpu: 827.616 s, memory: 5132.95 Mb
1018.41/1005.78	c (866,0) c
1018.41/1005.78	c (866,0) c |------------------------------------------------------------------------------------------------------------------------|
1018.41/1005.78	c (866,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1018.41/1005.78	c (866,0) c |------------------------------------------------------------------------------------------------------------------------|
1018.41/1005.78	c (866,0) c |  0 |    690 |     621133 |     158521 |  1761272 |    44337 |    19313 |        0 |        0 |    24211 |  20 |  0.007 |
1018.41/1005.78	c (866,0) c 
1018.41/1005.78	c (866,0) c synthesis      158521 conflicts   618266862 propagations      185 conflicts/sec   721928 propagations/sec
1018.41/1005.78	c (866,0) c real: 866.591 s, cpu: 856.411 s, memory: 5132.95 Mb
1047.44/1034.78	c (895,0) c
1047.44/1034.78	c (895,0) c |------------------------------------------------------------------------------------------------------------------------|
1047.44/1034.78	c (895,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1047.44/1034.78	c (895,0) c |------------------------------------------------------------------------------------------------------------------------|
1047.44/1034.78	c (895,0) c |  0 |    707 |     627342 |     159417 |  1792017 |    45233 |    19335 |        0 |        0 |    24995 |  20 |  0.007 |
1047.44/1034.78	c (895,0) c 
1047.44/1034.78	c (895,0) c synthesis      159417 conflicts   631862783 propagations      180 conflicts/sec   713708 propagations/sec
1047.44/1034.78	c (895,0) c real: 895.591 s, cpu: 885.324 s, memory: 5132.95 Mb
1076.45/1063.78	c (924,0) c
1076.45/1063.78	c (924,0) c |------------------------------------------------------------------------------------------------------------------------|
1076.45/1063.78	c (924,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1076.45/1063.78	c (924,0) c |------------------------------------------------------------------------------------------------------------------------|
1076.45/1063.78	c (924,0) c |  0 |    719 |     630760 |     159996 |  1793856 |    45812 |    19336 |        0 |        0 |    25787 |  20 |  0.007 |
1076.45/1063.78	c (924,0) c 
1076.45/1063.78	c (924,0) c synthesis      159996 conflicts   643958867 propagations      175 conflicts/sec   704466 propagations/sec
1076.45/1063.78	c (924,0) c real: 924.591 s, cpu: 914.109 s, memory: 5132.95 Mb
1105.47/1092.78	c (953,0) c
1105.47/1092.78	c (953,0) c |------------------------------------------------------------------------------------------------------------------------|
1105.47/1092.78	c (953,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1105.47/1092.78	c (953,0) c |------------------------------------------------------------------------------------------------------------------------|
1105.47/1092.78	c (953,0) c |  0 |    731 |     634239 |     160603 |  1795767 |    46419 |    19336 |        0 |        0 |    26569 |  20 |  0.007 |
1105.47/1092.78	c (953,0) c 
1105.47/1092.78	c (953,0) c synthesis      160603 conflicts   656696413 propagations      170 conflicts/sec   696366 propagations/sec
1105.47/1092.78	c (953,0) c real: 953.591 s, cpu: 943.034 s, memory: 5132.95 Mb
1134.48/1121.78	c (982,0) c
1134.48/1121.78	c (982,0) c |------------------------------------------------------------------------------------------------------------------------|
1134.48/1121.78	c (982,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1134.48/1121.78	c (982,0) c |------------------------------------------------------------------------------------------------------------------------|
1134.48/1121.78	c (982,0) c |  0 |    742 |     637439 |     161179 |  1797360 |    46995 |    19336 |        0 |        0 |    27346 |  20 |  0.007 |
1134.48/1121.78	c (982,0) c 
1134.48/1121.78	c (982,0) c synthesis      161179 conflicts   668886831 propagations      166 conflicts/sec   688245 propagations/sec
1134.48/1121.78	c (982,0) c real: 982.591 s, cpu: 971.872 s, memory: 5132.95 Mb
1163.50/1150.78	c (1011,0) c
1163.50/1150.78	c (1011,0) c |------------------------------------------------------------------------------------------------------------------------|
1163.50/1150.78	c (1011,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1163.50/1150.78	c (1011,0) c |------------------------------------------------------------------------------------------------------------------------|
1163.50/1150.78	c (1011,0) c |  0 |    754 |     640855 |     161773 |  1798947 |    47589 |    19337 |        0 |        0 |    28124 |  20 |  0.007 |
1163.50/1150.78	c (1011,0) c 
1163.50/1150.78	c (1011,0) c synthesis      161773 conflicts   681951968 propagations      162 conflicts/sec   681409 propagations/sec
1163.50/1150.78	c (1011,0) c real: 1011.59 s, cpu: 1000.8 s, memory: 5132.95 Mb
1192.52/1179.78	c (1040,0) c
1192.52/1179.78	c (1040,0) c |------------------------------------------------------------------------------------------------------------------------|
1192.52/1179.78	c (1040,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1192.52/1179.78	c (1040,0) c |------------------------------------------------------------------------------------------------------------------------|
1192.52/1179.78	c (1040,0) c |  0 |    765 |     644012 |     162341 |  1800650 |    48157 |    19337 |        0 |        0 |    28896 |  20 |  0.007 |
1192.52/1179.78	c (1040,0) c 
1192.52/1179.78	c (1040,0) c synthesis      162341 conflicts   694297026 propagations      158 conflicts/sec   674313 propagations/sec
1192.52/1179.78	c (1040,0) c real: 1040.59 s, cpu: 1029.64 s, memory: 5132.95 Mb
1221.53/1208.78	c (1069,0) c
1221.53/1208.78	c (1069,0) c |------------------------------------------------------------------------------------------------------------------------|
1221.53/1208.78	c (1069,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1221.53/1208.78	c (1069,0) c |------------------------------------------------------------------------------------------------------------------------|
1221.53/1208.78	c (1069,0) c |  0 |    776 |     647157 |     162888 |  1801996 |    48704 |    19337 |        0 |        0 |    29686 |  20 |  0.007 |
1221.53/1208.78	c (1069,0) c 
1221.53/1208.78	c (1069,0) c synthesis      162888 conflicts   706827258 propagations      154 conflicts/sec   667715 propagations/sec
1221.53/1208.78	c (1069,0) c real: 1069.59 s, cpu: 1058.58 s, memory: 5132.95 Mb
1250.56/1237.78	c (1098,0) c
1250.56/1237.78	c (1098,0) c |------------------------------------------------------------------------------------------------------------------------|
1250.56/1237.78	c (1098,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1250.56/1237.78	c (1098,0) c |------------------------------------------------------------------------------------------------------------------------|
1250.56/1237.78	c (1098,0) c |  0 |    787 |     650244 |     163441 |  1803505 |    49257 |    19337 |        0 |        0 |    30462 |  20 |  0.007 |
1250.56/1237.78	c (1098,0) c 
1250.56/1237.78	c (1098,0) c synthesis      163441 conflicts   719641563 propagations      150 conflicts/sec   661797 propagations/sec
1250.56/1237.78	c (1098,0) c real: 1098.59 s, cpu: 1087.41 s, memory: 5132.95 Mb
1279.59/1266.78	c (1127,0) c
1279.59/1266.78	c (1127,0) c |------------------------------------------------------------------------------------------------------------------------|
1279.59/1266.78	c (1127,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1279.59/1266.78	c (1127,0) c |------------------------------------------------------------------------------------------------------------------------|
1279.59/1266.78	c (1127,0) c |  0 |    797 |     653194 |     163989 |  1804553 |    49805 |    19337 |        0 |        0 |    31241 |  20 |  0.007 |
1279.59/1266.78	c (1127,0) c 
1279.59/1266.78	c (1127,0) c synthesis      163989 conflicts   732122072 propagations      147 conflicts/sec   655828 propagations/sec
1279.59/1266.78	c (1127,0) c real: 1127.59 s, cpu: 1116.33 s, memory: 5132.95 Mb
1308.59/1295.78	c (1156,0) c
1308.59/1295.78	c (1156,0) c |------------------------------------------------------------------------------------------------------------------------|
1308.59/1295.78	c (1156,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1308.59/1295.78	c (1156,0) c |------------------------------------------------------------------------------------------------------------------------|
1308.59/1295.78	c (1156,0) c |  0 |    808 |     656303 |     164545 |  1805730 |    50361 |    19337 |        0 |        0 |    32022 |  20 |  0.007 |
1308.59/1295.78	c (1156,0) c 
1308.59/1295.78	c (1156,0) c synthesis      164545 conflicts   744635020 propagations      144 conflicts/sec   650234 propagations/sec
1308.59/1295.78	c (1156,0) c real: 1156.59 s, cpu: 1145.18 s, memory: 5132.95 Mb
1337.62/1324.78	c (1185,0) c
1337.62/1324.78	c (1185,0) c |------------------------------------------------------------------------------------------------------------------------|
1337.62/1324.78	c (1185,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1337.62/1324.78	c (1185,0) c |------------------------------------------------------------------------------------------------------------------------|
1337.62/1324.78	c (1185,0) c |  0 |    820 |     659691 |     165147 |  1806687 |    25563 |    19338 |        0 |        0 |    32799 |  20 |  0.007 |
1337.62/1324.78	c (1185,0) c 
1337.62/1324.78	c (1185,0) c synthesis      165147 conflicts   757456020 propagations      141 conflicts/sec   645131 propagations/sec
1337.62/1324.78	c (1185,0) c real: 1185.59 s, cpu: 1174.11 s, memory: 5132.95 Mb
1366.63/1353.78	c (1214,0) c
1366.63/1353.78	c (1214,0) c |------------------------------------------------------------------------------------------------------------------------|
1366.63/1353.78	c (1214,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1366.63/1353.78	c (1214,0) c |------------------------------------------------------------------------------------------------------------------------|
1366.63/1353.78	c (1214,0) c |  0 |    831 |     662880 |     165692 |  1807988 |    26108 |    19339 |        0 |        0 |    33571 |  20 |  0.007 |
1366.63/1353.78	c (1214,0) c 
1366.63/1353.78	c (1214,0) c synthesis      165692 conflicts   769958767 propagations      138 conflicts/sec   640066 propagations/sec
1366.63/1353.78	c (1214,0) c real: 1214.59 s, cpu: 1202.94 s, memory: 5132.95 Mb
1395.66/1382.78	c (1243,0) c
1395.66/1382.78	c (1243,0) c |------------------------------------------------------------------------------------------------------------------------|
1395.66/1382.78	c (1243,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1395.66/1382.78	c (1243,0) c |------------------------------------------------------------------------------------------------------------------------|
1395.66/1382.78	c (1243,0) c |  0 |    843 |     666358 |     166279 |  1808948 |    26695 |    19339 |        0 |        0 |    34353 |  20 |  0.007 |
1395.66/1382.78	c (1243,0) c 
1395.66/1382.78	c (1243,0) c synthesis      166279 conflicts   782650130 propagations      135 conflicts/sec   635344 propagations/sec
1395.66/1382.78	c (1243,0) c real: 1243.59 s, cpu: 1231.85 s, memory: 5132.95 Mb
1424.67/1411.78	c (1272,0) c
1424.67/1411.78	c (1272,0) c |------------------------------------------------------------------------------------------------------------------------|
1424.67/1411.78	c (1272,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1424.67/1411.78	c (1272,0) c |------------------------------------------------------------------------------------------------------------------------|
1424.67/1411.78	c (1272,0) c |  0 |    854 |     669520 |     166875 |  1810108 |    27291 |    19339 |        0 |        0 |    35128 |  20 |  0.007 |
1424.67/1411.78	c (1272,0) c 
1424.67/1411.78	c (1272,0) c synthesis      166875 conflicts   795682654 propagations      132 conflicts/sec   631165 propagations/sec
1424.67/1411.78	c (1272,0) c real: 1272.59 s, cpu: 1260.66 s, memory: 5132.95 Mb
1453.69/1440.78	c (1301,0) c
1453.69/1440.78	c (1301,0) c |------------------------------------------------------------------------------------------------------------------------|
1453.69/1440.78	c (1301,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1453.69/1440.78	c (1301,0) c |------------------------------------------------------------------------------------------------------------------------|
1453.69/1440.78	c (1301,0) c |  0 |    866 |     672998 |     167456 |  1810999 |    27872 |    19339 |        0 |        0 |    35911 |  20 |  0.007 |
1453.69/1440.78	c (1301,0) c 
1453.69/1440.78	c (1301,0) c synthesis      167456 conflicts   808828004 propagations      130 conflicts/sec   627194 propagations/sec
1453.69/1440.78	c (1301,0) c real: 1301.59 s, cpu: 1289.6 s, memory: 5132.95 Mb
1482.70/1469.78	c (1330,0) c
1482.70/1469.78	c (1330,0) c |------------------------------------------------------------------------------------------------------------------------|
1482.70/1469.78	c (1330,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1482.70/1469.78	c (1330,0) c |------------------------------------------------------------------------------------------------------------------------|
1482.70/1469.78	c (1330,0) c |  0 |    877 |     676175 |     168035 |  1811619 |    28451 |    19339 |        0 |        0 |    36675 |  20 |  0.007 |
1482.70/1469.78	c (1330,0) c 
1482.70/1469.78	c (1330,0) c synthesis      168035 conflicts   821448389 propagations      127 conflicts/sec   623051 propagations/sec
1482.70/1469.78	c (1330,0) c real: 1330.59 s, cpu: 1318.43 s, memory: 5132.95 Mb
1511.73/1498.78	c (1359,0) c
1511.73/1498.78	c (1359,0) c |------------------------------------------------------------------------------------------------------------------------|
1511.73/1498.78	c (1359,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1511.73/1498.78	c (1359,0) c |------------------------------------------------------------------------------------------------------------------------|
1511.73/1498.78	c (1359,0) c |  0 |    889 |     679596 |     168630 |  1812513 |    29046 |    19340 |        0 |        0 |    37451 |  20 |  0.007 |
1511.73/1498.78	c (1359,0) c 
1511.73/1498.78	c (1359,0) c synthesis      168630 conflicts   834707445 propagations      125 conflicts/sec   619516 propagations/sec
1511.73/1498.78	c (1359,0) c real: 1359.59 s, cpu: 1347.35 s, memory: 5132.95 Mb
1540.74/1527.78	c (1388,0) c
1540.74/1527.78	c (1388,0) c |------------------------------------------------------------------------------------------------------------------------|
1540.74/1527.78	c (1388,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1540.74/1527.78	c (1388,0) c |------------------------------------------------------------------------------------------------------------------------|
1540.74/1527.78	c (1388,0) c |  0 |    900 |     682797 |     169213 |  1813445 |    29629 |    19340 |        0 |        0 |    38225 |  20 |  0.007 |
1540.74/1527.78	c (1388,0) c 
1540.74/1527.78	c (1388,0) c synthesis      169213 conflicts   847434796 propagations      123 conflicts/sec   615803 propagations/sec
1540.74/1527.78	c (1388,0) c real: 1388.59 s, cpu: 1376.15 s, memory: 5132.95 Mb
1569.76/1556.78	c (1417,0) c
1569.76/1556.78	c (1417,0) c |------------------------------------------------------------------------------------------------------------------------|
1569.76/1556.78	c (1417,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1569.76/1556.78	c (1417,0) c |------------------------------------------------------------------------------------------------------------------------|
1569.76/1556.78	c (1417,0) c |  0 |    911 |     685913 |     169756 |  1814508 |    30172 |    19340 |        0 |        0 |    38995 |  20 |  0.007 |
1569.76/1556.78	c (1417,0) c 
1569.76/1556.78	c (1417,0) c synthesis      169756 conflicts   860647000 propagations      121 conflicts/sec   612530 propagations/sec
1569.76/1556.78	c (1417,0) c real: 1417.59 s, cpu: 1405.07 s, memory: 5132.95 Mb
1598.77/1585.78	c (1446,0) c
1598.77/1585.78	c (1446,0) c |------------------------------------------------------------------------------------------------------------------------|
1598.77/1585.78	c (1446,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1598.77/1585.78	c (1446,0) c |------------------------------------------------------------------------------------------------------------------------|
1598.77/1585.78	c (1446,0) c |  0 |    923 |     689280 |     170344 |  1815252 |    30760 |    19340 |        0 |        0 |    39769 |  20 |  0.007 |
1598.77/1585.78	c (1446,0) c 
1598.77/1585.78	c (1446,0) c synthesis      170344 conflicts   873333245 propagations      119 conflicts/sec   609063 propagations/sec
1598.77/1585.78	c (1446,0) c real: 1446.59 s, cpu: 1433.9 s, memory: 5132.95 Mb
1627.78/1614.78	c (1475,0) c
1627.78/1614.78	c (1475,0) c |------------------------------------------------------------------------------------------------------------------------|
1627.78/1614.78	c (1475,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1627.78/1614.78	c (1475,0) c |------------------------------------------------------------------------------------------------------------------------|
1627.78/1614.78	c (1475,0) c |  0 |    934 |     692419 |     170933 |  1816218 |    31348 |    19340 |        0 |        0 |    40542 |  20 |  0.007 |
1627.78/1614.78	c (1475,0) c 
1627.78/1614.78	c (1475,0) c synthesis      170933 conflicts   885879819 propagations      117 conflicts/sec   605594 propagations/sec
1627.78/1614.78	c (1475,0) c real: 1475.59 s, cpu: 1462.83 s, memory: 5132.95 Mb
1656.80/1643.78	c (1504,0) c
1656.80/1643.78	c (1504,0) c |------------------------------------------------------------------------------------------------------------------------|
1656.80/1643.78	c (1504,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1656.80/1643.78	c (1504,0) c |------------------------------------------------------------------------------------------------------------------------|
1656.80/1643.78	c (1504,0) c |  0 |    946 |     695802 |     171518 |  1817242 |    31934 |    19340 |        0 |        0 |    41313 |  20 |  0.007 |
1656.80/1643.78	c (1504,0) c 
1656.80/1643.78	c (1504,0) c synthesis      171518 conflicts   898584559 propagations      115 conflicts/sec   602408 propagations/sec
1656.80/1643.78	c (1504,0) c real: 1504.59 s, cpu: 1491.66 s, memory: 5132.95 Mb
1685.81/1672.78	c (1533,0) c
1685.81/1672.78	c (1533,0) c |------------------------------------------------------------------------------------------------------------------------|
1685.81/1672.78	c (1533,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1685.81/1672.78	c (1533,0) c |------------------------------------------------------------------------------------------------------------------------|
1685.81/1672.78	c (1533,0) c |  0 |    957 |     698908 |     172082 |  1817946 |    32498 |    19341 |        0 |        0 |    42082 |  20 |  0.007 |
1685.81/1672.78	c (1533,0) c 
1685.81/1672.78	c (1533,0) c synthesis      172082 conflicts   911158402 propagations      113 conflicts/sec   599224 propagations/sec
1685.81/1672.78	c (1533,0) c real: 1533.59 s, cpu: 1520.56 s, memory: 5132.95 Mb
1715.82/1702.78	c (1563,0) c
1715.82/1702.78	c (1563,0) c |------------------------------------------------------------------------------------------------------------------------|
1715.82/1702.78	c (1563,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1715.82/1702.78	c (1563,0) c |------------------------------------------------------------------------------------------------------------------------|
1715.82/1702.78	c (1563,0) c |  0 |    969 |     702252 |     172674 |  1818604 |    33090 |    19341 |        0 |        0 |    42882 |  20 |  0.007 |
1715.82/1702.78	c (1563,0) c 
1715.82/1702.78	c (1563,0) c synthesis      172674 conflicts   924161014 propagations      111 conflicts/sec   596087 propagations/sec
1715.82/1702.78	c (1563,0) c real: 1563.59 s, cpu: 1550.38 s, memory: 5132.95 Mb
1744.84/1731.78	c (1592,0) c
1744.84/1731.78	c (1592,0) c |------------------------------------------------------------------------------------------------------------------------|
1744.84/1731.78	c (1592,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1744.84/1731.78	c (1592,0) c |------------------------------------------------------------------------------------------------------------------------|
1744.84/1731.78	c (1592,0) c |  0 |    981 |     705637 |     173284 |  1819246 |    33700 |    19341 |        0 |        0 |    43655 |  20 |  0.007 |
1744.84/1731.78	c (1592,0) c 
1744.84/1731.78	c (1592,0) c synthesis      173284 conflicts   936744209 propagations      110 conflicts/sec   593142 propagations/sec
1744.84/1731.78	c (1592,0) c real: 1592.59 s, cpu: 1579.29 s, memory: 5132.95 Mb
1773.85/1760.78	c (1621,0) c
1773.85/1760.78	c (1621,0) c |------------------------------------------------------------------------------------------------------------------------|
1773.85/1760.78	c (1621,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1773.85/1760.78	c (1621,0) c |------------------------------------------------------------------------------------------------------------------------|
1773.85/1760.78	c (1621,0) c |  0 |    993 |     709041 |     173902 |  1819983 |    34318 |    19341 |        0 |        0 |    44431 |  20 |  0.007 |
1773.85/1760.78	c (1621,0) c 
1773.85/1760.78	c (1621,0) c synthesis      173902 conflicts   949431104 propagations      108 conflicts/sec   590391 propagations/sec
1773.85/1760.78	c (1621,0) c real: 1621.59 s, cpu: 1608.14 s, memory: 5132.95 Mb
1802.87/1789.78	c (1650,0) c
1802.87/1789.78	c (1650,0) c |------------------------------------------------------------------------------------------------------------------------|
1802.87/1789.78	c (1650,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1802.87/1789.78	c (1650,0) c |------------------------------------------------------------------------------------------------------------------------|
1802.87/1789.78	c (1650,0) c |  0 |   1004 |     712149 |     174482 |  1820666 |    34898 |    19342 |        0 |        0 |    45211 |  20 |  0.007 |
1802.87/1789.78	c (1650,0) c 
1802.87/1789.78	c (1650,0) c synthesis      174482 conflicts   961806878 propagations      107 conflicts/sec   587530 propagations/sec
1802.87/1789.78	c (1650,0) c real: 1650.59 s, cpu: 1637.04 s, memory: 5132.95 Mb
1831.89/1818.78	c (1679,0) c
1831.89/1818.78	c (1679,0) c |------------------------------------------------------------------------------------------------------------------------|
1831.89/1818.78	c (1679,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1831.89/1818.78	c (1679,0) c |------------------------------------------------------------------------------------------------------------------------|
1831.89/1818.78	c (1679,0) c |  0 |   1015 |     715293 |     175040 |  1821478 |    35456 |    19342 |        0 |        0 |    45974 |  20 |  0.007 |
1831.89/1818.78	c (1679,0) c 
1831.89/1818.78	c (1679,0) c synthesis      175040 conflicts   974164082 propagations      105 conflicts/sec   584776 propagations/sec
1831.89/1818.78	c (1679,0) c real: 1679.59 s, cpu: 1665.88 s, memory: 5132.95 Mb
1860.90/1847.78	c (1708,0) c
1860.90/1847.78	c (1708,0) c |------------------------------------------------------------------------------------------------------------------------|
1860.90/1847.78	c (1708,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1860.90/1847.78	c (1708,0) c |------------------------------------------------------------------------------------------------------------------------|
1860.90/1847.78	c (1708,0) c |  0 |   1027 |     718695 |     175660 |  1821890 |    36076 |    19343 |        0 |        0 |    46748 |  20 |  0.007 |
1860.90/1847.78	c (1708,0) c 
1860.90/1847.78	c (1708,0) c synthesis      175660 conflicts   986692756 propagations      104 conflicts/sec   582192 propagations/sec
1860.90/1847.78	c (1708,0) c real: 1708.59 s, cpu: 1694.79 s, memory: 5132.95 Mb
1889.91/1876.78	c (1737,0) c
1889.91/1876.78	c (1737,0) c |------------------------------------------------------------------------------------------------------------------------|
1889.91/1876.78	c (1737,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1889.91/1876.78	c (1737,0) c |------------------------------------------------------------------------------------------------------------------------|
1889.91/1876.78	c (1737,0) c |  0 |   1038 |     721841 |     176214 |  1822506 |    36630 |    19343 |        0 |        0 |    47518 |  20 |  0.007 |
1889.91/1876.78	c (1737,0) c 
1889.91/1876.78	c (1737,0) c synthesis      176214 conflicts   999636983 propagations      102 conflicts/sec   579957 propagations/sec
1889.91/1876.78	c (1737,0) c real: 1737.59 s, cpu: 1723.64 s, memory: 5132.95 Mb
1918.95/1905.78	c (1766,0) c
1918.95/1905.78	c (1766,0) c |------------------------------------------------------------------------------------------------------------------------|
1918.95/1905.78	c (1766,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1918.95/1905.78	c (1766,0) c |------------------------------------------------------------------------------------------------------------------------|
1918.95/1905.78	c (1766,0) c |  0 |   1050 |     725201 |     176807 |  1822945 |    37223 |    19343 |        0 |        0 |    48292 |  20 |  0.007 |
1918.95/1905.78	c (1766,0) c 
1918.95/1905.78	c (1766,0) c synthesis      176807 conflicts  1012227327 propagations      101 conflicts/sec   577586 propagations/sec
1918.95/1905.78	c (1766,0) c real: 1766.59 s, cpu: 1752.51 s, memory: 5132.95 Mb
1947.96/1934.78	c (1795,0) c
1947.96/1934.78	c (1795,0) c |------------------------------------------------------------------------------------------------------------------------|
1947.96/1934.78	c (1795,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1947.96/1934.78	c (1795,0) c |------------------------------------------------------------------------------------------------------------------------|
1947.96/1934.78	c (1795,0) c |  0 |   1061 |     728301 |     177374 |  1823353 |    37790 |    19343 |        0 |        0 |    49058 |  20 |  0.007 |
1947.96/1934.78	c (1795,0) c 
1947.96/1934.78	c (1795,0) c synthesis      177374 conflicts  1024835841 propagations      100 conflicts/sec   575306 propagations/sec
1947.96/1934.78	c (1795,0) c real: 1795.59 s, cpu: 1781.37 s, memory: 5132.95 Mb
1976.97/1963.78	c (1824,0) c
1976.97/1963.78	c (1824,0) c |------------------------------------------------------------------------------------------------------------------------|
1976.97/1963.78	c (1824,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1976.97/1963.78	c (1824,0) c |------------------------------------------------------------------------------------------------------------------------|
1976.97/1963.78	c (1824,0) c |  0 |   1072 |     731382 |     177954 |  1823827 |    38370 |    19343 |        0 |        0 |    49824 |  20 |  0.007 |
1976.97/1963.78	c (1824,0) c 
1976.97/1963.78	c (1824,0) c synthesis      177954 conflicts  1036951921 propagations       98 conflicts/sec   572822 propagations/sec
1976.97/1963.78	c (1824,0) c real: 1824.59 s, cpu: 1810.25 s, memory: 5132.95 Mb
2006.00/1992.78	c (1853,0) c
2006.00/1992.78	c (1853,0) c |------------------------------------------------------------------------------------------------------------------------|
2006.00/1992.78	c (1853,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2006.00/1992.78	c (1853,0) c |------------------------------------------------------------------------------------------------------------------------|
2006.00/1992.78	c (1853,0) c |  0 |   1083 |     734466 |     178517 |  1824252 |    38933 |    19343 |        0 |        0 |    50600 |  20 |  0.007 |
2006.00/1992.78	c (1853,0) c 
2006.00/1992.78	c (1853,0) c synthesis      178517 conflicts  1049776981 propagations       97 conflicts/sec   570797 propagations/sec
2006.00/1992.78	c (1853,0) c real: 1853.59 s, cpu: 1839.14 s, memory: 5132.95 Mb
2035.00/2021.78	c (1882,0) c
2035.00/2021.78	c (1882,0) c |------------------------------------------------------------------------------------------------------------------------|
2035.00/2021.78	c (1882,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2035.00/2021.78	c (1882,0) c |------------------------------------------------------------------------------------------------------------------------|
2035.00/2021.78	c (1882,0) c |  0 |   1094 |     737531 |     179069 |  1824537 |    39485 |    19343 |        0 |        0 |    51364 |  20 |  0.007 |
2035.00/2021.78	c (1882,0) c 
2035.00/2021.78	c (1882,0) c synthesis      179069 conflicts  1062795866 propagations       96 conflicts/sec   568941 propagations/sec
2035.00/2021.78	c (1882,0) c real: 1882.59 s, cpu: 1868.02 s, memory: 5132.95 Mb
2064.02/2050.78	c (1911,0) c
2064.02/2050.78	c (1911,0) c |------------------------------------------------------------------------------------------------------------------------|
2064.02/2050.78	c (1911,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2064.02/2050.78	c (1911,0) c |------------------------------------------------------------------------------------------------------------------------|
2064.02/2050.78	c (1911,0) c |  0 |   1105 |     740613 |     179615 |  1824929 |    40031 |    19343 |        0 |        0 |    52125 |  20 |  0.007 |
2064.02/2050.78	c (1911,0) c 
2064.02/2050.78	c (1911,0) c synthesis      179615 conflicts  1075119800 propagations       95 conflicts/sec   566779 propagations/sec
2064.02/2050.78	c (1911,0) c real: 1911.59 s, cpu: 1896.89 s, memory: 5132.95 Mb
2093.03/2079.78	c (1940,0) c
2093.03/2079.78	c (1940,0) c |------------------------------------------------------------------------------------------------------------------------|
2093.03/2079.78	c (1940,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2093.03/2079.78	c (1940,0) c |------------------------------------------------------------------------------------------------------------------------|
2093.03/2079.78	c (1940,0) c |  0 |   1115 |     743443 |     180128 |  1825262 |    40544 |    19343 |        0 |        0 |    52879 |  20 |  0.007 |
2093.03/2079.78	c (1940,0) c 
2093.03/2079.78	c (1940,0) c synthesis      180128 conflicts  1087508270 propagations       94 conflicts/sec   564708 propagations/sec
2093.03/2079.78	c (1940,0) c real: 1940.59 s, cpu: 1925.79 s, memory: 5132.95 Mb
2122.04/2108.78	c (1969,0) c
2122.04/2108.78	c (1969,0) c |------------------------------------------------------------------------------------------------------------------------|
2122.04/2108.78	c (1969,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2122.04/2108.78	c (1969,0) c |------------------------------------------------------------------------------------------------------------------------|
2122.04/2108.78	c (1969,0) c |  0 |   1126 |     746508 |     180699 |  1825670 |    41115 |    19343 |        0 |        0 |    53661 |  20 |  0.007 |
2122.04/2108.78	c (1969,0) c 
2122.04/2108.78	c (1969,0) c synthesis      180699 conflicts  1100053795 propagations       92 conflicts/sec   562783 propagations/sec
2122.04/2108.78	c (1969,0) c real: 1969.59 s, cpu: 1954.67 s, memory: 5132.95 Mb
2151.06/2137.78	c (1998,0) c
2151.06/2137.78	c (1998,0) c |------------------------------------------------------------------------------------------------------------------------|
2151.06/2137.78	c (1998,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2151.06/2137.78	c (1998,0) c |------------------------------------------------------------------------------------------------------------------------|
2151.06/2137.78	c (1998,0) c |  0 |   1137 |     749560 |     181270 |  1826113 |    41686 |    19343 |        0 |        0 |    54433 |  20 |  0.007 |
2151.06/2137.78	c (1998,0) c 
2151.06/2137.78	c (1998,0) c synthesis      181270 conflicts  1112933120 propagations       91 conflicts/sec   561084 propagations/sec
2151.06/2137.78	c (1998,0) c real: 1998.59 s, cpu: 1983.54 s, memory: 5132.95 Mb
2180.07/2166.78	c (2027,0) c
2180.07/2166.78	c (2027,0) c |------------------------------------------------------------------------------------------------------------------------|
2180.07/2166.78	c (2027,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2180.07/2166.78	c (2027,0) c |------------------------------------------------------------------------------------------------------------------------|
2180.07/2166.78	c (2027,0) c |  0 |   1149 |     752870 |     181840 |  1826484 |    42256 |    19343 |        0 |        0 |    55203 |  20 |  0.007 |
2180.07/2166.78	c (2027,0) c 
2180.07/2166.78	c (2027,0) c synthesis      181840 conflicts  1125856086 propagations       90 conflicts/sec   559450 propagations/sec
2180.07/2166.78	c (2027,0) c real: 2027.59 s, cpu: 2012.43 s, memory: 5132.95 Mb
2209.08/2195.78	c (2056,0) c
2209.08/2195.78	c (2056,0) c |------------------------------------------------------------------------------------------------------------------------|
2209.08/2195.78	c (2056,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2209.08/2195.78	c (2056,0) c |------------------------------------------------------------------------------------------------------------------------|
2209.08/2195.78	c (2056,0) c |  0 |   1159 |     755627 |     182356 |  1826856 |    42772 |    19343 |        0 |        0 |    55963 |  20 |  0.007 |
2209.08/2195.78	c (2056,0) c 
2209.08/2195.78	c (2056,0) c synthesis      182356 conflicts  1138205939 propagations       89 conflicts/sec   557592 propagations/sec
2209.08/2195.78	c (2056,0) c real: 2056.59 s, cpu: 2041.29 s, memory: 5132.95 Mb
2238.10/2224.78	c (2085,0) c
2238.10/2224.78	c (2085,0) c |------------------------------------------------------------------------------------------------------------------------|
2238.10/2224.78	c (2085,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2238.10/2224.78	c (2085,0) c |------------------------------------------------------------------------------------------------------------------------|
2238.10/2224.78	c (2085,0) c |  0 |   1170 |     758684 |     182933 |  1827345 |    43349 |    19343 |        0 |        0 |    56730 |  20 |  0.007 |
2238.10/2224.78	c (2085,0) c 
2238.10/2224.78	c (2085,0) c synthesis      182933 conflicts  1150432610 propagations       88 conflicts/sec   555717 propagations/sec
2238.10/2224.78	c (2085,0) c real: 2085.59 s, cpu: 2070.18 s, memory: 5132.95 Mb
2267.13/2253.78	c (2114,0) c
2267.13/2253.78	c (2114,0) c |------------------------------------------------------------------------------------------------------------------------|
2267.13/2253.78	c (2114,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2267.13/2253.78	c (2114,0) c |------------------------------------------------------------------------------------------------------------------------|
2267.13/2253.78	c (2114,0) c |  0 |   1181 |     761696 |     183477 |  1827718 |    43893 |    19343 |        0 |        0 |    57501 |  20 |  0.007 |
2267.13/2253.78	c (2114,0) c 
2267.13/2253.78	c (2114,0) c synthesis      183477 conflicts  1163057434 propagations       87 conflicts/sec   554086 propagations/sec
2267.13/2253.78	c (2114,0) c real: 2114.59 s, cpu: 2099.05 s, memory: 5132.95 Mb
2296.14/2282.78	c (2143,0) c
2296.14/2282.78	c (2143,0) c |------------------------------------------------------------------------------------------------------------------------|
2296.14/2282.78	c (2143,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2296.14/2282.78	c (2143,0) c |------------------------------------------------------------------------------------------------------------------------|
2296.14/2282.78	c (2143,0) c |  0 |   1191 |     764463 |     183992 |  1828033 |    44408 |    19343 |        0 |        0 |    58265 |  20 |  0.007 |
2296.14/2282.78	c (2143,0) c 
2296.14/2282.78	c (2143,0) c synthesis      183992 conflicts  1175535608 propagations       86 conflicts/sec   552426 propagations/sec
2296.14/2282.78	c (2143,0) c real: 2143.59 s, cpu: 2127.95 s, memory: 5132.95 Mb
2325.16/2311.78	c (2172,0) c
2325.16/2311.78	c (2172,0) c |------------------------------------------------------------------------------------------------------------------------|
2325.16/2311.78	c (2172,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2325.16/2311.78	c (2172,0) c |------------------------------------------------------------------------------------------------------------------------|
2325.16/2311.78	c (2172,0) c |  0 |   1202 |     767477 |     184527 |  1828467 |    44943 |    19343 |        0 |        0 |    59034 |  20 |  0.007 |
2325.16/2311.78	c (2172,0) c 
2325.16/2311.78	c (2172,0) c synthesis      184527 conflicts  1187912107 propagations       86 conflicts/sec   550775 propagations/sec
2325.16/2311.78	c (2172,0) c real: 2172.59 s, cpu: 2156.8 s, memory: 5132.95 Mb
2354.17/2340.78	c (2201,0) c
2354.17/2340.78	c (2201,0) c |------------------------------------------------------------------------------------------------------------------------|
2354.17/2340.78	c (2201,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2354.17/2340.78	c (2201,0) c |------------------------------------------------------------------------------------------------------------------------|
2354.17/2340.78	c (2201,0) c |  0 |   1212 |     770238 |     185074 |  1828874 |    45490 |    19343 |        0 |        0 |    59802 |  20 |  0.007 |
2354.17/2340.78	c (2201,0) c 
2354.17/2340.78	c (2201,0) c synthesis      185074 conflicts  1200223000 propagations       85 conflicts/sec   549120 propagations/sec
2354.17/2340.78	c (2201,0) c real: 2201.59 s, cpu: 2185.72 s, memory: 5132.95 Mb
2383.19/2369.78	c (2230,0) c
2383.19/2369.78	c (2230,0) c |------------------------------------------------------------------------------------------------------------------------|
2383.19/2369.78	c (2230,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2383.19/2369.78	c (2230,0) c |------------------------------------------------------------------------------------------------------------------------|
2383.19/2369.78	c (2230,0) c |  0 |   1223 |     773211 |     185632 |  1829294 |    46048 |    19343 |        0 |        0 |    60568 |  20 |  0.007 |
2383.19/2369.78	c (2230,0) c 
2383.19/2369.78	c (2230,0) c synthesis      185632 conflicts  1212449717 propagations       84 conflicts/sec   547481 propagations/sec
2383.19/2369.78	c (2230,0) c real: 2230.59 s, cpu: 2214.6 s, memory: 5132.95 Mb
2412.20/2398.78	c (2259,0) c
2412.20/2398.78	c (2259,0) c |------------------------------------------------------------------------------------------------------------------------|
2412.20/2398.78	c (2259,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2412.20/2398.78	c (2259,0) c |------------------------------------------------------------------------------------------------------------------------|
2412.20/2398.78	c (2259,0) c |  0 |   1234 |     776206 |     186182 |  1829702 |    46598 |    19343 |        0 |        0 |    61339 |  20 |  0.007 |
2412.20/2398.78	c (2259,0) c 
2412.20/2398.78	c (2259,0) c synthesis      186182 conflicts  1224823032 propagations       83 conflicts/sec   545943 propagations/sec
2412.20/2398.78	c (2259,0) c real: 2259.59 s, cpu: 2243.5 s, memory: 5132.95 Mb
2441.22/2427.78	c (2288,0) c
2441.22/2427.78	c (2288,0) c |------------------------------------------------------------------------------------------------------------------------|
2441.22/2427.78	c (2288,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2441.22/2427.78	c (2288,0) c |------------------------------------------------------------------------------------------------------------------------|
2441.22/2427.78	c (2288,0) c |  0 |   1244 |     778937 |     186704 |  1830048 |    47120 |    19343 |        0 |        0 |    62100 |  20 |  0.007 |
2441.22/2427.78	c (2288,0) c 
2441.22/2427.78	c (2288,0) c synthesis      186704 conflicts  1237350625 propagations       82 conflicts/sec   544530 propagations/sec
2441.22/2427.78	c (2288,0) c real: 2288.59 s, cpu: 2272.33 s, memory: 5132.95 Mb
2470.23/2456.78	c (2317,0) c
2470.23/2456.78	c (2317,0) c |------------------------------------------------------------------------------------------------------------------------|
2470.23/2456.78	c (2317,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2470.23/2456.78	c (2317,0) c |------------------------------------------------------------------------------------------------------------------------|
2470.23/2456.78	c (2317,0) c |  0 |   1255 |     781959 |     187222 |  1830556 |    47638 |    19344 |        0 |        0 |    62857 |  20 |  0.007 |
2470.23/2456.78	c (2317,0) c 
2470.23/2456.78	c (2317,0) c synthesis      187222 conflicts  1249635813 propagations       81 conflicts/sec   543024 propagations/sec
2470.23/2456.78	c (2317,0) c real: 2317.59 s, cpu: 2301.25 s, memory: 5132.95 Mb
2499.24/2485.78	c (2346,0) c
2499.24/2485.78	c (2346,0) c |------------------------------------------------------------------------------------------------------------------------|
2499.24/2485.78	c (2346,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2499.24/2485.78	c (2346,0) c |------------------------------------------------------------------------------------------------------------------------|
2499.24/2485.78	c (2346,0) c |  0 |   1265 |     784722 |     187755 |  1830942 |    48171 |    19344 |        0 |        0 |    63613 |  20 |  0.007 |
2499.24/2485.78	c (2346,0) c 
2499.24/2485.78	c (2346,0) c synthesis      187755 conflicts  1261832129 propagations       81 conflicts/sec   541540 propagations/sec
2499.24/2485.78	c (2346,0) c real: 2346.59 s, cpu: 2330.08 s, memory: 5132.95 Mb
2528.27/2514.78	c (2375,0) c
2528.27/2514.78	c (2375,0) c |------------------------------------------------------------------------------------------------------------------------|
2528.27/2514.78	c (2375,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2528.27/2514.78	c (2375,0) c |------------------------------------------------------------------------------------------------------------------------|
2528.27/2514.78	c (2375,0) c |  0 |   1276 |     787713 |     188284 |  1831247 |    48700 |    19344 |        0 |        0 |    64386 |  20 |  0.007 |
2528.27/2514.78	c (2375,0) c 
2528.27/2514.78	c (2375,0) c synthesis      188284 conflicts  1274516004 propagations       80 conflicts/sec   540280 propagations/sec
2528.27/2514.78	c (2375,0) c real: 2375.59 s, cpu: 2358.99 s, memory: 5132.95 Mb
2533.56/2520.01	c (2381,0) receiving signal SIGTERM
2533.56/2520.01	s UNKNOWN
2533.56/2520.01	c (scop.sh) Receiving Signal. Removing all intermediate files.
2533.56/2520.01	c (scop.sh) Remove HOME/scop-5521-serial-file.bin.
2533.56/2520.02	c (scop.sh) Killing background jobs.
2533.56/2520.02	c (2381,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: 16375 MiB (15476 MiB free)
  memory of node 1: 16384 MiB (9259 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405404-1569339809/watcher-4405404-1569339809 -o /tmp/evaluation-result-4405404-1569339809/solver-4405404-1569339809 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569335937-4697 --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-4405404-1569339809.xml 

running on 8 cores: 0-7

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

solver pid=5521, runsolver pid=5518

[startup+0.100112 s]*
/proc/loadavg: 7.36 7.98 7.53 2/213 5543
/proc/meminfo: memFree=25234348/32770688 swapFree=67001276/67108860
[pid=5521] ppid=5518 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5521/stat : 5521 (scop.sh) S 5518 5521 4670 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509922535 115843072 349 33554432000 4194304 5098028 140728695425056 140728695422312 140266824188540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19869696 140728695431973 140728695432300 140728695432300 140728695435213 0
/proc/5521/statm: 28282 349 296 221 0 87 0
[pid=5524] ppid=5521 vsize=27314120 memory=106528 CPUtime=0.1 cores=0-7
/proc/5524/stat : 5524 (java) S 5521 5521 4670 0 -1 1077944320 6694 0 0 0 8 2 0 0 20 0 20 0 509922536 27969658880 26632 33554432000 4194304 4196468 140722985953792 140722985936336 140268589154039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
/proc/5524/statm: 6828530 26632 2774 1 0 6790935 0
[pid=5524/tid=5525] ppid=5521 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/5524/task/5525/stat : 5525 (java) R 5521 5521 4670 0 -1 4202560 4801 0 0 0 7 2 0 0 20 0 20 0 509922536 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268560980368 140268589175965 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5526] ppid=5521 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5524/task/5526/stat : 5526 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268593396368 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5527] ppid=5521 vsize=27314120 memory=140232031704704 CPUtime=0 cores=0-7
/proc/5524/task/5527/stat : 5527 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268407552528 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5528] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5528/stat : 5528 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268406499728 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5529] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5529/stat : 5529 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268405446928 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5530] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5530/stat : 5530 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268404395152 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5531] ppid=5521 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5524/task/5531/stat : 5531 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268403342352 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5532] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5532/stat : 5532 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268402289552 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5533] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5533/stat : 5533 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922539 27969658880 26632 33554432000 4194304 4196468 140722985953792 140268401236752 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5534] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5534/stat : 5534 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922540 27969658880 26632 33554432000 4194304 4196468 140722985953792 140267110607216 140268589165186 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5535] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5535/stat : 5535 (java) S 5521 5521 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509922541 27969658880 26632 33554432000 4194304 4196468 140722985953792 140266182796320 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5536] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5536/stat : 5536 (java) S 5521 5521 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509922541 27969658880 26632 33554432000 4194304 4196468 140722985953792 140266048574320 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5537] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5537/stat : 5537 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 26632 33554432000 4194304 4196468 140722985953792 140265674069840 140268589172635 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5538] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5538/stat : 5538 (java) S 5521 5521 4670 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 26659 33554432000 4194304 4196468 140722985953792 140267109555056 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5539] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5539/stat : 5539 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 26659 33554432000 4194304 4196468 140722985953792 140267108502256 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5540] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5540/stat : 5540 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 26659 33554432000 4194304 4196468 140722985953792 140267107449456 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5541] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5541/stat : 5541 (java) S 5521 5521 4670 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 26659 33554432000 4194304 4196468 140722985953792 140267106396656 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5542] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5542/stat : 5542 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 26659 33554432000 4194304 4196468 140722985953792 140265176164960 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5543] ppid=5521 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5524/task/5543/stat : 5543 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 26659 33554432000 4194304 4196468 140722985953792 140267105344048 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107924 KiB

[startup+0.21148 s]*
/proc/loadavg: 7.36 7.98 7.53 2/213 5543
/proc/meminfo: memFree=25216148/32770688 swapFree=67001276/67108860
[pid=5521] ppid=5518 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5521/stat : 5521 (scop.sh) S 5518 5521 4670 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509922535 115843072 349 33554432000 4194304 5098028 140728695425056 140728695422312 140266824188540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19869696 140728695431973 140728695432300 140728695432300 140728695435213 0
/proc/5521/statm: 28282 349 296 221 0 87 0
[pid=5524] ppid=5521 vsize=27314120 memory=126068 CPUtime=0.24 cores=0-7
/proc/5524/stat : 5524 (java) S 5521 5521 4670 0 -1 1077944320 12200 0 0 0 20 4 0 0 20 0 20 0 509922536 27969658880 31517 33554432000 4194304 4196468 140722985953792 140722985936336 140268589154039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
/proc/5524/statm: 6828530 31517 2937 1 0 6790935 0
[pid=5524/tid=5525] ppid=5521 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5524/task/5525/stat : 5525 (java) R 5521 5521 4670 0 -1 4202560 9941 0 0 0 16 3 0 0 20 0 20 0 509922536 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268560977984 140268572547376 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5526] ppid=5521 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/5524/task/5526/stat : 5526 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268593396368 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5527] ppid=5521 vsize=27314120 memory=288370608183416448 CPUtime=0 cores=0-7
/proc/5524/task/5527/stat : 5527 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268407552528 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5528] ppid=5521 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5524/task/5528/stat : 5528 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268406499728 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5529] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5529/stat : 5529 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268405446928 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5530] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5530/stat : 5530 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268404395152 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5531] ppid=5521 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5524/task/5531/stat : 5531 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268403342352 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5532] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5532/stat : 5532 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268402289552 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5533] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5533/stat : 5533 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922539 27969658880 31517 33554432000 4194304 4196468 140722985953792 140268401236752 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5534] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5534/stat : 5534 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922540 27969658880 31517 33554432000 4194304 4196468 140722985953792 140267110607216 140268589165186 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5535] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5535/stat : 5535 (java) S 5521 5521 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509922541 27969658880 31517 33554432000 4194304 4196468 140722985953792 140266182796320 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5536] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5536/stat : 5536 (java) S 5521 5521 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509922541 27969658880 31517 33554432000 4194304 4196468 140722985953792 140266048574320 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5537] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5537/stat : 5537 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 31517 33554432000 4194304 4196468 140722985953792 140265674069840 140268589172635 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5538] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5538/stat : 5538 (java) R 5521 5521 4670 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 31517 33554432000 4194304 4196468 140722985953792 140267109555056 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5539] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5539/stat : 5539 (java) S 5521 5521 4670 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 31517 33554432000 4194304 4196468 140722985953792 140267108502256 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5540] ppid=5521 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5524/task/5540/stat : 5540 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 31517 33554432000 4194304 4196468 140722985953792 140267107449456 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5541] ppid=5521 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/5524/task/5541/stat : 5541 (java) R 5521 5521 4670 0 -1 4202560 465 0 0 0 2 0 0 0 20 0 20 0 509922544 27969658880 31517 33554432000 4194304 4196468 140722985953792 140267106396656 140268589165974 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5542] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5542/stat : 5542 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 31517 33554432000 4194304 4196468 140722985953792 140265176164960 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5543] ppid=5521 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5524/task/5543/stat : 5543 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 31517 33554432000 4194304 4196468 140722985953792 140267105344048 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127464 KiB

[startup+0.311021 s]*
/proc/loadavg: 7.36 7.98 7.53 3/213 5543
/proc/meminfo: memFree=25211532/32770688 swapFree=67001276/67108860
[pid=5521] ppid=5518 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5521/stat : 5521 (scop.sh) S 5518 5521 4670 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509922535 115843072 349 33554432000 4194304 5098028 140728695425056 140728695422312 140266824188540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19869696 140728695431973 140728695432300 140728695432300 140728695435213 0
/proc/5521/statm: 28282 349 296 221 0 87 0
[pid=5524] ppid=5521 vsize=27314120 memory=129260 CPUtime=0.43 cores=0-7
/proc/5524/stat : 5524 (java) S 5521 5521 4670 0 -1 1077944320 12700 0 0 0 38 5 0 0 20 0 20 0 509922536 27969658880 32315 33554432000 4194304 4196468 140722985953792 140722985936336 140268589154039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
/proc/5524/statm: 6828530 32315 3040 1 0 6790935 0
[pid=5524/tid=5525] ppid=5521 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/5524/task/5525/stat : 5525 (java) R 5521 5521 4670 0 -1 4202560 10224 0 0 0 26 4 0 0 20 0 20 0 509922536 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268560981840 140268573234526 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5526] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5526/stat : 5526 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268593396368 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5527] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5527/stat : 5527 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268407552528 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5528] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5528/stat : 5528 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268406499728 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5529] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5529/stat : 5529 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268405446928 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5530] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5530/stat : 5530 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268404395152 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5531] ppid=5521 vsize=27314120 memory=140231890266799 CPUtime=0 cores=0-7
/proc/5524/task/5531/stat : 5531 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268403342352 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5532] ppid=5521 vsize=27314120 memory=140231890269104 CPUtime=0 cores=0-7
/proc/5524/task/5532/stat : 5532 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268402289552 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5533] ppid=5521 vsize=27314120 memory=140231890271408 CPUtime=0 cores=0-7
/proc/5524/task/5533/stat : 5533 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922539 27969658880 32315 33554432000 4194304 4196468 140722985953792 140268401236752 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5534] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5534/stat : 5534 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922540 27969658880 32315 33554432000 4194304 4196468 140722985953792 140267110607216 140268589165186 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5535] ppid=5521 vsize=27314120 memory=280463780556688 CPUtime=0 cores=0-7
/proc/5524/task/5535/stat : 5535 (java) S 5521 5521 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509922541 27969658880 32315 33554432000 4194304 4196468 140722985953792 140266182796320 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5536] ppid=5521 vsize=27314120 memory=280463780554384 CPUtime=0 cores=0-7
/proc/5524/task/5536/stat : 5536 (java) S 5521 5521 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509922541 27969658880 32315 33554432000 4194304 4196468 140722985953792 140266048574320 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5537] ppid=5521 vsize=27314120 memory=280463780561296 CPUtime=0 cores=0-7
/proc/5524/task/5537/stat : 5537 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 32315 33554432000 4194304 4196468 140722985953792 140265674069840 140268589172635 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5538] ppid=5521 vsize=27314120 memory=280463780502544 CPUtime=0.01 cores=0-7
/proc/5524/task/5538/stat : 5538 (java) S 5521 5521 4670 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 20 0 509922544 27969658880 32315 33554432000 4194304 4196468 140722985953792 140267109555056 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5539] ppid=5521 vsize=27314120 memory=280463780575120 CPUtime=0.01 cores=0-7
/proc/5524/task/5539/stat : 5539 (java) S 5521 5521 4670 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 509922544 27969658880 32315 33554432000 4194304 4196468 140722985953792 140267108502256 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5540] ppid=5521 vsize=27314120 memory=280463780582032 CPUtime=0.02 cores=0-7
/proc/5524/task/5540/stat : 5540 (java) S 5521 5521 4670 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 20 0 509922544 27969658880 32315 33554432000 4194304 4196468 140722985953792 140267107449456 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5541] ppid=5521 vsize=27314120 memory=280463780579728 CPUtime=0.07 cores=0-7
/proc/5524/task/5541/stat : 5541 (java) S 5521 5521 4670 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 509922544 27969658880 32315 33554432000 4194304 4196468 140722985953792 140267106396656 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5542] ppid=5521 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5542/stat : 5542 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 32315 33554432000 4194304 4196468 140722985953792 140265176164960 140268589164245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5543] ppid=5521 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5524/task/5543/stat : 5543 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509922544 27969658880 32315 33554432000 4194304 4196468 140722985953792 140267105344048 140268589165186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130656 KiB

[startup+0.700945 s]
/proc/loadavg: 7.36 7.98 7.53 2/213 5543
/proc/meminfo: memFree=25204536/32770688 swapFree=67001276/67108860
[pid=5521] ppid=5518 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5521/stat : 5521 (scop.sh) S 5518 5521 4670 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509922535 115843072 349 33554432000 4194304 5098028 140728695425056 140728695422312 140266824188540 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19869696 140728695431973 140728695432300 140728695432300 140728695435213 0
/proc/5521/statm: 28282 349 296 221 0 87 0
[pid=5524] ppid=5521 vsize=27320392 memory=159340 CPUtime=0.9 cores=0-7
/proc/5524/stat : 5524 (java) S 5521 5521 4670 0 -1 1077944320 19442 0 0 0 83 7 0 0 20 0 20 0 509922536 27976081408 39835 33554432000 4194304 4196468 140722985953792 140722985936336 140268589154039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
/proc/5524/statm: 6830098 39835 3108 1 0 6791447 0
[pid=5524/tid=5525] ppid=5521 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/5524/task/5525/stat : 5525 (java) R 5521 5521 4670 0 -1 4202560 16873 0 0 0 62 5 0 0 20 0 20 0 509922536 27976081408 39835 33554432000 4194304 4196468 140722985953792 140268560976528 140268589175965 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5526] ppid=5521 vsize=27320392 memory=140231890477936 CPUtime=0 cores=0-7
/proc/5524/task/5526/stat : 5526 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27976081408 39835 33554432000 4194304 4196468 140722985953792 140268593396368 140268589164245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5527] ppid=5521 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/5524/task/5527/stat : 5527 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27976081408 39835 33554432000 4194304 4196468 140722985953792 140268407552528 140268589164245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0
[pid=5524/tid=5528] ppid=5521 vsize=27320392 memory=1564 CPUtime=0 cores=0-7
/proc/5524/task/5528/stat : 5528 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509922538 27976081408 39835 33554432000 4194304 4196468 140722985953792 140268406499728 140268589164245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28000256 140722985956076 140722985956502 140722985956502 140722985959375 0

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

/proc/5552/task/5566/stat : 5566 (java) S 5521 5521 4670 0 -1 1077944384 664 0 0 0 8 1 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778744260976 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5567] ppid=5521 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/5552/task/5567/stat : 5567 (java) S 5521 5521 4670 0 -1 1077944384 237 0 0 0 8 1 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778743208176 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5568] ppid=5521 vsize=8414124 memory=126268 CPUtime=0.07 cores=0-7
/proc/5552/task/5568/stat : 5568 (java) S 5521 5521 4670 0 -1 1077944384 591 0 0 0 6 1 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778742155376 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5569] ppid=5521 vsize=8414124 memory=1476 CPUtime=0.28 cores=0-7
/proc/5552/task/5569/stat : 5569 (java) S 5521 5521 4670 0 -1 1077944384 1188 0 0 0 28 0 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778741102576 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5570] ppid=5521 vsize=8414124 memory=126268 CPUtime=0 cores=0-7
/proc/5552/task/5570/stat : 5570 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509936380 8616062976 31567 33554432000 4194304 4196468 140736502950256 139777428941920 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5571] ppid=5521 vsize=8414124 memory=4257896 CPUtime=0.95 cores=0-7
/proc/5552/task/5571/stat : 5571 (java) S 5521 5521 4670 0 -1 1077944384 583 0 0 0 41 54 0 0 20 0 24 0 509936380 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778740050992 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5573] ppid=5521 vsize=8414124 memory=126268 CPUtime=0 cores=0-7
/proc/5552/task/5573/stat : 5573 (java) S 5521 5521 4670 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509936454 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778732017216 139779920334617 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5575] ppid=5521 vsize=8414124 memory=4257896 CPUtime=0.04 cores=0-7
/proc/5552/task/5575/stat : 5575 (java) S 5521 5521 4670 0 -1 4202560 1738 0 0 0 2 2 0 0 20 0 24 0 509936455 8616062976 31567 33554432000 4194304 4196468 140736502950256 139776757841840 139779920331933 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5576] ppid=5521 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5552/task/5576/stat : 5576 (java) S 5521 5521 4670 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509936455 8616062976 31567 33554432000 4194304 4196468 140736502950256 139777026276912 139779920331933 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5577] ppid=5521 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5552/task/5577/stat : 5577 (java) S 5521 5521 4670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509936457 8616062976 31567 33554432000 4194304 4196468 140736502950256 139776489413680 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
Current children cumulated CPU time: 2515.85 s
Current children cumulated vsize: 13783392 KiB
Current children cumulated memory: 4385640 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.08 1.03 1.47 2/217 5781
/proc/meminfo: memFree=19534484/32770688 swapFree=67001276/67108860
[pid=5521] ppid=5518 vsize=113128 memory=1476 CPUtime=150.07 cores=0-7
/proc/5521/stat : 5521 (scop.sh) S 5518 5521 4670 0 -1 4202496 583 72625 0 0 0 0 14433 574 20 0 1 0 509922535 115843072 369 33554432000 4194304 5098028 140728695425056 140728695421800 140266824188540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19869696 140728695431973 140728695432300 140728695432300 140728695435213 0
/proc/5521/statm: 28282 369 311 221 0 87 0
[pid=5552] ppid=5521 vsize=8414124 memory=126268 CPUtime=2.49 cores=0-7
/proc/5552/stat : 5552 (java) S 5521 5521 4670 0 -1 1077944320 22796 0 0 0 192 57 0 0 20 0 24 0 509936372 8616062976 31567 33554432000 4194304 4196468 140736502950256 140736502932800 139779920310007 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
/proc/5552/statm: 2103531 31567 3214 1 0 2064875 0
[pid=5572] ppid=5552 vsize=5256140 memory=4257904 CPUtime=2381 cores=0-7
/proc/5572/stat : 5572 (manyglucose-4.1) S 5552 5521 4670 0 -1 1077944320 17446522 0 0 0 236417 1683 0 0 20 0 2 0 509936454 5382287360 1064476 33554432000 4194304 4454172 140733832979744 140733832978144 140598669249154 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 21217280 140733832983402 140733832983600 140733832983600 140733832986554 0
/proc/5572/statm: 1314035 1064476 404 64 0 1309703 0
[pid=5572/tid=5579] ppid=5552 vsize=5256140 memory=0 CPUtime=2357.32 cores=0-7
/proc/5572/task/5579/stat : 5579 (manyglucose-4.1) R 5552 5521 4670 0 -1 4202560 16353060 0 0 0 234268 1464 0 0 20 0 2 0 509938821 5382287360 1064476 33554432000 4194304 4454172 140733832979744 140598631582456 4351331 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 21217280 140733832983402 140733832983600 140733832983600 140733832986554 0
[pid=5552/tid=5553] ppid=5521 vsize=8414124 memory=0 CPUtime=0.85 cores=0-7
/proc/5552/task/5553/stat : 5553 (java) S 5521 5521 4670 0 -1 1077944384 16394 0 0 0 80 5 0 0 20 0 24 0 509936373 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779892150176 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5554] ppid=5521 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5552/task/5554/stat : 5554 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509936374 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779924552848 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5555] ppid=5521 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/5552/task/5555/stat : 5555 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509936374 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779724721168 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5556] ppid=5521 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/5552/task/5556/stat : 5556 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509936374 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779723668368 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5557] ppid=5521 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/5552/task/5557/stat : 5557 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509936374 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779722615568 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5558] ppid=5521 vsize=8414124 memory=2524 CPUtime=0 cores=0-7
/proc/5552/task/5558/stat : 5558 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509936374 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779721562768 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5559] ppid=5521 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/5552/task/5559/stat : 5559 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509936374 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779720509968 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5560] ppid=5521 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/5552/task/5560/stat : 5560 (java) S 5521 5521 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509936374 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779719457168 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5561] ppid=5521 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/5552/task/5561/stat : 5561 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509936374 8616062976 31567 33554432000 4194304 4196468 140736502950256 139779718404368 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5562] ppid=5521 vsize=8414124 memory=1808 CPUtime=0.04 cores=0-7
/proc/5552/task/5562/stat : 5562 (java) S 5521 5521 4670 0 -1 1077944384 16 0 0 0 1 3 0 0 20 0 24 0 509936376 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778745314160 139779920321154 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5563] ppid=5521 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/5552/task/5563/stat : 5563 (java) S 5521 5521 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509936376 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778569791008 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5564] ppid=5521 vsize=8414124 memory=4424 CPUtime=0 cores=0-7
/proc/5552/task/5564/stat : 5564 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509936376 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778301355376 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5565] ppid=5521 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/5552/task/5565/stat : 5565 (java) S 5521 5521 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139777926846800 139779920328603 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5566] ppid=5521 vsize=8414124 memory=62328 CPUtime=0.1 cores=0-7
/proc/5552/task/5566/stat : 5566 (java) S 5521 5521 4670 0 -1 1077944384 664 0 0 0 9 1 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778744260976 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5567] ppid=5521 vsize=8414124 memory=984 CPUtime=0.09 cores=0-7
/proc/5552/task/5567/stat : 5567 (java) S 5521 5521 4670 0 -1 1077944384 237 0 0 0 8 1 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778743208176 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5568] ppid=5521 vsize=8414124 memory=2044 CPUtime=0.07 cores=0-7
/proc/5552/task/5568/stat : 5568 (java) S 5521 5521 4670 0 -1 1077944384 591 0 0 0 6 1 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778742155376 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5569] ppid=5521 vsize=8414124 memory=1368 CPUtime=0.28 cores=0-7
/proc/5552/task/5569/stat : 5569 (java) S 5521 5521 4670 0 -1 1077944384 1188 0 0 0 28 0 0 0 20 0 24 0 509936379 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778741102576 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5570] ppid=5521 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/5552/task/5570/stat : 5570 (java) S 5521 5521 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509936380 8616062976 31567 33554432000 4194304 4196468 140736502950256 139777428941920 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5571] ppid=5521 vsize=8414124 memory=772 CPUtime=0.96 cores=0-7
/proc/5552/task/5571/stat : 5571 (java) S 5521 5521 4670 0 -1 1077944384 585 0 0 0 42 54 0 0 20 0 24 0 509936380 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778740050992 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5573] ppid=5521 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/5552/task/5573/stat : 5573 (java) S 5521 5521 4670 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509936454 8616062976 31567 33554432000 4194304 4196468 140736502950256 139778732017216 139779920334617 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5575] ppid=5521 vsize=8414124 memory=1228 CPUtime=0.04 cores=0-7
/proc/5552/task/5575/stat : 5575 (java) S 5521 5521 4670 0 -1 4202560 1738 0 0 0 2 2 0 0 20 0 24 0 509936455 8616062976 31567 33554432000 4194304 4196468 140736502950256 139776757841840 139779920331933 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5576] ppid=5521 vsize=8414124 memory=6124 CPUtime=0 cores=0-7
/proc/5552/task/5576/stat : 5576 (java) S 5521 5521 4670 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509936455 8616062976 31567 33554432000 4194304 4196468 140736502950256 139777026276912 139779920331933 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5577] ppid=5521 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/5552/task/5577/stat : 5577 (java) S 5521 5521 4670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509936457 8616062976 31567 33554432000 4194304 4196468 140736502950256 139776489413680 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
Current children cumulated CPU time: 2533.56 s
Current children cumulated vsize: 13783392 KiB
Current children cumulated memory: 4385648 KiB

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

[startup+2520.02 s]
# the end of solver process 5521 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=144.336 s, system=5.75024 s

[startup+2520.46 s]
# the end of solver process 5552 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.45 s, system=23.6431 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.08 1.03 1.47 2/212 5785
/proc/meminfo: memFree=24872560/32770688 swapFree=67001276/67108860
[pid=5552] ppid=5518 vsize=8544168 memory=136524 CPUtime=2383.93 cores=0-7
/proc/5552/stat : 5552 (java) S 5518 5521 4670 0 -1 1077944320 22835 17446522 0 0 192 77 236418 1706 20 0 22 0 509936372 8749228032 34131 33554432000 4194304 4196468 140736502950256 140736502932800 139779920310007 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
/proc/5552/statm: 2136042 34131 3214 1 0 2097386 0
[pid=5552/tid=5553] ppid=5518 vsize=8544168 memory=126268 CPUtime=2382.09 cores=0-7
/proc/5552/task/5553/stat : 5553 (java) S 5518 5521 4670 0 -1 1077944384 16394 17446522 0 0 80 5 236418 1706 20 0 22 0 509936373 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779892150176 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5554] ppid=5518 vsize=8544168 memory=4257896 CPUtime=2381.24 cores=0-7
/proc/5552/task/5554/stat : 5554 (java) S 5518 5521 4670 0 -1 1077944384 1 17446522 0 0 0 0 236418 1706 20 0 22 0 509936374 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779924552848 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5555] ppid=5518 vsize=8544168 memory=3612 CPUtime=2381.24 cores=0-7
/proc/5552/task/5555/stat : 5555 (java) S 5518 5521 4670 0 -1 1077944384 3 17446522 0 0 0 0 236418 1706 20 0 22 0 509936374 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779724721168 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5556] ppid=5518 vsize=8544168 memory=4126316290023845779 CPUtime=2381.24 cores=0-7
/proc/5552/task/5556/stat : 5556 (java) S 5518 5521 4670 0 -1 1077944384 1 17446522 0 0 0 0 236418 1706 20 0 22 0 509936374 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779723668368 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5557] ppid=5518 vsize=8544168 memory=4424 CPUtime=2381.24 cores=0-7
/proc/5552/task/5557/stat : 5557 (java) S 5518 5521 4670 0 -1 1077944384 1 17446522 0 0 0 0 236418 1706 20 0 22 0 509936374 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779722615568 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5558] ppid=5518 vsize=8544168 memory=4104 CPUtime=2381.24 cores=0-7
/proc/5552/task/5558/stat : 5558 (java) S 5518 5521 4670 0 -1 1077944384 2 17446522 0 0 0 0 236418 1706 20 0 22 0 509936374 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779721562768 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5559] ppid=5518 vsize=8544168 memory=1412 CPUtime=2381.24 cores=0-7
/proc/5552/task/5559/stat : 5559 (java) S 5518 5521 4670 0 -1 1077944384 2 17446522 0 0 0 0 236418 1706 20 0 22 0 509936374 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779720509968 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5560] ppid=5518 vsize=8544168 memory=3716 CPUtime=2381.24 cores=0-7
/proc/5552/task/5560/stat : 5560 (java) S 5518 5521 4670 0 -1 1077944384 2 17446522 0 0 0 0 236418 1706 20 0 22 0 509936374 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779719457168 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5561] ppid=5518 vsize=8544168 memory=1476 CPUtime=2381.24 cores=0-7
/proc/5552/task/5561/stat : 5561 (java) S 5518 5521 4670 0 -1 1077944384 1 17446522 0 0 0 0 236418 1706 20 0 22 0 509936374 8749228032 34131 33554432000 4194304 4196468 140736502950256 139779718404368 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5562] ppid=5518 vsize=8544168 memory=126268 CPUtime=2381.28 cores=0-7
/proc/5552/task/5562/stat : 5562 (java) S 5518 5521 4670 0 -1 1077944384 16 17446522 0 0 1 3 236418 1706 20 0 22 0 509936376 8749228032 34131 33554432000 4194304 4196468 140736502950256 139778745313664 139779920321154 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5563] ppid=5518 vsize=8544168 memory=4257904 CPUtime=2381.24 cores=0-7
/proc/5552/task/5563/stat : 5563 (java) S 5518 5521 4670 0 -1 1077944384 13 17446522 0 0 0 0 236418 1706 20 0 22 0 509936376 8749228032 34131 33554432000 4194304 4196468 140736502950256 139778569791008 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5564] ppid=5518 vsize=8544168 memory=1728 CPUtime=2381.24 cores=0-7
/proc/5552/task/5564/stat : 5564 (java) S 5518 5521 4670 0 -1 1077944384 1 17446522 0 0 0 0 236418 1706 20 0 22 0 509936376 8749228032 34131 33554432000 4194304 4196468 140736502950256 139778301355376 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5566] ppid=5518 vsize=8544168 memory=1368 CPUtime=2381.34 cores=0-7
/proc/5552/task/5566/stat : 5566 (java) S 5518 5521 4670 0 -1 1077944384 664 17446522 0 0 9 1 236418 1706 20 0 22 0 509936379 8749228032 34131 33554432000 4194304 4196468 140736502950256 139778744260976 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5567] ppid=5518 vsize=8544168 memory=1056 CPUtime=2381.33 cores=0-7
/proc/5552/task/5567/stat : 5567 (java) S 5518 5521 4670 0 -1 1077944384 238 17446522 0 0 8 1 236418 1706 20 0 22 0 509936379 8749228032 34131 33554432000 4194304 4196468 140736502950256 139778743201056 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5568] ppid=5518 vsize=8544168 memory=772 CPUtime=2381.31 cores=0-7
/proc/5552/task/5568/stat : 5568 (java) S 5518 5521 4670 0 -1 1077944384 591 17446522 0 0 6 1 236418 1706 20 0 22 0 509936379 8749228032 34131 33554432000 4194304 4196468 140736502950256 139778742155376 139779920321154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5569] ppid=5518 vsize=8544168 memory=1696 CPUtime=2381.52 cores=0-7
/proc/5552/task/5569/stat : 5569 (java) S 5518 5521 4670 0 -1 1077944384 1189 17446522 0 0 28 0 236418 1706 20 0 22 0 509936379 8749228032 34131 33554432000 4194304 4196468 140736502950256 139778741098768 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5570] ppid=5518 vsize=8544168 memory=1228 CPUtime=2381.24 cores=0-7
/proc/5552/task/5570/stat : 5570 (java) S 5518 5521 4670 0 -1 1077944384 3 17446522 0 0 0 0 236418 1706 20 0 22 0 509936380 8749228032 34131 33554432000 4194304 4196468 140736502950256 139777428941920 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5573] ppid=5518 vsize=8544168 memory=6124 CPUtime=2381.24 cores=0-7
/proc/5552/task/5573/stat : 5573 (java) S 5518 5521 4670 0 -1 1077944384 24 17446522 0 0 0 0 236418 1706 20 0 22 0 509936454 8749228032 34131 33554432000 4194304 4196468 140736502950256 139778732014880 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5577] ppid=5518 vsize=8544168 memory=780 CPUtime=2381.24 cores=0-7
/proc/5552/task/5577/stat : 5577 (java) S 5518 5521 4670 0 -1 1077944384 7 17446522 0 0 0 0 236418 1706 20 0 22 0 509936457 8749228032 34131 33554432000 4194304 4196468 140736502950256 139776489403024 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5782] ppid=5518 vsize=8544168 memory=3516 CPUtime=2381.24 cores=0-7
/proc/5552/task/5782/stat : 5782 (java) S 5518 5521 4670 0 -1 1077944384 2 17446522 0 0 0 0 236418 1706 20 0 22 0 510174537 8749228032 34131 33554432000 4194304 4196468 140736502950256 139776220978896 139779920320213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
[pid=5552/tid=5785] ppid=5518 vsize=8544168 memory=1088 CPUtime=2381.41 cores=0-7
/proc/5552/task/5785/stat : 5785 (java) R 5518 5521 4670 0 -1 4202560 2 17446522 0 0 0 17 236418 1706 20 0 22 0 510174538 8749228032 34131 33554432000 4194304 4196468 140736502950256 139775952545184 139779912995639 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21979136 140736502952952 140736502953110 140736502953110 140736502955983 0
Current cumulated CPU time of completed processes: 150.086 s
Current children cumulated CPU time: 2383.93 s
Current children cumulated vsize: 8544168 KiB
Current children cumulated memory: 136524 KiB

Child status: 1
Real time (s): 2520.46
CPU time (s): 2534.09
CPU user time (s): 2510.45
CPU system time (s): 23.6431
CPU usage (%): 100.541
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7937760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.45
system time used= 23.6431
maximum resident set size= 7936496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17543068
page faults= 0
swaps= 0
block input operations= 64
block output operations= 2783312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65080
involuntary context switches= 1756


# summary of solver processes directly reported to runsolver:
#   pid: 5521,5552
#   total CPU time (s): 2534.09
#   total CPU user time (s): 2510.45
#   total CPU system time (s): 23.6431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.0311 second user time and 31.1791 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-24 17:42:48
IDJOB=4405404
IDBENCH=133235
IDSOLVER=2867
FILE ID=node116/4405404-1569339809
RUNJOBID= node116-1569335937-4697
PBS_JOBID= 21705067
Free space on /tmp= 6528 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-13-sum.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405404-1569339809/watcher-4405404-1569339809 -o /tmp/evaluation-result-4405404-1569339809/solver-4405404-1569339809 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569335937-4697 --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-4405404-1569339809.xml

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

MD5SUM BENCH= 507ff1916128830fd6a67d5c849b681a
RANDOM SEED=1435980845

node116.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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        25329700 kB
MemAvailable:   31841040 kB
Buffers:           96572 kB
Cached:          6579068 kB
SwapCached:         3384 kB
Active:          3312680 kB
Inactive:        3368700 kB
Active(anon):       8056 kB
Inactive(anon):    54044 kB
Active(file):    3304624 kB
Inactive(file):  3314656 kB
Unevictable:      109496 kB
Mlocked:          109496 kB
SwapTotal:      67108860 kB
SwapFree:       67001276 kB
Dirty:             20800 kB
Writeback:             0 kB
AnonPages:        120928 kB
Mapped:            57088 kB
Shmem:             47772 kB
Slab:             349232 kB
SReclaimable:     320520 kB
SUnreclaim:        28712 kB
KernelStack:        3760 kB
PageTables:         6192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     514468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6532 MiB
End job on node116 at 2019-09-24 18:24:48