Trace number 4405266

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 2808.08 361.861

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-30135-serial-file.bin HOME/instance-4405266-1569337498.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 16:03:18 CEST 2019
0.65/0.56	c PID: 30138
0.65/0.56	c IP: 172.20.3.105
0.65/0.56	c HOST: node105.alineos.net
0.65/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-4405266-1569337498.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.54/1.01	c (0,0) translated 32 (60%) constraints
1.54/1.01	c (0,0) translated 38 (70%) constraints
1.54/1.01	c (0,0) translated 43 (80%) constraints
1.54/1.01	c (0,0) translated 48 (90%) constraints
2.18/1.27	c (0,0) translated 53 (100%) constraints
2.18/1.27	c (0,0) ===========================================
2.18/1.27	c (0,0) Order
2.18/1.27	c (0,0) ===========================================
2.18/1.28	c (0,0) translated 36 (10%) constraints
2.18/1.29	c (0,0) translated 71 (20%) constraints
2.18/1.29	c (0,0) translated 106 (30%) constraints
2.18/1.30	c (0,0) translated 141 (40%) constraints
2.53/1.30	c (0,0) translated 176 (50%) constraints
2.53/1.31	c (0,0) translated 212 (60%) constraints
2.53/1.31	c (0,0) translated 247 (70%) constraints
2.53/1.31	c (0,0) translated 282 (80%) constraints
2.53/1.32	c (0,0) translated 317 (90%) constraints
2.53/1.32	c (0,0) translated 352 (100%) constraints
2.53/1.33	c (0,0) CSP to CSPinCNF End
2.53/1.33	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 516
2.53/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.53/1.33	c (0,0) CSPinCNF Propagation Begin
2.53/1.36	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.53/1.36	c (0,0) CSPinCNF Propagation End
2.53/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 516
2.53/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.53/1.36	c (0,0) Simplify CSPinCNF Begin
2.87/1.45	c (0,0) Simplify CSPinCNF End
2.87/1.46	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 516
2.87/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.87/1.46	c (0,0) Calculate Precise Domain Begin
2.87/1.46	c (0,0) 0 values are removed by re-calculation
2.87/1.46	c (0,0) Calculate Precise Domain End
2.87/1.46	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 516
2.87/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.46	c (0,0) CSPinCNF to SatSolver Begin
4.69/1.98	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 72885 SAT clauses)
5.02/2.17	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 122198 SAT clauses)
5.24/2.35	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 168170 SAT clauses)
5.45/2.53	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 214704 SAT clauses)
5.56/2.69	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 257938 SAT clauses)
5.77/2.85	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 300146 SAT clauses)
5.89/3.00	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 339174 SAT clauses)
6.10/3.14	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 376105 SAT clauses)
6.20/3.25	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 407495 SAT clauses)
6.31/3.34	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 431252 SAT clauses)
6.31/3.34	c (2,2) CSPinCNF to SatSolver End
6.31/3.34	c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.31/3.35	c (2,2) 22694 bool, 431404 clause
6.31/3.35	c (2,2) Export Begin
6.45/3.43	c (2,2) Export to HOME/scop-30135-serial-file.bin
6.45/3.43	c (2,2) Export End
6.45/3.43	c (2,2) Export File Size: 0.01 MB
6.45/3.43	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.45/3.43	c END-Prog: Tue Sep 24 16:03:21 CEST 2019
6.45/3.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30135-serial-file.bin
6.52/3.90	c (0,0) Read Serial File Begin
6.52/3.90	c (0,0) HOME/scop-30135-serial-file.bin
7.26/4.10	c (0,0) Read Serial File End
7.41/4.11	
7.64/4.41	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.64/4.41	(Solving Process)
7.64/4.41	
7.64/4.41	c BEGIN-Prog: Tue Sep 24 16:03:21 CEST 2019
7.64/4.41	c PID: 30158
7.64/4.41	c IP: 172.20.3.105
7.64/4.41	c HOST: node105.alineos.net
7.64/4.41	c (0,0) SatSolver.solve Begin
7.64/4.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405266-1569337498.xml-scop-30138.cnf
7.64/4.41	c (0,0) c
7.64/4.41	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.64/4.41	c (0,0) c
7.64/4.41	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.64/4.41	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.64/4.41	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.64/4.41	c (0,0) c |                                                                                                       |
7.64/4.57	c (0,0) c |  Number of variables:         22694                                                                   |
7.64/4.57	c (0,0) c |  Number of clauses:          431404                                                                   |
7.64/4.57	c (0,0) c |  Parse time:                   0.13 s                                                                 |
7.64/4.57	c (0,0) c |                                                                                                       |
8.32/5.19	c (1,0) c |  Simplification time:          0.61 s                                                                 |
8.32/5.19	c (1,0) c |                                                                                                       |
8.32/5.19	c (1,0) c |  Generating clones                                                                                    |
8.52/5.32	c (1,0) c |  all clones generated. Memory =   306.47Mb.                                                           |
8.52/5.32	c (1,0) c ========================================================================================================|
8.52/5.32	c (1,0) c
8.52/5.32	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.52/5.32	c (1,0) c
8.52/5.32	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.52/5.32	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.52/5.32	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.52/5.32	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.52/5.32	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.52/5.32	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.52/5.32	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.52/5.32	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.52/5.32	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.52/5.32	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.52/5.32	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.52/5.32	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.52/5.32	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.52/5.32	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.52/5.32	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.52/5.32	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.52/5.32	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.52/5.32	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.52/5.32	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
240.31/34.43	c (30,0) c
240.31/34.43	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.31/34.43	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.31/34.43	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.31/34.43	c (30,0) c |  0 |    241 |     134090 |      59115 |    62410 |    20574 |     9432 |    66471 |     7535 |      190 |  20 |  0.053 |
240.31/34.43	c (30,0) c |  1 |    273 |     131215 |      59054 |    56746 |    20524 |    10180 |    64706 |     6843 |      187 |  20 |  0.053 |
240.31/34.43	c (30,0) c |  2 |    186 |     132720 |      63231 |    56381 |    24688 |    11265 |    67646 |     7035 |      201 |  20 |  0.053 |
240.31/34.43	c (30,0) c |  3 |    215 |     129752 |      60727 |    51682 |    22190 |    10257 |    64985 |     7038 |      194 |  20 |  0.053 |
240.31/34.43	c (30,0) c |  4 |    253 |     137140 |      62594 |    56718 |    24063 |    10934 |    68153 |     7443 |      201 |  20 |  0.053 |
240.31/34.43	c (30,0) c |  5 |    239 |     129393 |      61561 |    51963 |    23025 |    10155 |    67552 |     7355 |      196 |  20 |  0.053 |
240.31/34.43	c (30,0) c |  6 |    225 |     133329 |      61090 |    62909 |    22552 |    10174 |    67589 |     7194 |      200 |  20 |  0.053 |
240.31/34.43	c (30,0) c |  7 |    226 |     130005 |      61371 |    54431 |    22833 |    10174 |    67999 |     7212 |      198 |  20 |  0.053 |
240.31/34.43	c (30,0) c 
240.31/34.43	c (30,0) c synthesis      488743 conflicts   374818998 propagations     2106 conflicts/sec  1614995 propagations/sec
240.31/34.43	c (30,0) c real: 30.2616 s, cpu: 232.087 s, memory: 1088.02 Mb
479.13/64.42	c (60,0) c
479.13/64.42	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
479.13/64.42	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
479.13/64.42	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
479.13/64.42	c (60,0) c |  0 |    393 |     217793 |     102725 |    76092 |    31558 |    15079 |   104875 |    12802 |      375 |  20 |  0.053 |
479.13/64.42	c (60,0) c |  1 |    420 |     214542 |     103765 |    69880 |    32596 |    15855 |    99778 |    12144 |      372 |  20 |  0.053 |
479.13/64.42	c (60,0) c |  2 |    411 |     219330 |     107876 |    69416 |    36705 |    16467 |   106276 |    12903 |      387 |  20 |  0.053 |
479.13/64.42	c (60,0) c |  3 |    384 |     211910 |     103073 |    64389 |    31893 |    15409 |   103369 |    12166 |      369 |  20 |  0.053 |
479.13/64.42	c (60,0) c |  4 |    424 |     215062 |     103440 |    68770 |    32278 |    15941 |   103515 |    12471 |      372 |  20 |  0.053 |
479.13/64.42	c (60,0) c |  5 |    476 |     216477 |     105748 |    65565 |    34565 |    15569 |   106567 |    13107 |      384 |  20 |  0.053 |
479.13/64.42	c (60,0) c |  6 |    467 |     220489 |     105342 |    75568 |    34160 |    15109 |   107346 |    12816 |      388 |  20 |  0.053 |
479.13/64.42	c (60,0) c |  7 |    412 |     212840 |     105514 |    66268 |    34342 |    15438 |   107903 |    12693 |      389 |  20 |  0.053 |
479.13/64.42	c (60,0) c 
479.13/64.42	c (60,0) c synthesis      837484 conflicts   670967811 propagations     1779 conflicts/sec  1425362 propagations/sec
479.13/64.42	c (60,0) c real: 60.2616 s, cpu: 470.735 s, memory: 1328.53 Mb
708.88/93.42	c (89,0) c
708.88/93.42	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
708.88/93.42	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
708.88/93.42	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
708.88/93.42	c (89,0) c |  0 |    532 |     282027 |     138207 |    82228 |    24029 |    18889 |   132645 |    16988 |      543 |  20 |  0.053 |
708.88/93.42	c (89,0) c |  1 |    572 |     280989 |     139515 |    77094 |    25330 |    19911 |   130868 |    16289 |      538 |  20 |  0.053 |
708.88/93.42	c (89,0) c |  2 |    589 |     289323 |     144647 |    77346 |    30478 |    20462 |   133944 |    16863 |      558 |  20 |  0.053 |
708.88/93.42	c (89,0) c |  3 |    550 |     287897 |     143449 |    73252 |    29257 |    19756 |   133503 |    16697 |      556 |  20 |  0.053 |
708.88/93.42	c (89,0) c |  4 |    590 |     284286 |     140651 |    75310 |    26465 |    19867 |   131953 |    16718 |      548 |  20 |  0.053 |
708.88/93.42	c (89,0) c |  5 |    606 |     283879 |     143159 |    72614 |    28969 |    19646 |   133586 |    17145 |      556 |  20 |  0.053 |
708.88/93.42	c (89,0) c |  6 |    614 |     286604 |     140970 |    81679 |    26785 |    18995 |   134787 |    16802 |      558 |  20 |  0.053 |
708.88/93.42	c (89,0) c |  7 |    545 |     279786 |     141200 |    73054 |    27010 |    19264 |   134980 |    16624 |      557 |  20 |  0.053 |
708.88/93.42	c (89,0) c 
708.88/93.42	c (89,0) c synthesis     1131798 conflicts   928062036 propagations     1617 conflicts/sec  1325953 propagations/sec
708.88/93.42	c (89,0) c real: 89.2616 s, cpu: 699.921 s, memory: 1328.53 Mb
936.43/122.42	c (118,0) c
936.43/122.42	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
936.43/122.42	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
936.43/122.42	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
936.43/122.42	c (118,0) c |  0 |    673 |     340565 |     171696 |    86300 |    32114 |    22115 |   156664 |    20477 |      712 |  20 |  0.053 |
936.43/122.42	c (118,0) c |  1 |    742 |     343328 |     173348 |    82003 |    33765 |    23249 |   155690 |    19932 |      712 |  20 |  0.053 |
936.43/122.42	c (118,0) c |  2 |    685 |     350901 |     178319 |    83710 |    38739 |    24151 |   156078 |    19992 |      720 |  20 |  0.053 |
936.43/122.42	c (118,0) c |  3 |    714 |     348894 |     176568 |    79075 |    36978 |    22916 |   157866 |    20287 |      724 |  20 |  0.053 |
936.43/122.42	c (118,0) c |  4 |    774 |     348212 |     175179 |    80466 |    35591 |    23138 |   157637 |    20621 |      723 |  20 |  0.053 |
936.43/122.42	c (118,0) c |  5 |    701 |     339346 |     175279 |    77649 |    35690 |    22951 |   156270 |    20297 |      716 |  20 |  0.053 |
936.43/122.42	c (118,0) c |  6 |    763 |     338592 |     169083 |    85805 |    29495 |    21578 |   155934 |    19884 |      704 |  20 |  0.053 |
936.43/122.42	c (118,0) c |  7 |    686 |     337880 |     172365 |    77494 |    32779 |    22320 |   157425 |    19979 |      716 |  20 |  0.053 |
936.43/122.42	c (118,0) c 
936.43/122.42	c (118,0) c synthesis     1391837 conflicts  1157844656 propagations     1501 conflicts/sec  1248541 propagations/sec
936.43/122.42	c (118,0) c real: 118.262 s, cpu: 927.358 s, memory: 1328.53 Mb
1162.10/151.42	c (147,0) c
1162.10/151.42	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1162.10/151.42	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1162.10/151.42	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1162.10/151.42	c (147,0) c |  0 |    744 |     394344 |     202630 |    90775 |    35044 |    25282 |   175512 |    23322 |      872 |  20 |  0.053 |
1162.10/151.42	c (147,0) c |  1 |    865 |     401263 |     204866 |    87194 |    37276 |    26390 |   177743 |    23107 |      879 |  20 |  0.053 |
1162.10/151.42	c (147,0) c |  2 |    783 |     408930 |     211991 |    88201 |    44406 |    27345 |   178122 |    23292 |      892 |  20 |  0.053 |
1162.10/151.42	c (147,0) c |  3 |    855 |     406917 |     207980 |    83842 |    40387 |    25976 |   179257 |    23422 |      892 |  20 |  0.053 |
1162.10/151.42	c (147,0) c |  4 |    878 |     403821 |     207616 |    84029 |    40029 |    26130 |   179069 |    23824 |      891 |  20 |  0.053 |
1162.10/151.42	c (147,0) c |  5 |    795 |     396297 |     208244 |    81578 |    40651 |    26030 |   179095 |    23427 |      888 |  20 |  0.053 |
1162.10/151.42	c (147,0) c |  6 |    871 |     395957 |     202105 |    90222 |    34514 |    24681 |   178327 |    23021 |      877 |  20 |  0.053 |
1162.10/151.42	c (147,0) c |  7 |    799 |     397633 |     205983 |    83531 |    38392 |    25539 |   174945 |    23246 |      892 |  20 |  0.053 |
1162.10/151.42	c (147,0) c 
1162.10/151.42	c (147,0) c synthesis     1651415 conflicts  1388049583 propagations     1433 conflicts/sec  1204120 propagations/sec
1162.10/151.42	c (147,0) c real: 147.262 s, cpu: 1152.75 s, memory: 1358.18 Mb
1397.41/181.42	c (177,0) c
1397.41/181.42	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1397.41/181.42	c (177,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1397.41/181.42	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1397.41/181.42	c (177,0) c |  0 |    840 |     450678 |     235094 |    94420 |    36908 |    28521 |   197861 |    26382 |     1048 |  20 |  0.053 |
1397.41/181.42	c (177,0) c |  1 |    973 |     454660 |     235525 |    89949 |    37331 |    29274 |   197695 |    26062 |     1054 |  20 |  0.053 |
1397.41/181.42	c (177,0) c |  2 |    904 |     468666 |     244665 |    92534 |    46484 |    30550 |   198700 |    26452 |     1068 |  20 |  0.053 |
1397.41/181.42	c (177,0) c |  3 |    983 |     459691 |     238966 |    87006 |    40780 |    28653 |   200132 |    26412 |     1068 |  20 |  0.053 |
1397.41/181.42	c (177,0) c |  4 |    967 |     458314 |     239547 |    87372 |    41362 |    29206 |   199710 |    26845 |     1067 |  20 |  0.053 |
1397.41/181.42	c (177,0) c |  5 |    897 |     450022 |     239937 |    85705 |    41757 |    29074 |   199010 |    26478 |     1068 |  20 |  0.053 |
1397.41/181.42	c (177,0) c |  6 |   1023 |     455806 |     235469 |    93833 |    37277 |    27822 |   199441 |    26137 |     1061 |  20 |  0.053 |
1397.41/181.42	c (177,0) c |  7 |    909 |     451623 |     237434 |    86930 |    39243 |    28293 |   200593 |    26114 |     1068 |  20 |  0.053 |
1397.41/181.42	c (177,0) c 
1397.41/181.42	c (177,0) c synthesis     1906637 conflicts  1618726789 propagations     1374 conflicts/sec  1166334 propagations/sec
1397.41/181.42	c (177,0) c real: 177.262 s, cpu: 1387.88 s, memory: 1358.18 Mb
1626.02/210.42	c (206,0) c
1626.02/210.42	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1626.02/210.42	c (206,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1626.02/210.42	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1626.02/210.42	c (206,0) c |  0 |    930 |     503485 |     265430 |    97228 |    34043 |    32099 |   218498 |    29137 |     1220 |  20 |  0.053 |
1626.02/210.42	c (206,0) c |  1 |   1071 |     502086 |     263704 |    92539 |    65510 |    31790 |   218887 |    28705 |     1223 |  20 |  0.053 |
1626.02/210.42	c (206,0) c |  2 |   1057 |     523243 |     274184 |    95809 |    42804 |    33375 |   219774 |    29254 |     1240 |  20 |  0.053 |
1626.02/210.42	c (206,0) c |  3 |   1102 |     509575 |     267915 |    89559 |    36522 |    31382 |   221652 |    29132 |     1240 |  20 |  0.053 |
1626.02/210.42	c (206,0) c |  4 |   1067 |     506279 |     267484 |    89502 |    36105 |    31734 |   220848 |    29642 |     1238 |  20 |  0.053 |
1626.02/210.42	c (206,0) c |  5 |   1013 |     498593 |     268294 |    88124 |    36911 |    32124 |   220472 |    29383 |     1240 |  20 |  0.053 |
1626.02/210.42	c (206,0) c |  6 |   1093 |     506615 |     265346 |    97473 |    33954 |    31404 |   220981 |    29014 |     1235 |  20 |  0.053 |
1626.02/210.42	c (206,0) c |  7 |   1005 |     500920 |     266982 |    89768 |    35592 |    31110 |   219540 |    28806 |     1240 |  20 |  0.053 |
1626.02/210.42	c (206,0) c 
1626.02/210.42	c (206,0) c synthesis     2139339 conflicts  1829779513 propagations     1324 conflicts/sec  1132005 propagations/sec
1626.02/210.42	c (206,0) c real: 206.262 s, cpu: 1616.41 s, memory: 1358.18 Mb
1853.79/239.42	c (235,0) c
1853.79/239.42	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1853.79/239.42	c (235,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1853.79/239.42	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1853.79/239.42	c (235,0) c |  0 |   1040 |     553027 |     294336 |   100339 |    62949 |    34548 |   237857 |    31671 |     1392 |  20 |  0.053 |
1853.79/239.42	c (235,0) c |  1 |   1180 |     552147 |     292801 |    94812 |    61406 |    34392 |   238081 |    31242 |     1391 |  20 |  0.053 |
1853.79/239.42	c (235,0) c |  2 |   1200 |     575731 |     302399 |    98547 |    71019 |    35935 |   238776 |    31935 |     1411 |  20 |  0.053 |
1853.79/239.42	c (235,0) c |  3 |   1196 |     560693 |     297438 |    93021 |    66046 |    34040 |   240782 |    31815 |     1411 |  20 |  0.053 |
1853.79/239.42	c (235,0) c |  4 |   1140 |     553880 |     296370 |    91457 |    64990 |    34307 |   240213 |    32031 |     1411 |  20 |  0.053 |
1853.79/239.42	c (235,0) c |  5 |   1092 |     546624 |     297261 |    90203 |    65878 |    35644 |   239144 |    31721 |     1410 |  20 |  0.053 |
1853.79/239.42	c (235,0) c |  6 |   1187 |     557521 |     295157 |    99691 |    63765 |    33806 |   241101 |    31702 |     1411 |  20 |  0.053 |
1853.79/239.42	c (235,0) c |  7 |   1128 |     552943 |     296324 |    92563 |    64934 |    33688 |   241353 |    31549 |     1411 |  20 |  0.053 |
1853.79/239.42	c (235,0) c 
1853.79/239.42	c (235,0) c synthesis     2372086 conflicts  2043445071 propagations     1286 conflicts/sec  1108106 propagations/sec
1853.79/239.42	c (235,0) c real: 235.262 s, cpu: 1844.09 s, memory: 1358.18 Mb
2086.72/269.43	c (265,0) c
2086.72/269.43	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2086.72/269.43	c (265,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2086.72/269.43	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2086.72/269.43	c (265,0) c |  0 |   1120 |     603036 |     323837 |   102353 |    56663 |    37761 |   256256 |    34150 |     1571 |  20 |  0.053 |
2086.72/269.43	c (265,0) c |  1 |   1279 |     603337 |     322992 |    97843 |    55799 |    36987 |   257419 |    33719 |     1569 |  20 |  0.053 |
2086.72/269.43	c (265,0) c |  2 |   1296 |     627317 |     332400 |   100617 |    65224 |    38400 |   258066 |    34435 |     1588 |  20 |  0.053 |
2086.72/269.43	c (265,0) c |  3 |   1311 |     612396 |     326811 |    95557 |    59618 |    36634 |   260538 |    34319 |     1588 |  20 |  0.053 |
2086.72/269.43	c (265,0) c |  4 |   1203 |     601116 |     325425 |    93756 |    58237 |    36751 |   259267 |    34363 |     1587 |  20 |  0.053 |
2086.72/269.43	c (265,0) c |  5 |   1189 |     598139 |     327921 |    92527 |    60734 |    38359 |   258016 |    34234 |     1588 |  20 |  0.053 |
2086.72/269.43	c (265,0) c |  6 |   1269 |     605899 |     323392 |   101930 |    56199 |    36781 |   258402 |    34159 |     1576 |  20 |  0.053 |
2086.72/269.43	c (265,0) c |  7 |   1229 |     600603 |     323585 |    94799 |    56398 |    36519 |   258773 |    33699 |     1576 |  20 |  0.053 |
2086.72/269.43	c (265,0) c 
2086.72/269.43	c (265,0) c synthesis     2606364 conflicts  2257209056 propagations     1255 conflicts/sec  1086755 propagations/sec
2086.72/269.43	c (265,0) c real: 265.272 s, cpu: 2077.02 s, memory: 1358.18 Mb
2324.50/299.42	c (295,0) c
2324.50/299.42	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2324.50/299.42	c (295,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2324.50/299.42	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2324.50/299.42	c (295,0) c |  0 |   1176 |     647847 |     350871 |   103972 |    45293 |    40704 |   274034 |    36519 |     1746 |  20 |  0.053 |
2324.50/299.42	c (295,0) c |  1 |   1378 |     650805 |     350595 |    99857 |    45003 |    39342 |   275282 |    36075 |     1746 |  20 |  0.053 |
2324.50/299.42	c (295,0) c |  2 |   1412 |     675149 |     360089 |   102874 |    54505 |    40582 |   276217 |    36929 |     1765 |  20 |  0.053 |
2324.50/299.42	c (295,0) c |  3 |   1387 |     656979 |     353887 |    97414 |    48292 |    38828 |   276175 |    36652 |     1765 |  20 |  0.053 |
2324.50/299.42	c (295,0) c |  4 |   1297 |     645926 |     352304 |    95591 |    46712 |    38992 |   277681 |    36727 |     1762 |  20 |  0.053 |
2324.50/299.42	c (295,0) c |  5 |   1303 |     643860 |     355097 |    93988 |    49506 |    40615 |   275365 |    36541 |     1764 |  20 |  0.053 |
2324.50/299.42	c (295,0) c |  6 |   1312 |     648735 |     351193 |   103743 |    45607 |    39817 |   275419 |    36382 |     1752 |  20 |  0.053 |
2324.50/299.42	c (295,0) c |  7 |   1303 |     641888 |     348951 |    96282 |    43364 |    39373 |   271976 |    36032 |     1746 |  20 |  0.053 |
2324.50/299.42	c (295,0) c 
2324.50/299.42	c (295,0) c synthesis     2822987 conflicts  2457914896 propagations     1220 conflicts/sec  1061940 propagations/sec
2324.50/299.42	c (295,0) c real: 295.262 s, cpu: 2314.55 s, memory: 1358.18 Mb
2551.33/328.42	c (324,0) c
2551.33/328.42	c (324,0) c |------------------------------------------------------------------------------------------------------------------------|
2551.33/328.42	c (324,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2551.33/328.42	c (324,0) c |------------------------------------------------------------------------------------------------------------------------|
2551.33/328.42	c (324,0) c |  0 |   1319 |     693340 |     377361 |   105435 |    71783 |    42634 |   292985 |    38885 |     1921 |  20 |  0.053 |
2552.13/328.52	c (324,0) c |  1 |   1459 |     695061 |     377419 |   101365 |    71826 |    41455 |   293944 |    38433 |     1917 |  20 |  0.053 |
2552.13/328.52	c (324,0) c |  2 |   1527 |     715418 |     383071 |   104976 |    77486 |    42378 |   292865 |    38891 |     1916 |  20 |  0.053 |
2552.13/328.52	c (324,0) c |  3 |   1439 |     695840 |     378803 |    98690 |    73208 |    41133 |   293166 |    38628 |     1929 |  20 |  0.053 |
2552.13/328.52	c (324,0) c |  4 |   1379 |     685032 |     375672 |    97375 |    70080 |    41452 |   292847 |    38584 |     1909 |  20 |  0.053 |
2552.13/328.52	c (324,0) c |  5 |   1389 |     683411 |     379413 |    95238 |    73822 |    43089 |   293430 |    38791 |     1929 |  20 |  0.053 |
2552.13/328.52	c (324,0) c |  6 |   1354 |     691103 |     377879 |   105254 |    72293 |    43137 |   292052 |    38649 |     1929 |  20 |  0.053 |
2552.13/328.52	c (324,0) c |  7 |   1383 |     690798 |     377825 |    98358 |    72238 |    42615 |   294130 |    38450 |     1929 |  20 |  0.053 |
2552.13/328.52	c (324,0) c 
2552.13/328.52	c (324,0) c synthesis     3027443 conflicts  2647370326 propagations     1191 conflicts/sec  1041742 propagations/sec
2552.13/328.52	c (324,0) c real: 324.262 s, cpu: 2541.29 s, memory: 1358.18 Mb
2781.59/357.42	c (353,0) c
2781.59/357.42	c (353,0) c |------------------------------------------------------------------------------------------------------------------------|
2781.59/357.42	c (353,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2781.59/357.42	c (353,0) c |------------------------------------------------------------------------------------------------------------------------|
2781.59/357.42	c (353,0) c |  0 |   1413 |     736878 |     402939 |   106590 |    56356 |    44923 |   310971 |    40920 |     2092 |  20 |  0.053 |
2781.59/357.42	c (353,0) c |  1 |   1549 |     738753 |     403679 |   102692 |    57088 |    43861 |   311321 |    40533 |     2087 |  20 |  0.053 |
2781.59/357.42	c (353,0) c |  2 |   1580 |     764418 |     410995 |   107244 |    64408 |    45345 |   310688 |    41106 |     2093 |  20 |  0.053 |
2781.59/357.42	c (353,0) c |  3 |   1496 |     739572 |     405935 |   100146 |    59345 |    43937 |   312366 |    40731 |     2105 |  20 |  0.053 |
2781.59/357.42	c (353,0) c |  4 |   1468 |     728929 |     402247 |    98860 |    55652 |    44228 |   310810 |    40760 |     2085 |  20 |  0.053 |
2781.59/357.42	c (353,0) c |  5 |   1488 |     733387 |     406949 |    98940 |    60359 |    46184 |   310672 |    41011 |     2105 |  20 |  0.053 |
2781.59/357.42	c (353,0) c |  6 |   1442 |     730212 |     402951 |   106083 |    56359 |    45023 |   310546 |    40446 |     2091 |  20 |  0.053 |
2781.59/357.42	c (353,0) c |  7 |   1459 |     731285 |     401839 |    99781 |    55247 |    45002 |   309810 |    40470 |     2090 |  20 |  0.053 |
2781.59/357.42	c (353,0) c 
2781.59/357.42	c (353,0) c synthesis     3237534 conflicts  2842948435 propagations     1168 conflicts/sec  1025901 propagations/sec
2781.59/357.42	c (353,0) c real: 353.262 s, cpu: 2771.17 s, memory: 1358.18 Mb
2807.44/361.67	c (357,0) c
2807.44/361.67	c (357,0) c real time : 357.511 s
2807.44/361.67	c (357,0) c cpu time  : 2796.9 s
2807.44/361.67	c (357,0) c
2807.44/361.67	c (357,0) c
2807.44/361.67	c (357,0) c
2807.44/361.67	c (357,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2807.44/361.67	c (357,0) c
2807.44/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.67	c (357,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2807.44/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.67	c (357,0) c | Conflicts     |         3262732 |     406148 |     407736 |     414300 |     407514 |     406799 |     408358 |     406338 |     405539 |
2807.44/361.67	c (357,0) c | Decisions     |         5948056 |     742957 |     746144 |     769658 |     743278 |     736737 |     735654 |     736941 |     736687 |
2807.44/361.67	c (357,0) c | Propagations  |      2866607782 |  357917723 |  357243712 |  363408968 |  357558237 |  355166475 |  357571349 |  357297274 |  360444044 |
2807.44/361.67	c (357,0) c | ReduceDBs     |             136 |         17 |         17 |         17 |         17 |         17 |         17 |         17 |         17 |
2807.44/361.67	c (357,0) c | SimpDBs       |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
2807.44/361.67	c (357,0) c | Restarts      |           11985 |       1428 |       1577 |       1586 |       1497 |       1479 |       1489 |       1464 |       1465 |
2807.44/361.67	c (357,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2807.44/361.67	c (357,0) c | PropBinClauses|      4005874159 |  498456959 |  497096758 |  501616513 |  502963217 |  497557185 |  499719469 |  502387002 |  506077056 |
2807.44/361.67	c (357,0) c | PropPreBlocker|     52855304001 | 6617294837 | 6594140469 | 6625190533 | 6588692434 | 6598206912 | 6605874747 | 6606137275 | 6619766794 |
2807.44/361.67	c (357,0) c | PropNotBlocker|     19608833872 | 2447272648 | 2457711085 | 2434287861 | 2460890356 | 2455761981 | 2452094661 | 2449807878 | 2451007402 |
2807.44/361.67	c (357,0) c | LitFullScans  |    101528147826 |12690975669 |12690979869 |12690995630 |12691261958 |12691013808 |12690953238 |12690986157 |12690981497 |
2807.44/361.67	c (357,0) c | LitScanFracts |         7758867 |     956050 |     965735 |     992573 |     983925 |     999029 |     944496 |     944535 |     972524 |
2807.44/361.67	c (357,0) c | DecisionLevel0|           11989 |       1428 |       1578 |       1587 |       1497 |       1480 |       1489 |       1464 |       1466 |
2807.44/361.67	c (357,0) c | Periods       |           16920 |       2115 |       2115 |       2115 |       2115 |       2115 |       2115 |       2115 |       2115 |
2807.44/361.67	c (357,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2807.44/361.67	c (357,0) c | Avg_Trail     |                 |       6979 |       6949 |       7062 |       6884 |       6899 |       6884 |       6904 |       6970 |
2807.44/361.67	c (357,0) c | Avg_DL        |                 |         24 |         25 |         25 |         25 |         24 |         25 |         25 |         25 |
2807.44/361.67	c (357,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2807.44/361.67	c (357,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2807.44/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.67	c (357,0) c | Exported      |          361023 |      45240 |      44244 |      45739 |      44154 |      44762 |      46360 |      45236 |      45288 |
2807.44/361.67	c (357,0) c | Imported      |         2506334 |     313286 |     314263 |     311902 |     314370 |     313812 |     312346 |     313174 |     313181 |
2807.44/361.67	c (357,0) c | Good          |             308 |         37 |         41 |         38 |         40 |         38 |         37 |         35 |         42 |
2807.44/361.67	c (357,0) c | Purge         |         2506026 |     313249 |     314222 |     311864 |     314330 |     313774 |     312309 |     313139 |     313139 |
2807.44/361.67	c (357,0) c | Promoted      |          327985 |      41208 |      40887 |      41355 |      40830 |      41128 |      41087 |      40745 |      40745 |
2807.44/361.67	c (357,0) c | Remove_Imp    |         1736201 |     217602 |     218314 |     213016 |     218798 |     216665 |     216591 |     217334 |     217881 |
2807.44/361.67	c (357,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2807.44/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.67	c (357,0) c | Unaries       |                 |          0 |          1 |          1 |          0 |          1 |          0 |          0 |          1 |
2807.44/361.67	c (357,0) c | Binaries      |                 |          7 |          3 |          6 |          4 |          6 |          7 |          9 |          2 |
2807.44/361.67	c (357,0) c | Glues         |                 |        261 |        268 |        263 |        267 |        255 |        266 |        283 |        247 |
2807.44/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.67	c (357,0) c | Orig_Seen     |            23 % |     106960 |     102921 |     107448 |     101413 |      99223 |      99060 |     106268 |      99910 |
2807.44/361.67	c (357,0) c | Diff Orig seen|                 |       5547 |       1508 |       6035 |      X     | -     2190 | -     2353 |       4855 | -     1503 |
2807.44/361.67	c (357,0) c | Hamming       |            32 % |       6673 |       7966 |       7318 |      X     |       8250 |       7088 |       7361 |       6867 |
2807.44/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.67	c (357,0) c | RunningTime   |                 |  355.3 100%|  356.0 100%|  348.0  98%|  340.7  96%|  351.8  99%|  350.5  99%|  353.2  99%|  349.7  98%|
2807.44/361.67	c (357,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    6.9   2%|   13.0   4%|    4.3   1%|    3.3   1%|    2.1   1%|    5.7   2%|
2807.44/361.67	c (357,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%|
2807.44/361.67	c (357,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%|
2807.44/361.67	c (357,0) c | SolvingTime   |                 |  355.5     |  356.2     |  355.2     |  354.0     |  356.3     |  354.1     |  355.5     |  355.6     |
2807.44/361.67	c (357,0) c | PropagationTim|                 |  310.9  87%|  311.6  87%|  308.9  87%|  309.5  87%|  305.6  86%|  306.9  87%|  309.8  87%|  307.3  86%|
2807.44/361.67	c (357,0) c | AnalysisTime  |                 |   37.4  11%|   37.4  10%|   38.8  11%|   37.2  11%|   43.5  12%|   39.9  11%|   38.5  11%|   40.9  12%|
2807.44/361.67	c (357,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%|
2807.44/361.67	c (357,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%|
2807.44/361.67	c (357,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%|
2807.44/361.67	c (357,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%|
2807.44/361.67	c (357,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.67	c (357,0) c
2807.44/361.67	c (357,0) c
2807.44/361.67	c (357,0) c Threads : 8
2807.44/361.67	c (357,0) c Winner : 3
2807.44/361.67	c (357,0) c Conflicts_0 : 406148
2807.44/361.67	c (357,0) c Conflicts_1 : 407736
2807.44/361.67	c (357,0) c Conflicts_2 : 414300
2807.44/361.67	c (357,0) c Conflicts_3 : 407514
2807.44/361.67	c (357,0) c Conflicts_4 : 406799
2807.44/361.67	c (357,0) c Conflicts_5 : 408358
2807.44/361.67	c (357,0) c Conflicts_6 : 406338
2807.44/361.67	c (357,0) c Conflicts_7 : 405539
2807.44/361.67	c (357,0) c Conflicts_total : 3262732
2807.44/361.67	c (357,0) c Conflicts_winner : 407514
2807.44/361.67	c (357,0) c Decisions_0 : 742957
2807.44/361.67	c (357,0) c Decisions_1 : 746144
2807.44/361.67	c (357,0) c Decisions_2 : 769658
2807.44/361.67	c (357,0) c Decisions_3 : 743278
2807.44/361.67	c (357,0) c Decisions_4 : 736737
2807.44/361.67	c (357,0) c Decisions_5 : 735654
2807.44/361.67	c (357,0) c Decisions_6 : 736941
2807.44/361.67	c (357,0) c Decisions_7 : 736687
2807.44/361.67	c (357,0) c Decisions_total : 5948056
2807.44/361.67	c (357,0) c Decisions_winner : 743278
2807.44/361.67	c (357,0) c Propagations_0 : 357917723
2807.44/361.67	c (357,0) c Propagations_1 : 357243712
2807.44/361.67	c (357,0) c Propagations_2 : 363408968
2807.44/361.67	c (357,0) c Propagations_3 : 357558237
2807.44/361.67	c (357,0) c Propagations_4 : 355166475
2807.44/361.67	c (357,0) c Propagations_5 : 357571349
2807.44/361.67	c (357,0) c Propagations_6 : 357297274
2807.44/361.67	c (357,0) c Propagations_7 : 360444044
2807.44/361.67	c (357,0) c Propagations_total : 2866607782
2807.44/361.68	c (357,0) c Propagations_winner : 357558237
2807.44/361.68	c (357,0) c ReduceDBs_0 : 17
2807.44/361.68	c (357,0) c ReduceDBs_1 : 17
2807.44/361.68	c (357,0) c ReduceDBs_2 : 17
2807.44/361.68	c (357,0) c ReduceDBs_3 : 17
2807.44/361.68	c (357,0) c ReduceDBs_4 : 17
2807.44/361.68	c (357,0) c ReduceDBs_5 : 17
2807.44/361.68	c (357,0) c ReduceDBs_6 : 17
2807.44/361.68	c (357,0) c ReduceDBs_7 : 17
2807.44/361.68	c (357,0) c ReduceDBs_total : 136
2807.44/361.68	c (357,0) c ReduceDBs_winner : 17
2807.44/361.68	c (357,0) c SimpDBs_0 : 2
2807.44/361.68	c (357,0) c SimpDBs_1 : 2
2807.44/361.68	c (357,0) c SimpDBs_2 : 2
2807.44/361.68	c (357,0) c SimpDBs_3 : 2
2807.44/361.68	c (357,0) c SimpDBs_4 : 2
2807.44/361.68	c (357,0) c SimpDBs_5 : 2
2807.44/361.68	c (357,0) c SimpDBs_6 : 2
2807.44/361.68	c (357,0) c SimpDBs_7 : 2
2807.44/361.68	c (357,0) c SimpDBs_total : 16
2807.44/361.68	c (357,0) c SimpDBs_winner : 2
2807.44/361.68	c (357,0) c Restarts_0 : 1428
2807.44/361.68	c (357,0) c Restarts_1 : 1577
2807.44/361.68	c (357,0) c Restarts_2 : 1586
2807.44/361.68	c (357,0) c Restarts_3 : 1497
2807.44/361.68	c (357,0) c Restarts_4 : 1479
2807.44/361.68	c (357,0) c Restarts_5 : 1489
2807.44/361.68	c (357,0) c Restarts_6 : 1464
2807.44/361.68	c (357,0) c Restarts_7 : 1465
2807.44/361.68	c (357,0) c Restarts_total : 11985
2807.44/361.68	c (357,0) c Restarts_winner : 1497
2807.44/361.68	c (357,0) c ForcedImports_0 : 0
2807.44/361.68	c (357,0) c ForcedImports_1 : 0
2807.44/361.68	c (357,0) c ForcedImports_2 : 0
2807.44/361.68	c (357,0) c ForcedImports_3 : 0
2807.44/361.68	c (357,0) c ForcedImports_4 : 0
2807.44/361.68	c (357,0) c ForcedImports_5 : 0
2807.44/361.68	c (357,0) c ForcedImports_6 : 0
2807.44/361.68	c (357,0) c ForcedImports_7 : 0
2807.44/361.68	c (357,0) c ForcedImports_total : 0
2807.44/361.68	c (357,0) c ForcedImports_winner : 0
2807.44/361.68	c (357,0) c PropsBinClauses_0 : 498456959
2807.44/361.68	c (357,0) c PropsBinClauses_1 : 497096758
2807.44/361.68	c (357,0) c PropsBinClauses_2 : 501616513
2807.44/361.68	c (357,0) c PropsBinClauses_3 : 502963217
2807.44/361.68	c (357,0) c PropsBinClauses_4 : 497557185
2807.44/361.68	c (357,0) c PropsBinClauses_5 : 499719469
2807.44/361.68	c (357,0) c PropsBinClauses_6 : 502387002
2807.44/361.68	c (357,0) c PropsBinClauses_7 : 506077056
2807.44/361.68	c (357,0) c PropsBinClauses_total : 4005874159
2807.44/361.68	c (357,0) c PropsBinClauses_winner : 502963217
2807.44/361.68	c (357,0) c PropsPreBlocker_0 : 6617294837
2807.44/361.68	c (357,0) c PropsPreBlocker_1 : 6594140469
2807.44/361.68	c (357,0) c PropsPreBlocker_2 : 6625190533
2807.44/361.68	c (357,0) c PropsPreBlocker_3 : 6588692434
2807.44/361.68	c (357,0) c PropsPreBlocker_4 : 6598206912
2807.44/361.68	c (357,0) c PropsPreBlocker_5 : 6605874747
2807.44/361.68	c (357,0) c PropsPreBlocker_6 : 6606137275
2807.44/361.68	c (357,0) c PropsPreBlocker_7 : 6619766794
2807.44/361.68	c (357,0) c PropsPreBlocker_total : 52855304001
2807.44/361.68	c (357,0) c PropsPreBlocker_winner : 6588692434
2807.44/361.68	c (357,0) c PropsNotBlocker_0 : 2447272648
2807.44/361.68	c (357,0) c PropsNotBlocker_1 : 2457711085
2807.44/361.68	c (357,0) c PropsNotBlocker_2 : 2434287861
2807.44/361.68	c (357,0) c PropsNotBlocker_3 : 2460890356
2807.44/361.68	c (357,0) c PropsNotBlocker_4 : 2455761981
2807.44/361.68	c (357,0) c PropsNotBlocker_5 : 2452094661
2807.44/361.68	c (357,0) c PropsNotBlocker_6 : 2449807878
2807.44/361.68	c (357,0) c PropsNotBlocker_7 : 2451007402
2807.44/361.68	c (357,0) c PropsNotBlocker_total : 19608833872
2807.44/361.68	c (357,0) c PropsNotBlocker_winner : 2460890356
2807.44/361.68	c (357,0) c PropsLitFullScans_0 : 12690975669
2807.44/361.68	c (357,0) c PropsLitFullScans_1 : 12690979869
2807.44/361.68	c (357,0) c PropsLitFullScans_2 : 12690995630
2807.44/361.68	c (357,0) c PropsLitFullScans_3 : 12691261958
2807.44/361.68	c (357,0) c PropsLitFullScans_4 : 12691013808
2807.44/361.68	c (357,0) c PropsLitFullScans_5 : 12690953238
2807.44/361.68	c (357,0) c PropsLitFullScans_6 : 12690986157
2807.44/361.68	c (357,0) c PropsLitFullScans_7 : 12690981497
2807.44/361.68	c (357,0) c PropsLitFullScans_total : 101528147826
2807.44/361.68	c (357,0) c PropsLitFullScans_winner : 12691261958
2807.44/361.68	c (357,0) c LitScanFractions_0 : 956050
2807.44/361.68	c (357,0) c LitScanFractions_1 : 965735
2807.44/361.68	c (357,0) c LitScanFractions_2 : 992573
2807.44/361.68	c (357,0) c LitScanFractions_3 : 983925
2807.44/361.68	c (357,0) c LitScanFractions_4 : 999029
2807.44/361.68	c (357,0) c LitScanFractions_5 : 944496
2807.44/361.68	c (357,0) c LitScanFractions_6 : 944535
2807.44/361.68	c (357,0) c LitScanFractions_7 : 972524
2807.44/361.68	c (357,0) c LitScanFractions_total : 7758867
2807.44/361.68	c (357,0) c LitScanFractions_winner : 983925
2807.44/361.68	c (357,0) c DecisionLevel0_0 : 1428
2807.44/361.68	c (357,0) c DecisionLevel0_1 : 1578
2807.44/361.68	c (357,0) c DecisionLevel0_2 : 1587
2807.44/361.68	c (357,0) c DecisionLevel0_3 : 1497
2807.44/361.68	c (357,0) c DecisionLevel0_4 : 1480
2807.44/361.68	c (357,0) c DecisionLevel0_5 : 1489
2807.44/361.68	c (357,0) c DecisionLevel0_6 : 1464
2807.44/361.68	c (357,0) c DecisionLevel0_7 : 1466
2807.44/361.68	c (357,0) c DecisionLevel0_total : 11989
2807.44/361.68	c (357,0) c DecisionLevel0_winner : 1497
2807.44/361.68	c (357,0) c Periods_0 : 2115
2807.44/361.68	c (357,0) c Periods_1 : 2115
2807.44/361.68	c (357,0) c Periods_2 : 2115
2807.44/361.68	c (357,0) c Periods_3 : 2115
2807.44/361.68	c (357,0) c Periods_4 : 2115
2807.44/361.68	c (357,0) c Periods_5 : 2115
2807.44/361.68	c (357,0) c Periods_6 : 2115
2807.44/361.68	c (357,0) c Periods_7 : 2115
2807.44/361.68	c (357,0) c Periods_total : 16920
2807.44/361.68	c (357,0) c Periods_winner : 2115
2807.44/361.68	c (357,0) c Margin_0 : 20
2807.44/361.68	c (357,0) c Margin_1 : 20
2807.44/361.68	c (357,0) c Margin_2 : 20
2807.44/361.68	c (357,0) c Margin_3 : 20
2807.44/361.68	c (357,0) c Margin_4 : 20
2807.44/361.68	c (357,0) c Margin_5 : 20
2807.44/361.68	c (357,0) c Margin_6 : 20
2807.44/361.68	c (357,0) c Margin_7 : 20
2807.44/361.68	c (357,0) c Margin_total : 160
2807.44/361.68	c (357,0) c Margin_winner : 20
2807.44/361.68	c (357,0) c Exported_0 : 45240
2807.44/361.68	c (357,0) c Exported_1 : 44244
2807.44/361.68	c (357,0) c Exported_2 : 45739
2807.44/361.68	c (357,0) c Exported_3 : 44154
2807.44/361.68	c (357,0) c Exported_4 : 44762
2807.44/361.68	c (357,0) c Exported_5 : 46360
2807.44/361.68	c (357,0) c Exported_6 : 45236
2807.44/361.68	c (357,0) c Exported_7 : 45288
2807.44/361.68	c (357,0) c Exported_total : 361023
2807.44/361.68	c (357,0) c Exported_winner : 44154
2807.44/361.68	c (357,0) c Imported_0 : 313286
2807.44/361.68	c (357,0) c Imported_1 : 314263
2807.44/361.68	c (357,0) c Imported_2 : 311902
2807.44/361.68	c (357,0) c Imported_3 : 314370
2807.44/361.68	c (357,0) c Imported_4 : 313812
2807.44/361.68	c (357,0) c Imported_5 : 312346
2807.44/361.68	c (357,0) c Imported_6 : 313174
2807.44/361.68	c (357,0) c Imported_7 : 313181
2807.44/361.68	c (357,0) c Imported_total : 2506334
2807.44/361.68	c (357,0) c Imported_winner : 314370
2807.44/361.68	c (357,0) c Good_0 : 37
2807.44/361.68	c (357,0) c Good_1 : 41
2807.44/361.68	c (357,0) c Good_2 : 38
2807.44/361.68	c (357,0) c Good_3 : 40
2807.44/361.68	c (357,0) c Good_4 : 38
2807.44/361.68	c (357,0) c Good_5 : 37
2807.44/361.68	c (357,0) c Good_6 : 35
2807.44/361.68	c (357,0) c Good_7 : 42
2807.44/361.68	c (357,0) c Good_total : 308
2807.44/361.68	c (357,0) c Good_winner : 40
2807.44/361.68	c (357,0) c Purge_0 : 313249
2807.44/361.68	c (357,0) c Purge_1 : 314222
2807.44/361.68	c (357,0) c Purge_2 : 311864
2807.44/361.68	c (357,0) c Purge_3 : 314330
2807.44/361.68	c (357,0) c Purge_4 : 313774
2807.44/361.68	c (357,0) c Purge_5 : 312309
2807.44/361.68	c (357,0) c Purge_6 : 313139
2807.44/361.68	c (357,0) c Purge_7 : 313139
2807.44/361.68	c (357,0) c Purge_total : 2506026
2807.44/361.68	c (357,0) c Purge_winner : 314330
2807.44/361.68	c (357,0) c Promoted_0 : 41208
2807.44/361.68	c (357,0) c Promoted_1 : 40887
2807.44/361.68	c (357,0) c Promoted_2 : 41355
2807.44/361.68	c (357,0) c Promoted_3 : 40830
2807.44/361.68	c (357,0) c Promoted_4 : 41128
2807.44/361.68	c (357,0) c Promoted_5 : 41087
2807.44/361.68	c (357,0) c Promoted_6 : 40745
2807.44/361.68	c (357,0) c Promoted_7 : 40745
2807.44/361.68	c (357,0) c Promoted_total : 327985
2807.44/361.68	c (357,0) c Promoted_winner : 40830
2807.44/361.68	c (357,0) c Remove_Imp_0 : 217602
2807.44/361.68	c (357,0) c Remove_Imp_1 : 218314
2807.44/361.68	c (357,0) c Remove_Imp_2 : 213016
2807.44/361.68	c (357,0) c Remove_Imp_3 : 218798
2807.44/361.68	c (357,0) c Remove_Imp_4 : 216665
2807.44/361.68	c (357,0) c Remove_Imp_5 : 216591
2807.44/361.68	c (357,0) c Remove_Imp_6 : 217334
2807.44/361.68	c (357,0) c Remove_Imp_7 : 217881
2807.44/361.68	c (357,0) c Remove_Imp_total : 1736201
2807.44/361.68	c (357,0) c Remove_Imp_winner : 218798
2807.44/361.68	c (357,0) c Blocked_Reuse_0 : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_1 : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_2 : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_3 : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_4 : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_5 : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_6 : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_7 : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_total : 0
2807.44/361.68	c (357,0) c Blocked_Reuse_winner : 0
2807.44/361.68	c (357,0) c Unaries_0 : 0
2807.44/361.68	c (357,0) c Unaries_1 : 1
2807.44/361.68	c (357,0) c Unaries_2 : 1
2807.44/361.68	c (357,0) c Unaries_3 : 0
2807.44/361.68	c (357,0) c Unaries_4 : 1
2807.44/361.68	c (357,0) c Unaries_5 : 0
2807.44/361.68	c (357,0) c Unaries_6 : 0
2807.44/361.68	c (357,0) c Unaries_7 : 1
2807.44/361.68	c (357,0) c Unaries_total : 4
2807.44/361.68	c (357,0) c Unaries_winner : 0
2807.44/361.68	c (357,0) c Binaries_0 : 7
2807.44/361.68	c (357,0) c Binaries_1 : 3
2807.44/361.68	c (357,0) c Binaries_2 : 6
2807.44/361.68	c (357,0) c Binaries_3 : 4
2807.44/361.68	c (357,0) c Binaries_4 : 6
2807.44/361.68	c (357,0) c Binaries_5 : 7
2807.44/361.68	c (357,0) c Binaries_6 : 9
2807.44/361.68	c (357,0) c Binaries_7 : 2
2807.44/361.68	c (357,0) c Binaries_total : 44
2807.44/361.68	c (357,0) c Binaries_winner : 4
2807.44/361.68	c (357,0) c Glues_0 : 261
2807.44/361.68	c (357,0) c Glues_1 : 268
2807.44/361.68	c (357,0) c Glues_2 : 263
2807.44/361.68	c (357,0) c Glues_3 : 267
2807.44/361.68	c (357,0) c Glues_4 : 255
2807.44/361.68	c (357,0) c Glues_5 : 266
2807.44/361.68	c (357,0) c Glues_6 : 283
2807.44/361.68	c (357,0) c Glues_7 : 247
2807.44/361.68	c (357,0) c Glues_total : 2110
2807.44/361.68	c (357,0) c Glues_winner : 267
2807.44/361.68	c (357,0) c RunningTime_0 : 355.288049
2807.44/361.68	c (357,0) c RunningTime_1 : 356.001421
2807.44/361.68	c (357,0) c RunningTime_2 : 348.046120
2807.44/361.68	c (357,0) c RunningTime_3 : 340.739909
2807.44/361.68	c (357,0) c RunningTime_4 : 351.789305
2807.44/361.68	c (357,0) c RunningTime_5 : 350.548458
2807.44/361.68	c (357,0) c RunningTime_6 : 353.186114
2807.44/361.68	c (357,0) c RunningTime_7 : 349.697348
2807.44/361.68	c (357,0) c RunningTime_total : 2805.296723
2807.44/361.68	c (357,0) c RunningTime_winner : 340.739909
2807.44/361.68	c (357,0) c WaitingTime_0 : 0.003142
2807.44/361.68	c (357,0) c WaitingTime_1 : 0.002964
2807.44/361.68	c (357,0) c WaitingTime_2 : 6.936865
2807.44/361.68	c (357,0) c WaitingTime_3 : 13.001706
2807.44/361.68	c (357,0) c WaitingTime_4 : 4.308939
2807.44/361.68	c (357,0) c WaitingTime_5 : 3.326570
2807.44/361.68	c (357,0) c WaitingTime_6 : 2.104026
2807.44/361.68	c (357,0) c WaitingTime_7 : 5.687338
2807.44/361.68	c (357,0) c WaitingTime_total : 35.371551
2807.44/361.68	c (357,0) c WaitingTime_winner : 13.001706
2807.44/361.68	c (357,0) c ExchangingTime_0 : 0.178590
2807.44/361.68	c (357,0) c ExchangingTime_1 : 0.207645
2807.44/361.68	c (357,0) c ExchangingTime_2 : 0.194707
2807.44/361.68	c (357,0) c ExchangingTime_3 : 0.201162
2807.44/361.68	c (357,0) c ExchangingTime_4 : 0.184788
2807.44/361.68	c (357,0) c ExchangingTime_5 : 0.218366
2807.44/361.68	c (357,0) c ExchangingTime_6 : 0.188966
2807.44/361.68	c (357,0) c ExchangingTime_7 : 0.204069
2807.44/361.68	c (357,0) c ExchangingTime_total : 1.578294
2807.44/361.68	c (357,0) c ExchangingTime_winner : 0.201162
2807.44/361.68	c (357,0) c PeriodProcTime_0 : 0.026374
2807.44/361.68	c (357,0) c PeriodProcTime_1 : 0.021479
2807.44/361.68	c (357,0) c PeriodProcTime_2 : 0.020724
2807.44/361.68	c (357,0) c PeriodProcTime_3 : 0.022846
2807.44/361.68	c (357,0) c PeriodProcTime_4 : 0.019091
2807.44/361.68	c (357,0) c PeriodProcTime_5 : 0.019054
2807.44/361.68	c (357,0) c PeriodProcTime_6 : 0.019683
2807.44/361.68	c (357,0) c PeriodProcTime_7 : 0.021509
2807.44/361.68	c (357,0) c PeriodProcTime_total : 0.170760
2807.44/361.68	c (357,0) c PeriodProcTime_winner : 0.022846
2807.44/361.68	c (357,0) c SolvingTime_0 : 355.496155
2807.44/361.68	c (357,0) c SolvingTime_1 : 356.233509
2807.44/361.68	c (357,0) c SolvingTime_2 : 355.198415
2807.44/361.68	c (357,0) c SolvingTime_3 : 353.965624
2807.44/361.68	c (357,0) c SolvingTime_4 : 356.302123
2807.44/361.68	c (357,0) c SolvingTime_5 : 354.112448
2807.44/361.68	c (357,0) c SolvingTime_6 : 355.498790
2807.44/361.68	c (357,0) c SolvingTime_7 : 355.610265
2807.44/361.68	c (357,0) c SolvingTime_total : 2842.417328
2807.44/361.68	c (357,0) c SolvingTime_winner : 353.965624
2807.44/361.68	c (357,0) c PropagationTime_0 : 310.864879
2807.44/361.68	c (357,0) c PropagationTime_1 : 311.587361
2807.44/361.68	c (357,0) c PropagationTime_2 : 308.889654
2807.44/361.68	c (357,0) c PropagationTime_3 : 309.454520
2807.44/361.68	c (357,0) c PropagationTime_4 : 305.636672
2807.44/361.68	c (357,0) c PropagationTime_5 : 306.930707
2807.44/361.68	c (357,0) c PropagationTime_6 : 309.755386
2807.44/361.68	c (357,0) c PropagationTime_7 : 307.331843
2807.44/361.68	c (357,0) c PropagationTime_total : 2470.451021
2807.44/361.68	c (357,0) c PropagationTime_winner : 309.454520
2807.44/361.68	c (357,0) c AnalysisTime_0 : 37.410437
2807.44/361.68	c (357,0) c AnalysisTime_1 : 37.377230
2807.44/361.68	c (357,0) c AnalysisTime_2 : 38.798341
2807.44/361.68	c (357,0) c AnalysisTime_3 : 37.167118
2807.44/361.68	c (357,0) c AnalysisTime_4 : 43.461118
2807.44/361.68	c (357,0) c AnalysisTime_5 : 39.908135
2807.44/361.68	c (357,0) c AnalysisTime_6 : 38.455337
2807.44/361.68	c (357,0) c AnalysisTime_7 : 40.924029
2807.44/361.68	c (357,0) c AnalysisTime_total : 313.501746
2807.44/361.68	c (357,0) c AnalysisTime_winner : 37.167118
2807.44/361.68	c (357,0) c ReductionTime_0 : 1.155831
2807.44/361.68	c (357,0) c ReductionTime_1 : 1.191651
2807.44/361.68	c (357,0) c ReductionTime_2 : 1.177244
2807.44/361.68	c (357,0) c ReductionTime_3 : 1.158147
2807.44/361.68	c (357,0) c ReductionTime_4 : 1.111182
2807.44/361.68	c (357,0) c ReductionTime_5 : 1.193526
2807.44/361.68	c (357,0) c ReductionTime_6 : 1.135994
2807.44/361.68	c (357,0) c ReductionTime_7 : 1.152729
2807.44/361.68	c (357,0) c ReductionTime_total : 9.276303
2807.44/361.68	c (357,0) c ReductionTime_winner : 1.158147
2807.44/361.68	c (357,0) c SimplifyTime_0 : 0.011610
2807.44/361.68	c (357,0) c SimplifyTime_1 : 0.014711
2807.44/361.68	c (357,0) c SimplifyTime_2 : 0.014950
2807.44/361.68	c (357,0) c SimplifyTime_3 : 0.012104
2807.44/361.68	c (357,0) c SimplifyTime_4 : 0.011873
2807.44/361.68	c (357,0) c SimplifyTime_5 : 0.011738
2807.44/361.68	c (357,0) c SimplifyTime_6 : 0.011869
2807.44/361.68	c (357,0) c SimplifyTime_7 : 0.010602
2807.44/361.68	c (357,0) c SimplifyTime_total : 0.099457
2807.44/361.68	c (357,0) c SimplifyTime_winner : 0.012104
2807.44/361.68	c (357,0) c UsedRateTime_0 : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_1 : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_2 : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_3 : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_4 : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_5 : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_6 : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_7 : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_total : 0.000000
2807.44/361.68	c (357,0) c UsedRateTime_winner : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_0 : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_1 : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_2 : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_3 : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_4 : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_5 : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_6 : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_7 : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_total : 0.000000
2807.44/361.68	c (357,0) c OverlapRateTime_winner : 0.000000
2807.44/361.68	c (357,0) c
2807.44/361.68	c (357,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2807.44/361.68	c (357,0) c
2807.44/361.68	c (357,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.68	c (357,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2807.44/361.68	c (357,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.68	c (357,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2807.44/361.68	c (357,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2807.44/361.68	c (357,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2807.44/361.68	c (357,0) c | Initial random_seed   | 1870252370 | 1957536166 | 1112457954 |  879100858 |  987458509 | 1686873996 |  159001456 |  868167057 |
2807.44/361.68	c (357,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2807.44/361.68	c (357,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2807.44/361.68	c (357,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2807.44/361.68	c (357,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2807.44/361.68	c (357,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2807.44/361.68	c (357,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2807.44/361.68	c (357,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2807.44/361.68	c (357,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2807.44/361.68	c (357,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2807.44/361.68	c (357,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2807.44/361.68	c (357,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2807.44/361.68	c (357,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2807.44/361.68	c (357,0) 
2807.44/361.68	c (357,0) s SATISFIABLE
8.04/361.73	c (357,0) SatSolver.solve End
8.04/361.73	c (357,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.04/361.73	c (357,0) Show results Begin
2807.92/361.83	c (358,0) x[0] = 380
2807.92/361.83	c (358,0) x[1] = 380
2807.92/361.83	c (358,0) x[2] = 125
2807.92/361.83	c (358,0) x[3] = 359
2807.92/361.83	c (358,0) x[4] = 359
2807.92/361.83	c (358,0) x[5] = 90
2807.92/361.83	c (358,0) x[6] = 389
2807.92/361.83	c (358,0) x[7] = 125
2807.92/361.83	c (358,0) x[8] = 305
2807.92/361.83	c (358,0) x[9] = 90
2807.92/361.83	c (358,0) x[10] = 365
2807.92/361.83	c (358,0) x[11] = 164
2807.92/361.83	c (358,0) x[12] = 305
2807.92/361.83	c (358,0) x[13] = 0
2807.92/361.83	c (358,0) x[14] = 426
2807.92/361.83	c (358,0) x[15] = 125
2807.92/361.83	c (358,0) x[16] = 0
2807.92/361.83	c (358,0) x[17] = 392
2807.92/361.83	c (358,0) x[18] = 389
2807.92/361.83	c (358,0) x[19] = 164
2807.92/361.83	c (358,0) x[20] = 0
2807.92/361.83	c (358,0) x[21] = 365
2807.92/361.83	c (358,0) x[22] = 226
2807.92/361.83	c (358,0) x[23] = 0
2807.92/361.83	c (358,0) x[24] = 145
2807.92/361.83	c (358,0) y[0] = 383
2807.92/361.83	c (358,0) y[1] = 392
2807.92/361.83	c (358,0) y[2] = 200
2807.92/361.83	c (358,0) y[3] = 383
2807.92/361.83	c (358,0) y[4] = 404
2807.92/361.83	c (358,0) y[5] = 200
2807.92/361.83	c (358,0) y[6] = 220
2807.92/361.83	c (358,0) y[7] = 321
2807.92/361.83	c (358,0) y[8] = 383
2807.92/361.83	c (358,0) y[9] = 145
2807.92/361.83	c (358,0) y[10] = 159
2807.92/361.83	c (358,0) y[11] = 321
2807.92/361.83	c (358,0) y[12] = 437
2807.92/361.83	c (358,0) y[13] = 145
2807.92/361.83	c (358,0) y[14] = 159
2807.92/361.83	c (358,0) y[15] = 220
2807.92/361.83	c (358,0) y[16] = 235
2807.92/361.83	c (358,0) y[17] = 392
2807.92/361.83	c (358,0) y[18] = 257
2807.92/361.83	c (358,0) y[19] = 383
2807.92/361.83	c (358,0) y[20] = 0
2807.92/361.83	c (358,0) y[21] = 0
2807.92/361.83	c (358,0) y[22] = 220
2807.92/361.83	c (358,0) y[23] = 360
2807.92/361.83	c (358,0) y[24] = 0
2807.92/361.83	s SATISFIABLE
2807.92/361.84	v <instantiation>
2807.92/361.84	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>
2807.92/361.84	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>
2807.92/361.84	v </instantiation>
2807.92/361.84	c (358,0) Show results End
2807.92/361.84	c (358,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2807.92/361.84	c (358,0) 357,358,STOP-AFTER(ALL)
2807.92/361.84	c END-Prog: Tue Sep 24 16:09:19 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 (13555 MiB free)
  memory of node 1: 16384 MiB (12071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405266-1569337498/watcher-4405266-1569337498 -o /var/tmp/evaluation-result-4405266-1569337498/solver-4405266-1569337498 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405266-1569337498.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=30135, runsolver pid=30132
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 5.71 2.85 2.17 2/212 30157
/proc/meminfo: memFree=26147064/32770624 swapFree=66956836/67108860
[pid=30135] ppid=30132 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30135/stat : 30135 (scop.sh) S 30132 30135 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510007572 115843072 349 33554432000 4194304 5098028 140723532216016 140723532213272 139695645299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9220096 140723532223229 140723532223576 140723532223576 140723532226505 0
/proc/30135/statm: 28282 349 296 221 0 87 0
[pid=30138] ppid=30135 vsize=27314120 memory=106388 CPUtime=0.11 cores=0-7
/proc/30138/stat : 30138 (java) S 30135 30135 29338 0 -1 1077944320 6627 0 0 0 9 2 0 0 20 0 20 0 510007572 27969658880 26597 33554432000 4194304 4196468 140722480282608 140722480265152 139986074250999 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
/proc/30138/statm: 6828530 26597 2815 1 0 6790935 0
[pid=30138/tid=30139] ppid=30135 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/30138/task/30139/stat : 30139 (java) R 30135 30135 29338 0 -1 4202560 4712 0 0 0 7 1 0 0 20 0 20 0 510007573 27969658880 26597 33554432000 4194304 4196468 140722480282608 139986046055200 139986060319118 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30140] ppid=30135 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30138/task/30140/stat : 30140 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 26597 33554432000 4194304 4196468 140722480282608 139986078493584 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30141] ppid=30135 vsize=27314120 memory=140364755818112 CPUtime=0 cores=0-7
/proc/30138/task/30141/stat : 30141 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 27109 33554432000 4194304 4196468 140722480282608 139985892649744 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30142] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30142/stat : 30142 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 27109 33554432000 4194304 4196468 140722480282608 139985891597456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30143] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30143/stat : 30143 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 27109 33554432000 4194304 4196468 140722480282608 139985890544656 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30144] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30144/stat : 30144 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 27109 33554432000 4194304 4196468 140722480282608 139985889491344 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30145] ppid=30135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30138/task/30145/stat : 30145 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 27109 33554432000 4194304 4196468 140722480282608 139985888438544 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30146] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30146/stat : 30146 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 27109 33554432000 4194304 4196468 140722480282608 139985887386256 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30147] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30147/stat : 30147 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 27109 33554432000 4194304 4196468 140722480282608 139985886333456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30148] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30148/stat : 30148 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 27109 33554432000 4194304 4196468 140722480282608 139985065519728 139986074262146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30149] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30149/stat : 30149 (java) S 30135 30135 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 27109 33554432000 4194304 4196468 140722480282608 139983990023456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30150] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30150/stat : 30150 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 27109 33554432000 4194304 4196468 140722480282608 139983721588336 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30151] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30151/stat : 30151 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 27109 33554432000 4194304 4196468 140722480282608 139983347079760 139986074269595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30152] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30152/stat : 30152 (java) S 30135 30135 29338 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 27109 33554432000 4194304 4196468 140722480282608 139984996657264 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30153] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30153/stat : 30153 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 27109 33554432000 4194304 4196468 140722480282608 139984995604464 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30154] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30154/stat : 30154 (java) S 30135 30135 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 27109 33554432000 4194304 4196468 140722480282608 139984994552176 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30155] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30155/stat : 30155 (java) S 30135 30135 29338 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 27109 33554432000 4194304 4196468 140722480282608 139984993499376 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30156] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30156/stat : 30156 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 27109 33554432000 4194304 4196468 140722480282608 139982849174368 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30157] ppid=30135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30138/task/30157/stat : 30157 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 27109 33554432000 4194304 4196468 140722480282608 139984992447280 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107784 KiB

[startup+0.210663 s]*
/proc/loadavg: 5.71 2.85 2.17 3/212 30157
/proc/meminfo: memFree=26125916/32770624 swapFree=66956836/67108860
[pid=30135] ppid=30132 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30135/stat : 30135 (scop.sh) S 30132 30135 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510007572 115843072 349 33554432000 4194304 5098028 140723532216016 140723532213272 139695645299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9220096 140723532223229 140723532223576 140723532223576 140723532226505 0
/proc/30135/statm: 28282 349 296 221 0 87 0
[pid=30138] ppid=30135 vsize=27314120 memory=125468 CPUtime=0.24 cores=0-7
/proc/30138/stat : 30138 (java) S 30135 30135 29338 0 -1 1077944320 12241 0 0 0 21 3 0 0 20 0 20 0 510007572 27969658880 31367 33554432000 4194304 4196468 140722480282608 140722480265152 139986074250999 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
/proc/30138/statm: 6828530 31367 2943 1 0 6790935 0
[pid=30138/tid=30139] ppid=30135 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/30138/task/30139/stat : 30139 (java) R 30135 30135 29338 0 -1 4202560 9933 0 0 0 17 3 0 0 20 0 20 0 510007573 27969658880 31367 33554432000 4194304 4196468 140722480282608 139986046059472 139986055814509 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30140] ppid=30135 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/30138/task/30140/stat : 30140 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 31367 33554432000 4194304 4196468 140722480282608 139986078493584 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30141] ppid=30135 vsize=27314120 memory=140364755846756 CPUtime=0 cores=0-7
/proc/30138/task/30141/stat : 30141 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 31367 33554432000 4194304 4196468 140722480282608 139985892649744 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30142] ppid=30135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30138/task/30142/stat : 30142 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 31367 33554432000 4194304 4196468 140722480282608 139985891597456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30143] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30143/stat : 30143 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 31367 33554432000 4194304 4196468 140722480282608 139985890544656 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30144] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30144/stat : 30144 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 31367 33554432000 4194304 4196468 140722480282608 139985889491344 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30145] ppid=30135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30138/task/30145/stat : 30145 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 31367 33554432000 4194304 4196468 140722480282608 139985888438544 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30146] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30146/stat : 30146 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 31367 33554432000 4194304 4196468 140722480282608 139985887386256 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30147] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30147/stat : 30147 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 31367 33554432000 4194304 4196468 140722480282608 139985886333456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30148] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30148/stat : 30148 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 31367 33554432000 4194304 4196468 140722480282608 139985065519728 139986074262146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30149] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30149/stat : 30149 (java) S 30135 30135 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 31367 33554432000 4194304 4196468 140722480282608 139983990023456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30150] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30150/stat : 30150 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 31367 33554432000 4194304 4196468 140722480282608 139983721588336 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30151] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30151/stat : 30151 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 31367 33554432000 4194304 4196468 140722480282608 139983347079760 139986074269595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30152] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30152/stat : 30152 (java) S 30135 30135 29338 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 31367 33554432000 4194304 4196468 140722480282608 139984996657264 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30153] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30153/stat : 30153 (java) S 30135 30135 29338 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 31367 33554432000 4194304 4196468 140722480282608 139984995604464 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30154] ppid=30135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30138/task/30154/stat : 30154 (java) S 30135 30135 29338 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 31367 33554432000 4194304 4196468 140722480282608 139984994552176 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30155] ppid=30135 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30138/task/30155/stat : 30155 (java) S 30135 30135 29338 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 510007580 27969658880 31367 33554432000 4194304 4196468 140722480282608 139984993499376 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30156] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30156/stat : 30156 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 31367 33554432000 4194304 4196468 140722480282608 139982849174368 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30157] ppid=30135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30138/task/30157/stat : 30157 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 31367 33554432000 4194304 4196468 140722480282608 139984992447280 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126864 KiB

[startup+0.31032 s]*
/proc/loadavg: 5.71 2.85 2.17 3/212 30157
/proc/meminfo: memFree=26122752/32770624 swapFree=66956836/67108860
[pid=30135] ppid=30132 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30135/stat : 30135 (scop.sh) S 30132 30135 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510007572 115843072 349 33554432000 4194304 5098028 140723532216016 140723532213272 139695645299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9220096 140723532223229 140723532223576 140723532223576 140723532226505 0
/proc/30135/statm: 28282 349 296 221 0 87 0
[pid=30138] ppid=30135 vsize=27314120 memory=129256 CPUtime=0.43 cores=0-7
/proc/30138/stat : 30138 (java) S 30135 30135 29338 0 -1 1077944320 12779 0 0 0 39 4 0 0 20 0 20 0 510007572 27969658880 32314 33554432000 4194304 4196468 140722480282608 140722480265152 139986074250999 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
/proc/30138/statm: 6828530 32314 2991 1 0 6790935 0
[pid=30138/tid=30139] ppid=30135 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/30138/task/30139/stat : 30139 (java) R 30135 30135 29338 0 -1 4202560 10298 0 0 0 26 3 0 0 20 0 20 0 510007573 27969658880 32314 33554432000 4194304 4196468 140722480282608 139986046045104 139986055814804 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30140] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30140/stat : 30140 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 32314 33554432000 4194304 4196468 140722480282608 139986078493584 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30141] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30141/stat : 30141 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 32314 33554432000 4194304 4196468 140722480282608 139985892649744 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30142] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30142/stat : 30142 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 32314 33554432000 4194304 4196468 140722480282608 139985891597456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30143] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30143/stat : 30143 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 32314 33554432000 4194304 4196468 140722480282608 139985890544656 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30144] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30144/stat : 30144 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 32314 33554432000 4194304 4196468 140722480282608 139985889491344 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30145] ppid=30135 vsize=27314120 memory=140364631599791 CPUtime=0 cores=0-7
/proc/30138/task/30145/stat : 30145 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 32314 33554432000 4194304 4196468 140722480282608 139985888438544 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30146] ppid=30135 vsize=27314120 memory=140364631602096 CPUtime=0 cores=0-7
/proc/30138/task/30146/stat : 30146 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 32314 33554432000 4194304 4196468 140722480282608 139985887386256 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30147] ppid=30135 vsize=27314120 memory=140364631604400 CPUtime=0 cores=0-7
/proc/30138/task/30147/stat : 30147 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27969658880 32314 33554432000 4194304 4196468 140722480282608 139985886333456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30148] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30148/stat : 30148 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 32314 33554432000 4194304 4196468 140722480282608 139985065519728 139986074262146 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30149] ppid=30135 vsize=27314120 memory=280729263222672 CPUtime=0 cores=0-7
/proc/30138/task/30149/stat : 30149 (java) S 30135 30135 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 32314 33554432000 4194304 4196468 140722480282608 139983990023456 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30150] ppid=30135 vsize=27314120 memory=280729263220368 CPUtime=0 cores=0-7
/proc/30138/task/30150/stat : 30150 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007577 27969658880 32314 33554432000 4194304 4196468 140722480282608 139983721588336 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30151] ppid=30135 vsize=27314120 memory=280729263227280 CPUtime=0 cores=0-7
/proc/30138/task/30151/stat : 30151 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 32314 33554432000 4194304 4196468 140722480282608 139983347079760 139986074269595 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30152] ppid=30135 vsize=27314120 memory=280729263168560 CPUtime=0 cores=0-7
/proc/30138/task/30152/stat : 30152 (java) S 30135 30135 29338 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 32314 33554432000 4194304 4196468 140722480282608 139984996657264 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30153] ppid=30135 vsize=27314120 memory=280729263241104 CPUtime=0 cores=0-7
/proc/30138/task/30153/stat : 30153 (java) S 30135 30135 29338 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 32314 33554432000 4194304 4196468 140722480282608 139984995604464 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30154] ppid=30135 vsize=27314120 memory=280729263248016 CPUtime=0.02 cores=0-7
/proc/30138/task/30154/stat : 30154 (java) R 30135 30135 29338 0 -1 4202560 243 0 0 0 2 0 0 0 20 0 20 0 510007580 27969658880 32314 33554432000 4194304 4196468 140722480282608 139984994552176 139986055795203 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30155] ppid=30135 vsize=27314120 memory=280729263245712 CPUtime=0.07 cores=0-7
/proc/30138/task/30155/stat : 30155 (java) S 30135 30135 29338 0 -1 1077944384 519 0 0 0 7 0 0 0 20 0 20 0 510007580 27969658880 32314 33554432000 4194304 4196468 140722480282608 139984993499376 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30156] ppid=30135 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30156/stat : 30156 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 32314 33554432000 4194304 4196468 140722480282608 139982849174368 139986074261205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30157] ppid=30135 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30138/task/30157/stat : 30157 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007580 27969658880 32314 33554432000 4194304 4196468 140722480282608 139984992447280 139986074262146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130652 KiB

