Trace number 4405687

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 hybrid+ManyGlucose (2019-09-22)? (TO) 2590.09 2520.82

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K13-P08.xml
MD5SUMf6de09233a74707b341bbe4fbe6d65e2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1547
Number of constraints717
Number of domains2
Minimum domain size715
Maximum domain size716
Distribution of domain sizes[{"size":715,"count":715},{"size":716,"count":104}]
Minimum variable degree0
Maximum variable degree15
Distribution of variable degrees[{"degree":0,"count":728},{"degree":2,"count":715},{"degree":14,"count":26},{"degree":15,"count":78}]
Minimum constraint arity3
Maximum constraint arity715
Distribution of constraint arities[{"arity":3,"count":715},{"arity":104,"count":1},{"arity":715,"count":1}]
Number of extensional constraints0
Number of intensional constraints715
Distribution of constraint types[{"type":"intension","count":715},{"type":"allDifferent","count":2}]
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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22186-serial-file.bin HOME/instance-4405687-1569238634.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Mon Sep 23 13:36:33 CEST 2019
0.65/0.57	c PID: 22189
0.65/0.57	c IP: 172.20.3.145
0.65/0.57	c HOST: node145.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.66/1.30	c (0,0) Parsing End
2.66/1.32	c (0,0) CSP: 819 int (0 aux), 0 bool (0 aux), 717 ctr, max domain size 716
2.66/1.32	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.66/1.32	c (0,0) Constraint Name Generate Begin
2.66/1.33	c (0,0) Ctr:HOME/instance-4405687-1569238634.xml,AllDifferent:Dist:Eq:Var
2.66/1.33	c (0,0) Constraint Name Generate End
2.66/1.33	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.66/1.33	c (0,0) CSP to CSPinCNF Begin
3.30/1.54	c (0,0) translated 72 (10%) constraints
3.30/1.59	c (1,1) translated 144 (20%) constraints
3.56/1.63	c (1,1) translated 216 (30%) constraints
3.56/1.66	c (1,1) translated 287 (40%) constraints
3.56/1.69	c (1,1) translated 359 (50%) constraints
3.94/1.71	c (1,1) translated 431 (60%) constraints
3.94/1.73	c (1,1) translated 502 (70%) constraints
3.94/1.75	c (1,1) translated 574 (80%) constraints
3.94/1.77	c (1,1) translated 646 (90%) constraints
4.73/1.97	c (1,1) translated 717 (100%) constraints
19.11/14.01	c (13,13) ===========================================
19.67/14.32	c (13,13) Hybrid: #OE=0, #LE=819
19.67/14.32	c (13,13) Hybrid
19.67/14.32	c (13,13) ===========================================
21.22/15.17	c (14,14) translated 26348 (10%) constraints
22.08/15.93	c (15,15) translated 52696 (20%) constraints
22.79/16.68	c (16,16) translated 79043 (30%) constraints
25.75/17.68	c (17,16) translated 105391 (40%) constraints
26.45/18.37	c (17,17) translated 131738 (50%) constraints
27.16/19.06	c (18,18) translated 158086 (60%) constraints
27.85/19.75	c (19,18) translated 184434 (70%) constraints
28.55/20.43	c (19,19) translated 210781 (80%) constraints
29.26/21.12	c (20,20) translated 237129 (90%) constraints
65.90/45.87	c (45,43) translated 263476 (100%) constraints
66.00/45.90	c (45,43) CSP to CSPinCNF End
66.11/46.05	c (45,43) CSP: 819 int (0 aux), 511225 bool (511225 aux), 1285926 ctr, max domain size 716
66.11/46.05	c (45,43) Heap : 2790 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
66.11/46.05	c (45,43) CSPinCNF Propagation Begin
145.17/99.59	c (99,93) 0 values, 0 unsatisfiable literals, and 1431 valid clauses are removed
145.17/99.59	c (99,93) CSPinCNF Propagation End
145.37/99.75	c (99,93) CSP: 819 int (0 aux), 511225 bool (511225 aux), 1284495 ctr, max domain size 716
145.37/99.75	c (99,93) Heap : 5772 MiB used (max 21034 MiB), NonHeap : 31 MiB used (max 0 MiB)
148.07/100.62	c (100,94) Hybrid: #OE=511225, #LE=819
148.07/100.62	c (100,94) Simplify CSPinCNF Begin
163.21/111.14	c (110,104) Simplify CSPinCNF End
163.50/111.43	c (110,104) CSP: 819 int (0 aux), 1035515 bool (1035515 aux), 1808785 ctr, max domain size 716
163.50/111.43	c (110,104) Heap : 3651 MiB used (max 21169 MiB), NonHeap : 29 MiB used (max 0 MiB)
163.50/111.43	c (110,104) Calculate Precise Domain Begin
163.50/111.43	c (110,104) 0 values are removed by re-calculation
163.50/111.43	c (110,104) Calculate Precise Domain End
163.80/111.75	c (111,104) CSP: 819 int (0 aux), 1035515 bool (1035515 aux), 1808785 ctr, max domain size 716
163.80/111.75	c (111,104) Heap : 3651 MiB used (max 21169 MiB), NonHeap : 29 MiB used (max 0 MiB)
163.80/111.75	c (111,104) CSPinCNF to SatSolver Begin
201.59/138.26	c (137,129) 180879 (10 %) CSP clauses are encoded (0 SAT variables, 8686419 SAT clauses)
224.09/160.61	c (160,151) 361757 (20 %) CSP clauses are encoded (0 SAT variables, 16946492 SAT clauses)
246.39/183.02	c (182,173) 542636 (30 %) CSP clauses are encoded (0 SAT variables, 25206633 SAT clauses)
268.63/205.35	c (204,194) 723514 (40 %) CSP clauses are encoded (0 SAT variables, 33466706 SAT clauses)
284.57/221.27	c (220,209) 904393 (50 %) CSP clauses are encoded (0 SAT variables, 38451878 SAT clauses)
297.26/233.45	c (232,221) 1085271 (60 %) CSP clauses are encoded (0 SAT variables, 41706042 SAT clauses)
309.58/245.38	c (244,233) 1266150 (70 %) CSP clauses are encoded (0 SAT variables, 44961993 SAT clauses)
322.02/257.54	c (256,245) 1447028 (80 %) CSP clauses are encoded (0 SAT variables, 48216583 SAT clauses)
334.79/269.45	c (268,257) 1627907 (90 %) CSP clauses are encoded (0 SAT variables, 51468316 SAT clauses)
347.23/281.40	c (280,269) 1808785 (100 %) CSP clauses are encoded (0 SAT variables, 54722693 SAT clauses)
347.23/281.40	c (280,269) CSPinCNF to SatSolver End
347.23/281.40	c (280,269) Heap : 6184 MiB used (max 21979 MiB), NonHeap : 31 MiB used (max 0 MiB)
347.23/281.40	c (280,269) 25602200 bool, 54722711 clause
347.23/281.40	c (280,269) Export Begin
348.00/281.89	c (281,269) Export to HOME/scop-22186-serial-file.bin
348.00/281.89	c (281,269) Export End
348.29/282.03	c (281,269) Export File Size: 1.42 MB
348.29/282.03	c (281,269) 0,0,45,99,110,111,280,STOP-AFTER(DIMACS)
348.29/282.03	c END-Prog: Mon Sep 23 13:41:14 CEST 2019
348.29/282.03	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22186-serial-file.bin
348.81/282.44	c (0,0) Read Serial File Begin
348.81/282.44	c (0,0) HOME/scop-22186-serial-file.bin
349.97/283.02	c (0,0) Read Serial File End
349.97/283.03	
349.97/283.03	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
349.97/283.03	(Solving Process)
349.97/283.03	
349.97/283.05	c BEGIN-Prog: Mon Sep 23 13:41:15 CEST 2019
349.97/283.05	c PID: 22233
349.97/283.05	c IP: 172.20.3.145
349.97/283.05	c HOST: node145.alineos.net
349.97/283.06	c (0,0) SatSolver.solve Begin
349.97/283.06	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405687-1569238634.xml-scop-22189.cnf
349.97/283.09	c (0,0) c
349.97/283.09	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)
349.97/283.09	c (0,0) c
349.97/283.09	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
349.97/283.09	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
349.97/283.09	c (0,0) c ========================================[ Problem Statistics ]===========================================
349.97/283.09	c (0,0) c |                                                                                                       |
379.78/312.59	c (30,0) c |  Number of variables:      25602200                                                                   |
379.78/312.59	c (30,0) c |  Number of clauses:        54720462                                                                   |
379.78/312.59	c (30,0) c |  Parse time:                  26.98 s                                                                 |
379.78/312.59	c (30,0) c |                                                                                                       |
386.68/319.49	c (37,0) c | Too many clauses... No preprocessing                                                                  |
386.68/319.49	c (37,0) c |  Simplification time:          6.12 s                                                                 |
386.68/319.49	c (37,0) c |                                                                                                       |
386.68/319.49	c (37,0) c |  One Solver is taking   8852.14Mb... Let's take   1 solvers for this run (max 40% of the maxmemory).  |
386.68/319.49	c (37,0) c |  Generating clones                                                                                    |
386.68/319.49	c (37,0) c |  all clones generated. Memory =  8852.14Mb.                                                           |
386.68/319.49	c (37,0) c ========================================================================================================|
386.68/319.49	c (37,0) c
386.68/319.49	c (37,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
386.68/319.49	c (37,0) c
386.68/319.49	c (37,0) c |-----------------------|------------|
386.68/319.49	c (37,0) c | Threads               |          0 |
386.68/319.49	c (37,0) c |-----------------------|------------|
386.68/319.49	c (37,0) c | randomizeFirstDescent |      False |
386.68/319.49	c (37,0) c | adaptStrategeis       |       True |
386.68/319.49	c (37,0) c | forceUnsatOnNewDescent|       True |
386.68/319.49	c (37,0) c | Initial random_seed   |   91648253 |
386.68/319.49	c (37,0) c | chanseokStrategy      |      False |
386.68/319.49	c (37,0) c | coLBDBound            |          5 |
386.68/319.49	c (37,0) c | glureduce             |       True |
386.68/319.49	c (37,0) c | firstReduceDB         |       2000 |
386.68/319.49	c (37,0) c | incReduceDB           |        300 |
386.68/319.49	c (37,0) c | luby_restart          |      False |
386.68/319.49	c (37,0) c | luby_restart_factor   |        100 |
386.68/319.49	c (37,0) c | var_decay             |     0.8000 |
386.68/319.49	c (37,0) c | max_var_decay         |     0.9500 |
386.68/319.49	c (37,0) c | randomize_on_restarts |      False |
386.68/319.49	c (37,0) c | remove_satisfied      |       True |
386.68/319.49	c (37,0) c |-----------------------|------------|
416.51/349.29	c (66,0) c
416.51/349.29	c (66,0) c |------------------------------------------------------------------------------------------------------------------------|
416.51/349.29	c (66,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
416.51/349.29	c (66,0) c |------------------------------------------------------------------------------------------------------------------------|
416.51/349.29	c (66,0) c |  0 |      2 |   15078383 |        322 |    10247 |      322 |       19 |        0 |        0 |       50 |  20 |  0.009 |
416.51/349.29	c (66,0) c 
416.51/349.29	c (66,0) c synthesis         322 conflicts    89112502 propagations        6 conflicts/sec  1542744 propagations/sec
416.51/349.29	c (66,0) c real: 66.2066 s, cpu: 57.7624 s, memory: 9496.98 Mb
446.53/379.29	c (96,0) c
446.53/379.29	c (96,0) c |------------------------------------------------------------------------------------------------------------------------|
446.53/379.29	c (96,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
446.53/379.29	c (96,0) c |------------------------------------------------------------------------------------------------------------------------|
446.53/379.29	c (96,0) c |  0 |     21 |   15292566 |       1821 |    50724 |     1821 |       56 |        0 |        0 |       97 |  20 |  0.009 |
446.53/379.29	c (96,0) c 
446.53/379.29	c (96,0) c synthesis        1821 conflicts   209380845 propagations       21 conflicts/sec  2419614 propagations/sec
446.53/379.29	c (96,0) c real: 96.2066 s, cpu: 86.5348 s, memory: 9560.98 Mb
475.55/408.29	c (125,0) c
475.55/408.29	c (125,0) c |------------------------------------------------------------------------------------------------------------------------|
475.55/408.29	c (125,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
475.55/408.29	c (125,0) c |------------------------------------------------------------------------------------------------------------------------|
475.55/408.29	c (125,0) c |  0 |     37 |   15352543 |       4787 |    83096 |     3787 |      131 |        0 |        0 |      143 |  20 |  0.009 |
475.55/408.29	c (125,0) c 
475.55/408.29	c (125,0) c synthesis        4787 conflicts   327159114 propagations       42 conflicts/sec  2842858 propagations/sec
475.55/408.29	c (125,0) c real: 125.207 s, cpu: 115.081 s, memory: 9560.98 Mb
504.59/437.30	c (154,0) c
504.59/437.30	c (154,0) c |------------------------------------------------------------------------------------------------------------------------|
504.59/437.30	c (154,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
504.59/437.30	c (154,0) c |------------------------------------------------------------------------------------------------------------------------|
504.59/437.30	c (154,0) c |  0 |     52 |   19104538 |       6425 |   110212 |     5426 |      429 |        0 |        0 |      189 |  20 |  0.009 |
504.59/437.30	c (154,0) c 
504.59/437.30	c (154,0) c synthesis        6425 conflicts   439994538 propagations       45 conflicts/sec  3068835 propagations/sec
504.59/437.30	c (154,0) c real: 154.207 s, cpu: 143.375 s, memory: 9624.98 Mb
534.62/467.29	c (184,0) c
534.62/467.29	c (184,0) c |------------------------------------------------------------------------------------------------------------------------|
534.62/467.29	c (184,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
534.62/467.29	c (184,0) c |------------------------------------------------------------------------------------------------------------------------|
534.62/467.29	c (184,0) c |  0 |     70 |   19190773 |       8791 |   141000 |     5005 |      834 |        0 |        0 |      237 |  20 |  0.009 |
534.62/467.29	c (184,0) c 
534.62/467.29	c (184,0) c synthesis        8791 conflicts   563744730 propagations       51 conflicts/sec  3256978 propagations/sec
534.62/467.29	c (184,0) c real: 184.207 s, cpu: 173.088 s, memory: 9624.98 Mb
564.63/497.30	c (214,0) c
564.63/497.30	c (214,0) c |------------------------------------------------------------------------------------------------------------------------|
564.63/497.30	c (214,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
564.63/497.30	c (214,0) c |------------------------------------------------------------------------------------------------------------------------|
564.63/497.30	c (214,0) c |  0 |     92 |   19271969 |      11721 |   176772 |     7935 |     1270 |        0 |        0 |      285 |  20 |  0.009 |
564.63/497.30	c (214,0) c 
564.63/497.30	c (214,0) c synthesis       11721 conflicts   682005793 propagations       58 conflicts/sec  3362888 propagations/sec
564.63/497.30	c (214,0) c real: 214.207 s, cpu: 202.804 s, memory: 9624.98 Mb
594.66/527.30	c (244,0) c
594.66/527.30	c (244,0) c |------------------------------------------------------------------------------------------------------------------------|
594.66/527.30	c (244,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
594.66/527.30	c (244,0) c |------------------------------------------------------------------------------------------------------------------------|
594.66/527.30	c (244,0) c |  0 |    103 |   19334524 |      13961 |   205260 |     5195 |     1644 |        0 |        0 |      333 |  20 |  0.009 |
594.66/527.30	c (244,0) c 
594.66/527.30	c (244,0) c synthesis       13961 conflicts   796112079 propagations       60 conflicts/sec  3422453 propagations/sec
594.66/527.30	c (244,0) c real: 244.207 s, cpu: 232.614 s, memory: 9624.98 Mb
624.68/557.29	c (274,0) c
624.68/557.29	c (274,0) c |------------------------------------------------------------------------------------------------------------------------|
624.68/557.30	c (274,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
624.68/557.30	c (274,0) c |------------------------------------------------------------------------------------------------------------------------|
624.68/557.30	c (274,0) c |  0 |    113 |   19424977 |      18241 |   234817 |     9475 |     2688 |        0 |        0 |      381 |  20 |  0.009 |
624.68/557.30	c (274,0) c 
624.68/557.30	c (274,0) c synthesis       18241 conflicts   906862827 propagations       70 conflicts/sec  3458107 propagations/sec
624.68/557.30	c (274,0) c real: 274.207 s, cpu: 262.243 s, memory: 9624.98 Mb
654.71/587.30	c (304,0) c
654.71/587.30	c (304,0) c |------------------------------------------------------------------------------------------------------------------------|
654.71/587.30	c (304,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
654.71/587.30	c (304,0) c |------------------------------------------------------------------------------------------------------------------------|
654.71/587.30	c (304,0) c |  0 |    127 |   19496291 |      20633 |   264423 |    11867 |     3063 |        0 |        0 |      429 |  20 |  0.009 |
654.71/587.30	c (304,0) c 
654.71/587.30	c (304,0) c synthesis       20633 conflicts  1021404308 propagations       71 conflicts/sec  3497545 propagations/sec
654.71/587.30	c (304,0) c real: 304.207 s, cpu: 292.035 s, memory: 9624.98 Mb
684.75/617.29	c (334,0) c
684.75/617.29	c (334,0) c |------------------------------------------------------------------------------------------------------------------------|
684.75/617.29	c (334,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
684.75/617.29	c (334,0) c |------------------------------------------------------------------------------------------------------------------------|
684.75/617.29	c (334,0) c |  0 |    142 |   19562100 |      23120 |   293227 |    14354 |     3528 |        0 |        0 |      477 |  20 |  0.009 |
684.75/617.29	c (334,0) c 
684.75/617.29	c (334,0) c synthesis       23120 conflicts  1138490981 propagations       72 conflicts/sec  3537814 propagations/sec
684.75/617.29	c (334,0) c real: 334.207 s, cpu: 321.806 s, memory: 9624.98 Mb
714.78/647.30	c (364,0) c
714.78/647.30	c (364,0) c |------------------------------------------------------------------------------------------------------------------------|
714.78/647.30	c (364,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
714.78/647.30	c (364,0) c |------------------------------------------------------------------------------------------------------------------------|
714.78/647.30	c (364,0) c |  0 |    154 |   19635244 |      24933 |   325539 |     8757 |     3843 |        0 |        0 |      526 |  20 |  0.009 |
714.78/647.30	c (364,0) c 
714.78/647.30	c (364,0) c synthesis       24933 conflicts  1246628687 propagations       71 conflicts/sec  3545314 propagations/sec
714.78/647.30	c (364,0) c real: 364.207 s, cpu: 351.627 s, memory: 9624.98 Mb
744.80/677.29	c (394,0) c
744.80/677.29	c (394,0) c |------------------------------------------------------------------------------------------------------------------------|
744.80/677.29	c (394,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
744.80/677.29	c (394,0) c |------------------------------------------------------------------------------------------------------------------------|
744.80/677.29	c (394,0) c |  0 |    173 |   19710670 |      27153 |   351975 |    10977 |     4154 |        0 |        0 |      574 |  20 |  0.009 |
744.80/677.29	c (394,0) c 
744.80/677.29	c (394,0) c synthesis       27153 conflicts  1362110250 propagations       71 conflicts/sec  3571527 propagations/sec
744.80/677.29	c (394,0) c real: 394.207 s, cpu: 381.38 s, memory: 9624.98 Mb
774.83/707.29	c (424,0) c
774.83/707.29	c (424,0) c |------------------------------------------------------------------------------------------------------------------------|
774.83/707.29	c (424,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
774.83/707.29	c (424,0) c |------------------------------------------------------------------------------------------------------------------------|
774.83/707.29	c (424,0) c |  0 |    186 |   19804353 |      29408 |   379695 |    13232 |     4593 |        0 |        0 |      622 |  20 |  0.009 |
774.83/707.29	c (424,0) c 
774.83/707.29	c (424,0) c synthesis       29408 conflicts  1476176644 propagations       72 conflicts/sec  3590037 propagations/sec
774.83/707.29	c (424,0) c real: 424.207 s, cpu: 411.187 s, memory: 9624.98 Mb
804.86/737.29	c (454,0) c
804.86/737.29	c (454,0) c |------------------------------------------------------------------------------------------------------------------------|
804.86/737.29	c (454,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
804.86/737.29	c (454,0) c |------------------------------------------------------------------------------------------------------------------------|
804.86/737.29	c (454,0) c |  0 |    197 |   19862378 |      31608 |   406225 |    15431 |     4941 |        0 |        0 |      671 |  20 |  0.009 |
804.86/737.29	c (454,0) c 
804.86/737.29	c (454,0) c synthesis       31608 conflicts  1590021345 propagations       72 conflicts/sec  3606170 propagations/sec
804.86/737.29	c (454,0) c real: 454.207 s, cpu: 440.917 s, memory: 9624.98 Mb
834.87/767.29	c (484,0) c
834.87/767.29	c (484,0) c |------------------------------------------------------------------------------------------------------------------------|
834.87/767.29	c (484,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
834.87/767.29	c (484,0) c |------------------------------------------------------------------------------------------------------------------------|
834.87/767.29	c (484,0) c |  0 |    209 |   19940235 |      36414 |   430026 |    10374 |     5946 |        0 |        0 |      721 |  20 |  0.009 |
834.87/767.29	c (484,0) c 
834.87/767.29	c (484,0) c synthesis       36414 conflicts  1700641796 propagations       77 conflicts/sec  3612694 propagations/sec
834.87/767.29	c (484,0) c real: 484.207 s, cpu: 470.741 s, memory: 9624.98 Mb
864.91/797.29	c (514,0) c
864.91/797.29	c (514,0) c |------------------------------------------------------------------------------------------------------------------------|
864.91/797.29	c (514,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
864.91/797.29	c (514,0) c |------------------------------------------------------------------------------------------------------------------------|
864.91/797.29	c (514,0) c |  0 |    218 |   20025397 |      39117 |   448146 |    13077 |     6310 |        0 |        0 |      769 |  20 |  0.009 |
864.91/797.29	c (514,0) c 
864.91/797.29	c (514,0) c synthesis       39117 conflicts  1817619782 propagations       78 conflicts/sec  3631860 propagations/sec
864.91/797.30	c (514,0) c real: 514.207 s, cpu: 500.465 s, memory: 9624.98 Mb
894.94/827.29	c (544,0) c
894.94/827.29	c (544,0) c |------------------------------------------------------------------------------------------------------------------------|
894.94/827.30	c (544,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
894.94/827.30	c (544,0) c |------------------------------------------------------------------------------------------------------------------------|
894.94/827.30	c (544,0) c |  0 |    230 |   20091845 |      41388 |   472234 |    15348 |     6573 |        0 |        0 |      817 |  20 |  0.009 |
894.94/827.30	c (544,0) c 
894.94/827.30	c (544,0) c synthesis       41388 conflicts  1931696329 propagations       78 conflicts/sec  3642680 propagations/sec
894.94/827.30	c (544,0) c real: 544.207 s, cpu: 530.295 s, memory: 9624.98 Mb
924.95/857.29	c (574,0) c
924.95/857.29	c (574,0) c |------------------------------------------------------------------------------------------------------------------------|
924.95/857.29	c (574,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
924.95/857.29	c (574,0) c |------------------------------------------------------------------------------------------------------------------------|
924.95/857.29	c (574,0) c |  0 |    242 |   20162682 |      43689 |   493645 |    17649 |     6879 |        0 |        0 |      864 |  20 |  0.009 |
924.95/857.29	c (574,0) c 
924.95/857.29	c (574,0) c synthesis       43689 conflicts  2044237596 propagations       78 conflicts/sec  3650161 propagations/sec
924.95/857.29	c (574,0) c real: 574.207 s, cpu: 560.04 s, memory: 9624.98 Mb
953.99/886.29	c (603,0) c
953.99/886.29	c (603,0) c |------------------------------------------------------------------------------------------------------------------------|
953.99/886.29	c (603,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
953.99/886.29	c (603,0) c |------------------------------------------------------------------------------------------------------------------------|
953.99/886.29	c (603,0) c |  0 |    250 |   20219990 |      45553 |   514773 |    19513 |     7161 |        0 |        0 |      911 |  20 |  0.009 |
953.99/886.29	c (603,0) c 
953.99/886.29	c (603,0) c synthesis       45553 conflicts  2153506797 propagations       77 conflicts/sec  3656774 propagations/sec
953.99/886.29	c (603,0) c real: 603.207 s, cpu: 588.909 s, memory: 9624.98 Mb
984.02/916.29	c (633,0) c
984.12/916.31	c (633,0) c |------------------------------------------------------------------------------------------------------------------------|
984.12/916.31	c (633,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
984.12/916.31	c (633,0) c |------------------------------------------------------------------------------------------------------------------------|
984.12/916.31	c (633,0) c |  0 |    260 |   20270251 |      47222 |   532781 |    21182 |     7373 |        0 |        0 |      959 |  20 |  0.009 |
984.12/916.31	c (633,0) c 
984.12/916.31	c (633,0) c synthesis       47222 conflicts  2267806624 propagations       76 conflicts/sec  3665547 propagations/sec
984.12/916.31	c (633,0) c real: 633.207 s, cpu: 618.682 s, memory: 9624.98 Mb
1014.05/946.29	c (663,0) c
1014.05/946.29	c (663,0) c |------------------------------------------------------------------------------------------------------------------------|
1014.05/946.29	c (663,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1014.05/946.29	c (663,0) c |------------------------------------------------------------------------------------------------------------------------|
1014.05/946.29	c (663,0) c |  0 |    276 |   20317675 |      49255 |   552030 |    23215 |     7636 |        0 |        0 |     1007 |  20 |  0.009 |
1014.05/946.29	c (663,0) c 
1014.05/946.29	c (663,0) c synthesis       49255 conflicts  2375475175 propagations       76 conflicts/sec  3662811 propagations/sec
1014.05/946.29	c (663,0) c real: 663.207 s, cpu: 648.539 s, memory: 9624.98 Mb
1044.07/976.29	c (693,0) c
1044.07/976.29	c (693,0) c |------------------------------------------------------------------------------------------------------------------------|
1044.07/976.29	c (693,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1044.07/976.29	c (693,0) c |------------------------------------------------------------------------------------------------------------------------|
1044.07/976.29	c (693,0) c |  0 |    289 |   20388801 |      51287 |   575568 |    12791 |     7890 |        0 |        0 |     1056 |  20 |  0.009 |
1044.07/976.29	c (693,0) c 
1044.07/976.29	c (693,0) c synthesis       51287 conflicts  2488858334 propagations       76 conflicts/sec  3669164 propagations/sec
1044.07/976.29	c (693,0) c real: 693.207 s, cpu: 678.318 s, memory: 9624.98 Mb
1074.10/1006.29	c (723,0) c
1074.10/1006.29	c (723,0) c |------------------------------------------------------------------------------------------------------------------------|
1074.10/1006.29	c (723,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1074.10/1006.29	c (723,0) c |------------------------------------------------------------------------------------------------------------------------|
1074.10/1006.29	c (723,0) c |  0 |    300 |   20438713 |      52998 |   596302 |    14502 |     8109 |        0 |        0 |     1105 |  20 |  0.009 |
1074.10/1006.29	c (723,0) c 
1074.10/1006.29	c (723,0) c synthesis       52998 conflicts  2602042402 propagations       75 conflicts/sec  3674354 propagations/sec
1074.10/1006.29	c (723,0) c real: 723.207 s, cpu: 708.163 s, memory: 9624.98 Mb
1103.12/1035.29	c (752,0) c
1103.12/1035.29	c (752,0) c |------------------------------------------------------------------------------------------------------------------------|
1103.12/1035.29	c (752,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1103.12/1035.29	c (752,0) c |------------------------------------------------------------------------------------------------------------------------|
1103.12/1035.29	c (752,0) c |  0 |    309 |   20500825 |      54106 |   620844 |    15610 |     8205 |        0 |        0 |     1150 |  20 |  0.009 |
1103.12/1035.29	c (752,0) c 
1103.12/1035.29	c (752,0) c synthesis       54106 conflicts  2705574842 propagations       73 conflicts/sec  3671266 propagations/sec
1103.12/1035.29	c (752,0) c real: 752.207 s, cpu: 736.96 s, memory: 9624.98 Mb
1133.15/1065.29	c (782,0) c
1133.15/1065.29	c (782,0) c |------------------------------------------------------------------------------------------------------------------------|
1133.15/1065.29	c (782,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1133.15/1065.29	c (782,0) c |------------------------------------------------------------------------------------------------------------------------|
1133.15/1065.29	c (782,0) c |  0 |    319 |   20679765 |      56841 |   653070 |    18345 |     8569 |        0 |        0 |     1198 |  20 |  0.009 |
1133.15/1065.29	c (782,0) c 
1133.15/1065.29	c (782,0) c synthesis       56841 conflicts  2809693676 propagations       74 conflicts/sec  3665146 propagations/sec
1133.15/1065.29	c (782,0) c real: 782.207 s, cpu: 766.598 s, memory: 9688.98 Mb
1162.17/1094.29	c (811,0) c
1162.17/1094.29	c (811,0) c |------------------------------------------------------------------------------------------------------------------------|
1162.17/1094.29	c (811,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1162.17/1094.29	c (811,0) c |------------------------------------------------------------------------------------------------------------------------|
1162.17/1094.29	c (811,0) c |  0 |    331 |   20757883 |      58307 |   681334 |    19811 |     8725 |        0 |        0 |     1245 |  20 |  0.009 |
1162.17/1094.29	c (811,0) c 
1162.17/1094.29	c (811,0) c synthesis       58307 conflicts  2916608053 propagations       73 conflicts/sec  3666731 propagations/sec
1162.17/1094.29	c (811,0) c real: 811.207 s, cpu: 795.425 s, memory: 9688.98 Mb
1192.19/1124.29	c (841,0) c
1192.19/1124.29	c (841,0) c |------------------------------------------------------------------------------------------------------------------------|
1192.19/1124.29	c (841,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1192.19/1124.29	c (841,0) c |------------------------------------------------------------------------------------------------------------------------|
1192.19/1124.29	c (841,0) c |  0 |    341 |   20837954 |      60518 |   708665 |    22022 |     9003 |        0 |        0 |     1292 |  20 |  0.009 |
1192.19/1124.29	c (841,0) c 
1192.19/1124.29	c (841,0) c synthesis       60518 conflicts  3022598804 propagations       73 conflicts/sec  3663067 propagations/sec
1192.19/1124.29	c (841,0) c real: 841.207 s, cpu: 825.155 s, memory: 9688.98 Mb
1222.22/1154.29	c (871,0) c
1222.22/1154.29	c (871,0) c |------------------------------------------------------------------------------------------------------------------------|
1222.22/1154.29	c (871,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1222.22/1154.29	c (871,0) c |------------------------------------------------------------------------------------------------------------------------|
1222.22/1154.29	c (871,0) c |  0 |    354 |   20896206 |      62638 |   732823 |    24141 |     9225 |        0 |        0 |     1341 |  20 |  0.009 |
1222.22/1154.29	c (871,0) c 
1222.22/1154.29	c (871,0) c synthesis       62638 conflicts  3134410243 propagations       73 conflicts/sec  3666130 propagations/sec
1222.22/1154.29	c (871,0) c real: 871.207 s, cpu: 854.964 s, memory: 9688.98 Mb
1252.24/1184.29	c (901,0) c
1252.24/1184.29	c (901,0) c |------------------------------------------------------------------------------------------------------------------------|
1252.24/1184.29	c (901,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1252.24/1184.29	c (901,0) c |------------------------------------------------------------------------------------------------------------------------|
1252.24/1184.29	c (901,0) c |  0 |    365 |   20961517 |      64523 |   753977 |    26027 |     9439 |        0 |        0 |     1389 |  20 |  0.009 |
1252.24/1184.29	c (901,0) c 
1252.24/1184.29	c (901,0) c synthesis       64523 conflicts  3245183006 propagations       73 conflicts/sec  3667931 propagations/sec
1252.24/1184.29	c (901,0) c real: 901.207 s, cpu: 884.745 s, memory: 9688.98 Mb
1282.27/1214.29	c (931,0) c
1282.27/1214.29	c (931,0) c |------------------------------------------------------------------------------------------------------------------------|
1282.27/1214.29	c (931,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1282.27/1214.29	c (931,0) c |------------------------------------------------------------------------------------------------------------------------|
1282.27/1214.29	c (931,0) c |  0 |    381 |   21020474 |      66149 |   773052 |    27653 |     9626 |        0 |        0 |     1437 |  20 |  0.009 |
1282.27/1214.29	c (931,0) c 
1282.27/1214.30	c (931,0) c synthesis       66149 conflicts  3362418619 propagations       72 conflicts/sec  3676436 propagations/sec
1282.27/1214.30	c (931,0) c real: 931.207 s, cpu: 914.586 s, memory: 9688.98 Mb
1312.30/1244.29	c (961,0) c
1312.30/1244.29	c (961,0) c |------------------------------------------------------------------------------------------------------------------------|
1312.30/1244.29	c (961,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1312.30/1244.29	c (961,0) c |------------------------------------------------------------------------------------------------------------------------|
1312.30/1244.29	c (961,0) c |  0 |    388 |   21100783 |      67563 |   798765 |    29067 |     9771 |        0 |        0 |     1484 |  20 |  0.009 |
1312.30/1244.29	c (961,0) c 
1312.30/1244.29	c (961,0) c synthesis       67563 conflicts  3468338207 propagations       72 conflicts/sec  3672883 propagations/sec
1312.30/1244.29	c (961,0) c real: 961.207 s, cpu: 944.309 s, memory: 9688.98 Mb
1341.33/1273.29	c (990,0) c
1341.33/1273.29	c (990,0) c |------------------------------------------------------------------------------------------------------------------------|
1341.33/1273.29	c (990,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1341.33/1273.29	c (990,0) c |------------------------------------------------------------------------------------------------------------------------|
1341.33/1273.29	c (990,0) c |  0 |    401 |   21143192 |      69672 |   814977 |    16127 |     9993 |        0 |        0 |     1531 |  20 |  0.009 |
1341.33/1273.29	c (990,0) c 
1341.33/1273.29	c (990,0) c synthesis       69672 conflicts  3581357565 propagations       72 conflicts/sec  3680062 propagations/sec
1341.33/1273.29	c (990,0) c real: 990.207 s, cpu: 973.179 s, memory: 9688.98 Mb
1370.35/1302.30	c (1019,0) c
1370.35/1302.30	c (1019,0) c |------------------------------------------------------------------------------------------------------------------------|
1370.35/1302.30	c (1019,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1370.35/1302.30	c (1019,0) c |------------------------------------------------------------------------------------------------------------------------|
1370.35/1302.30	c (1019,0) c |  0 |    410 |   21195791 |      71506 |   830626 |    17960 |    10215 |        0 |        0 |     1577 |  20 |  0.009 |
1370.35/1302.30	c (1019,0) c 
1370.35/1302.30	c (1019,0) c synthesis       71506 conflicts  3684920294 propagations       71 conflicts/sec  3677730 propagations/sec
1370.35/1302.30	c (1019,0) c real: 1019.21 s, cpu: 1001.96 s, memory: 9688.98 Mb
1400.38/1332.30	c (1049,0) c
1400.38/1332.30	c (1049,0) c |------------------------------------------------------------------------------------------------------------------------|
1400.38/1332.30	c (1049,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1400.38/1332.30	c (1049,0) c |------------------------------------------------------------------------------------------------------------------------|
1400.38/1332.30	c (1049,0) c |  0 |    418 |   21243158 |      73669 |   851587 |    20124 |    10450 |        0 |        0 |     1625 |  20 |  0.009 |
1400.38/1332.30	c (1049,0) c 
1400.38/1332.30	c (1049,0) c synthesis       73669 conflicts  3790373773 propagations       71 conflicts/sec  3673469 propagations/sec
1400.38/1332.30	c (1049,0) c real: 1049.21 s, cpu: 1031.82 s, memory: 9688.98 Mb
1430.40/1362.29	c (1079,0) c
1430.40/1362.29	c (1079,0) c |------------------------------------------------------------------------------------------------------------------------|
1430.40/1362.29	c (1079,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1430.40/1362.29	c (1079,0) c |------------------------------------------------------------------------------------------------------------------------|
1430.40/1362.29	c (1079,0) c |  0 |    431 |   21353730 |      75130 |   873305 |    21585 |    10569 |        0 |        0 |     1672 |  20 |  0.009 |
1430.40/1362.29	c (1079,0) c 
1430.40/1362.29	c (1079,0) c synthesis       75130 conflicts  3895728187 propagations       71 conflicts/sec  3669896 propagations/sec
1430.40/1362.29	c (1079,0) c real: 1079.21 s, cpu: 1061.54 s, memory: 9688.98 Mb
1460.45/1392.29	c (1109,0) c
1460.45/1392.29	c (1109,0) c |------------------------------------------------------------------------------------------------------------------------|
1460.45/1392.29	c (1109,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1460.45/1392.29	c (1109,0) c |------------------------------------------------------------------------------------------------------------------------|
1460.45/1392.29	c (1109,0) c |  0 |    445 |   21415123 |      77546 |   892261 |    24001 |    10815 |        0 |        0 |     1720 |  20 |  0.009 |
1460.45/1392.29	c (1109,0) c 
1460.45/1392.29	c (1109,0) c synthesis       77546 conflicts  4009019639 propagations       71 conflicts/sec  3673495 propagations/sec
1460.45/1392.29	c (1109,0) c real: 1109.21 s, cpu: 1091.34 s, memory: 9688.98 Mb
1490.46/1422.29	c (1139,0) c
1490.46/1422.29	c (1139,0) c |------------------------------------------------------------------------------------------------------------------------|
1490.46/1422.29	c (1139,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1490.46/1422.29	c (1139,0) c |------------------------------------------------------------------------------------------------------------------------|
1490.46/1422.29	c (1139,0) c |  0 |    454 |   21466596 |      79683 |   908952 |    26138 |    11031 |        0 |        0 |     1769 |  20 |  0.009 |
1490.46/1422.29	c (1139,0) c 
1490.46/1422.29	c (1139,0) c synthesis       79683 conflicts  4118299799 propagations       71 conflicts/sec  3673350 propagations/sec
1490.46/1422.29	c (1139,0) c real: 1139.21 s, cpu: 1121.13 s, memory: 9688.98 Mb
1520.48/1452.29	c (1169,0) c
1520.48/1452.29	c (1169,0) c |------------------------------------------------------------------------------------------------------------------------|
1520.48/1452.29	c (1169,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1520.48/1452.29	c (1169,0) c |------------------------------------------------------------------------------------------------------------------------|
1520.48/1452.29	c (1169,0) c |  0 |    466 |   21509069 |      81392 |   925864 |    27847 |    11190 |        0 |        0 |     1817 |  20 |  0.009 |
1520.48/1452.29	c (1169,0) c 
1520.48/1452.29	c (1169,0) c synthesis       81392 conflicts  4233028172 propagations       71 conflicts/sec  3677719 propagations/sec
1520.48/1452.29	c (1169,0) c real: 1169.21 s, cpu: 1150.99 s, memory: 9688.98 Mb
1549.50/1481.29	c (1198,0) c
1549.50/1481.29	c (1198,0) c |------------------------------------------------------------------------------------------------------------------------|
1549.50/1481.29	c (1198,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1549.50/1481.29	c (1198,0) c |------------------------------------------------------------------------------------------------------------------------|
1549.50/1481.29	c (1198,0) c |  0 |    477 |   21566889 |      83404 |   946500 |    29859 |    11387 |        0 |        0 |     1864 |  20 |  0.009 |
1549.50/1481.29	c (1198,0) c 
1549.50/1481.29	c (1198,0) c synthesis       83404 conflicts  4338739113 propagations       71 conflicts/sec  3677610 propagations/sec
1549.50/1481.29	c (1198,0) c real: 1198.21 s, cpu: 1179.77 s, memory: 9688.98 Mb
1578.54/1510.29	c (1227,0) c
1578.54/1510.29	c (1227,0) c |------------------------------------------------------------------------------------------------------------------------|
1578.54/1510.29	c (1227,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1578.54/1510.29	c (1227,0) c |------------------------------------------------------------------------------------------------------------------------|
1578.54/1510.29	c (1227,0) c |  0 |    491 |   21641236 |      85173 |   961911 |    31627 |    11579 |        0 |        0 |     1909 |  20 |  0.009 |
1578.54/1510.29	c (1227,0) c 
1578.54/1510.29	c (1227,0) c synthesis       85173 conflicts  4444936343 propagations       70 conflicts/sec  3677822 propagations/sec
1578.54/1510.29	c (1227,0) c real: 1227.21 s, cpu: 1208.58 s, memory: 9688.98 Mb
1607.55/1539.29	c (1256,0) c
1607.55/1539.29	c (1256,0) c |------------------------------------------------------------------------------------------------------------------------|
1607.55/1539.29	c (1256,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1607.55/1539.29	c (1256,0) c |------------------------------------------------------------------------------------------------------------------------|
1607.55/1539.29	c (1256,0) c |  0 |    504 |   21693663 |      87003 |   982082 |    33458 |    11776 |        0 |        0 |     1956 |  20 |  0.009 |
1607.55/1539.29	c (1256,0) c 
1607.55/1539.29	c (1256,0) c synthesis       87003 conflicts  4547882240 propagations       70 conflicts/sec  3675467 propagations/sec
1607.55/1539.29	c (1256,0) c real: 1256.21 s, cpu: 1237.36 s, memory: 9688.98 Mb
1637.57/1569.29	c (1286,0) c
1637.57/1569.29	c (1286,0) c |------------------------------------------------------------------------------------------------------------------------|
1637.57/1569.29	c (1286,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1637.57/1569.29	c (1286,0) c |------------------------------------------------------------------------------------------------------------------------|
1637.57/1569.29	c (1286,0) c |  0 |    519 |   21741006 |      89652 |  1001891 |    18498 |    12006 |        0 |        0 |     2004 |  20 |  0.009 |
1637.57/1569.29	c (1286,0) c 
1637.57/1569.29	c (1286,0) c synthesis       89652 conflicts  4658213652 propagations       71 conflicts/sec  3676040 propagations/sec
1637.57/1569.29	c (1286,0) c real: 1286.21 s, cpu: 1267.18 s, memory: 9688.98 Mb
1666.61/1598.29	c (1315,0) c
1666.61/1598.30	c (1315,0) c |------------------------------------------------------------------------------------------------------------------------|
1666.61/1598.30	c (1315,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1666.61/1598.30	c (1315,0) c |------------------------------------------------------------------------------------------------------------------------|
1666.61/1598.30	c (1315,0) c |  0 |    531 |   21797259 |      92281 |  1020411 |    21128 |    12295 |        0 |        0 |     2050 |  20 |  0.009 |
1666.61/1598.30	c (1315,0) c 
1666.61/1598.30	c (1315,0) c synthesis       92281 conflicts  4762856571 propagations       71 conflicts/sec  3675054 propagations/sec
1666.61/1598.30	c (1315,0) c real: 1315.21 s, cpu: 1296 s, memory: 9688.98 Mb
1695.64/1627.29	c (1344,0) c
1695.64/1627.29	c (1344,0) c |------------------------------------------------------------------------------------------------------------------------|
1695.64/1627.29	c (1344,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1695.64/1627.29	c (1344,0) c |------------------------------------------------------------------------------------------------------------------------|
1695.64/1627.29	c (1344,0) c |  0 |    539 |   21950134 |      93529 |  1039637 |    22376 |    12406 |        0 |        0 |     2095 |  20 |  0.009 |
1695.64/1627.29	c (1344,0) c 
1695.64/1627.29	c (1344,0) c synthesis       93529 conflicts  4859748434 propagations       71 conflicts/sec  3668432 propagations/sec
1695.64/1627.29	c (1344,0) c real: 1344.21 s, cpu: 1324.75 s, memory: 9688.98 Mb
1724.65/1656.29	c (1373,0) c
1724.65/1656.29	c (1373,0) c |------------------------------------------------------------------------------------------------------------------------|
1724.65/1656.29	c (1373,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1724.65/1656.29	c (1373,0) c |------------------------------------------------------------------------------------------------------------------------|
1724.65/1656.29	c (1373,0) c |  0 |    549 |   21987728 |      95502 |  1053707 |    24349 |    12589 |        0 |        0 |     2142 |  20 |  0.009 |
1724.65/1656.29	c (1373,0) c 
1724.65/1656.29	c (1373,0) c synthesis       95502 conflicts  4965541379 propagations       71 conflicts/sec  3668337 propagations/sec
1724.65/1656.29	c (1373,0) c real: 1373.21 s, cpu: 1353.62 s, memory: 9688.98 Mb
1754.79/1686.30	c (1403,0) c
1754.79/1686.30	c (1403,0) c |------------------------------------------------------------------------------------------------------------------------|
1754.79/1686.30	c (1403,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1754.79/1686.30	c (1403,0) c |------------------------------------------------------------------------------------------------------------------------|
1754.79/1686.30	c (1403,0) c |  0 |    558 |   22038409 |      97292 |  1074484 |    26139 |    12749 |        0 |        0 |     2190 |  20 |  0.009 |
1754.79/1686.30	c (1403,0) c 
1754.79/1686.30	c (1403,0) c synthesis       97292 conflicts  5071303445 propagations       70 conflicts/sec  3665856 propagations/sec
1754.79/1686.30	c (1403,0) c real: 1403.21 s, cpu: 1383.39 s, memory: 9688.98 Mb
1783.71/1715.29	c (1432,0) c
1783.71/1715.29	c (1432,0) c |------------------------------------------------------------------------------------------------------------------------|
1783.71/1715.29	c (1432,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1783.71/1715.29	c (1432,0) c |------------------------------------------------------------------------------------------------------------------------|
1783.71/1715.29	c (1432,0) c |  0 |    571 |   22079971 |      98760 |  1089176 |    27607 |    12903 |        0 |        0 |     2237 |  20 |  0.009 |
1783.71/1715.29	c (1432,0) c 
1783.71/1715.29	c (1432,0) c synthesis       98760 conflicts  5176361657 propagations       70 conflicts/sec  3665401 propagations/sec
1783.71/1715.29	c (1432,0) c real: 1432.21 s, cpu: 1412.22 s, memory: 9688.98 Mb
1812.85/1744.30	c (1461,0) c
1812.85/1744.30	c (1461,0) c |------------------------------------------------------------------------------------------------------------------------|
1812.85/1744.30	c (1461,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1812.85/1744.30	c (1461,0) c |------------------------------------------------------------------------------------------------------------------------|
1812.85/1744.30	c (1461,0) c |  0 |    583 |   22145572 |     100520 |  1102244 |    29366 |    13083 |        0 |        0 |     2284 |  20 |  0.009 |
1812.85/1744.30	c (1461,0) c 
1812.85/1744.30	c (1461,0) c synthesis      100520 conflicts  5286631651 propagations       70 conflicts/sec  3668705 propagations/sec
1812.85/1744.30	c (1461,0) c real: 1461.21 s, cpu: 1441.01 s, memory: 9688.98 Mb
1842.78/1774.29	c (1491,0) c
1842.78/1774.29	c (1491,0) c |------------------------------------------------------------------------------------------------------------------------|
1842.78/1774.29	c (1491,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1842.78/1774.29	c (1491,0) c |------------------------------------------------------------------------------------------------------------------------|
1842.78/1774.29	c (1491,0) c |  0 |    594 |   22204296 |     102526 |  1118947 |    31372 |    13311 |        0 |        0 |     2333 |  20 |  0.009 |
1842.78/1774.29	c (1491,0) c 
1842.78/1774.29	c (1491,0) c synthesis      102526 conflicts  5397949283 propagations       70 conflicts/sec  3669990 propagations/sec
1842.78/1774.29	c (1491,0) c real: 1491.21 s, cpu: 1470.83 s, memory: 9688.98 Mb
1872.80/1804.29	c (1521,0) c
1872.80/1804.29	c (1521,0) c |------------------------------------------------------------------------------------------------------------------------|
1872.80/1804.29	c (1521,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1872.80/1804.29	c (1521,0) c |------------------------------------------------------------------------------------------------------------------------|
1872.80/1804.29	c (1521,0) c |  0 |    603 |   22279735 |     104476 |  1136874 |    33322 |    13605 |        0 |        0 |     2381 |  20 |  0.009 |
1872.80/1804.29	c (1521,0) c 
1872.80/1804.29	c (1521,0) c synthesis      104476 conflicts  5507315698 propagations       70 conflicts/sec  3670136 propagations/sec
1872.80/1804.29	c (1521,0) c real: 1521.21 s, cpu: 1500.58 s, memory: 9688.98 Mb
1901.82/1833.29	c (1550,0) c
1901.82/1833.29	c (1550,0) c |------------------------------------------------------------------------------------------------------------------------|
1901.82/1833.29	c (1550,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1901.82/1833.29	c (1550,0) c |------------------------------------------------------------------------------------------------------------------------|
1901.82/1833.29	c (1550,0) c |  0 |    613 |   22322604 |     105852 |  1151156 |    34698 |    13735 |        0 |        0 |     2428 |  20 |  0.009 |
1901.82/1833.29	c (1550,0) c 
1901.82/1833.29	c (1550,0) c synthesis      105852 conflicts  5613610788 propagations       69 conflicts/sec  3670317 propagations/sec
1901.82/1833.29	c (1550,0) c real: 1550.21 s, cpu: 1529.46 s, memory: 9688.98 Mb
1930.84/1862.29	c (1579,0) c
1930.84/1862.29	c (1579,0) c |------------------------------------------------------------------------------------------------------------------------|
1930.84/1862.29	c (1579,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1930.84/1862.29	c (1579,0) c |------------------------------------------------------------------------------------------------------------------------|
1930.84/1862.29	c (1579,0) c |  0 |    626 |   22376372 |     108170 |  1166670 |    37016 |    13996 |        0 |        0 |     2475 |  20 |  0.009 |
1930.84/1862.29	c (1579,0) c 
1930.84/1862.29	c (1579,0) c synthesis      108170 conflicts  5723843246 propagations       69 conflicts/sec  3673238 propagations/sec
1930.84/1862.29	c (1579,0) c real: 1579.21 s, cpu: 1558.26 s, memory: 9688.98 Mb
1959.87/1891.29	c (1608,0) c
1959.87/1891.29	c (1608,0) c |------------------------------------------------------------------------------------------------------------------------|
1959.87/1891.29	c (1608,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1959.87/1891.29	c (1608,0) c |------------------------------------------------------------------------------------------------------------------------|
1959.87/1891.29	c (1608,0) c |  0 |    633 |   22420860 |     110228 |  1179172 |    39074 |    14200 |        0 |        0 |     2522 |  20 |  0.009 |
1959.87/1891.29	c (1608,0) c 
1959.87/1891.29	c (1608,0) c synthesis      110228 conflicts  5828421986 propagations       69 conflicts/sec  3672282 propagations/sec
1959.87/1891.29	c (1608,0) c real: 1608.21 s, cpu: 1587.14 s, memory: 9688.98 Mb
1989.89/1921.29	c (1638,0) c
1989.89/1921.29	c (1638,0) c |------------------------------------------------------------------------------------------------------------------------|
1989.89/1921.29	c (1638,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1989.89/1921.29	c (1638,0) c |------------------------------------------------------------------------------------------------------------------------|
1989.89/1921.29	c (1638,0) c |  0 |    643 |   22489740 |     112576 |  1194972 |    21239 |    14458 |        0 |        0 |     2570 |  20 |  0.009 |
1989.89/1921.29	c (1638,0) c 
1989.89/1921.29	c (1638,0) c synthesis      112576 conflicts  5934528997 propagations       70 conflicts/sec  3670403 propagations/sec
1989.89/1921.29	c (1638,0) c real: 1638.21 s, cpu: 1616.86 s, memory: 9688.98 Mb
2018.93/1950.29	c (1667,0) c
2018.93/1950.29	c (1667,0) c |------------------------------------------------------------------------------------------------------------------------|
2018.93/1950.29	c (1667,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2018.93/1950.29	c (1667,0) c |------------------------------------------------------------------------------------------------------------------------|
2018.93/1950.29	c (1667,0) c |  0 |    653 |   22542622 |     114068 |  1211393 |    22732 |    14581 |        0 |        0 |     2617 |  20 |  0.009 |
2018.93/1950.29	c (1667,0) c 
2018.93/1950.29	c (1667,0) c synthesis      114068 conflicts  6040561048 propagations       69 conflicts/sec  3670519 propagations/sec
2018.93/1950.29	c (1667,0) c real: 1667.21 s, cpu: 1645.7 s, memory: 9688.98 Mb
2048.94/1980.29	c (1697,0) c
2048.94/1980.29	c (1697,0) c |------------------------------------------------------------------------------------------------------------------------|
2048.94/1980.29	c (1697,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2048.94/1980.29	c (1697,0) c |------------------------------------------------------------------------------------------------------------------------|
2048.94/1980.29	c (1697,0) c |  0 |    662 |   22603973 |     115564 |  1227458 |    24228 |    14708 |        0 |        0 |     2664 |  20 |  0.009 |
2048.94/1980.29	c (1697,0) c 
2048.94/1980.29	c (1697,0) c synthesis      115564 conflicts  6146862791 propagations       69 conflicts/sec  3668710 propagations/sec
2048.94/1980.29	c (1697,0) c real: 1697.21 s, cpu: 1675.48 s, memory: 9688.98 Mb
2077.97/2009.29	c (1726,0) c
2077.97/2009.29	c (1726,0) c |------------------------------------------------------------------------------------------------------------------------|
2077.97/2009.29	c (1726,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2077.97/2009.29	c (1726,0) c |------------------------------------------------------------------------------------------------------------------------|
2077.97/2009.29	c (1726,0) c |  0 |    672 |   22671749 |     118222 |  1241633 |    26886 |    15117 |        0 |        0 |     2711 |  20 |  0.009 |
2077.97/2009.29	c (1726,0) c 
2077.97/2009.29	c (1726,0) c synthesis      118222 conflicts  6255135948 propagations       69 conflicts/sec  3670231 propagations/sec
2077.97/2009.29	c (1726,0) c real: 1726.21 s, cpu: 1704.29 s, memory: 9688.98 Mb
2108.00/2039.29	c (1756,0) c
2108.00/2039.29	c (1756,0) c |------------------------------------------------------------------------------------------------------------------------|
2108.00/2039.29	c (1756,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2108.00/2039.29	c (1756,0) c |------------------------------------------------------------------------------------------------------------------------|
2108.00/2039.29	c (1756,0) c |  0 |    685 |   22713808 |     119901 |  1254021 |    28565 |    15262 |        0 |        0 |     2758 |  20 |  0.009 |
2108.00/2039.29	c (1756,0) c 
2108.00/2039.29	c (1756,0) c synthesis      119901 conflicts  6361473674 propagations       69 conflicts/sec  3668542 propagations/sec
2108.00/2039.29	c (1756,0) c real: 1756.21 s, cpu: 1734.06 s, memory: 9688.98 Mb
2137.02/2068.29	c (1785,0) c
2137.02/2068.29	c (1785,0) c |------------------------------------------------------------------------------------------------------------------------|
2137.02/2068.29	c (1785,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2137.02/2068.29	c (1785,0) c |------------------------------------------------------------------------------------------------------------------------|
2137.02/2068.29	c (1785,0) c |  0 |    693 |   22752596 |     121466 |  1266317 |    30130 |    15409 |        0 |        0 |     2804 |  20 |  0.009 |
2137.02/2068.29	c (1785,0) c 
2137.02/2068.29	c (1785,0) c synthesis      121466 conflicts  6467446102 propagations       69 conflicts/sec  3668622 propagations/sec
2137.02/2068.29	c (1785,0) c real: 1785.21 s, cpu: 1762.91 s, memory: 9688.98 Mb
2166.06/2097.29	c (1814,0) c
2166.06/2097.29	c (1814,0) c |------------------------------------------------------------------------------------------------------------------------|
2166.06/2097.29	c (1814,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2166.06/2097.29	c (1814,0) c |------------------------------------------------------------------------------------------------------------------------|
2166.06/2097.29	c (1814,0) c |  0 |    706 |   22824115 |     123510 |  1278568 |    32174 |    15565 |        0 |        0 |     2851 |  20 |  0.009 |
2166.06/2097.29	c (1814,0) c 
2166.06/2097.29	c (1814,0) c synthesis      123510 conflicts  6574020527 propagations       69 conflicts/sec  3669121 propagations/sec
2166.06/2097.29	c (1814,0) c real: 1814.21 s, cpu: 1791.72 s, memory: 9688.98 Mb
2195.08/2126.29	c (1843,0) c
2195.08/2126.29	c (1843,0) c |------------------------------------------------------------------------------------------------------------------------|
2195.08/2126.29	c (1843,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2195.08/2126.29	c (1843,0) c |------------------------------------------------------------------------------------------------------------------------|
2195.08/2126.29	c (1843,0) c |  0 |    715 |   22854834 |     125145 |  1291189 |    33809 |    15738 |        0 |        0 |     2897 |  20 |  0.009 |
2195.08/2126.29	c (1843,0) c 
2195.08/2126.29	c (1843,0) c synthesis      125145 conflicts  6678552322 propagations       69 conflicts/sec  3668446 propagations/sec
2195.08/2126.29	c (1843,0) c real: 1843.21 s, cpu: 1820.54 s, memory: 9688.98 Mb
2225.10/2156.29	c (1873,0) c
2225.10/2156.29	c (1873,0) c |------------------------------------------------------------------------------------------------------------------------|
2225.10/2156.29	c (1873,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2225.10/2156.29	c (1873,0) c |------------------------------------------------------------------------------------------------------------------------|
2225.10/2156.29	c (1873,0) c |  0 |    726 |   22935631 |     126721 |  1303621 |    35385 |    15869 |        0 |        0 |     2945 |  20 |  0.009 |
2225.10/2156.29	c (1873,0) c 
2225.10/2156.29	c (1873,0) c synthesis      126721 conflicts  6788551412 propagations       68 conflicts/sec  3668782 propagations/sec
2225.10/2156.29	c (1873,0) c real: 1873.21 s, cpu: 1850.36 s, memory: 9688.98 Mb
2254.13/2185.29	c (1902,0) c
2254.13/2185.29	c (1902,0) c |------------------------------------------------------------------------------------------------------------------------|
2254.13/2185.29	c (1902,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2254.13/2185.29	c (1902,0) c |------------------------------------------------------------------------------------------------------------------------|
2254.13/2185.29	c (1902,0) c |  0 |    737 |   22978614 |     128513 |  1317891 |    37177 |    16034 |        0 |        0 |     2992 |  20 |  0.009 |
2254.13/2185.29	c (1902,0) c 
2254.13/2185.29	c (1902,0) c synthesis      128513 conflicts  6894036745 propagations       68 conflicts/sec  3668698 propagations/sec
2254.13/2185.29	c (1902,0) c real: 1902.21 s, cpu: 1879.15 s, memory: 9688.98 Mb
2283.26/2214.30	c (1931,0) c
2283.26/2214.30	c (1931,0) c |------------------------------------------------------------------------------------------------------------------------|
2283.26/2214.30	c (1931,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2283.26/2214.30	c (1931,0) c |------------------------------------------------------------------------------------------------------------------------|
2283.26/2214.30	c (1931,0) c |  0 |    749 |   23076757 |     129919 |  1328205 |    38583 |    16175 |        0 |        0 |     3038 |  20 |  0.009 |
2283.26/2214.30	c (1931,0) c 
2283.26/2214.30	c (1931,0) c synthesis      129919 conflicts  7000180753 propagations       68 conflicts/sec  3668879 propagations/sec
2283.26/2214.30	c (1931,0) c real: 1931.21 s, cpu: 1907.99 s, memory: 9688.98 Mb
2313.18/2244.29	c (1961,0) c
2313.18/2244.29	c (1961,0) c |------------------------------------------------------------------------------------------------------------------------|
2313.18/2244.29	c (1961,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2313.18/2244.29	c (1961,0) c |------------------------------------------------------------------------------------------------------------------------|
2313.18/2244.29	c (1961,0) c |  0 |    762 |   23149621 |     131664 |  1341602 |    40328 |    16319 |        0 |        0 |     3085 |  20 |  0.009 |
2313.18/2244.29	c (1961,0) c 
2313.18/2244.29	c (1961,0) c synthesis      131664 conflicts  7107644898 propagations       68 conflicts/sec  3668043 propagations/sec
2313.18/2244.29	c (1961,0) c real: 1961.21 s, cpu: 1937.72 s, memory: 9688.98 Mb
2343.22/2274.29	c (1991,0) c
2343.22/2274.29	c (1991,0) c |------------------------------------------------------------------------------------------------------------------------|
2343.22/2274.29	c (1991,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2343.22/2274.29	c (1991,0) c |------------------------------------------------------------------------------------------------------------------------|
2343.22/2274.29	c (1991,0) c |  0 |    773 |   23192904 |     133300 |  1353820 |    41964 |    16469 |        0 |        0 |     3133 |  20 |  0.009 |
2343.22/2274.29	c (1991,0) c 
2343.22/2274.29	c (1991,0) c synthesis      133300 conflicts  7217644560 propagations       68 conflicts/sec  3668293 propagations/sec
2343.22/2274.29	c (1991,0) c real: 1991.21 s, cpu: 1967.58 s, memory: 9688.98 Mb
2372.22/2303.29	c (2020,0) c
2372.22/2303.29	c (2020,0) c |------------------------------------------------------------------------------------------------------------------------|
2372.22/2303.29	c (2020,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2372.22/2303.29	c (2020,0) c |------------------------------------------------------------------------------------------------------------------------|
2372.22/2303.29	c (2020,0) c |  0 |    786 |   23324227 |     135078 |  1368071 |    43742 |    16673 |        0 |        0 |     3179 |  20 |  0.009 |
2372.22/2303.29	c (2020,0) c 
2372.22/2303.29	c (2020,0) c synthesis      135078 conflicts  7320710440 propagations       68 conflicts/sec  3667151 propagations/sec
2372.22/2303.29	c (2020,0) c real: 2020.21 s, cpu: 1996.29 s, memory: 9688.98 Mb
2401.25/2332.29	c (2049,0) c
2401.25/2332.29	c (2049,0) c |------------------------------------------------------------------------------------------------------------------------|
2401.25/2332.29	c (2049,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2401.25/2332.29	c (2049,0) c |------------------------------------------------------------------------------------------------------------------------|
2401.25/2332.29	c (2049,0) c |  0 |    799 |   23378415 |     136783 |  1382912 |    45447 |    16826 |        0 |        0 |     3225 |  20 |  0.009 |
2401.25/2332.29	c (2049,0) c 
2401.25/2332.29	c (2049,0) c synthesis      136783 conflicts  7429246307 propagations       68 conflicts/sec  3668469 propagations/sec
2401.25/2332.29	c (2049,0) c real: 2049.21 s, cpu: 2025.16 s, memory: 9688.98 Mb
2430.28/2361.29	c (2078,0) c
2430.28/2361.29	c (2078,0) c |------------------------------------------------------------------------------------------------------------------------|
2430.28/2361.29	c (2078,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2430.28/2361.29	c (2078,0) c |------------------------------------------------------------------------------------------------------------------------|
2430.28/2361.29	c (2078,0) c |  0 |    808 |   23433214 |     138323 |  1400889 |    24186 |    16969 |        0 |        0 |     3271 |  20 |  0.009 |
2430.28/2361.29	c (2078,0) c 
2430.28/2361.29	c (2078,0) c synthesis      138323 conflicts  7527839319 propagations       67 conflicts/sec  3665122 propagations/sec
2430.28/2361.29	c (2078,0) c real: 2078.21 s, cpu: 2053.91 s, memory: 9688.98 Mb
2460.31/2391.29	c (2108,0) c
2460.31/2391.29	c (2108,0) c |------------------------------------------------------------------------------------------------------------------------|
2460.31/2391.29	c (2108,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2460.31/2391.29	c (2108,0) c |------------------------------------------------------------------------------------------------------------------------|
2460.31/2391.29	c (2108,0) c |  0 |    819 |   23478898 |     139755 |  1414236 |    25618 |    17078 |        0 |        0 |     3319 |  20 |  0.009 |
2460.31/2391.29	c (2108,0) c 
2460.31/2391.29	c (2108,0) c synthesis      139755 conflicts  7636062870 propagations       67 conflicts/sec  3664536 propagations/sec
2460.31/2391.29	c (2108,0) c real: 2108.21 s, cpu: 2083.77 s, memory: 9688.98 Mb
2489.32/2420.29	c (2137,0) c
2489.32/2420.29	c (2137,0) c |------------------------------------------------------------------------------------------------------------------------|
2489.32/2420.29	c (2137,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2489.32/2420.29	c (2137,0) c |------------------------------------------------------------------------------------------------------------------------|
2489.32/2420.29	c (2137,0) c |  0 |    828 |   23536331 |     141410 |  1428895 |    27273 |    17243 |        0 |        0 |     3366 |  20 |  0.009 |
2489.32/2420.29	c (2137,0) c 
2489.32/2420.29	c (2137,0) c synthesis      141410 conflicts  7739778183 propagations       67 conflicts/sec  3663761 propagations/sec
2489.32/2420.29	c (2137,0) c real: 2137.21 s, cpu: 2112.52 s, memory: 9688.98 Mb
2518.36/2449.29	c (2166,0) c
2518.36/2449.29	c (2166,0) c |------------------------------------------------------------------------------------------------------------------------|
2518.36/2449.29	c (2166,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2518.36/2449.29	c (2166,0) c |------------------------------------------------------------------------------------------------------------------------|
2518.36/2449.29	c (2166,0) c |  0 |    840 |   23619895 |     142983 |  1446833 |    28846 |    17346 |        0 |        0 |     3412 |  20 |  0.009 |
2518.36/2449.29	c (2166,0) c 
2518.36/2449.29	c (2166,0) c synthesis      142983 conflicts  7835346014 propagations       67 conflicts/sec  3659084 propagations/sec
2518.36/2449.29	c (2166,0) c real: 2166.21 s, cpu: 2141.34 s, memory: 9688.98 Mb
2547.38/2478.30	c (2195,0) c
2547.38/2478.30	c (2195,0) c |------------------------------------------------------------------------------------------------------------------------|
2547.38/2478.30	c (2195,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2547.38/2478.30	c (2195,0) c |------------------------------------------------------------------------------------------------------------------------|
2547.38/2478.30	c (2195,0) c |  0 |    855 |   23670251 |     144711 |  1458360 |    30574 |    17492 |        0 |        0 |     3458 |  20 |  0.009 |
2547.38/2478.30	c (2195,0) c 
2547.38/2478.30	c (2195,0) c synthesis      144711 conflicts  7944528604 propagations       67 conflicts/sec  3660885 propagations/sec
2547.38/2478.30	c (2195,0) c real: 2195.21 s, cpu: 2170.11 s, memory: 9688.98 Mb
2577.40/2508.29	c (2225,0) c
2577.40/2508.29	c (2225,0) c |------------------------------------------------------------------------------------------------------------------------|
2577.40/2508.29	c (2225,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2577.40/2508.29	c (2225,0) c |------------------------------------------------------------------------------------------------------------------------|
2577.40/2508.29	c (2225,0) c |  0 |    865 |   23710817 |     146538 |  1473787 |    32401 |    17662 |        0 |        0 |     3507 |  20 |  0.009 |
2577.40/2508.29	c (2225,0) c 
2577.40/2508.29	c (2225,0) c synthesis      146538 conflicts  8051598505 propagations       67 conflicts/sec  3659911 propagations/sec
2577.40/2508.29	c (2225,0) c real: 2225.21 s, cpu: 2199.94 s, memory: 9688.98 Mb
2589.23/2520.02	c (2237,0) receiving signal SIGTERM
2589.23/2520.02	s UNKNOWN
2589.23/2520.02	c (scop.sh) Receiving Signal. Removing all intermediate files.
2589.23/2520.02	c (scop.sh) Remove HOME/scop-22186-serial-file.bin.
2589.23/2520.04	c (scop.sh) Killing background jobs.
2589.23/2520.04	c (2237,0) receiving signal SIGTERM

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12422 MiB free)
  memory of node 1: 16384 MiB (12790 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405687-1569238634/watcher-4405687-1569238634 -o /var/tmp/evaluation-result-4405687-1569238634/solver-4405687-1569238634 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569238586-22082 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405687-1569238634.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=22186, runsolver pid=22183

[startup+0.100134 s]*
/proc/loadavg: 0.16 0.05 0.06 2/211 22208
/proc/meminfo: memFree=25726612/32770624 swapFree=66966876/67108860
[pid=22186] ppid=22183 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22186/stat : 22186 (scop.sh) S 22183 22186 22055 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499799885 115843072 349 33554432000 4194304 5098028 140725129527136 140725129524392 140694164750972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39542784 140725129536252 140725129536600 140725129536600 140725129539529 0
/proc/22186/statm: 28282 349 296 221 0 87 0
[pid=22189] ppid=22186 vsize=27314120 memory=104476 CPUtime=0.1 cores=0-7
/proc/22189/stat : 22189 (java) S 22186 22186 22055 0 -1 1077944320 6741 0 0 0 8 2 0 0 20 0 20 0 499799886 27969658880 26119 33554432000 4194304 4196468 140720654789088 140720654771632 139886219529975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
/proc/22189/statm: 6828530 26119 2778 1 0 6790935 0
[pid=22189/tid=22190] ppid=22186 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22186 22186 22055 0 -1 4202560 4844 0 0 0 6 2 0 0 20 0 20 0 499799886 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886191364416 139886219541910 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22191] ppid=22186 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22186 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886223772176 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22192] ppid=22186 vsize=27314120 memory=140524845913728 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886037928592 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22193] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886036875536 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22194] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886035822992 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22195] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886034770960 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22196] ppid=22186 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886033718416 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22197] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22186 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886032665360 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22198] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 26119 33554432000 4194304 4196468 140720654789088 139886031612816 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22199] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22186 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499799890 27969658880 26119 33554432000 4194304 4196468 140720654789088 139885210822896 139886219541122 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22200] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22186 22186 22055 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499799890 27969658880 26119 33554432000 4194304 4196468 140720654789088 139884132033696 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22201] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22186 22186 22055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499799891 27969658880 26119 33554432000 4194304 4196468 140720654789088 139883997811440 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22202] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 26119 33554432000 4194304 4196468 140720654789088 139883623307216 139886219548571 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22203] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22186 22186 22055 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 26119 33554432000 4194304 4196468 140720654789088 139885209770736 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22204] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22186 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 26119 33554432000 4194304 4196468 140720654789088 139885208718192 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22205] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22186 22186 22055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 26119 33554432000 4194304 4196468 140720654789088 139885207665136 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22206] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) R 22186 22186 22055 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 26119 33554432000 4194304 4196468 140720654789088 139883863591536 139886198513708 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22207] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22186 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 26119 33554432000 4194304 4196468 140720654789088 139883125402080 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22208] ppid=22186 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799894 27969658880 26119 33554432000 4194304 4196468 140720654789088 139883862538928 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105872 KiB

[startup+0.216838 s]*
/proc/loadavg: 0.16 0.05 0.06 3/211 22208
/proc/meminfo: memFree=25703272/32770624 swapFree=66966876/67108860
[pid=22186] ppid=22183 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22186/stat : 22186 (scop.sh) S 22183 22186 22055 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499799885 115843072 349 33554432000 4194304 5098028 140725129527136 140725129524392 140694164750972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39542784 140725129536252 140725129536600 140725129536600 140725129539529 0
/proc/22186/statm: 28282 349 296 221 0 87 0
[pid=22189] ppid=22186 vsize=27314120 memory=123792 CPUtime=0.25 cores=0-7
/proc/22189/stat : 22189 (java) S 22186 22186 22055 0 -1 1077944320 12392 0 0 0 21 4 0 0 20 0 20 0 499799886 27969658880 30948 33554432000 4194304 4196468 140720654789088 140720654771632 139886219529975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
/proc/22189/statm: 6828530 30948 2922 1 0 6790935 0
[pid=22189/tid=22190] ppid=22186 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22186 22186 22055 0 -1 4202560 10090 0 0 0 16 3 0 0 20 0 20 0 499799886 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886191313536 139886204695623 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22191] ppid=22186 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22186 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886223772176 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22192] ppid=22186 vsize=27314120 memory=288370900997625472 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886037928592 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22193] ppid=22186 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886036875536 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22194] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886035822992 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22195] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886034770960 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22196] ppid=22186 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886033718416 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22197] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22186 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886032665360 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22198] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 30948 33554432000 4194304 4196468 140720654789088 139886031612816 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22199] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22186 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499799890 27969658880 30948 33554432000 4194304 4196468 140720654789088 139885210822896 139886219541122 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22200] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22186 22186 22055 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499799890 27969658880 30948 33554432000 4194304 4196468 140720654789088 139884132033696 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22201] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22186 22186 22055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499799891 27969658880 30948 33554432000 4194304 4196468 140720654789088 139883997811440 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22202] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 30948 33554432000 4194304 4196468 140720654789088 139883623307216 139886219548571 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22203] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22186 22186 22055 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 30948 33554432000 4194304 4196468 140720654789088 139885209770736 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22204] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22186 22186 22055 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 30948 33554432000 4194304 4196468 140720654789088 139885208718192 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22205] ppid=22186 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22186 22186 22055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 30948 33554432000 4194304 4196468 140720654789088 139885207665136 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22206] ppid=22186 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22186 22186 22055 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 499799893 27969658880 30948 33554432000 4194304 4196468 140720654789088 139883863591536 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22207] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22186 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 30948 33554432000 4194304 4196468 140720654789088 139883125402080 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22208] ppid=22186 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799894 27969658880 30948 33554432000 4194304 4196468 140720654789088 139883862538928 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125188 KiB

[startup+0.310328 s]*
/proc/loadavg: 0.16 0.05 0.06 2/211 22208
/proc/meminfo: memFree=25701088/32770624 swapFree=66966876/67108860
[pid=22186] ppid=22183 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22186/stat : 22186 (scop.sh) S 22183 22186 22055 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499799885 115843072 349 33554432000 4194304 5098028 140725129527136 140725129524392 140694164750972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39542784 140725129536252 140725129536600 140725129536600 140725129539529 0
/proc/22186/statm: 28282 349 296 221 0 87 0
[pid=22189] ppid=22186 vsize=27314120 memory=127588 CPUtime=0.42 cores=0-7
/proc/22189/stat : 22189 (java) S 22186 22186 22055 0 -1 1077944320 13292 0 0 0 37 5 0 0 20 0 20 0 499799886 27969658880 31897 33554432000 4194304 4196468 140720654789088 140720654771632 139886219529975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
/proc/22189/statm: 6828530 31897 3012 1 0 6790935 0
[pid=22189/tid=22190] ppid=22186 vsize=27314120 memory=1398722017469774279 CPUtime=0.28 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22186 22186 22055 0 -1 4202560 10812 0 0 0 25 3 0 0 20 0 20 0 499799886 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886191312992 139886199805643 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22191] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22186 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886223772176 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22192] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886037928592 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22193] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886036875536 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22194] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886035822992 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22195] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886034770960 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22196] ppid=22186 vsize=27314120 memory=140524686240431 CPUtime=0 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886033718416 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22197] ppid=22186 vsize=27314120 memory=140524686242736 CPUtime=0 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22186 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886032665360 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22198] ppid=22186 vsize=27314120 memory=140524686245040 CPUtime=0 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27969658880 31897 33554432000 4194304 4196468 140720654789088 139886031612816 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22199] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22186 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499799890 27969658880 31897 33554432000 4194304 4196468 140720654789088 139885210822896 139886219541122 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22200] ppid=22186 vsize=27314120 memory=281049372503952 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22186 22186 22055 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499799890 27969658880 31897 33554432000 4194304 4196468 140720654789088 139884132033696 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22201] ppid=22186 vsize=27314120 memory=281049372501648 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22186 22186 22055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499799891 27969658880 31897 33554432000 4194304 4196468 140720654789088 139883997811440 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22202] ppid=22186 vsize=27314120 memory=281049372508560 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 31897 33554432000 4194304 4196468 140720654789088 139883623307216 139886219548571 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22203] ppid=22186 vsize=27314120 memory=281049372449808 CPUtime=0.01 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22186 22186 22055 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 20 0 499799893 27969658880 31897 33554432000 4194304 4196468 140720654789088 139885209770736 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22204] ppid=22186 vsize=27314120 memory=281049372522384 CPUtime=0 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22186 22186 22055 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 31897 33554432000 4194304 4196468 140720654789088 139885208718192 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22205] ppid=22186 vsize=27314120 memory=281049372529296 CPUtime=0.01 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22186 22186 22055 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 20 0 499799893 27969658880 31897 33554432000 4194304 4196468 140720654789088 139885207665136 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22206] ppid=22186 vsize=27314120 memory=281049372526992 CPUtime=0.07 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22186 22186 22055 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 499799893 27969658880 31897 33554432000 4194304 4196468 140720654789088 139883863591536 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22207] ppid=22186 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22186 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499799893 27969658880 31897 33554432000 4194304 4196468 140720654789088 139883125402080 139886219540181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22208] ppid=22186 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799894 27969658880 31897 33554432000 4194304 4196468 140720654789088 139883862538928 139886219541122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128984 KiB

[startup+0.700973 s]
/proc/loadavg: 0.16 0.05 0.06 2/211 22208
/proc/meminfo: memFree=25679012/32770624 swapFree=66966876/67108860
[pid=22186] ppid=22183 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22186/stat : 22186 (scop.sh) S 22183 22186 22055 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499799885 115843072 349 33554432000 4194304 5098028 140725129527136 140725129524392 140694164750972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39542784 140725129536252 140725129536600 140725129536600 140725129539529 0
/proc/22186/statm: 28282 349 296 221 0 87 0
[pid=22189] ppid=22186 vsize=27320392 memory=163056 CPUtime=1 cores=0-7
/proc/22189/stat : 22189 (java) S 22186 22186 22055 0 -1 1077944320 20500 0 0 0 93 7 0 0 20 0 20 0 499799886 27976081408 40764 33554432000 4194304 4196468 140720654789088 140720654771632 139886219529975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
/proc/22189/statm: 6830098 40764 3181 1 0 6791447 0
[pid=22189/tid=22190] ppid=22186 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22186 22186 22055 0 -1 4202560 17385 0 0 0 62 5 0 0 20 0 20 0 499799886 27976081408 40764 33554432000 4194304 4196468 140720654789088 139886191366224 139885692652987 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22191] ppid=22186 vsize=27320392 memory=140524686451568 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22186 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499799888 27976081408 40764 33554432000 4194304 4196468 140720654789088 139886223772176 139886219540181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22192] ppid=22186 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27976081408 40764 33554432000 4194304 4196468 140720654789088 139886037928592 139886219540181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0
[pid=22189/tid=22193] ppid=22186 vsize=27320392 memory=8128 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499799888 27976081408 40764 33554432000 4194304 4196468 140720654789088 139886036875536 139886219540181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140720654795462 140720654795910 140720654795910 140720654798799 0

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

[pid=22233/tid=22245] ppid=22186 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22233/task/22245/stat : 22245 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499828086 8616062976 38111 33554432000 4194304 4196468 140723067356432 139979359511792 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22246] ppid=22186 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/22233/task/22246/stat : 22246 (java) S 22186 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499828089 8616062976 38111 33554432000 4194304 4196468 140723067356432 139978985003472 139981012703131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22247] ppid=22186 vsize=8414124 memory=1808 CPUtime=0.22 cores=0-7
/proc/22233/task/22247/stat : 22247 (java) S 22186 22186 22055 0 -1 1077944384 806 0 0 0 22 0 0 0 20 0 24 0 499828089 8616062976 38111 33554432000 4194304 4196468 140723067356432 139980306401520 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22248] ppid=22186 vsize=8414124 memory=920 CPUtime=0.24 cores=0-7
/proc/22233/task/22248/stat : 22248 (java) S 22186 22186 22055 0 -1 1077944384 886 0 0 0 23 1 0 0 20 0 24 0 499828089 8616062976 38111 33554432000 4194304 4196468 140723067356432 139980305348976 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22249] ppid=22186 vsize=8414124 memory=4064 CPUtime=0.29 cores=0-7
/proc/22233/task/22249/stat : 22249 (java) S 22186 22186 22055 0 -1 1077944384 579 0 0 0 29 0 0 0 20 0 24 0 499828089 8616062976 38111 33554432000 4194304 4196468 140723067356432 139980304295920 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22250] ppid=22186 vsize=8414124 memory=1412 CPUtime=0.3 cores=0-7
/proc/22233/task/22250/stat : 22250 (java) S 22186 22186 22055 0 -1 1077944384 1218 0 0 0 29 1 0 0 20 0 24 0 499828089 8616062976 38111 33554432000 4194304 4196468 140723067356432 139980303243376 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22251] ppid=22186 vsize=8414124 memory=3700 CPUtime=0 cores=0-7
/proc/22233/task/22251/stat : 22251 (java) S 22186 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499828090 8616062976 38111 33554432000 4194304 4196468 140723067356432 139978487098336 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22252] ppid=22186 vsize=8414124 memory=1476 CPUtime=1.61 cores=0-7
/proc/22233/task/22252/stat : 22252 (java) S 22186 22186 22055 0 -1 1077944384 149 0 0 0 87 74 0 0 20 0 24 0 499828090 8616062976 38111 33554432000 4194304 4196468 140723067356432 139980302191792 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22254] ppid=22186 vsize=8414124 memory=152444 CPUtime=0 cores=0-7
/proc/22233/task/22254/stat : 22254 (java) S 22186 22186 22055 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499828194 8616062976 38111 33554432000 4194304 4196468 140723067356432 139980300580288 139981012709145 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22256] ppid=22186 vsize=8414124 memory=8901660 CPUtime=0.05 cores=0-7
/proc/22233/task/22256/stat : 22256 (java) S 22186 22186 22055 0 -1 4202560 1746 0 0 0 3 2 0 0 20 0 24 0 499828194 8616062976 38111 33554432000 4194304 4196468 140723067356432 139977815998256 139981012706461 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22257] ppid=22186 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/22233/task/22257/stat : 22257 (java) S 22186 22186 22055 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 499828195 8616062976 38111 33554432000 4194304 4196468 140723067356432 139978084433584 139981012706461 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22258] ppid=22186 vsize=8414124 memory=712 CPUtime=0 cores=0-7
/proc/22233/task/22258/stat : 22258 (java) S 22186 22186 22055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499828197 8616062976 38111 33554432000 4194304 4196468 140723067356432 139977547570096 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
Current children cumulated CPU time: 2589.23 s
Current children cumulated vsize: 18448760 KiB
Current children cumulated memory: 9055580 KiB

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

[startup+2520.04 s]
# the end of solver process 22186 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=331.77 s, system=16.512 s

[startup+2520.82 s]
# the end of solver process 22233 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2546.29 s, system=43.8 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.03 1.08 0.99 2/217 22447
/proc/meminfo: memFree=16735300/32770624 swapFree=66966876/67108860
[pid=22233] ppid=22183 vsize=8807348 memory=162684 CPUtime=3.99 cores=0-7
/proc/22233/stat : 22233 (java) S 22183 22186 22055 0 -1 1077944320 24298 0 0 0 294 105 0 0 20 0 26 0 499828082 9018724352 40671 33554432000 4194304 4196468 140723067356432 140723067338976 139981012684535 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
/proc/22233/statm: 2201837 40671 3227 1 0 2163181 0
[pid=22233/tid=22234] ppid=22183 vsize=8807348 memory=152444 CPUtime=1.13 cores=0-7
/proc/22233/task/22234/stat : 22234 (java) S 22183 22186 22055 0 -1 1077944384 17486 0 0 0 89 24 0 0 20 0 26 0 499828083 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980984524704 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22235] ppid=22183 vsize=8807348 memory=8901660 CPUtime=0 cores=0-7
/proc/22233/task/22235/stat : 22235 (java) S 22183 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 499828084 9018724352 40671 33554432000 4194304 4196468 140723067356432 139981016927248 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22236] ppid=22183 vsize=8807348 memory=1808 CPUtime=0 cores=0-7
/proc/22233/task/22236/stat : 22236 (java) S 22183 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 499828084 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980837223568 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22237] ppid=22183 vsize=8807348 memory=920 CPUtime=0 cores=0-7
/proc/22233/task/22237/stat : 22237 (java) S 22183 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 499828084 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980497013520 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22238] ppid=22183 vsize=8807348 memory=3612 CPUtime=0 cores=0-7
/proc/22233/task/22238/stat : 22238 (java) S 22183 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 499828084 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980495960976 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22239] ppid=22183 vsize=8807348 memory=61092 CPUtime=0 cores=0-7
/proc/22233/task/22239/stat : 22239 (java) S 22183 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 499828084 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980494907920 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22240] ppid=22183 vsize=8807348 memory=988 CPUtime=0 cores=0-7
/proc/22233/task/22240/stat : 22240 (java) S 22183 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 499828084 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980493855376 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22241] ppid=22183 vsize=8807348 memory=2020 CPUtime=0 cores=0-7
/proc/22233/task/22241/stat : 22241 (java) S 22183 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 499828084 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980492802320 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22242] ppid=22183 vsize=8807348 memory=1432 CPUtime=0 cores=0-7
/proc/22233/task/22242/stat : 22242 (java) S 22183 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 499828084 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980491749776 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22243] ppid=22183 vsize=8807348 memory=776 CPUtime=0.06 cores=0-7
/proc/22233/task/22243/stat : 22243 (java) S 22183 22186 22055 0 -1 1077944384 13 0 0 0 3 3 0 0 20 0 26 0 499828086 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980307454704 139981012695682 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22244] ppid=22183 vsize=8807348 memory=1056 CPUtime=0 cores=0-7
/proc/22233/task/22244/stat : 22244 (java) S 22183 22186 22055 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 26 0 499828086 9018724352 40671 33554432000 4194304 4196468 140723067356432 139979627947680 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22245] ppid=22183 vsize=8807348 memory=3616 CPUtime=0 cores=0-7
/proc/22233/task/22245/stat : 22245 (java) S 22183 22186 22055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 499828086 9018724352 40671 33554432000 4194304 4196468 140723067356432 139979359511792 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22246] ppid=22183 vsize=8807348 memory=1552 CPUtime=0 cores=0-7
/proc/22233/task/22246/stat : 22246 (java) S 22183 22186 22055 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 26 0 499828089 9018724352 40671 33554432000 4194304 4196468 140723067356432 139978985003472 139981012703131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22247] ppid=22183 vsize=8807348 memory=1976 CPUtime=0.22 cores=0-7
/proc/22233/task/22247/stat : 22247 (java) S 22183 22186 22055 0 -1 1077944384 806 0 0 0 22 0 0 0 20 0 26 0 499828089 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980306401520 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22248] ppid=22183 vsize=8807348 memory=2496 CPUtime=0.24 cores=0-7
/proc/22233/task/22248/stat : 22248 (java) S 22183 22186 22055 0 -1 1077944384 886 0 0 0 23 1 0 0 20 0 26 0 499828089 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980305348976 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22249] ppid=22183 vsize=8807348 memory=1760 CPUtime=0.29 cores=0-7
/proc/22233/task/22249/stat : 22249 (java) S 22183 22186 22055 0 -1 1077944384 579 0 0 0 29 0 0 0 20 0 26 0 499828089 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980304295920 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22250] ppid=22183 vsize=8807348 memory=111636 CPUtime=0.3 cores=0-7
/proc/22233/task/22250/stat : 22250 (java) S 22183 22186 22055 0 -1 1077944384 1218 0 0 0 29 1 0 0 20 0 26 0 499828089 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980303243376 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22251] ppid=22183 vsize=8807348 memory=804 CPUtime=0 cores=0-7
/proc/22233/task/22251/stat : 22251 (java) S 22183 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 499828090 9018724352 40671 33554432000 4194304 4196468 140723067356432 139978487098336 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22252] ppid=22183 vsize=8807348 memory=4100 CPUtime=1.61 cores=0-7
/proc/22233/task/22252/stat : 22252 (java) S 22183 22186 22055 0 -1 1077944384 149 0 0 0 87 74 0 0 20 0 26 0 499828090 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980302191792 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22254] ppid=22183 vsize=8807348 memory=1808 CPUtime=0 cores=0-7
/proc/22233/task/22254/stat : 22254 (java) S 22183 22186 22055 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 26 0 499828194 9018724352 40671 33554432000 4194304 4196468 140723067356432 139980300580288 139981012709145 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22256] ppid=22183 vsize=8807348 memory=920 CPUtime=0.05 cores=0-7
/proc/22233/task/22256/stat : 22256 (java) S 22183 22186 22055 0 -1 4202560 1746 0 0 0 3 2 0 0 20 0 26 0 499828194 9018724352 40671 33554432000 4194304 4196468 140723067356432 139977815998256 139981012706461 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22257] ppid=22183 vsize=8807348 memory=4064 CPUtime=0 cores=0-7
/proc/22233/task/22257/stat : 22257 (java) S 22183 22186 22055 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 26 0 499828195 9018724352 40671 33554432000 4194304 4196468 140723067356432 139978084433584 139981012706461 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22258] ppid=22183 vsize=8807348 memory=1412 CPUtime=0 cores=0-7
/proc/22233/task/22258/stat : 22258 (java) S 22183 22186 22055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 26 0 499828197 9018724352 40671 33554432000 4194304 4196468 140723067356432 139977547570096 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22444] ppid=22183 vsize=8807348 memory=8901644 CPUtime=0 cores=0-7
/proc/22233/task/22444/stat : 22444 (java) S 22183 22186 22055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 500051887 9018724352 40671 33554432000 4194304 4196468 140723067356432 139977279136416 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22447] ppid=22183 vsize=8807348 memory=7800347054333912148 CPUtime=0 cores=0-7
/proc/22233/task/22447/stat : 22447 (java) S 22183 22186 22055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 500051890 9018724352 40671 33554432000 4194304 4196468 140723067356432 139977010701600 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
Current cumulated CPU time of completed processes: 348.282 s
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 8807348 KiB
Current children cumulated memory: 162684 KiB

