Trace number 4392704

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-06-15)UNSAT 5426.3 1690.99

General information on the benchmark

NameRandom/Random-m1-5-12-12t/
rand-5-12-12-200-t85-8.xml
MD5SUM99ba47a6bc0c62f84cd44bdd38bc871f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.7157
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree74
Maximum variable degree95
Distribution of variable degrees[{"degree":74,"count":1},{"degree":75,"count":1},{"degree":78,"count":1},{"degree":79,"count":1},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":85,"count":2},{"degree":86,"count":1},{"degree":90,"count":2},{"degree":95,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
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-13710-serial-file.bin HOME/instance-4392704-1568417035.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: Sat Sep 14 00:22:40 CEST 2019
0.65/0.57	c PID: 13713
0.65/0.57	c IP: 172.20.3.106
0.65/0.57	c HOST: node106.alineos.net
0.65/0.57	c (0,0) Parsing Begin
19.26/11.96	c (11,10) Parsing End
19.26/11.97	c (11,10) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12
19.26/11.97	c (11,10) Heap : 1344 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
19.26/11.97	c (11,10) Constraint Name Generate Begin
19.26/11.98	c (11,10) Ctr:HOME/instance-4392704-1568417035.xml,ExtensionSupport:Var
19.26/11.98	c (11,10) Constraint Name Generate End
19.26/11.98	c (11,10) Heap : 1380 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
19.26/11.98	c (11,10) CSP to CSPinCNF Begin
114.95/81.51	c (80,77) translated 20 (10%) constraints
208.46/154.34	c (153,147) translated 40 (20%) constraints
291.66/225.48	c (224,217) translated 60 (30%) constraints
375.14/296.66	c (296,286) translated 80 (40%) constraints
456.89/367.62	c (367,355) translated 100 (50%) constraints
542.62/438.97	c (438,425) translated 120 (60%) constraints
626.09/510.17	c (509,494) translated 140 (70%) constraints
706.24/580.94	c (580,563) translated 160 (80%) constraints
790.34/652.33	c (651,633) translated 180 (90%) constraints
875.16/723.90	c (723,703) translated 200 (100%) constraints
878.56/727.36	c (726,706) ===========================================
882.01/730.71	c (730,709) Hybrid: #OE=610793, #LE=0
882.01/730.71	c (730,709) Hybrid
882.01/730.71	c (730,709) ===========================================
909.49/754.19	c (753,732) translated 1022787 (10%) constraints
938.71/777.98	c (777,755) translated 2045574 (20%) constraints
968.36/801.89	c (801,779) translated 3068361 (30%) constraints
997.66/825.64	c (825,801) translated 4091147 (40%) constraints
1027.07/849.51	c (848,825) translated 5113934 (50%) constraints
1062.31/874.01	c (873,848) translated 6136721 (60%) constraints
1091.30/897.88	c (897,871) translated 7159507 (70%) constraints
1120.61/921.82	c (921,894) translated 8182294 (80%) constraints
1150.07/945.74	c (945,917) translated 9205081 (90%) constraints
1179.47/969.61	c (969,940) translated 10227867 (100%) constraints
1179.47/969.61	c (969,940) CSP to CSPinCNF End
1179.69/969.83	c (969,940) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1179.69/969.83	c (969,940) Heap : 17886 MiB used (max 21926 MiB), NonHeap : 26 MiB used (max 0 MiB)
1179.69/969.83	c (969,940) CSPinCNF Propagation Begin
1578.32/1069.43	c (1068,996) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
1578.32/1069.43	c (1068,996) CSPinCNF Propagation End
1578.52/1069.66	c (1069,996) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1578.52/1069.66	c (1069,996) Heap : 18150 MiB used (max 21782 MiB), NonHeap : 27 MiB used (max 0 MiB)
1581.33/1072.46	c (1071,999) Hybrid: #OE=610793, #LE=0
1581.33/1072.46	c (1071,999) Simplify CSPinCNF Begin
1751.39/1112.95	c (1112,1021) Simplify CSPinCNF End
1751.60/1113.17	c (1112,1021) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1751.60/1113.17	c (1112,1021) Heap : 14403 MiB used (max 21262 MiB), NonHeap : 27 MiB used (max 0 MiB)
1751.60/1113.17	c (1112,1021) Calculate Precise Domain Begin
1751.60/1113.17	c (1112,1021) 0 values are removed by re-calculation
1751.60/1113.17	c (1112,1021) Calculate Precise Domain End
1751.79/1113.39	c (1112,1021) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1751.79/1113.39	c (1112,1021) Heap : 14403 MiB used (max 21262 MiB), NonHeap : 27 MiB used (max 0 MiB)
1751.79/1113.39	c (1112,1021) CSPinCNF to SatSolver Begin
1770.09/1125.51	c (1124,1033) 1022787 (10 %) CSP clauses are encoded (0 SAT variables, 1022906 SAT clauses)
1787.48/1136.69	c (1136,1043) 2045574 (20 %) CSP clauses are encoded (0 SAT variables, 2045693 SAT clauses)
1807.10/1148.31	c (1147,1053) 3068361 (30 %) CSP clauses are encoded (0 SAT variables, 3068480 SAT clauses)
1842.97/1161.85	c (1161,1064) 4091147 (40 %) CSP clauses are encoded (0 SAT variables, 4091266 SAT clauses)
1876.80/1175.13	c (1174,1074) 5113934 (50 %) CSP clauses are encoded (0 SAT variables, 5114053 SAT clauses)
1911.97/1188.56	c (1188,1084) 6136721 (60 %) CSP clauses are encoded (0 SAT variables, 6136840 SAT clauses)
1945.42/1201.73	c (1201,1095) 7159507 (70 %) CSP clauses are encoded (0 SAT variables, 7159626 SAT clauses)
1970.94/1213.87	c (1213,1105) 8182294 (80 %) CSP clauses are encoded (0 SAT variables, 8182413 SAT clauses)
1992.54/1225.55	c (1225,1115) 9205081 (90 %) CSP clauses are encoded (0 SAT variables, 9205200 SAT clauses)
2019.34/1237.89	c (1237,1125) 10227867 (100 %) CSP clauses are encoded (0 SAT variables, 10227986 SAT clauses)
2019.34/1237.89	c (1237,1125) CSPinCNF to SatSolver End
2019.34/1237.89	c (1237,1125) Heap : 17337 MiB used (max 20808 MiB), NonHeap : 29 MiB used (max 0 MiB)
2019.34/1237.89	c (1237,1125) 610913 bool, 10227987 clause
2019.34/1237.89	c (1237,1125) Export Begin
2019.45/1237.98	c (1237,1125) Export to HOME/scop-13710-serial-file.bin
2019.45/1237.98	c (1237,1125) Export End
2019.45/1237.98	c (1237,1125) Export File Size: 0.00 MB
2019.45/1237.98	c (1237,1125) 11,11,969,1069,1112,1112,1237,STOP-AFTER(DIMACS)
2019.45/1237.98	c END-Prog: Sat Sep 14 00:43:18 CEST 2019
0.00/1238.10	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13710-serial-file.bin
2019.72/1238.57	c (0,0) Read Serial File Begin
2019.72/1238.57	c (0,0) HOME/scop-13710-serial-file.bin
2019.72/1238.77	c (0,0) Read Serial File End
2019.72/1238.78	
2019.72/1238.78	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
2019.72/1238.78	(Solving Process)
2019.72/1238.78	
2019.72/1238.80	c BEGIN-Prog: Sat Sep 14 00:43:19 CEST 2019
2019.72/1238.80	c PID: 13829
2019.72/1238.80	c IP: 172.20.3.106
2019.72/1238.80	c HOST: node106.alineos.net
2019.72/1238.81	c (0,0) SatSolver.solve Begin
2019.72/1238.81	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392704-1568417035.xml-scop-13713.cnf
2019.72/1238.84	c (0,0) c
2019.72/1238.84	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)
2019.72/1238.84	c (0,0) c
2019.72/1238.84	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
2019.72/1238.84	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
2019.72/1238.84	c (0,0) c ========================================[ Problem Statistics ]===========================================
2019.72/1238.84	c (0,0) c |                                                                                                       |
2024.63/1242.61	c (4,0) c |  Number of variables:        610913                                                                   |
2024.63/1242.61	c (4,0) c |  Number of clauses:        10227987                                                                   |
2024.63/1242.61	c (4,0) c |  Parse time:                   3.47 s                                                                 |
2024.63/1242.61	c (4,0) c |                                                                                                       |
2025.63/1243.64	c (5,0) c | Too many clauses... No preprocessing                                                                  |
2025.63/1243.64	c (5,0) c |  Simplification time:          0.96 s                                                                 |
2025.63/1243.64	c (5,0) c |                                                                                                       |
2025.63/1243.66	c (5,0) c |  Generating clones                                                                                    |
2027.93/1245.96	c (7,0) c |  all clones generated. Memory =  5460.21Mb.                                                           |
2027.93/1245.96	c (7,0) c ========================================================================================================|
2027.93/1245.96	c (7,0) c
2027.93/1245.96	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2027.93/1245.96	c (7,0) c
2027.93/1245.96	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2027.93/1245.96	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2027.93/1245.96	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2027.93/1245.96	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2027.93/1245.96	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
2027.93/1245.96	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2027.93/1245.96	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
2027.93/1245.96	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2027.93/1245.96	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2027.93/1245.96	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2027.93/1245.96	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2027.93/1245.96	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2027.93/1245.96	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2027.93/1245.96	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2027.93/1245.96	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
2027.93/1245.96	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2027.93/1245.96	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2027.93/1245.96	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2027.93/1245.96	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2248.30/1275.71	c (37,0) c
2248.30/1275.71	c (37,0) c |------------------------------------------------------------------------------------------------------------------------|
2248.30/1275.71	c (37,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2248.30/1275.71	c (37,0) c |------------------------------------------------------------------------------------------------------------------------|
2248.30/1275.71	c (37,0) c |  0 |      3 |       3668 |       2439 |    52230 |     1449 |       17 |       63 |        0 |       99 |  20 |  0.000 |
2248.30/1275.71	c (37,0) c |  1 |      1 |        801 |        453 |    34296 |      453 |       13 |        0 |        0 |      115 |  20 |  0.000 |
2248.30/1275.71	c (37,0) c |  2 |      2 |        602 |        344 |    28165 |      344 |       22 |       60 |        0 |      113 |  20 |  0.000 |
2248.30/1275.71	c (37,0) c |  3 |      3 |        871 |        508 |    27652 |      508 |        7 |       84 |        0 |      119 |  20 |  0.000 |
2248.30/1275.71	c (37,0) c |  4 |      1 |        410 |        275 |    11922 |      275 |        9 |        0 |        0 |      105 |  20 |  0.000 |
2248.30/1275.71	c (37,0) c |  5 |      2 |        534 |        323 |    15342 |      323 |       23 |       27 |        1 |      112 |  20 |  0.000 |
2248.30/1275.71	c (37,0) c |  6 |      2 |        565 |        370 |    16785 |      370 |        8 |       49 |        0 |      113 |  20 |  0.000 |
2248.30/1275.71	c (37,0) c |  7 |      2 |        835 |        493 |    25443 |      492 |       17 |       84 |        1 |      119 |  20 |  0.000 |
2248.30/1275.71	c (37,0) c 
2248.30/1275.71	c (37,0) c synthesis        5205 conflicts   277834555 propagations       27 conflicts/sec  1415248 propagations/sec
2248.30/1275.71	c (37,0) c real: 36.8779 s, cpu: 196.315 s, memory: 7004.18 Mb
2476.14/1304.71	c (66,0) c
2476.14/1304.71	c (66,0) c |------------------------------------------------------------------------------------------------------------------------|
2476.14/1304.71	c (66,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2476.14/1304.71	c (66,0) c |------------------------------------------------------------------------------------------------------------------------|
2476.14/1304.71	c (66,0) c |  0 |      4 |       6268 |       4395 |    65353 |     3405 |       49 |      180 |        0 |      219 |  20 |  0.000 |
2476.14/1304.71	c (66,0) c |  1 |      1 |       1301 |        806 |    46373 |      806 |       20 |        0 |        0 |      224 |  20 |  0.000 |
2476.14/1304.71	c (66,0) c |  2 |      2 |       1695 |       1082 |    42739 |     1082 |       36 |       60 |        0 |      237 |  20 |  0.000 |
2476.14/1304.71	c (66,0) c |  3 |      3 |       2640 |       1722 |    48669 |     1722 |       45 |       84 |        0 |      229 |  20 |  0.000 |
2476.14/1304.71	c (66,0) c |  4 |      2 |       1430 |        978 |    30727 |      978 |       24 |      107 |        7 |      229 |  20 |  0.000 |
2476.14/1304.71	c (66,0) c |  5 |      2 |       1666 |       1001 |    26555 |     1001 |       39 |       27 |        1 |      236 |  20 |  0.000 |
2476.14/1304.71	c (66,0) c |  6 |      2 |       2451 |       1735 |    34288 |     1735 |       27 |       49 |        0 |      237 |  20 |  0.000 |
2476.14/1304.71	c (66,0) c |  7 |      2 |       1548 |        934 |    46126 |      934 |       26 |       84 |        3 |      239 |  20 |  0.000 |
2476.14/1304.71	c (66,0) c 
2476.14/1304.71	c (66,0) c synthesis       12653 conflicts   611968893 propagations       30 conflicts/sec  1451992 propagations/sec
2476.14/1304.71	c (66,0) c real: 65.8782 s, cpu: 421.469 s, memory: 7111.15 Mb
2697.58/1333.71	c (95,0) c
2697.58/1333.71	c (95,0) c |------------------------------------------------------------------------------------------------------------------------|
2697.58/1333.71	c (95,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2697.58/1333.71	c (95,0) c |------------------------------------------------------------------------------------------------------------------------|
2697.58/1333.71	c (95,0) c |  0 |      6 |       8001 |       5676 |    79929 |     4686 |      177 |      229 |        0 |      340 |  20 |  0.000 |
2697.58/1333.71	c (95,0) c |  1 |      1 |       1664 |       1107 |    51192 |     1107 |       21 |        0 |        0 |      329 |  20 |  0.000 |
2697.58/1333.71	c (95,0) c |  2 |      2 |       2533 |       1651 |    57988 |     1651 |       46 |       60 |        2 |      345 |  20 |  0.000 |
2697.58/1333.71	c (95,0) c |  3 |      5 |       3694 |       2501 |    60320 |     1507 |       67 |      221 |        0 |      325 |  20 |  0.000 |
2697.58/1333.71	c (95,0) c |  4 |      2 |       2653 |       1786 |    55875 |     1786 |       35 |      107 |        9 |      345 |  20 |  0.000 |
2697.58/1333.71	c (95,0) c |  5 |      2 |       2320 |       1535 |    33206 |     1535 |       53 |       27 |        1 |      345 |  20 |  0.000 |
2697.58/1333.71	c (95,0) c |  6 |      2 |       3812 |       2834 |    43630 |     1833 |       36 |       49 |        0 |      345 |  20 |  0.000 |
2697.58/1333.71	c (95,0) c |  7 |      2 |       2162 |       1344 |    61778 |     1344 |       30 |       84 |        3 |      341 |  20 |  0.000 |
2697.58/1333.71	c (95,0) c 
2697.58/1333.71	c (95,0) c synthesis       18434 conflicts   902869230 propagations       29 conflicts/sec  1410629 propagations/sec
2697.58/1333.71	c (95,0) c real: 94.8782 s, cpu: 640.047 s, memory: 7128.88 Mb
2926.06/1363.71	c (125,0) c
2926.06/1363.71	c (125,0) c |------------------------------------------------------------------------------------------------------------------------|
2926.06/1363.71	c (125,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2926.06/1363.71	c (125,0) c |------------------------------------------------------------------------------------------------------------------------|
2926.06/1363.71	c (125,0) c |  0 |      6 |       8690 |       6268 |    88809 |     5278 |      242 |      229 |        0 |      457 |  20 |  0.000 |
2926.06/1363.71	c (125,0) c |  1 |      2 |       3395 |       2250 |    66650 |     1254 |       39 |      464 |        4 |      448 |  20 |  0.000 |
2926.06/1363.71	c (125,0) c |  2 |      2 |       3260 |       2160 |    69925 |     1167 |       60 |       60 |        5 |      458 |  20 |  0.000 |
2926.06/1363.71	c (125,0) c |  3 |      5 |       5852 |       4181 |    77254 |     3187 |       98 |      221 |        1 |      438 |  20 |  0.000 |
2926.06/1363.71	c (125,0) c |  4 |      2 |       3496 |       2389 |    73814 |     1393 |       45 |      107 |       10 |      458 |  20 |  0.000 |
2926.06/1363.71	c (125,0) c |  5 |      2 |       2917 |       2042 |    42419 |     1046 |       61 |       27 |        1 |      458 |  20 |  0.000 |
2926.06/1363.71	c (125,0) c |  6 |      2 |       5550 |       4158 |    52044 |     3157 |       71 |       49 |        0 |      456 |  20 |  0.000 |
2926.06/1363.71	c (125,0) c |  7 |      2 |       3154 |       2017 |    73616 |     1018 |       47 |       84 |        3 |      458 |  20 |  0.000 |
2926.06/1363.71	c (125,0) c 
2926.06/1363.71	c (125,0) c synthesis       25465 conflicts  1215264509 propagations       29 conflicts/sec  1403673 propagations/sec
2926.06/1363.71	c (125,0) c real: 124.878 s, cpu: 865.775 s, memory: 7140.92 Mb
3152.22/1393.72	c (155,0) c
3152.22/1393.72	c (155,0) c |------------------------------------------------------------------------------------------------------------------------|
3152.22/1393.72	c (155,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3152.22/1393.72	c (155,0) c |------------------------------------------------------------------------------------------------------------------------|
3152.22/1393.72	c (155,0) c |  0 |      6 |       9611 |       7039 |    97888 |     3246 |      355 |      229 |        0 |      569 |  20 |  0.000 |
3152.22/1393.72	c (155,0) c |  1 |      2 |       5577 |       3827 |    82097 |     2831 |       50 |      464 |        4 |      572 |  20 |  0.000 |
3152.22/1393.72	c (155,0) c |  2 |      2 |       4050 |       2726 |    77315 |     1733 |       74 |       60 |        5 |      574 |  20 |  0.000 |
3152.22/1393.72	c (155,0) c |  3 |      8 |       9961 |       6978 |   101539 |     3183 |      491 |      645 |        4 |      557 |  20 |  0.000 |
3152.22/1393.72	c (155,0) c |  4 |      2 |       4208 |       2896 |    85102 |     1900 |       53 |      107 |       10 |      573 |  20 |  0.000 |
3152.22/1393.72	c (155,0) c |  5 |      3 |       3689 |       2626 |    51117 |     1630 |       67 |      976 |        4 |      572 |  20 |  0.000 |
3152.22/1393.72	c (155,0) c |  6 |      2 |       6724 |       5088 |    58507 |     4087 |      124 |       49 |        0 |      570 |  20 |  0.000 |
3152.22/1393.72	c (155,0) c |  7 |      5 |       4045 |       2563 |    82607 |     1564 |       56 |     1081 |        4 |      577 |  20 |  0.000 |
3152.22/1393.72	c (155,0) c 
3152.22/1393.72	c (155,0) c synthesis       33743 conflicts  1517029494 propagations       31 conflicts/sec  1391869 propagations/sec
3152.22/1393.72	c (155,0) c real: 154.886 s, cpu: 1089.92 s, memory: 7158.26 Mb
3380.25/1423.71	c (185,0) c
3380.25/1423.71	c (185,0) c |------------------------------------------------------------------------------------------------------------------------|
3380.25/1423.71	c (185,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3380.25/1423.71	c (185,0) c |------------------------------------------------------------------------------------------------------------------------|
3380.25/1423.71	c (185,0) c |  0 |      6 |      10666 |       7933 |   105855 |     4140 |      461 |      229 |        0 |      687 |  20 |  0.000 |
3380.25/1423.71	c (185,0) c |  1 |      2 |       9272 |       6511 |   108393 |     5515 |      409 |      464 |        4 |      692 |  20 |  0.000 |
3380.25/1423.71	c (185,0) c |  2 |      4 |       5134 |       3433 |    95653 |     2440 |       95 |     1306 |       10 |      695 |  20 |  0.000 |
3380.25/1423.71	c (185,0) c |  3 |      8 |      11697 |       8311 |   111043 |     4516 |      720 |      645 |        4 |      675 |  20 |  0.000 |
3380.25/1423.71	c (185,0) c |  4 |      2 |       5123 |       3560 |    96262 |     2564 |       65 |      107 |       13 |      695 |  20 |  0.000 |
3380.25/1423.71	c (185,0) c |  5 |      4 |       4671 |       3358 |    63129 |     2362 |       91 |     1150 |        4 |      695 |  20 |  0.000 |
3380.25/1423.71	c (185,0) c |  6 |      4 |       9183 |       6931 |    74718 |     3134 |      572 |     1193 |        1 |      695 |  20 |  0.000 |
3380.25/1423.71	c (185,0) c |  7 |      5 |       5183 |       3337 |    95258 |     2338 |       66 |     1081 |        6 |      695 |  20 |  0.000 |
3380.25/1423.71	c (185,0) c 
3380.25/1423.71	c (185,0) c synthesis       43374 conflicts  1813786038 propagations       33 conflicts/sec  1378596 propagations/sec
3380.25/1423.71	c (185,0) c real: 184.878 s, cpu: 1315.68 s, memory: 7172.25 Mb
3607.34/1453.71	c (215,0) c
3607.34/1453.71	c (215,0) c |------------------------------------------------------------------------------------------------------------------------|
3607.34/1453.71	c (215,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3607.34/1453.71	c (215,0) c |------------------------------------------------------------------------------------------------------------------------|
3607.34/1453.71	c (215,0) c |  0 |      6 |      12198 |       9177 |   114426 |     5384 |      577 |      229 |        0 |      810 |  20 |  0.000 |
3607.34/1453.71	c (215,0) c |  1 |      3 |      11503 |       8179 |   122689 |     4388 |      719 |     2237 |        4 |      812 |  20 |  0.000 |
3607.34/1453.71	c (215,0) c |  2 |      6 |       6854 |       4379 |   113803 |     3386 |      111 |     3039 |       11 |      810 |  20 |  0.000 |
3607.34/1453.71	c (215,0) c |  3 |      9 |      14063 |      10141 |   123311 |     6346 |      928 |     2157 |       10 |      794 |  20 |  0.000 |
3607.34/1453.71	c (215,0) c |  4 |      2 |       5958 |       4172 |   105232 |     3176 |       82 |      107 |       14 |      813 |  20 |  0.000 |
3607.34/1453.71	c (215,0) c |  5 |      4 |       5421 |       3908 |    73973 |     2912 |      107 |     1150 |        8 |      813 |  20 |  0.000 |
3607.34/1453.71	c (215,0) c |  6 |      4 |      11644 |       8857 |    88434 |     4213 |      977 |     2498 |        1 |      811 |  20 |  0.006 |
3607.34/1453.71	c (215,0) c |  7 |      7 |       6366 |       4251 |   103858 |     3252 |       85 |     2658 |        6 |      812 |  20 |  0.000 |
3607.34/1453.71	c (215,0) c 
3607.34/1453.71	c (215,0) c synthesis       53064 conflicts  2078351834 propagations       34 conflicts/sec  1349041 propagations/sec
3607.34/1453.71	c (215,0) c real: 214.878 s, cpu: 1540.61 s, memory: 7189.84 Mb
3837.70/1482.71	c (244,0) c
3837.70/1482.71	c (244,0) c |------------------------------------------------------------------------------------------------------------------------|
3837.70/1482.71	c (244,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3837.70/1482.71	c (244,0) c |------------------------------------------------------------------------------------------------------------------------|
3837.70/1482.71	c (244,0) c |  0 |      8 |      16043 |      12213 |   135017 |     8344 |      951 |     3342 |       27 |      930 |  20 |  0.006 |
3837.70/1482.71	c (244,0) c |  1 |      3 |      13493 |       9753 |   131323 |     5961 |      833 |     2918 |        5 |      926 |  20 |  0.006 |
3837.70/1482.71	c (244,0) c |  2 |      7 |       7780 |       4891 |   124697 |     3884 |      138 |     4022 |       13 |      918 |  20 |  0.006 |
3837.70/1482.71	c (244,0) c |  3 |      9 |      17088 |      12633 |   141598 |     8838 |     1274 |     2157 |       15 |      914 |  20 |  0.000 |
3837.70/1482.71	c (244,0) c |  4 |      2 |       7130 |       5019 |   119056 |     4023 |      102 |      107 |       16 |      932 |  20 |  0.000 |
3837.70/1482.71	c (244,0) c |  5 |      4 |       6483 |       4677 |    85836 |     3681 |      125 |     1150 |       10 |      931 |  20 |  0.000 |
3837.70/1482.71	c (244,0) c |  6 |      4 |      12410 |       9468 |    93167 |     4824 |     1086 |     2498 |        2 |      912 |  20 |  0.006 |
3837.70/1482.71	c (244,0) c |  7 |      7 |       7165 |       4913 |   109893 |     3914 |      110 |     2658 |        6 |      926 |  20 |  0.000 |
3837.70/1482.71	c (244,0) c 
3837.70/1482.71	c (244,0) c synthesis       63567 conflicts  2330027506 propagations       36 conflicts/sec  1318093 propagations/sec
3837.70/1482.71	c (244,0) c real: 243.878 s, cpu: 1767.73 s, memory: 7197.89 Mb
4063.60/1511.71	c (273,0) c
4063.60/1511.71	c (273,0) c |------------------------------------------------------------------------------------------------------------------------|
4063.60/1511.71	c (273,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4063.60/1511.71	c (273,0) c |------------------------------------------------------------------------------------------------------------------------|
4063.60/1511.71	c (273,0) c |  0 |      9 |      20080 |      15544 |   146736 |     6714 |     1360 |     3630 |       58 |     1044 |  20 |  0.006 |
4063.60/1511.71	c (273,0) c |  1 |      3 |      17090 |      12542 |   151597 |     8750 |     1305 |     2918 |       18 |     1032 |  20 |  0.006 |
4063.60/1511.71	c (273,0) c |  2 |      7 |       8653 |       5456 |   135440 |     4449 |      284 |     4022 |       16 |     1031 |  20 |  0.006 |
4063.60/1511.71	c (273,0) c |  3 |     11 |      19385 |      14450 |   152017 |     5652 |     1547 |     4674 |       38 |     1037 |  20 |  0.006 |
4063.60/1511.71	c (273,0) c |  4 |      2 |       8075 |       5722 |   130793 |     4726 |      237 |      107 |       16 |     1043 |  20 |  0.000 |
4063.60/1511.71	c (273,0) c |  5 |      4 |       8038 |       5895 |   101359 |     4899 |      313 |     1150 |       10 |     1044 |  20 |  0.000 |
4063.60/1511.71	c (273,0) c |  6 |      4 |      14216 |      10836 |   100346 |     6191 |     1291 |     4664 |        2 |     1029 |  20 |  0.006 |
4063.60/1511.71	c (273,0) c |  7 |      8 |       8265 |       5763 |   118447 |     4763 |      206 |     5262 |        7 |     1044 |  20 |  0.006 |
4063.60/1511.71	c (273,0) c 
4063.60/1511.71	c (273,0) c synthesis       76208 conflicts  2576438451 propagations       38 conflicts/sec  1293831 propagations/sec
4063.60/1511.71	c (273,0) c real: 272.878 s, cpu: 1991.32 s, memory: 7203.35 Mb
4297.46/1541.71	c (303,0) c
4297.46/1541.71	c (303,0) c |------------------------------------------------------------------------------------------------------------------------|
4297.46/1541.71	c (303,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4297.46/1541.71	c (303,0) c |------------------------------------------------------------------------------------------------------------------------|
4297.46/1541.71	c (303,0) c |  0 |      9 |      23037 |      17929 |   156775 |     9099 |     1676 |     3630 |       67 |     1160 |  20 |  0.006 |
4297.46/1541.71	c (303,0) c |  1 |      3 |      20500 |      15427 |   163721 |     6632 |     1674 |     2918 |       22 |     1140 |  20 |  0.006 |
4297.46/1541.71	c (303,0) c |  2 |      8 |      10431 |       6663 |   157135 |     2864 |      584 |     6188 |       27 |     1160 |  20 |  0.006 |
4297.46/1541.71	c (303,0) c |  3 |     13 |      24257 |      18344 |   174360 |     9545 |     2015 |     5449 |      122 |     1160 |  20 |  0.006 |
4297.46/1541.71	c (303,0) c |  4 |      2 |       9870 |       7058 |   145663 |     3266 |      497 |      107 |       17 |     1160 |  20 |  0.000 |
4297.46/1541.71	c (303,0) c |  5 |      4 |       9329 |       6976 |   113036 |     3185 |      546 |     1150 |       10 |     1160 |  20 |  0.000 |
4297.46/1541.71	c (303,0) c |  6 |      4 |      17887 |      13730 |   115485 |     9085 |     1703 |     4664 |       21 |     1150 |  20 |  0.006 |
4297.46/1541.71	c (303,0) c |  7 |      8 |       8958 |       6344 |   129354 |     5344 |      270 |     5262 |       14 |     1160 |  20 |  0.006 |
4297.46/1541.71	c (303,0) c 
4297.46/1541.71	c (303,0) c synthesis       92471 conflicts  2840922864 propagations       42 conflicts/sec  1277566 propagations/sec
4297.46/1541.71	c (303,0) c real: 302.878 s, cpu: 2223.7 s, memory: 7207.23 Mb
4516.37/1570.71	c (332,0) c
4516.37/1570.71	c (332,0) c |------------------------------------------------------------------------------------------------------------------------|
4516.37/1570.71	c (332,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4516.37/1570.71	c (332,0) c |------------------------------------------------------------------------------------------------------------------------|
4516.37/1570.73	c (332,0) c |  0 |      9 |      24906 |      19431 |   162358 |    10601 |     1943 |     3630 |       72 |     1271 |  20 |  0.006 |
4516.37/1570.73	c (332,0) c |  1 |      3 |      23058 |      17569 |   172165 |     8774 |     1941 |     2918 |       27 |     1251 |  20 |  0.006 |
4516.37/1570.73	c (332,0) c |  2 |     10 |      12036 |       7849 |   170266 |     4050 |      767 |     9467 |       58 |     1271 |  20 |  0.007 |
4516.37/1570.73	c (332,0) c |  3 |     14 |      27397 |      20983 |   187258 |    12185 |     2332 |     8284 |      144 |     1271 |  20 |  0.007 |
4516.37/1570.73	c (332,0) c |  4 |      2 |      10824 |       7741 |   153015 |     3948 |      630 |      107 |       17 |     1271 |  20 |  0.000 |
4516.37/1570.73	c (332,0) c |  5 |      4 |      10749 |       8123 |   125300 |     4332 |      756 |     1150 |       10 |     1271 |  20 |  0.000 |
4516.37/1570.73	c (332,0) c |  6 |      5 |      21746 |      16904 |   130743 |     7683 |     2157 |     7810 |       26 |     1271 |  20 |  0.007 |
4516.37/1570.73	c (332,0) c |  7 |      8 |       9615 |       6850 |   136988 |     3055 |      338 |     5262 |       28 |     1270 |  20 |  0.006 |
4516.37/1570.73	c (332,0) c 
4516.37/1570.73	c (332,0) c synthesis      105450 conflicts  3073689895 propagations       43 conflicts/sec  1258768 propagations/sec
4516.37/1570.73	c (332,0) c real: 331.878 s, cpu: 2441.82 s, memory: 7211.91 Mb
4742.72/1599.71	c (361,0) c
4742.72/1599.71	c (361,0) c |------------------------------------------------------------------------------------------------------------------------|
4742.72/1599.71	c (361,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4742.72/1599.71	c (361,0) c |------------------------------------------------------------------------------------------------------------------------|
4742.72/1599.71	c (361,0) c |  0 |     10 |      27913 |      21890 |   174541 |    12741 |     2294 |     9483 |      183 |     1385 |  20 |  0.007 |
4742.72/1599.71	c (361,0) c |  1 |      4 |      25815 |      19814 |   182374 |    11017 |     2188 |     9757 |       52 |     1375 |  20 |  0.007 |
4742.72/1599.71	c (361,0) c |  2 |     11 |      13669 |       9050 |   182095 |     5251 |      893 |    10090 |      117 |     1371 |  20 |  0.007 |
4742.72/1599.71	c (361,0) c |  3 |     15 |      28741 |      22062 |   193411 |    13263 |     2482 |     9320 |      157 |     1391 |  20 |  0.007 |
4742.72/1599.71	c (361,0) c |  4 |      4 |      11811 |       8347 |   165909 |     4523 |      794 |    10540 |       26 |     1375 |  20 |  0.007 |
4742.72/1599.71	c (361,0) c |  5 |      4 |      12419 |       9450 |   138223 |     5659 |      950 |     1150 |       11 |     1391 |  20 |  0.000 |
4742.72/1599.71	c (361,0) c |  6 |      5 |      25631 |      20011 |   144697 |    10790 |     2599 |     7810 |       46 |     1388 |  20 |  0.007 |
4742.72/1599.71	c (361,0) c |  7 |      9 |      10724 |       7667 |   146088 |     3787 |      496 |    11388 |       47 |     1383 |  20 |  0.007 |
4742.72/1599.71	c (361,0) c 
4742.72/1599.71	c (361,0) c synthesis      118291 conflicts  3294374795 propagations       44 conflicts/sec  1236032 propagations/sec
4742.72/1599.71	c (361,0) c real: 360.878 s, cpu: 2665.28 s, memory: 7216.21 Mb
4952.39/1628.71	c (390,0) c
4952.39/1628.71	c (390,0) c |------------------------------------------------------------------------------------------------------------------------|
4952.39/1628.71	c (390,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4952.39/1628.71	c (390,0) c |------------------------------------------------------------------------------------------------------------------------|
4952.39/1628.71	c (390,0) c |  0 |     11 |      30332 |      23931 |   184272 |     7556 |     2523 |    11314 |      241 |     1487 |  20 |  0.007 |
4952.39/1628.71	c (390,0) c |  1 |      4 |      28814 |      22261 |   197411 |    13464 |     2453 |     9757 |      139 |     1487 |  20 |  0.007 |
4952.39/1628.71	c (390,0) c |  2 |     11 |      16419 |      11293 |   194060 |     7494 |     1169 |    10090 |      206 |     1477 |  20 |  0.007 |
4952.39/1628.71	c (390,0) c |  3 |     15 |      29680 |      22873 |   202323 |    14074 |     2546 |     9320 |      172 |     1487 |  20 |  0.007 |
4952.39/1628.71	c (390,0) c |  4 |      4 |      12843 |       8951 |   178151 |     5127 |      966 |    10540 |       34 |     1485 |  20 |  0.007 |
4952.39/1628.71	c (390,0) c |  5 |      5 |      13279 |      10126 |   150348 |     6312 |     1053 |    11565 |       52 |     1487 |  20 |  0.007 |
4952.39/1628.71	c (390,0) c |  6 |      5 |      27990 |      21873 |   151634 |     6143 |     2875 |    10897 |       48 |     1487 |  20 |  0.008 |
4952.39/1628.71	c (390,0) c |  7 |      9 |      11531 |       8292 |   155079 |     4412 |      570 |    11388 |       83 |     1467 |  20 |  0.007 |
4952.39/1628.71	c (390,0) c 
4952.39/1628.71	c (390,0) c synthesis      129600 conflicts  3489287021 propagations       45 conflicts/sec  1214365 propagations/sec
4952.39/1628.71	c (390,0) c real: 389.878 s, cpu: 2873.34 s, memory: 7218.98 Mb
5172.17/1657.72	c (419,0) c
5172.17/1657.72	c (419,0) c |------------------------------------------------------------------------------------------------------------------------|
5172.17/1657.72	c (419,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
5172.17/1657.72	c (419,0) c |------------------------------------------------------------------------------------------------------------------------|
5172.17/1657.72	c (419,0) c |  0 |     11 |      32698 |      25913 |   191401 |     8800 |     2757 |    13072 |      305 |     1591 |  20 |  0.008 |
5172.17/1657.72	c (419,0) c |  1 |      4 |      32263 |      25210 |   212470 |     9014 |     2757 |     9757 |      233 |     1593 |  20 |  0.007 |
5172.17/1657.72	c (419,0) c |  2 |     12 |      20364 |      14476 |   214452 |     5541 |     1590 |    14116 |      386 |     1597 |  20 |  0.008 |
5172.17/1657.72	c (419,0) c |  3 |     16 |      31947 |      24635 |   214568 |     8081 |     2762 |    11484 |      262 |     1598 |  20 |  0.007 |
5172.17/1657.72	c (419,0) c |  4 |      5 |      14295 |      10038 |   187893 |     6185 |     1155 |    13083 |       52 |     1598 |  20 |  0.007 |
5172.17/1657.72	c (419,0) c |  5 |      5 |      15012 |      11449 |   158569 |     7635 |     1240 |    11565 |      105 |     1598 |  20 |  0.007 |
5172.17/1657.72	c (419,0) c |  6 |      5 |      30204 |      23789 |   162292 |     4127 |     3041 |    12882 |      100 |     1598 |  20 |  0.008 |
5172.17/1657.72	c (419,0) c |  7 |      9 |      15313 |      11269 |   177405 |     7389 |     1079 |    11388 |      267 |     1578 |  20 |  0.007 |
5172.17/1657.72	c (419,0) c 
5172.17/1657.72	c (419,0) c synthesis      146779 conflicts  3695847430 propagations       48 conflicts/sec  1196180 propagations/sec
5172.17/1657.72	c (419,0) c real: 418.878 s, cpu: 3089.71 s, memory: 7221.20 Mb
5399.82/1686.72	c (448,0) c
5399.82/1686.72	c (448,0) c |------------------------------------------------------------------------------------------------------------------------|
5399.82/1686.72	c (448,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
5399.82/1686.72	c (448,0) c |------------------------------------------------------------------------------------------------------------------------|
5399.82/1686.72	c (448,0) c |  0 |     13 |      36362 |      28819 |   206369 |    11705 |     3100 |    14300 |      453 |     1704 |  20 |  0.008 |
5399.82/1686.72	c (448,0) c |  1 |      4 |      35551 |      28029 |   225840 |    11833 |     3169 |     9757 |      275 |     1712 |  20 |  0.007 |
5399.82/1686.72	c (448,0) c |  2 |     12 |      23949 |      17481 |   228547 |     8545 |     1980 |    15163 |      521 |     1703 |  20 |  0.009 |
5399.82/1686.72	c (448,0) c |  3 |     17 |      34496 |      26732 |   225424 |    10178 |     3040 |    13632 |      368 |     1716 |  20 |  0.008 |
5399.82/1686.72	c (448,0) c |  4 |      5 |      17162 |      12348 |   206356 |     7869 |     1524 |    15646 |      295 |     1713 |  20 |  0.008 |
5399.82/1686.72	c (448,0) c |  5 |      6 |      18064 |      13987 |   176838 |     5171 |     1560 |    16751 |      370 |     1703 |  20 |  0.009 |
5399.82/1686.72	c (448,0) c |  6 |      5 |      31998 |      25218 |   172706 |     5556 |     3152 |    12882 |      104 |     1710 |  20 |  0.008 |
5399.82/1686.72	c (448,0) c |  7 |      9 |      20375 |      15436 |   202942 |     6600 |     1651 |    11388 |      494 |     1699 |  20 |  0.007 |
5399.82/1686.72	c (448,0) c 
5399.82/1686.72	c (448,0) c synthesis      168050 conflicts  3926886504 propagations       51 conflicts/sec  1184748 propagations/sec
5399.82/1686.72	c (448,0) c real: 447.878 s, cpu: 3314.53 s, memory: 7224.19 Mb
5425.71/1690.55	c (452,0) c
5425.71/1690.55	c (452,0) c real time : 451.717 s
5425.71/1690.55	c (452,0) c cpu time  : 3340.13 s
5425.71/1690.55	c (452,0) c
5425.71/1690.55	c (452,0) c
5425.71/1690.55	c (452,0) c
5425.71/1690.55	c (452,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
5425.71/1690.55	c (452,0) c
5425.71/1690.55	c (452,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.55	c (452,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5425.71/1690.55	c (452,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.55	c (452,0) c | Conflicts     |          170237 |      29159 |      28148 |      17732 |      27009 |      12620 |      14401 |      25329 |      15839 |
5425.71/1690.55	c (452,0) c | Decisions     |          220579 |      36733 |      35705 |      24237 |      34822 |      17523 |      18550 |      32123 |      20886 |
5425.71/1690.55	c (452,0) c | Propagations  |      3948827450 |  409168963 |  484057246 |  501695828 |  460135602 |  619132221 |  519825755 |  432636450 |  522175385 |
5425.71/1690.55	c (452,0) c | ReduceDBs     |              27 |          4 |          4 |          3 |          4 |          2 |          3 |          4 |          3 |
5425.71/1690.55	c (452,0) c | SimpDBs       |              39 |          4 |          3 |          7 |          6 |          4 |          4 |          6 |          5 |
5425.71/1690.55	c (452,0) c | Restarts      |              71 |         13 |          4 |         12 |         17 |          5 |          6 |          5 |          9 |
5425.71/1690.55	c (452,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5425.71/1690.55	c (452,0) c | PropBinClauses|      2436122915 |  304844664 |  346139190 |  246213830 |  329928648 |  330240149 |  286356634 |  300052438 |  292347362 |
5425.71/1690.55	c (452,0) c | PropPreBlocker|     42516836047 | 5020469216 | 5285117198 | 5458288716 | 5184233305 | 5548131262 | 5470910868 | 5151989178 | 5397696304 |
5425.71/1690.55	c (452,0) c | PropNotBlocker|     23156512324 | 3327577348 | 2952403899 | 2821940099 | 3073517080 | 2405677878 | 2758936178 | 3100050630 | 2716409212 |
5425.71/1690.55	c (452,0) c | LitFullScans  |     83172332997 |10362081832 |10420929040 |10402295848 |10458387223 |10412912904 |10361921876 |10379105739 |10374698535 |
5425.71/1690.55	c (452,0) c | LitScanFracts |       471177184 |   53972116 |   64928986 |   64891772 |   56309350 |   62706690 |   53810272 |   51919105 |   62638893 |
5425.71/1690.55	c (452,0) c | DecisionLevel0|             111 |         17 |          6 |         18 |         24 |          6 |          8 |         11 |         21 |
5425.71/1690.55	c (452,0) c | Periods       |           13781 |       1718 |       1726 |       1722 |       1733 |       1725 |       1718 |       1721 |       1718 |
5425.71/1690.55	c (452,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
5425.71/1690.55	c (452,0) c | Avg_Trail     |                 |      50350 |      67875 |      92066 |      64561 |     161430 |     105040 |      60358 |     111058 |
5425.71/1690.55	c (452,0) c | Avg_DL        |                 |         10 |         11 |         12 |         12 |         11 |         12 |          9 |         11 |
5425.71/1690.55	c (452,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5425.71/1690.55	c (452,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5425.71/1690.55	c (452,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.55	c (452,0) c | Exported      |           19500 |       3123 |       3193 |       2017 |       3075 |       1559 |       1615 |       3167 |       1751 |
5425.71/1690.55	c (452,0) c | Imported      |          119859 |      14300 |       9757 |      16925 |      16259 |      15646 |      16751 |      12882 |      17339 |
5425.71/1690.55	c (452,0) c | Good          |            4149 |        462 |        367 |        590 |        557 |        572 |        580 |        426 |        595 |
5425.71/1690.55	c (452,0) c | Purge         |          115710 |      13838 |       9390 |      16335 |      15702 |      15074 |      16171 |      12456 |      16744 |
5425.71/1690.55	c (452,0) c | Promoted      |            3077 |        476 |        275 |        533 |        388 |        329 |        409 |        106 |        561 |
5425.71/1690.55	c (452,0) c | Remove_Imp    |           13000 |          0 |          0 |       3569 |          0 |          0 |       5615 |       2674 |       1142 |
5425.71/1690.55	c (452,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5425.71/1690.55	c (452,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.55	c (452,0) c | Unaries       |                 |          4 |          2 |          6 |          7 |          1 |          2 |          6 |         12 |
5425.71/1690.55	c (452,0) c | Binaries      |                 |        144 |         93 |         62 |        118 |         19 |         52 |        133 |         78 |
5425.71/1690.55	c (452,0) c | Glues         |                 |        667 |        477 |        414 |        553 |        261 |        357 |        400 |        338 |
5425.71/1690.55	c (452,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.55	c (452,0) c | Orig_Seen     |             2 % |     207234 |     226625 |     229968 |     226814 |     208548 |     179252 |     173469 |     205408 |
5425.71/1690.55	c (452,0) c | Diff Orig seen|                 |       1826 |      21217 |      24560 |      21406 |       3140 | -    26156 | -    31939 |      X     |
5425.71/1690.55	c (452,0) c | Hamming       |            24 % |     167996 |     118444 |     132380 |     138308 |     167149 |     152790 |     169828 |      X     |
5425.71/1690.55	c (452,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.55	c (452,0) c | RunningTime   |                 |  435.4  98%|  435.6  98%|  426.3  96%|  429.2  97%|  421.1  95%|  421.6  95%|  430.2  97%|  428.0  96%|
5425.71/1690.55	c (452,0) c | WaitingTime   |                 |    8.6   2%|    8.1   2%|   17.8   4%|   14.4   3%|   22.7   5%|   22.9   5%|   13.6   3%|   15.8   4%|
5425.71/1690.55	c (452,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5425.71/1690.55	c (452,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5425.71/1690.55	c (452,0) c | SolvingTime   |                 |  444.1     |  443.9     |  444.1     |  443.7     |  443.9     |  444.6     |  443.9     |  443.8     |
5425.71/1690.55	c (452,0) c | PropagationTim|                 |  428.0  96%|  427.9  96%|  427.7  96%|  425.9  96%|  426.7  96%|  428.5  96%|  426.0  96%|  428.7  97%|
5425.71/1690.55	c (452,0) c | AnalysisTime  |                 |    3.4   1%|    3.6   1%|    3.2   1%|    3.5   1%|    3.1   1%|    3.1   1%|    3.5   1%|    3.1   1%|
5425.71/1690.55	c (452,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5425.71/1690.55	c (452,0) c | SimplifyTime  |                 |    2.7   1%|    1.6   0%|    3.3   1%|    3.8   1%|    3.6   1%|    3.0   1%|    3.6   1%|    2.1   0%|
5425.71/1690.55	c (452,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5425.71/1690.55	c (452,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5425.71/1690.55	c (452,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.55	c (452,0) c
5425.71/1690.55	c (452,0) c
5425.71/1690.55	c (452,0) c Threads : 8
5425.71/1690.55	c (452,0) c Winner : 7
5425.71/1690.55	c (452,0) c Conflicts_0 : 29159
5425.71/1690.55	c (452,0) c Conflicts_1 : 28148
5425.71/1690.55	c (452,0) c Conflicts_2 : 17732
5425.71/1690.55	c (452,0) c Conflicts_3 : 27009
5425.71/1690.55	c (452,0) c Conflicts_4 : 12620
5425.71/1690.55	c (452,0) c Conflicts_5 : 14401
5425.71/1690.55	c (452,0) c Conflicts_6 : 25329
5425.71/1690.55	c (452,0) c Conflicts_7 : 15839
5425.71/1690.55	c (452,0) c Conflicts_total : 170237
5425.71/1690.55	c (452,0) c Conflicts_winner : 15839
5425.71/1690.55	c (452,0) c Decisions_0 : 36733
5425.71/1690.55	c (452,0) c Decisions_1 : 35705
5425.71/1690.55	c (452,0) c Decisions_2 : 24237
5425.71/1690.55	c (452,0) c Decisions_3 : 34822
5425.71/1690.55	c (452,0) c Decisions_4 : 17523
5425.71/1690.55	c (452,0) c Decisions_5 : 18550
5425.71/1690.55	c (452,0) c Decisions_6 : 32123
5425.71/1690.55	c (452,0) c Decisions_7 : 20886
5425.71/1690.55	c (452,0) c Decisions_total : 220579
5425.71/1690.55	c (452,0) c Decisions_winner : 20886
5425.71/1690.55	c (452,0) c Propagations_0 : 409168963
5425.71/1690.55	c (452,0) c Propagations_1 : 484057246
5425.71/1690.55	c (452,0) c Propagations_2 : 501695828
5425.71/1690.55	c (452,0) c Propagations_3 : 460135602
5425.71/1690.55	c (452,0) c Propagations_4 : 619132221
5425.71/1690.55	c (452,0) c Propagations_5 : 519825755
5425.71/1690.55	c (452,0) c Propagations_6 : 432636450
5425.71/1690.55	c (452,0) c Propagations_7 : 522175385
5425.71/1690.55	c (452,0) c Propagations_total : 3948827450
5425.71/1690.55	c (452,0) c Propagations_winner : 522175385
5425.71/1690.55	c (452,0) c ReduceDBs_0 : 4
5425.71/1690.55	c (452,0) c ReduceDBs_1 : 4
5425.71/1690.55	c (452,0) c ReduceDBs_2 : 3
5425.71/1690.55	c (452,0) c ReduceDBs_3 : 4
5425.71/1690.55	c (452,0) c ReduceDBs_4 : 2
5425.71/1690.55	c (452,0) c ReduceDBs_5 : 3
5425.71/1690.55	c (452,0) c ReduceDBs_6 : 4
5425.71/1690.55	c (452,0) c ReduceDBs_7 : 3
5425.71/1690.55	c (452,0) c ReduceDBs_total : 27
5425.71/1690.55	c (452,0) c ReduceDBs_winner : 3
5425.71/1690.55	c (452,0) c SimpDBs_0 : 4
5425.71/1690.55	c (452,0) c SimpDBs_1 : 3
5425.71/1690.55	c (452,0) c SimpDBs_2 : 7
5425.71/1690.55	c (452,0) c SimpDBs_3 : 6
5425.71/1690.55	c (452,0) c SimpDBs_4 : 4
5425.71/1690.55	c (452,0) c SimpDBs_5 : 4
5425.71/1690.55	c (452,0) c SimpDBs_6 : 6
5425.71/1690.55	c (452,0) c SimpDBs_7 : 5
5425.71/1690.55	c (452,0) c SimpDBs_total : 39
5425.71/1690.55	c (452,0) c SimpDBs_winner : 5
5425.71/1690.55	c (452,0) c Restarts_0 : 13
5425.71/1690.55	c (452,0) c Restarts_1 : 4
5425.71/1690.55	c (452,0) c Restarts_2 : 12
5425.71/1690.55	c (452,0) c Restarts_3 : 17
5425.71/1690.55	c (452,0) c Restarts_4 : 5
5425.71/1690.55	c (452,0) c Restarts_5 : 6
5425.71/1690.55	c (452,0) c Restarts_6 : 5
5425.71/1690.55	c (452,0) c Restarts_7 : 9
5425.71/1690.55	c (452,0) c Restarts_total : 71
5425.71/1690.55	c (452,0) c Restarts_winner : 9
5425.71/1690.55	c (452,0) c ForcedImports_0 : 0
5425.71/1690.55	c (452,0) c ForcedImports_1 : 0
5425.71/1690.55	c (452,0) c ForcedImports_2 : 0
5425.71/1690.55	c (452,0) c ForcedImports_3 : 0
5425.71/1690.55	c (452,0) c ForcedImports_4 : 0
5425.71/1690.55	c (452,0) c ForcedImports_5 : 0
5425.71/1690.55	c (452,0) c ForcedImports_6 : 0
5425.71/1690.55	c (452,0) c ForcedImports_7 : 0
5425.71/1690.55	c (452,0) c ForcedImports_total : 0
5425.71/1690.55	c (452,0) c ForcedImports_winner : 0
5425.71/1690.55	c (452,0) c PropsBinClauses_0 : 304844664
5425.71/1690.55	c (452,0) c PropsBinClauses_1 : 346139190
5425.71/1690.55	c (452,0) c PropsBinClauses_2 : 246213830
5425.71/1690.55	c (452,0) c PropsBinClauses_3 : 329928648
5425.71/1690.55	c (452,0) c PropsBinClauses_4 : 330240149
5425.71/1690.55	c (452,0) c PropsBinClauses_5 : 286356634
5425.71/1690.55	c (452,0) c PropsBinClauses_6 : 300052438
5425.71/1690.55	c (452,0) c PropsBinClauses_7 : 292347362
5425.71/1690.55	c (452,0) c PropsBinClauses_total : 2436122915
5425.71/1690.55	c (452,0) c PropsBinClauses_winner : 292347362
5425.71/1690.55	c (452,0) c PropsPreBlocker_0 : 5020469216
5425.71/1690.55	c (452,0) c PropsPreBlocker_1 : 5285117198
5425.71/1690.55	c (452,0) c PropsPreBlocker_2 : 5458288716
5425.71/1690.55	c (452,0) c PropsPreBlocker_3 : 5184233305
5425.71/1690.55	c (452,0) c PropsPreBlocker_4 : 5548131262
5425.71/1690.55	c (452,0) c PropsPreBlocker_5 : 5470910868
5425.71/1690.55	c (452,0) c PropsPreBlocker_6 : 5151989178
5425.71/1690.55	c (452,0) c PropsPreBlocker_7 : 5397696304
5425.71/1690.55	c (452,0) c PropsPreBlocker_total : 42516836047
5425.71/1690.55	c (452,0) c PropsPreBlocker_winner : 5397696304
5425.71/1690.55	c (452,0) c PropsNotBlocker_0 : 3327577348
5425.71/1690.55	c (452,0) c PropsNotBlocker_1 : 2952403899
5425.71/1690.55	c (452,0) c PropsNotBlocker_2 : 2821940099
5425.71/1690.55	c (452,0) c PropsNotBlocker_3 : 3073517080
5425.71/1690.55	c (452,0) c PropsNotBlocker_4 : 2405677878
5425.71/1690.55	c (452,0) c PropsNotBlocker_5 : 2758936178
5425.71/1690.55	c (452,0) c PropsNotBlocker_6 : 3100050630
5425.71/1690.55	c (452,0) c PropsNotBlocker_7 : 2716409212
5425.71/1690.55	c (452,0) c PropsNotBlocker_total : 23156512324
5425.71/1690.55	c (452,0) c PropsNotBlocker_winner : 2716409212
5425.71/1690.55	c (452,0) c PropsLitFullScans_0 : 10362081832
5425.71/1690.55	c (452,0) c PropsLitFullScans_1 : 10420929040
5425.71/1690.55	c (452,0) c PropsLitFullScans_2 : 10402295848
5425.71/1690.55	c (452,0) c PropsLitFullScans_3 : 10458387223
5425.71/1690.55	c (452,0) c PropsLitFullScans_4 : 10412912904
5425.71/1690.55	c (452,0) c PropsLitFullScans_5 : 10361921876
5425.71/1690.55	c (452,0) c PropsLitFullScans_6 : 10379105739
5425.71/1690.55	c (452,0) c PropsLitFullScans_7 : 10374698535
5425.71/1690.55	c (452,0) c PropsLitFullScans_total : 83172332997
5425.71/1690.55	c (452,0) c PropsLitFullScans_winner : 10374698535
5425.71/1690.55	c (452,0) c LitScanFractions_0 : 53972116
5425.71/1690.55	c (452,0) c LitScanFractions_1 : 64928986
5425.71/1690.55	c (452,0) c LitScanFractions_2 : 64891772
5425.71/1690.55	c (452,0) c LitScanFractions_3 : 56309350
5425.71/1690.55	c (452,0) c LitScanFractions_4 : 62706690
5425.71/1690.55	c (452,0) c LitScanFractions_5 : 53810272
5425.71/1690.55	c (452,0) c LitScanFractions_6 : 51919105
5425.71/1690.55	c (452,0) c LitScanFractions_7 : 62638893
5425.71/1690.55	c (452,0) c LitScanFractions_total : 471177184
5425.71/1690.55	c (452,0) c LitScanFractions_winner : 62638893
5425.71/1690.55	c (452,0) c DecisionLevel0_0 : 17
5425.71/1690.55	c (452,0) c DecisionLevel0_1 : 6
5425.71/1690.55	c (452,0) c DecisionLevel0_2 : 18
5425.71/1690.55	c (452,0) c DecisionLevel0_3 : 24
5425.71/1690.55	c (452,0) c DecisionLevel0_4 : 6
5425.71/1690.55	c (452,0) c DecisionLevel0_5 : 8
5425.71/1690.56	c (452,0) c DecisionLevel0_6 : 11
5425.71/1690.56	c (452,0) c DecisionLevel0_7 : 21
5425.71/1690.56	c (452,0) c DecisionLevel0_total : 111
5425.71/1690.56	c (452,0) c DecisionLevel0_winner : 21
5425.71/1690.56	c (452,0) c Periods_0 : 1718
5425.71/1690.56	c (452,0) c Periods_1 : 1726
5425.71/1690.56	c (452,0) c Periods_2 : 1722
5425.71/1690.56	c (452,0) c Periods_3 : 1733
5425.71/1690.56	c (452,0) c Periods_4 : 1725
5425.71/1690.56	c (452,0) c Periods_5 : 1718
5425.71/1690.56	c (452,0) c Periods_6 : 1721
5425.71/1690.56	c (452,0) c Periods_7 : 1718
5425.71/1690.56	c (452,0) c Periods_total : 13781
5425.71/1690.56	c (452,0) c Periods_winner : 1718
5425.71/1690.56	c (452,0) c Margin_0 : 20
5425.71/1690.56	c (452,0) c Margin_1 : 20
5425.71/1690.56	c (452,0) c Margin_2 : 20
5425.71/1690.56	c (452,0) c Margin_3 : 20
5425.71/1690.56	c (452,0) c Margin_4 : 20
5425.71/1690.56	c (452,0) c Margin_5 : 20
5425.71/1690.56	c (452,0) c Margin_6 : 20
5425.71/1690.56	c (452,0) c Margin_7 : 20
5425.71/1690.56	c (452,0) c Margin_total : 160
5425.71/1690.56	c (452,0) c Margin_winner : 20
5425.71/1690.56	c (452,0) c Exported_0 : 3123
5425.71/1690.56	c (452,0) c Exported_1 : 3193
5425.71/1690.56	c (452,0) c Exported_2 : 2017
5425.71/1690.56	c (452,0) c Exported_3 : 3075
5425.71/1690.56	c (452,0) c Exported_4 : 1559
5425.71/1690.56	c (452,0) c Exported_5 : 1615
5425.71/1690.56	c (452,0) c Exported_6 : 3167
5425.71/1690.56	c (452,0) c Exported_7 : 1751
5425.71/1690.56	c (452,0) c Exported_total : 19500
5425.71/1690.56	c (452,0) c Exported_winner : 1751
5425.71/1690.56	c (452,0) c Imported_0 : 14300
5425.71/1690.56	c (452,0) c Imported_1 : 9757
5425.71/1690.56	c (452,0) c Imported_2 : 16925
5425.71/1690.56	c (452,0) c Imported_3 : 16259
5425.71/1690.56	c (452,0) c Imported_4 : 15646
5425.71/1690.56	c (452,0) c Imported_5 : 16751
5425.71/1690.56	c (452,0) c Imported_6 : 12882
5425.71/1690.56	c (452,0) c Imported_7 : 17339
5425.71/1690.56	c (452,0) c Imported_total : 119859
5425.71/1690.56	c (452,0) c Imported_winner : 17339
5425.71/1690.56	c (452,0) c Good_0 : 462
5425.71/1690.56	c (452,0) c Good_1 : 367
5425.71/1690.56	c (452,0) c Good_2 : 590
5425.71/1690.56	c (452,0) c Good_3 : 557
5425.71/1690.56	c (452,0) c Good_4 : 572
5425.71/1690.56	c (452,0) c Good_5 : 580
5425.71/1690.56	c (452,0) c Good_6 : 426
5425.71/1690.56	c (452,0) c Good_7 : 595
5425.71/1690.56	c (452,0) c Good_total : 4149
5425.71/1690.56	c (452,0) c Good_winner : 595
5425.71/1690.56	c (452,0) c Purge_0 : 13838
5425.71/1690.56	c (452,0) c Purge_1 : 9390
5425.71/1690.56	c (452,0) c Purge_2 : 16335
5425.71/1690.56	c (452,0) c Purge_3 : 15702
5425.71/1690.56	c (452,0) c Purge_4 : 15074
5425.71/1690.56	c (452,0) c Purge_5 : 16171
5425.71/1690.56	c (452,0) c Purge_6 : 12456
5425.71/1690.56	c (452,0) c Purge_7 : 16744
5425.71/1690.56	c (452,0) c Purge_total : 115710
5425.71/1690.56	c (452,0) c Purge_winner : 16744
5425.71/1690.56	c (452,0) c Promoted_0 : 476
5425.71/1690.56	c (452,0) c Promoted_1 : 275
5425.71/1690.56	c (452,0) c Promoted_2 : 533
5425.71/1690.56	c (452,0) c Promoted_3 : 388
5425.71/1690.56	c (452,0) c Promoted_4 : 329
5425.71/1690.56	c (452,0) c Promoted_5 : 409
5425.71/1690.56	c (452,0) c Promoted_6 : 106
5425.71/1690.56	c (452,0) c Promoted_7 : 561
5425.71/1690.56	c (452,0) c Promoted_total : 3077
5425.71/1690.56	c (452,0) c Promoted_winner : 561
5425.71/1690.56	c (452,0) c Remove_Imp_0 : 0
5425.71/1690.56	c (452,0) c Remove_Imp_1 : 0
5425.71/1690.56	c (452,0) c Remove_Imp_2 : 3569
5425.71/1690.56	c (452,0) c Remove_Imp_3 : 0
5425.71/1690.56	c (452,0) c Remove_Imp_4 : 0
5425.71/1690.56	c (452,0) c Remove_Imp_5 : 5615
5425.71/1690.56	c (452,0) c Remove_Imp_6 : 2674
5425.71/1690.56	c (452,0) c Remove_Imp_7 : 1142
5425.71/1690.56	c (452,0) c Remove_Imp_total : 13000
5425.71/1690.56	c (452,0) c Remove_Imp_winner : 1142
5425.71/1690.56	c (452,0) c Blocked_Reuse_0 : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_1 : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_2 : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_3 : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_4 : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_5 : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_6 : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_7 : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_total : 0
5425.71/1690.56	c (452,0) c Blocked_Reuse_winner : 0
5425.71/1690.56	c (452,0) c Unaries_0 : 4
5425.71/1690.56	c (452,0) c Unaries_1 : 2
5425.71/1690.56	c (452,0) c Unaries_2 : 6
5425.71/1690.56	c (452,0) c Unaries_3 : 7
5425.71/1690.56	c (452,0) c Unaries_4 : 1
5425.71/1690.56	c (452,0) c Unaries_5 : 2
5425.71/1690.56	c (452,0) c Unaries_6 : 6
5425.71/1690.56	c (452,0) c Unaries_7 : 12
5425.71/1690.56	c (452,0) c Unaries_total : 40
5425.71/1690.56	c (452,0) c Unaries_winner : 12
5425.71/1690.56	c (452,0) c Binaries_0 : 144
5425.71/1690.56	c (452,0) c Binaries_1 : 93
5425.71/1690.56	c (452,0) c Binaries_2 : 62
5425.71/1690.56	c (452,0) c Binaries_3 : 118
5425.71/1690.56	c (452,0) c Binaries_4 : 19
5425.71/1690.56	c (452,0) c Binaries_5 : 52
5425.71/1690.56	c (452,0) c Binaries_6 : 133
5425.71/1690.56	c (452,0) c Binaries_7 : 78
5425.71/1690.56	c (452,0) c Binaries_total : 699
5425.71/1690.56	c (452,0) c Binaries_winner : 78
5425.71/1690.56	c (452,0) c Glues_0 : 667
5425.71/1690.56	c (452,0) c Glues_1 : 477
5425.71/1690.56	c (452,0) c Glues_2 : 414
5425.71/1690.56	c (452,0) c Glues_3 : 553
5425.71/1690.56	c (452,0) c Glues_4 : 261
5425.71/1690.56	c (452,0) c Glues_5 : 357
5425.71/1690.56	c (452,0) c Glues_6 : 400
5425.71/1690.56	c (452,0) c Glues_7 : 338
5425.71/1690.56	c (452,0) c Glues_total : 3467
5425.71/1690.56	c (452,0) c Glues_winner : 338
5425.71/1690.56	c (452,0) c RunningTime_0 : 435.371365
5425.71/1690.56	c (452,0) c RunningTime_1 : 435.644322
5425.71/1690.56	c (452,0) c RunningTime_2 : 426.251859
5425.71/1690.56	c (452,0) c RunningTime_3 : 429.204909
5425.71/1690.56	c (452,0) c RunningTime_4 : 421.080153
5425.71/1690.56	c (452,0) c RunningTime_5 : 421.565744
5425.71/1690.56	c (452,0) c RunningTime_6 : 430.242255
5425.71/1690.56	c (452,0) c RunningTime_7 : 427.986107
5425.71/1690.56	c (452,0) c RunningTime_total : 3427.346714
5425.71/1690.56	c (452,0) c RunningTime_winner : 427.986107
5425.71/1690.56	c (452,0) c WaitingTime_0 : 8.627912
5425.71/1690.56	c (452,0) c WaitingTime_1 : 8.142144
5425.71/1690.56	c (452,0) c WaitingTime_2 : 17.782246
5425.71/1690.56	c (452,0) c WaitingTime_3 : 14.428794
5425.71/1690.56	c (452,0) c WaitingTime_4 : 22.739028
5425.71/1690.56	c (452,0) c WaitingTime_5 : 22.947800
5425.71/1690.56	c (452,0) c WaitingTime_6 : 13.589561
5425.71/1690.56	c (452,0) c WaitingTime_7 : 15.766613
5425.71/1690.56	c (452,0) c WaitingTime_total : 124.024098
5425.71/1690.56	c (452,0) c WaitingTime_winner : 15.766613
5425.71/1690.56	c (452,0) c ExchangingTime_0 : 0.035185
5425.71/1690.56	c (452,0) c ExchangingTime_1 : 0.043610
5425.71/1690.56	c (452,0) c ExchangingTime_2 : 0.042587
5425.71/1690.56	c (452,0) c ExchangingTime_3 : 0.041297
5425.71/1690.56	c (452,0) c ExchangingTime_4 : 0.037890
5425.71/1690.56	c (452,0) c ExchangingTime_5 : 0.040735
5425.71/1690.56	c (452,0) c ExchangingTime_6 : 0.040905
5425.71/1690.56	c (452,0) c ExchangingTime_7 : 0.041401
5425.71/1690.56	c (452,0) c ExchangingTime_total : 0.323609
5425.71/1690.56	c (452,0) c ExchangingTime_winner : 0.041401
5425.71/1690.56	c (452,0) c PeriodProcTime_0 : 0.022851
5425.71/1690.56	c (452,0) c PeriodProcTime_1 : 0.027187
5425.71/1690.56	c (452,0) c PeriodProcTime_2 : 0.022357
5425.71/1690.56	c (452,0) c PeriodProcTime_3 : 0.029043
5425.71/1690.56	c (452,0) c PeriodProcTime_4 : 0.021418
5425.71/1690.56	c (452,0) c PeriodProcTime_5 : 0.023582
5425.71/1690.56	c (452,0) c PeriodProcTime_6 : 0.023648
5425.71/1690.56	c (452,0) c PeriodProcTime_7 : 0.024860
5425.71/1690.56	c (452,0) c PeriodProcTime_total : 0.194945
5425.71/1690.56	c (452,0) c PeriodProcTime_winner : 0.024860
5425.71/1690.56	c (452,0) c SolvingTime_0 : 444.057313
5425.71/1690.56	c (452,0) c SolvingTime_1 : 443.857263
5425.71/1690.56	c (452,0) c SolvingTime_2 : 444.099049
5425.71/1690.56	c (452,0) c SolvingTime_3 : 443.704042
5425.71/1690.56	c (452,0) c SolvingTime_4 : 443.878488
5425.71/1690.56	c (452,0) c SolvingTime_5 : 444.577861
5425.71/1690.56	c (452,0) c SolvingTime_6 : 443.896368
5425.71/1690.56	c (452,0) c SolvingTime_7 : 443.818982
5425.71/1690.56	c (452,0) c SolvingTime_total : 3551.889366
5425.71/1690.56	c (452,0) c SolvingTime_winner : 443.818982
5425.71/1690.56	c (452,0) c PropagationTime_0 : 428.041256
5425.71/1690.56	c (452,0) c PropagationTime_1 : 427.895195
5425.71/1690.56	c (452,0) c PropagationTime_2 : 427.732834
5425.71/1690.56	c (452,0) c PropagationTime_3 : 425.882043
5425.71/1690.56	c (452,0) c PropagationTime_4 : 426.739801
5425.71/1690.56	c (452,0) c PropagationTime_5 : 428.518412
5425.71/1690.56	c (452,0) c PropagationTime_6 : 426.006967
5425.71/1690.56	c (452,0) c PropagationTime_7 : 428.727261
5425.71/1690.56	c (452,0) c PropagationTime_total : 3419.543768
5425.71/1690.56	c (452,0) c PropagationTime_winner : 428.727261
5425.71/1690.56	c (452,0) c AnalysisTime_0 : 3.393270
5425.71/1690.56	c (452,0) c AnalysisTime_1 : 3.629285
5425.71/1690.56	c (452,0) c AnalysisTime_2 : 3.200455
5425.71/1690.56	c (452,0) c AnalysisTime_3 : 3.488246
5425.71/1690.56	c (452,0) c AnalysisTime_4 : 3.142598
5425.71/1690.56	c (452,0) c AnalysisTime_5 : 3.065219
5425.71/1690.56	c (452,0) c AnalysisTime_6 : 3.480087
5425.71/1690.56	c (452,0) c AnalysisTime_7 : 3.071998
5425.71/1690.56	c (452,0) c AnalysisTime_total : 26.471158
5425.71/1690.56	c (452,0) c AnalysisTime_winner : 3.071998
5425.71/1690.56	c (452,0) c ReductionTime_0 : 0.007591
5425.71/1690.56	c (452,0) c ReductionTime_1 : 0.009253
5425.71/1690.56	c (452,0) c ReductionTime_2 : 0.009557
5425.71/1690.56	c (452,0) c ReductionTime_3 : 0.007856
5425.71/1690.56	c (452,0) c ReductionTime_4 : 0.001823
5425.71/1690.56	c (452,0) c ReductionTime_5 : 0.008834
5425.71/1690.56	c (452,0) c ReductionTime_6 : 0.008743
5425.71/1690.56	c (452,0) c ReductionTime_7 : 0.006127
5425.71/1690.56	c (452,0) c ReductionTime_total : 0.059783
5425.71/1690.56	c (452,0) c ReductionTime_winner : 0.006127
5425.71/1690.56	c (452,0) c SimplifyTime_0 : 2.731120
5425.71/1690.56	c (452,0) c SimplifyTime_1 : 1.576551
5425.71/1690.56	c (452,0) c SimplifyTime_2 : 3.313565
5425.71/1690.56	c (452,0) c SimplifyTime_3 : 3.822069
5425.71/1690.56	c (452,0) c SimplifyTime_4 : 3.599296
5425.71/1690.56	c (452,0) c SimplifyTime_5 : 2.970117
5425.71/1690.56	c (452,0) c SimplifyTime_6 : 3.566694
5425.71/1690.56	c (452,0) c SimplifyTime_7 : 2.122361
5425.71/1690.56	c (452,0) c SimplifyTime_total : 23.701773
5425.71/1690.56	c (452,0) c SimplifyTime_winner : 2.122361
5425.71/1690.56	c (452,0) c UsedRateTime_0 : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_1 : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_2 : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_3 : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_4 : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_5 : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_6 : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_7 : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_total : 0.000000
5425.71/1690.56	c (452,0) c UsedRateTime_winner : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_0 : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_1 : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_2 : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_3 : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_4 : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_5 : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_6 : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_7 : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_total : 0.000000
5425.71/1690.56	c (452,0) c OverlapRateTime_winner : 0.000000
5425.71/1690.56	c (452,0) c
5425.71/1690.56	c (452,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5425.71/1690.56	c (452,0) c
5425.71/1690.56	c (452,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.56	c (452,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5425.71/1690.56	c (452,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.56	c (452,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5425.71/1690.56	c (452,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5425.71/1690.56	c (452,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5425.71/1690.56	c (452,0) c | Initial random_seed   | 1523175083 | 1065308707 |  613805152 |  779843593 |  741535162 |  783279051 |  620351631 |  826224692 |
5425.71/1690.56	c (452,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5425.71/1690.56	c (452,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5425.71/1690.56	c (452,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5425.71/1690.56	c (452,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5425.71/1690.56	c (452,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5425.71/1690.56	c (452,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5425.71/1690.56	c (452,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5425.71/1690.56	c (452,0) c | var_decay             |     0.8500 |     0.8500 |     0.8300 |     0.8500 |     0.8200 |     0.8200 |     0.8500 |     0.8300 |
5425.71/1690.56	c (452,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5425.71/1690.56	c (452,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5425.71/1690.56	c (452,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5425.71/1690.56	c (452,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5425.71/1690.56	c (452,0) 
5425.71/1690.56	c (452,0) s UNSATISFIABLE
2021.31/1690.93	c (452,0) SatSolver.solve End
2021.31/1690.93	c (452,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2021.31/1690.93	c (452,0) Show results Begin
2021.31/1690.93	s UNSATISFIABLE
2021.31/1690.93	c (452,0) Show results End
2021.31/1690.93	c (452,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2021.31/1690.94	c (452,0) 452,452,STOP-AFTER(ALL)
2021.31/1690.94	c END-Prog: Sat Sep 14 00:50:51 CEST 2019

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392704-1568417035/watcher-4392704-1568417035 -o /tmp/evaluation-result-4392704-1568417035/solver-4392704-1568417035 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --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-4392704-1568417035.xml 

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

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


[startup+0.100155 s]*
/proc/loadavg: 2.77 2.56 1.57 2/211 13733
/proc/meminfo: memFree=30459476/32770624 swapFree=66997512/67108860
[pid=13710] ppid=13707 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13710/stat : 13710 (scop.sh) S 13707 13710 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417958343 115843072 349 33554432000 4194304 5098028 140734715167120 140734715164376 139701443211900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140734715171620 140734715171948 140734715171948 140734715174861 0
/proc/13710/statm: 28282 349 296 221 0 87 0
[pid=13713] ppid=13710 vsize=27314120 memory=110088 CPUtime=0.1 cores=0-7
/proc/13713/stat : 13713 (java) S 13710 13710 12749 0 -1 1077944320 6508 0 0 0 8 2 0 0 20 0 20 0 417958344 27969658880 27457 33554432000 4194304 4196468 140729484345872 140729484328416 140559619403511 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
/proc/13713/statm: 6828530 27522 2815 1 0 6790935 0
[pid=13713/tid=13714] ppid=13710 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/13713/task/13714/stat : 13714 (java) R 13710 13710 12749 0 -1 4202560 4597 0 0 0 7 2 0 0 20 0 20 0 417958344 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559591226800 140559611640638 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13715] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13715/stat : 13715 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559623646224 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13716] ppid=13710 vsize=27314120 memory=288370133309892224 CPUtime=0 cores=0-7
/proc/13713/task/13716/stat : 13716 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559450463376 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13717] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13717/stat : 13717 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559040203536 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13719] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13719/stat : 13719 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559039150992 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13720] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13720/stat : 13720 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559038097936 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13721] ppid=13710 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13713/task/13721/stat : 13721 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559037045392 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13722] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13722/stat : 13722 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559035992336 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13723] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13723/stat : 13723 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 27522 33554432000 4194304 4196468 140729484345872 140559034939792 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13724] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13724/stat : 13724 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 27522 33554432000 4194304 4196468 140729484345872 140557738212080 140559619414658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13725] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13725/stat : 13725 (java) S 13710 13710 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 27522 33554432000 4194304 4196468 140729484345872 140557569484448 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13726] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13726/stat : 13726 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 27522 33554432000 4194304 4196468 140729484345872 140557301048560 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13727] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13727/stat : 13727 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 27522 33554432000 4194304 4196468 140729484345872 140556926540240 140559619422107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13728] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13728/stat : 13728 (java) S 13710 13710 12749 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 27522 33554432000 4194304 4196468 140729484345872 140557737158896 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13729] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13729/stat : 13729 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 27522 33554432000 4194304 4196468 140729484345872 140557736106352 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13730] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13730/stat : 13730 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 27522 33554432000 4194304 4196468 140729484345872 140557735053296 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13731] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13731/stat : 13731 (java) S 13710 13710 12749 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 27522 33554432000 4194304 4196468 140729484345872 140557734000752 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13732] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13732/stat : 13732 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 27522 33554432000 4194304 4196468 140729484345872 140556428635104 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13733] ppid=13710 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13713/task/13733/stat : 13733 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 27522 33554432000 4194304 4196468 140729484345872 140557732949168 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111484 KiB

[startup+0.210275 s]*
/proc/loadavg: 2.77 2.56 1.57 3/211 13733
/proc/meminfo: memFree=30441480/32770624 swapFree=66997512/67108860
[pid=13710] ppid=13707 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13710/stat : 13710 (scop.sh) S 13707 13710 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417958343 115843072 349 33554432000 4194304 5098028 140734715167120 140734715164376 139701443211900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140734715171620 140734715171948 140734715171948 140734715174861 0
/proc/13710/statm: 28282 349 296 221 0 87 0
[pid=13713] ppid=13710 vsize=27314120 memory=126600 CPUtime=0.24 cores=0-7
/proc/13713/stat : 13713 (java) S 13710 13710 12749 0 -1 1077944320 11502 0 0 0 20 4 0 0 20 0 20 0 417958344 27969658880 31650 33554432000 4194304 4196468 140729484345872 140729484328416 140559619403511 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
/proc/13713/statm: 6828530 31650 2952 1 0 6790935 0
[pid=13713/tid=13714] ppid=13710 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13713/task/13714/stat : 13714 (java) R 13710 13710 12749 0 -1 4202560 9203 0 0 0 16 3 0 0 20 0 20 0 417958344 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559591202896 140559600967086 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13715] ppid=13710 vsize=27314120 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/13713/task/13715/stat : 13715 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559623646224 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13716] ppid=13710 vsize=27314120 memory=139757158193486 CPUtime=0 cores=0-7
/proc/13713/task/13716/stat : 13716 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559450463376 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13717] ppid=13710 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13713/task/13717/stat : 13717 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559040203536 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13719] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13719/stat : 13719 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559039150992 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13720] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13720/stat : 13720 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559038097936 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13721] ppid=13710 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13713/task/13721/stat : 13721 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559037045392 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13722] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13722/stat : 13722 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559035992336 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13723] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13723/stat : 13723 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 31650 33554432000 4194304 4196468 140729484345872 140559034939792 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13724] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13724/stat : 13724 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 31650 33554432000 4194304 4196468 140729484345872 140557738212080 140559619414658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13725] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13725/stat : 13725 (java) S 13710 13710 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 31650 33554432000 4194304 4196468 140729484345872 140557569484448 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13726] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13726/stat : 13726 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 31650 33554432000 4194304 4196468 140729484345872 140557301048560 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13727] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13727/stat : 13727 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 31650 33554432000 4194304 4196468 140729484345872 140556926540240 140559619422107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13728] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13728/stat : 13728 (java) S 13710 13710 12749 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 31650 33554432000 4194304 4196468 140729484345872 140557737158896 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13729] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13729/stat : 13729 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 31650 33554432000 4194304 4196468 140729484345872 140557736106352 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13730] ppid=13710 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13713/task/13730/stat : 13730 (java) S 13710 13710 12749 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 31650 33554432000 4194304 4196468 140729484345872 140557735053296 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13731] ppid=13710 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/13713/task/13731/stat : 13731 (java) S 13710 13710 12749 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 417958351 27969658880 31650 33554432000 4194304 4196468 140729484345872 140557734000752 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13732] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13732/stat : 13732 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 31650 33554432000 4194304 4196468 140729484345872 140556428635104 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13733] ppid=13710 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13713/task/13733/stat : 13733 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 31650 33554432000 4194304 4196468 140729484345872 140557732949168 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127996 KiB

[startup+0.309529 s]*
/proc/loadavg: 2.77 2.56 1.57 2/211 13733
/proc/meminfo: memFree=30438452/32770624 swapFree=66997512/67108860
[pid=13710] ppid=13707 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13710/stat : 13710 (scop.sh) S 13707 13710 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417958343 115843072 349 33554432000 4194304 5098028 140734715167120 140734715164376 139701443211900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140734715171620 140734715171948 140734715171948 140734715174861 0
/proc/13710/statm: 28282 349 296 221 0 87 0
[pid=13713] ppid=13710 vsize=27314120 memory=130276 CPUtime=0.41 cores=0-7
/proc/13713/stat : 13713 (java) S 13710 13710 12749 0 -1 1077944320 12441 0 0 0 37 4 0 0 20 0 20 0 417958344 27969658880 32569 33554432000 4194304 4196468 140729484345872 140729484328416 140559619403511 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
/proc/13713/statm: 6828530 32569 3021 1 0 6790935 0
[pid=13713/tid=13714] ppid=13710 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/13713/task/13714/stat : 13714 (java) R 13710 13710 12749 0 -1 4202560 9957 0 0 0 26 3 0 0 20 0 20 0 417958344 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559591233584 140559604569111 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13715] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13715/stat : 13715 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559623646224 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13716] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13716/stat : 13716 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559450463376 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13717] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13717/stat : 13717 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559040203536 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13719] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13719/stat : 13719 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559039150992 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13720] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13720/stat : 13720 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559038097936 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13721] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13721/stat : 13721 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559037045392 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13722] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13722/stat : 13722 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559035992336 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13723] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13723/stat : 13723 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27969658880 32569 33554432000 4194304 4196468 140729484345872 140559034939792 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13724] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13724/stat : 13724 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 32569 33554432000 4194304 4196468 140729484345872 140557738212080 140559619414658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13725] ppid=13710 vsize=27314120 memory=279514055908736 CPUtime=0 cores=0-7
/proc/13713/task/13725/stat : 13725 (java) S 13710 13710 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 32569 33554432000 4194304 4196468 140729484345872 140557569484448 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13726] ppid=13710 vsize=27314120 memory=279514055913344 CPUtime=0 cores=0-7
/proc/13713/task/13726/stat : 13726 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958348 27969658880 32569 33554432000 4194304 4196468 140729484345872 140557301048560 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13727] ppid=13710 vsize=27314120 memory=279514055917952 CPUtime=0 cores=0-7
/proc/13713/task/13727/stat : 13727 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 32569 33554432000 4194304 4196468 140729484345872 140556926540240 140559619422107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13728] ppid=13710 vsize=27314120 memory=279514055922560 CPUtime=0.01 cores=0-7
/proc/13713/task/13728/stat : 13728 (java) S 13710 13710 12749 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 20 0 417958351 27969658880 32569 33554432000 4194304 4196468 140729484345872 140557737158896 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13729] ppid=13710 vsize=27314120 memory=279514055927168 CPUtime=0 cores=0-7
/proc/13713/task/13729/stat : 13729 (java) S 13710 13710 12749 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 32569 33554432000 4194304 4196468 140729484345872 140557736106352 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13730] ppid=13710 vsize=27314120 memory=279514055931776 CPUtime=0.01 cores=0-7
/proc/13713/task/13730/stat : 13730 (java) S 13710 13710 12749 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 417958351 27969658880 32569 33554432000 4194304 4196468 140729484345872 140557735053296 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13731] ppid=13710 vsize=27314120 memory=279514055936384 CPUtime=0.07 cores=0-7
/proc/13713/task/13731/stat : 13731 (java) S 13710 13710 12749 0 -1 1077944384 505 0 0 0 7 0 0 0 20 0 20 0 417958351 27969658880 32569 33554432000 4194304 4196468 140729484345872 140557734000752 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13732] ppid=13710 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13732/stat : 13732 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 32569 33554432000 4194304 4196468 140729484345872 140556428635104 140559619413717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13733] ppid=13710 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13713/task/13733/stat : 13733 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958351 27969658880 32569 33554432000 4194304 4196468 140729484345872 140557732949168 140559619414658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131672 KiB

