Trace number 4405264

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 5337.38 1658.55

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1388-serial-file.bin HOME/instance-4405264-1569238652.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Mon Sep 23 13:36:50 CEST 2019
0.65/0.57	c PID: 1391
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.58	c (0,0) Parsing Begin
19.39/12.34	c (11,11) Parsing End
19.39/12.35	c (11,11) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12
19.39/12.35	c (11,11) Heap : 1457 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
19.39/12.35	c (11,11) Constraint Name Generate Begin
19.39/12.36	c (11,11) Ctr:HOME/instance-4405264-1569238652.xml,ExtensionSupport:Var
19.39/12.36	c (11,11) Constraint Name Generate End
19.39/12.36	c (11,11) Heap : 1493 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
19.39/12.36	c (11,11) CSP to CSPinCNF Begin
113.57/80.72	c (80,77) translated 20 (10%) constraints
205.46/152.37	c (151,145) translated 40 (20%) constraints
288.01/222.83	c (222,214) translated 60 (30%) constraints
370.71/293.08	c (292,283) translated 80 (40%) constraints
454.53/363.49	c (362,351) translated 100 (50%) constraints
535.90/433.61	c (433,420) translated 120 (60%) constraints
618.43/503.95	c (503,488) translated 140 (70%) constraints
701.37/574.39	c (573,557) translated 160 (80%) constraints
781.30/644.29	c (643,625) translated 180 (90%) constraints
865.33/714.88	c (714,694) translated 200 (100%) constraints
868.83/718.31	c (717,697) ===========================================
868.83/718.35	c (717,697) Order
868.83/718.35	c (717,697) ===========================================
895.27/740.68	c (740,719) translated 1022787 (10%) constraints
923.59/763.28	c (762,741) translated 2045574 (20%) constraints
952.42/785.92	c (785,762) translated 3068361 (30%) constraints
980.13/808.45	c (807,784) translated 4091147 (40%) constraints
1008.66/831.17	c (830,806) translated 5113934 (50%) constraints
1036.96/853.76	c (853,828) translated 6136721 (60%) constraints
1071.55/877.20	c (876,849) translated 7159507 (70%) constraints
1099.75/899.82	c (899,871) translated 8182294 (80%) constraints
1128.16/922.49	c (921,893) translated 9205081 (90%) constraints
1156.79/945.20	c (944,915) translated 10227867 (100%) constraints
1156.79/945.20	c (944,915) CSP to CSPinCNF End
1157.03/945.39	c (944,915) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1157.03/945.39	c (944,915) Heap : 15636 MiB used (max 21871 MiB), NonHeap : 26 MiB used (max 0 MiB)
1157.03/945.39	c (944,915) CSPinCNF Propagation Begin
1531.09/1043.45	c (1042,973) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
1531.09/1043.45	c (1042,973) CSPinCNF Propagation End
1531.30/1043.67	c (1043,973) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1531.30/1043.67	c (1043,973) Heap : 16604 MiB used (max 21677 MiB), NonHeap : 27 MiB used (max 0 MiB)
1531.41/1043.71	c (1043,973) Simplify CSPinCNF Begin
1727.22/1086.37	c (1085,993) Simplify CSPinCNF End
1727.42/1086.58	c (1086,993) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1727.42/1086.58	c (1086,993) Heap : 17173 MiB used (max 21223 MiB), NonHeap : 27 MiB used (max 0 MiB)
1727.42/1086.58	c (1086,993) Calculate Precise Domain Begin
1727.42/1086.58	c (1086,993) 0 values are removed by re-calculation
1727.42/1086.58	c (1086,993) Calculate Precise Domain End
1727.62/1086.80	c (1086,994) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1727.62/1086.80	c (1086,994) Heap : 17173 MiB used (max 21223 MiB), NonHeap : 27 MiB used (max 0 MiB)
1727.62/1086.80	c (1086,994) CSPinCNF to SatSolver Begin
1746.85/1099.11	c (1098,1005) 1022787 (10 %) CSP clauses are encoded (0 SAT variables, 1022906 SAT clauses)
1763.26/1110.12	c (1109,1015) 2045574 (20 %) CSP clauses are encoded (0 SAT variables, 2045693 SAT clauses)
1781.54/1121.48	c (1120,1026) 3068361 (30 %) CSP clauses are encoded (0 SAT variables, 3068480 SAT clauses)
1801.80/1133.26	c (1132,1036) 4091147 (40 %) CSP clauses are encoded (0 SAT variables, 4091266 SAT clauses)
1824.00/1145.09	c (1144,1046) 5113934 (50 %) CSP clauses are encoded (0 SAT variables, 5114053 SAT clauses)
1864.52/1159.20	c (1158,1057) 6136721 (60 %) CSP clauses are encoded (0 SAT variables, 6136840 SAT clauses)
1899.48/1172.68	c (1172,1067) 7159507 (70 %) CSP clauses are encoded (0 SAT variables, 7159626 SAT clauses)
1942.05/1187.06	c (1186,1078) 8182294 (80 %) CSP clauses are encoded (0 SAT variables, 8182413 SAT clauses)
1966.42/1199.18	c (1198,1088) 9205081 (90 %) CSP clauses are encoded (0 SAT variables, 9205200 SAT clauses)
1995.14/1211.86	c (1211,1098) 10227867 (100 %) CSP clauses are encoded (0 SAT variables, 10227986 SAT clauses)
1995.14/1211.86	c (1211,1098) CSPinCNF to SatSolver End
1995.14/1211.86	c (1211,1098) Heap : 17936 MiB used (max 20742 MiB), NonHeap : 28 MiB used (max 0 MiB)
1995.14/1211.86	c (1211,1098) 610913 bool, 10227987 clause
1995.14/1211.86	c (1211,1098) Export Begin
1995.25/1211.95	c (1211,1098) Export to HOME/scop-1388-serial-file.bin
1995.25/1211.95	c (1211,1098) Export End
1995.25/1211.95	c (1211,1098) Export File Size: 0.01 MB
1995.25/1211.95	c (1211,1098) 11,11,944,1043,1086,1086,1211,STOP-AFTER(DIMACS)
1995.25/1211.95	c END-Prog: Mon Sep 23 13:57:01 CEST 2019
0.00/1212.06	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1388-serial-file.bin
1995.48/1212.53	c (0,0) Read Serial File Begin
1995.48/1212.53	c (0,0) HOME/scop-1388-serial-file.bin
1995.48/1212.73	c (0,0) Read Serial File End
1995.48/1212.75	
1995.48/1212.75	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1995.48/1212.75	(Solving Process)
1995.48/1212.75	
1995.48/1212.77	c BEGIN-Prog: Mon Sep 23 13:57:02 CEST 2019
1995.48/1212.77	c PID: 1523
1995.48/1212.77	c IP: 172.20.3.136
1995.48/1212.77	c HOST: node136.alineos.net
1995.48/1212.77	c (0,0) SatSolver.solve Begin
1995.48/1212.77	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405264-1569238652.xml-scop-1391.cnf
1995.48/1212.80	c (0,0) c
1995.48/1212.80	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)
1995.48/1212.80	c (0,0) c
1995.48/1212.80	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1995.48/1212.80	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1995.48/1212.80	c (0,0) c ========================================[ Problem Statistics ]===========================================
1995.48/1212.80	c (0,0) c |                                                                                                       |
2000.33/1216.59	c (4,0) c |  Number of variables:        610913                                                                   |
2000.33/1216.59	c (4,0) c |  Number of clauses:        10227987                                                                   |
2000.33/1216.59	c (4,0) c |  Parse time:                   3.49 s                                                                 |
2000.33/1216.59	c (4,0) c |                                                                                                       |
2001.43/1217.63	c (5,0) c | Too many clauses... No preprocessing                                                                  |
2001.43/1217.63	c (5,0) c |  Simplification time:          0.96 s                                                                 |
2001.43/1217.63	c (5,0) c |                                                                                                       |
2001.43/1217.65	c (5,0) c |  Generating clones                                                                                    |
2003.73/1219.95	c (7,0) c |  all clones generated. Memory =  5460.21Mb.                                                           |
2003.73/1219.95	c (7,0) c ========================================================================================================|
2003.73/1219.95	c (7,0) c
2003.73/1219.95	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2003.73/1219.95	c (7,0) c
2003.73/1219.95	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2003.73/1219.95	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2003.73/1219.95	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2003.73/1219.95	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2003.73/1219.95	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
2003.73/1219.95	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2003.73/1219.95	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
2003.73/1219.95	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2003.73/1219.95	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2003.73/1219.95	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2003.73/1219.95	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2003.73/1219.95	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2003.73/1219.95	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2003.73/1219.95	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2003.73/1219.95	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
2003.73/1219.95	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2003.73/1219.95	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2003.73/1219.95	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2003.73/1219.95	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2219.83/1249.30	c (36,0) c
2219.83/1249.30	c (36,0) c |------------------------------------------------------------------------------------------------------------------------|
2219.83/1249.30	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2219.83/1249.30	c (36,0) c |------------------------------------------------------------------------------------------------------------------------|
2219.83/1249.30	c (36,0) c |  0 |      3 |       3623 |       2407 |    52023 |     1417 |       17 |       63 |        0 |       97 |  20 |  0.000 |
2219.83/1249.30	c (36,0) c |  1 |      1 |        739 |        428 |    33776 |      428 |       13 |        0 |        0 |      107 |  20 |  0.000 |
2219.83/1249.30	c (36,0) c |  2 |      2 |        596 |        341 |    28107 |      341 |       22 |       60 |        0 |      113 |  20 |  0.000 |
2219.83/1249.30	c (36,0) c |  3 |      2 |        687 |        402 |    25459 |      402 |        7 |       58 |        0 |      105 |  20 |  0.000 |
2219.83/1249.30	c (36,0) c |  4 |      1 |        418 |        278 |    12351 |      278 |        9 |        0 |        0 |      107 |  20 |  0.000 |
2219.83/1249.30	c (36,0) c |  5 |      2 |        443 |        255 |    14197 |      255 |       21 |       27 |        1 |      100 |  20 |  0.000 |
2219.83/1249.30	c (36,0) c |  6 |      2 |        516 |        333 |    15854 |      333 |        8 |       49 |        0 |      102 |  20 |  0.000 |
2219.83/1249.30	c (36,0) c |  7 |      2 |        820 |        486 |    24632 |      486 |       16 |       84 |        1 |      117 |  20 |  0.000 |
2219.83/1249.30	c (36,0) c 
2219.83/1249.30	c (36,0) c synthesis        4930 conflicts   261263965 propagations       26 conflicts/sec  1364659 propagations/sec
2219.83/1249.30	c (36,0) c real: 36.4975 s, cpu: 191.45 s, memory: 7001.03 Mb
2447.26/1278.30	c (65,0) c
2447.26/1278.30	c (65,0) c |------------------------------------------------------------------------------------------------------------------------|
2447.26/1278.30	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2447.26/1278.30	c (65,0) c |------------------------------------------------------------------------------------------------------------------------|
2447.26/1278.30	c (65,0) c |  0 |      4 |       6221 |       4346 |    65107 |     3356 |       45 |      180 |        0 |      215 |  20 |  0.000 |
2447.26/1278.30	c (65,0) c |  1 |      1 |       1330 |        830 |    46550 |      830 |       20 |        0 |        0 |      232 |  20 |  0.000 |
2447.26/1278.30	c (65,0) c |  2 |      2 |       1686 |       1070 |    42365 |     1070 |       36 |       60 |        0 |      234 |  20 |  0.000 |
2447.26/1278.30	c (65,0) c |  3 |      3 |       2593 |       1689 |    48463 |     1689 |       44 |       84 |        0 |      226 |  20 |  0.000 |
2447.26/1278.30	c (65,0) c |  4 |      2 |       1396 |        950 |    30374 |      949 |       24 |      107 |        7 |      225 |  20 |  0.000 |
2447.26/1278.30	c (65,0) c |  5 |      2 |       1570 |        926 |    26109 |      926 |       36 |       27 |        1 |      221 |  20 |  0.000 |
2447.26/1278.30	c (65,0) c |  6 |      2 |       2279 |       1593 |    32842 |     1593 |       25 |       49 |        0 |      222 |  20 |  0.000 |
2447.26/1278.30	c (65,0) c |  7 |      2 |       1533 |        920 |    45028 |      920 |       26 |       84 |        3 |      235 |  20 |  0.000 |
2447.26/1278.30	c (65,0) c 
2447.26/1278.30	c (65,0) c synthesis       12324 conflicts   599433105 propagations       30 conflicts/sec  1437396 propagations/sec
2447.26/1278.30	c (65,0) c real: 65.4975 s, cpu: 417.027 s, memory: 7110.78 Mb
2672.40/1307.30	c (94,0) c
2672.40/1307.30	c (94,0) c |------------------------------------------------------------------------------------------------------------------------|
2672.40/1307.30	c (94,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2672.40/1307.30	c (94,0) c |------------------------------------------------------------------------------------------------------------------------|
2672.40/1307.30	c (94,0) c |  0 |      6 |       7955 |       5627 |    79083 |     4637 |      172 |      229 |        0 |      328 |  20 |  0.000 |
2672.40/1307.30	c (94,0) c |  1 |      1 |       1780 |       1180 |    53659 |     1180 |       22 |        0 |        0 |      348 |  20 |  0.000 |
2672.40/1307.30	c (94,0) c |  2 |      2 |       2544 |       1660 |    58211 |     1660 |       46 |       60 |        2 |      348 |  20 |  0.000 |
2672.40/1307.30	c (94,0) c |  3 |      5 |       3773 |       2568 |    61370 |     1574 |       67 |      221 |        0 |      335 |  20 |  0.000 |
2672.40/1307.30	c (94,0) c |  4 |      2 |       2727 |       1809 |    56339 |     1808 |       35 |      107 |        9 |      348 |  20 |  0.000 |
2672.40/1307.30	c (94,0) c |  5 |      2 |       2270 |       1489 |    32423 |     1489 |       52 |       27 |        1 |      335 |  20 |  0.000 |
2672.40/1307.30	c (94,0) c |  6 |      2 |       3737 |       2769 |    43339 |     1768 |       36 |       49 |        0 |      339 |  20 |  0.000 |
2672.40/1307.30	c (94,0) c |  7 |      2 |       2197 |       1372 |    62275 |     1372 |       31 |       84 |        3 |      348 |  20 |  0.000 |
2672.40/1307.30	c (94,0) c 
2672.40/1307.30	c (94,0) c synthesis       18474 conflicts   910439135 propagations       29 conflicts/sec  1421245 propagations/sec
2672.40/1307.30	c (94,0) c real: 94.4975 s, cpu: 640.593 s, memory: 7129.13 Mb
2891.71/1337.30	c (124,0) c
2891.71/1337.30	c (124,0) c |------------------------------------------------------------------------------------------------------------------------|
2891.71/1337.30	c (124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2891.71/1337.30	c (124,0) c |------------------------------------------------------------------------------------------------------------------------|
2891.71/1337.30	c (124,0) c |  0 |      6 |       8557 |       6164 |    87407 |     5174 |      231 |      229 |        0 |      438 |  20 |  0.000 |
2891.71/1337.30	c (124,0) c |  1 |      2 |       3570 |       2397 |    67843 |     1401 |       40 |      464 |        4 |      458 |  20 |  0.000 |
2891.71/1337.30	c (124,0) c |  2 |      2 |       3260 |       2160 |    69925 |     1167 |       60 |       60 |        5 |      458 |  20 |  0.000 |
2891.71/1337.30	c (124,0) c |  3 |      5 |       6415 |       4621 |    80872 |     3626 |      106 |      221 |        1 |      449 |  20 |  0.000 |
2891.71/1337.30	c (124,0) c |  4 |      2 |       3496 |       2389 |    73814 |     1393 |       45 |      107 |       10 |      458 |  20 |  0.000 |
2891.71/1337.30	c (124,0) c |  5 |      2 |       2872 |       2010 |    42134 |     1014 |       60 |       27 |        1 |      454 |  20 |  0.000 |
2891.71/1337.30	c (124,0) c |  6 |      2 |       5564 |       4172 |    52147 |     3171 |       71 |       49 |        0 |      458 |  20 |  0.000 |
2891.71/1337.30	c (124,0) c |  7 |      2 |       3154 |       2017 |    73616 |     1018 |       47 |       84 |        3 |      458 |  20 |  0.000 |
2891.71/1337.30	c (124,0) c 
2891.71/1337.30	c (124,0) c synthesis       25930 conflicts  1218122597 propagations       30 conflicts/sec  1418398 propagations/sec
2891.71/1337.30	c (124,0) c real: 124.498 s, cpu: 858.801 s, memory: 7141.02 Mb
3096.59/1366.30	c (153,0) c
3096.59/1366.30	c (153,0) c |------------------------------------------------------------------------------------------------------------------------|
3096.59/1366.30	c (153,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3096.59/1366.30	c (153,0) c |------------------------------------------------------------------------------------------------------------------------|
3096.59/1366.30	c (153,0) c |  0 |      6 |       9399 |       6861 |    96383 |     3068 |      327 |      229 |        0 |      543 |  20 |  0.000 |
3096.59/1366.30	c (153,0) c |  1 |      2 |       5457 |       3732 |    81789 |     2736 |       49 |      464 |        4 |      563 |  20 |  0.000 |
3096.59/1366.30	c (153,0) c |  2 |      2 |       3949 |       2664 |    76404 |     1671 |       73 |       60 |        5 |      563 |  20 |  0.000 |
3096.59/1366.30	c (153,0) c |  3 |      8 |      10014 |       7022 |   102101 |     3227 |      496 |      645 |        4 |      563 |  20 |  0.000 |
3096.59/1366.30	c (153,0) c |  4 |      2 |       4135 |       2849 |    83284 |     1852 |       53 |      107 |       10 |      563 |  20 |  0.000 |
3096.59/1366.30	c (153,0) c |  5 |      3 |       3635 |       2577 |    50356 |     1581 |       67 |      976 |        3 |      563 |  20 |  0.000 |
3096.59/1366.30	c (153,0) c |  6 |      2 |       6643 |       5043 |    57924 |     4042 |      110 |       49 |        0 |      563 |  20 |  0.000 |
3096.59/1366.30	c (153,0) c |  7 |      5 |       3860 |       2471 |    80918 |     1472 |       53 |     1081 |        4 |      563 |  20 |  0.000 |
3096.59/1366.30	c (153,0) c 
3096.59/1366.30	c (153,0) c synthesis       33219 conflicts  1490305252 propagations       31 conflicts/sec  1401987 propagations/sec
3096.59/1366.30	c (153,0) c real: 153.498 s, cpu: 1062.99 s, memory: 7157.82 Mb
3306.93/1396.30	c (183,0) c
3306.93/1396.30	c (183,0) c |------------------------------------------------------------------------------------------------------------------------|
3306.93/1396.30	c (183,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3306.93/1396.30	c (183,0) c |------------------------------------------------------------------------------------------------------------------------|
3306.93/1396.30	c (183,0) c |  0 |      6 |      10232 |       7570 |   103421 |     3777 |      419 |      229 |        0 |      656 |  20 |  0.000 |
3306.93/1396.30	c (183,0) c |  1 |      2 |       8731 |       6148 |   105896 |     5152 |      322 |      464 |        4 |      676 |  20 |  0.000 |
3306.93/1396.30	c (183,0) c |  2 |      4 |       4937 |       3299 |    92993 |     2306 |       94 |     1306 |        9 |      676 |  20 |  0.000 |
3306.93/1396.30	c (183,0) c |  3 |      8 |      11699 |       8314 |   111133 |     4519 |      722 |      645 |        4 |      676 |  20 |  0.000 |
3306.93/1396.30	c (183,0) c |  4 |      2 |       4988 |       3449 |    94394 |     2453 |       62 |      107 |       13 |      676 |  20 |  0.000 |
3306.93/1396.30	c (183,0) c |  5 |      4 |       4257 |       3088 |    59032 |     2092 |       78 |     1150 |        4 |      676 |  20 |  0.000 |
3306.93/1396.30	c (183,0) c |  6 |      4 |       8752 |       6622 |    73013 |     2825 |      511 |     1193 |        1 |      676 |  20 |  0.000 |
3306.93/1396.30	c (183,0) c |  7 |      5 |       4921 |       3141 |    92690 |     2142 |       64 |     1081 |        5 |      676 |  20 |  0.000 |
3306.93/1396.30	c (183,0) c 
3306.93/1396.30	c (183,0) c synthesis       41631 conflicts  1773450722 propagations       33 conflicts/sec  1395296 propagations/sec
3306.93/1396.30	c (183,0) c real: 183.498 s, cpu: 1271.02 s, memory: 7169.33 Mb
3524.40/1425.30	c (212,0) c
3524.40/1425.30	c (212,0) c |------------------------------------------------------------------------------------------------------------------------|
3524.40/1425.30	c (212,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3524.40/1425.30	c (212,0) c |------------------------------------------------------------------------------------------------------------------------|
3524.40/1425.30	c (212,0) c |  0 |      6 |      11930 |       8944 |   112333 |     5151 |      551 |      229 |        0 |      771 |  20 |  0.000 |
3524.40/1425.30	c (212,0) c |  1 |      3 |      11168 |       7887 |   121149 |     4096 |      685 |     2237 |        4 |      791 |  20 |  0.000 |
3524.40/1425.30	c (212,0) c |  2 |      6 |       6748 |       4313 |   112212 |     3320 |      111 |     3039 |       11 |      791 |  20 |  0.000 |
3524.40/1425.30	c (212,0) c |  3 |      9 |      13881 |       9998 |   122122 |     6203 |      918 |     2157 |        9 |      787 |  20 |  0.000 |
3524.40/1425.30	c (212,0) c |  4 |      2 |       5842 |       4093 |   102467 |     3097 |       80 |      107 |       14 |      791 |  20 |  0.000 |
3524.40/1425.30	c (212,0) c |  5 |      4 |       5316 |       3815 |    72297 |     2819 |      105 |     1150 |        7 |      791 |  20 |  0.000 |
3524.40/1425.30	c (212,0) c |  6 |      4 |      11424 |       8693 |    87339 |     4896 |      925 |     1193 |        1 |      791 |  20 |  0.000 |
3524.40/1425.30	c (212,0) c |  7 |      7 |       6165 |       4070 |   102912 |     3071 |       79 |     2658 |        6 |      791 |  20 |  0.000 |
3524.40/1425.30	c (212,0) c 
3524.40/1425.30	c (212,0) c synthesis       51813 conflicts  2032516962 propagations       35 conflicts/sec  1366698 propagations/sec
3524.40/1425.30	c (212,0) c real: 212.498 s, cpu: 1487.17 s, memory: 7187.06 Mb
3757.27/1455.31	c (242,0) c
3757.27/1455.31	c (242,0) c |------------------------------------------------------------------------------------------------------------------------|
3757.27/1455.31	c (242,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3757.27/1455.31	c (242,0) c |------------------------------------------------------------------------------------------------------------------------|
3757.27/1455.31	c (242,0) c |  0 |      8 |      14448 |      10935 |   127411 |     7066 |      787 |     3342 |        4 |      895 |  20 |  0.006 |
3757.27/1455.31	c (242,0) c |  1 |      3 |      13238 |       9550 |   129907 |     5758 |      820 |     2918 |        5 |      909 |  20 |  0.006 |
3757.27/1455.31	c (242,0) c |  2 |      7 |       7703 |       4839 |   123224 |     3832 |      136 |     4022 |       13 |      903 |  20 |  0.006 |
3757.27/1455.31	c (242,0) c |  3 |      9 |      16995 |      12556 |   141164 |     8761 |     1267 |     2157 |       14 |      911 |  20 |  0.000 |
3757.27/1455.31	c (242,0) c |  4 |      2 |       6912 |       4856 |   118134 |     3860 |       95 |      107 |       16 |      910 |  20 |  0.000 |
3757.27/1455.31	c (242,0) c |  5 |      4 |       6304 |       4537 |    84148 |     3541 |      124 |     1150 |       10 |      910 |  20 |  0.000 |
3757.27/1455.31	c (242,0) c |  6 |      4 |      12327 |       9403 |    92318 |     4759 |     1078 |     2498 |        2 |      894 |  20 |  0.006 |
3757.27/1455.31	c (242,0) c |  7 |      7 |       7048 |       4824 |   109218 |     3825 |      107 |     2658 |        6 |      910 |  20 |  0.000 |
3757.27/1455.31	c (242,0) c 
3757.27/1455.31	c (242,0) c synthesis       61500 conflicts  2288311751 propagations       36 conflicts/sec  1332589 propagations/sec
3757.27/1455.31	c (242,0) c real: 242.498 s, cpu: 1717.19 s, memory: 7197.16 Mb
3982.18/1484.30	c (271,0) c
3982.18/1484.30	c (271,0) c |------------------------------------------------------------------------------------------------------------------------|
3982.18/1484.30	c (271,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3982.18/1484.30	c (271,0) c |------------------------------------------------------------------------------------------------------------------------|
3982.18/1484.30	c (271,0) c |  0 |      9 |      18982 |      14653 |   143387 |     5823 |     1247 |     3630 |       53 |     1012 |  20 |  0.006 |
3982.18/1484.30	c (271,0) c |  1 |      3 |      16778 |      12290 |   149582 |     8498 |     1268 |     2918 |       17 |     1020 |  20 |  0.006 |
3982.18/1484.30	c (271,0) c |  2 |      7 |       8546 |       5379 |   133456 |     4372 |      248 |     4022 |       16 |     1015 |  20 |  0.006 |
3982.18/1484.30	c (271,0) c |  3 |     10 |      19063 |      14206 |   150120 |     5408 |     1504 |     3612 |       29 |     1024 |  20 |  0.006 |
3982.18/1484.30	c (271,0) c |  4 |      2 |       7942 |       5612 |   129720 |     4616 |      212 |      107 |       16 |     1027 |  20 |  0.000 |
3982.18/1484.30	c (271,0) c |  5 |      4 |       7795 |       5714 |    99702 |     4718 |      290 |     1150 |       10 |     1027 |  20 |  0.000 |
3982.18/1484.30	c (271,0) c |  6 |      4 |      13764 |      10517 |    98733 |     5873 |     1242 |     2498 |        2 |     1007 |  20 |  0.006 |
3982.18/1484.30	c (271,0) c |  7 |      8 |       8157 |       5680 |   117346 |     4680 |      200 |     5262 |        6 |     1027 |  20 |  0.006 |
3982.18/1484.30	c (271,0) c 
3982.18/1484.30	c (271,0) c synthesis       74051 conflicts  2538472219 propagations       38 conflicts/sec  1307746 propagations/sec
3982.18/1484.30	c (271,0) c real: 271.498 s, cpu: 1941.11 s, memory: 7202.52 Mb
4220.42/1514.30	c (301,0) c
4220.42/1514.30	c (301,0) c |------------------------------------------------------------------------------------------------------------------------|
4220.42/1514.30	c (301,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4220.42/1514.30	c (301,0) c |------------------------------------------------------------------------------------------------------------------------|
4220.42/1514.30	c (301,0) c |  0 |      9 |      22431 |      17436 |   154596 |     8606 |     1609 |     3630 |       64 |     1134 |  20 |  0.006 |
4220.42/1514.30	c (301,0) c |  1 |      3 |      19884 |      14917 |   162061 |     6122 |     1574 |     2918 |       21 |     1130 |  20 |  0.006 |
4220.42/1514.30	c (301,0) c |  2 |      8 |      10193 |       6508 |   154610 |     5501 |      539 |     6188 |       23 |     1149 |  20 |  0.006 |
4220.42/1514.30	c (301,0) c |  3 |     13 |      23848 |      18045 |   172320 |     9246 |     1986 |     5449 |      121 |     1147 |  20 |  0.006 |
4220.42/1514.30	c (301,0) c |  4 |      2 |       9576 |       6837 |   143589 |     3045 |      429 |      107 |       17 |     1150 |  20 |  0.000 |
4220.42/1514.30	c (301,0) c |  5 |      4 |       9233 |       6903 |   112056 |     3112 |      529 |     1150 |       10 |     1146 |  20 |  0.000 |
4220.42/1514.30	c (301,0) c |  6 |      4 |      16926 |      12935 |   111839 |     8290 |     1564 |     4664 |       21 |     1132 |  20 |  0.006 |
4220.42/1514.30	c (301,0) c |  7 |      8 |       8878 |       6276 |   128284 |     5276 |      264 |     5262 |       13 |     1148 |  20 |  0.006 |
4220.42/1514.30	c (301,0) c 
4220.42/1514.30	c (301,0) c synthesis       89857 conflicts  2810025934 propagations       41 conflicts/sec  1289954 propagations/sec
4220.42/1514.30	c (301,0) c real: 301.498 s, cpu: 2178.39 s, memory: 7206.92 Mb
4444.87/1543.30	c (330,0) c
4444.87/1543.30	c (330,0) c |------------------------------------------------------------------------------------------------------------------------|
4444.87/1543.30	c (330,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4444.87/1543.30	c (330,0) c |------------------------------------------------------------------------------------------------------------------------|
4445.73/1543.34	c (330,0) c |  0 |      9 |      24527 |      19097 |   161263 |    10267 |     1874 |     3630 |       72 |     1247 |  20 |  0.006 |
4445.73/1543.34	c (330,0) c |  1 |      3 |      22898 |      17437 |   171630 |     8642 |     1931 |     2918 |       27 |     1242 |  20 |  0.006 |
4445.73/1543.34	c (330,0) c |  2 |     10 |      11937 |       7767 |   169552 |     3968 |      757 |     9467 |       55 |     1262 |  20 |  0.007 |
4445.73/1543.34	c (330,0) c |  3 |     13 |      26903 |      20577 |   184977 |    11779 |     2272 |     5449 |      144 |     1261 |  20 |  0.006 |
4445.73/1543.34	c (330,0) c |  4 |      2 |      10770 |       7703 |   152757 |     3911 |      627 |      107 |       17 |     1262 |  20 |  0.000 |
4445.73/1543.34	c (330,0) c |  5 |      4 |      10651 |       8043 |   124152 |     4252 |      749 |     1150 |       10 |     1262 |  20 |  0.000 |
4445.73/1543.34	c (330,0) c |  6 |      5 |      21177 |      16437 |   128858 |     7216 |     2085 |     7810 |       26 |     1253 |  20 |  0.007 |
4445.73/1543.34	c (330,0) c |  7 |      8 |       9589 |       6825 |   136956 |     3030 |      333 |     5262 |       28 |     1262 |  20 |  0.006 |
4445.73/1543.34	c (330,0) c 
4445.73/1543.34	c (330,0) c synthesis      103886 conflicts  3052239082 propagations       43 conflicts/sec  1270886 propagations/sec
4445.73/1543.34	c (330,0) c real: 330.498 s, cpu: 2401.66 s, memory: 7211.08 Mb
4679.34/1573.30	c (360,0) c
4679.34/1573.30	c (360,0) c |------------------------------------------------------------------------------------------------------------------------|
4679.34/1573.30	c (360,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4679.34/1573.30	c (360,0) c |------------------------------------------------------------------------------------------------------------------------|
4679.34/1573.30	c (360,0) c |  0 |     10 |      27646 |      21649 |   173547 |    12500 |     2260 |     9483 |      178 |     1374 |  20 |  0.007 |
4679.34/1573.30	c (360,0) c |  1 |      4 |      25503 |      19573 |   181317 |    10776 |     2162 |     9757 |       44 |     1366 |  20 |  0.007 |
4679.34/1573.30	c (360,0) c |  2 |     11 |      13894 |       9228 |   183220 |     5429 |      916 |    10090 |      122 |     1386 |  20 |  0.007 |
4679.34/1573.30	c (360,0) c |  3 |     15 |      28685 |      22010 |   193173 |    13211 |     2467 |     9320 |      157 |     1378 |  20 |  0.007 |
4679.34/1573.30	c (360,0) c |  4 |      4 |      11857 |       8377 |   166872 |     4553 |      806 |    10540 |       26 |     1383 |  20 |  0.007 |
4679.34/1573.30	c (360,0) c |  5 |      4 |      12264 |       9358 |   137337 |     5567 |      929 |     1150 |       11 |     1383 |  20 |  0.000 |
4679.34/1573.30	c (360,0) c |  6 |      5 |      25091 |      19590 |   142969 |    10369 |     2534 |     7810 |       42 |     1376 |  20 |  0.007 |
4679.34/1573.30	c (360,0) c |  7 |      9 |      10741 |       7685 |   146147 |     3805 |      499 |    11388 |       47 |     1385 |  20 |  0.007 |
4679.34/1573.30	c (360,0) c 
4679.34/1573.30	c (360,0) c synthesis      117470 conflicts  3290770241 propagations       45 conflicts/sec  1248920 propagations/sec
4679.34/1573.30	c (360,0) c real: 360.498 s, cpu: 2634.89 s, memory: 7216.26 Mb
4909.03/1602.30	c (389,0) c
4909.03/1602.30	c (389,0) c |------------------------------------------------------------------------------------------------------------------------|
4909.03/1602.30	c (389,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4909.03/1602.30	c (389,0) c |------------------------------------------------------------------------------------------------------------------------|
4909.03/1602.30	c (389,0) c |  0 |     11 |      30423 |      24009 |   184567 |     7634 |     2528 |    11314 |      242 |     1491 |  20 |  0.007 |
4909.03/1602.30	c (389,0) c |  1 |      4 |      28754 |      22202 |   197088 |    13405 |     2448 |     9757 |      138 |     1485 |  20 |  0.007 |
4909.03/1602.30	c (389,0) c |  2 |     11 |      17269 |      11999 |   198392 |     8200 |     1267 |    10090 |      239 |     1504 |  20 |  0.007 |
4909.03/1602.30	c (389,0) c |  3 |     15 |      29719 |      22905 |   202538 |    14106 |     2547 |     9320 |      172 |     1491 |  20 |  0.007 |
4909.03/1602.30	c (389,0) c |  4 |      5 |      12911 |       9012 |   178789 |     5159 |      974 |    13083 |       34 |     1505 |  20 |  0.007 |
4909.03/1602.30	c (389,0) c |  5 |      5 |      13299 |      10145 |   150521 |     6331 |     1061 |    11565 |       52 |     1490 |  20 |  0.007 |
4909.03/1602.30	c (389,0) c |  6 |      5 |      28667 |      22458 |   154350 |     6728 |     2945 |    10897 |       78 |     1504 |  20 |  0.008 |
4909.03/1602.30	c (389,0) c |  7 |      9 |      12464 |       8968 |   161187 |     5088 |      676 |    11388 |      148 |     1494 |  20 |  0.007 |
4909.03/1602.30	c (389,0) c 
4909.03/1602.30	c (389,0) c synthesis      131698 conflicts  3510911795 propagations       46 conflicts/sec  1226317 propagations/sec
4909.03/1602.30	c (389,0) c real: 389.498 s, cpu: 2862.97 s, memory: 7219.33 Mb
5147.81/1632.30	c (419,0) c
5147.81/1632.30	c (419,0) c |------------------------------------------------------------------------------------------------------------------------|
5147.81/1632.30	c (419,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
5147.81/1632.30	c (419,0) c |------------------------------------------------------------------------------------------------------------------------|
5147.81/1632.30	c (419,0) c |  0 |     11 |      33780 |      26695 |   196888 |     9581 |     2883 |    13201 |      343 |     1617 |  20 |  0.008 |
5147.81/1632.30	c (419,0) c |  1 |      4 |      32844 |      25729 |   214208 |     9533 |     2817 |     9757 |      240 |     1608 |  20 |  0.007 |
5147.81/1632.30	c (419,0) c |  2 |     12 |      21571 |      15519 |   219721 |     6584 |     1754 |    14116 |      431 |     1624 |  20 |  0.008 |
5147.81/1632.30	c (419,0) c |  3 |     17 |      32268 |      24875 |   216710 |     8321 |     2789 |    13632 |      267 |     1619 |  20 |  0.008 |
5147.81/1632.30	c (419,0) c |  4 |      5 |      14723 |      10372 |   189521 |     6519 |     1213 |    13083 |       52 |     1619 |  20 |  0.007 |
5147.81/1632.30	c (419,0) c |  5 |      5 |      15409 |      11764 |   161800 |     7950 |     1279 |    11565 |      133 |     1608 |  20 |  0.007 |
5147.81/1632.30	c (419,0) c |  6 |      5 |      30583 |      24100 |   166470 |     4438 |     3061 |    12882 |      100 |     1628 |  20 |  0.008 |
5147.81/1632.30	c (419,0) c |  7 |      9 |      16871 |      12565 |   186560 |     8685 |     1258 |    11388 |      327 |     1619 |  20 |  0.007 |
5147.81/1632.30	c (419,0) c 
5147.81/1632.30	c (419,0) c synthesis      151619 conflicts  3748815748 propagations       49 conflicts/sec  1209458 propagations/sec
5147.81/1632.30	c (419,0) c real: 419.498 s, cpu: 3099.58 s, memory: 7221.67 Mb
5336.83/1658.15	c (445,0) c
5336.83/1658.15	c (445,0) c real time : 445.357 s
5336.83/1658.15	c (445,0) c cpu time  : 3288.04 s
5336.83/1658.15	c (445,0) c
5336.83/1658.15	c (445,0) c
5336.83/1658.15	c (445,0) c
5336.83/1658.15	c (445,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
5336.83/1658.15	c (445,0) c
5336.83/1658.15	c (445,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.15	c (445,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5336.83/1658.15	c (445,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.15	c (445,0) c | Conflicts     |          169785 |      29159 |      28082 |      17732 |      26748 |      12505 |      14401 |      25319 |      15839 |
5336.83/1658.15	c (445,0) c | Decisions     |          220030 |      36733 |      35614 |      24237 |      34513 |      17388 |      18550 |      32109 |      20886 |
5336.83/1658.15	c (445,0) c | Propagations  |      3943021985 |  409168963 |  482737157 |  501695828 |  457610506 |  617656195 |  519825755 |  432152196 |  522175385 |
5336.83/1658.15	c (445,0) c | ReduceDBs     |              27 |          4 |          4 |          3 |          4 |          2 |          3 |          4 |          3 |
5336.83/1658.15	c (445,0) c | SimpDBs       |              38 |          4 |          3 |          7 |          5 |          4 |          4 |          6 |          5 |
5336.83/1658.15	c (445,0) c | Restarts      |              71 |         13 |          4 |         12 |         17 |          5 |          6 |          5 |          9 |
5336.83/1658.15	c (445,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5336.83/1658.15	c (445,0) c | PropBinClauses|      2432567429 |  304844664 |  344545589 |  246213830 |  328893715 |  329569772 |  286356634 |  299795863 |  292347362 |
5336.83/1658.15	c (445,0) c | PropPreBlocker|     42442474426 | 5020469216 | 5262112169 | 5458288716 | 5154770603 | 5532663866 | 5470910868 | 5145562684 | 5397696304 |
5336.83/1658.15	c (445,0) c | PropNotBlocker|     23109457794 | 3327577348 | 2935807002 | 2821940099 | 3056013852 | 2396695680 | 2758936178 | 3096078423 | 2716409212 |
5336.83/1658.15	c (445,0) c | LitFullScans  |     82989392010 |10362081832 |10374148551 |10402295848 |10364222291 |10383146409 |10361921876 |10366876668 |10374698535 |
5336.83/1658.15	c (445,0) c | LitScanFracts |       470159285 |   53972116 |   64634867 |   64891772 |   56034865 |   62389472 |   53810272 |   51787028 |   62638893 |
5336.83/1658.15	c (445,0) c | DecisionLevel0|             106 |         17 |          6 |         18 |         19 |          6 |          8 |         11 |         21 |
5336.83/1658.15	c (445,0) c | Periods       |           13751 |       1718 |       1718 |       1722 |       1718 |       1720 |       1718 |       1719 |       1718 |
5336.83/1658.15	c (445,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
5336.83/1658.15	c (445,0) c | Avg_Trail     |                 |      50350 |      67925 |      92066 |      64935 |     162652 |     105040 |      60339 |     111058 |
5336.83/1658.15	c (445,0) c | Avg_DL        |                 |         10 |         11 |         12 |         12 |         11 |         12 |          9 |         11 |
5336.83/1658.15	c (445,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5336.83/1658.15	c (445,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5336.83/1658.15	c (445,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.15	c (445,0) c | Exported      |           19437 |       3123 |       3177 |       2017 |       3045 |       1545 |       1615 |       3164 |       1751 |
5336.83/1658.15	c (445,0) c | Imported      |          117232 |      14300 |       9757 |      16925 |      13632 |      15646 |      16751 |      12882 |      17339 |
5336.83/1658.15	c (445,0) c | Good          |            4065 |        462 |        367 |        590 |        473 |        572 |        580 |        426 |        595 |
5336.83/1658.15	c (445,0) c | Purge         |          113167 |      13838 |       9390 |      16335 |      13159 |      15074 |      16171 |      12456 |      16744 |
5336.83/1658.16	c (445,0) c | Promoted      |            3048 |        476 |        275 |        533 |        370 |        319 |        409 |        105 |        561 |
5336.83/1658.16	c (445,0) c | Remove_Imp    |           13000 |          0 |          0 |       3569 |          0 |          0 |       5615 |       2674 |       1142 |
5336.83/1658.16	c (445,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5336.83/1658.16	c (445,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.16	c (445,0) c | Unaries       |                 |          4 |          2 |          6 |          2 |          1 |          2 |          6 |         12 |
5336.83/1658.16	c (445,0) c | Binaries      |                 |        144 |         92 |         62 |        113 |         19 |         52 |        133 |         78 |
5336.83/1658.16	c (445,0) c | Glues         |                 |        667 |        474 |        414 |        543 |        258 |        357 |        400 |        338 |
5336.83/1658.16	c (445,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.16	c (445,0) c | Orig_Seen     |             2 % |     207234 |     226169 |     229968 |     225499 |     207516 |     179252 |     173315 |     205408 |
5336.83/1658.16	c (445,0) c | Diff Orig seen|                 |       1826 |      20761 |      24560 |      20091 |       2108 | -    26156 | -    32093 |      X     |
5336.83/1658.16	c (445,0) c | Hamming       |            25 % |     167996 |     167744 |     132380 |     146752 |     158335 |     152790 |     170804 |      X     |
5336.83/1658.16	c (445,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.16	c (445,0) c | RunningTime   |                 |  436.4 100%|  420.9  96%|  409.6  94%|  428.0  98%|  412.2  95%|  428.0  98%|  422.4  97%|  402.1  92%|
5336.83/1658.16	c (445,0) c | WaitingTime   |                 |    0.0   0%|   17.2   4%|   25.9   6%|    8.5   2%|   23.1   5%|    8.7   2%|   12.8   3%|   33.0   8%|
5336.83/1658.16	c (445,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%|
5336.83/1658.16	c (445,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%|
5336.83/1658.16	c (445,0) c | SolvingTime   |                 |  436.5     |  438.2     |  435.5     |  436.6     |  435.4     |  436.7     |  435.2     |  435.2     |
5336.83/1658.16	c (445,0) c | PropagationTim|                 |  422.2  97%|  422.4  96%|  417.9  96%|  418.2  96%|  419.8  96%|  421.4  96%|  417.5  96%|  418.1  96%|
5336.83/1658.16	c (445,0) c | AnalysisTime  |                 |    3.5   1%|    3.5   1%|    3.0   1%|    3.6   1%|    3.1   1%|    3.1   1%|    3.4   1%|    2.9   1%|
5336.83/1658.16	c (445,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%|
5336.83/1658.16	c (445,0) c | SimplifyTime  |                 |    0.6   0%|    1.9   0%|    5.2   1%|    4.0   1%|    2.5   1%|    1.9   0%|    3.5   1%|    4.8   1%|
5336.83/1658.16	c (445,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%|
5336.83/1658.16	c (445,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%|
5336.83/1658.16	c (445,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.16	c (445,0) c
5336.83/1658.16	c (445,0) c
5336.83/1658.16	c (445,0) c Threads : 8
5336.83/1658.16	c (445,0) c Winner : 7
5336.83/1658.16	c (445,0) c Conflicts_0 : 29159
5336.83/1658.16	c (445,0) c Conflicts_1 : 28082
5336.83/1658.16	c (445,0) c Conflicts_2 : 17732
5336.83/1658.16	c (445,0) c Conflicts_3 : 26748
5336.83/1658.16	c (445,0) c Conflicts_4 : 12505
5336.83/1658.16	c (445,0) c Conflicts_5 : 14401
5336.83/1658.16	c (445,0) c Conflicts_6 : 25319
5336.83/1658.16	c (445,0) c Conflicts_7 : 15839
5336.83/1658.16	c (445,0) c Conflicts_total : 169785
5336.83/1658.16	c (445,0) c Conflicts_winner : 15839
5336.83/1658.16	c (445,0) c Decisions_0 : 36733
5336.83/1658.16	c (445,0) c Decisions_1 : 35614
5336.83/1658.16	c (445,0) c Decisions_2 : 24237
5336.83/1658.16	c (445,0) c Decisions_3 : 34513
5336.83/1658.16	c (445,0) c Decisions_4 : 17388
5336.83/1658.16	c (445,0) c Decisions_5 : 18550
5336.83/1658.16	c (445,0) c Decisions_6 : 32109
5336.83/1658.16	c (445,0) c Decisions_7 : 20886
5336.83/1658.16	c (445,0) c Decisions_total : 220030
5336.83/1658.16	c (445,0) c Decisions_winner : 20886
5336.83/1658.16	c (445,0) c Propagations_0 : 409168963
5336.83/1658.16	c (445,0) c Propagations_1 : 482737157
5336.83/1658.16	c (445,0) c Propagations_2 : 501695828
5336.83/1658.16	c (445,0) c Propagations_3 : 457610506
5336.83/1658.16	c (445,0) c Propagations_4 : 617656195
5336.83/1658.16	c (445,0) c Propagations_5 : 519825755
5336.83/1658.16	c (445,0) c Propagations_6 : 432152196
5336.83/1658.16	c (445,0) c Propagations_7 : 522175385
5336.83/1658.16	c (445,0) c Propagations_total : 3943021985
5336.83/1658.16	c (445,0) c Propagations_winner : 522175385
5336.83/1658.16	c (445,0) c ReduceDBs_0 : 4
5336.83/1658.16	c (445,0) c ReduceDBs_1 : 4
5336.83/1658.16	c (445,0) c ReduceDBs_2 : 3
5336.83/1658.16	c (445,0) c ReduceDBs_3 : 4
5336.83/1658.16	c (445,0) c ReduceDBs_4 : 2
5336.83/1658.16	c (445,0) c ReduceDBs_5 : 3
5336.83/1658.16	c (445,0) c ReduceDBs_6 : 4
5336.83/1658.16	c (445,0) c ReduceDBs_7 : 3
5336.83/1658.16	c (445,0) c ReduceDBs_total : 27
5336.83/1658.16	c (445,0) c ReduceDBs_winner : 3
5336.83/1658.16	c (445,0) c SimpDBs_0 : 4
5336.83/1658.16	c (445,0) c SimpDBs_1 : 3
5336.83/1658.16	c (445,0) c SimpDBs_2 : 7
5336.83/1658.16	c (445,0) c SimpDBs_3 : 5
5336.83/1658.16	c (445,0) c SimpDBs_4 : 4
5336.83/1658.16	c (445,0) c SimpDBs_5 : 4
5336.83/1658.16	c (445,0) c SimpDBs_6 : 6
5336.83/1658.16	c (445,0) c SimpDBs_7 : 5
5336.83/1658.16	c (445,0) c SimpDBs_total : 38
5336.83/1658.16	c (445,0) c SimpDBs_winner : 5
5336.83/1658.16	c (445,0) c Restarts_0 : 13
5336.83/1658.16	c (445,0) c Restarts_1 : 4
5336.83/1658.16	c (445,0) c Restarts_2 : 12
5336.83/1658.16	c (445,0) c Restarts_3 : 17
5336.83/1658.16	c (445,0) c Restarts_4 : 5
5336.83/1658.16	c (445,0) c Restarts_5 : 6
5336.83/1658.16	c (445,0) c Restarts_6 : 5
5336.83/1658.16	c (445,0) c Restarts_7 : 9
5336.83/1658.16	c (445,0) c Restarts_total : 71
5336.83/1658.16	c (445,0) c Restarts_winner : 9
5336.83/1658.16	c (445,0) c ForcedImports_0 : 0
5336.83/1658.16	c (445,0) c ForcedImports_1 : 0
5336.83/1658.16	c (445,0) c ForcedImports_2 : 0
5336.83/1658.16	c (445,0) c ForcedImports_3 : 0
5336.83/1658.16	c (445,0) c ForcedImports_4 : 0
5336.83/1658.16	c (445,0) c ForcedImports_5 : 0
5336.83/1658.16	c (445,0) c ForcedImports_6 : 0
5336.83/1658.16	c (445,0) c ForcedImports_7 : 0
5336.83/1658.16	c (445,0) c ForcedImports_total : 0
5336.83/1658.16	c (445,0) c ForcedImports_winner : 0
5336.83/1658.16	c (445,0) c PropsBinClauses_0 : 304844664
5336.83/1658.16	c (445,0) c PropsBinClauses_1 : 344545589
5336.83/1658.16	c (445,0) c PropsBinClauses_2 : 246213830
5336.83/1658.16	c (445,0) c PropsBinClauses_3 : 328893715
5336.83/1658.16	c (445,0) c PropsBinClauses_4 : 329569772
5336.83/1658.16	c (445,0) c PropsBinClauses_5 : 286356634
5336.83/1658.16	c (445,0) c PropsBinClauses_6 : 299795863
5336.83/1658.16	c (445,0) c PropsBinClauses_7 : 292347362
5336.83/1658.16	c (445,0) c PropsBinClauses_total : 2432567429
5336.83/1658.16	c (445,0) c PropsBinClauses_winner : 292347362
5336.83/1658.16	c (445,0) c PropsPreBlocker_0 : 5020469216
5336.83/1658.16	c (445,0) c PropsPreBlocker_1 : 5262112169
5336.83/1658.16	c (445,0) c PropsPreBlocker_2 : 5458288716
5336.83/1658.16	c (445,0) c PropsPreBlocker_3 : 5154770603
5336.83/1658.16	c (445,0) c PropsPreBlocker_4 : 5532663866
5336.83/1658.16	c (445,0) c PropsPreBlocker_5 : 5470910868
5336.83/1658.16	c (445,0) c PropsPreBlocker_6 : 5145562684
5336.83/1658.16	c (445,0) c PropsPreBlocker_7 : 5397696304
5336.83/1658.16	c (445,0) c PropsPreBlocker_total : 42442474426
5336.83/1658.16	c (445,0) c PropsPreBlocker_winner : 5397696304
5336.83/1658.16	c (445,0) c PropsNotBlocker_0 : 3327577348
5336.83/1658.16	c (445,0) c PropsNotBlocker_1 : 2935807002
5336.83/1658.16	c (445,0) c PropsNotBlocker_2 : 2821940099
5336.83/1658.16	c (445,0) c PropsNotBlocker_3 : 3056013852
5336.83/1658.16	c (445,0) c PropsNotBlocker_4 : 2396695680
5336.83/1658.16	c (445,0) c PropsNotBlocker_5 : 2758936178
5336.83/1658.16	c (445,0) c PropsNotBlocker_6 : 3096078423
5336.83/1658.16	c (445,0) c PropsNotBlocker_7 : 2716409212
5336.83/1658.16	c (445,0) c PropsNotBlocker_total : 23109457794
5336.83/1658.16	c (445,0) c PropsNotBlocker_winner : 2716409212
5336.83/1658.16	c (445,0) c PropsLitFullScans_0 : 10362081832
5336.83/1658.16	c (445,0) c PropsLitFullScans_1 : 10374148551
5336.83/1658.16	c (445,0) c PropsLitFullScans_2 : 10402295848
5336.83/1658.16	c (445,0) c PropsLitFullScans_3 : 10364222291
5336.83/1658.16	c (445,0) c PropsLitFullScans_4 : 10383146409
5336.83/1658.16	c (445,0) c PropsLitFullScans_5 : 10361921876
5336.83/1658.16	c (445,0) c PropsLitFullScans_6 : 10366876668
5336.83/1658.16	c (445,0) c PropsLitFullScans_7 : 10374698535
5336.83/1658.16	c (445,0) c PropsLitFullScans_total : 82989392010
5336.83/1658.16	c (445,0) c PropsLitFullScans_winner : 10374698535
5336.83/1658.16	c (445,0) c LitScanFractions_0 : 53972116
5336.83/1658.16	c (445,0) c LitScanFractions_1 : 64634867
5336.83/1658.16	c (445,0) c LitScanFractions_2 : 64891772
5336.83/1658.16	c (445,0) c LitScanFractions_3 : 56034865
5336.83/1658.16	c (445,0) c LitScanFractions_4 : 62389472
5336.83/1658.16	c (445,0) c LitScanFractions_5 : 53810272
5336.83/1658.16	c (445,0) c LitScanFractions_6 : 51787028
5336.83/1658.16	c (445,0) c LitScanFractions_7 : 62638893
5336.83/1658.16	c (445,0) c LitScanFractions_total : 470159285
5336.83/1658.16	c (445,0) c LitScanFractions_winner : 62638893
5336.83/1658.16	c (445,0) c DecisionLevel0_0 : 17
5336.83/1658.16	c (445,0) c DecisionLevel0_1 : 6
5336.83/1658.16	c (445,0) c DecisionLevel0_2 : 18
5336.83/1658.16	c (445,0) c DecisionLevel0_3 : 19
5336.83/1658.16	c (445,0) c DecisionLevel0_4 : 6
5336.83/1658.16	c (445,0) c DecisionLevel0_5 : 8
5336.83/1658.16	c (445,0) c DecisionLevel0_6 : 11
5336.83/1658.16	c (445,0) c DecisionLevel0_7 : 21
5336.83/1658.16	c (445,0) c DecisionLevel0_total : 106
5336.83/1658.16	c (445,0) c DecisionLevel0_winner : 21
5336.83/1658.16	c (445,0) c Periods_0 : 1718
5336.83/1658.16	c (445,0) c Periods_1 : 1718
5336.83/1658.16	c (445,0) c Periods_2 : 1722
5336.83/1658.16	c (445,0) c Periods_3 : 1718
5336.83/1658.16	c (445,0) c Periods_4 : 1720
5336.83/1658.16	c (445,0) c Periods_5 : 1718
5336.83/1658.16	c (445,0) c Periods_6 : 1719
5336.83/1658.16	c (445,0) c Periods_7 : 1718
5336.83/1658.16	c (445,0) c Periods_total : 13751
5336.83/1658.16	c (445,0) c Periods_winner : 1718
5336.83/1658.16	c (445,0) c Margin_0 : 20
5336.83/1658.16	c (445,0) c Margin_1 : 20
5336.83/1658.16	c (445,0) c Margin_2 : 20
5336.83/1658.16	c (445,0) c Margin_3 : 20
5336.83/1658.16	c (445,0) c Margin_4 : 20
5336.83/1658.16	c (445,0) c Margin_5 : 20
5336.83/1658.16	c (445,0) c Margin_6 : 20
5336.83/1658.16	c (445,0) c Margin_7 : 20
5336.83/1658.16	c (445,0) c Margin_total : 160
5336.83/1658.16	c (445,0) c Margin_winner : 20
5336.83/1658.16	c (445,0) c Exported_0 : 3123
5336.83/1658.16	c (445,0) c Exported_1 : 3177
5336.83/1658.16	c (445,0) c Exported_2 : 2017
5336.83/1658.16	c (445,0) c Exported_3 : 3045
5336.83/1658.16	c (445,0) c Exported_4 : 1545
5336.83/1658.16	c (445,0) c Exported_5 : 1615
5336.83/1658.16	c (445,0) c Exported_6 : 3164
5336.83/1658.16	c (445,0) c Exported_7 : 1751
5336.83/1658.16	c (445,0) c Exported_total : 19437
5336.83/1658.16	c (445,0) c Exported_winner : 1751
5336.83/1658.16	c (445,0) c Imported_0 : 14300
5336.83/1658.16	c (445,0) c Imported_1 : 9757
5336.83/1658.16	c (445,0) c Imported_2 : 16925
5336.83/1658.16	c (445,0) c Imported_3 : 13632
5336.83/1658.16	c (445,0) c Imported_4 : 15646
5336.83/1658.16	c (445,0) c Imported_5 : 16751
5336.83/1658.16	c (445,0) c Imported_6 : 12882
5336.83/1658.16	c (445,0) c Imported_7 : 17339
5336.83/1658.16	c (445,0) c Imported_total : 117232
5336.83/1658.16	c (445,0) c Imported_winner : 17339
5336.83/1658.16	c (445,0) c Good_0 : 462
5336.83/1658.16	c (445,0) c Good_1 : 367
5336.83/1658.16	c (445,0) c Good_2 : 590
5336.83/1658.16	c (445,0) c Good_3 : 473
5336.83/1658.16	c (445,0) c Good_4 : 572
5336.83/1658.16	c (445,0) c Good_5 : 580
5336.83/1658.16	c (445,0) c Good_6 : 426
5336.83/1658.16	c (445,0) c Good_7 : 595
5336.83/1658.16	c (445,0) c Good_total : 4065
5336.83/1658.16	c (445,0) c Good_winner : 595
5336.83/1658.16	c (445,0) c Purge_0 : 13838
5336.83/1658.16	c (445,0) c Purge_1 : 9390
5336.83/1658.16	c (445,0) c Purge_2 : 16335
5336.83/1658.16	c (445,0) c Purge_3 : 13159
5336.83/1658.16	c (445,0) c Purge_4 : 15074
5336.83/1658.16	c (445,0) c Purge_5 : 16171
5336.83/1658.16	c (445,0) c Purge_6 : 12456
5336.83/1658.16	c (445,0) c Purge_7 : 16744
5336.83/1658.16	c (445,0) c Purge_total : 113167
5336.83/1658.16	c (445,0) c Purge_winner : 16744
5336.83/1658.16	c (445,0) c Promoted_0 : 476
5336.83/1658.16	c (445,0) c Promoted_1 : 275
5336.83/1658.16	c (445,0) c Promoted_2 : 533
5336.83/1658.16	c (445,0) c Promoted_3 : 370
5336.83/1658.16	c (445,0) c Promoted_4 : 319
5336.83/1658.16	c (445,0) c Promoted_5 : 409
5336.83/1658.16	c (445,0) c Promoted_6 : 105
5336.83/1658.16	c (445,0) c Promoted_7 : 561
5336.83/1658.16	c (445,0) c Promoted_total : 3048
5336.83/1658.16	c (445,0) c Promoted_winner : 561
5336.83/1658.16	c (445,0) c Remove_Imp_0 : 0
5336.83/1658.16	c (445,0) c Remove_Imp_1 : 0
5336.83/1658.16	c (445,0) c Remove_Imp_2 : 3569
5336.83/1658.16	c (445,0) c Remove_Imp_3 : 0
5336.83/1658.16	c (445,0) c Remove_Imp_4 : 0
5336.83/1658.16	c (445,0) c Remove_Imp_5 : 5615
5336.83/1658.16	c (445,0) c Remove_Imp_6 : 2674
5336.83/1658.16	c (445,0) c Remove_Imp_7 : 1142
5336.83/1658.16	c (445,0) c Remove_Imp_total : 13000
5336.83/1658.16	c (445,0) c Remove_Imp_winner : 1142
5336.83/1658.16	c (445,0) c Blocked_Reuse_0 : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_1 : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_2 : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_3 : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_4 : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_5 : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_6 : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_7 : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_total : 0
5336.83/1658.16	c (445,0) c Blocked_Reuse_winner : 0
5336.83/1658.16	c (445,0) c Unaries_0 : 4
5336.83/1658.16	c (445,0) c Unaries_1 : 2
5336.83/1658.16	c (445,0) c Unaries_2 : 6
5336.83/1658.16	c (445,0) c Unaries_3 : 2
5336.83/1658.16	c (445,0) c Unaries_4 : 1
5336.83/1658.16	c (445,0) c Unaries_5 : 2
5336.83/1658.16	c (445,0) c Unaries_6 : 6
5336.83/1658.16	c (445,0) c Unaries_7 : 12
5336.83/1658.16	c (445,0) c Unaries_total : 35
5336.83/1658.16	c (445,0) c Unaries_winner : 12
5336.83/1658.16	c (445,0) c Binaries_0 : 144
5336.83/1658.16	c (445,0) c Binaries_1 : 92
5336.83/1658.16	c (445,0) c Binaries_2 : 62
5336.83/1658.16	c (445,0) c Binaries_3 : 113
5336.83/1658.16	c (445,0) c Binaries_4 : 19
5336.83/1658.16	c (445,0) c Binaries_5 : 52
5336.83/1658.16	c (445,0) c Binaries_6 : 133
5336.83/1658.16	c (445,0) c Binaries_7 : 78
5336.83/1658.16	c (445,0) c Binaries_total : 693
5336.83/1658.16	c (445,0) c Binaries_winner : 78
5336.83/1658.16	c (445,0) c Glues_0 : 667
5336.83/1658.16	c (445,0) c Glues_1 : 474
5336.83/1658.16	c (445,0) c Glues_2 : 414
5336.83/1658.16	c (445,0) c Glues_3 : 543
5336.83/1658.16	c (445,0) c Glues_4 : 258
5336.83/1658.16	c (445,0) c Glues_5 : 357
5336.83/1658.16	c (445,0) c Glues_6 : 400
5336.83/1658.16	c (445,0) c Glues_7 : 338
5336.83/1658.16	c (445,0) c Glues_total : 3451
5336.83/1658.16	c (445,0) c Glues_winner : 338
5336.83/1658.16	c (445,0) c RunningTime_0 : 436.409348
5336.83/1658.16	c (445,0) c RunningTime_1 : 420.931545
5336.83/1658.16	c (445,0) c RunningTime_2 : 409.555831
5336.83/1658.16	c (445,0) c RunningTime_3 : 428.037071
5336.83/1658.16	c (445,0) c RunningTime_4 : 412.205532
5336.83/1658.16	c (445,0) c RunningTime_5 : 427.978048
5336.83/1658.16	c (445,0) c RunningTime_6 : 422.409342
5336.83/1658.16	c (445,0) c RunningTime_7 : 402.107803
5336.83/1658.16	c (445,0) c RunningTime_total : 3359.634520
5336.83/1658.16	c (445,0) c RunningTime_winner : 402.107803
5336.83/1658.16	c (445,0) c WaitingTime_0 : 0.002668
5336.83/1658.16	c (445,0) c WaitingTime_1 : 17.188210
5336.83/1658.16	c (445,0) c WaitingTime_2 : 25.862026
5336.83/1658.16	c (445,0) c WaitingTime_3 : 8.541223
5336.83/1658.16	c (445,0) c WaitingTime_4 : 23.121858
5336.83/1658.16	c (445,0) c WaitingTime_5 : 8.664469
5336.83/1658.16	c (445,0) c WaitingTime_6 : 12.775908
5336.83/1658.16	c (445,0) c WaitingTime_7 : 33.022804
5336.83/1658.16	c (445,0) c WaitingTime_total : 129.179166
5336.83/1658.16	c (445,0) c WaitingTime_winner : 33.022804
5336.83/1658.16	c (445,0) c ExchangingTime_0 : 0.031476
5336.83/1658.16	c (445,0) c ExchangingTime_1 : 0.040914
5336.83/1658.16	c (445,0) c ExchangingTime_2 : 0.039703
5336.83/1658.16	c (445,0) c ExchangingTime_3 : 0.044127
5336.83/1658.16	c (445,0) c ExchangingTime_4 : 0.034736
5336.83/1658.16	c (445,0) c ExchangingTime_5 : 0.039556
5336.83/1658.16	c (445,0) c ExchangingTime_6 : 0.040996
5336.83/1658.16	c (445,0) c ExchangingTime_7 : 0.035734
5336.83/1658.16	c (445,0) c ExchangingTime_total : 0.307242
5336.83/1658.16	c (445,0) c ExchangingTime_winner : 0.035734
5336.83/1658.16	c (445,0) c PeriodProcTime_0 : 0.024904
5336.83/1658.16	c (445,0) c PeriodProcTime_1 : 0.025767
5336.83/1658.16	c (445,0) c PeriodProcTime_2 : 0.022437
5336.83/1658.16	c (445,0) c PeriodProcTime_3 : 0.021862
5336.83/1658.16	c (445,0) c PeriodProcTime_4 : 0.026118
5336.83/1658.16	c (445,0) c PeriodProcTime_5 : 0.020293
5336.83/1658.16	c (445,0) c PeriodProcTime_6 : 0.020614
5336.83/1658.16	c (445,0) c PeriodProcTime_7 : 0.022665
5336.83/1658.16	c (445,0) c PeriodProcTime_total : 0.184659
5336.83/1658.16	c (445,0) c PeriodProcTime_winner : 0.022665
5336.83/1658.16	c (445,0) c SolvingTime_0 : 436.468397
5336.83/1658.16	c (445,0) c SolvingTime_1 : 438.186435
5336.83/1658.16	c (445,0) c SolvingTime_2 : 435.479998
5336.83/1658.16	c (445,0) c SolvingTime_3 : 436.644283
5336.83/1658.16	c (445,0) c SolvingTime_4 : 435.388243
5336.83/1658.16	c (445,0) c SolvingTime_5 : 436.702366
5336.83/1658.16	c (445,0) c SolvingTime_6 : 435.246859
5336.83/1658.16	c (445,0) c SolvingTime_7 : 435.189006
5336.83/1658.16	c (445,0) c SolvingTime_total : 3489.305586
5336.83/1658.16	c (445,0) c SolvingTime_winner : 435.189006
5336.83/1658.16	c (445,0) c PropagationTime_0 : 422.198357
5336.83/1658.16	c (445,0) c PropagationTime_1 : 422.437145
5336.83/1658.16	c (445,0) c PropagationTime_2 : 417.914500
5336.83/1658.16	c (445,0) c PropagationTime_3 : 418.223044
5336.83/1658.16	c (445,0) c PropagationTime_4 : 419.825136
5336.83/1658.16	c (445,0) c PropagationTime_5 : 421.393111
5336.83/1658.16	c (445,0) c PropagationTime_6 : 417.498155
5336.83/1658.16	c (445,0) c PropagationTime_7 : 418.063074
5336.83/1658.16	c (445,0) c PropagationTime_total : 3357.552524
5336.83/1658.16	c (445,0) c PropagationTime_winner : 418.063074
5336.83/1658.16	c (445,0) c AnalysisTime_0 : 3.477839
5336.83/1658.16	c (445,0) c AnalysisTime_1 : 3.451487
5336.83/1658.16	c (445,0) c AnalysisTime_2 : 3.035332
5336.83/1658.16	c (445,0) c AnalysisTime_3 : 3.590384
5336.83/1658.16	c (445,0) c AnalysisTime_4 : 3.067049
5336.83/1658.16	c (445,0) c AnalysisTime_5 : 3.139478
5336.83/1658.16	c (445,0) c AnalysisTime_6 : 3.439393
5336.83/1658.16	c (445,0) c AnalysisTime_7 : 2.912748
5336.83/1658.16	c (445,0) c AnalysisTime_total : 26.113709
5336.83/1658.16	c (445,0) c AnalysisTime_winner : 2.912748
5336.83/1658.16	c (445,0) c ReductionTime_0 : 0.007287
5336.83/1658.16	c (445,0) c ReductionTime_1 : 0.009476
5336.83/1658.16	c (445,0) c ReductionTime_2 : 0.008893
5336.83/1658.16	c (445,0) c ReductionTime_3 : 0.007489
5336.83/1658.16	c (445,0) c ReductionTime_4 : 0.002675
5336.83/1658.16	c (445,0) c ReductionTime_5 : 0.006755
5336.83/1658.16	c (445,0) c ReductionTime_6 : 0.007777
5336.83/1658.16	c (445,0) c ReductionTime_7 : 0.007029
5336.83/1658.16	c (445,0) c ReductionTime_total : 0.057381
5336.83/1658.16	c (445,0) c ReductionTime_winner : 0.007029
5336.83/1658.16	c (445,0) c SimplifyTime_0 : 0.613273
5336.83/1658.16	c (445,0) c SimplifyTime_1 : 1.925013
5336.83/1658.16	c (445,0) c SimplifyTime_2 : 5.208557
5336.83/1658.16	c (445,0) c SimplifyTime_3 : 4.045311
5336.83/1658.16	c (445,0) c SimplifyTime_4 : 2.463256
5336.83/1658.16	c (445,0) c SimplifyTime_5 : 1.865704
5336.83/1658.16	c (445,0) c SimplifyTime_6 : 3.528649
5336.83/1658.16	c (445,0) c SimplifyTime_7 : 4.822942
5336.83/1658.16	c (445,0) c SimplifyTime_total : 24.472705
5336.83/1658.16	c (445,0) c SimplifyTime_winner : 4.822942
5336.83/1658.16	c (445,0) c UsedRateTime_0 : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_1 : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_2 : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_3 : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_4 : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_5 : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_6 : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_7 : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_total : 0.000000
5336.83/1658.16	c (445,0) c UsedRateTime_winner : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_0 : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_1 : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_2 : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_3 : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_4 : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_5 : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_6 : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_7 : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_total : 0.000000
5336.83/1658.16	c (445,0) c OverlapRateTime_winner : 0.000000
5336.83/1658.16	c (445,0) c
5336.83/1658.16	c (445,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5336.83/1658.16	c (445,0) c
5336.83/1658.16	c (445,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.16	c (445,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5336.83/1658.16	c (445,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.16	c (445,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5336.83/1658.16	c (445,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5336.83/1658.16	c (445,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5336.83/1658.16	c (445,0) c | Initial random_seed   | 1523175083 | 1366514103 |  613805152 | 1991304281 | 1341528589 |  783279051 | 1164089107 |  826224692 |
5336.83/1658.16	c (445,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5336.83/1658.16	c (445,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5336.83/1658.16	c (445,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5336.83/1658.17	c (445,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5336.83/1658.17	c (445,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5336.83/1658.17	c (445,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5336.83/1658.17	c (445,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5336.83/1658.17	c (445,0) c | var_decay             |     0.8500 |     0.8500 |     0.8300 |     0.8500 |     0.8200 |     0.8200 |     0.8500 |     0.8300 |
5336.83/1658.17	c (445,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5336.83/1658.17	c (445,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5336.83/1658.17	c (445,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5336.83/1658.17	c (445,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5336.83/1658.17	c (445,0) 
5336.83/1658.17	c (445,0) s UNSATISFIABLE
1997.09/1658.50	c (446,0) SatSolver.solve End
5337.30/1658.50	c (446,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5337.30/1658.50	c (446,0) Show results Begin
5337.30/1658.50	s UNSATISFIABLE
5337.30/1658.50	c (446,0) Show results End
5337.30/1658.50	c (446,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5337.30/1658.50	c (446,0) 446,446,STOP-AFTER(ALL)
5337.30/1658.50	c END-Prog: Mon Sep 23 14:04:28 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 (13080 MiB free)
  memory of node 1: 16384 MiB (12307 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=1388, runsolver pid=1385

[startup+0.10011 s]*
/proc/loadavg: 1.89 0.44 0.18 2/211 1410
/proc/meminfo: memFree=25902152/32770624 swapFree=67002072/67108860
[pid=1388] ppid=1385 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1388/stat : 1388 (scop.sh) S 1385 1388 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500113985 115843072 350 33554432000 4194304 5098028 140736888081040 140736888078296 140527752229500 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11730944 140736888083197 140736888083544 140736888083544 140736888086473 0
/proc/1388/statm: 28282 350 297 221 0 87 0
[pid=1391] ppid=1388 vsize=27314120 memory=106716 CPUtime=0.1 cores=0-7
/proc/1391/stat : 1391 (java) S 1388 1388 1211 0 -1 1077944320 6786 0 0 0 8 2 0 0 20 0 20 0 500113985 27969658880 26679 33554432000 4194304 4196468 140730773171360 140730773153904 140545554812663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
/proc/1391/statm: 6828530 26679 2775 1 0 6790935 0
[pid=1391/tid=1392] ppid=1388 vsize=27314120 memory=1400242874264906928 CPUtime=0.09 cores=0-7
/proc/1391/task/1392/stat : 1392 (java) R 1388 1388 1211 0 -1 4202560 4921 0 0 0 7 2 0 0 20 0 20 0 500113985 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545526635712 140545554824598 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1393] ppid=1388 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1391/task/1393/stat : 1393 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545559054608 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1394] ppid=1388 vsize=27314120 memory=140123604584064 CPUtime=0 cores=0-7
/proc/1391/task/1394/stat : 1394 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545373211024 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1395] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1395/stat : 1395 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545372158480 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1396] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1396/stat : 1396 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545371105936 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1397] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1397/stat : 1397 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545370053392 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1398] ppid=1388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1391/task/1398/stat : 1398 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545369000848 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1399] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1399/stat : 1399 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545367948304 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1400] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1400/stat : 1400 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 26744 33554432000 4194304 4196468 140730773171360 140545366895760 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1401] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1401/stat : 1401 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113989 27969658880 26744 33554432000 4194304 4196468 140730773171360 140543942174704 140545554823810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1402] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1402/stat : 1402 (java) S 1388 1388 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500113990 27969658880 26744 33554432000 4194304 4196468 140730773171360 140543476622240 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1403] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1403/stat : 1403 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113990 27969658880 26744 33554432000 4194304 4196468 140730773171360 140543208186864 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1404] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1404/stat : 1404 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113992 27969658880 26744 33554432000 4194304 4196468 140730773171360 140542833678544 140545554831259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1405] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1405/stat : 1405 (java) S 1388 1388 1211 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 500113992 27969658880 26744 33554432000 4194304 4196468 140730773171360 140543941122544 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1406] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1406/stat : 1406 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 26744 33554432000 4194304 4196468 140730773171360 140543940070000 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1407] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1407/stat : 1407 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 26744 33554432000 4194304 4196468 140730773171360 140543939017456 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1408] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1408/stat : 1408 (java) S 1388 1388 1211 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 26744 33554432000 4194304 4196468 140730773171360 140543937964912 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1409] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1409/stat : 1409 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 26744 33554432000 4194304 4196468 140730773171360 140542335772896 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1410] ppid=1388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1391/task/1410/stat : 1410 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 26744 33554432000 4194304 4196468 140730773171360 140543936911792 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108116 KiB

[startup+0.210109 s]*
/proc/loadavg: 1.82 0.45 0.19 3/211 1410
/proc/meminfo: memFree=25881396/32770624 swapFree=67002072/67108860
[pid=1388] ppid=1385 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1388/stat : 1388 (scop.sh) S 1385 1388 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500113985 115843072 350 33554432000 4194304 5098028 140736888081040 140736888078296 140527752229500 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11730944 140736888083197 140736888083544 140736888083544 140736888086473 0
/proc/1388/statm: 28282 350 297 221 0 87 0
[pid=1391] ppid=1388 vsize=27314120 memory=126052 CPUtime=0.24 cores=0-7
/proc/1391/stat : 1391 (java) S 1388 1388 1211 0 -1 1077944320 12425 0 0 0 20 4 0 0 20 0 20 0 500113985 27969658880 31513 33554432000 4194304 4196468 140730773171360 140730773153904 140545554812663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
/proc/1391/statm: 6828530 31513 2924 1 0 6790935 0
[pid=1391/tid=1392] ppid=1388 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1391/task/1392/stat : 1392 (java) R 1388 1388 1211 0 -1 4202560 10144 0 0 0 16 3 0 0 20 0 20 0 500113985 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545526636432 140545554826512 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1393] ppid=1388 vsize=27314120 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/1391/task/1393/stat : 1393 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545559054608 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1394] ppid=1388 vsize=27314120 memory=3619116904187233952 CPUtime=0 cores=0-7
/proc/1391/task/1394/stat : 1394 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545373211024 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1395] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1395/stat : 1395 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545372158480 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1396] ppid=1388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1391/task/1396/stat : 1396 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545371105936 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1397] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1397/stat : 1397 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545370053392 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1398] ppid=1388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1391/task/1398/stat : 1398 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545369000848 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1399] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1399/stat : 1399 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545367948304 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1400] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1400/stat : 1400 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 31513 33554432000 4194304 4196468 140730773171360 140545366895760 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1401] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1401/stat : 1401 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113989 27969658880 31513 33554432000 4194304 4196468 140730773171360 140543942174704 140545554823810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1402] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1402/stat : 1402 (java) S 1388 1388 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500113990 27969658880 31513 33554432000 4194304 4196468 140730773171360 140543476622240 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1403] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1403/stat : 1403 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113990 27969658880 31513 33554432000 4194304 4196468 140730773171360 140543208186864 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1404] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1404/stat : 1404 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113992 27969658880 31513 33554432000 4194304 4196468 140730773171360 140542833678544 140545554831259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1405] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1405/stat : 1405 (java) S 1388 1388 1211 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 20 0 500113992 27969658880 31513 33554432000 4194304 4196468 140730773171360 140543941122544 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1406] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1406/stat : 1406 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 31513 33554432000 4194304 4196468 140730773171360 140543940070000 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1407] ppid=1388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1391/task/1407/stat : 1407 (java) S 1388 1388 1211 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 31513 33554432000 4194304 4196468 140730773171360 140543939017456 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1408] ppid=1388 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1391/task/1408/stat : 1408 (java) S 1388 1388 1211 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 20 0 500113993 27969658880 31513 33554432000 4194304 4196468 140730773171360 140543937964912 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1409] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1409/stat : 1409 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 31513 33554432000 4194304 4196468 140730773171360 140542335772896 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1410] ppid=1388 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1391/task/1410/stat : 1410 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 31513 33554432000 4194304 4196468 140730773171360 140543936911792 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127452 KiB

[startup+0.309351 s]*
/proc/loadavg: 1.82 0.45 0.19 2/211 1410
/proc/meminfo: memFree=25878852/32770624 swapFree=67002072/67108860
[pid=1388] ppid=1385 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1388/stat : 1388 (scop.sh) S 1385 1388 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500113985 115843072 350 33554432000 4194304 5098028 140736888081040 140736888078296 140527752229500 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11730944 140736888083197 140736888083544 140736888083544 140736888086473 0
/proc/1388/statm: 28282 350 297 221 0 87 0
[pid=1391] ppid=1388 vsize=27314120 memory=129672 CPUtime=0.42 cores=0-7
/proc/1391/stat : 1391 (java) S 1388 1388 1211 0 -1 1077944320 12779 0 0 0 37 5 0 0 20 0 20 0 500113985 27969658880 32418 33554432000 4194304 4196468 140730773171360 140730773153904 140545554812663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
/proc/1391/statm: 6828530 32418 3029 1 0 6790935 0
[pid=1391/tid=1392] ppid=1388 vsize=27314120 memory=1399051139730258233 CPUtime=0.3 cores=0-7
/proc/1391/task/1392/stat : 1392 (java) R 1388 1388 1211 0 -1 4202560 10332 0 0 0 26 4 0 0 20 0 20 0 500113985 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545526597648 140545539978335 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1393] ppid=1388 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1391/task/1393/stat : 1393 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545559054608 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1394] ppid=1388 vsize=27314120 memory=1056 CPUtime=0 cores=0-7
/proc/1391/task/1394/stat : 1394 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545373211024 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1395] ppid=1388 vsize=27314120 memory=1568 CPUtime=0 cores=0-7
/proc/1391/task/1395/stat : 1395 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545372158480 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1396] ppid=1388 vsize=27314120 memory=1064 CPUtime=0 cores=0-7
/proc/1391/task/1396/stat : 1396 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545371105936 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1397] ppid=1388 vsize=27314120 memory=14008 CPUtime=0 cores=0-7
/proc/1391/task/1397/stat : 1397 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545370053392 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1398] ppid=1388 vsize=27314120 memory=4096 CPUtime=0 cores=0-7
/proc/1391/task/1398/stat : 1398 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545369000848 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1399] ppid=1388 vsize=27314120 memory=12040 CPUtime=0 cores=0-7
/proc/1391/task/1399/stat : 1399 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545367948304 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1400] ppid=1388 vsize=27314120 memory=2120 CPUtime=0 cores=0-7
/proc/1391/task/1400/stat : 1400 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500113988 27969658880 32418 33554432000 4194304 4196468 140730773171360 140545366895760 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1401] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1401/stat : 1401 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113989 27969658880 32418 33554432000 4194304 4196468 140730773171360 140543942174704 140545554823810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1402] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1402/stat : 1402 (java) S 1388 1388 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500113990 27969658880 32418 33554432000 4194304 4196468 140730773171360 140543476622240 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1403] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1403/stat : 1403 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113990 27969658880 32418 33554432000 4194304 4196468 140730773171360 140543208186864 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1404] ppid=1388 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1404/stat : 1404 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113992 27969658880 32418 33554432000 4194304 4196468 140730773171360 140542833678544 140545554831259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1405] ppid=1388 vsize=27314120 memory=140123442349519 CPUtime=0.01 cores=0-7
/proc/1391/task/1405/stat : 1405 (java) R 1388 1388 1211 0 -1 4202560 524 0 0 0 1 0 0 0 20 0 20 0 500113992 27969658880 32418 33554432000 4194304 4196468 140730773171360 140543941122544 140545539718426 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1406] ppid=1388 vsize=27314120 memory=67 CPUtime=0 cores=0-7
/proc/1391/task/1406/stat : 1406 (java) S 1388 1388 1211 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 32418 33554432000 4194304 4196468 140730773171360 140543940070000 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1407] ppid=1388 vsize=27314120 memory=51172 CPUtime=0.01 cores=0-7
/proc/1391/task/1407/stat : 1407 (java) S 1388 1388 1211 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 500113993 27969658880 32418 33554432000 4194304 4196468 140730773171360 140543939017456 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1408] ppid=1388 vsize=27314120 memory=53476 CPUtime=0.07 cores=0-7
/proc/1391/task/1408/stat : 1408 (java) S 1388 1388 1211 0 -1 1077944384 480 0 0 0 7 0 0 0 20 0 20 0 500113993 27969658880 32418 33554432000 4194304 4196468 140730773171360 140543937964912 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1409] ppid=1388 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7
/proc/1391/task/1409/stat : 1409 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 32418 33554432000 4194304 4196468 140730773171360 140542335772896 140545554822869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1410] ppid=1388 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7
/proc/1391/task/1410/stat : 1410 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500113993 27969658880 32418 33554432000 4194304 4196468 140730773171360 140543936911792 140545554823810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131072 KiB