[startup+0.700978 s]
/proc/loadavg: 5.71 2.85 2.17 2/212 30157
/proc/meminfo: memFree=26100676/32770624 swapFree=66956836/67108860
[pid=30135] ppid=30132 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30135/stat : 30135 (scop.sh) S 30132 30135 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510007572 115843072 349 33554432000 4194304 5098028 140723532216016 140723532213272 139695645299324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9220096 140723532223229 140723532223576 140723532223576 140723532226505 0
/proc/30135/statm: 28282 349 296 221 0 87 0
[pid=30138] ppid=30135 vsize=27322516 memory=165464 CPUtime=0.98 cores=0-7
/proc/30138/stat : 30138 (java) S 30135 30135 29338 0 -1 1077944320 20491 0 0 0 92 6 0 0 20 0 20 0 510007572 27978256384 41366 33554432000 4194304 4196468 140722480282608 140722480265152 139986074250999 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
/proc/30138/statm: 6830629 41366 3202 1 0 6791959 0
[pid=30138/tid=30139] ppid=30135 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/30138/task/30139/stat : 30139 (java) R 30135 30135 29338 0 -1 4202560 17544 0 0 0 62 5 0 0 20 0 20 0 510007573 27978256384 41366 33554432000 4194304 4196468 140722480282608 139986046077600 139986058294629 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30140] ppid=30135 vsize=27322516 memory=140364631810928 CPUtime=0 cores=0-7
/proc/30138/task/30140/stat : 30140 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27978256384 41366 33554432000 4194304 4196468 140722480282608 139986078493584 139986074261205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30141] ppid=30135 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/30138/task/30141/stat : 30141 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510007575 27978256384 41366 33554432000 4194304 4196468 140722480282608 139985892649744 139986074261205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0
[pid=30138/tid=30142] ppid=30135 vsize=27322516 memory=784 CPUtime=0 cores=0-7
/proc/30138/task/30142/stat : 30142 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510007575 27978256384 41366 33554432000 4194304 4196468 140722480282608 139985891597456 139986074261205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6340608 140722480284359 140722480284806 140722480284806 140722480287695 0

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