[startup+0.700872 s]
/proc/loadavg: 2.77 2.56 1.57 2/211 13733
/proc/meminfo: memFree=30415476/32770624 swapFree=66997512/67108860
[pid=13710] ppid=13707 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13710/stat : 13710 (scop.sh) S 13707 13710 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417958343 115843072 349 33554432000 4194304 5098028 140734715167120 140734715164376 139701443211900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13488128 140734715171620 140734715171948 140734715171948 140734715174861 0
/proc/13710/statm: 28282 349 296 221 0 87 0
[pid=13713] ppid=13710 vsize=27320392 memory=169084 CPUtime=0.99 cores=0-7
/proc/13713/stat : 13713 (java) S 13710 13710 12749 0 -1 1077944320 19862 0 0 0 92 7 0 0 20 0 20 0 417958344 27976081408 42271 33554432000 4194304 4196468 140729484345872 140729484328416 140559619403511 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
/proc/13713/statm: 6830098 42271 3172 1 0 6791447 0
[pid=13713/tid=13714] ppid=13710 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/13713/task/13714/stat : 13714 (java) R 13710 13710 12749 0 -1 4202560 16906 0 0 0 62 5 0 0 20 0 20 0 417958344 27976081408 42271 33554432000 4194304 4196468 140729484345872 140559591234656 140559619425437 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13715] ppid=13710 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13715/stat : 13715 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27976081408 42271 33554432000 4194304 4196468 140729484345872 140559623646224 140559619413717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13716] ppid=13710 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13713/task/13716/stat : 13716 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27976081408 42271 33554432000 4194304 4196468 140729484345872 140559450463376 140559619413717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0
[pid=13713/tid=13717] ppid=13710 vsize=27320392 memory=4008 CPUtime=0 cores=0-7
/proc/13713/task/13717/stat : 13717 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958346 27976081408 42271 33554432000 4194304 4196468 140729484345872 140559040203536 140559619413717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140729484354282 140729484354710 140729484354710 140729484357583 0

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