[startup+0.708737 s]
/proc/loadavg: 1.82 0.45 0.19 2/211 1410
/proc/meminfo: memFree=25858140/32770624 swapFree=67002072/67108860
[pid=1388] ppid=1385 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1388/stat : 1388 (scop.sh) S 1385 1388 1211 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 500113985 115843072 350 33554432000 4194304 5098028 140736888081040 140736888078296 140527752229500 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11730944 140736888083197 140736888083544 140736888083544 140736888086473 0
/proc/1388/statm: 28282 350 297 221 0 87 0
[pid=1391] ppid=1388 vsize=27320392 memory=167712 CPUtime=1.02 cores=0-7
/proc/1391/stat : 1391 (java) S 1388 1388 1211 0 -1 1077944320 20535 0 0 0 94 8 0 0 20 0 20 0 500113985 27976081408 41928 33554432000 4194304 4196468 140730773171360 140730773153904 140545554812663 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
/proc/1391/statm: 6830098 41928 3184 1 0 6791447 0
[pid=1391/tid=1392] ppid=1388 vsize=27320392 memory=4580 CPUtime=0.69 cores=0-7
/proc/1391/task/1392/stat : 1392 (java) R 1388 1388 1211 0 -1 4202560 17388 0 0 0 63 6 0 0 20 0 20 0 500113985 27976081408 41928 33554432000 4194304 4196468 140730773171360 140545526648720 140545554834589 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1393] ppid=1388 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1393/stat : 1393 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27976081408 41928 33554432000 4194304 4196468 140730773171360 140545559054608 140545554822869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1394] ppid=1388 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1391/task/1394/stat : 1394 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27976081408 41928 33554432000 4194304 4196468 140730773171360 140545373211024 140545554822869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0
[pid=1391/tid=1395] ppid=1388 vsize=27320392 memory=2024 CPUtime=0 cores=0-7
/proc/1391/task/1395/stat : 1395 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500113988 27976081408 41928 33554432000 4194304 4196468 140730773171360 140545372158480 140545554822869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140730773172936 140730773173382 140730773173382 140730773176271 0

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