/proc/30158/task/30164/stat : 30164 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741932653456 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30165] ppid=30135 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/30158/task/30165/stat : 30165 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741931600656 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30166] ppid=30135 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/30158/task/30166/stat : 30166 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741930548368 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30167] ppid=30135 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/30158/task/30167/stat : 30167 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741929495568 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30168] ppid=30135 vsize=8414124 memory=4872558044660077418 CPUtime=0.01 cores=0-7
/proc/30158/task/30168/stat : 30168 (java) S 30135 30135 29338 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 510007920 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741493315696 139742131411586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30169] ppid=30135 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/30158/task/30169/stat : 30169 (java) S 30135 30135 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510007920 8616062976 30234 33554432000 4194304 4196468 140731546338960 139740586173216 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30170] ppid=30135 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/30158/task/30170/stat : 30170 (java) S 30135 30135 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510007920 8616062976 30234 33554432000 4194304 4196468 140731546338960 139740451951728 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30171] ppid=30135 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/30158/task/30171/stat : 30171 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139740077447248 139742131419035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30172] ppid=30135 vsize=8414124 memory=25008 CPUtime=0.06 cores=0-7
/proc/30158/task/30172/stat : 30172 (java) S 30135 30135 29338 0 -1 1077944384 525 0 0 0 6 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741492263536 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30173] ppid=30135 vsize=8414124 memory=14056 CPUtime=0.06 cores=0-7
/proc/30158/task/30173/stat : 30173 (java) S 30135 30135 29338 0 -1 1077944384 398 0 0 0 6 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741491210736 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30174] ppid=30135 vsize=8414124 memory=2116 CPUtime=0.04 cores=0-7
/proc/30158/task/30174/stat : 30174 (java) S 30135 30135 29338 0 -1 1077944384 161 0 0 0 4 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741490158448 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30175] ppid=30135 vsize=8414124 memory=2832 CPUtime=0.19 cores=0-7
/proc/30158/task/30175/stat : 30175 (java) S 30135 30135 29338 0 -1 1077944384 733 0 0 0 19 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741489105648 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30176] ppid=30135 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/30158/task/30176/stat : 30176 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139739579541856 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30177] ppid=30135 vsize=8414124 memory=1136 CPUtime=0.24 cores=0-7
/proc/30158/task/30177/stat : 30177 (java) S 30135 30135 29338 0 -1 1077944384 25 0 0 0 12 12 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741488052528 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30179] ppid=30135 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/30158/task/30179/stat : 30179 (java) S 30135 30135 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510007988 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741480019264 139742131425049 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30181] ppid=30135 vsize=8414124 memory=6196 CPUtime=0.03 cores=0-7
/proc/30158/task/30181/stat : 30181 (java) S 30135 30135 29338 0 -1 4202560 1682 0 0 0 1 2 0 0 20 0 24 0 510007989 8616062976 30234 33554432000 4194304 4196468 140731546338960 139738908442512 139742131422365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30182] ppid=30135 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30158/task/30182/stat : 30182 (java) S 30135 30135 29338 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510007989 8616062976 30234 33554432000 4194304 4196468 140731546338960 139739176877840 139742131422365 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30183] ppid=30135 vsize=8414124 memory=120936 CPUtime=0 cores=0-7
/proc/30158/task/30183/stat : 30183 (java) S 30135 30135 29338 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510007991 8616062976 30234 33554432000 4194304 4196468 140731546338960 139738640015152 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
Current children cumulated CPU time: 2805.53 s
Current children cumulated vsize: 9918024 KiB
Current children cumulated memory: 1219352 KiB

