Trace number 4405566

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 2787.99 358.703

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-154.xml
MD5SUM9c35d8cb8d03f0164c4f0b6ed4b5e670
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 benchmark369.492
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size524
Maximum domain size524
Distribution of domain sizes[{"size":524,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"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-10544-serial-file.bin HOME/instance-4405566-1569337500.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:04:19 CEST 2019
0.66/0.56	c PID: 10547
0.66/0.56	c IP: 172.20.3.140
0.66/0.56	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 524
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.91	c (0,0) Ctr:HOME/instance-4405566-1569337500.xml,Le:NoOverlap:Num:Var
1.39/0.91	c (0,0) Constraint Name Generate End
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) CSP to CSPinCNF Begin
1.39/0.99	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.39/1.00	c (0,0) translated 22 (40%) constraints
1.39/1.01	c (0,0) translated 27 (50%) constraints
1.56/1.01	c (0,0) translated 32 (60%) constraints
1.56/1.01	c (0,0) translated 38 (70%) constraints
1.56/1.01	c (0,0) translated 43 (80%) constraints
1.56/1.02	c (0,0) translated 48 (90%) constraints
2.20/1.27	c (0,0) translated 53 (100%) constraints
2.20/1.27	c (0,0) ===========================================
2.20/1.29	c (0,0) Hybrid: #OE=50, #LE=0
2.20/1.29	c (0,0) Hybrid
2.20/1.29	c (0,0) ===========================================
2.49/1.30	c (0,0) translated 36 (10%) constraints
2.49/1.31	c (0,0) translated 71 (20%) constraints
2.49/1.32	c (0,0) translated 106 (30%) constraints
2.49/1.32	c (0,0) translated 141 (40%) constraints
2.49/1.33	c (0,0) translated 176 (50%) constraints
2.49/1.33	c (0,0) translated 212 (60%) constraints
2.49/1.34	c (0,0) translated 247 (70%) constraints
2.49/1.34	c (0,0) translated 282 (80%) constraints
2.49/1.35	c (0,0) translated 317 (90%) constraints
2.49/1.35	c (0,0) translated 352 (100%) constraints
2.49/1.36	c (0,0) CSP to CSPinCNF End
2.49/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 516
2.49/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.36	c (0,0) CSPinCNF Propagation Begin
2.49/1.38	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.49/1.38	c (0,0) CSPinCNF Propagation End
2.49/1.38	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 516
2.49/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.39	c (0,0) Hybrid: #OE=50, #LE=0
2.49/1.39	c (0,0) Simplify CSPinCNF Begin
2.84/1.49	c (0,0) Simplify CSPinCNF End
2.84/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 516
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) 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: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 516
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.69/2.00	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 72885 SAT clauses)
5.06/2.19	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 122198 SAT clauses)
5.29/2.37	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 168170 SAT clauses)
5.50/2.56	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 214704 SAT clauses)
5.72/2.72	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 257938 SAT clauses)
5.84/2.89	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 300146 SAT clauses)
6.04/3.04	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 339174 SAT clauses)
6.16/3.18	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 376105 SAT clauses)
6.25/3.30	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 407495 SAT clauses)
6.36/3.39	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 431252 SAT clauses)
6.36/3.39	c (2,2) CSPinCNF to SatSolver End
6.36/3.39	c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.36/3.39	c (2,2) 22694 bool, 431404 clause
6.36/3.39	c (2,2) Export Begin
6.46/3.47	c (2,2) Export to HOME/scop-10544-serial-file.bin
6.46/3.47	c (2,2) Export End
6.46/3.47	c (2,2) Export File Size: 0.01 MB
6.46/3.47	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.46/3.47	c END-Prog: Tue Sep 24 17:04:22 CEST 2019
6.46/3.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10544-serial-file.bin
6.63/3.95	c (0,0) Read Serial File Begin
6.63/3.95	c (0,0) HOME/scop-10544-serial-file.bin
7.44/4.15	c (0,0) Read Serial File End
7.44/4.16	
7.76/4.50	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.76/4.50	(Solving Process)
7.76/4.50	
7.76/4.50	c BEGIN-Prog: Tue Sep 24 17:04:23 CEST 2019
7.76/4.50	c PID: 10567
7.76/4.50	c IP: 172.20.3.140
7.76/4.50	c HOST: node140.alineos.net
7.76/4.50	c (0,0) SatSolver.solve Begin
7.76/4.50	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405566-1569337500.xml-scop-10547.cnf
7.76/4.50	c (0,0) c
7.76/4.50	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)
7.76/4.50	c (0,0) c
7.76/4.50	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.76/4.50	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.76/4.50	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.76/4.50	c (0,0) c |                                                                                                       |
7.76/4.66	c (0,0) c |  Number of variables:         22694                                                                   |
7.76/4.66	c (0,0) c |  Number of clauses:          431404                                                                   |
7.76/4.66	c (0,0) c |  Parse time:                   0.14 s                                                                 |
7.76/4.66	c (0,0) c |                                                                                                       |
8.45/5.29	c (1,0) c |  Simplification time:          0.62 s                                                                 |
8.45/5.29	c (1,0) c |                                                                                                       |
8.45/5.29	c (1,0) c |  Generating clones                                                                                    |
8.65/5.41	c (1,0) c |  all clones generated. Memory =   306.47Mb.                                                           |
8.65/5.41	c (1,0) c ========================================================================================================|
8.65/5.41	c (1,0) c
8.65/5.41	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.65/5.41	c (1,0) c
8.65/5.41	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.65/5.41	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.65/5.41	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.65/5.41	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.65/5.41	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.65/5.41	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.65/5.41	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.65/5.41	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.65/5.41	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.65/5.41	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.65/5.41	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.65/5.41	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.65/5.41	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.65/5.41	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.65/5.41	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.65/5.41	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.65/5.41	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.65/5.41	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.65/5.41	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
242.13/34.77	c (30,0) c
242.13/34.77	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
242.13/34.77	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
242.13/34.77	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
242.13/34.77	c (30,0) c |  0 |    239 |     133958 |      59048 |    62385 |    20506 |     9425 |    66163 |     7520 |      190 |  20 |  0.053 |
242.13/34.77	c (30,0) c |  1 |    283 |     136113 |      61625 |    57448 |    23095 |    10495 |    66344 |     7216 |      197 |  20 |  0.053 |
242.13/34.77	c (30,0) c |  2 |    190 |     133883 |      63728 |    56554 |    25186 |    11322 |    68320 |     7120 |      203 |  20 |  0.053 |
242.13/34.77	c (30,0) c |  3 |    218 |     134237 |      63006 |    52824 |    24469 |    10593 |    68076 |     7315 |      202 |  20 |  0.053 |
242.13/34.77	c (30,0) c |  4 |    256 |     139006 |      63452 |    57052 |    24921 |    11068 |    68660 |     7600 |      204 |  20 |  0.053 |
242.13/34.77	c (30,0) c |  5 |    245 |     130595 |      62216 |    52093 |    23679 |    10239 |    68218 |     7450 |      199 |  20 |  0.053 |
242.13/34.77	c (30,0) c |  6 |    225 |     134256 |      61755 |    63009 |    23217 |    10257 |    67589 |     7262 |      202 |  20 |  0.053 |
242.13/34.77	c (30,0) c |  7 |    226 |     131311 |      62204 |    54620 |    23666 |    10295 |    67999 |     7313 |      202 |  20 |  0.053 |
242.13/34.77	c (30,0) c 
242.13/34.77	c (30,0) c synthesis      497034 conflicts   381418652 propagations     2123 conflicts/sec  1628974 propagations/sec
242.13/34.77	c (30,0) c real: 30.5583 s, cpu: 234.147 s, memory: 1088.15 Mb
476.65/64.78	c (60,0) c
476.65/64.78	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
476.65/64.78	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
476.65/64.78	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
476.65/64.78	c (60,0) c |  0 |    383 |     215078 |     101090 |    75896 |    29923 |    14935 |   103853 |    12602 |      367 |  20 |  0.053 |
476.65/64.78	c (60,0) c |  1 |    437 |     220906 |     107007 |    70574 |    35838 |    16226 |   106521 |    12561 |      386 |  20 |  0.053 |
476.65/64.78	c (60,0) c |  2 |    411 |     219270 |     107863 |    69414 |    36692 |    16466 |   106276 |    12899 |      387 |  20 |  0.053 |
476.65/64.78	c (60,0) c |  3 |    409 |     219387 |     106952 |    65333 |    35772 |    15802 |   107127 |    12651 |      387 |  20 |  0.053 |
476.65/64.78	c (60,0) c |  4 |    423 |     214341 |     102966 |    68699 |    31804 |    15885 |   102529 |    12417 |      369 |  20 |  0.053 |
476.65/64.78	c (60,0) c |  5 |    476 |     217427 |     106279 |    65673 |    35096 |    15650 |   106567 |    13167 |      387 |  20 |  0.053 |
476.65/64.78	c (60,0) c |  6 |    466 |     219583 |     104760 |    75487 |    33578 |    15047 |   107346 |    12736 |      385 |  20 |  0.053 |
476.65/64.78	c (60,0) c |  7 |    399 |     207228 |     102085 |    65728 |    30914 |    15055 |   104537 |    12323 |      373 |  20 |  0.053 |
476.65/64.78	c (60,0) c 
476.65/64.78	c (60,0) c synthesis      839002 conflicts   672030667 propagations     1791 conflicts/sec  1434621 propagations/sec
476.65/64.78	c (60,0) c real: 60.5583 s, cpu: 468.438 s, memory: 1328.67 Mb
705.48/93.77	c (89,0) c
705.48/93.77	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
705.48/93.77	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
705.48/93.77	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
705.48/93.77	c (89,0) c |  0 |    528 |     280862 |     137587 |    82161 |    23409 |    18829 |   132071 |    16932 |      540 |  20 |  0.053 |
705.48/93.77	c (89,0) c |  1 |    600 |     289553 |     144145 |    77818 |    29960 |    20353 |   134374 |    16806 |      560 |  20 |  0.053 |
705.48/93.77	c (89,0) c |  2 |    587 |     288992 |     144457 |    77323 |    30288 |    20435 |   132768 |    16842 |      557 |  20 |  0.053 |
705.48/93.77	c (89,0) c |  3 |    546 |     283626 |     140748 |    72906 |    26556 |    19457 |   132129 |    16484 |      544 |  20 |  0.053 |
705.48/93.77	c (89,0) c |  4 |    590 |     284286 |     140651 |    75310 |    26465 |    19867 |   131953 |    16718 |      548 |  20 |  0.053 |
705.48/93.77	c (89,0) c |  5 |    597 |     278642 |     140384 |    71981 |    26193 |    19345 |   132204 |    16869 |      544 |  20 |  0.053 |
705.48/93.77	c (89,0) c |  6 |    608 |     283934 |     139501 |    81413 |    25316 |    18829 |   134281 |    16673 |      552 |  20 |  0.053 |
705.48/93.77	c (89,0) c |  7 |    542 |     276936 |     139594 |    72800 |    25405 |    19033 |   133183 |    16495 |      550 |  20 |  0.053 |
705.48/93.77	c (89,0) c 
705.48/93.77	c (89,0) c synthesis     1127067 conflicts   924071889 propagations     1618 conflicts/sec  1326645 propagations/sec
705.48/93.77	c (89,0) c real: 89.5583 s, cpu: 696.548 s, memory: 1328.67 Mb
944.66/123.77	c (119,0) c
944.66/123.77	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
944.66/123.77	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
944.66/123.77	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
944.66/123.77	c (119,0) c |  0 |    673 |     343375 |     173550 |    86393 |    33968 |    22301 |   156664 |    20596 |      721 |  20 |  0.053 |
944.66/123.77	c (119,0) c |  1 |    754 |     348043 |     176013 |    82487 |    36430 |    23489 |   157376 |    20181 |      726 |  20 |  0.053 |
944.66/123.77	c (119,0) c |  2 |    689 |     354706 |     180147 |    84432 |    40567 |    24376 |   156848 |    20190 |      728 |  20 |  0.053 |
944.66/123.77	c (119,0) c |  3 |    719 |     350896 |     177814 |    79141 |    38224 |    23024 |   158832 |    20404 |      731 |  20 |  0.053 |
944.66/123.77	c (119,0) c |  4 |    783 |     352932 |     177507 |    80940 |    37920 |    23368 |   159000 |    20810 |      733 |  20 |  0.053 |
944.66/123.77	c (119,0) c |  5 |    702 |     343117 |     177717 |    77928 |    38128 |    23216 |   157490 |    20505 |      729 |  20 |  0.053 |
944.66/123.77	c (119,0) c |  6 |    779 |     348725 |     175350 |    86441 |    35762 |    22128 |   160343 |    20390 |      735 |  20 |  0.053 |
944.66/123.77	c (119,0) c |  7 |    710 |     345546 |     176347 |    78255 |    36761 |    22670 |   159969 |    20343 |      736 |  20 |  0.053 |
944.66/123.77	c (119,0) c 
944.66/123.77	c (119,0) c synthesis     1414445 conflicts  1177741770 propagations     1512 conflicts/sec  1258951 propagations/sec
944.66/123.77	c (119,0) c real: 119.558 s, cpu: 935.495 s, memory: 1328.67 Mb
1168.95/152.77	c (148,0) c
1168.95/152.77	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1168.95/152.77	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1168.95/152.77	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1168.95/152.77	c (148,0) c |  0 |    760 |     405052 |     208741 |    91553 |    41155 |    25851 |   181133 |    23825 |      903 |  20 |  0.053 |
1168.95/152.77	c (148,0) c |  1 |    867 |     402692 |     205712 |    87229 |    38122 |    26479 |   177871 |    23192 |      883 |  20 |  0.053 |
1168.95/152.77	c (148,0) c |  2 |    783 |     408297 |     211598 |    88188 |    44014 |    27316 |   178122 |    23238 |      889 |  20 |  0.053 |
1168.95/152.77	c (148,0) c |  3 |    866 |     410962 |     210131 |    84568 |    42538 |    26161 |   181132 |    23633 |      903 |  20 |  0.053 |
1168.95/152.77	c (148,0) c |  4 |    884 |     407233 |     209695 |    84252 |    42108 |    26321 |   180518 |    24008 |      902 |  20 |  0.053 |
1168.95/152.77	c (148,0) c |  5 |    801 |     398128 |     209398 |    81650 |    41806 |    26136 |   180033 |    23556 |      895 |  20 |  0.053 |
1168.95/152.77	c (148,0) c |  6 |    885 |     402628 |     205569 |    90714 |    37978 |    25017 |   180570 |    23373 |      895 |  20 |  0.053 |
1168.95/152.77	c (148,0) c |  7 |    799 |     400072 |     207938 |    83629 |    40347 |    25714 |   174945 |    23332 |      903 |  20 |  0.053 |
1168.95/152.77	c (148,0) c 
1168.95/152.77	c (148,0) c synthesis     1668782 conflicts  1403598082 propagations     1439 conflicts/sec  1210680 propagations/sec
1168.95/152.77	c (148,0) c real: 148.558 s, cpu: 1159.35 s, memory: 1358.35 Mb
1407.02/182.77	c (178,0) c
1407.02/182.77	c (178,0) c |------------------------------------------------------------------------------------------------------------------------|
1407.02/182.77	c (178,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1407.02/182.77	c (178,0) c |------------------------------------------------------------------------------------------------------------------------|
1407.02/182.77	c (178,0) c |  0 |    853 |     457831 |     239238 |    94779 |    41052 |    28984 |   200921 |    26748 |     1071 |  20 |  0.053 |
1407.02/182.77	c (178,0) c |  1 |    983 |     457669 |     237396 |    90120 |    39201 |    29458 |   199369 |    26227 |     1064 |  20 |  0.053 |
1407.02/182.77	c (178,0) c |  2 |    913 |     470650 |     245623 |    92659 |    47442 |    30608 |   199837 |    26558 |     1074 |  20 |  0.053 |
1407.02/182.77	c (178,0) c |  3 |   1004 |     465014 |     241833 |    87365 |    43647 |    28864 |   202976 |    26670 |     1084 |  20 |  0.053 |
1407.02/182.77	c (178,0) c |  4 |    970 |     461188 |     241401 |    87487 |    43216 |    29364 |   201508 |    26975 |     1077 |  20 |  0.053 |
1407.02/182.77	c (178,0) c |  5 |    897 |     452174 |     241145 |    85893 |    42965 |    29237 |   199010 |    26551 |     1074 |  20 |  0.053 |
1407.02/182.77	c (178,0) c |  6 |   1034 |     461972 |     239286 |    94143 |    41094 |    28232 |   203319 |    26464 |     1082 |  20 |  0.053 |
1407.02/182.77	c (178,0) c |  7 |    915 |     456396 |     240398 |    87135 |    42207 |    28576 |   203342 |    26326 |     1084 |  20 |  0.053 |
1407.02/182.77	c (178,0) c 
1407.02/182.77	c (178,0) c synthesis     1926320 conflicts  1636262206 propagations     1379 conflicts/sec  1171270 propagations/sec
1407.02/182.77	c (178,0) c real: 178.558 s, cpu: 1397 s, memory: 1358.35 Mb
1638.01/211.77	c (207,0) c
1638.01/211.77	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
1638.01/211.77	c (207,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1638.01/211.77	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
1638.01/211.77	c (207,0) c |  0 |    956 |     510886 |     269767 |    97572 |    38380 |    32418 |   221463 |    29505 |     1245 |  20 |  0.053 |
1638.01/211.77	c (207,0) c |  1 |   1093 |     507723 |     266746 |    92771 |    35350 |    32034 |   221169 |    28969 |     1240 |  20 |  0.053 |
1638.01/211.77	c (207,0) c |  2 |   1062 |     525716 |     275556 |    95935 |    44176 |    33472 |   220481 |    29375 |     1248 |  20 |  0.053 |
1638.01/211.77	c (207,0) c |  3 |   1114 |     514161 |     270838 |    89697 |    39445 |    31599 |   223696 |    29372 |     1256 |  20 |  0.053 |
1638.01/211.77	c (207,0) c |  4 |   1072 |     510400 |     269897 |    89674 |    38518 |    31980 |   222640 |    29818 |     1250 |  20 |  0.053 |
1638.01/211.77	c (207,0) c |  5 |   1013 |     500487 |     269576 |    88220 |    38193 |    32290 |   220472 |    29438 |     1246 |  20 |  0.053 |
1638.01/211.77	c (207,0) c |  6 |   1099 |     512722 |     269316 |    97693 |    37924 |    31714 |   222642 |    29293 |     1256 |  20 |  0.053 |
1638.01/211.77	c (207,0) c |  7 |   1012 |     505692 |     270146 |    90036 |    38756 |    31415 |   223840 |    28991 |     1258 |  20 |  0.053 |
1638.01/211.77	c (207,0) c 
1638.01/211.77	c (207,0) c synthesis     2161842 conflicts  1850311311 propagations     1328 conflicts/sec  1136720 propagations/sec
1638.01/211.77	c (207,0) c real: 207.558 s, cpu: 1627.76 s, memory: 1358.35 Mb
1877.14/241.77	c (237,0) c
1877.14/241.77	c (237,0) c |------------------------------------------------------------------------------------------------------------------------|
1877.14/241.77	c (237,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1877.14/241.77	c (237,0) c |------------------------------------------------------------------------------------------------------------------------|
1877.14/241.77	c (237,0) c |  0 |   1049 |     561605 |     299207 |   100689 |    67820 |    35033 |   240368 |    32130 |     1424 |  20 |  0.053 |
1877.14/241.77	c (237,0) c |  1 |   1188 |     560308 |     297826 |    95189 |    66431 |    34862 |   241352 |    31601 |     1423 |  20 |  0.053 |
1877.14/241.77	c (237,0) c |  2 |   1211 |     581904 |     305982 |    98730 |    38806 |    36209 |   241023 |    32179 |     1431 |  20 |  0.053 |
1877.14/241.77	c (237,0) c |  3 |   1214 |     569754 |     302326 |    93465 |    70934 |    34512 |   244088 |    32314 |     1443 |  20 |  0.053 |
1877.14/241.77	c (237,0) c |  4 |   1146 |     559165 |     299448 |    91716 |    68069 |    34622 |   242645 |    32276 |     1431 |  20 |  0.053 |
1877.14/241.77	c (237,0) c |  5 |   1099 |     553254 |     301118 |    90683 |    69734 |    36107 |   240876 |    32057 |     1431 |  20 |  0.053 |
1877.14/241.77	c (237,0) c |  6 |   1190 |     563677 |     299412 |    99816 |    68020 |    34148 |   241612 |    32069 |     1437 |  20 |  0.053 |
1877.14/241.77	c (237,0) c |  7 |   1147 |     561206 |     300736 |    93187 |    69346 |    34063 |   244004 |    32053 |     1440 |  20 |  0.053 |
1877.14/241.77	c (237,0) c 
1877.14/241.77	c (237,0) c synthesis     2406055 conflicts  2074371797 propagations     1289 conflicts/sec  1111181 propagations/sec
1877.14/241.77	c (237,0) c real: 237.558 s, cpu: 1866.82 s, memory: 1358.35 Mb
2107.14/270.77	c (266,0) c
2107.14/270.77	c (266,0) c |------------------------------------------------------------------------------------------------------------------------|
2107.14/270.77	c (266,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2107.14/270.77	c (266,0) c |------------------------------------------------------------------------------------------------------------------------|
2107.14/270.77	c (266,0) c |  0 |   1130 |     608825 |     327173 |   102563 |    59999 |    38178 |   258605 |    34493 |     1593 |  20 |  0.053 |
2107.14/270.77	c (266,0) c |  1 |   1293 |     611762 |     328286 |    98135 |    61093 |    37471 |   260438 |    34190 |     1602 |  20 |  0.053 |
2107.14/270.77	c (266,0) c |  2 |   1307 |     632367 |     335205 |   100767 |    68029 |    38658 |   260423 |    34705 |     1607 |  20 |  0.053 |
2107.14/270.77	c (266,0) c |  3 |   1324 |     619914 |     330699 |    95924 |    63506 |    36967 |   262887 |    34666 |     1613 |  20 |  0.053 |
2107.14/270.77	c (266,0) c |  4 |   1215 |     606418 |     328616 |    94008 |    61429 |    36964 |   261785 |    34645 |     1607 |  20 |  0.053 |
2107.14/270.77	c (266,0) c |  5 |   1194 |     602271 |     330754 |    92634 |    63567 |    38547 |   259280 |    34428 |     1605 |  20 |  0.053 |
2107.14/270.77	c (266,0) c |  6 |   1277 |     614380 |     329270 |   102091 |    62077 |    37384 |   260557 |    34629 |     1613 |  20 |  0.053 |
2107.14/270.77	c (266,0) c |  7 |   1248 |     609916 |     329271 |    95102 |    62084 |    37135 |   261973 |    34269 |     1613 |  20 |  0.053 |
2107.14/270.77	c (266,0) c 
2107.14/270.77	c (266,0) c synthesis     2639274 conflicts  2287604283 propagations     1259 conflicts/sec  1091039 propagations/sec
2107.14/270.77	c (266,0) c real: 266.558 s, cpu: 2096.72 s, memory: 1358.35 Mb
2336.23/299.77	c (295,0) c
2336.23/299.77	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2336.23/299.77	c (295,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2336.23/299.77	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2336.23/299.77	c (295,0) c |  0 |   1193 |     653568 |     354283 |   104106 |    48705 |    40946 |   276521 |    36796 |     1768 |  20 |  0.053 |
2336.23/299.77	c (295,0) c |  1 |   1386 |     659034 |     356083 |   100034 |    50491 |    39777 |   279011 |    36554 |     1779 |  20 |  0.053 |
2336.23/299.77	c (295,0) c |  2 |   1428 |     678848 |     362126 |   103061 |    56542 |    40743 |   278069 |    37118 |     1780 |  20 |  0.053 |
2336.23/299.77	c (295,0) c |  3 |   1387 |     658027 |     354643 |    97437 |    49048 |    38910 |   276175 |    36704 |     1769 |  20 |  0.053 |
2336.23/299.77	c (295,0) c |  4 |   1313 |     651886 |     355645 |    95765 |    50053 |    39308 |   279833 |    36952 |     1781 |  20 |  0.053 |
2336.23/299.77	c (295,0) c |  5 |   1306 |     647378 |     357469 |    94129 |    51878 |    40846 |   277297 |    36731 |     1779 |  20 |  0.053 |
2336.23/299.77	c (295,0) c |  6 |   1331 |     655801 |     355492 |   103990 |    49906 |    40152 |   278405 |    36740 |     1779 |  20 |  0.053 |
2336.23/299.77	c (295,0) c |  7 |   1305 |     645673 |     351578 |    96369 |    45991 |    39709 |   276676 |    36192 |     1762 |  20 |  0.053 |
2336.23/299.77	c (295,0) c 
2336.23/299.77	c (295,0) c synthesis     2847319 conflicts  2480215877 propagations     1224 conflicts/sec  1066473 propagations/sec
2336.23/299.77	c (295,0) c real: 295.558 s, cpu: 2325.63 s, memory: 1358.35 Mb
2572.76/329.77	c (325,0) c
2572.76/329.77	c (325,0) c |------------------------------------------------------------------------------------------------------------------------|
2572.76/329.77	c (325,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2572.76/329.77	c (325,0) c |------------------------------------------------------------------------------------------------------------------------|
2572.76/329.77	c (325,0) c |  0 |   1327 |     697193 |     379561 |   105572 |    73983 |    42811 |   294606 |    39098 |     1937 |  20 |  0.053 |
2573.55/329.81	c (325,0) c |  1 |   1485 |     704140 |     382726 |   101560 |    77134 |    41858 |   297581 |    38922 |     1956 |  20 |  0.053 |
2573.55/329.81	c (325,0) c |  2 |   1539 |     724878 |     388374 |   105422 |    41787 |    42832 |   295613 |    39409 |     1951 |  20 |  0.053 |
2573.55/329.81	c (325,0) c |  3 |   1450 |     701722 |     382695 |    98919 |    77100 |    41524 |   297013 |    39021 |     1957 |  20 |  0.053 |
2573.55/329.81	c (325,0) c |  4 |   1407 |     694726 |     381701 |    97587 |    76109 |    42095 |   295448 |    39141 |     1953 |  20 |  0.053 |
2573.55/329.81	c (325,0) c |  5 |   1408 |     690319 |     383259 |    95526 |    77668 |    43499 |   296074 |    39183 |     1957 |  20 |  0.053 |
2573.55/329.81	c (325,0) c |  6 |   1366 |     695586 |     380560 |   105364 |    74974 |    43382 |   295120 |    38925 |     1947 |  20 |  0.053 |
2573.55/329.81	c (325,0) c |  7 |   1393 |     695759 |     380564 |    98612 |    74977 |    42882 |   295801 |    38749 |     1949 |  20 |  0.053 |
2573.55/329.81	c (325,0) c 
2573.55/329.81	c (325,0) c synthesis     3059442 conflicts  2677460937 propagations     1194 conflicts/sec  1045090 propagations/sec
2573.55/329.81	c (325,0) c real: 325.558 s, cpu: 2561.94 s, memory: 1358.35 Mb
2787.45/358.51	c (354,0) c
2787.45/358.51	c (354,0) c real time : 354.304 s
2787.45/358.51	c (354,0) c cpu time  : 2775.9 s
2787.45/358.51	c (354,0) c
2787.45/358.51	c (354,0) c
2787.45/358.51	c (354,0) c
2787.45/358.51	c (354,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2787.45/358.51	c (354,0) c
2787.45/358.51	c (354,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.51	c (354,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2787.45/358.51	c (354,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.51	c (354,0) c | Conflicts     |         3262766 |     406148 |     407770 |     414300 |     407514 |     406799 |     408358 |     406338 |     405539 |
2787.45/358.51	c (354,0) c | Decisions     |         5948100 |     742957 |     746188 |     769658 |     743278 |     736737 |     735654 |     736941 |     736687 |
2787.45/358.51	c (354,0) c | Propagations  |      2866642570 |  357917723 |  357278500 |  363408968 |  357558237 |  355166475 |  357571349 |  357297274 |  360444044 |
2787.45/358.51	c (354,0) c | ReduceDBs     |             136 |         17 |         17 |         17 |         17 |         17 |         17 |         17 |         17 |
2787.45/358.51	c (354,0) c | SimpDBs       |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
2787.45/358.52	c (354,0) c | Restarts      |           11985 |       1428 |       1577 |       1586 |       1497 |       1479 |       1489 |       1464 |       1465 |
2787.45/358.52	c (354,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2787.45/358.52	c (354,0) c | PropBinClauses|      4005928137 |  498456959 |  497150736 |  501616513 |  502963217 |  497557185 |  499719469 |  502387002 |  506077056 |
2787.45/358.52	c (354,0) c | PropPreBlocker|     52856094701 | 6617294837 | 6594931169 | 6625190533 | 6588692434 | 6598206912 | 6605874747 | 6606137275 | 6619766794 |
2787.45/358.52	c (354,0) c | PropNotBlocker|     19609088454 | 2447272648 | 2457965667 | 2434287861 | 2460890356 | 2455761981 | 2452094661 | 2449807878 | 2451007402 |
2787.45/358.52	c (354,0) c | LitFullScans  |    101529581124 |12690975669 |12692413167 |12690995630 |12691261958 |12691013808 |12690953238 |12690986157 |12690981497 |
2787.45/358.52	c (354,0) c | LitScanFracts |         7758867 |     956050 |     965735 |     992573 |     983925 |     999029 |     944496 |     944535 |     972524 |
2787.45/358.52	c (354,0) c | DecisionLevel0|           11989 |       1428 |       1578 |       1587 |       1497 |       1480 |       1489 |       1464 |       1466 |
2787.45/358.52	c (354,0) c | Periods       |           16920 |       2115 |       2115 |       2115 |       2115 |       2115 |       2115 |       2115 |       2115 |
2787.45/358.52	c (354,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2787.45/358.52	c (354,0) c | Avg_Trail     |                 |       6979 |       6949 |       7062 |       6884 |       6899 |       6884 |       6904 |       6970 |
2787.45/358.52	c (354,0) c | Avg_DL        |                 |         24 |         25 |         25 |         25 |         24 |         25 |         25 |         25 |
2787.45/358.52	c (354,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2787.45/358.52	c (354,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2787.45/358.52	c (354,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.52	c (354,0) c | Exported      |          361026 |      45240 |      44247 |      45739 |      44154 |      44762 |      46360 |      45236 |      45288 |
2787.45/358.52	c (354,0) c | Imported      |         2506334 |     313286 |     314263 |     311902 |     314370 |     313812 |     312346 |     313174 |     313181 |
2787.45/358.52	c (354,0) c | Good          |             308 |         37 |         41 |         38 |         40 |         38 |         37 |         35 |         42 |
2787.45/358.52	c (354,0) c | Purge         |         2506026 |     313249 |     314222 |     311864 |     314330 |     313774 |     312309 |     313139 |     313139 |
2787.45/358.52	c (354,0) c | Promoted      |          327986 |      41208 |      40888 |      41355 |      40830 |      41128 |      41087 |      40745 |      40745 |
2787.45/358.52	c (354,0) c | Remove_Imp    |         1736201 |     217602 |     218314 |     213016 |     218798 |     216665 |     216591 |     217334 |     217881 |
2787.45/358.52	c (354,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2787.45/358.52	c (354,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.52	c (354,0) c | Unaries       |                 |          0 |          1 |          1 |          0 |          1 |          0 |          0 |          1 |
2787.45/358.52	c (354,0) c | Binaries      |                 |          7 |          3 |          6 |          4 |          6 |          7 |          9 |          2 |
2787.45/358.52	c (354,0) c | Glues         |                 |        261 |        268 |        263 |        267 |        255 |        266 |        283 |        247 |
2787.45/358.52	c (354,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.52	c (354,0) c | Orig_Seen     |            23 % |     106960 |     102921 |     107448 |     101413 |      99223 |      99060 |     106268 |      99910 |
2787.45/358.52	c (354,0) c | Diff Orig seen|                 |       5547 |       1508 |       6035 |      X     | -     2190 | -     2353 |       4855 | -     1503 |
2787.45/358.52	c (354,0) c | Hamming       |            32 % |       6673 |       7520 |       7318 |      X     |       8250 |       7088 |       7361 |       6867 |
2787.45/358.52	c (354,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.52	c (354,0) c | RunningTime   |                 |  352.8 100%|  347.4  99%|  349.3  99%|  346.9  99%|  348.1  99%|  347.7  99%|  346.4  99%|  347.7  99%|
2787.45/358.52	c (354,0) c | WaitingTime   |                 |    0.1   0%|    3.5   1%|    1.7   0%|    4.0   1%|    2.9   1%|    3.2   1%|    4.8   1%|    3.4   1%|
2787.45/358.52	c (354,0) c | ExchangingTime|                 |    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|
2787.45/358.52	c (354,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%|
2787.45/358.52	c (354,0) c | SolvingTime   |                 |  353.1     |  351.2     |  351.3     |  351.2     |  351.2     |  351.2     |  351.4     |  351.3     |
2787.45/358.52	c (354,0) c | PropagationTim|                 |  307.9  87%|  307.1  87%|  305.1  87%|  306.3  87%|  301.2  86%|  304.4  87%|  306.1  87%|  303.6  86%|
2787.45/358.52	c (354,0) c | AnalysisTime  |                 |   37.7  11%|   36.8  10%|   38.7  11%|   37.5  11%|   42.8  12%|   39.5  11%|   38.0  11%|   40.3  11%|
2787.45/358.52	c (354,0) c | ReductionTime |                 |    1.2   0%|    1.2   0%|    1.2   0%|    1.2   0%|    1.1   0%|    1.2   0%|    1.1   0%|    1.2   0%|
2787.45/358.52	c (354,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2787.45/358.52	c (354,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%|
2787.45/358.52	c (354,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%|
2787.45/358.52	c (354,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.52	c (354,0) c
2787.45/358.52	c (354,0) c
2787.45/358.52	c (354,0) c Threads : 8
2787.45/358.52	c (354,0) c Winner : 3
2787.45/358.52	c (354,0) c Conflicts_0 : 406148
2787.45/358.52	c (354,0) c Conflicts_1 : 407770
2787.45/358.52	c (354,0) c Conflicts_2 : 414300
2787.45/358.52	c (354,0) c Conflicts_3 : 407514
2787.45/358.52	c (354,0) c Conflicts_4 : 406799
2787.45/358.52	c (354,0) c Conflicts_5 : 408358
2787.45/358.52	c (354,0) c Conflicts_6 : 406338
2787.45/358.52	c (354,0) c Conflicts_7 : 405539
2787.45/358.52	c (354,0) c Conflicts_total : 3262766
2787.45/358.52	c (354,0) c Conflicts_winner : 407514
2787.45/358.52	c (354,0) c Decisions_0 : 742957
2787.45/358.52	c (354,0) c Decisions_1 : 746188
2787.45/358.52	c (354,0) c Decisions_2 : 769658
2787.45/358.52	c (354,0) c Decisions_3 : 743278
2787.45/358.52	c (354,0) c Decisions_4 : 736737
2787.45/358.52	c (354,0) c Decisions_5 : 735654
2787.45/358.52	c (354,0) c Decisions_6 : 736941
2787.45/358.52	c (354,0) c Decisions_7 : 736687
2787.45/358.52	c (354,0) c Decisions_total : 5948100
2787.45/358.52	c (354,0) c Decisions_winner : 743278
2787.45/358.52	c (354,0) c Propagations_0 : 357917723
2787.45/358.52	c (354,0) c Propagations_1 : 357278500
2787.45/358.52	c (354,0) c Propagations_2 : 363408968
2787.45/358.52	c (354,0) c Propagations_3 : 357558237
2787.45/358.52	c (354,0) c Propagations_4 : 355166475
2787.45/358.52	c (354,0) c Propagations_5 : 357571349
2787.45/358.52	c (354,0) c Propagations_6 : 357297274
2787.45/358.52	c (354,0) c Propagations_7 : 360444044
2787.45/358.52	c (354,0) c Propagations_total : 2866642570
2787.45/358.52	c (354,0) c Propagations_winner : 357558237
2787.45/358.52	c (354,0) c ReduceDBs_0 : 17
2787.45/358.52	c (354,0) c ReduceDBs_1 : 17
2787.45/358.52	c (354,0) c ReduceDBs_2 : 17
2787.45/358.52	c (354,0) c ReduceDBs_3 : 17
2787.45/358.52	c (354,0) c ReduceDBs_4 : 17
2787.45/358.52	c (354,0) c ReduceDBs_5 : 17
2787.45/358.52	c (354,0) c ReduceDBs_6 : 17
2787.45/358.52	c (354,0) c ReduceDBs_7 : 17
2787.45/358.52	c (354,0) c ReduceDBs_total : 136
2787.45/358.52	c (354,0) c ReduceDBs_winner : 17
2787.45/358.52	c (354,0) c SimpDBs_0 : 2
2787.45/358.52	c (354,0) c SimpDBs_1 : 2
2787.45/358.52	c (354,0) c SimpDBs_2 : 2
2787.45/358.52	c (354,0) c SimpDBs_3 : 2
2787.45/358.52	c (354,0) c SimpDBs_4 : 2
2787.45/358.52	c (354,0) c SimpDBs_5 : 2
2787.45/358.52	c (354,0) c SimpDBs_6 : 2
2787.45/358.52	c (354,0) c SimpDBs_7 : 2
2787.45/358.52	c (354,0) c SimpDBs_total : 16
2787.45/358.52	c (354,0) c SimpDBs_winner : 2
2787.45/358.52	c (354,0) c Restarts_0 : 1428
2787.45/358.52	c (354,0) c Restarts_1 : 1577
2787.45/358.52	c (354,0) c Restarts_2 : 1586
2787.45/358.52	c (354,0) c Restarts_3 : 1497
2787.45/358.52	c (354,0) c Restarts_4 : 1479
2787.45/358.52	c (354,0) c Restarts_5 : 1489
2787.45/358.52	c (354,0) c Restarts_6 : 1464
2787.45/358.52	c (354,0) c Restarts_7 : 1465
2787.45/358.52	c (354,0) c Restarts_total : 11985
2787.45/358.52	c (354,0) c Restarts_winner : 1497
2787.45/358.52	c (354,0) c ForcedImports_0 : 0
2787.45/358.52	c (354,0) c ForcedImports_1 : 0
2787.45/358.52	c (354,0) c ForcedImports_2 : 0
2787.45/358.52	c (354,0) c ForcedImports_3 : 0
2787.45/358.52	c (354,0) c ForcedImports_4 : 0
2787.45/358.52	c (354,0) c ForcedImports_5 : 0
2787.45/358.52	c (354,0) c ForcedImports_6 : 0
2787.45/358.52	c (354,0) c ForcedImports_7 : 0
2787.45/358.52	c (354,0) c ForcedImports_total : 0
2787.45/358.52	c (354,0) c ForcedImports_winner : 0
2787.45/358.52	c (354,0) c PropsBinClauses_0 : 498456959
2787.45/358.52	c (354,0) c PropsBinClauses_1 : 497150736
2787.45/358.52	c (354,0) c PropsBinClauses_2 : 501616513
2787.45/358.52	c (354,0) c PropsBinClauses_3 : 502963217
2787.45/358.52	c (354,0) c PropsBinClauses_4 : 497557185
2787.45/358.52	c (354,0) c PropsBinClauses_5 : 499719469
2787.45/358.52	c (354,0) c PropsBinClauses_6 : 502387002
2787.45/358.52	c (354,0) c PropsBinClauses_7 : 506077056
2787.45/358.52	c (354,0) c PropsBinClauses_total : 4005928137
2787.45/358.52	c (354,0) c PropsBinClauses_winner : 502963217
2787.45/358.52	c (354,0) c PropsPreBlocker_0 : 6617294837
2787.45/358.52	c (354,0) c PropsPreBlocker_1 : 6594931169
2787.45/358.52	c (354,0) c PropsPreBlocker_2 : 6625190533
2787.45/358.52	c (354,0) c PropsPreBlocker_3 : 6588692434
2787.45/358.52	c (354,0) c PropsPreBlocker_4 : 6598206912
2787.45/358.52	c (354,0) c PropsPreBlocker_5 : 6605874747
2787.45/358.52	c (354,0) c PropsPreBlocker_6 : 6606137275
2787.45/358.52	c (354,0) c PropsPreBlocker_7 : 6619766794
2787.45/358.52	c (354,0) c PropsPreBlocker_total : 52856094701
2787.45/358.52	c (354,0) c PropsPreBlocker_winner : 6588692434
2787.45/358.52	c (354,0) c PropsNotBlocker_0 : 2447272648
2787.45/358.52	c (354,0) c PropsNotBlocker_1 : 2457965667
2787.45/358.52	c (354,0) c PropsNotBlocker_2 : 2434287861
2787.45/358.52	c (354,0) c PropsNotBlocker_3 : 2460890356
2787.45/358.52	c (354,0) c PropsNotBlocker_4 : 2455761981
2787.45/358.52	c (354,0) c PropsNotBlocker_5 : 2452094661
2787.45/358.52	c (354,0) c PropsNotBlocker_6 : 2449807878
2787.45/358.52	c (354,0) c PropsNotBlocker_7 : 2451007402
2787.45/358.52	c (354,0) c PropsNotBlocker_total : 19609088454
2787.45/358.52	c (354,0) c PropsNotBlocker_winner : 2460890356
2787.45/358.52	c (354,0) c PropsLitFullScans_0 : 12690975669
2787.45/358.52	c (354,0) c PropsLitFullScans_1 : 12692413167
2787.45/358.52	c (354,0) c PropsLitFullScans_2 : 12690995630
2787.45/358.52	c (354,0) c PropsLitFullScans_3 : 12691261958
2787.45/358.52	c (354,0) c PropsLitFullScans_4 : 12691013808
2787.45/358.52	c (354,0) c PropsLitFullScans_5 : 12690953238
2787.45/358.52	c (354,0) c PropsLitFullScans_6 : 12690986157
2787.45/358.52	c (354,0) c PropsLitFullScans_7 : 12690981497
2787.45/358.52	c (354,0) c PropsLitFullScans_total : 101529581124
2787.45/358.52	c (354,0) c PropsLitFullScans_winner : 12691261958
2787.45/358.52	c (354,0) c LitScanFractions_0 : 956050
2787.45/358.52	c (354,0) c LitScanFractions_1 : 965735
2787.45/358.52	c (354,0) c LitScanFractions_2 : 992573
2787.45/358.52	c (354,0) c LitScanFractions_3 : 983925
2787.45/358.52	c (354,0) c LitScanFractions_4 : 999029
2787.45/358.52	c (354,0) c LitScanFractions_5 : 944496
2787.45/358.52	c (354,0) c LitScanFractions_6 : 944535
2787.45/358.52	c (354,0) c LitScanFractions_7 : 972524
2787.45/358.52	c (354,0) c LitScanFractions_total : 7758867
2787.45/358.52	c (354,0) c LitScanFractions_winner : 983925
2787.45/358.52	c (354,0) c DecisionLevel0_0 : 1428
2787.45/358.52	c (354,0) c DecisionLevel0_1 : 1578
2787.45/358.52	c (354,0) c DecisionLevel0_2 : 1587
2787.45/358.52	c (354,0) c DecisionLevel0_3 : 1497
2787.45/358.52	c (354,0) c DecisionLevel0_4 : 1480
2787.45/358.52	c (354,0) c DecisionLevel0_5 : 1489
2787.45/358.52	c (354,0) c DecisionLevel0_6 : 1464
2787.45/358.52	c (354,0) c DecisionLevel0_7 : 1466
2787.45/358.52	c (354,0) c DecisionLevel0_total : 11989
2787.45/358.52	c (354,0) c DecisionLevel0_winner : 1497
2787.45/358.52	c (354,0) c Periods_0 : 2115
2787.45/358.52	c (354,0) c Periods_1 : 2115
2787.45/358.52	c (354,0) c Periods_2 : 2115
2787.45/358.52	c (354,0) c Periods_3 : 2115
2787.45/358.52	c (354,0) c Periods_4 : 2115
2787.45/358.52	c (354,0) c Periods_5 : 2115
2787.45/358.52	c (354,0) c Periods_6 : 2115
2787.45/358.52	c (354,0) c Periods_7 : 2115
2787.45/358.52	c (354,0) c Periods_total : 16920
2787.45/358.52	c (354,0) c Periods_winner : 2115
2787.45/358.52	c (354,0) c Margin_0 : 20
2787.45/358.52	c (354,0) c Margin_1 : 20
2787.45/358.52	c (354,0) c Margin_2 : 20
2787.45/358.52	c (354,0) c Margin_3 : 20
2787.45/358.52	c (354,0) c Margin_4 : 20
2787.45/358.52	c (354,0) c Margin_5 : 20
2787.45/358.52	c (354,0) c Margin_6 : 20
2787.45/358.52	c (354,0) c Margin_7 : 20
2787.45/358.52	c (354,0) c Margin_total : 160
2787.45/358.52	c (354,0) c Margin_winner : 20
2787.45/358.52	c (354,0) c Exported_0 : 45240
2787.45/358.52	c (354,0) c Exported_1 : 44247
2787.45/358.52	c (354,0) c Exported_2 : 45739
2787.45/358.52	c (354,0) c Exported_3 : 44154
2787.45/358.52	c (354,0) c Exported_4 : 44762
2787.45/358.52	c (354,0) c Exported_5 : 46360
2787.45/358.52	c (354,0) c Exported_6 : 45236
2787.45/358.52	c (354,0) c Exported_7 : 45288
2787.45/358.52	c (354,0) c Exported_total : 361026
2787.45/358.52	c (354,0) c Exported_winner : 44154
2787.45/358.52	c (354,0) c Imported_0 : 313286
2787.45/358.52	c (354,0) c Imported_1 : 314263
2787.45/358.52	c (354,0) c Imported_2 : 311902
2787.45/358.52	c (354,0) c Imported_3 : 314370
2787.45/358.52	c (354,0) c Imported_4 : 313812
2787.45/358.52	c (354,0) c Imported_5 : 312346
2787.45/358.52	c (354,0) c Imported_6 : 313174
2787.45/358.52	c (354,0) c Imported_7 : 313181
2787.45/358.52	c (354,0) c Imported_total : 2506334
2787.45/358.52	c (354,0) c Imported_winner : 314370
2787.45/358.52	c (354,0) c Good_0 : 37
2787.45/358.52	c (354,0) c Good_1 : 41
2787.45/358.52	c (354,0) c Good_2 : 38
2787.45/358.52	c (354,0) c Good_3 : 40
2787.45/358.52	c (354,0) c Good_4 : 38
2787.45/358.52	c (354,0) c Good_5 : 37
2787.45/358.52	c (354,0) c Good_6 : 35
2787.45/358.52	c (354,0) c Good_7 : 42
2787.45/358.52	c (354,0) c Good_total : 308
2787.45/358.52	c (354,0) c Good_winner : 40
2787.45/358.52	c (354,0) c Purge_0 : 313249
2787.45/358.52	c (354,0) c Purge_1 : 314222
2787.45/358.52	c (354,0) c Purge_2 : 311864
2787.45/358.52	c (354,0) c Purge_3 : 314330
2787.45/358.52	c (354,0) c Purge_4 : 313774
2787.45/358.52	c (354,0) c Purge_5 : 312309
2787.45/358.52	c (354,0) c Purge_6 : 313139
2787.45/358.52	c (354,0) c Purge_7 : 313139
2787.45/358.52	c (354,0) c Purge_total : 2506026
2787.45/358.52	c (354,0) c Purge_winner : 314330
2787.45/358.52	c (354,0) c Promoted_0 : 41208
2787.45/358.52	c (354,0) c Promoted_1 : 40888
2787.45/358.52	c (354,0) c Promoted_2 : 41355
2787.45/358.52	c (354,0) c Promoted_3 : 40830
2787.45/358.52	c (354,0) c Promoted_4 : 41128
2787.45/358.52	c (354,0) c Promoted_5 : 41087
2787.45/358.52	c (354,0) c Promoted_6 : 40745
2787.45/358.52	c (354,0) c Promoted_7 : 40745
2787.45/358.52	c (354,0) c Promoted_total : 327986
2787.45/358.52	c (354,0) c Promoted_winner : 40830
2787.45/358.52	c (354,0) c Remove_Imp_0 : 217602
2787.45/358.52	c (354,0) c Remove_Imp_1 : 218314
2787.45/358.52	c (354,0) c Remove_Imp_2 : 213016
2787.45/358.52	c (354,0) c Remove_Imp_3 : 218798
2787.45/358.52	c (354,0) c Remove_Imp_4 : 216665
2787.45/358.52	c (354,0) c Remove_Imp_5 : 216591
2787.45/358.52	c (354,0) c Remove_Imp_6 : 217334
2787.45/358.52	c (354,0) c Remove_Imp_7 : 217881
2787.45/358.52	c (354,0) c Remove_Imp_total : 1736201
2787.45/358.52	c (354,0) c Remove_Imp_winner : 218798
2787.45/358.52	c (354,0) c Blocked_Reuse_0 : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_1 : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_2 : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_3 : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_4 : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_5 : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_6 : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_7 : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_total : 0
2787.45/358.52	c (354,0) c Blocked_Reuse_winner : 0
2787.45/358.52	c (354,0) c Unaries_0 : 0
2787.45/358.52	c (354,0) c Unaries_1 : 1
2787.45/358.52	c (354,0) c Unaries_2 : 1
2787.45/358.52	c (354,0) c Unaries_3 : 0
2787.45/358.52	c (354,0) c Unaries_4 : 1
2787.45/358.52	c (354,0) c Unaries_5 : 0
2787.45/358.52	c (354,0) c Unaries_6 : 0
2787.45/358.52	c (354,0) c Unaries_7 : 1
2787.45/358.52	c (354,0) c Unaries_total : 4
2787.45/358.52	c (354,0) c Unaries_winner : 0
2787.45/358.52	c (354,0) c Binaries_0 : 7
2787.45/358.52	c (354,0) c Binaries_1 : 3
2787.45/358.52	c (354,0) c Binaries_2 : 6
2787.45/358.52	c (354,0) c Binaries_3 : 4
2787.45/358.52	c (354,0) c Binaries_4 : 6
2787.45/358.52	c (354,0) c Binaries_5 : 7
2787.45/358.52	c (354,0) c Binaries_6 : 9
2787.45/358.52	c (354,0) c Binaries_7 : 2
2787.45/358.52	c (354,0) c Binaries_total : 44
2787.45/358.52	c (354,0) c Binaries_winner : 4
2787.45/358.52	c (354,0) c Glues_0 : 261
2787.45/358.52	c (354,0) c Glues_1 : 268
2787.45/358.52	c (354,0) c Glues_2 : 263
2787.45/358.52	c (354,0) c Glues_3 : 267
2787.45/358.52	c (354,0) c Glues_4 : 255
2787.45/358.52	c (354,0) c Glues_5 : 266
2787.45/358.52	c (354,0) c Glues_6 : 283
2787.45/358.52	c (354,0) c Glues_7 : 247
2787.45/358.52	c (354,0) c Glues_total : 2110
2787.45/358.52	c (354,0) c Glues_winner : 267
2787.45/358.52	c (354,0) c RunningTime_0 : 352.787948
2787.45/358.52	c (354,0) c RunningTime_1 : 347.406960
2787.45/358.52	c (354,0) c RunningTime_2 : 349.335573
2787.45/358.52	c (354,0) c RunningTime_3 : 346.942648
2787.45/358.52	c (354,0) c RunningTime_4 : 348.072293
2787.45/358.52	c (354,0) c RunningTime_5 : 347.705275
2787.45/358.52	c (354,0) c RunningTime_6 : 346.373384
2787.45/358.52	c (354,0) c RunningTime_7 : 347.706179
2787.45/358.52	c (354,0) c RunningTime_total : 2786.330260
2787.45/358.52	c (354,0) c RunningTime_winner : 346.942648
2787.45/358.52	c (354,0) c WaitingTime_0 : 0.055932
2787.45/358.52	c (354,0) c WaitingTime_1 : 3.546076
2787.45/358.52	c (354,0) c WaitingTime_2 : 1.739374
2787.45/358.52	c (354,0) c WaitingTime_3 : 3.987806
2787.45/358.52	c (354,0) c WaitingTime_4 : 2.886288
2787.45/358.52	c (354,0) c WaitingTime_5 : 3.222365
2787.45/358.52	c (354,0) c WaitingTime_6 : 4.797482
2787.45/358.52	c (354,0) c WaitingTime_7 : 3.372298
2787.45/358.52	c (354,0) c WaitingTime_total : 23.607621
2787.45/358.52	c (354,0) c WaitingTime_winner : 3.987806
2787.45/358.52	c (354,0) c ExchangingTime_0 : 0.180603
2787.45/358.52	c (354,0) c ExchangingTime_1 : 0.211893
2787.45/358.52	c (354,0) c ExchangingTime_2 : 0.192718
2787.45/358.52	c (354,0) c ExchangingTime_3 : 0.202089
2787.45/358.52	c (354,0) c ExchangingTime_4 : 0.186519
2787.45/358.52	c (354,0) c ExchangingTime_5 : 0.218245
2787.45/358.52	c (354,0) c ExchangingTime_6 : 0.192127
2787.45/358.52	c (354,0) c ExchangingTime_7 : 0.203629
2787.45/358.52	c (354,0) c ExchangingTime_total : 1.587822
2787.45/358.52	c (354,0) c ExchangingTime_winner : 0.202089
2787.45/358.52	c (354,0) c PeriodProcTime_0 : 0.026000
2787.45/358.52	c (354,0) c PeriodProcTime_1 : 0.024061
2787.45/358.52	c (354,0) c PeriodProcTime_2 : 0.020636
2787.45/358.52	c (354,0) c PeriodProcTime_3 : 0.021535
2787.45/358.52	c (354,0) c PeriodProcTime_4 : 0.020473
2787.45/358.52	c (354,0) c PeriodProcTime_5 : 0.021014
2787.45/358.52	c (354,0) c PeriodProcTime_6 : 0.022578
2787.45/358.52	c (354,0) c PeriodProcTime_7 : 0.022127
2787.45/358.53	c (354,0) c PeriodProcTime_total : 0.178425
2787.45/358.53	c (354,0) c PeriodProcTime_winner : 0.021535
2787.45/358.53	c (354,0) c SolvingTime_0 : 353.050483
2787.45/358.53	c (354,0) c SolvingTime_1 : 351.188991
2787.45/358.53	c (354,0) c SolvingTime_2 : 351.288300
2787.45/358.53	c (354,0) c SolvingTime_3 : 351.154078
2787.45/358.53	c (354,0) c SolvingTime_4 : 351.165573
2787.45/358.53	c (354,0) c SolvingTime_5 : 351.166899
2787.45/358.53	c (354,0) c SolvingTime_6 : 351.385570
2787.45/358.53	c (354,0) c SolvingTime_7 : 351.304234
2787.45/358.53	c (354,0) c SolvingTime_total : 2811.704128
2787.45/358.53	c (354,0) c SolvingTime_winner : 351.154078
2787.45/358.53	c (354,0) c PropagationTime_0 : 307.903250
2787.45/358.53	c (354,0) c PropagationTime_1 : 307.054762
2787.45/358.53	c (354,0) c PropagationTime_2 : 305.127743
2787.45/358.53	c (354,0) c PropagationTime_3 : 306.250889
2787.45/358.53	c (354,0) c PropagationTime_4 : 301.195794
2787.45/358.53	c (354,0) c PropagationTime_5 : 304.387318
2787.45/358.53	c (354,0) c PropagationTime_6 : 306.056638
2787.45/358.53	c (354,0) c PropagationTime_7 : 303.638314
2787.45/358.53	c (354,0) c PropagationTime_total : 2441.614709
2787.45/358.53	c (354,0) c PropagationTime_winner : 306.250889
2787.45/358.53	c (354,0) c AnalysisTime_0 : 37.748229
2787.45/358.53	c (354,0) c AnalysisTime_1 : 36.839499
2787.45/358.53	c (354,0) c AnalysisTime_2 : 38.688608
2787.45/358.53	c (354,0) c AnalysisTime_3 : 37.548131
2787.45/358.53	c (354,0) c AnalysisTime_4 : 42.754301
2787.45/358.53	c (354,0) c AnalysisTime_5 : 39.513518
2787.45/358.53	c (354,0) c AnalysisTime_6 : 38.038527
2787.45/358.53	c (354,0) c AnalysisTime_7 : 40.337723
2787.45/358.53	c (354,0) c AnalysisTime_total : 311.468536
2787.45/358.53	c (354,0) c AnalysisTime_winner : 37.548131
2787.45/358.53	c (354,0) c ReductionTime_0 : 1.181920
2787.45/358.53	c (354,0) c ReductionTime_1 : 1.196080
2787.45/358.53	c (354,0) c ReductionTime_2 : 1.210443
2787.45/358.53	c (354,0) c ReductionTime_3 : 1.168810
2787.45/358.53	c (354,0) c ReductionTime_4 : 1.123765
2787.45/358.53	c (354,0) c ReductionTime_5 : 1.188946
2787.45/358.53	c (354,0) c ReductionTime_6 : 1.132005
2787.45/358.53	c (354,0) c ReductionTime_7 : 1.188504
2787.45/358.53	c (354,0) c ReductionTime_total : 9.390474
2787.45/358.53	c (354,0) c ReductionTime_winner : 1.168810
2787.45/358.53	c (354,0) c SimplifyTime_0 : 0.016235
2787.45/358.53	c (354,0) c SimplifyTime_1 : 0.015634
2787.45/358.53	c (354,0) c SimplifyTime_2 : 0.014447
2787.45/358.53	c (354,0) c SimplifyTime_3 : 0.011920
2787.45/358.53	c (354,0) c SimplifyTime_4 : 0.011893
2787.45/358.53	c (354,0) c SimplifyTime_5 : 0.012544
2787.45/358.53	c (354,0) c SimplifyTime_6 : 0.016214
2787.45/358.53	c (354,0) c SimplifyTime_7 : 0.010495
2787.45/358.53	c (354,0) c SimplifyTime_total : 0.109383
2787.45/358.53	c (354,0) c SimplifyTime_winner : 0.011920
2787.45/358.53	c (354,0) c UsedRateTime_0 : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_1 : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_2 : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_3 : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_4 : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_5 : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_6 : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_7 : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_total : 0.000000
2787.45/358.53	c (354,0) c UsedRateTime_winner : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_0 : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_1 : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_2 : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_3 : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_4 : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_5 : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_6 : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_7 : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_total : 0.000000
2787.45/358.53	c (354,0) c OverlapRateTime_winner : 0.000000
2787.45/358.53	c (354,0) c
2787.45/358.53	c (354,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2787.45/358.53	c (354,0) c
2787.45/358.53	c (354,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.53	c (354,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2787.45/358.53	c (354,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.53	c (354,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2787.45/358.53	c (354,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2787.45/358.53	c (354,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2787.45/358.53	c (354,0) c | Initial random_seed   | 1870252370 | 1076511876 | 1112457954 |  879100858 |  987458509 | 1686873996 |  159001456 |  868167057 |
2787.45/358.53	c (354,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2787.45/358.53	c (354,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2787.45/358.53	c (354,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2787.45/358.53	c (354,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2787.45/358.53	c (354,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2787.45/358.53	c (354,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2787.45/358.53	c (354,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2787.45/358.53	c (354,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2787.45/358.53	c (354,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2787.45/358.53	c (354,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2787.45/358.53	c (354,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2787.45/358.53	c (354,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2787.45/358.53	c (354,0) 
2787.45/358.53	c (354,0) s SATISFIABLE
2787.45/358.58	c (354,0) SatSolver.solve End
2787.45/358.58	c (354,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2787.45/358.58	c (354,0) Show results Begin
2787.72/358.68	c (354,0) x[0] = 380
2787.72/358.68	c (354,0) x[1] = 380
2787.72/358.68	c (354,0) x[2] = 125
2787.72/358.68	c (354,0) x[3] = 359
2787.72/358.68	c (354,0) x[4] = 359
2787.72/358.68	c (354,0) x[5] = 90
2787.72/358.68	c (354,0) x[6] = 389
2787.72/358.68	c (354,0) x[7] = 125
2787.72/358.68	c (354,0) x[8] = 305
2787.72/358.68	c (354,0) x[9] = 90
2787.72/358.68	c (354,0) x[10] = 365
2787.72/358.68	c (354,0) x[11] = 164
2787.72/358.68	c (354,0) x[12] = 305
2787.72/358.68	c (354,0) x[13] = 0
2787.72/358.68	c (354,0) x[14] = 426
2787.72/358.68	c (354,0) x[15] = 125
2787.72/358.68	c (354,0) x[16] = 0
2787.72/358.68	c (354,0) x[17] = 392
2787.72/358.68	c (354,0) x[18] = 389
2787.72/358.68	c (354,0) x[19] = 164
2787.72/358.68	c (354,0) x[20] = 0
2787.72/358.68	c (354,0) x[21] = 365
2787.72/358.68	c (354,0) x[22] = 226
2787.72/358.68	c (354,0) x[23] = 0
2787.72/358.68	c (354,0) x[24] = 145
2787.72/358.68	c (354,0) y[0] = 383
2787.72/358.68	c (354,0) y[1] = 392
2787.72/358.68	c (354,0) y[2] = 200
2787.72/358.68	c (354,0) y[3] = 383
2787.72/358.68	c (354,0) y[4] = 404
2787.72/358.68	c (354,0) y[5] = 200
2787.72/358.68	c (354,0) y[6] = 220
2787.72/358.68	c (354,0) y[7] = 321
2787.72/358.68	c (354,0) y[8] = 383
2787.72/358.68	c (354,0) y[9] = 145
2787.72/358.68	c (354,0) y[10] = 159
2787.72/358.68	c (354,0) y[11] = 321
2787.72/358.68	c (354,0) y[12] = 437
2787.72/358.68	c (354,0) y[13] = 145
2787.72/358.68	c (354,0) y[14] = 159
2787.72/358.68	c (354,0) y[15] = 220
2787.72/358.68	c (354,0) y[16] = 235
2787.72/358.68	c (354,0) y[17] = 392
2787.72/358.68	c (354,0) y[18] = 257
2787.72/358.68	c (354,0) y[19] = 383
2787.72/358.68	c (354,0) y[20] = 0
2787.72/358.68	c (354,0) y[21] = 0
2787.72/358.68	c (354,0) y[22] = 220
2787.72/358.68	c (354,0) y[23] = 360
2787.72/358.68	c (354,0) y[24] = 0
2787.72/358.68	s SATISFIABLE
2787.72/358.68	v <instantiation>
2787.72/358.68	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] x[24] 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] y[24]</list>
2787.72/358.68	v     <values>380 380 125 359 359 90 389 125 305 90 365 164 305 0 426 125 0 392 389 164 0 365 226 0 145 383 392 200 383 404 200 220 321 383 145 159 321 437 145 159 220 235 392 257 383 0 0 220 360 0</values>
2787.72/358.68	v </instantiation>
2787.72/358.68	c (354,0) Show results End
2787.72/358.68	c (354,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2787.72/358.68	c (354,0) 354,354,STOP-AFTER(ALL)
2787.72/358.68	c END-Prog: Tue Sep 24 17:10:17 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 (14070 MiB free)
  memory of node 1: 16384 MiB (10976 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405566-1569337500/watcher-4405566-1569337500 -o /var/tmp/evaluation-result-4405566-1569337500/solver-4405566-1569337500 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405566-1569337500.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=10544, runsolver pid=10541
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 5.79 3.10 3.10 2/213 10566
/proc/meminfo: memFree=25555544/32770624 swapFree=66997508/67108860
[pid=10544] ppid=10541 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10544/stat : 10544 (scop.sh) S 10541 10544 9260 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509688337 115843072 349 33554432000 4194304 5098028 140723889503824 140723889501080 140580375077500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140723889509116 140723889509464 140723889509464 140723889512393 0
/proc/10544/statm: 28282 349 296 221 0 87 0
[pid=10547] ppid=10544 vsize=27314120 memory=104344 CPUtime=0.11 cores=0-7
/proc/10547/stat : 10547 (java) S 10544 10544 9260 0 -1 1077944320 6652 0 0 0 9 2 0 0 20 0 20 0 509688337 27969658880 26086 33554432000 4194304 4196468 140725230588096 140725230570640 140154786160375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
/proc/10547/statm: 6828530 26086 2816 1 0 6790935 0
[pid=10547/tid=10548] ppid=10544 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10547/task/10548/stat : 10548 (java) R 10544 10544 9260 0 -1 4202560 4724 0 0 0 7 1 0 0 20 0 20 0 509688338 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154757982656 140154770240862 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10549] ppid=10544 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10547/task/10549/stat : 10549 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154790402832 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10550] ppid=10544 vsize=27314120 memory=140491927819904 CPUtime=0 cores=0-7
/proc/10547/task/10550/stat : 10550 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154604559248 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10551] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10551/stat : 10551 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154603506704 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10552] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10552/stat : 10552 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154602454160 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10553] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10553/stat : 10553 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154601400592 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10554] ppid=10544 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10547/task/10554/stat : 10554 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154600348048 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10555] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10555/stat : 10555 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154599295504 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10556] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10556/stat : 10556 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 26598 33554432000 4194304 4196468 140725230588096 140154598242960 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10557] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10557/stat : 10557 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152904923632 140154786171522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10558] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10558/stat : 10558 (java) S 10544 10544 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152701707680 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10559] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10559/stat : 10559 (java) S 10544 10544 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152567485936 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10560] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10560/stat : 10560 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152192981712 140154786178971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10561] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10561/stat : 10561 (java) S 10544 10544 9260 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152433264624 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10562] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10562/stat : 10562 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152432212080 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10563] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10563/stat : 10563 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152431159536 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10564] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10564/stat : 10564 (java) S 10544 10544 9260 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152430106992 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10565] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10565/stat : 10565 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 26598 33554432000 4194304 4196468 140725230588096 140151695076064 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10566] ppid=10544 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10547/task/10566/stat : 10566 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 26598 33554432000 4194304 4196468 140725230588096 140152429054896 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105740 KiB

[startup+0.210453 s]*
/proc/loadavg: 5.79 3.10 3.10 2/213 10566
/proc/meminfo: memFree=25534232/32770624 swapFree=66997508/67108860
[pid=10544] ppid=10541 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10544/stat : 10544 (scop.sh) S 10541 10544 9260 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509688337 115843072 349 33554432000 4194304 5098028 140723889503824 140723889501080 140580375077500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140723889509116 140723889509464 140723889509464 140723889512393 0
/proc/10544/statm: 28282 349 296 221 0 87 0
[pid=10547] ppid=10544 vsize=27314120 memory=123364 CPUtime=0.25 cores=0-7
/proc/10547/stat : 10547 (java) S 10544 10544 9260 0 -1 1077944320 12259 0 0 0 21 4 0 0 20 0 20 0 509688337 27969658880 30841 33554432000 4194304 4196468 140725230588096 140725230570640 140154786160375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
/proc/10547/statm: 6828530 30841 2939 1 0 6790935 0
[pid=10547/tid=10548] ppid=10544 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10547/task/10548/stat : 10548 (java) R 10544 10544 9260 0 -1 4202560 9919 0 0 0 16 3 0 0 20 0 20 0 509688338 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154757973808 140154771325921 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10549] ppid=10544 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10547/task/10549/stat : 10549 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154790402832 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10550] ppid=10544 vsize=27314120 memory=140491927830204 CPUtime=0 cores=0-7
/proc/10547/task/10550/stat : 10550 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154604559248 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10551] ppid=10544 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10547/task/10551/stat : 10551 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154603506704 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10552] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10552/stat : 10552 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154602454160 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10553] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10553/stat : 10553 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154601400592 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10554] ppid=10544 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10547/task/10554/stat : 10554 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154600348048 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10555] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10555/stat : 10555 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154599295504 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10556] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10556/stat : 10556 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 30841 33554432000 4194304 4196468 140725230588096 140154598242960 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10557] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10557/stat : 10557 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152904923632 140154786171522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10558] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10558/stat : 10558 (java) S 10544 10544 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152701707680 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10559] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10559/stat : 10559 (java) S 10544 10544 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152567485936 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10560] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10560/stat : 10560 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152192981712 140154786178971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10561] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10561/stat : 10561 (java) S 10544 10544 9260 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152433264624 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10562] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10562/stat : 10562 (java) S 10544 10544 9260 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152432212080 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10563] ppid=10544 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10547/task/10563/stat : 10563 (java) S 10544 10544 9260 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152431159536 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10564] ppid=10544 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10547/task/10564/stat : 10564 (java) S 10544 10544 9260 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 20 0 509688345 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152430106992 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10565] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10565/stat : 10565 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 30841 33554432000 4194304 4196468 140725230588096 140151695076064 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10566] ppid=10544 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10547/task/10566/stat : 10566 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 30841 33554432000 4194304 4196468 140725230588096 140152429054896 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124760 KiB

[startup+0.310274 s]*
/proc/loadavg: 5.79 3.10 3.10 2/213 10566
/proc/meminfo: memFree=25531472/32770624 swapFree=66997508/67108860
[pid=10544] ppid=10541 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10544/stat : 10544 (scop.sh) S 10541 10544 9260 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509688337 115843072 349 33554432000 4194304 5098028 140723889503824 140723889501080 140580375077500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140723889509116 140723889509464 140723889509464 140723889512393 0
/proc/10544/statm: 28282 349 296 221 0 87 0
[pid=10547] ppid=10544 vsize=27314120 memory=127664 CPUtime=0.43 cores=0-7
/proc/10547/stat : 10547 (java) S 10544 10544 9260 0 -1 1077944320 13303 0 0 0 38 5 0 0 20 0 20 0 509688337 27969658880 31916 33554432000 4194304 4196468 140725230588096 140725230570640 140154786160375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
/proc/10547/statm: 6828530 31916 3018 1 0 6790935 0
[pid=10547/tid=10548] ppid=10544 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10547/task/10548/stat : 10548 (java) R 10544 10544 9260 0 -1 4202560 10778 0 0 0 26 4 0 0 20 0 20 0 509688338 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154757943392 140154770240862 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10549] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10549/stat : 10549 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154790402832 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10550] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10550/stat : 10550 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154604559248 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10551] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10551/stat : 10551 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154603506704 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10552] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10552/stat : 10552 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154602454160 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10553] ppid=10544 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10547/task/10553/stat : 10553 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154601400592 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10554] ppid=10544 vsize=27314120 memory=140491802899375 CPUtime=0 cores=0-7
/proc/10547/task/10554/stat : 10554 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154600348048 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10555] ppid=10544 vsize=27314120 memory=140491802901680 CPUtime=0 cores=0-7
/proc/10547/task/10555/stat : 10555 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154599295504 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10556] ppid=10544 vsize=27314120 memory=140491802903984 CPUtime=0 cores=0-7
/proc/10547/task/10556/stat : 10556 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27969658880 31916 33554432000 4194304 4196468 140725230588096 140154598242960 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10557] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10557/stat : 10557 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152904923632 140154786171522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10558] ppid=10544 vsize=27314120 memory=280983605814928 CPUtime=0 cores=0-7
/proc/10547/task/10558/stat : 10558 (java) S 10544 10544 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152701707680 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10559] ppid=10544 vsize=27314120 memory=280983605821840 CPUtime=0 cores=0-7
/proc/10547/task/10559/stat : 10559 (java) S 10544 10544 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509688342 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152567485936 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10560] ppid=10544 vsize=27314120 memory=280983605762992 CPUtime=0 cores=0-7
/proc/10547/task/10560/stat : 10560 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152192981712 140154786178971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10561] ppid=10544 vsize=27314120 memory=280983605835664 CPUtime=0.01 cores=0-7
/proc/10547/task/10561/stat : 10561 (java) S 10544 10544 9260 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 509688345 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152433264624 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10562] ppid=10544 vsize=27314120 memory=280983605842576 CPUtime=0.01 cores=0-7
/proc/10547/task/10562/stat : 10562 (java) S 10544 10544 9260 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 509688345 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152432212080 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10563] ppid=10544 vsize=27314120 memory=280983605840272 CPUtime=0.01 cores=0-7
/proc/10547/task/10563/stat : 10563 (java) S 10544 10544 9260 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 20 0 509688345 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152431159536 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10564] ppid=10544 vsize=27314120 memory=280983605856432 CPUtime=0.07 cores=0-7
/proc/10547/task/10564/stat : 10564 (java) S 10544 10544 9260 0 -1 1077944384 529 0 0 0 7 0 0 0 20 0 20 0 509688345 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152430106992 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10565] ppid=10544 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10565/stat : 10565 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 31916 33554432000 4194304 4196468 140725230588096 140151695076064 140154786170581 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10566] ppid=10544 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10547/task/10566/stat : 10566 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688345 27969658880 31916 33554432000 4194304 4196468 140725230588096 140152429054896 140154786171522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129060 KiB