[pid=1523/tid=1526] ppid=1388 vsize=8414124 memory=2836 CPUtime=0 cores=0-7
/proc/1523/task/1526/stat : 1526 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30422 33554432000 4194304 4196468 140725528282992 140121167805328 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1527] ppid=1388 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/1523/task/1527/stat : 1527 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30422 33554432000 4194304 4196468 140725528282992 140121166752784 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1528] ppid=1388 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/1523/task/1528/stat : 1528 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30422 33554432000 4194304 4196468 140725528282992 140121165700240 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1529] ppid=1388 vsize=8414124 memory=1064 CPUtime=0 cores=0-7
/proc/1523/task/1529/stat : 1529 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30422 33554432000 4194304 4196468 140725528282992 140121164646672 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1530] ppid=1388 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/1523/task/1530/stat : 1530 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30422 33554432000 4194304 4196468 140725528282992 140121163594128 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1531] ppid=1388 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/1523/task/1531/stat : 1531 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30422 33554432000 4194304 4196468 140725528282992 140121162541584 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1532] ppid=1388 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/1523/task/1532/stat : 1532 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30422 33554432000 4194304 4196468 140725528282992 140120841775760 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1533] ppid=1388 vsize=8414124 memory=33648 CPUtime=0.01 cores=0-7
/proc/1523/task/1533/stat : 1533 (java) S 1388 1388 1211 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 24 0 500235195 8616062976 30422 33554432000 4194304 4196468 140725528282992 140120658287088 140121363405442 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1534] ppid=1388 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/1523/task/1534/stat : 1534 (java) S 1388 1388 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500235195 8616062976 30422 33554432000 4194304 4196468 140725528282992 140119617037728 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1535] ppid=1388 vsize=8414124 memory=3540 CPUtime=0 cores=0-7
/proc/1523/task/1535/stat : 1535 (java) S 1388 1388 1211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500235195 8616062976 30422 33554432000 4194304 4196468 140725528282992 140119482815984 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1536] ppid=1388 vsize=8414124 memory=1232 CPUtime=0 cores=0-7
/proc/1523/task/1536/stat : 1536 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500235198 8616062976 30422 33554432000 4194304 4196468 140725528282992 140119108311760 140121363412891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1537] ppid=1388 vsize=8414124 memory=10600 CPUtime=0.05 cores=0-7
/proc/1523/task/1537/stat : 1537 (java) S 1388 1388 1211 0 -1 1077944384 557 0 0 0 5 0 0 0 20 0 24 0 500235198 8616062976 30422 33554432000 4194304 4196468 140725528282992 140120657233904 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1538] ppid=1388 vsize=8414124 memory=1736 CPUtime=0.08 cores=0-7
/proc/1523/task/1538/stat : 1538 (java) S 1388 1388 1211 0 -1 1077944384 317 0 0 0 8 0 0 0 20 0 24 0 500235198 8616062976 30422 33554432000 4194304 4196468 140725528282992 140120656181360 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1539] ppid=1388 vsize=8414124 memory=6176 CPUtime=0.04 cores=0-7
/proc/1523/task/1539/stat : 1539 (java) S 1388 1388 1211 0 -1 1077944384 282 0 0 0 4 0 0 0 20 0 24 0 500235198 8616062976 30422 33554432000 4194304 4196468 140725528282992 140120655128816 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1540] ppid=1388 vsize=8414124 memory=636 CPUtime=0.21 cores=0-7
/proc/1523/task/1540/stat : 1540 (java) S 1388 1388 1211 0 -1 1077944384 805 0 0 0 21 0 0 0 20 0 24 0 500235198 8616062976 30422 33554432000 4194304 4196468 140725528282992 140120654076272 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1541] ppid=1388 vsize=8414124 memory=2836 CPUtime=0 cores=0-7
/proc/1523/task/1541/stat : 1541 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500235198 8616062976 30422 33554432000 4194304 4196468 140725528282992 140118610406112 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1542] ppid=1388 vsize=8414124 memory=1056 CPUtime=0.3 cores=0-7
/proc/1523/task/1542/stat : 1542 (java) S 1388 1388 1211 0 -1 1077944384 31 0 0 0 11 19 0 0 20 0 24 0 500235199 8616062976 30422 33554432000 4194304 4196468 140725528282992 140120653024176 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1544] ppid=1388 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/1523/task/1544/stat : 1544 (java) S 1388 1388 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500235265 8616062976 30422 33554432000 4194304 4196468 140725528282992 140120644990656 140121363418905 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1546] ppid=1388 vsize=8414124 memory=1064 CPUtime=0.03 cores=0-7
/proc/1523/task/1546/stat : 1546 (java) S 1388 1388 1211 0 -1 4202560 1682 0 0 0 1 2 0 0 20 0 24 0 500235265 8616062976 30422 33554432000 4194304 4196468 140725528282992 140117939305744 140121363416221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1547] ppid=1388 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/1523/task/1547/stat : 1547 (java) S 1388 1388 1211 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 500235265 8616062976 30422 33554432000 4194304 4196468 140725528282992 140118207741328 140121363416221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1548] ppid=1388 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/1523/task/1548/stat : 1548 (java) S 1388 1388 1211 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500235267 8616062976 30422 33554432000 4194304 4196468 140725528282992 140117670878384 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
Current children cumulated CPU time: 5336.73 s
Current children cumulated vsize: 15924884 KiB
Current children cumulated memory: 7123960 KiB

