Trace number 4405576

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 2607.95 332.34

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-023.xml
MD5SUMf753def11f9f341c6e9dbf54b2480dee
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark88.5458
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size186
Maximum domain size186
Distribution of domain sizes[{"size":186,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12142-serial-file.bin HOME/instance-4405576-1569338198.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:15:56 CEST 2019
0.65/0.57	c PID: 12145
0.65/0.57	c IP: 172.20.3.121
0.65/0.57	c HOST: node121.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.39/0.91	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 186
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4405576-1569338198.xml,Le:NoOverlap:Num:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
1.39/1.00	c (0,0) translated 6 (10%) constraints
1.39/1.00	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.55/1.01	c (0,0) translated 21 (40%) constraints
1.55/1.01	c (0,0) translated 26 (50%) constraints
1.55/1.01	c (0,0) translated 31 (60%) constraints
1.55/1.01	c (0,0) translated 36 (70%) constraints
1.55/1.02	c (0,0) translated 41 (80%) constraints
1.55/1.02	c (0,0) translated 46 (90%) constraints
2.15/1.27	c (0,0) translated 51 (100%) constraints
2.15/1.27	c (0,0) ===========================================
2.15/1.29	c (0,0) Hybrid: #OE=48, #LE=0
2.15/1.29	c (0,0) Hybrid
2.15/1.29	c (0,0) ===========================================
2.15/1.29	c (0,0) translated 33 (10%) constraints
2.46/1.30	c (0,0) translated 66 (20%) constraints
2.46/1.31	c (0,0) translated 98 (30%) constraints
2.46/1.31	c (0,0) translated 131 (40%) constraints
2.46/1.32	c (0,0) translated 163 (50%) constraints
2.46/1.33	c (0,0) translated 196 (60%) constraints
2.46/1.33	c (0,0) translated 229 (70%) constraints
2.46/1.33	c (0,0) translated 261 (80%) constraints
2.46/1.34	c (0,0) translated 294 (90%) constraints
2.46/1.34	c (0,0) translated 326 (100%) constraints
2.46/1.35	c (0,0) CSP to CSPinCNF End
2.46/1.35	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 185
2.46/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.35	c (0,0) CSPinCNF Propagation Begin
2.46/1.38	c (0,0) 0 values, 8 unsatisfiable literals, and 49 valid clauses are removed
2.46/1.38	c (0,0) CSPinCNF Propagation End
2.46/1.38	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 185
2.46/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.38	c (0,0) Hybrid: #OE=48, #LE=0
2.46/1.38	c (0,0) Simplify CSPinCNF Begin
2.84/1.48	c (0,0) Simplify CSPinCNF End
2.84/1.48	c (0,0) CSP: 48 int (0 aux), 1096 bool (1096 aux), 1373 ctr, max domain size 185
2.84/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.48	c (0,0) Calculate Precise Domain Begin
2.84/1.49	c (0,0) 0 values are removed by re-calculation
2.84/1.49	c (0,0) Calculate Precise Domain End
2.84/1.49	c (0,0) CSP: 48 int (0 aux), 1096 bool (1096 aux), 1373 ctr, max domain size 185
2.84/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.49	c (0,0) CSPinCNF to SatSolver Begin
4.27/1.80	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 24593 SAT clauses)
4.68/1.90	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 41515 SAT clauses)
4.68/1.97	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 57513 SAT clauses)
4.91/2.05	c (1,1) 550 (40 %) CSP clauses are encoded (0 SAT variables, 73005 SAT clauses)
5.04/2.11	c (1,1) 687 (50 %) CSP clauses are encoded (0 SAT variables, 88234 SAT clauses)
5.04/2.18	c (1,1) 824 (60 %) CSP clauses are encoded (0 SAT variables, 102559 SAT clauses)
5.17/2.24	c (1,1) 962 (70 %) CSP clauses are encoded (0 SAT variables, 116115 SAT clauses)
5.17/2.29	c (1,1) 1099 (80 %) CSP clauses are encoded (0 SAT variables, 128664 SAT clauses)
5.27/2.34	c (1,1) 1236 (90 %) CSP clauses are encoded (0 SAT variables, 140005 SAT clauses)
5.27/2.38	c (1,1) 1373 (100 %) CSP clauses are encoded (0 SAT variables, 148016 SAT clauses)
5.27/2.38	c (1,1) CSPinCNF to SatSolver End
5.27/2.38	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.27/2.38	c (1,1) 8538 bool, 148061 clause
5.27/2.38	c (1,1) Export Begin
5.39/2.46	c (1,1) Export to HOME/scop-12142-serial-file.bin
5.39/2.46	c (1,1) Export End
5.39/2.46	c (1,1) Export File Size: 0.01 MB
5.39/2.46	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.39/2.46	c END-Prog: Tue Sep 24 17:15:58 CEST 2019
5.39/2.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12142-serial-file.bin
5.54/2.94	c (0,0) Read Serial File Begin
5.54/2.94	c (0,0) HOME/scop-12142-serial-file.bin
6.37/3.14	c (0,0) Read Serial File End
6.37/3.15	
6.37/3.15	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.37/3.15	(Solving Process)
6.37/3.15	
6.37/3.17	c BEGIN-Prog: Tue Sep 24 17:15:59 CEST 2019
6.37/3.17	c PID: 12165
6.37/3.17	c IP: 172.20.3.121
6.37/3.17	c HOST: node121.alineos.net
6.37/3.18	c (0,0) SatSolver.solve Begin
6.37/3.18	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405576-1569338198.xml-scop-12145.cnf
6.53/3.20	c (0,0) c
6.53/3.20	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)
6.53/3.20	c (0,0) c
6.53/3.20	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.53/3.20	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.53/3.20	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.53/3.20	c (0,0) c |                                                                                                       |
6.53/3.25	c (0,0) c |  Number of variables:          8538                                                                   |
6.53/3.25	c (0,0) c |  Number of clauses:          148061                                                                   |
6.53/3.25	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.53/3.25	c (0,0) c |                                                                                                       |
6.66/3.38	c (0,0) c |  Simplification time:          0.13 s                                                                 |
6.66/3.38	c (0,0) c |                                                                                                       |
6.66/3.38	c (0,0) c |  Generating clones                                                                                    |
6.67/3.43	c (0,0) c |  all clones generated. Memory =   104.39Mb.                                                           |
6.67/3.43	c (0,0) c ========================================================================================================|
6.67/3.43	c (0,0) c
6.67/3.43	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.67/3.43	c (0,0) c
6.67/3.43	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.67/3.43	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.67/3.43	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.67/3.43	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.67/3.43	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.67/3.43	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.67/3.43	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.67/3.43	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.67/3.43	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.67/3.43	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.67/3.43	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.67/3.43	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.67/3.43	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.67/3.43	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.67/3.43	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.67/3.43	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.67/3.43	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.67/3.43	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.67/3.43	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
243.49/33.14	c (30,0) c
243.49/33.14	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
243.49/33.14	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
243.49/33.14	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
243.49/33.14	c (30,0) c |  0 |    572 |     263820 |     133362 |    44406 |    41982 |    18362 |   123469 |    14419 |      238 |  20 |  0.738 |
243.49/33.14	c (30,0) c |  1 |    551 |     257398 |     130835 |    42644 |    39454 |    17965 |   121375 |    13954 |      233 |  20 |  0.738 |
243.49/33.14	c (30,0) c |  2 |    643 |     270591 |     135008 |    45914 |    43631 |    18769 |   125161 |    14312 |      243 |  20 |  0.738 |
243.49/33.14	c (30,0) c |  3 |    630 |     276712 |     135648 |    49819 |    44265 |    19261 |   124946 |    14465 |      243 |  20 |  0.738 |
243.49/33.14	c (30,0) c |  4 |    611 |     272737 |     135469 |    45249 |    44087 |    18610 |   126063 |    14850 |      245 |  20 |  0.738 |
243.49/33.14	c (30,0) c |  5 |    620 |     270568 |     136870 |    44150 |    45489 |    18780 |   127194 |    14900 |      248 |  20 |  0.738 |
243.49/33.14	c (30,0) c |  6 |    641 |     276084 |     137289 |    46560 |    23096 |    19791 |   125264 |    14795 |      245 |  20 |  0.738 |
243.49/33.14	c (30,0) c |  7 |    611 |     273759 |     138525 |    43513 |    24337 |    19346 |   126563 |    14621 |      249 |  20 |  0.738 |
243.49/33.14	c (30,0) c 
243.49/33.14	c (30,0) c synthesis     1083006 conflicts   363829771 propagations     4579 conflicts/sec  1538401 propagations/sec
243.49/33.14	c (30,0) c real: 29.939 s, cpu: 236.499 s, memory: 680.30 Mb
473.99/62.14	c (59,0) c
473.99/62.14	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
473.99/62.14	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
473.99/62.14	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
473.99/62.14	c (59,0) c |  0 |    933 |     416256 |     218768 |    49386 |    50547 |    28796 |   190551 |    22778 |      459 |  20 |  0.972 |
473.99/62.14	c (59,0) c |  1 |   1005 |     414163 |     215348 |    48333 |    47556 |    27755 |   189744 |    22754 |      453 |  20 |  0.972 |
473.99/62.14	c (59,0) c |  2 |   1005 |     416151 |     216665 |    49835 |    47802 |    27755 |   191878 |    22371 |      460 |  20 |  0.972 |
473.99/62.14	c (59,0) c |  3 |   1019 |     427007 |     219951 |    52504 |    51992 |    28177 |   190807 |    22628 |      457 |  20 |  0.972 |
473.99/62.14	c (59,0) c |  4 |   1049 |     424974 |     219005 |    49153 |    50718 |    27738 |   193343 |    23473 |      465 |  20 |  0.972 |
473.99/62.14	c (59,0) c |  5 |   1017 |     420749 |     222258 |    47021 |    53626 |    27276 |   195350 |    23661 |      469 |  20 |  0.972 |
473.99/62.14	c (59,0) c |  6 |   1017 |     417975 |     216889 |    49080 |    48785 |    27971 |   188127 |    22568 |      449 |  20 |  0.972 |
473.99/62.14	c (59,0) c |  7 |    988 |     418666 |     219133 |    46396 |    51230 |    29055 |   187383 |    22435 |      450 |  20 |  0.972 |
473.99/62.14	c (59,0) c 
473.99/62.14	c (59,0) c synthesis     1748017 conflicts   606944414 propagations     3744 conflicts/sec  1299850 propagations/sec
473.99/62.14	c (59,0) c real: 58.939 s, cpu: 466.934 s, memory: 680.30 Mb
704.17/91.14	c (88,0) c
704.17/91.14	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
704.17/91.14	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
704.17/91.14	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
704.17/91.14	c (88,0) c |  0 |   1202 |     550560 |     297943 |    52111 |    66399 |    37894 |   251114 |    30206 |      687 |  20 |  0.972 |
704.17/91.14	c (88,0) c |  1 |   1272 |     548166 |     295418 |    50606 |    63989 |    36449 |   251454 |    29897 |      684 |  20 |  0.972 |
704.17/91.14	c (88,0) c |  2 |   1327 |     555107 |     298213 |    52093 |    66508 |    36390 |   252936 |    29643 |      689 |  20 |  0.972 |
704.17/91.14	c (88,0) c |  3 |   1334 |     556733 |     294176 |    54230 |    62690 |    36679 |   247311 |    29386 |      671 |  20 |  0.972 |
704.17/91.14	c (88,0) c |  4 |   1345 |     555789 |     294298 |    51106 |    62730 |    36074 |   253236 |    30427 |      688 |  20 |  0.972 |
704.17/91.14	c (88,0) c |  5 |   1348 |     551190 |     298028 |    48925 |    66377 |    35670 |   254133 |    30671 |      689 |  20 |  0.972 |
704.17/91.14	c (88,0) c |  6 |   1418 |     553698 |     294130 |    50995 |    62606 |    35872 |   247608 |    29868 |      674 |  20 |  0.972 |
704.17/91.14	c (88,0) c |  7 |   1366 |     558161 |     297175 |    48388 |    65714 |    37512 |   247290 |    29660 |      672 |  20 |  0.972 |
704.17/91.14	c (88,0) c 
704.17/91.14	c (88,0) c synthesis     2369381 conflicts   831612455 propagations     3400 conflicts/sec  1193224 propagations/sec
704.17/91.14	c (88,0) c real: 87.939 s, cpu: 696.946 s, memory: 680.30 Mb
942.75/121.14	c (118,0) c
942.75/121.14	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
942.75/121.14	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
942.75/121.14	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
942.75/121.14	c (118,0) c |  0 |   1469 |     676481 |     372951 |    53913 |    67324 |    45999 |   304129 |    36543 |      925 |  20 |  0.972 |
942.75/121.14	c (118,0) c |  1 |   1580 |     669895 |     366274 |    52526 |    60676 |    43459 |   301655 |    35709 |      905 |  20 |  0.972 |
942.75/121.14	c (118,0) c |  2 |   1671 |     678749 |     369496 |    53906 |    63832 |    43650 |   305442 |    35811 |      919 |  20 |  0.972 |
942.75/121.14	c (118,0) c |  3 |   1698 |     681228 |     366241 |    55239 |    60624 |    43641 |   302346 |    35620 |      907 |  20 |  0.972 |
942.75/121.14	c (118,0) c |  4 |   1592 |     677826 |     368489 |    52148 |    62855 |    43793 |   306397 |    36620 |      924 |  20 |  0.972 |
942.75/121.14	c (118,0) c |  5 |   1677 |     679757 |     373332 |    50140 |    67678 |    43065 |   306959 |    37015 |      925 |  20 |  0.972 |
942.75/121.14	c (118,0) c |  6 |   1704 |     685211 |     373085 |    52063 |    67466 |    43612 |   305340 |    36493 |      922 |  20 |  0.972 |
942.75/121.14	c (118,0) c |  7 |   1700 |     693257 |     377513 |    50341 |    71904 |    46122 |   299666 |    35867 |      917 |  20 |  0.972 |
942.75/121.14	c (118,0) c 
942.75/121.14	c (118,0) c synthesis     2967381 conflicts  1047936669 propagations     3172 conflicts/sec  1120287 propagations/sec
942.75/121.14	c (118,0) c real: 117.939 s, cpu: 935.418 s, memory: 683.09 Mb
1170.19/150.14	c (147,0) c
1170.19/150.14	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1170.19/150.14	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1170.19/150.14	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1170.19/150.14	c (147,0) c |  0 |   1683 |     771233 |     430549 |    54675 |    83941 |    51401 |   345335 |    41228 |     1127 |  20 |  0.972 |
1170.19/150.14	c (147,0) c |  1 |   1818 |     777112 |     431868 |    53563 |    85275 |    50002 |   348352 |    41137 |     1134 |  20 |  0.972 |
1170.19/150.14	c (147,0) c |  2 |   1961 |     786431 |     433080 |    54744 |    86451 |    50195 |   349839 |    41438 |     1143 |  20 |  0.972 |
1170.19/150.14	c (147,0) c |  3 |   1922 |     788585 |     432864 |    55738 |    86260 |    49708 |   350068 |    41116 |     1143 |  20 |  0.972 |
1170.19/150.14	c (147,0) c |  4 |   1842 |     779877 |     430203 |    52980 |    83599 |    49542 |   350664 |    42024 |     1144 |  20 |  0.972 |
1170.19/150.14	c (147,0) c |  5 |   1849 |     774212 |     431618 |    50905 |    84999 |    49182 |   347459 |    41855 |     1125 |  20 |  0.972 |
1170.19/150.14	c (147,0) c |  6 |   1865 |     787799 |     437348 |    52630 |    47149 |    49878 |   349846 |    41555 |     1144 |  20 |  0.972 |
1170.19/150.14	c (147,0) c |  7 |   1917 |     800114 |     443335 |    51366 |    53149 |    52514 |   347590 |    40907 |     1144 |  20 |  0.972 |
1170.19/150.14	c (147,0) c 
1170.19/150.14	c (147,0) c synthesis     3470865 conflicts  1229969570 propagations     2985 conflicts/sec  1057797 propagations/sec
1170.19/150.14	c (147,0) c real: 146.939 s, cpu: 1162.76 s, memory: 688.01 Mb
1408.00/180.14	c (177,0) c
1408.00/180.14	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1408.00/180.14	c (177,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1408.00/180.14	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1408.00/180.14	c (177,0) c |  0 |   1955 |     880860 |     497872 |    55576 |    61481 |    57910 |   389056 |    46519 |     1367 |  20 |  0.972 |
1408.00/180.14	c (177,0) c |  1 |   1990 |     882500 |     498663 |    54449 |    62271 |    56751 |   390834 |    45912 |     1371 |  20 |  0.972 |
1408.00/180.14	c (177,0) c |  2 |   2176 |     891001 |     497803 |    55237 |    61406 |    56166 |   392407 |    45997 |     1374 |  20 |  0.972 |
1408.00/180.14	c (177,0) c |  3 |   2031 |     888967 |     500172 |    56166 |    63777 |    56207 |   393960 |    45652 |     1385 |  20 |  0.972 |
1408.00/180.14	c (177,0) c |  4 |   2082 |     881753 |     493764 |    53507 |    57368 |    55267 |   393885 |    46892 |     1378 |  20 |  0.972 |
1408.00/180.14	c (177,0) c |  5 |   2032 |     882247 |     500438 |    51596 |    64039 |    56054 |   390700 |    46661 |     1366 |  20 |  0.972 |
1408.00/180.14	c (177,0) c |  6 |   2032 |     894481 |     505097 |    53021 |    68702 |    55872 |   394944 |    46356 |     1385 |  20 |  0.972 |
1408.00/180.14	c (177,0) c |  7 |   2176 |     908142 |     509662 |    53510 |    73274 |    58393 |   389584 |    45649 |     1382 |  20 |  0.972 |
1408.00/180.14	c (177,0) c 
1408.00/180.14	c (177,0) c synthesis     4003471 conflicts  1423873276 propagations     2859 conflicts/sec  1016700 propagations/sec
1408.00/180.14	c (177,0) c real: 176.939 s, cpu: 1400.49 s, memory: 755.05 Mb
1635.01/209.14	c (206,0) c
1635.01/209.14	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1635.01/209.14	c (206,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1635.01/209.14	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1635.01/209.14	c (206,0) c |  0 |   2224 |     982943 |     560942 |    56192 |    75753 |    63465 |   428142 |    51474 |     1604 |  20 |  0.972 |
1635.01/209.14	c (206,0) c |  1 |   2210 |     982468 |     559762 |    55617 |    74567 |    62547 |   428820 |    50685 |     1601 |  20 |  0.972 |
1635.01/209.14	c (206,0) c |  2 |   2345 |     984899 |     557373 |    55631 |    72189 |    61621 |   430129 |    50571 |     1603 |  20 |  0.972 |
1635.01/209.14	c (206,0) c |  3 |   2170 |     984276 |     562695 |    56482 |    77505 |    61581 |   431059 |    50020 |     1609 |  20 |  0.972 |
1635.01/209.14	c (206,0) c |  4 |   2327 |     982808 |     554687 |    54052 |    69490 |    60707 |   432018 |    51693 |     1609 |  20 |  0.972 |
1635.01/209.14	c (206,0) c |  5 |   2262 |     972559 |     556264 |    52343 |    71072 |    61038 |   427816 |    51136 |     1589 |  20 |  0.972 |
1635.01/209.14	c (206,0) c |  6 |   2168 |     985327 |     564191 |    53736 |    79000 |    60790 |   430851 |    50571 |     1609 |  20 |  0.972 |
1635.01/209.14	c (206,0) c |  7 |   2313 |     996378 |     567965 |    54014 |    82777 |    63199 |   429420 |    49715 |     1608 |  20 |  0.972 |
1635.01/209.14	c (206,0) c 
1635.01/209.14	c (206,0) c synthesis     4483879 conflicts  1597030229 propagations     2755 conflicts/sec   981326 propagations/sec
1635.01/209.14	c (206,0) c real: 205.939 s, cpu: 1627.42 s, memory: 694.07 Mb
1862.25/238.14	c (235,0) c
1862.25/238.14	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1862.25/238.14	c (235,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1862.25/238.14	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1862.25/238.14	c (235,0) c |  0 |   2458 |    1069350 |     615249 |    56488 |    78602 |    67902 |   462393 |    55630 |     1831 |  20 |  1.007 |
1862.25/238.14	c (235,0) c |  1 |   2437 |    1073215 |     615847 |    56102 |    79226 |    67557 |   462652 |    55035 |     1830 |  20 |  1.007 |
1862.25/238.14	c (235,0) c |  2 |   2493 |    1071076 |     612543 |    56096 |    75907 |    66425 |   459665 |    54299 |     1831 |  20 |  1.007 |
1862.25/238.14	c (235,0) c |  3 |   2300 |    1071016 |     619179 |    56728 |    82529 |    66427 |   461787 |    53955 |     1831 |  20 |  1.007 |
1862.25/238.14	c (235,0) c |  4 |   2488 |    1064808 |     606720 |    54288 |    70069 |    65533 |   462678 |    55385 |     1818 |  20 |  1.007 |
1862.25/238.14	c (235,0) c |  5 |   2474 |    1065501 |     614606 |    53156 |    77950 |    65923 |   463544 |    55581 |     1826 |  20 |  1.007 |
1862.25/238.14	c (235,0) c |  6 |   2312 |    1065616 |     616209 |    53998 |    79573 |    64746 |   463878 |    54408 |     1821 |  20 |  1.007 |
1862.25/238.14	c (235,0) c |  7 |   2437 |    1084026 |     626114 |    55010 |    89477 |    68517 |   457449 |    53762 |     1832 |  20 |  1.007 |
1862.25/238.14	c (235,0) c 
1862.25/238.14	c (235,0) c synthesis     4926467 conflicts  1758368709 propagations     2656 conflicts/sec   948137 propagations/sec
1862.25/238.14	c (235,0) c real: 234.939 s, cpu: 1854.55 s, memory: 697.02 Mb
2100.18/268.14	c (265,0) c
2100.18/268.14	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2100.18/268.14	c (265,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2100.18/268.14	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2100.18/268.14	c (265,0) c |  0 |   2602 |    1152121 |     669328 |    56910 |    78707 |    72842 |   495987 |    59644 |     2057 |  20 |  1.007 |
2100.18/268.14	c (265,0) c |  1 |   2629 |    1159469 |     671079 |    56516 |    80473 |    72472 |   497367 |    58940 |     2063 |  20 |  1.007 |
2100.18/268.14	c (265,0) c |  2 |   2586 |    1161314 |     674177 |    56415 |    83567 |    71474 |   497357 |    58247 |     2072 |  20 |  1.007 |
2100.18/268.14	c (265,0) c |  3 |   2395 |    1161394 |     679968 |    57104 |    89350 |    72215 |   500550 |    57897 |     2075 |  20 |  1.008 |
2100.18/268.14	c (265,0) c |  4 |   2659 |    1151666 |     664000 |    54785 |    73373 |    70627 |   499221 |    59277 |     2061 |  20 |  1.007 |
2100.18/268.14	c (265,0) c |  5 |   2667 |    1159254 |     675248 |    53440 |    84627 |    71416 |   498759 |    59955 |     2072 |  20 |  1.007 |
2100.18/268.14	c (265,0) c |  6 |   2458 |    1149941 |     671468 |    54184 |    80852 |    69576 |   497938 |    58388 |     2056 |  20 |  1.007 |
2100.18/268.14	c (265,0) c |  7 |   2525 |    1173049 |     686696 |    55987 |    96079 |    74047 |   498688 |    57430 |     2076 |  20 |  1.007 |
2100.18/268.14	c (265,0) c 
2100.18/268.14	c (265,0) c synthesis     5391964 conflicts  1927215995 propagations     2577 conflicts/sec   921030 propagations/sec
2100.18/268.14	c (265,0) c real: 264.946 s, cpu: 2092.46 s, memory: 828.06 Mb
2337.77/298.14	c (295,0) c
2337.77/298.14	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2337.77/298.14	c (295,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2337.77/298.14	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2337.77/298.14	c (295,0) c |  0 |   2827 |    1241945 |     726244 |    57456 |    79034 |    77673 |   530173 |    64107 |     2295 |  20 |  1.007 |
2337.77/298.14	c (295,0) c |  1 |   2798 |    1241791 |     723970 |    56873 |    76773 |    77366 |   531176 |    63132 |     2301 |  20 |  1.008 |
2337.77/298.14	c (295,0) c |  2 |   2685 |    1246722 |     732044 |    56645 |    84846 |    76523 |   534671 |    62245 |     2314 |  20 |  1.007 |
2337.77/298.14	c (295,0) c |  3 |   2509 |    1239227 |     732031 |    57492 |    84826 |    76854 |   532944 |    61775 |     2305 |  20 |  1.007 |
2337.77/298.14	c (295,0) c |  4 |   2853 |    1232596 |     716309 |    55150 |    69103 |    75088 |   533220 |    63656 |     2298 |  20 |  1.007 |
2337.77/298.14	c (295,0) c |  5 |   2843 |    1238701 |     727521 |    53667 |    80319 |    75689 |   534433 |    63566 |     2309 |  20 |  1.007 |
2337.77/298.14	c (295,0) c |  6 |   2566 |    1240785 |     732362 |    54667 |    85157 |    74837 |   535254 |    62501 |     2306 |  20 |  1.007 |
2337.77/298.14	c (295,0) c |  7 |   2696 |    1259604 |     742726 |    56314 |    95518 |    78596 |   531157 |    61290 |     2314 |  20 |  1.009 |
2337.77/298.14	c (295,0) c 
2337.77/298.14	c (295,0) c synthesis     5833207 conflicts  2087902796 propagations     2504 conflicts/sec   896128 propagations/sec
2337.77/298.14	c (295,0) c real: 294.939 s, cpu: 2329.92 s, memory: 767.02 Mb
2575.42/328.14	c (325,0) c
2575.42/328.14	c (325,0) c |------------------------------------------------------------------------------------------------------------------------|
2575.42/328.14	c (325,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2575.42/328.14	c (325,0) c |------------------------------------------------------------------------------------------------------------------------|
2575.42/328.14	c (325,0) c |  0 |   2982 |    1324826 |     779542 |    57719 |    73138 |    82474 |   560220 |    68030 |     2533 |  20 |  1.007 |
2576.17/328.24	c (325,0) c |  1 |   3005 |    1323169 |     775478 |    57267 |    69080 |    82172 |   563026 |    67181 |     2537 |  20 |  1.007 |
2576.17/328.24	c (325,0) c |  2 |   2847 |    1325187 |     782563 |    57031 |    76173 |    80517 |   564992 |    65938 |     2539 |  20 |  1.008 |
2576.17/328.24	c (325,0) c |  3 |   2651 |    1314256 |     781794 |    57742 |    75396 |    80828 |   562371 |    65433 |     2527 |  20 |  1.007 |
2576.17/328.24	c (325,0) c |  4 |   2984 |    1311442 |     768783 |    55489 |    62386 |    79574 |   565580 |    67677 |     2536 |  20 |  1.007 |
2576.17/328.24	c (325,0) c |  5 |   3014 |    1319130 |     779783 |    53844 |    73395 |    80581 |   565509 |    67450 |     2542 |  20 |  1.007 |
2576.17/328.24	c (325,0) c |  6 |   2625 |    1319646 |     787038 |    54860 |    80654 |    79604 |   565346 |    66048 |     2546 |  20 |  1.009 |
2576.17/328.24	c (325,0) c |  7 |   2806 |    1336612 |     794971 |    56575 |    88578 |    82893 |   562756 |    64818 |     2544 |  20 |  1.007 |
2576.17/328.24	c (325,0) c 
2576.17/328.24	c (325,0) c synthesis     6249952 conflicts  2240008697 propagations     2434 conflicts/sec   872454 propagations/sec
2576.17/328.24	c (325,0) c real: 324.939 s, cpu: 2567.48 s, memory: 833.80 Mb
2607.32/332.18	c (329,0) c
2607.32/332.18	c (329,0) c real time : 328.981 s
2607.32/332.18	c (329,0) c cpu time  : 2599.34 s
2607.32/332.18	c (329,0) c
2607.32/332.18	c (329,0) c
2607.32/332.18	c (329,0) c
2607.32/332.18	c (329,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2607.32/332.18	c (329,0) c
2607.32/332.18	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.18	c (329,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2607.32/332.18	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.18	c (329,0) c | Conflicts     |         6306747 |     787129 |     783069 |     790528 |     787920 |     776960 |     788655 |     792545 |     799941 |
2607.32/332.18	c (329,0) c | Decisions     |        10660534 |    1335798 |    1334267 |    1337183 |    1323647 |    1324654 |    1332389 |    1328228 |    1344368 |
2607.32/332.18	c (329,0) c | Propagations  |      2261478875 |  280494647 |  283050412 |  288496481 |  285484904 |  279887095 |  278802905 |  282275504 |  282986927 |
2607.32/332.18	c (329,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
2607.32/332.18	c (329,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
2607.32/332.18	c (329,0) c | Restarts      |           23072 |       2994 |       3018 |       2861 |       2661 |       3031 |       3034 |       2652 |       2821 |
2607.32/332.18	c (329,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2607.32/332.18	c (329,0) c | PropBinClauses|      2585459335 |  320623932 |  322498998 |  329242627 |  326753089 |  320660961 |  319519311 |  323018119 |  323142298 |
2607.32/332.18	c (329,0) c | PropPreBlocker|     68048457989 | 8463390828 | 8478679389 | 8533413215 | 8493272675 | 8475056919 | 8503831196 | 8560131532 | 8540682235 |
2607.32/332.18	c (329,0) c | PropNotBlocker|     18761661279 | 2358018322 | 2368914831 | 2352278181 | 2321043091 | 2368724268 | 2362275256 | 2316235147 | 2314172183 |
2607.32/332.18	c (329,0) c | LitFullScans  |    123307542448 |15397191452 |15415204801 |15439663017 |15343704334 |15421210666 |15453969028 |15427450102 |15409149048 |
2607.32/332.18	c (329,0) c | LitScanFracts |        10382011 |    1186423 |    1200788 |    1655431 |    1107018 |    1205479 |    1482532 |    1417992 |    1126348 |
2607.32/332.18	c (329,0) c | DecisionLevel0|           23074 |       2994 |       3019 |       2862 |       2661 |       3031 |       3034 |       2652 |       2821 |
2607.32/332.18	c (329,0) c | Periods       |           20549 |       2566 |       2569 |       2573 |       2557 |       2570 |       2575 |       2571 |       2568 |
2607.32/332.18	c (329,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2607.32/332.18	c (329,0) c | Avg_Trail     |                 |       3716 |       3773 |       3830 |       3763 |       3721 |       3701 |       3731 |       3757 |
2607.32/332.18	c (329,0) c | Avg_DL        |                 |         23 |         23 |         23 |         23 |         22 |         22 |         23 |         23 |
2607.32/332.18	c (329,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2607.32/332.18	c (329,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2607.32/332.18	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.18	c (329,0) c | Exported      |          653277 |      83136 |      82845 |      81049 |      81320 |      80146 |      81396 |      79925 |      83460 |
2607.32/332.18	c (329,0) c | Imported      |         4542167 |     566491 |     565784 |     568438 |     565052 |     570588 |     570072 |     570376 |     565366 |
2607.32/332.18	c (329,0) c | Good          |            1218 |        148 |        150 |        146 |        158 |        148 |        148 |        161 |        159 |
2607.32/332.18	c (329,0) c | Purge         |         4540949 |     566343 |     565634 |     568292 |     564894 |     570440 |     569924 |     570215 |     565207 |
2607.32/332.18	c (329,0) c | Promoted      |          536223 |      68484 |      67645 |      66479 |      65845 |      68124 |      68070 |      66433 |      65143 |
2607.32/332.18	c (329,0) c | Remove_Imp    |         3474856 |     433808 |     435859 |     434421 |     432683 |     441571 |     436615 |     433392 |     426507 |
2607.32/332.18	c (329,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2607.32/332.18	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.18	c (329,0) c | Unaries       |                 |          0 |          1 |          1 |          0 |          0 |          0 |          0 |          0 |
2607.32/332.18	c (329,0) c | Binaries      |                 |         26 |         24 |         28 |         16 |         26 |         27 |         13 |         15 |
2607.32/332.18	c (329,0) c | Glues         |                 |        614 |        636 |        561 |        528 |        649 |        565 |        506 |        502 |
2607.32/332.18	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.18	c (329,0) c | Orig_Seen     |            38 % |      57757 |      57292 |      57046 |      58557 |      55531 |      53898 |      54873 |      56584 |
2607.32/332.18	c (329,0) c | Diff Orig seen|                 | -      800 | -     1265 | -     1511 |      X     | -     3026 | -     4659 | -     3684 | -     1973 |
2607.32/332.18	c (329,0) c | Hamming       |            29 % |       2746 |       2426 |       2614 |      X     |       2490 |       2533 |       2608 |       2397 |
2607.32/332.18	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.18	c (329,0) c | RunningTime   |                 |  327.4 100%|  328.3 100%|  327.1 100%|  322.9  98%|  325.5  99%|  326.4  99%|  325.8  99%|  322.8  98%|
2607.32/332.18	c (329,0) c | WaitingTime   |                 |    0.9   0%|    0.0   0%|    1.2   0%|    5.4   2%|    2.8   1%|    1.9   1%|    2.5   1%|    5.4   2%|
2607.32/332.18	c (329,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
2607.32/332.18	c (329,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%|
2607.32/332.18	c (329,0) c | SolvingTime   |                 |  328.6     |  328.6     |  328.6     |  328.6     |  328.6     |  328.6     |  328.7     |  328.6     |
2607.32/332.18	c (329,0) c | PropagationTim|                 |  293.0  89%|  286.9  87%|  285.6  87%|  288.3  88%|  287.4  87%|  286.2  87%|  286.7  87%|  290.9  89%|
2607.32/332.18	c (329,0) c | AnalysisTime  |                 |   29.4   9%|   35.5  11%|   36.9  11%|   33.8  10%|   35.0  11%|   36.2  11%|   35.7  11%|   31.4  10%|
2607.32/332.18	c (329,0) c | ReductionTime |                 |    1.7   1%|    1.7   1%|    1.7   1%|    1.7   1%|    1.7   1%|    1.7   1%|    1.7   1%|    1.8   1%|
2607.32/332.18	c (329,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2607.32/332.18	c (329,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%|
2607.32/332.18	c (329,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%|
2607.32/332.18	c (329,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.18	c (329,0) c
2607.32/332.18	c (329,0) c
2607.32/332.18	c (329,0) c Threads : 8
2607.32/332.18	c (329,0) c Winner : 3
2607.32/332.18	c (329,0) c Conflicts_0 : 787129
2607.32/332.18	c (329,0) c Conflicts_1 : 783069
2607.32/332.18	c (329,0) c Conflicts_2 : 790528
2607.32/332.18	c (329,0) c Conflicts_3 : 787920
2607.32/332.18	c (329,0) c Conflicts_4 : 776960
2607.32/332.18	c (329,0) c Conflicts_5 : 788655
2607.32/332.18	c (329,0) c Conflicts_6 : 792545
2607.32/332.18	c (329,0) c Conflicts_7 : 799941
2607.32/332.18	c (329,0) c Conflicts_total : 6306747
2607.32/332.18	c (329,0) c Conflicts_winner : 787920
2607.32/332.18	c (329,0) c Decisions_0 : 1335798
2607.32/332.18	c (329,0) c Decisions_1 : 1334267
2607.32/332.18	c (329,0) c Decisions_2 : 1337183
2607.32/332.18	c (329,0) c Decisions_3 : 1323647
2607.32/332.18	c (329,0) c Decisions_4 : 1324654
2607.32/332.18	c (329,0) c Decisions_5 : 1332389
2607.32/332.18	c (329,0) c Decisions_6 : 1328228
2607.32/332.18	c (329,0) c Decisions_7 : 1344368
2607.32/332.18	c (329,0) c Decisions_total : 10660534
2607.32/332.18	c (329,0) c Decisions_winner : 1323647
2607.32/332.18	c (329,0) c Propagations_0 : 280494647
2607.32/332.18	c (329,0) c Propagations_1 : 283050412
2607.32/332.18	c (329,0) c Propagations_2 : 288496481
2607.32/332.18	c (329,0) c Propagations_3 : 285484904
2607.32/332.18	c (329,0) c Propagations_4 : 279887095
2607.32/332.18	c (329,0) c Propagations_5 : 278802905
2607.32/332.18	c (329,0) c Propagations_6 : 282275504
2607.32/332.18	c (329,0) c Propagations_7 : 282986927
2607.32/332.18	c (329,0) c Propagations_total : 2261478875
2607.32/332.18	c (329,0) c Propagations_winner : 285484904
2607.32/332.18	c (329,0) c ReduceDBs_0 : 24
2607.32/332.18	c (329,0) c ReduceDBs_1 : 24
2607.32/332.18	c (329,0) c ReduceDBs_2 : 24
2607.32/332.18	c (329,0) c ReduceDBs_3 : 24
2607.32/332.18	c (329,0) c ReduceDBs_4 : 24
2607.32/332.18	c (329,0) c ReduceDBs_5 : 24
2607.32/332.18	c (329,0) c ReduceDBs_6 : 24
2607.32/332.18	c (329,0) c ReduceDBs_7 : 24
2607.32/332.18	c (329,0) c ReduceDBs_total : 192
2607.32/332.18	c (329,0) c ReduceDBs_winner : 24
2607.32/332.18	c (329,0) c SimpDBs_0 : 4
2607.32/332.18	c (329,0) c SimpDBs_1 : 4
2607.32/332.18	c (329,0) c SimpDBs_2 : 4
2607.32/332.18	c (329,0) c SimpDBs_3 : 4
2607.32/332.18	c (329,0) c SimpDBs_4 : 4
2607.32/332.18	c (329,0) c SimpDBs_5 : 4
2607.32/332.18	c (329,0) c SimpDBs_6 : 4
2607.32/332.18	c (329,0) c SimpDBs_7 : 4
2607.32/332.18	c (329,0) c SimpDBs_total : 32
2607.32/332.18	c (329,0) c SimpDBs_winner : 4
2607.32/332.18	c (329,0) c Restarts_0 : 2994
2607.32/332.18	c (329,0) c Restarts_1 : 3018
2607.32/332.18	c (329,0) c Restarts_2 : 2861
2607.32/332.18	c (329,0) c Restarts_3 : 2661
2607.32/332.18	c (329,0) c Restarts_4 : 3031
2607.32/332.18	c (329,0) c Restarts_5 : 3034
2607.32/332.18	c (329,0) c Restarts_6 : 2652
2607.32/332.18	c (329,0) c Restarts_7 : 2821
2607.32/332.18	c (329,0) c Restarts_total : 23072
2607.32/332.18	c (329,0) c Restarts_winner : 2661
2607.32/332.18	c (329,0) c ForcedImports_0 : 0
2607.32/332.18	c (329,0) c ForcedImports_1 : 0
2607.32/332.18	c (329,0) c ForcedImports_2 : 0
2607.32/332.18	c (329,0) c ForcedImports_3 : 0
2607.32/332.18	c (329,0) c ForcedImports_4 : 0
2607.32/332.18	c (329,0) c ForcedImports_5 : 0
2607.32/332.18	c (329,0) c ForcedImports_6 : 0
2607.32/332.18	c (329,0) c ForcedImports_7 : 0
2607.32/332.18	c (329,0) c ForcedImports_total : 0
2607.32/332.18	c (329,0) c ForcedImports_winner : 0
2607.32/332.18	c (329,0) c PropsBinClauses_0 : 320623932
2607.32/332.18	c (329,0) c PropsBinClauses_1 : 322498998
2607.32/332.18	c (329,0) c PropsBinClauses_2 : 329242627
2607.32/332.18	c (329,0) c PropsBinClauses_3 : 326753089
2607.32/332.18	c (329,0) c PropsBinClauses_4 : 320660961
2607.32/332.18	c (329,0) c PropsBinClauses_5 : 319519311
2607.32/332.18	c (329,0) c PropsBinClauses_6 : 323018119
2607.32/332.18	c (329,0) c PropsBinClauses_7 : 323142298
2607.32/332.18	c (329,0) c PropsBinClauses_total : 2585459335
2607.32/332.18	c (329,0) c PropsBinClauses_winner : 326753089
2607.32/332.18	c (329,0) c PropsPreBlocker_0 : 8463390828
2607.32/332.18	c (329,0) c PropsPreBlocker_1 : 8478679389
2607.32/332.18	c (329,0) c PropsPreBlocker_2 : 8533413215
2607.32/332.18	c (329,0) c PropsPreBlocker_3 : 8493272675
2607.32/332.18	c (329,0) c PropsPreBlocker_4 : 8475056919
2607.32/332.18	c (329,0) c PropsPreBlocker_5 : 8503831196
2607.32/332.18	c (329,0) c PropsPreBlocker_6 : 8560131532
2607.32/332.18	c (329,0) c PropsPreBlocker_7 : 8540682235
2607.32/332.18	c (329,0) c PropsPreBlocker_total : 68048457989
2607.32/332.18	c (329,0) c PropsPreBlocker_winner : 8493272675
2607.32/332.18	c (329,0) c PropsNotBlocker_0 : 2358018322
2607.32/332.18	c (329,0) c PropsNotBlocker_1 : 2368914831
2607.32/332.18	c (329,0) c PropsNotBlocker_2 : 2352278181
2607.32/332.18	c (329,0) c PropsNotBlocker_3 : 2321043091
2607.32/332.18	c (329,0) c PropsNotBlocker_4 : 2368724268
2607.32/332.18	c (329,0) c PropsNotBlocker_5 : 2362275256
2607.32/332.18	c (329,0) c PropsNotBlocker_6 : 2316235147
2607.32/332.18	c (329,0) c PropsNotBlocker_7 : 2314172183
2607.32/332.18	c (329,0) c PropsNotBlocker_total : 18761661279
2607.32/332.18	c (329,0) c PropsNotBlocker_winner : 2321043091
2607.32/332.18	c (329,0) c PropsLitFullScans_0 : 15397191452
2607.32/332.18	c (329,0) c PropsLitFullScans_1 : 15415204801
2607.32/332.18	c (329,0) c PropsLitFullScans_2 : 15439663017
2607.32/332.18	c (329,0) c PropsLitFullScans_3 : 15343704334
2607.32/332.18	c (329,0) c PropsLitFullScans_4 : 15421210666
2607.32/332.18	c (329,0) c PropsLitFullScans_5 : 15453969028
2607.32/332.18	c (329,0) c PropsLitFullScans_6 : 15427450102
2607.32/332.18	c (329,0) c PropsLitFullScans_7 : 15409149048
2607.32/332.18	c (329,0) c PropsLitFullScans_total : 123307542448
2607.32/332.18	c (329,0) c PropsLitFullScans_winner : 15343704334
2607.32/332.18	c (329,0) c LitScanFractions_0 : 1186423
2607.32/332.18	c (329,0) c LitScanFractions_1 : 1200788
2607.32/332.18	c (329,0) c LitScanFractions_2 : 1655431
2607.32/332.18	c (329,0) c LitScanFractions_3 : 1107018
2607.32/332.18	c (329,0) c LitScanFractions_4 : 1205479
2607.32/332.18	c (329,0) c LitScanFractions_5 : 1482532
2607.32/332.18	c (329,0) c LitScanFractions_6 : 1417992
2607.32/332.18	c (329,0) c LitScanFractions_7 : 1126348
2607.32/332.18	c (329,0) c LitScanFractions_total : 10382011
2607.32/332.18	c (329,0) c LitScanFractions_winner : 1107018
2607.32/332.18	c (329,0) c DecisionLevel0_0 : 2994
2607.32/332.18	c (329,0) c DecisionLevel0_1 : 3019
2607.32/332.18	c (329,0) c DecisionLevel0_2 : 2862
2607.32/332.18	c (329,0) c DecisionLevel0_3 : 2661
2607.32/332.18	c (329,0) c DecisionLevel0_4 : 3031
2607.32/332.18	c (329,0) c DecisionLevel0_5 : 3034
2607.32/332.18	c (329,0) c DecisionLevel0_6 : 2652
2607.32/332.18	c (329,0) c DecisionLevel0_7 : 2821
2607.32/332.18	c (329,0) c DecisionLevel0_total : 23074
2607.32/332.18	c (329,0) c DecisionLevel0_winner : 2661
2607.32/332.18	c (329,0) c Periods_0 : 2566
2607.32/332.18	c (329,0) c Periods_1 : 2569
2607.32/332.18	c (329,0) c Periods_2 : 2573
2607.32/332.18	c (329,0) c Periods_3 : 2557
2607.32/332.18	c (329,0) c Periods_4 : 2570
2607.32/332.18	c (329,0) c Periods_5 : 2575
2607.32/332.18	c (329,0) c Periods_6 : 2571
2607.32/332.18	c (329,0) c Periods_7 : 2568
2607.32/332.18	c (329,0) c Periods_total : 20549
2607.32/332.18	c (329,0) c Periods_winner : 2557
2607.32/332.18	c (329,0) c Margin_0 : 20
2607.32/332.18	c (329,0) c Margin_1 : 20
2607.32/332.18	c (329,0) c Margin_2 : 20
2607.32/332.18	c (329,0) c Margin_3 : 20
2607.32/332.18	c (329,0) c Margin_4 : 20
2607.32/332.18	c (329,0) c Margin_5 : 20
2607.32/332.18	c (329,0) c Margin_6 : 20
2607.32/332.18	c (329,0) c Margin_7 : 20
2607.32/332.18	c (329,0) c Margin_total : 160
2607.32/332.18	c (329,0) c Margin_winner : 20
2607.32/332.18	c (329,0) c Exported_0 : 83136
2607.32/332.18	c (329,0) c Exported_1 : 82845
2607.32/332.18	c (329,0) c Exported_2 : 81049
2607.32/332.18	c (329,0) c Exported_3 : 81320
2607.32/332.18	c (329,0) c Exported_4 : 80146
2607.32/332.18	c (329,0) c Exported_5 : 81396
2607.32/332.18	c (329,0) c Exported_6 : 79925
2607.32/332.18	c (329,0) c Exported_7 : 83460
2607.32/332.18	c (329,0) c Exported_total : 653277
2607.32/332.18	c (329,0) c Exported_winner : 81320
2607.32/332.18	c (329,0) c Imported_0 : 566491
2607.32/332.18	c (329,0) c Imported_1 : 565784
2607.32/332.18	c (329,0) c Imported_2 : 568438
2607.32/332.18	c (329,0) c Imported_3 : 565052
2607.32/332.18	c (329,0) c Imported_4 : 570588
2607.32/332.18	c (329,0) c Imported_5 : 570072
2607.32/332.18	c (329,0) c Imported_6 : 570376
2607.32/332.18	c (329,0) c Imported_7 : 565366
2607.32/332.19	c (329,0) c Imported_total : 4542167
2607.32/332.19	c (329,0) c Imported_winner : 565052
2607.32/332.19	c (329,0) c Good_0 : 148
2607.32/332.19	c (329,0) c Good_1 : 150
2607.32/332.19	c (329,0) c Good_2 : 146
2607.32/332.19	c (329,0) c Good_3 : 158
2607.32/332.19	c (329,0) c Good_4 : 148
2607.32/332.19	c (329,0) c Good_5 : 148
2607.32/332.19	c (329,0) c Good_6 : 161
2607.32/332.19	c (329,0) c Good_7 : 159
2607.32/332.19	c (329,0) c Good_total : 1218
2607.32/332.19	c (329,0) c Good_winner : 158
2607.32/332.19	c (329,0) c Purge_0 : 566343
2607.32/332.19	c (329,0) c Purge_1 : 565634
2607.32/332.19	c (329,0) c Purge_2 : 568292
2607.32/332.19	c (329,0) c Purge_3 : 564894
2607.32/332.19	c (329,0) c Purge_4 : 570440
2607.32/332.19	c (329,0) c Purge_5 : 569924
2607.32/332.19	c (329,0) c Purge_6 : 570215
2607.32/332.19	c (329,0) c Purge_7 : 565207
2607.32/332.19	c (329,0) c Purge_total : 4540949
2607.32/332.19	c (329,0) c Purge_winner : 564894
2607.32/332.19	c (329,0) c Promoted_0 : 68484
2607.32/332.19	c (329,0) c Promoted_1 : 67645
2607.32/332.19	c (329,0) c Promoted_2 : 66479
2607.32/332.19	c (329,0) c Promoted_3 : 65845
2607.32/332.19	c (329,0) c Promoted_4 : 68124
2607.32/332.19	c (329,0) c Promoted_5 : 68070
2607.32/332.19	c (329,0) c Promoted_6 : 66433
2607.32/332.19	c (329,0) c Promoted_7 : 65143
2607.32/332.19	c (329,0) c Promoted_total : 536223
2607.32/332.19	c (329,0) c Promoted_winner : 65845
2607.32/332.19	c (329,0) c Remove_Imp_0 : 433808
2607.32/332.19	c (329,0) c Remove_Imp_1 : 435859
2607.32/332.19	c (329,0) c Remove_Imp_2 : 434421
2607.32/332.19	c (329,0) c Remove_Imp_3 : 432683
2607.32/332.19	c (329,0) c Remove_Imp_4 : 441571
2607.32/332.19	c (329,0) c Remove_Imp_5 : 436615
2607.32/332.19	c (329,0) c Remove_Imp_6 : 433392
2607.32/332.19	c (329,0) c Remove_Imp_7 : 426507
2607.32/332.19	c (329,0) c Remove_Imp_total : 3474856
2607.32/332.19	c (329,0) c Remove_Imp_winner : 432683
2607.32/332.19	c (329,0) c Blocked_Reuse_0 : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_1 : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_2 : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_3 : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_4 : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_5 : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_6 : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_7 : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_total : 0
2607.32/332.19	c (329,0) c Blocked_Reuse_winner : 0
2607.32/332.19	c (329,0) c Unaries_0 : 0
2607.32/332.19	c (329,0) c Unaries_1 : 1
2607.32/332.19	c (329,0) c Unaries_2 : 1
2607.32/332.19	c (329,0) c Unaries_3 : 0
2607.32/332.19	c (329,0) c Unaries_4 : 0
2607.32/332.19	c (329,0) c Unaries_5 : 0
2607.32/332.19	c (329,0) c Unaries_6 : 0
2607.32/332.19	c (329,0) c Unaries_7 : 0
2607.32/332.19	c (329,0) c Unaries_total : 2
2607.32/332.19	c (329,0) c Unaries_winner : 0
2607.32/332.19	c (329,0) c Binaries_0 : 26
2607.32/332.19	c (329,0) c Binaries_1 : 24
2607.32/332.19	c (329,0) c Binaries_2 : 28
2607.32/332.19	c (329,0) c Binaries_3 : 16
2607.32/332.19	c (329,0) c Binaries_4 : 26
2607.32/332.19	c (329,0) c Binaries_5 : 27
2607.32/332.19	c (329,0) c Binaries_6 : 13
2607.32/332.19	c (329,0) c Binaries_7 : 15
2607.32/332.19	c (329,0) c Binaries_total : 175
2607.32/332.19	c (329,0) c Binaries_winner : 16
2607.32/332.19	c (329,0) c Glues_0 : 614
2607.32/332.19	c (329,0) c Glues_1 : 636
2607.32/332.19	c (329,0) c Glues_2 : 561
2607.32/332.19	c (329,0) c Glues_3 : 528
2607.32/332.19	c (329,0) c Glues_4 : 649
2607.32/332.19	c (329,0) c Glues_5 : 565
2607.32/332.19	c (329,0) c Glues_6 : 506
2607.32/332.19	c (329,0) c Glues_7 : 502
2607.32/332.19	c (329,0) c Glues_total : 4561
2607.32/332.19	c (329,0) c Glues_winner : 528
2607.32/332.19	c (329,0) c RunningTime_0 : 327.418562
2607.32/332.19	c (329,0) c RunningTime_1 : 328.261542
2607.32/332.19	c (329,0) c RunningTime_2 : 327.090197
2607.32/332.19	c (329,0) c RunningTime_3 : 322.888340
2607.32/332.19	c (329,0) c RunningTime_4 : 325.458901
2607.32/332.19	c (329,0) c RunningTime_5 : 326.360764
2607.32/332.19	c (329,0) c RunningTime_6 : 325.793333
2607.32/332.19	c (329,0) c RunningTime_7 : 322.829630
2607.32/332.19	c (329,0) c RunningTime_total : 2606.101269
2607.32/332.19	c (329,0) c RunningTime_winner : 322.888340
2607.32/332.19	c (329,0) c WaitingTime_0 : 0.888710
2607.32/332.19	c (329,0) c WaitingTime_1 : 0.003439
2607.32/332.19	c (329,0) c WaitingTime_2 : 1.199932
2607.32/332.19	c (329,0) c WaitingTime_3 : 5.377473
2607.32/332.19	c (329,0) c WaitingTime_4 : 2.838110
2607.32/332.19	c (329,0) c WaitingTime_5 : 1.922880
2607.32/332.19	c (329,0) c WaitingTime_6 : 2.527820
2607.32/332.19	c (329,0) c WaitingTime_7 : 5.421238
2607.32/332.19	c (329,0) c WaitingTime_total : 20.179603
2607.32/332.19	c (329,0) c WaitingTime_winner : 5.377473
2607.32/332.19	c (329,0) c ExchangingTime_0 : 0.308271
2607.32/332.19	c (329,0) c ExchangingTime_1 : 0.311985
2607.32/332.19	c (329,0) c ExchangingTime_2 : 0.321287
2607.32/332.19	c (329,0) c ExchangingTime_3 : 0.295538
2607.32/332.19	c (329,0) c ExchangingTime_4 : 0.310086
2607.32/332.19	c (329,0) c ExchangingTime_5 : 0.322465
2607.32/332.19	c (329,0) c ExchangingTime_6 : 0.319251
2607.32/332.19	c (329,0) c ExchangingTime_7 : 0.324197
2607.32/332.19	c (329,0) c ExchangingTime_total : 2.513079
2607.32/332.19	c (329,0) c ExchangingTime_winner : 0.295538
2607.32/332.19	c (329,0) c PeriodProcTime_0 : 0.020922
2607.32/332.19	c (329,0) c PeriodProcTime_1 : 0.022463
2607.32/332.19	c (329,0) c PeriodProcTime_2 : 0.021483
2607.32/332.19	c (329,0) c PeriodProcTime_3 : 0.024479
2607.32/332.19	c (329,0) c PeriodProcTime_4 : 0.022912
2607.32/332.19	c (329,0) c PeriodProcTime_5 : 0.024031
2607.32/332.19	c (329,0) c PeriodProcTime_6 : 0.023300
2607.32/332.19	c (329,0) c PeriodProcTime_7 : 0.023255
2607.32/332.19	c (329,0) c PeriodProcTime_total : 0.182844
2607.32/332.19	c (329,0) c PeriodProcTime_winner : 0.024479
2607.32/332.19	c (329,0) c SolvingTime_0 : 328.636464
2607.32/332.19	c (329,0) c SolvingTime_1 : 328.599429
2607.32/332.19	c (329,0) c SolvingTime_2 : 328.632898
2607.32/332.19	c (329,0) c SolvingTime_3 : 328.585830
2607.32/332.19	c (329,0) c SolvingTime_4 : 328.630009
2607.32/332.19	c (329,0) c SolvingTime_5 : 328.630140
2607.32/332.19	c (329,0) c SolvingTime_6 : 328.663704
2607.32/332.19	c (329,0) c SolvingTime_7 : 328.598320
2607.32/332.19	c (329,0) c SolvingTime_total : 2628.976794
2607.32/332.19	c (329,0) c SolvingTime_winner : 328.585830
2607.32/332.19	c (329,0) c PropagationTime_0 : 293.014946
2607.32/332.19	c (329,0) c PropagationTime_1 : 286.912459
2607.32/332.19	c (329,0) c PropagationTime_2 : 285.561982
2607.32/332.19	c (329,0) c PropagationTime_3 : 288.309301
2607.32/332.19	c (329,0) c PropagationTime_4 : 287.446956
2607.32/332.19	c (329,0) c PropagationTime_5 : 286.239948
2607.32/332.19	c (329,0) c PropagationTime_6 : 286.687644
2607.32/332.19	c (329,0) c PropagationTime_7 : 290.871165
2607.32/332.19	c (329,0) c PropagationTime_total : 2305.044402
2607.32/332.19	c (329,0) c PropagationTime_winner : 288.309301
2607.32/332.19	c (329,0) c AnalysisTime_0 : 29.438866
2607.32/332.19	c (329,0) c AnalysisTime_1 : 35.469329
2607.32/332.19	c (329,0) c AnalysisTime_2 : 36.894692
2607.32/332.19	c (329,0) c AnalysisTime_3 : 33.847775
2607.32/332.19	c (329,0) c AnalysisTime_4 : 34.973335
2607.32/332.19	c (329,0) c AnalysisTime_5 : 36.205214
2607.32/332.19	c (329,0) c AnalysisTime_6 : 35.710963
2607.32/332.19	c (329,0) c AnalysisTime_7 : 31.386594
2607.32/332.19	c (329,0) c AnalysisTime_total : 273.926767
2607.32/332.19	c (329,0) c AnalysisTime_winner : 33.847775
2607.32/332.19	c (329,0) c ReductionTime_0 : 1.664141
2607.32/332.19	c (329,0) c ReductionTime_1 : 1.694723
2607.32/332.19	c (329,0) c ReductionTime_2 : 1.693002
2607.32/332.19	c (329,0) c ReductionTime_3 : 1.685911
2607.32/332.19	c (329,0) c ReductionTime_4 : 1.728517
2607.32/332.19	c (329,0) c ReductionTime_5 : 1.727925
2607.32/332.19	c (329,0) c ReductionTime_6 : 1.712847
2607.32/332.19	c (329,0) c ReductionTime_7 : 1.758981
2607.32/332.19	c (329,0) c ReductionTime_total : 13.666046
2607.32/332.19	c (329,0) c ReductionTime_winner : 1.685911
2607.32/332.19	c (329,0) c SimplifyTime_0 : 0.042917
2607.32/332.19	c (329,0) c SimplifyTime_1 : 0.043409
2607.32/332.19	c (329,0) c SimplifyTime_2 : 0.057167
2607.32/332.19	c (329,0) c SimplifyTime_3 : 0.127389
2607.32/332.19	c (329,0) c SimplifyTime_4 : 0.042238
2607.32/332.19	c (329,0) c SimplifyTime_5 : 0.044848
2607.32/332.19	c (329,0) c SimplifyTime_6 : 0.049746
2607.32/332.19	c (329,0) c SimplifyTime_7 : 0.043205
2607.32/332.19	c (329,0) c SimplifyTime_total : 0.450921
2607.32/332.19	c (329,0) c SimplifyTime_winner : 0.127389
2607.32/332.19	c (329,0) c UsedRateTime_0 : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_1 : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_2 : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_3 : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_4 : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_5 : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_6 : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_7 : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_total : 0.000000
2607.32/332.19	c (329,0) c UsedRateTime_winner : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_0 : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_1 : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_2 : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_3 : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_4 : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_5 : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_6 : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_7 : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_total : 0.000000
2607.32/332.19	c (329,0) c OverlapRateTime_winner : 0.000000
2607.32/332.19	c (329,0) c
2607.32/332.19	c (329,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2607.32/332.19	c (329,0) c
2607.32/332.19	c (329,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.19	c (329,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2607.32/332.19	c (329,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.19	c (329,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2607.32/332.19	c (329,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2607.32/332.19	c (329,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2607.32/332.19	c (329,0) c | Initial random_seed   | 1364406024 | 1339221122 | 1454812039 |  126641432 | 1332506350 |  500294917 |    6130684 | 1611881520 |
2607.32/332.19	c (329,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2607.32/332.19	c (329,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2607.32/332.19	c (329,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2607.32/332.19	c (329,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2607.32/332.19	c (329,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2607.32/332.19	c (329,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2607.32/332.19	c (329,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2607.32/332.19	c (329,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2607.32/332.19	c (329,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2607.32/332.19	c (329,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2607.32/332.19	c (329,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2607.32/332.19	c (329,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2607.32/332.19	c (329,0) 
2607.32/332.19	c (329,0) s SATISFIABLE
6.99/332.22	c (329,0) SatSolver.solve End
6.99/332.22	c (329,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.99/332.22	c (329,0) Show results Begin
2607.85/332.31	c (329,0) x[0] = 160
2607.85/332.31	c (329,0) x[1] = 65
2607.85/332.31	c (329,0) x[2] = 43
2607.85/332.31	c (329,0) x[3] = 59
2607.85/332.31	c (329,0) x[4] = 132
2607.85/332.31	c (329,0) x[5] = 59
2607.85/332.31	c (329,0) x[6] = 68
2607.85/332.31	c (329,0) x[7] = 65
2607.85/332.31	c (329,0) x[8] = 43
2607.85/332.31	c (329,0) x[9] = 47
2607.85/332.31	c (329,0) x[10] = 140
2607.85/332.31	c (329,0) x[11] = 43
2607.85/332.31	c (329,0) x[12] = 162
2607.85/332.31	c (329,0) x[13] = 160
2607.85/332.31	c (329,0) x[14] = 132
2607.85/332.31	c (329,0) x[15] = 66
2607.85/332.31	c (329,0) x[16] = 47
2607.85/332.31	c (329,0) x[17] = 96
2607.85/332.31	c (329,0) x[18] = 0
2607.85/332.31	c (329,0) x[19] = 140
2607.85/332.31	c (329,0) x[20] = 0
2607.85/332.31	c (329,0) x[21] = 80
2607.85/332.31	c (329,0) x[22] = 96
2607.85/332.31	c (329,0) x[23] = 0
2607.85/332.31	c (329,0) y[0] = 116
2607.85/332.31	c (329,0) y[1] = 135
2607.85/332.31	c (329,0) y[2] = 135
2607.85/332.31	c (329,0) y[3] = 119
2607.85/332.31	c (329,0) y[4] = 118
2607.85/332.31	c (329,0) y[5] = 126
2607.85/332.31	c (329,0) y[6] = 126
2607.85/332.31	c (329,0) y[7] = 138
2607.85/332.31	c (329,0) y[8] = 119
2607.85/332.31	c (329,0) y[9] = 135
2607.85/332.31	c (329,0) y[10] = 118
2607.85/332.31	c (329,0) y[11] = 96
2607.85/332.31	c (329,0) y[12] = 116
2607.85/332.31	c (329,0) y[13] = 90
2607.85/332.31	c (329,0) y[14] = 90
2607.85/332.31	c (329,0) y[15] = 96
2607.85/332.31	c (329,0) y[16] = 153
2607.85/332.31	c (329,0) y[17] = 90
2607.85/332.31	c (329,0) y[18] = 96
2607.85/332.31	c (329,0) y[19] = 140
2607.85/332.31	c (329,0) y[20] = 139
2607.85/332.31	c (329,0) y[21] = 126
2607.85/332.31	c (329,0) y[22] = 0
2607.85/332.31	c (329,0) y[23] = 0
2607.85/332.31	s SATISFIABLE
2607.85/332.32	v <instantiation>
2607.85/332.32	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23]</list>
2607.85/332.32	v     <values>160 65 43 59 132 59 68 65 43 47 140 43 162 160 132 66 47 96 0 140 0 80 96 0 116 135 135 119 118 126 126 138 119 135 118 96 116 90 90 96 153 90 96 140 139 126 0 0</values>
2607.85/332.32	v </instantiation>
2607.85/332.32	c (329,0) Show results End
2607.85/332.32	c (329,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2607.85/332.32	c (329,0) 329,329,STOP-AFTER(ALL)
2607.85/332.32	c END-Prog: Tue Sep 24 17:21:28 CEST 2019

Verifier Data 

OK

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

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

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

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


[startup+0.100118 s]*
/proc/loadavg: 7.68 7.47 5.54 2/212 12164
/proc/meminfo: memFree=25447984/32770624 swapFree=66992384/67108860
[pid=12142] ppid=12139 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12142/stat : 12142 (scop.sh) S 12139 12142 11698 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510082401 115843072 349 33554432000 4194304 5098028 140725278470992 140725278468248 140523591008892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27906048 140725278479100 140725278479448 140725278479448 140725278482377 0
/proc/12142/statm: 28282 349 296 221 0 87 0
[pid=12145] ppid=12142 vsize=27314120 memory=106108 CPUtime=0.11 cores=0-7
/proc/12145/stat : 12145 (java) S 12142 12142 11698 0 -1 1077944320 6540 0 0 0 8 3 0 0 20 0 20 0 510082401 27969658880 26527 33554432000 4194304 4196468 140726886948560 140726886931104 140214475001591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
/proc/12145/statm: 6828530 26527 2814 1 0 6790935 0
[pid=12145/tid=12146] ppid=12142 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/12145/task/12146/stat : 12146 (java) R 12142 12142 11698 0 -1 4202560 4630 0 0 0 6 2 0 0 20 0 20 0 510082401 27969658880 26527 33554432000 4194304 4196468 140726886948560 140214446833792 140214475013526 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12147] ppid=12142 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12145/task/12147/stat : 12147 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 26527 33554432000 4194304 4196468 140726886948560 140214479244304 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12148] ppid=12142 vsize=27314120 memory=140458403268224 CPUtime=0 cores=0-7
/proc/12145/task/12148/stat : 12148 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 26527 33554432000 4194304 4196468 140726886948560 140213897038992 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12149] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12149/stat : 12149 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 26527 33554432000 4194304 4196468 140726886948560 140213895985936 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12150] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12150/stat : 12150 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 26527 33554432000 4194304 4196468 140726886948560 140213894933392 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12151] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12151/stat : 12151 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 26527 33554432000 4194304 4196468 140726886948560 140213893880336 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12152] ppid=12142 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12145/task/12152/stat : 12152 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 26527 33554432000 4194304 4196468 140726886948560 140213892827792 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12153] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12153/stat : 12153 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 26527 33554432000 4194304 4196468 140726886948560 140213891774736 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12154] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12154/stat : 12154 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 26527 33554432000 4194304 4196468 140726886948560 140213890722192 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12155] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12155/stat : 12155 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082405 27969658880 26527 33554432000 4194304 4196468 140726886948560 140212996549360 140214475012738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12156] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12156/stat : 12156 (java) S 12142 12142 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510082406 27969658880 26527 33554432000 4194304 4196468 140726886948560 140212227270304 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12157] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12157/stat : 12157 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082406 27969658880 26527 33554432000 4194304 4196468 140726886948560 140211958834416 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12158] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12158/stat : 12158 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 26527 33554432000 4194304 4196468 140726886948560 140211584326096 140214475020187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12159] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12159/stat : 12159 (java) S 12142 12142 11698 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 26527 33554432000 4194304 4196468 140726886948560 140212995496176 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12160] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12160/stat : 12160 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 26527 33554432000 4194304 4196468 140726886948560 140212994443632 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12161] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12161/stat : 12161 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 26527 33554432000 4194304 4196468 140726886948560 140212993390576 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12162] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12162/stat : 12162 (java) S 12142 12142 11698 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 26527 33554432000 4194304 4196468 140726886948560 140212992338032 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12163] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12163/stat : 12163 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 26527 33554432000 4194304 4196468 140726886948560 140211086420960 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12164] ppid=12142 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12145/task/12164/stat : 12164 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 26527 33554432000 4194304 4196468 140726886948560 140212991286448 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107504 KiB

[startup+0.210401 s]*
/proc/loadavg: 7.68 7.47 5.54 2/212 12164
/proc/meminfo: memFree=25426436/32770624 swapFree=66992384/67108860
[pid=12142] ppid=12139 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12142/stat : 12142 (scop.sh) S 12139 12142 11698 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510082401 115843072 349 33554432000 4194304 5098028 140725278470992 140725278468248 140523591008892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27906048 140725278479100 140725278479448 140725278479448 140725278482377 0
/proc/12142/statm: 28282 349 296 221 0 87 0
[pid=12145] ppid=12142 vsize=27314120 memory=125432 CPUtime=0.24 cores=0-7
/proc/12145/stat : 12145 (java) S 12142 12142 11698 0 -1 1077944320 12209 0 0 0 20 4 0 0 20 0 20 0 510082401 27969658880 31358 33554432000 4194304 4196468 140726886948560 140726886931104 140214475001591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
/proc/12145/statm: 6828530 31358 2962 1 0 6790935 0
[pid=12145/tid=12146] ppid=12142 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12145/task/12146/stat : 12146 (java) R 12142 12142 11698 0 -1 4202560 9860 0 0 0 16 3 0 0 20 0 20 0 510082401 27969658880 31358 33554432000 4194304 4196468 140726886948560 140214446800976 140214455276978 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12147] ppid=12142 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/12145/task/12147/stat : 12147 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 31358 33554432000 4194304 4196468 140726886948560 140214479244304 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12148] ppid=12142 vsize=27314120 memory=140458403280256 CPUtime=0 cores=0-7
/proc/12145/task/12148/stat : 12148 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 31358 33554432000 4194304 4196468 140726886948560 140213897038992 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12149] ppid=12142 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12145/task/12149/stat : 12149 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 31358 33554432000 4194304 4196468 140726886948560 140213895985936 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12150] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12150/stat : 12150 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 31358 33554432000 4194304 4196468 140726886948560 140213894933392 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12151] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12151/stat : 12151 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 31358 33554432000 4194304 4196468 140726886948560 140213893880336 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12152] ppid=12142 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12145/task/12152/stat : 12152 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 31358 33554432000 4194304 4196468 140726886948560 140213892827792 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12153] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12153/stat : 12153 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 31358 33554432000 4194304 4196468 140726886948560 140213891774736 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12154] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12154/stat : 12154 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 31358 33554432000 4194304 4196468 140726886948560 140213890722192 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12155] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12155/stat : 12155 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082405 27969658880 31358 33554432000 4194304 4196468 140726886948560 140212996549360 140214475012738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12156] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12156/stat : 12156 (java) S 12142 12142 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510082406 27969658880 31358 33554432000 4194304 4196468 140726886948560 140212227270304 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12157] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12157/stat : 12157 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082406 27969658880 31358 33554432000 4194304 4196468 140726886948560 140211958834416 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12158] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12158/stat : 12158 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 31358 33554432000 4194304 4196468 140726886948560 140211584326096 140214475020187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12159] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12159/stat : 12159 (java) S 12142 12142 11698 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 31358 33554432000 4194304 4196468 140726886948560 140212995496176 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12160] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12160/stat : 12160 (java) S 12142 12142 11698 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 31358 33554432000 4194304 4196468 140726886948560 140212994443632 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12161] ppid=12142 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12145/task/12161/stat : 12161 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 31358 33554432000 4194304 4196468 140726886948560 140212993390576 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12162] ppid=12142 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12145/task/12162/stat : 12162 (java) S 12142 12142 11698 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 20 0 510082409 27969658880 31358 33554432000 4194304 4196468 140726886948560 140212992338032 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12163] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12163/stat : 12163 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 31358 33554432000 4194304 4196468 140726886948560 140211086420960 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12164] ppid=12142 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12145/task/12164/stat : 12164 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 31358 33554432000 4194304 4196468 140726886948560 140212991286448 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126828 KiB

[startup+0.309977 s]*
/proc/loadavg: 7.68 7.47 5.54 2/211 12164
/proc/meminfo: memFree=25423364/32770624 swapFree=66992384/67108860
[pid=12142] ppid=12139 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12142/stat : 12142 (scop.sh) S 12139 12142 11698 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510082401 115843072 349 33554432000 4194304 5098028 140725278470992 140725278468248 140523591008892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27906048 140725278479100 140725278479448 140725278479448 140725278482377 0
/proc/12142/statm: 28282 349 296 221 0 87 0
[pid=12145] ppid=12142 vsize=27314120 memory=129080 CPUtime=0.42 cores=0-7
/proc/12145/stat : 12145 (java) S 12142 12142 11698 0 -1 1077944320 12664 0 0 0 38 4 0 0 20 0 20 0 510082401 27969658880 32270 33554432000 4194304 4196468 140726886948560 140726886931104 140214475001591 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
/proc/12145/statm: 6828530 32270 3018 1 0 6790935 0
[pid=12145/tid=12146] ppid=12142 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/12145/task/12146/stat : 12146 (java) R 12142 12142 11698 0 -1 4202560 10057 0 0 0 26 3 0 0 20 0 20 0 510082401 27969658880 32270 33554432000 4194304 4196468 140726886948560 140214446831664 140214458188400 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12147] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12147/stat : 12147 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 32270 33554432000 4194304 4196468 140726886948560 140214479244304 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12148] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12148/stat : 12148 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 32270 33554432000 4194304 4196468 140726886948560 140213897038992 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12149] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12149/stat : 12149 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 32270 33554432000 4194304 4196468 140726886948560 140213895985936 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12150] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12150/stat : 12150 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 32270 33554432000 4194304 4196468 140726886948560 140213894933392 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12151] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12151/stat : 12151 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 32270 33554432000 4194304 4196468 140726886948560 140213893880336 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12152] ppid=12142 vsize=27314120 memory=140458248465071 CPUtime=0 cores=0-7
/proc/12145/task/12152/stat : 12152 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 32270 33554432000 4194304 4196468 140726886948560 140213892827792 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12153] ppid=12142 vsize=27314120 memory=140458248467376 CPUtime=0 cores=0-7
/proc/12145/task/12153/stat : 12153 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 32270 33554432000 4194304 4196468 140726886948560 140213891774736 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12154] ppid=12142 vsize=27314120 memory=140458248469680 CPUtime=0 cores=0-7
/proc/12145/task/12154/stat : 12154 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27969658880 32270 33554432000 4194304 4196468 140726886948560 140213890722192 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12155] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12155/stat : 12155 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082405 27969658880 32270 33554432000 4194304 4196468 140726886948560 140212996549360 140214475012738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12156] ppid=12142 vsize=27314120 memory=280916496953232 CPUtime=0 cores=0-7
/proc/12145/task/12156/stat : 12156 (java) S 12142 12142 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510082406 27969658880 32270 33554432000 4194304 4196468 140726886948560 140212227270304 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12157] ppid=12142 vsize=27314120 memory=280916496950928 CPUtime=0 cores=0-7
/proc/12145/task/12157/stat : 12157 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082406 27969658880 32270 33554432000 4194304 4196468 140726886948560 140211958834416 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12158] ppid=12142 vsize=27314120 memory=280916496957840 CPUtime=0 cores=0-7
/proc/12145/task/12158/stat : 12158 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 32270 33554432000 4194304 4196468 140726886948560 140211584326096 140214475020187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12159] ppid=12142 vsize=27314120 memory=280916496899088 CPUtime=0.01 cores=0-7
/proc/12145/task/12159/stat : 12159 (java) S 12142 12142 11698 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 510082409 27969658880 32270 33554432000 4194304 4196468 140726886948560 140212995496176 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12160] ppid=12142 vsize=27314120 memory=280916496971664 CPUtime=0.01 cores=0-7
/proc/12145/task/12160/stat : 12160 (java) S 12142 12142 11698 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 510082409 27969658880 32270 33554432000 4194304 4196468 140726886948560 140212994443632 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12161] ppid=12142 vsize=27314120 memory=280916496978576 CPUtime=0 cores=0-7
/proc/12145/task/12161/stat : 12161 (java) S 12142 12142 11698 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 32270 33554432000 4194304 4196468 140726886948560 140212993390576 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12162] ppid=12142 vsize=27314120 memory=280916496976272 CPUtime=0.07 cores=0-7
/proc/12145/task/12162/stat : 12162 (java) S 12142 12142 11698 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 20 0 510082409 27969658880 32270 33554432000 4194304 4196468 140726886948560 140212992338032 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12163] ppid=12142 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12163/stat : 12163 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 32270 33554432000 4194304 4196468 140726886948560 140211086420960 140214475011797 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12164] ppid=12142 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12145/task/12164/stat : 12164 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082409 27969658880 32270 33554432000 4194304 4196468 140726886948560 140212991286448 140214475012738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130476 KiB