[pid=13829/tid=13834] ppid=13710 vsize=8414124 memory=6689 CPUtime=0 cores=0-7
/proc/13829/task/13834/stat : 13834 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 30925 33554432000 4194304 4196468 140729631348496 140432098466192 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13835] ppid=13710 vsize=8414124 memory=4420 CPUtime=0 cores=0-7
/proc/13829/task/13835/stat : 13835 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 30925 33554432000 4194304 4196468 140729631348496 140432097414160 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13836] ppid=13710 vsize=8414124 memory=6628 CPUtime=0 cores=0-7
/proc/13829/task/13836/stat : 13836 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 30925 33554432000 4194304 4196468 140729631348496 140432096361616 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13837] ppid=13710 vsize=8414124 memory=-8528518524304650642 CPUtime=0 cores=0-7
/proc/13829/task/13837/stat : 13837 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 30925 33554432000 4194304 4196468 140729631348496 140432095308560 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13838] ppid=13710 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13829/task/13838/stat : 13838 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 30925 33554432000 4194304 4196468 140729631348496 140432094256016 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13839] ppid=13710 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/13829/task/13839/stat : 13839 (java) S 13710 13710 12749 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 24 0 418082157 8616062976 30925 33554432000 4194304 4196468 140729631348496 140431389677808 140432296172162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13840] ppid=13710 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13829/task/13840/stat : 13840 (java) S 13710 13710 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418082158 8616062976 30925 33554432000 4194304 4196468 140729631348496 140430935057568 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13841] ppid=13710 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13829/task/13841/stat : 13841 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082158 8616062976 30925 33554432000 4194304 4196468 140729631348496 140430666621680 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13842] ppid=13710 vsize=8414124 memory=123700 CPUtime=0 cores=0-7
/proc/13829/task/13842/stat : 13842 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082161 8616062976 30925 33554432000 4194304 4196468 140729631348496 140430292113360 140432296179611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13843] ppid=13710 vsize=8414124 memory=6997688 CPUtime=0.07 cores=0-7
/proc/13829/task/13843/stat : 13843 (java) S 13710 13710 12749 0 -1 1077944384 704 0 0 0 7 0 0 0 20 0 24 0 418082161 8616062976 30925 33554432000 4194304 4196468 140729631348496 140431388625648 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13844] ppid=13710 vsize=8414124 memory=1128 CPUtime=0.05 cores=0-7
/proc/13829/task/13844/stat : 13844 (java) S 13710 13710 12749 0 -1 1077944384 299 0 0 0 5 0 0 0 20 0 24 0 418082161 8616062976 30925 33554432000 4194304 4196468 140729631348496 140431387573104 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13845] ppid=13710 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7
/proc/13829/task/13845/stat : 13845 (java) S 13710 13710 12749 0 -1 1077944384 153 0 0 0 4 0 0 0 20 0 24 0 418082161 8616062976 30925 33554432000 4194304 4196468 140729631348496 140431386520048 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13846] ppid=13710 vsize=8414124 memory=1476 CPUtime=0.21 cores=0-7
/proc/13829/task/13846/stat : 13846 (java) S 13710 13710 12749 0 -1 1077944384 761 0 0 0 21 0 0 0 20 0 24 0 418082161 8616062976 30925 33554432000 4194304 4196468 140729631348496 140431385467504 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13847] ppid=13710 vsize=8414124 memory=123632 CPUtime=0 cores=0-7
/proc/13829/task/13847/stat : 13847 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418082161 8616062976 30925 33554432000 4194304 4196468 140729631348496 140429794208224 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13848] ppid=13710 vsize=8414124 memory=6988080 CPUtime=0.29 cores=0-7
/proc/13829/task/13848/stat : 13848 (java) S 13710 13710 12749 0 -1 1077944384 33 0 0 0 13 16 0 0 20 0 24 0 418082161 8616062976 30925 33554432000 4194304 4196468 140729631348496 140431384414896 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13850] ppid=13710 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13829/task/13850/stat : 13850 (java) S 13710 13710 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418082227 8616062976 30925 33554432000 4194304 4196468 140729631348496 140431376380864 140432296185625 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13852] ppid=13710 vsize=8414124 memory=6993756 CPUtime=0.03 cores=0-7
/proc/13829/task/13852/stat : 13852 (java) S 13710 13710 12749 0 -1 4202560 1688 0 0 0 1 2 0 0 20 0 24 0 418082227 8616062976 30925 33554432000 4194304 4196468 140729631348496 140429123108880 140432296182941 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13853] ppid=13710 vsize=8414124 memory=948 CPUtime=0 cores=0-7
/proc/13829/task/13853/stat : 13853 (java) S 13710 13710 12749 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 418082227 8616062976 30925 33554432000 4194304 4196468 140729631348496 140429391544464 140432296182941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13854] ppid=13710 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/13829/task/13854/stat : 13854 (java) S 13710 13710 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418082229 8616062976 30925 33554432000 4194304 4196468 140729631348496 140428854681008 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
Current children cumulated CPU time: 5425.6 s
Current children cumulated vsize: 15916752 KiB
Current children cumulated memory: 7124736 KiB