[startup+1658.4 s]
/proc/loadavg: 7.78 6.55 3.81 2/218 1619
/proc/meminfo: memFree=18609568/32770624 swapFree=67002076/67108860
[pid=1388] ppid=1385 vsize=113128 memory=1476 CPUtime=1995.48 cores=0-7
/proc/1388/stat : 1388 (scop.sh) S 1385 1388 1211 0 -1 4202496 582 540456 0 0 0 0 195416 4132 20 0 1 0 500113985 115843072 369 33554432000 4194304 5098028 140736888081040 140736888077784 140527752229500 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11730944 140736888083197 140736888083544 140736888083544 140736888086473 0
/proc/1388/statm: 28282 369 311 221 0 87 0
[pid=1523] ppid=1388 vsize=8414124 memory=121760 CPUtime=1.61 cores=0-7
/proc/1523/stat : 1523 (java) S 1388 1388 1211 0 -1 1077944320 22633 0 0 0 146 15 0 0 20 0 24 0 500235191 8616062976 30440 33554432000 4194304 4196468 140725528282992 140725528265536 140121363394295 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
/proc/1523/statm: 2103531 30440 3206 1 0 2064875 0
[pid=1523/tid=1524] ppid=1388 vsize=8414124 memory=7000796 CPUtime=0.75 cores=0-7
/proc/1523/task/1524/stat : 1524 (java) S 1388 1388 1211 0 -1 1077944384 17398 0 0 0 70 5 0 0 20 0 24 0 500235192 8616062976 30440 33554432000 4194304 4196468 140725528282992 140121335234464 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1525] ppid=1388 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/1523/task/1525/stat : 1525 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30440 33554432000 4194304 4196468 140725528282992 140121367636752 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1526] ppid=1388 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/1523/task/1526/stat : 1526 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30440 33554432000 4194304 4196468 140725528282992 140121167805328 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1527] ppid=1388 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/1523/task/1527/stat : 1527 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30440 33554432000 4194304 4196468 140725528282992 140121166752784 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1528] ppid=1388 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/1523/task/1528/stat : 1528 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30440 33554432000 4194304 4196468 140725528282992 140121165700240 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1529] ppid=1388 vsize=8414124 memory=4140 CPUtime=0 cores=0-7
/proc/1523/task/1529/stat : 1529 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30440 33554432000 4194304 4196468 140725528282992 140121164646672 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1530] ppid=1388 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/1523/task/1530/stat : 1530 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30440 33554432000 4194304 4196468 140725528282992 140121163594128 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1531] ppid=1388 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/1523/task/1531/stat : 1531 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30440 33554432000 4194304 4196468 140725528282992 140121162541584 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1532] ppid=1388 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1523/task/1532/stat : 1532 (java) S 1388 1388 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500235193 8616062976 30440 33554432000 4194304 4196468 140725528282992 140120841775760 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1533] ppid=1388 vsize=8414124 memory=4100 CPUtime=0.01 cores=0-7
/proc/1523/task/1533/stat : 1533 (java) S 1388 1388 1211 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 24 0 500235195 8616062976 30440 33554432000 4194304 4196468 140725528282992 140120658287088 140121363405442 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1534] ppid=1388 vsize=8414124 memory=121688 CPUtime=0 cores=0-7
/proc/1523/task/1534/stat : 1534 (java) S 1388 1388 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500235195 8616062976 30440 33554432000 4194304 4196468 140725528282992 140119617037728 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1535] ppid=1388 vsize=8414124 memory=7686721470283946644 CPUtime=0 cores=0-7
/proc/1523/task/1535/stat : 1535 (java) S 1388 1388 1211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500235195 8616062976 30440 33554432000 4194304 4196468 140725528282992 140119482815984 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1536] ppid=1388 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/1523/task/1536/stat : 1536 (java) S 1388 1388 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500235198 8616062976 30440 33554432000 4194304 4196468 140725528282992 140119108311760 140121363412891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1537] ppid=1388 vsize=8414124 memory=2024 CPUtime=0.08 cores=0-7
/proc/1523/task/1537/stat : 1537 (java) S 1388 1388 1211 0 -1 1077944384 588 0 0 0 8 0 0 0 20 0 24 0 500235198 8616062976 30440 33554432000 4194304 4196468 140725528282992 140120657233904 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1538] ppid=1388 vsize=8414124 memory=1416 CPUtime=0.09 cores=0-7
/proc/1523/task/1538/stat : 1538 (java) S 1388 1388 1211 0 -1 1077944384 325 0 0 0 9 0 0 0 20 0 24 0 500235198 8616062976 30440 33554432000 4194304 4196468 140725528282992 140120656181360 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1539] ppid=1388 vsize=8414124 memory=776 CPUtime=0.05 cores=0-7
/proc/1523/task/1539/stat : 1539 (java) S 1388 1388 1211 0 -1 1077944384 309 0 0 0 5 0 0 0 20 0 24 0 500235198 8616062976 30440 33554432000 4194304 4196468 140725528282992 140120655128816 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1540] ppid=1388 vsize=8414124 memory=3540 CPUtime=0.23 cores=0-7
/proc/1523/task/1540/stat : 1540 (java) S 1388 1388 1211 0 -1 1077944384 830 0 0 0 23 0 0 0 20 0 24 0 500235198 8616062976 30440 33554432000 4194304 4196468 140725528282992 140120654076272 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1541] ppid=1388 vsize=8414124 memory=1232 CPUtime=0 cores=0-7
/proc/1523/task/1541/stat : 1541 (java) S 1388 1388 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500235198 8616062976 30440 33554432000 4194304 4196468 140725528282992 140118610406112 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1542] ppid=1388 vsize=8414124 memory=-7824251494390848358 CPUtime=0.3 cores=0-7
/proc/1523/task/1542/stat : 1542 (java) S 1388 1388 1211 0 -1 1077944384 31 0 0 0 11 19 0 0 20 0 24 0 500235199 8616062976 30440 33554432000 4194304 4196468 140725528282992 140120653024176 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1544] ppid=1388 vsize=8414124 memory=7000772 CPUtime=0 cores=0-7
/proc/1523/task/1544/stat : 1544 (java) S 1388 1388 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500235265 8616062976 30440 33554432000 4194304 4196468 140725528282992 140120644990656 140121363418905 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1546] ppid=1388 vsize=8414124 memory=4100 CPUtime=0.04 cores=0-7
/proc/1523/task/1546/stat : 1546 (java) S 1388 1388 1211 0 -1 4202560 1739 0 0 0 1 3 0 0 20 0 24 0 500235265 8616062976 30440 33554432000 4194304 4196468 140725528282992 140117939305904 140121363416221 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1547] ppid=1388 vsize=8414124 memory=121688 CPUtime=0 cores=0-7
/proc/1523/task/1547/stat : 1547 (java) S 1388 1388 1211 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 500235265 8616062976 30440 33554432000 4194304 4196468 140725528282992 140118207741328 140121363416221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1548] ppid=1388 vsize=8414124 memory=6999504 CPUtime=0 cores=0-7
/proc/1523/task/1548/stat : 1548 (java) S 1388 1388 1211 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500235267 8616062976 30440 33554432000 4194304 4196468 140725528282992 140117670878384 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
Current children cumulated CPU time: 1997.09 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123236 KiB