[startup+0.701037 s]
/proc/loadavg: 5.79 3.10 3.10 2/213 10566
/proc/meminfo: memFree=25510568/32770624 swapFree=66997508/67108860
[pid=10544] ppid=10541 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10544/stat : 10544 (scop.sh) S 10541 10544 9260 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509688337 115843072 349 33554432000 4194304 5098028 140723889503824 140723889501080 140580375077500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140723889509116 140723889509464 140723889509464 140723889512393 0
/proc/10544/statm: 28282 349 296 221 0 87 0
[pid=10547] ppid=10544 vsize=27322516 memory=164156 CPUtime=1 cores=0-7
/proc/10547/stat : 10547 (java) S 10544 10544 9260 0 -1 1077944320 20675 0 0 0 93 7 0 0 20 0 20 0 509688337 27978256384 41039 33554432000 4194304 4196468 140725230588096 140725230570640 140154786160375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
/proc/10547/statm: 6830629 41039 3202 1 0 6791959 0
[pid=10547/tid=10548] ppid=10544 vsize=27322516 memory=280983606214320 CPUtime=0.68 cores=0-7
/proc/10547/task/10548/stat : 10548 (java) R 10544 10544 9260 0 -1 4202560 17528 0 0 0 62 6 0 0 20 0 20 0 509688338 27978256384 41039 33554432000 4194304 4196468 140725230588096 140154757997648 140154770204005 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10549] ppid=10544 vsize=27322516 memory=140491803108208 CPUtime=0 cores=0-7
/proc/10547/task/10549/stat : 10549 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509688340 27978256384 41039 33554432000 4194304 4196468 140725230588096 140154790402832 140154786170581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10550] ppid=10544 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10547/task/10550/stat : 10550 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27978256384 41039 33554432000 4194304 4196468 140725230588096 140154604559248 140154786170581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0
[pid=10547/tid=10551] ppid=10544 vsize=27322516 memory=6124 CPUtime=0 cores=0-7
/proc/10547/task/10551/stat : 10551 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509688340 27978256384 41039 33554432000 4194304 4196468 140725230588096 140154603506704 140154786170581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24649728 140725230592710 140725230593158 140725230593158 140725230596047 0

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