[startup+0.700922 s]
/proc/loadavg: 7.68 7.47 5.54 2/211 12164
/proc/meminfo: memFree=25402248/32770624 swapFree=66992384/67108860
[pid=12142] ppid=12139 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12142/stat : 12142 (scop.sh) S 12139 12142 11698 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510082401 115843072 349 33554432000 4194304 5098028 140725278470992 140725278468248 140523591008892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27906048 140725278479100 140725278479448 140725278479448 140725278482377 0
/proc/12142/statm: 28282 349 296 221 0 87 0
[pid=12145] ppid=12142 vsize=27322516 memory=165388 CPUtime=0.99 cores=0-7
/proc/12145/stat : 12145 (java) S 12142 12142 11698 0 -1 1077944320 20423 0 0 0 92 7 0 0 20 0 20 0 510082401 27978256384 41282 33554432000 4194304 4196468 140726886948560 140726886931104 140214475001591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
/proc/12145/statm: 6830629 41347 3204 1 0 6791959 0
[pid=12145/tid=12146] ppid=12142 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/12145/task/12146/stat : 12146 (java) R 12142 12142 11698 0 -1 4202560 17120 0 0 0 62 5 0 0 20 0 20 0 510082401 27978256384 41347 33554432000 4194304 4196468 140726886948560 140214446833328 140214459082078 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12147] ppid=12142 vsize=27322516 memory=140458248676208 CPUtime=0 cores=0-7
/proc/12145/task/12147/stat : 12147 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082404 27978256384 41347 33554432000 4194304 4196468 140726886948560 140214479244304 140214475011797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12148] ppid=12142 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/12145/task/12148/stat : 12148 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27978256384 41347 33554432000 4194304 4196468 140726886948560 140213897038992 140214475011797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0
[pid=12145/tid=12149] ppid=12142 vsize=27322516 memory=1164 CPUtime=0 cores=0-7
/proc/12145/task/12149/stat : 12149 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082404 27978256384 41347 33554432000 4194304 4196468 140726886948560 140213895985936 140214475011797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140726886957766 140726886958214 140726886958214 140726886961103 0

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