[startup+1658.5 s]
/proc/loadavg: 7.78 6.55 3.81 2/218 1619
/proc/meminfo: memFree=18609568/32770624 swapFree=67002076/67108860
[pid=1388] ppid=1385 vsize=113128 memory=1476 CPUtime=1995.48 cores=0-7
/proc/1388/stat : 1388 (scop.sh) S 1385 1388 1211 0 -1 4202496 582 540456 0 0 0 0 195416 4132 20 0 1 0 500113985 115843072 369 33554432000 4194304 5098028 140736888081040 140736888077784 140527752229500 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 11730944 140736888083197 140736888083544 140736888083544 140736888086473 0
/proc/1388/statm: 28282 369 311 221 0 87 0
[pid=1523] ppid=1388 vsize=8283048 memory=121800 CPUtime=3341.82 cores=0-7
/proc/1523/stat : 1523 (java) S 1388 1388 1211 0 -1 1077944320 22667 19025296 0 0 147 15 328804 5216 20 0 22 0 500235191 8481841152 30450 33554432000 4194304 4196468 140725528282992 140725528265536 140121363394295 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
/proc/1523/statm: 2070762 30450 3207 1 0 2032106 0
[pid=1523/tid=1524] ppid=1388 vsize=8283048 memory=7000796 CPUtime=3340.95 cores=0-7
/proc/1523/task/1524/stat : 1524 (java) R 1388 1388 1211 0 -1 4202560 17398 19025296 0 0 70 5 328804 5216 20 0 22 0 500235192 8481841152 30450 33554432000 4194304 4196468 140725528282992 140121335234464 140121363416125 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1525] ppid=1388 vsize=8283048 memory=121760 CPUtime=3340.2 cores=0-7
/proc/1523/task/1525/stat : 1525 (java) S 1388 1388 1211 0 -1 1077944384 2 19025296 0 0 0 0 328804 5216 20 0 22 0 500235193 8481841152 30450 33554432000 4194304 4196468 140725528282992 140121367636752 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1526] ppid=1388 vsize=8283048 memory=1476 CPUtime=3340.2 cores=0-7
/proc/1523/task/1526/stat : 1526 (java) S 1388 1388 1211 0 -1 1077944384 2 19025296 0 0 0 0 328804 5216 20 0 22 0 500235193 8481841152 30450 33554432000 4194304 4196468 140725528282992 140121167805328 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1527] ppid=1388 vsize=8283048 memory=164 CPUtime=3340.2 cores=0-7
/proc/1523/task/1527/stat : 1527 (java) S 1388 1388 1211 0 -1 1077944384 1 19025296 0 0 0 0 328804 5216 20 0 22 0 500235193 8481841152 30450 33554432000 4194304 4196468 140725528282992 140121166752784 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1528] ppid=1388 vsize=8283048 memory=2836 CPUtime=3340.2 cores=0-7
/proc/1523/task/1528/stat : 1528 (java) S 1388 1388 1211 0 -1 1077944384 2 19025296 0 0 0 0 328804 5216 20 0 22 0 500235193 8481841152 30450 33554432000 4194304 4196468 140725528282992 140121165700240 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1529] ppid=1388 vsize=8283048 memory=1808 CPUtime=3340.2 cores=0-7
/proc/1523/task/1529/stat : 1529 (java) S 1388 1388 1211 0 -1 1077944384 3 19025296 0 0 0 0 328804 5216 20 0 22 0 500235193 8481841152 30450 33554432000 4194304 4196468 140725528282992 140121164646672 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1530] ppid=1388 vsize=8283048 memory=920 CPUtime=3340.2 cores=0-7
/proc/1523/task/1530/stat : 1530 (java) S 1388 1388 1211 0 -1 1077944384 1 19025296 0 0 0 0 328804 5216 20 0 22 0 500235193 8481841152 30450 33554432000 4194304 4196468 140725528282992 140121163594128 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1531] ppid=1388 vsize=8283048 memory=796 CPUtime=3340.2 cores=0-7
/proc/1523/task/1531/stat : 1531 (java) S 1388 1388 1211 0 -1 1077944384 1 19025296 0 0 0 0 328804 5216 20 0 22 0 500235193 8481841152 30450 33554432000 4194304 4196468 140725528282992 140121162541584 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1532] ppid=1388 vsize=8283048 memory=1476 CPUtime=3340.2 cores=0-7
/proc/1523/task/1532/stat : 1532 (java) S 1388 1388 1211 0 -1 1077944384 2 19025296 0 0 0 0 328804 5216 20 0 22 0 500235193 8481841152 30450 33554432000 4194304 4196468 140725528282992 140120841775760 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1533] ppid=1388 vsize=8283048 memory=121688 CPUtime=3340.21 cores=0-7
/proc/1523/task/1533/stat : 1533 (java) S 1388 1388 1211 0 -1 1077944384 10 19025296 0 0 0 1 328804 5216 20 0 22 0 500235195 8481841152 30450 33554432000 4194304 4196468 140725528282992 140120658287088 140121363405442 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1534] ppid=1388 vsize=8283048 memory=6990348 CPUtime=3340.2 cores=0-7
/proc/1523/task/1534/stat : 1534 (java) S 1388 1388 1211 0 -1 1077944384 13 19025296 0 0 0 0 328804 5216 20 0 22 0 500235195 8481841152 30450 33554432000 4194304 4196468 140725528282992 140119617037728 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1535] ppid=1388 vsize=8283048 memory=61648 CPUtime=3340.2 cores=0-7
/proc/1523/task/1535/stat : 1535 (java) S 1388 1388 1211 0 -1 1077944384 21 19025296 0 0 0 0 328804 5216 20 0 22 0 500235195 8481841152 30450 33554432000 4194304 4196468 140725528282992 140119482815984 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1536] ppid=1388 vsize=8283048 memory=988 CPUtime=3340.2 cores=0-7
/proc/1523/task/1536/stat : 1536 (java) S 1388 1388 1211 0 -1 1077944384 1 19025296 0 0 0 0 328804 5216 20 0 22 0 500235198 8481841152 30450 33554432000 4194304 4196468 140725528282992 140119108311760 140121363412891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1537] ppid=1388 vsize=8283048 memory=1476 CPUtime=3340.28 cores=0-7
/proc/1523/task/1537/stat : 1537 (java) S 1388 1388 1211 0 -1 1077944384 588 19025296 0 0 8 0 328804 5216 20 0 22 0 500235198 8481841152 30450 33554432000 4194304 4196468 140725528282992 140120657233904 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1538] ppid=1388 vsize=8283048 memory=121688 CPUtime=3340.29 cores=0-7
/proc/1523/task/1538/stat : 1538 (java) S 1388 1388 1211 0 -1 1077944384 325 19025296 0 0 9 0 328804 5216 20 0 22 0 500235198 8481841152 30450 33554432000 4194304 4196468 140725528282992 140120656181360 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1539] ppid=1388 vsize=8283048 memory=1476 CPUtime=3340.25 cores=0-7
/proc/1523/task/1539/stat : 1539 (java) S 1388 1388 1211 0 -1 1077944384 309 19025296 0 0 5 0 328804 5216 20 0 22 0 500235198 8481841152 30450 33554432000 4194304 4196468 140725528282992 140120655128816 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1540] ppid=1388 vsize=8283048 memory=1476 CPUtime=3340.43 cores=0-7
/proc/1523/task/1540/stat : 1540 (java) S 1388 1388 1211 0 -1 1077944384 842 19025296 0 0 23 0 328804 5216 20 0 22 0 500235198 8481841152 30450 33554432000 4194304 4196468 140725528282992 140120654076272 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1541] ppid=1388 vsize=8283048 memory=1476 CPUtime=3340.2 cores=0-7
/proc/1523/task/1541/stat : 1541 (java) S 1388 1388 1211 0 -1 1077944384 3 19025296 0 0 0 0 328804 5216 20 0 22 0 500235198 8481841152 30450 33554432000 4194304 4196468 140725528282992 140118610406112 140121363404501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1542] ppid=1388 vsize=8283048 memory=121564 CPUtime=3340.5 cores=0-7
/proc/1523/task/1542/stat : 1542 (java) S 1388 1388 1211 0 -1 1077944384 31 19025296 0 0 11 19 328804 5216 20 0 22 0 500235199 8481841152 30450 33554432000 4194304 4196468 140725528282992 140120653024176 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1544] ppid=1388 vsize=8283048 memory=1476 CPUtime=3340.2 cores=0-7
/proc/1523/task/1544/stat : 1544 (java) S 1388 1388 1211 0 -1 1077944384 24 19025296 0 0 0 0 328804 5216 20 0 22 0 500235265 8481841152 30450 33554432000 4194304 4196468 140725528282992 140120644989840 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
[pid=1523/tid=1548] ppid=1388 vsize=8283048 memory=6999348 CPUtime=3340.2 cores=0-7
/proc/1523/task/1548/stat : 1548 (java) S 1388 1388 1211 0 -1 1077944384 22 19025296 0 0 0 0 328804 5216 20 0 22 0 500235267 8481841152 30450 33554432000 4194304 4196468 140725528282992 140117670880176 140121363405442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21975040 140725528290272 140725528290438 140725528290438 140725528293327 0
Current children cumulated CPU time: 5337.3 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 123276 KiB