/proc/10567/task/10577/stat : 10577 (java) S 10544 10544 9260 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 24 0 509688690 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010036299760 140010607315586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10578] ppid=10544 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/10567/task/10578/stat : 10578 (java) S 10544 10544 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509688691 8616062976 30254 33554432000 4194304 4196468 140736869680128 140009021629344 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10579] ppid=10544 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/10567/task/10579/stat : 10579 (java) S 10544 10544 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509688691 8616062976 30254 33554432000 4194304 4196468 140736869680128 140008887407600 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10580] ppid=10544 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/10567/task/10580/stat : 10580 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140008512903376 140010607323035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10581] ppid=10544 vsize=8414124 memory=4096 CPUtime=0.06 cores=0-7
/proc/10567/task/10581/stat : 10581 (java) S 10544 10544 9260 0 -1 1077944384 553 0 0 0 6 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010035247600 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10582] ppid=10544 vsize=8414124 memory=1808 CPUtime=0.07 cores=0-7
/proc/10567/task/10582/stat : 10582 (java) S 10544 10544 9260 0 -1 1077944384 276 0 0 0 7 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010034195056 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10583] ppid=10544 vsize=8414124 memory=612 CPUtime=0.03 cores=0-7
/proc/10567/task/10583/stat : 10583 (java) S 10544 10544 9260 0 -1 1077944384 242 0 0 0 3 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010033142512 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10584] ppid=10544 vsize=8414124 memory=1220 CPUtime=0.2 cores=0-7
/proc/10567/task/10584/stat : 10584 (java) S 10544 10544 9260 0 -1 1077944384 749 0 0 0 20 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010032089968 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10585] ppid=10544 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/10567/task/10585/stat : 10585 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140008014997728 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10586] ppid=10544 vsize=8414124 memory=14060 CPUtime=0.21 cores=0-7
/proc/10567/task/10586/stat : 10586 (java) S 10544 10544 9260 0 -1 1077944384 25 0 0 0 0 21 0 0 20 0 24 0 509688694 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010031036848 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10588] ppid=10544 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/10567/task/10588/stat : 10588 (java) S 10544 10544 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509688759 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010029425856 140010607329049 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10590] ppid=10544 vsize=8414124 memory=32956 CPUtime=0.03 cores=0-7
/proc/10567/task/10590/stat : 10590 (java) S 10544 10544 9260 0 -1 4202560 1682 0 0 0 1 2 0 0 20 0 24 0 509688759 8616062976 30254 33554432000 4194304 4196468 140736869680128 140007343898384 140010607326365 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10591] ppid=10544 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/10567/task/10591/stat : 10591 (java) S 10544 10544 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509688759 8616062976 30254 33554432000 4194304 4196468 140736869680128 140007612333968 140010607326365 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10592] ppid=10544 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/10567/task/10592/stat : 10592 (java) S 10544 10544 9260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509688761 8616062976 30254 33554432000 4194304 4196468 140736869680128 140007075471024 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
Current children cumulated CPU time: 2786.55 s
Current children cumulated vsize: 9918200 KiB
Current children cumulated memory: 1218724 KiB