[pid=12165/tid=12168] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12168/stat : 12168 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 30761 33554432000 4194304 4196468 140736207912480 139827378772624 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12169] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12169/stat : 12169 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 30761 33554432000 4194304 4196468 140736207912480 139827377719568 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12170] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12170/stat : 12170 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 30761 33554432000 4194304 4196468 140736207912480 139827376667024 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12171] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12171/stat : 12171 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 30761 33554432000 4194304 4196468 140736207912480 139827375614992 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12172] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12172/stat : 12172 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 30761 33554432000 4194304 4196468 140736207912480 139827374562448 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12173] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12173/stat : 12173 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 30761 33554432000 4194304 4196468 140736207912480 139827373509392 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12174] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12174/stat : 12174 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 30761 33554432000 4194304 4196468 140736207912480 139827372456848 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12175] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12175/stat : 12175 (java) S 12142 12142 11698 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510082653 8616062976 30761 33554432000 4194304 4196468 140736207912480 139826332219632 139827574372994 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12176] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12176/stat : 12176 (java) S 12142 12142 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510082653 8616062976 30761 33554432000 4194304 4196468 140736207912480 139826217084064 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12177] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12177/stat : 12177 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082653 8616062976 30761 33554432000 4194304 4196468 140736207912480 139825948648176 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12178] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12178/stat : 12178 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082656 8616062976 30761 33554432000 4194304 4196468 140736207912480 139825574139856 139827574380443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12179] ppid=12142 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/12165/task/12179/stat : 12179 (java) S 12142 12142 11698 0 -1 1077944384 690 0 0 0 7 0 0 0 20 0 24 0 510082656 8616062976 30761 33554432000 4194304 4196468 140736207912480 139826331167472 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12180] ppid=12142 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/12165/task/12180/stat : 12180 (java) S 12142 12142 11698 0 -1 1077944384 109 0 0 0 4 0 0 0 20 0 24 0 510082656 8616062976 30761 33554432000 4194304 4196468 140736207912480 139826330114928 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12181] ppid=12142 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/12165/task/12181/stat : 12181 (java) S 12142 12142 11698 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 24 0 510082656 8616062976 30761 33554432000 4194304 4196468 140736207912480 139826329061872 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12182] ppid=12142 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/12165/task/12182/stat : 12182 (java) S 12142 12142 11698 0 -1 1077944384 714 0 0 0 20 0 0 0 20 0 24 0 510082656 8616062976 30761 33554432000 4194304 4196468 140736207912480 139826328009328 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12183] ppid=12142 vsize=8414124 memory=300320642 CPUtime=0 cores=0-7
/proc/12165/task/12183/stat : 12183 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510082656 8616062976 30761 33554432000 4194304 4196468 140736207912480 139825076234720 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12184] ppid=12142 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/12165/task/12184/stat : 12184 (java) S 12142 12142 11698 0 -1 1077944384 23 0 0 0 0 19 0 0 20 0 24 0 510082656 8616062976 30761 33554432000 4194304 4196468 140736207912480 139826326956720 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12186] ppid=12142 vsize=8414124 memory=58 CPUtime=0 cores=0-7
/proc/12165/task/12186/stat : 12186 (java) S 12142 12142 11698 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510082721 8616062976 30761 33554432000 4194304 4196468 140736207912480 139826318922688 139827574386457 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12188] ppid=12142 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/12165/task/12188/stat : 12188 (java) S 12142 12142 11698 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 510082721 8616062976 30761 33554432000 4194304 4196468 140736207912480 139824405135376 139827574383773 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12189] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12189/stat : 12189 (java) S 12142 12142 11698 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 510082721 8616062976 30761 33554432000 4194304 4196468 140736207912480 139824673570960 139827574383773 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12190] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12190/stat : 12190 (java) S 12142 12142 11698 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510082723 8616062976 30761 33554432000 4194304 4196468 140736207912480 139824136707504 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
Current children cumulated CPU time: 2606.52 s
Current children cumulated vsize: 9315664 KiB
Current children cumulated memory: 732768 KiB