[startup+361.601 s]
/proc/loadavg: 8.12 6.55 4.07 3/217 30213
/proc/meminfo: memFree=25024596/32770624 swapFree=66956836/67108860
[pid=30135] ppid=30132 vsize=113128 memory=1476 CPUtime=6.52 cores=0-7
/proc/30135/stat : 30135 (scop.sh) S 30132 30135 29338 0 -1 4202496 583 27754 0 0 0 0 617 35 20 0 1 0 510007572 115843072 369 33554432000 4194304 5098028 140723532216016 140723532212760 139695645299324 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9220096 140723532223229 140723532223576 140723532223576 140723532226505 0
/proc/30135/statm: 28282 369 311 221 0 87 0
[pid=30158] ppid=30135 vsize=8414124 memory=120936 CPUtime=1.4 cores=0-7
/proc/30158/stat : 30158 (java) S 30135 30135 29338 0 -1 1077944320 21323 0 0 0 131 9 0 0 20 0 24 0 510007917 8616062976 30234 33554432000 4194304 4196468 140731546338960 140731546321504 139742131400439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
/proc/30158/statm: 2103531 30234 3198 1 0 2064875 0
[pid=30178] ppid=30158 vsize=1390772 memory=1096940 CPUtime=2799.52 cores=0-7
/proc/30178/stat : 30178 (manyglucose-4.1) S 30158 30135 29338 0 -1 1077944320 1452084 0 0 0 279681 271 0 0 20 0 3 0 510007988 1424150528 274235 33554432000 4194304 4454172 140733516788032 140733516786416 140038289735415 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 25 0 0 6552832 6554400 19218432 140733516792653 140733516792860 140733516792860 140733516795830 0
/proc/30178/statm: 347693 274235 422 64 0 343361 0
[pid=30178/tid=30185] ppid=30158 vsize=1390772 memory=-8599739402845188498 CPUtime=356.09 cores=0-7
/proc/30178/task/30185/stat : 30185 (manyglucose-4.1) R 30158 30135 29338 0 -1 4202560 181313 0 0 0 35581 28 0 0 20 0 3 0 510008104 1424150528 274235 33554432000 4194304 4454172 140733516788032 140038254578824 4351528 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 19218432 140733516792653 140733516792860 140733516792860 140733516795830 0
[pid=30178/tid=30188] ppid=30158 vsize=1390772 memory=7552 CPUtime=351.77 cores=0-7
/proc/30178/task/30188/stat : 30188 (manyglucose-4.1) R 30158 30135 29338 0 -1 4202560 169350 0 0 0 35152 25 0 0 20 0 3 0 510008104 1424150528 274235 33554432000 4194304 4454172 140733516788032 140038207364232 4351289 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 19218432 140733516792653 140733516792860 140733516792860 140733516795830 0
[pid=30158/tid=30159] ppid=30135 vsize=8414124 memory=1476 CPUtime=0.74 cores=0-7
/proc/30158/task/30159/stat : 30159 (java) S 30135 30135 29338 0 -1 1077944384 16389 0 0 0 70 4 0 0 20 0 24 0 510007917 8616062976 30234 33554432000 4194304 4196468 140731546338960 139742103240608 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30160] ppid=30135 vsize=8414124 memory=120936 CPUtime=0 cores=0-7
/proc/30158/task/30160/stat : 30160 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139742135642512 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30161] ppid=30135 vsize=8414124 memory=-8599739402845188498 CPUtime=0 cores=0-7
/proc/30158/task/30161/stat : 30161 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741935810832 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30162] ppid=30135 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/30158/task/30162/stat : 30162 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741934758544 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30163] ppid=30135 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/30158/task/30163/stat : 30163 (java) S 30135 30135 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741933705744 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30164] ppid=30135 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30158/task/30164/stat : 30164 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741932653456 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30165] ppid=30135 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30158/task/30165/stat : 30165 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741931600656 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30166] ppid=30135 vsize=8414124 memory=120936 CPUtime=0 cores=0-7
/proc/30158/task/30166/stat : 30166 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741930548368 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30167] ppid=30135 vsize=8414124 memory=1096888 CPUtime=0 cores=0-7
/proc/30158/task/30167/stat : 30167 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510007918 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741929495568 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30168] ppid=30135 vsize=8414124 memory=1804 CPUtime=0.01 cores=0-7
/proc/30158/task/30168/stat : 30168 (java) S 30135 30135 29338 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 510007920 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741493315696 139742131411586 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30169] ppid=30135 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/30158/task/30169/stat : 30169 (java) S 30135 30135 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510007920 8616062976 30234 33554432000 4194304 4196468 140731546338960 139740586173216 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30170] ppid=30135 vsize=8414124 memory=1096888 CPUtime=0 cores=0-7
/proc/30158/task/30170/stat : 30170 (java) S 30135 30135 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510007920 8616062976 30234 33554432000 4194304 4196468 140731546338960 139740451951728 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30171] ppid=30135 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/30158/task/30171/stat : 30171 (java) S 30135 30135 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139740077447248 139742131419035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30172] ppid=30135 vsize=8414124 memory=1804 CPUtime=0.06 cores=0-7
/proc/30158/task/30172/stat : 30172 (java) S 30135 30135 29338 0 -1 1077944384 525 0 0 0 6 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741492263536 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30173] ppid=30135 vsize=8414124 memory=916 CPUtime=0.06 cores=0-7
/proc/30158/task/30173/stat : 30173 (java) S 30135 30135 29338 0 -1 1077944384 398 0 0 0 6 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741491210736 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30174] ppid=30135 vsize=8414124 memory=4452 CPUtime=0.04 cores=0-7
/proc/30158/task/30174/stat : 30174 (java) S 30135 30135 29338 0 -1 1077944384 161 0 0 0 4 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741490158448 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30175] ppid=30135 vsize=8414124 memory=1412 CPUtime=0.19 cores=0-7
/proc/30158/task/30175/stat : 30175 (java) S 30135 30135 29338 0 -1 1077944384 733 0 0 0 19 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741489105648 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30176] ppid=30135 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/30158/task/30176/stat : 30176 (java) S 30135 30135 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139739579541856 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30177] ppid=30135 vsize=8414124 memory=7552 CPUtime=0.24 cores=0-7
/proc/30158/task/30177/stat : 30177 (java) S 30135 30135 29338 0 -1 1077944384 25 0 0 0 12 12 0 0 20 0 24 0 510007923 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741488052528 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30179] ppid=30135 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/30158/task/30179/stat : 30179 (java) S 30135 30135 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510007988 8616062976 30234 33554432000 4194304 4196468 140731546338960 139741480019264 139742131425049 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30181] ppid=30135 vsize=8414124 memory=616 CPUtime=0.03 cores=0-7
/proc/30158/task/30181/stat : 30181 (java) S 30135 30135 29338 0 -1 4202560 1682 0 0 0 1 2 0 0 20 0 24 0 510007989 8616062976 30234 33554432000 4194304 4196468 140731546338960 139738908442512 139742131422365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30182] ppid=30135 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/30158/task/30182/stat : 30182 (java) S 30135 30135 29338 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510007989 8616062976 30234 33554432000 4194304 4196468 140731546338960 139739176877840 139742131422365 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30183] ppid=30135 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/30158/task/30183/stat : 30183 (java) S 30135 30135 29338 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510007991 8616062976 30234 33554432000 4194304 4196468 140731546338960 139738640015152 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
Current children cumulated CPU time: 2807.44 s
Current children cumulated vsize: 9918024 KiB
Current children cumulated memory: 1219352 KiB