Child status: 0
Real time (s): 1658.55
CPU time (s): 5337.38
CPU user time (s): 5243.68
CPU system time (s): 93.702
CPU usage (%): 321.81
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 23467124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5243.68
system time used= 93.702
maximum resident set size= 23466400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19589054
page faults= 0
swaps= 0
block input operations= 0
block output operations= 525896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2657919
involuntary context switches= 46845


# summary of solver processes directly reported to runsolver:
#   pid: 1388
#   total CPU time (s): 5337.38
#   total CPU user time (s): 5243.68
#   total CPU system time (s): 93.702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0464 second user time and 17.8869 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-23 13:36:49
IDJOB=4405264
IDBENCH=121040
IDSOLVER=2867
FILE ID=node136/4405264-1569238652
RUNJOBID= node136-1569238583-1238
PBS_JOBID= 21704901
Free space on /var/tmp= 13400 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405264-1569238652/watcher-4405264-1569238652 -o /var/tmp/evaluation-result-4405264-1569238652/solver-4405264-1569238652 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569238583-1238 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405264-1569238652.xml

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

MD5SUM BENCH= 99ba47a6bc0c62f84cd44bdd38bc871f
RANDOM SEED=1320727312

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25998336 kB
MemAvailable:   31840368 kB
Buffers:          125520 kB
Cached:          5836732 kB
SwapCached:         3572 kB
Active:          2784524 kB
Inactive:        3182708 kB
Active(anon):       4200 kB
Inactive(anon):    58232 kB
Active(file):    2780324 kB
Inactive(file):  3124476 kB
Unevictable:      108528 kB
Mlocked:          108528 kB
SwapTotal:      67108860 kB
SwapFree:       67002072 kB
Dirty:            107128 kB
Writeback:             0 kB
AnonPages:        112144 kB
Mapped:            55648 kB
Shmem:             48208 kB
Slab:             395256 kB
SReclaimable:     365692 kB
SUnreclaim:        29564 kB
KernelStack:        3344 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13380 MiB
End job on node136 at 2019-09-23 14:04:28