[startup+2520.8 s]
/proc/loadavg: 1.03 1.08 0.99 2/217 22447
/proc/meminfo: memFree=16735300/32770624 swapFree=66966876/67108860
[pid=22233] ppid=22183 vsize=8545196 memory=162668 CPUtime=2241.78 cores=0-7
/proc/22233/stat : 22233 (java) S 22183 22186 22055 0 -1 1077944320 24306 32339994 0 0 294 125 221157 2602 20 0 23 0 499828082 8750280704 40667 33554432000 4194304 4196468 140723067356432 140723067338976 139981012684535 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
/proc/22233/statm: 2136299 40667 3227 1 0 2097643 0
[pid=22233/tid=22234] ppid=22183 vsize=8545196 memory=932 CPUtime=2238.72 cores=0-7
/proc/22233/task/22234/stat : 22234 (java) S 22183 22186 22055 0 -1 1077944384 17486 32339994 0 0 89 24 221157 2602 20 0 23 0 499828083 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980984524704 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22235] ppid=22183 vsize=8545196 memory=1568 CPUtime=2237.59 cores=0-7
/proc/22233/task/22235/stat : 22235 (java) S 22183 22186 22055 0 -1 1077944384 1 32339994 0 0 0 0 221157 2602 20 0 23 0 499828084 8750280704 40667 33554432000 4194304 4196468 140723067356432 139981016927248 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22236] ppid=22183 vsize=8545196 memory=1444 CPUtime=2237.59 cores=0-7
/proc/22233/task/22236/stat : 22236 (java) S 22183 22186 22055 0 -1 1077944384 3 32339994 0 0 0 0 221157 2602 20 0 23 0 499828084 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980837223568 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22237] ppid=22183 vsize=8545196 memory=864 CPUtime=2237.59 cores=0-7
/proc/22233/task/22237/stat : 22237 (java) S 22183 22186 22055 0 -1 1077944384 2 32339994 0 0 0 0 221157 2602 20 0 23 0 499828084 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980497013520 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22238] ppid=22183 vsize=8545196 memory=1976 CPUtime=2237.59 cores=0-7
/proc/22233/task/22238/stat : 22238 (java) S 22183 22186 22055 0 -1 1077944384 2 32339994 0 0 0 0 221157 2602 20 0 23 0 499828084 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980495960976 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22239] ppid=22183 vsize=8545196 memory=2496 CPUtime=2237.59 cores=0-7
/proc/22233/task/22239/stat : 22239 (java) S 22183 22186 22055 0 -1 1077944384 1 32339994 0 0 0 0 221157 2602 20 0 23 0 499828084 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980494907920 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22240] ppid=22183 vsize=8545196 memory=1760 CPUtime=2237.59 cores=0-7
/proc/22233/task/22240/stat : 22240 (java) S 22183 22186 22055 0 -1 1077944384 2 32339994 0 0 0 0 221157 2602 20 0 23 0 499828084 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980493855376 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22241] ppid=22183 vsize=8545196 memory=-8960589214903464338 CPUtime=2237.59 cores=0-7
/proc/22233/task/22241/stat : 22241 (java) S 22183 22186 22055 0 -1 1077944384 1 32339994 0 0 0 0 221157 2602 20 0 23 0 499828084 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980492802320 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22242] ppid=22183 vsize=8545196 memory=804 CPUtime=2237.59 cores=0-7
/proc/22233/task/22242/stat : 22242 (java) S 22183 22186 22055 0 -1 1077944384 1 32339994 0 0 0 0 221157 2602 20 0 23 0 499828084 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980491749776 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22243] ppid=22183 vsize=8545196 memory=4100 CPUtime=2237.65 cores=0-7
/proc/22233/task/22243/stat : 22243 (java) S 22183 22186 22055 0 -1 1077944384 13 32339994 0 0 3 3 221157 2602 20 0 23 0 499828086 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980307454208 139981012695682 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22244] ppid=22183 vsize=8545196 memory=1808 CPUtime=2237.59 cores=0-7
/proc/22233/task/22244/stat : 22244 (java) S 22183 22186 22055 0 -1 1077944384 13 32339994 0 0 0 0 221157 2602 20 0 23 0 499828086 8750280704 40667 33554432000 4194304 4196468 140723067356432 139979627947680 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22245] ppid=22183 vsize=8545196 memory=920 CPUtime=2237.59 cores=0-7
/proc/22233/task/22245/stat : 22245 (java) S 22183 22186 22055 0 -1 1077944384 1 32339994 0 0 0 0 221157 2602 20 0 23 0 499828086 8750280704 40667 33554432000 4194304 4196468 140723067356432 139979359511792 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22246] ppid=22183 vsize=8545196 memory=4064 CPUtime=2237.59 cores=0-7
/proc/22233/task/22246/stat : 22246 (java) S 22183 22186 22055 0 -1 1077944384 31 32339994 0 0 0 0 221157 2602 20 0 23 0 499828089 8750280704 40667 33554432000 4194304 4196468 140723067356432 139978985003120 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22247] ppid=22183 vsize=8545196 memory=1412 CPUtime=2237.81 cores=0-7
/proc/22233/task/22247/stat : 22247 (java) S 22183 22186 22055 0 -1 1077944384 806 32339994 0 0 22 0 221157 2602 20 0 23 0 499828089 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980306401520 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22248] ppid=22183 vsize=8545196 memory=3700 CPUtime=2237.83 cores=0-7
/proc/22233/task/22248/stat : 22248 (java) S 22183 22186 22055 0 -1 1077944384 886 32339994 0 0 23 1 221157 2602 20 0 23 0 499828089 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980305348976 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22249] ppid=22183 vsize=8545196 memory=1476 CPUtime=2237.88 cores=0-7
/proc/22233/task/22249/stat : 22249 (java) S 22183 22186 22055 0 -1 1077944384 579 32339994 0 0 29 0 221157 2602 20 0 23 0 499828089 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980304295920 139981012695682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22250] ppid=22183 vsize=8545196 memory=8128 CPUtime=2237.89 cores=0-7
/proc/22233/task/22250/stat : 22250 (java) S 22183 22186 22055 0 -1 1077944384 1220 32339994 0 0 29 1 221157 2602 20 0 23 0 499828089 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980303238752 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22251] ppid=22183 vsize=8545196 memory=10492 CPUtime=2237.59 cores=0-7
/proc/22233/task/22251/stat : 22251 (java) S 22183 22186 22055 0 -1 1077944384 3 32339994 0 0 0 0 221157 2602 20 0 23 0 499828090 8750280704 40667 33554432000 4194304 4196468 140723067356432 139978487098336 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22254] ppid=22183 vsize=8545196 memory=1476 CPUtime=2237.59 cores=0-7
/proc/22233/task/22254/stat : 22254 (java) S 22183 22186 22055 0 -1 1077944384 24 32339994 0 0 0 0 221157 2602 20 0 23 0 499828194 8750280704 40667 33554432000 4194304 4196468 140723067356432 139980300578000 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22258] ppid=22183 vsize=8545196 memory=152444 CPUtime=2237.59 cores=0-7
/proc/22233/task/22258/stat : 22258 (java) S 22183 22186 22055 0 -1 1077944384 6 32339994 0 0 0 0 221157 2602 20 0 23 0 499828197 8750280704 40667 33554432000 4194304 4196468 140723067356432 139977547559456 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22444] ppid=22183 vsize=8545196 memory=8901660 CPUtime=2237.59 cores=0-7
/proc/22233/task/22444/stat : 22444 (java) S 22183 22186 22055 0 -1 1077944384 3 32339994 0 0 0 0 221157 2602 20 0 23 0 500051887 8750280704 40667 33554432000 4194304 4196468 140723067356432 139977279135568 139981012694741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
[pid=22233/tid=22447] ppid=22183 vsize=8545196 memory=2020 CPUtime=2237.77 cores=0-7
/proc/22233/task/22447/stat : 22447 (java) R 22183 22186 22055 0 -1 4202560 2 32339994 0 0 0 18 221157 2602 20 0 23 0 500051890 8750280704 40667 33554432000 4194304 4196468 140723067356432 139977010701600 139981005370167 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32583680 140723067360223 140723067360390 140723067360390 140723067363279 0
Current cumulated CPU time of completed processes: 348.282 s
Current children cumulated CPU time: 2241.78 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 162668 KiB