[startup+1690.8 s]
/proc/loadavg: 7.66 6.54 4.04 4/219 13897
/proc/meminfo: memFree=23162124/32770624 swapFree=66997532/67108860
[pid=13710] ppid=13707 vsize=113128 memory=1476 CPUtime=2019.72 cores=0-7
/proc/13710/stat : 13710 (scop.sh) S 13707 13710 12749 0 -1 4202496 582 591751 0 0 0 0 197556 4416 20 0 1 0 417958343 115843072 369 33554432000 4194304 5098028 140734715167120 140734715163864 139701443211900 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13488128 140734715171620 140734715171948 140734715171948 140734715174861 0
/proc/13710/statm: 28282 369 311 221 0 87 0
[pid=13829] ppid=13710 vsize=8414124 memory=124360 CPUtime=1.59 cores=0-7
/proc/13829/stat : 13829 (java) S 13710 13710 12749 0 -1 1077944320 22678 0 0 0 146 13 0 0 20 0 24 0 418082153 8616062976 31090 33554432000 4194304 4196468 140729631348496 140729631331040 140432296161015 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
/proc/13829/statm: 2103531 31090 3210 1 0 2064875 0
[pid=13829/tid=13830] ppid=13710 vsize=8414124 memory=6999560 CPUtime=0.75 cores=0-7
/proc/13829/task/13830/stat : 13830 (java) S 13710 13710 12749 0 -1 1077944384 17428 0 0 0 70 5 0 0 20 0 24 0 418082154 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432268001184 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13831] ppid=13710 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/13829/task/13831/stat : 13831 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432300403216 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13832] ppid=13710 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/13829/task/13832/stat : 13832 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432100571792 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13833] ppid=13710 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/13829/task/13833/stat : 13833 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432099518736 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13834] ppid=13710 vsize=8414124 memory=7306916055891837009 CPUtime=0 cores=0-7
/proc/13829/task/13834/stat : 13834 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432098466192 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13835] ppid=13710 vsize=8414124 memory=288289974010035484 CPUtime=0 cores=0-7
/proc/13829/task/13835/stat : 13835 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432097414160 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13836] ppid=13710 vsize=8414124 memory=9123589904177653869 CPUtime=0 cores=0-7
/proc/13829/task/13836/stat : 13836 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432096361616 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13837] ppid=13710 vsize=8414124 memory=8252739158665986068 CPUtime=0 cores=0-7
/proc/13829/task/13837/stat : 13837 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432095308560 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13838] ppid=13710 vsize=8414124 memory=7738711846156382250 CPUtime=0 cores=0-7
/proc/13829/task/13838/stat : 13838 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432094256016 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13839] ppid=13710 vsize=8414124 memory=720587142193527818 CPUtime=0.01 cores=0-7
/proc/13829/task/13839/stat : 13839 (java) S 13710 13710 12749 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 24 0 418082157 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431389677808 140432296172162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13840] ppid=13710 vsize=8414124 memory=3763716620970901864 CPUtime=0 cores=0-7
/proc/13829/task/13840/stat : 13840 (java) S 13710 13710 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418082158 8616062976 31090 33554432000 4194304 4196468 140729631348496 140430935057568 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13841] ppid=13710 vsize=8414124 memory=3876 CPUtime=0 cores=0-7
/proc/13829/task/13841/stat : 13841 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082158 8616062976 31090 33554432000 4194304 4196468 140729631348496 140430666621680 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13842] ppid=13710 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13829/task/13842/stat : 13842 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140430292113360 140432296179611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13843] ppid=13710 vsize=8414124 memory=123632 CPUtime=0.07 cores=0-7
/proc/13829/task/13843/stat : 13843 (java) S 13710 13710 12749 0 -1 1077944384 707 0 0 0 7 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431388625648 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13844] ppid=13710 vsize=8414124 memory=6988364 CPUtime=0.06 cores=0-7
/proc/13829/task/13844/stat : 13844 (java) S 13710 13710 12749 0 -1 1077944384 302 0 0 0 6 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431387573104 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13845] ppid=13710 vsize=8414124 memory=1164 CPUtime=0.08 cores=0-7
/proc/13829/task/13845/stat : 13845 (java) S 13710 13710 12749 0 -1 1077944384 290 0 0 0 8 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431386520048 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13846] ppid=13710 vsize=8414124 memory=-8528518524304650642 CPUtime=0.22 cores=0-7
/proc/13829/task/13846/stat : 13846 (java) S 13710 13710 12749 0 -1 1077944384 778 0 0 0 22 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431385467504 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13847] ppid=13710 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/13829/task/13847/stat : 13847 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140429794208224 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13848] ppid=13710 vsize=8414124 memory=1412 CPUtime=0.29 cores=0-7
/proc/13829/task/13848/stat : 13848 (java) S 13710 13710 12749 0 -1 1077944384 33 0 0 0 13 16 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431384414896 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13850] ppid=13710 vsize=8414124 memory=-8528518524304650642 CPUtime=0 cores=0-7
/proc/13829/task/13850/stat : 13850 (java) S 13710 13710 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418082227 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431376380864 140432296185625 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13852] ppid=13710 vsize=8414124 memory=6993812 CPUtime=0.04 cores=0-7
/proc/13829/task/13852/stat : 13852 (java) S 13710 13710 12749 0 -1 4202560 1746 0 0 0 2 2 0 0 20 0 24 0 418082227 8616062976 31090 33554432000 4194304 4196468 140729631348496 140429123109040 140432296182941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13853] ppid=13710 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13829/task/13853/stat : 13853 (java) S 13710 13710 12749 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 418082227 8616062976 31090 33554432000 4194304 4196468 140729631348496 140429391544464 140432296182941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13854] ppid=13710 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/13829/task/13854/stat : 13854 (java) S 13710 13710 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418082229 8616062976 31090 33554432000 4194304 4196468 140729631348496 140428854681008 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
Current children cumulated CPU time: 2021.31 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125836 KiB