[startup+358.401 s]
/proc/loadavg: 7.94 6.61 4.72 2/219 10630
/proc/meminfo: memFree=24433728/32770624 swapFree=66997508/67108860
[pid=10544] ppid=10541 vsize=113128 memory=1476 CPUtime=6.63 cores=0-7
/proc/10544/stat : 10544 (scop.sh) S 10541 10544 9260 0 -1 4202496 582 27925 0 0 0 0 626 37 20 0 1 0 509688337 115843072 369 33554432000 4194304 5098028 140723889503824 140723889500568 140580375077500 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33120256 140723889509116 140723889509464 140723889509464 140723889512393 0
/proc/10544/statm: 28282 369 311 221 0 87 0
[pid=10567] ppid=10544 vsize=8414124 memory=121016 CPUtime=1.4 cores=0-7
/proc/10567/stat : 10567 (java) S 10544 10544 9260 0 -1 1077944320 21810 0 0 0 128 12 0 0 20 0 24 0 509688687 8616062976 30254 33554432000 4194304 4196468 140736869680128 140736869662672 140010607304439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
/proc/10567/statm: 2103531 30254 3180 1 0 2064875 0
[pid=10587] ppid=10567 vsize=1390948 memory=1096232 CPUtime=2779.32 cores=0-7
/proc/10587/stat : 10587 (manyglucose-4.1) S 10567 10544 9260 0 -1 1077944320 1979959 0 0 0 277578 354 0 0 20 0 2 0 509688758 1424330752 274058 33554432000 4194304 4454172 140730323086672 140730323085056 139935490891511 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 29 0 0 6552832 6554400 36491264 140730323092301 140730323092508 140730323092508 140730323095478 0
/proc/10587/statm: 347737 274058 422 64 0 343405 0
[pid=10587/tid=10593] ppid=10567 vsize=1390948 memory=1476 CPUtime=351.12 cores=0-7
/proc/10587/task/10593/stat : 10593 (manyglucose-4.1) R 10567 10544 9260 0 -1 4202560 299691 0 0 0 35068 44 0 0 20 0 2 0 509688879 1424330752 274058 33554432000 4194304 4454172 140730323086672 139935464127624 4351215 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 36491264 140730323092301 140730323092508 140730323092508 140730323095478 0
[pid=10567/tid=10568] ppid=10544 vsize=8414124 memory=121016 CPUtime=0.74 cores=0-7
/proc/10567/task/10568/stat : 10568 (java) S 10544 10544 9260 0 -1 1077944384 16867 0 0 0 68 6 0 0 20 0 24 0 509688688 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010579144608 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10569] ppid=10544 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10567/task/10569/stat : 10569 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509688689 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010611546384 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10570] ppid=10544 vsize=8414124 memory=118392 CPUtime=0 cores=0-7
/proc/10567/task/10570/stat : 10570 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509688689 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010092022160 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10571] ppid=10544 vsize=8414124 memory=1053172 CPUtime=0 cores=0-7
/proc/10567/task/10571/stat : 10571 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509688689 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010090969616 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10572] ppid=10544 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/10567/task/10572/stat : 10572 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509688689 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010089917072 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10573] ppid=10544 vsize=8414124 memory=-8671511123893449106 CPUtime=0 cores=0-7
/proc/10567/task/10573/stat : 10573 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509688689 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010088864528 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10574] ppid=10544 vsize=8414124 memory=1067508 CPUtime=0 cores=0-7
/proc/10567/task/10574/stat : 10574 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509688689 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010087811984 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10575] ppid=10544 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/10567/task/10575/stat : 10575 (java) S 10544 10544 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509688689 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010086759440 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10576] ppid=10544 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/10567/task/10576/stat : 10576 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509688689 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010085706896 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10577] ppid=10544 vsize=8414124 memory=1720 CPUtime=0.01 cores=0-7
/proc/10567/task/10577/stat : 10577 (java) S 10544 10544 9260 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 24 0 509688690 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010036299760 140010607315586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10578] ppid=10544 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/10567/task/10578/stat : 10578 (java) S 10544 10544 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509688691 8616062976 30254 33554432000 4194304 4196468 140736869680128 140009021629344 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10579] ppid=10544 vsize=8414124 memory=2540 CPUtime=0 cores=0-7
/proc/10567/task/10579/stat : 10579 (java) S 10544 10544 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509688691 8616062976 30254 33554432000 4194304 4196468 140736869680128 140008887407600 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10580] ppid=10544 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/10567/task/10580/stat : 10580 (java) S 10544 10544 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140008512903376 140010607323035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10581] ppid=10544 vsize=8414124 memory=2016 CPUtime=0.06 cores=0-7
/proc/10567/task/10581/stat : 10581 (java) S 10544 10544 9260 0 -1 1077944384 553 0 0 0 6 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010035247600 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10582] ppid=10544 vsize=8414124 memory=1428 CPUtime=0.07 cores=0-7
/proc/10567/task/10582/stat : 10582 (java) S 10544 10544 9260 0 -1 1077944384 276 0 0 0 7 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010034195056 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10583] ppid=10544 vsize=8414124 memory=1540 CPUtime=0.03 cores=0-7
/proc/10567/task/10583/stat : 10583 (java) S 10544 10544 9260 0 -1 1077944384 242 0 0 0 3 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010033142512 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10584] ppid=10544 vsize=8414124 memory=772 CPUtime=0.2 cores=0-7
/proc/10567/task/10584/stat : 10584 (java) S 10544 10544 9260 0 -1 1077944384 749 0 0 0 20 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010032089968 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10585] ppid=10544 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/10567/task/10585/stat : 10585 (java) S 10544 10544 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509688693 8616062976 30254 33554432000 4194304 4196468 140736869680128 140008014997728 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10586] ppid=10544 vsize=8414124 memory=6944656592387989600 CPUtime=0.21 cores=0-7
/proc/10567/task/10586/stat : 10586 (java) S 10544 10544 9260 0 -1 1077944384 25 0 0 0 0 21 0 0 20 0 24 0 509688694 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010031036848 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10588] ppid=10544 vsize=8414124 memory=4639924020996755554 CPUtime=0 cores=0-7
/proc/10567/task/10588/stat : 10588 (java) S 10544 10544 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509688759 8616062976 30254 33554432000 4194304 4196468 140736869680128 140010029425856 140010607329049 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10590] ppid=10544 vsize=8414124 memory=6227463810784060772 CPUtime=0.03 cores=0-7
/proc/10567/task/10590/stat : 10590 (java) S 10544 10544 9260 0 -1 4202560 1682 0 0 0 1 2 0 0 20 0 24 0 509688759 8616062976 30254 33554432000 4194304 4196468 140736869680128 140007343898384 140010607326365 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10591] ppid=10544 vsize=8414124 memory=10596 CPUtime=0 cores=0-7
/proc/10567/task/10591/stat : 10591 (java) S 10544 10544 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509688759 8616062976 30254 33554432000 4194304 4196468 140736869680128 140007612333968 140010607326365 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10592] ppid=10544 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/10567/task/10592/stat : 10592 (java) S 10544 10544 9260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509688761 8616062976 30254 33554432000 4194304 4196468 140736869680128 140007075471024 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
Current children cumulated CPU time: 2787.35 s
Current children cumulated vsize: 9918200 KiB
Current children cumulated memory: 1218724 KiB