[startup+361.802 s]
/proc/loadavg: 8.12 6.55 4.07 3/217 30213
/proc/meminfo: memFree=25024596/32770624 swapFree=66956836/67108860
[pid=30135] ppid=30132 vsize=113128 memory=1476 CPUtime=6.52 cores=0-7
/proc/30135/stat : 30135 (scop.sh) S 30132 30135 29338 0 -1 4202496 583 27754 0 0 0 0 617 35 20 0 1 0 510007572 115843072 369 33554432000 4194304 5098028 140723532216016 140723532212760 139695645299324 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9220096 140723532223229 140723532223576 140723532223576 140723532226505 0
/proc/30135/statm: 28282 369 311 221 0 87 0
[pid=30158] ppid=30135 vsize=8283048 memory=134496 CPUtime=2801.4 cores=0-7
/proc/30158/stat : 30158 (java) S 30135 30135 29338 0 -1 1077944320 23138 1452112 0 0 166 10 279690 274 20 0 22 0 510007917 8481841152 33624 33554432000 4194304 4196468 140731546338960 140731546321504 139742131400439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
/proc/30158/statm: 2070762 33624 3227 1 0 2032106 0
[pid=30158/tid=30159] ppid=30135 vsize=8283048 memory=616 CPUtime=2800.45 cores=0-7
/proc/30158/task/30159/stat : 30159 (java) R 30135 30135 29338 0 -1 4202560 16608 1452112 0 0 77 4 279690 274 20 0 22 0 510007917 8481841152 33624 33554432000 4194304 4196468 140731546338960 139742103237680 139742115480926 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30160] ppid=30135 vsize=8283048 memory=1476 CPUtime=2799.64 cores=0-7
/proc/30158/task/30160/stat : 30160 (java) S 30135 30135 29338 0 -1 1077944384 1 1452112 0 0 0 0 279690 274 20 0 22 0 510007918 8481841152 33624 33554432000 4194304 4196468 140731546338960 139742135642512 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30161] ppid=30135 vsize=8283048 memory=120936 CPUtime=2799.64 cores=0-7
/proc/30158/task/30161/stat : 30161 (java) S 30135 30135 29338 0 -1 1077944384 1 1452112 0 0 0 0 279690 274 20 0 22 0 510007918 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741935810832 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30162] ppid=30135 vsize=8283048 memory=1096940 CPUtime=2799.64 cores=0-7
/proc/30158/task/30162/stat : 30162 (java) S 30135 30135 29338 0 -1 1077944384 1 1452112 0 0 0 0 279690 274 20 0 22 0 510007918 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741934758544 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30163] ppid=30135 vsize=8283048 memory=6791534058613427641 CPUtime=2799.64 cores=0-7
/proc/30158/task/30163/stat : 30163 (java) S 30135 30135 29338 0 -1 1077944384 2 1452112 0 0 0 0 279690 274 20 0 22 0 510007918 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741933705744 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30164] ppid=30135 vsize=8283048 memory=6196 CPUtime=2799.64 cores=0-7
/proc/30158/task/30164/stat : 30164 (java) S 30135 30135 29338 0 -1 1077944384 1 1452112 0 0 0 0 279690 274 20 0 22 0 510007918 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741932653456 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30165] ppid=30135 vsize=8283048 memory=784 CPUtime=2799.64 cores=0-7
/proc/30158/task/30165/stat : 30165 (java) S 30135 30135 29338 0 -1 1077944384 1 1452112 0 0 0 0 279690 274 20 0 22 0 510007918 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741931600656 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30166] ppid=30135 vsize=8283048 memory=1060 CPUtime=2799.64 cores=0-7
/proc/30158/task/30166/stat : 30166 (java) S 30135 30135 29338 0 -1 1077944384 1 1452112 0 0 0 0 279690 274 20 0 22 0 510007918 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741930548368 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30167] ppid=30135 vsize=8283048 memory=14012 CPUtime=2799.64 cores=0-7
/proc/30158/task/30167/stat : 30167 (java) S 30135 30135 29338 0 -1 1077944384 3 1452112 0 0 0 0 279690 274 20 0 22 0 510007918 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741929495568 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30168] ppid=30135 vsize=8283048 memory=25008 CPUtime=2799.65 cores=0-7
/proc/30158/task/30168/stat : 30168 (java) S 30135 30135 29338 0 -1 1077944384 11 1452112 0 0 1 0 279690 274 20 0 22 0 510007920 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741493315696 139742131411586 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30169] ppid=30135 vsize=8283048 memory=8325088176357276558 CPUtime=2799.64 cores=0-7
/proc/30158/task/30169/stat : 30169 (java) S 30135 30135 29338 0 -1 1077944384 13 1452112 0 0 0 0 279690 274 20 0 22 0 510007920 8481841152 33624 33554432000 4194304 4196468 140731546338960 139740586173216 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30170] ppid=30135 vsize=8283048 memory=120936 CPUtime=2799.64 cores=0-7
/proc/30158/task/30170/stat : 30170 (java) S 30135 30135 29338 0 -1 1077944384 21 1452112 0 0 0 0 279690 274 20 0 22 0 510007920 8481841152 33624 33554432000 4194304 4196468 140731546338960 139740451951728 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30171] ppid=30135 vsize=8283048 memory=1096888 CPUtime=2799.64 cores=0-7
/proc/30158/task/30171/stat : 30171 (java) S 30135 30135 29338 0 -1 1077944384 1 1452112 0 0 0 0 279690 274 20 0 22 0 510007923 8481841152 33624 33554432000 4194304 4196468 140731546338960 139740077447248 139742131419035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30172] ppid=30135 vsize=8283048 memory=1060 CPUtime=2799.75 cores=0-7
/proc/30158/task/30172/stat : 30172 (java) R 30135 30135 29338 0 -1 4202560 563 1452112 0 0 11 0 279690 274 20 0 22 0 510007923 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741492249760 139742116327029 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30173] ppid=30135 vsize=8283048 memory=14012 CPUtime=2799.75 cores=0-7
/proc/30158/task/30173/stat : 30173 (java) R 30135 30135 29338 0 -1 4202560 667 1452112 0 0 11 0 279690 274 20 0 22 0 510007923 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741491210736 139742110661750 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30174] ppid=30135 vsize=8283048 memory=1476 CPUtime=2799.74 cores=0-7
/proc/30158/task/30174/stat : 30174 (java) R 30135 30135 29338 0 -1 4202560 589 1452112 0 0 10 0 279690 274 20 0 22 0 510007923 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741490158576 139742112921557 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30175] ppid=30135 vsize=8283048 memory=6791534058613427641 CPUtime=2799.9 cores=0-7
/proc/30158/task/30175/stat : 30175 (java) S 30135 30135 29338 0 -1 1077944384 1049 1452112 0 0 26 0 279690 274 20 0 22 0 510007923 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741489105648 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30176] ppid=30135 vsize=8283048 memory=2116 CPUtime=2799.64 cores=0-7
/proc/30158/task/30176/stat : 30176 (java) S 30135 30135 29338 0 -1 1077944384 3 1452112 0 0 0 0 279690 274 20 0 22 0 510007923 8481841152 33624 33554432000 4194304 4196468 140731546338960 139739579541856 139742131410645 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30177] ppid=30135 vsize=8283048 memory=516 CPUtime=2799.88 cores=0-7
/proc/30158/task/30177/stat : 30177 (java) S 30135 30135 29338 0 -1 1077944384 25 1452112 0 0 12 12 279690 274 20 0 22 0 510007923 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741488052528 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30179] ppid=30135 vsize=8283048 memory=1556 CPUtime=2799.64 cores=0-7
/proc/30158/task/30179/stat : 30179 (java) S 30135 30135 29338 0 -1 1077944384 24 1452112 0 0 0 0 279690 274 20 0 22 0 510007988 8481841152 33624 33554432000 4194304 4196468 140731546338960 139741480018448 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
[pid=30158/tid=30183] ppid=30135 vsize=8283048 memory=53344 CPUtime=2799.64 cores=0-7
/proc/30158/task/30183/stat : 30183 (java) S 30135 30135 29338 0 -1 1077944384 11 1452112 0 0 0 0 279690 274 20 0 22 0 510007991 8481841152 33624 33554432000 4194304 4196468 140731546338960 139738640016944 139742131411586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17473536 140731546342367 140731546342534 140731546342534 140731546345423 0
Current children cumulated CPU time: 2807.92 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135972 KiB