[startup+1690.9 s]
/proc/loadavg: 7.66 6.54 4.04 4/219 13897
/proc/meminfo: memFree=23162124/32770624 swapFree=66997532/67108860
[pid=13710] ppid=13707 vsize=113128 memory=1476 CPUtime=2019.72 cores=0-7
/proc/13710/stat : 13710 (scop.sh) S 13707 13710 12749 0 -1 4202496 582 591751 0 0 0 0 197556 4416 20 0 1 0 417958343 115843072 369 33554432000 4194304 5098028 140734715167120 140734715163864 139701443211900 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13488128 140734715171620 140734715171948 140734715171948 140734715174861 0
/proc/13710/statm: 28282 369 311 221 0 87 0
[pid=13829] ppid=13710 vsize=8414124 memory=124360 CPUtime=1.59 cores=0-7
/proc/13829/stat : 13829 (java) S 13710 13710 12749 0 -1 1077944320 22678 0 0 0 146 13 0 0 20 0 24 0 418082153 8616062976 31090 33554432000 4194304 4196468 140729631348496 140729631331040 140432296161015 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
/proc/13829/statm: 2103531 31090 3210 1 0 2064875 0
[pid=13829/tid=13830] ppid=13710 vsize=8414124 memory=123700 CPUtime=0.75 cores=0-7
/proc/13829/task/13830/stat : 13830 (java) S 13710 13710 12749 0 -1 1077944384 17428 0 0 0 70 5 0 0 20 0 24 0 418082154 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432268001184 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13831] ppid=13710 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13829/task/13831/stat : 13831 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432300403216 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13832] ppid=13710 vsize=8414124 memory=6999560 CPUtime=0 cores=0-7
/proc/13829/task/13832/stat : 13832 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432100571792 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13833] ppid=13710 vsize=8414124 memory=124360 CPUtime=0 cores=0-7
/proc/13829/task/13833/stat : 13833 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432099518736 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13834] ppid=13710 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13829/task/13834/stat : 13834 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432098466192 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13835] ppid=13710 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/13829/task/13835/stat : 13835 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432097414160 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13836] ppid=13710 vsize=8414124 memory=1380 CPUtime=0 cores=0-7
/proc/13829/task/13836/stat : 13836 (java) S 13710 13710 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432096361616 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13837] ppid=13710 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13829/task/13837/stat : 13837 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432095308560 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13838] ppid=13710 vsize=8414124 memory=121000 CPUtime=0 cores=0-7
/proc/13829/task/13838/stat : 13838 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082156 8616062976 31090 33554432000 4194304 4196468 140729631348496 140432094256016 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13839] ppid=13710 vsize=8414124 memory=123700 CPUtime=0.01 cores=0-7
/proc/13829/task/13839/stat : 13839 (java) S 13710 13710 12749 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 24 0 418082157 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431389677808 140432296172162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13840] ppid=13710 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/13829/task/13840/stat : 13840 (java) S 13710 13710 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418082158 8616062976 31090 33554432000 4194304 4196468 140729631348496 140430935057568 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13841] ppid=13710 vsize=8414124 memory=9404 CPUtime=0 cores=0-7
/proc/13829/task/13841/stat : 13841 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082158 8616062976 31090 33554432000 4194304 4196468 140729631348496 140430666621680 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13842] ppid=13710 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/13829/task/13842/stat : 13842 (java) S 13710 13710 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140430292113360 140432296179611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13843] ppid=13710 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/13829/task/13843/stat : 13843 (java) S 13710 13710 12749 0 -1 1077944384 707 0 0 0 7 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431388625648 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13844] ppid=13710 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/13829/task/13844/stat : 13844 (java) S 13710 13710 12749 0 -1 1077944384 302 0 0 0 6 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431387573104 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13845] ppid=13710 vsize=8414124 memory=1476 CPUtime=0.08 cores=0-7
/proc/13829/task/13845/stat : 13845 (java) S 13710 13710 12749 0 -1 1077944384 290 0 0 0 8 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431386520048 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13846] ppid=13710 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/13829/task/13846/stat : 13846 (java) S 13710 13710 12749 0 -1 1077944384 778 0 0 0 22 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431385467504 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13847] ppid=13710 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13829/task/13847/stat : 13847 (java) S 13710 13710 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140429794208224 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13848] ppid=13710 vsize=8414124 memory=0 CPUtime=0.29 cores=0-7
/proc/13829/task/13848/stat : 13848 (java) S 13710 13710 12749 0 -1 1077944384 33 0 0 0 13 16 0 0 20 0 24 0 418082161 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431384414896 140432296172162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13850] ppid=13710 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13829/task/13850/stat : 13850 (java) S 13710 13710 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418082227 8616062976 31090 33554432000 4194304 4196468 140729631348496 140431376380864 140432296185625 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13852] ppid=13710 vsize=8414124 memory=123632 CPUtime=0.04 cores=0-7
/proc/13829/task/13852/stat : 13852 (java) S 13710 13710 12749 0 -1 4202560 1746 0 0 0 2 2 0 0 20 0 24 0 418082227 8616062976 31090 33554432000 4194304 4196468 140729631348496 140429123109040 140432296182941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13853] ppid=13710 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/13829/task/13853/stat : 13853 (java) S 13710 13710 12749 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 418082227 8616062976 31090 33554432000 4194304 4196468 140729631348496 140429391544464 140432296182941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
[pid=13829/tid=13854] ppid=13710 vsize=8414124 memory=26396 CPUtime=0 cores=0-7
/proc/13829/task/13854/stat : 13854 (java) S 13710 13710 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418082229 8616062976 31090 33554432000 4194304 4196468 140729631348496 140428854681008 140432296171221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10231808 140729631351799 140729631351958 140729631351958 140729631354831 0
Current children cumulated CPU time: 2021.31 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125836 KiB