Child status: 1
Real time (s): 2520.82
CPU time (s): 2590.09
CPU user time (s): 2546.29
CPU system time (s): 43.8
CPU usage (%): 102.748
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 10635900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2546.29
system time used= 43.8
maximum resident set size= 10634600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32493650
page faults= 0
swaps= 0
block input operations= 9648
block output operations= 2548776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69550
involuntary context switches= 2677


# summary of solver processes directly reported to runsolver:
#   pid: 22186,22233
#   total CPU time (s): 2590.09
#   total CPU user time (s): 2546.29
#   total CPU system time (s): 43.8

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9041 second user time and 25.7201 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-23 13:36:32
IDJOB=4405687
IDBENCH=120726
IDSOLVER=2868
FILE ID=node145/4405687-1569238634
RUNJOBID= node145-1569238586-22082
PBS_JOBID= 21704897
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K13-P08.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405687-1569238634/watcher-4405687-1569238634 -o /var/tmp/evaluation-result-4405687-1569238634/solver-4405687-1569238634 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569238586-22082 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405687-1569238634.xml

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

MD5SUM BENCH= f6de09233a74707b341bbe4fbe6d65e2
RANDOM SEED=1320727312

node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25819192 kB
MemAvailable:   31812308 kB
Buffers:          131540 kB
Cached:          6014604 kB
SwapCached:        32460 kB
Active:          3009504 kB
Inactive:        3169856 kB
Active(anon):       3088 kB
Inactive(anon):    88008 kB
Active(file):    3006416 kB
Inactive(file):  3081848 kB
Unevictable:      110616 kB
Mlocked:          110616 kB
SwapTotal:      67108860 kB
SwapFree:       66966876 kB
Dirty:             20504 kB
Writeback:             0 kB
AnonPages:        113004 kB
Mapped:            55604 kB
Shmem:             48844 kB
Slab:             362216 kB
SReclaimable:     333312 kB
SUnreclaim:        28904 kB
KernelStack:        3408 kB
PageTables:         5156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node145 at 2019-09-23 14:18:33