[startup+358.601 s]
/proc/loadavg: 7.94 6.61 4.72 2/219 10630
/proc/meminfo: memFree=24433728/32770624 swapFree=66997508/67108860
[pid=10544] ppid=10541 vsize=113128 memory=1476 CPUtime=6.63 cores=0-7
/proc/10544/stat : 10544 (scop.sh) S 10541 10544 9260 0 -1 4202496 582 27925 0 0 0 0 626 37 20 0 1 0 509688337 115843072 369 33554432000 4194304 5098028 140723889503824 140723889500568 140580375077500 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33120256 140723889509116 140723889509464 140723889509464 140723889512393 0
/proc/10544/statm: 28282 369 311 221 0 87 0
[pid=10567] ppid=10544 vsize=8283048 memory=129524 CPUtime=2781.09 cores=0-7
/proc/10567/stat : 10567 (java) S 10544 10544 9260 0 -1 1077944320 23413 1979975 0 0 150 13 277590 356 20 0 22 0 509688687 8481841152 32381 33554432000 4194304 4196468 140736869680128 140736869662672 140010607304439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
/proc/10567/statm: 2070762 32381 3224 1 0 2032106 0
[pid=10567/tid=10568] ppid=10544 vsize=8283048 memory=-3621219749712857441 CPUtime=2780.22 cores=0-7
/proc/10567/task/10568/stat : 10568 (java) R 10544 10544 9260 0 -1 4202560 16976 1979975 0 0 70 6 277590 356 20 0 22 0 509688688 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010579124880 140010607326365 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10569] ppid=10544 vsize=8283048 memory=2455848879617 CPUtime=2779.46 cores=0-7
/proc/10567/task/10569/stat : 10569 (java) S 10544 10544 9260 0 -1 1077944384 1 1979975 0 0 0 0 277590 356 20 0 22 0 509688689 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010611546384 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10570] ppid=10544 vsize=8283048 memory=2485913650689 CPUtime=2779.46 cores=0-7
/proc/10567/task/10570/stat : 10570 (java) S 10544 10544 9260 0 -1 1077944384 1 1979975 0 0 0 0 277590 356 20 0 22 0 509688689 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010092022160 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10571] ppid=10544 vsize=8283048 memory=2319832078461770226 CPUtime=2779.46 cores=0-7
/proc/10567/task/10571/stat : 10571 (java) S 10544 10544 9260 0 -1 1077944384 2 1979975 0 0 0 0 277590 356 20 0 22 0 509688689 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010090969616 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10572] ppid=10544 vsize=8283048 memory=4486604260213485459 CPUtime=2779.46 cores=0-7
/proc/10567/task/10572/stat : 10572 (java) S 10544 10544 9260 0 -1 1077944384 1 1979975 0 0 0 0 277590 356 20 0 22 0 509688689 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010089917072 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10573] ppid=10544 vsize=8283048 memory=1065460 CPUtime=2779.46 cores=0-7
/proc/10567/task/10573/stat : 10573 (java) S 10544 10544 9260 0 -1 1077944384 1 1979975 0 0 0 0 277590 356 20 0 22 0 509688689 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010088864528 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10574] ppid=10544 vsize=8283048 memory=1065460 CPUtime=2779.46 cores=0-7
/proc/10567/task/10574/stat : 10574 (java) S 10544 10544 9260 0 -1 1077944384 2 1979975 0 0 0 0 277590 356 20 0 22 0 509688689 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010087811984 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10575] ppid=10544 vsize=8283048 memory=804 CPUtime=2779.46 cores=0-7
/proc/10567/task/10575/stat : 10575 (java) S 10544 10544 9260 0 -1 1077944384 2 1979975 0 0 0 0 277590 356 20 0 22 0 509688689 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010086759440 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10576] ppid=10544 vsize=8283048 memory=4096 CPUtime=2779.46 cores=0-7
/proc/10567/task/10576/stat : 10576 (java) S 10544 10544 9260 0 -1 1077944384 3 1979975 0 0 0 0 277590 356 20 0 22 0 509688689 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010085706896 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10577] ppid=10544 vsize=8283048 memory=6791534058613427641 CPUtime=2779.47 cores=0-7
/proc/10567/task/10577/stat : 10577 (java) S 10544 10544 9260 0 -1 1077944384 11 1979975 0 0 0 1 277590 356 20 0 22 0 509688690 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010036299760 140010607315586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10578] ppid=10544 vsize=8283048 memory=2116 CPUtime=2779.46 cores=0-7
/proc/10567/task/10578/stat : 10578 (java) S 10544 10544 9260 0 -1 1077944384 13 1979975 0 0 0 0 277590 356 20 0 22 0 509688691 8481841152 32381 33554432000 4194304 4196468 140736869680128 140009021629344 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10579] ppid=10544 vsize=8283048 memory=32956 CPUtime=2779.46 cores=0-7
/proc/10567/task/10579/stat : 10579 (java) S 10544 10544 9260 0 -1 1077944384 21 1979975 0 0 0 0 277590 356 20 0 22 0 509688691 8481841152 32381 33554432000 4194304 4196468 140736869680128 140008887407600 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10580] ppid=10544 vsize=8283048 memory=532 CPUtime=2779.46 cores=0-7
/proc/10567/task/10580/stat : 10580 (java) S 10544 10544 9260 0 -1 1077944384 1 1979975 0 0 0 0 277590 356 20 0 22 0 509688693 8481841152 32381 33554432000 4194304 4196468 140736869680128 140008512903376 140010607323035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10581] ppid=10544 vsize=8283048 memory=1556 CPUtime=2779.55 cores=0-7
/proc/10567/task/10581/stat : 10581 (java) S 10544 10544 9260 0 -1 1077944384 580 1979975 0 0 9 0 277590 356 20 0 22 0 509688693 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010035247600 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10582] ppid=10544 vsize=8283048 memory=-8671511123893449106 CPUtime=2779.56 cores=0-7
/proc/10567/task/10582/stat : 10582 (java) S 10544 10544 9260 0 -1 1077944384 572 1979975 0 0 10 0 277590 356 20 0 22 0 509688693 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010034195056 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10583] ppid=10544 vsize=8283048 memory=2116 CPUtime=2779.53 cores=0-7
/proc/10567/task/10583/stat : 10583 (java) S 10544 10544 9260 0 -1 1077944384 545 1979975 0 0 7 0 277590 356 20 0 22 0 509688693 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010033142512 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10584] ppid=10544 vsize=8283048 memory=32956 CPUtime=2779.7 cores=0-7
/proc/10567/task/10584/stat : 10584 (java) S 10544 10544 9260 0 -1 1077944384 1071 1979975 0 0 24 0 277590 356 20 0 22 0 509688693 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010032089968 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10585] ppid=10544 vsize=8283048 memory=532 CPUtime=2779.46 cores=0-7
/proc/10567/task/10585/stat : 10585 (java) S 10544 10544 9260 0 -1 1077944384 3 1979975 0 0 0 0 277590 356 20 0 22 0 509688693 8481841152 32381 33554432000 4194304 4196468 140736869680128 140008014997728 140010607314645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10586] ppid=10544 vsize=8283048 memory=1556 CPUtime=2779.67 cores=0-7
/proc/10567/task/10586/stat : 10586 (java) S 10544 10544 9260 0 -1 1077944384 25 1979975 0 0 0 21 277590 356 20 0 22 0 509688694 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010031036848 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10588] ppid=10544 vsize=8283048 memory=1096180 CPUtime=2779.46 cores=0-7
/proc/10567/task/10588/stat : 10588 (java) S 10544 10544 9260 0 -1 1077944384 25 1979975 0 0 0 0 277590 356 20 0 22 0 509688759 8481841152 32381 33554432000 4194304 4196468 140736869680128 140010029425040 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
[pid=10567/tid=10592] ppid=10544 vsize=8283048 memory=2016 CPUtime=2779.46 cores=0-7
/proc/10567/task/10592/stat : 10592 (java) S 10544 10544 9260 0 -1 1077944384 14 1979975 0 0 0 0 277590 356 20 0 22 0 509688761 8481841152 32381 33554432000 4194304 4196468 140736869680128 140007075472816 140010607315586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31412224 140736869688287 140736869688454 140736869688454 140736869691343 0
Current children cumulated CPU time: 2787.72 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 131000 KiB