Child status: 0
Real time (s): 1690.99
CPU time (s): 5426.3
CPU user time (s): 5317.16
CPU system time (s): 109.144
CPU usage (%): 320.896
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 23633260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5317.16
system time used= 109.144
maximum resident set size= 23633180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26700176
page faults= 0
swaps= 0
block input operations= 8
block output operations= 526048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2713293
involuntary context switches= 41336


# summary of solver processes directly reported to runsolver:
#   pid: 13710
#   total CPU time (s): 5426.3
#   total CPU user time (s): 5317.16
#   total CPU system time (s): 109.144

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4216 second user time and 14.9151 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 00:22:40
IDJOB=4392704
IDBENCH=121040
IDSOLVER=2839
FILE ID=node106/4392704-1568417035
RUNJOBID= node106-1568413091-12776
PBS_JOBID= 21702261
Free space on /tmp= 59028 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t85-8.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 /tmp/evaluation-result-4392704-1568417035/watcher-4392704-1568417035 -o /tmp/evaluation-result-4392704-1568417035/solver-4392704-1568417035 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --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-4392704-1568417035.xml

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

MD5SUM BENCH= 99ba47a6bc0c62f84cd44bdd38bc871f
RANDOM SEED=916148090

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30555832 kB
MemAvailable:   31901008 kB
Buffers:          176036 kB
Cached:          1450520 kB
SwapCached:         9428 kB
Active:           562312 kB
Inactive:        1077436 kB
Active(anon):      13164 kB
Inactive(anon):    33832 kB
Active(file):     549148 kB
Inactive(file):  1043604 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66997512 kB
Dirty:            106864 kB
Writeback:             0 kB
AnonPages:        109612 kB
Mapped:            37528 kB
Shmem:             25132 kB
Slab:             166204 kB
SReclaimable:     136520 kB
SUnreclaim:        29684 kB
KernelStack:        3600 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489360 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:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59008 MiB
End job on node106 at 2019-09-14 00:50:51