[startup+332.204 s]
/proc/loadavg: 9.08 8.10 6.36 10/226 12228
/proc/meminfo: memFree=24825124/32770624 swapFree=66992384/67108860
[pid=12142] ppid=12139 vsize=113128 memory=1476 CPUtime=5.54 cores=0-7
/proc/12142/stat : 12142 (scop.sh) S 12139 12142 11698 0 -1 4202496 584 27197 0 0 0 0 532 22 20 0 1 0 510082401 115843072 369 33554432000 4194304 5098028 140725278470992 140725278467736 140523591008892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27906048 140725278479100 140725278479448 140725278479448 140725278482377 0
/proc/12142/statm: 28282 369 311 221 0 87 0
[pid=12165] ppid=12142 vsize=8414124 memory=124180 CPUtime=1.45 cores=0-7
/proc/12165/stat : 12165 (java) S 12142 12142 11698 0 -1 1077944320 21688 0 0 0 134 11 0 0 20 0 24 0 510082650 8616062976 31045 33554432000 4194304 4196468 140736207912480 140736207895024 139827574361847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
/proc/12165/statm: 2103787 31045 3203 1 0 2065131 0
[pid=12165/tid=12166] ppid=12142 vsize=8414124 memory=6944613755495348631 CPUtime=0.74 cores=0-7
/proc/12165/task/12166/stat : 12166 (java) S 12142 12142 11698 0 -1 1077944384 16386 0 0 0 69 5 0 0 20 0 24 0 510082650 8616062976 31045 33554432000 4194304 4196468 140736207912480 139827546202016 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12167] ppid=12142 vsize=8414124 memory=5860379659815895130 CPUtime=0 cores=0-7
/proc/12165/task/12167/stat : 12167 (java) S 12142 12142 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 31045 33554432000 4194304 4196468 140736207912480 139827578604048 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12168] ppid=12142 vsize=8414124 memory=-7965959130280075168 CPUtime=0 cores=0-7
/proc/12165/task/12168/stat : 12168 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 31045 33554432000 4194304 4196468 140736207912480 139827378772624 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12169] ppid=12142 vsize=8415148 memory=7594872520509318738 CPUtime=0 cores=0-7
/proc/12165/task/12169/stat : 12169 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8617111552 31045 33554432000 4194304 4196468 140736207912480 139827377719568 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12170] ppid=12142 vsize=8415148 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12170/stat : 12170 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8617111552 31045 33554432000 4194304 4196468 140736207912480 139827376667024 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12171] ppid=12142 vsize=8415148 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12171/stat : 12171 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8617111552 31045 33554432000 4194304 4196468 140736207912480 139827375614992 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12172] ppid=12142 vsize=8414124 memory=61 CPUtime=0 cores=0-7
/proc/12165/task/12172/stat : 12172 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 31045 33554432000 4194304 4196468 140736207912480 139827374562448 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12173] ppid=12142 vsize=8414124 memory=94 CPUtime=0 cores=0-7
/proc/12165/task/12173/stat : 12173 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 31045 33554432000 4194304 4196468 140736207912480 139827373509392 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12174] ppid=12142 vsize=8414124 memory=3 CPUtime=0 cores=0-7
/proc/12165/task/12174/stat : 12174 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510082651 8616062976 31045 33554432000 4194304 4196468 140736207912480 139827372456848 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12175] ppid=12142 vsize=8415148 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12175/stat : 12175 (java) S 12142 12142 11698 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510082653 8617111552 31045 33554432000 4194304 4196468 140736207912480 139826332219632 139827574372994 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12176] ppid=12142 vsize=8415148 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12176/stat : 12176 (java) S 12142 12142 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510082653 8617111552 31045 33554432000 4194304 4196468 140736207912480 139826217084064 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12177] ppid=12142 vsize=8415148 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12177/stat : 12177 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082653 8617111552 31045 33554432000 4194304 4196468 140736207912480 139825948648176 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12178] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12178/stat : 12178 (java) S 12142 12142 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510082656 8616062976 31045 33554432000 4194304 4196468 140736207912480 139825574139856 139827574380443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12179] ppid=12142 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/12165/task/12179/stat : 12179 (java) R 12142 12142 11698 0 -1 4202560 718 0 0 0 8 0 0 0 20 0 24 0 510082656 8616062976 31045 33554432000 4194304 4196468 140736207912480 139826331157024 139827558755175 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12180] ppid=12142 vsize=8414124 memory=16673 CPUtime=0.06 cores=0-7
/proc/12165/task/12180/stat : 12180 (java) R 12142 12142 11698 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 24 0 510082656 8616062976 31045 33554432000 4194304 4196468 140736207912480 139826330100952 139827555905570 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12181] ppid=12142 vsize=8415148 memory=2209 CPUtime=0.07 cores=0-7
/proc/12165/task/12181/stat : 12181 (java) S 12142 12142 11698 0 -1 1077944384 346 0 0 0 7 0 0 0 20 0 24 0 510082656 8617111552 31045 33554432000 4194304 4196468 140736207912480 139826329061872 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12182] ppid=12142 vsize=8415148 memory=57540 CPUtime=0.21 cores=0-7
/proc/12165/task/12182/stat : 12182 (java) S 12142 12142 11698 0 -1 1077944384 759 0 0 0 21 0 0 0 20 0 24 0 510082656 8617111552 31045 33554432000 4194304 4196468 140736207912480 139826328009328 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12183] ppid=12142 vsize=8415148 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12183/stat : 12183 (java) S 12142 12142 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510082656 8617111552 31050 33554432000 4194304 4196468 140736207912480 139825076234720 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12184] ppid=12142 vsize=8414124 memory=6944656575208382560 CPUtime=0.19 cores=0-7
/proc/12165/task/12184/stat : 12184 (java) S 12142 12142 11698 0 -1 1077944384 23 0 0 0 0 19 0 0 20 0 24 0 510082656 8616062976 31045 33554432000 4194304 4196468 140736207912480 139826326956720 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12186] ppid=12142 vsize=8415148 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12186/stat : 12186 (java) S 12142 12142 11698 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510082721 8617111552 31045 33554432000 4194304 4196468 140736207912480 139826318922688 139827574386457 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12188] ppid=12142 vsize=8415148 memory=0 CPUtime=0.05 cores=0-7
/proc/12165/task/12188/stat : 12188 (java) R 12142 12142 11698 0 -1 4202560 1943 0 0 0 3 2 0 0 20 0 24 0 510082721 8617111552 31045 33554432000 4194304 4196468 140736207912480 139824405122416 139827567041565 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12189] ppid=12142 vsize=8415148 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12189/stat : 12189 (java) S 12142 12142 11698 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 510082721 8617111552 31045 33554432000 4194304 4196468 140736207912480 139824673570960 139827574383773 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12190] ppid=12142 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12165/task/12190/stat : 12190 (java) S 12142 12142 11698 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510082723 8616062976 31045 33554432000 4194304 4196468 140736207912480 139824136707504 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
Current children cumulated CPU time: 6.99 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125656 KiB