Child status: 0
Real time (s): 361.861
CPU time (s): 2808.08
CPU user time (s): 2804.86
CPU system time (s): 3.22321
CPU usage (%): 776.012
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1732740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2804.86
system time used= 3.22321
maximum resident set size= 1736504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1503779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24884
involuntary context switches= 26956


# summary of solver processes directly reported to runsolver:
#   pid: 30135
#   total CPU time (s): 2808.08
#   total CPU user time (s): 2804.86
#   total CPU system time (s): 3.22321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.25087 second user time and 5.28113 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 16:03:17
IDJOB=4405266
IDBENCH=127806
IDSOLVER=2867
FILE ID=node105/4405266-1569337498
RUNJOBID= node105-1569332278-29365
PBS_JOBID= 21705070
Free space on /var/tmp= 13180 MiB

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

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

MD5SUM BENCH= 9c35d8cb8d03f0164c4f0b6ed4b5e670
RANDOM SEED=586788715

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26242424 kB
MemAvailable:   31799768 kB
Buffers:          110368 kB
Cached:          5579616 kB
SwapCached:        48352 kB
Active:          2826984 kB
Inactive:        2911888 kB
Active(anon):       4456 kB
Inactive(anon):    99568 kB
Active(file):    2822528 kB
Inactive(file):  2812320 kB
Unevictable:      110928 kB
Mlocked:          110928 kB
SwapTotal:      67108860 kB
SwapFree:       66956836 kB
Dirty:             20640 kB
Writeback:             0 kB
AnonPages:        420996 kB
Mapped:            54848 kB
Shmem:             45912 kB
Slab:             379932 kB
SReclaimable:     350956 kB
SUnreclaim:        28976 kB
KernelStack:        3408 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 16:09:19