[startup+358.701 s]
/proc/loadavg: 7.94 6.61 4.72 2/219 10630
/proc/meminfo: memFree=24433728/32770624 swapFree=66997508/67108860
[pid=10544] ppid=10541 vsize=113128 memory=1476 CPUtime=6.63 cores=0-7
/proc/10544/stat : 10544 (scop.sh) S 10541 10544 9260 0 -1 4202496 582 27925 0 0 0 0 626 37 20 0 1 0 509688337 115843072 369 33554432000 4194304 5098028 140723889503824 140723889500568 140580375077500 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33120256 140723889509116 140723889509464 140723889509464 140723889512393 0
/proc/10544/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 6.63 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 358.703
CPU time (s): 2787.99
CPU user time (s): 2783.9
CPU system time (s): 4.09249
CPU usage (%): 777.243
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 1732040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2783.9
system time used= 4.09249
maximum resident set size= 1737212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2032259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25475
involuntary context switches= 30913


# summary of solver processes directly reported to runsolver:
#   pid: 10544
#   total CPU time (s): 2787.99
#   total CPU user time (s): 2783.9
#   total CPU system time (s): 4.09249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.35309 second user time and 5.05933 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 17:04:19
IDJOB=4405566
IDBENCH=127806
IDSOLVER=2868
FILE ID=node140/4405566-1569337500
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-154.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-4405566-1569337500/watcher-4405566-1569337500 -o /var/tmp/evaluation-result-4405566-1569337500/solver-4405566-1569337500 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405566-1569337500.xml

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

MD5SUM BENCH= 9c35d8cb8d03f0164c4f0b6ed4b5e670
RANDOM SEED=1229534081

node140.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.43
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.43
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.43
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.43
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:        25649628 kB
MemAvailable:   31843736 kB
Buffers:          118952 kB
Cached:          6173340 kB
SwapCached:         2800 kB
Active:          3125224 kB
Inactive:        3174424 kB
Active(anon):       4280 kB
Inactive(anon):    58400 kB
Active(file):    3120944 kB
Inactive(file):  3116024 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997508 kB
Dirty:             20580 kB
Writeback:             0 kB
AnonPages:        112824 kB
Mapped:            56436 kB
Shmem:             46804 kB
Slab:             414636 kB
SReclaimable:     385600 kB
SUnreclaim:        29036 kB
KernelStack:        3488 kB
PageTables:         5316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 17:10:18