[startup+332.301 s]
/proc/loadavg: 9.08 8.10 6.36 10/226 12228
/proc/meminfo: memFree=24825124/32770624 swapFree=66992384/67108860
[pid=12142] ppid=12139 vsize=113128 memory=1476 CPUtime=5.54 cores=0-7
/proc/12142/stat : 12142 (scop.sh) S 12139 12142 11698 0 -1 4202496 584 27197 0 0 0 0 532 22 20 0 1 0 510082401 115843072 369 33554432000 4194304 5098028 140725278470992 140725278467736 140523591008892 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27906048 140725278479100 140725278479448 140725278479448 140725278482377 0
/proc/12142/statm: 28282 369 311 221 0 87 0
[pid=12165] ppid=12142 vsize=8283048 memory=132664 CPUtime=2602.31 cores=0-7
/proc/12165/stat : 12165 (java) S 12142 12142 11698 0 -1 1077944320 22674 517812 0 0 156 11 259933 131 20 0 22 0 510082650 8481841152 33166 33554432000 4194304 4196468 140736207912480 140736207895024 139827574361847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
/proc/12165/statm: 2070762 33166 3223 1 0 2032106 0
[pid=12165/tid=12166] ppid=12142 vsize=8283048 memory=123044 CPUtime=2601.45 cores=0-7
/proc/12165/task/12166/stat : 12166 (java) R 12142 12142 11698 0 -1 4202560 16658 517812 0 0 76 5 259933 131 20 0 22 0 510082650 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827546192560 139827574373782 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12167] ppid=12142 vsize=8283048 memory=1476 CPUtime=2600.64 cores=0-7
/proc/12165/task/12167/stat : 12167 (java) S 12142 12142 11698 0 -1 1077944384 2 517812 0 0 0 0 259933 131 20 0 22 0 510082651 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827578604048 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12168] ppid=12142 vsize=8283048 memory=1476 CPUtime=2600.64 cores=0-7
/proc/12165/task/12168/stat : 12168 (java) S 12142 12142 11698 0 -1 1077944384 1 517812 0 0 0 0 259933 131 20 0 22 0 510082651 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827378772624 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12169] ppid=12142 vsize=8283048 memory=1564 CPUtime=2600.64 cores=0-7
/proc/12165/task/12169/stat : 12169 (java) S 12142 12142 11698 0 -1 1077944384 1 517812 0 0 0 0 259933 131 20 0 22 0 510082651 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827377719568 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12170] ppid=12142 vsize=8283048 memory=928 CPUtime=2600.64 cores=0-7
/proc/12165/task/12170/stat : 12170 (java) S 12142 12142 11698 0 -1 1077944384 1 517812 0 0 0 0 259933 131 20 0 22 0 510082651 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827376667024 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12171] ppid=12142 vsize=8283048 memory=7594587845430765420 CPUtime=2600.64 cores=0-7
/proc/12165/task/12171/stat : 12171 (java) S 12142 12142 11698 0 -1 1077944384 1 517812 0 0 0 0 259933 131 20 0 22 0 510082651 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827375614992 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12172] ppid=12142 vsize=8283048 memory=7594587845430765420 CPUtime=2600.64 cores=0-7
/proc/12165/task/12172/stat : 12172 (java) S 12142 12142 11698 0 -1 1077944384 1 517812 0 0 0 0 259933 131 20 0 22 0 510082651 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827374562448 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12173] ppid=12142 vsize=8283048 memory=8248 CPUtime=2600.64 cores=0-7
/proc/12165/task/12173/stat : 12173 (java) S 12142 12142 11698 0 -1 1077944384 1 517812 0 0 0 0 259933 131 20 0 22 0 510082651 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827373509392 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12174] ppid=12142 vsize=8283048 memory=1164 CPUtime=2600.64 cores=0-7
/proc/12165/task/12174/stat : 12174 (java) S 12142 12142 11698 0 -1 1077944384 3 517812 0 0 0 0 259933 131 20 0 22 0 510082651 8481841152 33166 33554432000 4194304 4196468 140736207912480 139827372456848 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12175] ppid=12142 vsize=8283048 memory=608992 CPUtime=2600.64 cores=0-7
/proc/12165/task/12175/stat : 12175 (java) S 12142 12142 11698 0 -1 1077944384 9 517812 0 0 0 0 259933 131 20 0 22 0 510082653 8481841152 33166 33554432000 4194304 4196468 140736207912480 139826332219632 139827574372994 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12176] ppid=12142 vsize=8283048 memory=1720 CPUtime=2600.64 cores=0-7
/proc/12165/task/12176/stat : 12176 (java) S 12142 12142 11698 0 -1 1077944384 13 517812 0 0 0 0 259933 131 20 0 22 0 510082653 8481841152 33166 33554432000 4194304 4196468 140736207912480 139826217084064 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12177] ppid=12142 vsize=8283048 memory=280916498938512 CPUtime=2600.64 cores=0-7
/proc/12165/task/12177/stat : 12177 (java) S 12142 12142 11698 0 -1 1077944384 1 517812 0 0 0 0 259933 131 20 0 22 0 510082653 8481841152 33166 33554432000 4194304 4196468 140736207912480 139825948648176 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12178] ppid=12142 vsize=8283048 memory=6944613755445342871 CPUtime=2600.64 cores=0-7
/proc/12165/task/12178/stat : 12178 (java) S 12142 12142 11698 0 -1 1077944384 1 517812 0 0 0 0 259933 131 20 0 22 0 510082656 8481841152 33166 33554432000 4194304 4196468 140736207912480 139825574139856 139827574380443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12179] ppid=12142 vsize=8283048 memory=1476 CPUtime=2600.75 cores=0-7
/proc/12165/task/12179/stat : 12179 (java) S 12142 12142 11698 0 -1 1077944384 767 517812 0 0 11 0 259933 131 20 0 22 0 510082656 8481841152 33166 33554432000 4194304 4196468 140736207912480 139826331167472 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12180] ppid=12142 vsize=8283048 memory=-8815630701425881490 CPUtime=2600.73 cores=0-7
/proc/12165/task/12180/stat : 12180 (java) R 12142 12142 11698 0 -1 4202560 324 517812 0 0 9 0 259933 131 20 0 22 0 510082656 8481841152 33166 33554432000 4194304 4196468 140736207912480 139826330114928 139827555883247 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12181] ppid=12142 vsize=8283048 memory=32170 CPUtime=2600.73 cores=0-7
/proc/12165/task/12181/stat : 12181 (java) S 12142 12142 11698 0 -1 1077944384 405 517812 0 0 9 0 259933 131 20 0 22 0 510082656 8481841152 33166 33554432000 4194304 4196468 140736207912480 139826329061872 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12182] ppid=12142 vsize=8283048 memory=31976 CPUtime=2600.89 cores=0-7
/proc/12165/task/12182/stat : 12182 (java) R 12142 12142 11698 0 -1 4202560 889 517812 0 0 25 0 259933 131 20 0 22 0 510082656 8481841152 33166 33554432000 4194304 4196468 140736207912480 139826328004368 139827558608532 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12183] ppid=12142 vsize=8283048 memory=1984 CPUtime=2600.64 cores=0-7
/proc/12165/task/12183/stat : 12183 (java) S 12142 12142 11698 0 -1 1077944384 3 517812 0 0 0 0 259933 131 20 0 22 0 510082656 8481841152 33166 33554432000 4194304 4196468 140736207912480 139825076234720 139827574372053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12184] ppid=12142 vsize=8283048 memory=2528 CPUtime=2600.83 cores=0-7
/proc/12165/task/12184/stat : 12184 (java) S 12142 12142 11698 0 -1 1077944384 23 517812 0 0 0 19 259933 131 20 0 22 0 510082656 8481841152 33166 33554432000 4194304 4196468 140736207912480 139826326956720 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12186] ppid=12142 vsize=8283048 memory=1476 CPUtime=2600.64 cores=0-7
/proc/12165/task/12186/stat : 12186 (java) S 12142 12142 11698 0 -1 1077944384 24 517812 0 0 0 0 259933 131 20 0 22 0 510082721 8481841152 33166 33554432000 4194304 4196468 140736207912480 139826318921872 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
[pid=12165/tid=12190] ppid=12142 vsize=8283048 memory=1476 CPUtime=2600.64 cores=0-7
/proc/12165/task/12190/stat : 12190 (java) S 12142 12142 11698 0 -1 1077944384 9 517812 0 0 0 0 259933 131 20 0 22 0 510082723 8481841152 33166 33554432000 4194304 4196468 140736207912480 139824136709296 139827574372994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140736207913951 140736207914118 140736207914118 140736207917007 0
Current children cumulated CPU time: 2607.85 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 134140 KiB

Child status: 0
Real time (s): 332.34
CPU time (s): 2607.95
CPU user time (s): 2606.29
CPU system time (s): 1.66384
CPU usage (%): 784.724
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 757384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2606.29
system time used= 1.66384
maximum resident set size= 751116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20821
involuntary context switches= 29119


# summary of solver processes directly reported to runsolver:
#   pid: 12142
#   total CPU time (s): 2607.95
#   total CPU user time (s): 2606.29
#   total CPU system time (s): 1.66384

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.07876 second user time and 4.66305 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-24 17:15:55
IDJOB=4405576
IDBENCH=127917
IDSOLVER=2868
FILE ID=node121/4405576-1569338198
RUNJOBID= node121-1569335936-11725
PBS_JOBID= 21705063
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-023.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405576-1569338198/watcher-4405576-1569338198 -o /var/tmp/evaluation-result-4405576-1569338198/solver-4405576-1569338198 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569335936-11725 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405576-1569338198.xml

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

MD5SUM BENCH= f753def11f9f341c6e9dbf54b2480dee
RANDOM SEED=1849938884

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25544264 kB
MemAvailable:   31846960 kB
Buffers:          138832 kB
Cached:          6254184 kB
SwapCached:         4552 kB
Active:          3174252 kB
Inactive:        3226708 kB
Active(anon):       3724 kB
Inactive(anon):    53776 kB
Active(file):    3170528 kB
Inactive(file):  3172932 kB
Unevictable:      109072 kB
Mlocked:          109072 kB
SwapTotal:      67108860 kB
SwapFree:       66992384 kB
Dirty:             21000 kB
Writeback:             0 kB
AnonPages:        113020 kB
Mapped:            53200 kB
Shmem:             41072 kB
Slab:             417260 kB
SReclaimable:     387696 kB
SUnreclaim:        29564 kB
KernelStack:        3440 kB
PageTables:         5340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514996 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:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node121 at 2019-09-24 17:21:28