Trace number 4392716

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 2704.26 354.091

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6921-serial-file.bin HOME/instance-4392716-1568430273.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 05:03:53 CEST 2019
0.66/0.57	c PID: 6924
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.37/0.91	c (0,0) Parsing End
1.37/0.92	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 186
1.37/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.92	c (0,0) Constraint Name Generate Begin
1.37/0.92	c (0,0) Ctr:HOME/instance-4392716-1568430273.xml,Le:NoOverlap:Num:Var
1.37/0.92	c (0,0) Constraint Name Generate End
1.37/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.92	c (0,0) CSP to CSPinCNF Begin
1.37/1.00	c (0,0) translated 6 (10%) constraints
1.37/1.00	c (0,0) translated 11 (20%) constraints
1.53/1.01	c (0,0) translated 16 (30%) constraints
1.53/1.01	c (0,0) translated 21 (40%) constraints
1.53/1.01	c (0,0) translated 26 (50%) constraints
1.53/1.02	c (0,0) translated 31 (60%) constraints
1.53/1.02	c (0,0) translated 36 (70%) constraints
1.53/1.02	c (0,0) translated 41 (80%) constraints
1.53/1.02	c (0,0) translated 46 (90%) constraints
2.12/1.27	c (0,0) translated 51 (100%) constraints
2.12/1.27	c (0,0) ===========================================
2.12/1.29	c (0,0) Hybrid: #OE=48, #LE=0
2.12/1.29	c (0,0) Hybrid
2.12/1.29	c (0,0) ===========================================
2.12/1.29	c (0,0) translated 33 (10%) constraints
2.42/1.30	c (0,0) translated 66 (20%) constraints
2.42/1.31	c (0,0) translated 98 (30%) constraints
2.42/1.32	c (0,0) translated 131 (40%) constraints
2.42/1.32	c (0,0) translated 163 (50%) constraints
2.42/1.33	c (0,0) translated 196 (60%) constraints
2.42/1.33	c (0,0) translated 229 (70%) constraints
2.42/1.33	c (0,0) translated 261 (80%) constraints
2.42/1.34	c (0,0) translated 294 (90%) constraints
2.42/1.34	c (0,0) translated 326 (100%) constraints
2.42/1.35	c (0,0) CSP to CSPinCNF End
2.42/1.35	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 185
2.42/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.42/1.35	c (0,0) CSPinCNF Propagation Begin
2.42/1.38	c (0,0) 0 values, 8 unsatisfiable literals, and 49 valid clauses are removed
2.42/1.38	c (0,0) CSPinCNF Propagation End
2.42/1.38	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 185
2.42/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.42/1.38	c (0,0) Hybrid: #OE=48, #LE=0
2.42/1.38	c (0,0) Simplify CSPinCNF Begin
2.79/1.48	c (0,0) Simplify CSPinCNF End
2.79/1.48	c (0,0) CSP: 48 int (0 aux), 1096 bool (1096 aux), 1373 ctr, max domain size 185
2.79/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.79/1.48	c (0,0) Calculate Precise Domain Begin
2.79/1.48	c (0,0) 0 values are removed by re-calculation
2.79/1.48	c (0,0) Calculate Precise Domain End
2.79/1.48	c (0,0) CSP: 48 int (0 aux), 1096 bool (1096 aux), 1373 ctr, max domain size 185
2.79/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.79/1.48	c (0,0) CSPinCNF to SatSolver Begin
4.19/1.80	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 24593 SAT clauses)
4.61/1.90	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 41515 SAT clauses)
4.61/1.98	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 57513 SAT clauses)
4.87/2.05	c (1,1) 550 (40 %) CSP clauses are encoded (0 SAT variables, 73005 SAT clauses)
4.99/2.11	c (1,1) 687 (50 %) CSP clauses are encoded (0 SAT variables, 88234 SAT clauses)
4.99/2.18	c (1,1) 824 (60 %) CSP clauses are encoded (0 SAT variables, 102559 SAT clauses)
5.10/2.23	c (1,1) 962 (70 %) CSP clauses are encoded (0 SAT variables, 116115 SAT clauses)
5.10/2.29	c (1,1) 1099 (80 %) CSP clauses are encoded (0 SAT variables, 128664 SAT clauses)
5.21/2.34	c (1,1) 1236 (90 %) CSP clauses are encoded (0 SAT variables, 140005 SAT clauses)
5.21/2.37	c (1,1) 1373 (100 %) CSP clauses are encoded (0 SAT variables, 148016 SAT clauses)
5.21/2.37	c (1,1) CSPinCNF to SatSolver End
5.21/2.37	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.21/2.37	c (1,1) 8538 bool, 148061 clause
5.21/2.37	c (1,1) Export Begin
5.34/2.46	c (1,1) Export to HOME/scop-6921-serial-file.bin
5.34/2.46	c (1,1) Export End
5.34/2.46	c (1,1) Export File Size: 0.01 MB
5.34/2.46	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.34/2.46	c END-Prog: Sat Sep 14 05:03:55 CEST 2019
5.34/2.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6921-serial-file.bin
5.48/2.94	c (0,0) Read Serial File Begin
5.48/2.94	c (0,0) HOME/scop-6921-serial-file.bin
6.31/3.14	c (0,0) Read Serial File End
6.31/3.15	
6.31/3.15	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.31/3.15	(Solving Process)
6.31/3.15	
6.31/3.17	c BEGIN-Prog: Sat Sep 14 05:03:55 CEST 2019
6.31/3.17	c PID: 6944
6.31/3.17	c IP: 172.20.3.146
6.31/3.17	c HOST: node146.alineos.net
6.31/3.18	c (0,0) SatSolver.solve Begin
6.31/3.18	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392716-1568430273.xml-scop-6924.cnf
6.48/3.21	c (0,0) c
6.48/3.21	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
6.48/3.21	c (0,0) c
6.48/3.21	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.48/3.21	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.48/3.21	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.48/3.21	c (0,0) c |                                                                                                       |
6.48/3.25	c (0,0) c |  Number of variables:          8538                                                                   |
6.48/3.25	c (0,0) c |  Number of clauses:          148061                                                                   |
6.48/3.25	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.48/3.25	c (0,0) c |                                                                                                       |
6.62/3.39	c (0,0) c |  Simplification time:          0.13 s                                                                 |
6.62/3.39	c (0,0) c |                                                                                                       |
6.62/3.39	c (0,0) c |  Generating clones                                                                                    |
6.62/3.43	c (0,0) c |  all clones generated. Memory =   104.39Mb.                                                           |
6.62/3.43	c (0,0) c ========================================================================================================|
6.62/3.43	c (0,0) c
6.62/3.43	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.62/3.43	c (0,0) c
6.62/3.43	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.62/3.43	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.62/3.43	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.62/3.43	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.62/3.43	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.62/3.43	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.62/3.43	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.62/3.43	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.62/3.43	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.62/3.43	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.62/3.43	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.62/3.43	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.62/3.43	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.62/3.43	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.62/3.43	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.62/3.43	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.62/3.43	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.62/3.43	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.62/3.43	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
243.40/33.18	c (30,0) c
243.40/33.18	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
243.40/33.18	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
243.40/33.18	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
243.40/33.18	c (30,0) c |  0 |    560 |     259988 |     131437 |    44242 |    40057 |    18117 |   121319 |    14163 |      233 |  20 |  0.738 |
243.40/33.18	c (30,0) c |  1 |    555 |     258557 |     131536 |    42661 |    40155 |    18005 |   122248 |    14058 |      235 |  20 |  0.738 |
243.40/33.18	c (30,0) c |  2 |    643 |     271826 |     135717 |    45934 |    44340 |    18854 |   125161 |    14397 |      245 |  20 |  0.738 |
243.40/33.18	c (30,0) c |  3 |    640 |     279140 |     136764 |    49909 |    45381 |    19413 |   126194 |    14608 |      246 |  20 |  0.738 |
243.40/33.18	c (30,0) c |  4 |    615 |     274703 |     136536 |    45273 |    45154 |    18757 |   127239 |    14981 |      247 |  20 |  0.738 |
243.40/33.18	c (30,0) c |  5 |    620 |     270705 |     136968 |    44152 |    45587 |    18799 |   127194 |    14914 |      248 |  20 |  0.738 |
243.40/33.18	c (30,0) c |  6 |    633 |     273667 |     135926 |    46509 |    44537 |    19685 |   123783 |    14636 |      241 |  20 |  0.738 |
243.40/33.18	c (30,0) c |  7 |    616 |     275088 |     139213 |    43530 |    25025 |    19438 |   127435 |    14684 |      250 |  20 |  0.738 |
243.40/33.18	c (30,0) c 
243.40/33.18	c (30,0) c synthesis     1084097 conflicts   364217899 propagations     4579 conflicts/sec  1538378 propagations/sec
243.40/33.18	c (30,0) c real: 29.9642 s, cpu: 236.755 s, memory: 680.35 Mb
479.69/63.18	c (60,0) c
479.69/63.18	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
479.69/63.18	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
479.69/63.18	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
479.69/63.18	c (60,0) c |  0 |    936 |     416802 |     219101 |    49389 |    50881 |    28816 |   190833 |    22805 |      460 |  20 |  0.972 |
479.69/63.18	c (60,0) c |  1 |   1005 |     416198 |     216473 |    48384 |    48681 |    27898 |   189744 |    22875 |      456 |  20 |  0.972 |
479.69/63.18	c (60,0) c |  2 |   1017 |     422083 |     219930 |    50009 |    51067 |    28031 |   193672 |    22774 |      469 |  20 |  0.972 |
479.69/63.18	c (60,0) c |  3 |   1018 |     426823 |     219908 |    52497 |    51949 |    28169 |   190807 |    22623 |      457 |  20 |  0.972 |
479.69/63.18	c (60,0) c |  4 |   1048 |     423515 |     218013 |    49137 |    49726 |    27619 |   193041 |    23368 |      462 |  20 |  0.972 |
479.69/63.18	c (60,0) c |  5 |   1033 |     423561 |     223664 |    47038 |    55033 |    27372 |   196601 |    23837 |      474 |  20 |  0.972 |
479.69/63.18	c (60,0) c |  6 |   1045 |     428122 |     222507 |    49274 |    54404 |    28587 |   193311 |    23166 |      466 |  20 |  0.972 |
479.69/63.18	c (60,0) c |  7 |   1019 |     435479 |     228801 |    46597 |    30455 |    30195 |   192517 |    23329 |      476 |  20 |  0.972 |
479.69/63.18	c (60,0) c 
479.69/63.18	c (60,0) c synthesis     1768399 conflicts   614385640 propagations     3739 conflicts/sec  1299185 propagations/sec
479.69/63.18	c (60,0) c real: 59.9642 s, cpu: 472.901 s, memory: 680.35 Mb
709.27/92.18	c (89,0) c
709.27/92.18	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
709.27/92.18	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
709.27/92.18	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
709.27/92.18	c (89,0) c |  0 |   1185 |     545333 |     294849 |    52061 |    63305 |    37545 |   248065 |    29866 |      677 |  20 |  0.972 |
709.27/92.18	c (89,0) c |  1 |   1273 |     548410 |     295487 |    50623 |    64058 |    36452 |   251706 |    29914 |      684 |  20 |  0.972 |
709.27/92.18	c (89,0) c |  2 |   1317 |     551454 |     296039 |    52077 |    64334 |    36202 |   251497 |    29434 |      682 |  20 |  0.972 |
709.27/92.18	c (89,0) c |  3 |   1352 |     562300 |     297416 |    54274 |    65930 |    36961 |   250439 |    29729 |      682 |  20 |  0.972 |
709.27/92.18	c (89,0) c |  4 |   1336 |     551875 |     291871 |    51096 |    60303 |    35873 |   247516 |    30199 |      679 |  20 |  0.972 |
709.27/92.18	c (89,0) c |  5 |   1337 |     547920 |     296122 |    48879 |    64470 |    35456 |   251162 |    30498 |      683 |  20 |  0.972 |
709.27/92.18	c (89,0) c |  6 |   1418 |     550268 |     291824 |    50988 |    60300 |    35623 |   247608 |    29704 |      667 |  20 |  0.972 |
709.27/92.18	c (89,0) c |  7 |   1373 |     566941 |     302926 |    48517 |    71465 |    38190 |   249863 |    30064 |      687 |  20 |  0.972 |
709.27/92.18	c (89,0) c 
709.27/92.18	c (89,0) c synthesis     2366534 conflicts   829874838 propagations     3370 conflicts/sec  1181674 propagations/sec
709.27/92.18	c (89,0) c real: 88.9642 s, cpu: 702.288 s, memory: 709.99 Mb
930.28/121.17	c (118,0) c
930.28/121.17	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
930.28/121.17	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
930.28/121.17	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
930.28/121.17	c (118,0) c |  0 |   1418 |     645920 |     354295 |    53651 |    48668 |    43834 |   291040 |    35020 |      866 |  20 |  0.972 |
930.28/121.17	c (118,0) c |  1 |   1536 |     657581 |     359608 |    52412 |    54010 |    42943 |   297018 |    35108 |      884 |  20 |  0.972 |
930.28/121.17	c (118,0) c |  2 |   1614 |     660698 |     359403 |    53736 |    53739 |    42728 |   294298 |    34933 |      884 |  20 |  0.972 |
930.28/121.17	c (118,0) c |  3 |   1658 |     670294 |     359742 |    55212 |    54125 |    43084 |   296894 |    35041 |      884 |  20 |  0.973 |
930.28/121.17	c (118,0) c |  4 |   1545 |     650187 |     351562 |    51970 |    45929 |    41770 |   294628 |    35389 |      873 |  20 |  0.973 |
930.28/121.17	c (118,0) c |  5 |   1616 |     660006 |     361895 |    49946 |    56241 |    41986 |   297979 |    35987 |      884 |  20 |  0.972 |
930.28/121.17	c (118,0) c |  6 |   1658 |     656509 |     354668 |    51815 |    49049 |    41903 |   292970 |    35119 |      865 |  20 |  0.972 |
930.28/121.17	c (118,0) c |  7 |   1632 |     665239 |     360771 |    49755 |    55162 |    44222 |   289000 |    34620 |      864 |  20 |  0.972 |
930.28/121.17	c (118,0) c 
930.28/121.17	c (118,0) c synthesis     2861944 conflicts  1010780939 propagations     3101 conflicts/sec  1095142 propagations/sec
930.28/121.17	c (118,0) c real: 117.967 s, cpu: 922.968 s, memory: 710.00 Mb
1153.10/151.18	c (148,0) c
1153.10/151.18	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1153.10/151.18	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1153.10/151.18	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1153.10/151.18	c (148,0) c |  0 |   1625 |     745469 |     414757 |    54488 |    68149 |    49959 |   334626 |    39867 |     1067 |  20 |  0.972 |
1153.10/151.18	c (148,0) c |  1 |   1762 |     756521 |     419636 |    53429 |    73043 |    48866 |   339932 |    40029 |     1086 |  20 |  0.972 |
1153.10/151.18	c (148,0) c |  2 |   1857 |     760095 |     418443 |    54509 |    71814 |    48817 |   339993 |    39906 |     1086 |  20 |  0.972 |
1153.10/151.18	c (148,0) c |  3 |   1893 |     765278 |     417706 |    55643 |    71103 |    48501 |   340365 |    39804 |     1086 |  20 |  0.973 |
1153.10/151.18	c (148,0) c |  4 |   1767 |     750540 |     412006 |    52812 |    65402 |    47932 |   338284 |    40225 |     1074 |  20 |  0.972 |
1153.10/151.18	c (148,0) c |  5 |   1818 |     758699 |     422214 |    50839 |    75595 |    48240 |   339166 |    40956 |     1086 |  20 |  0.972 |
1153.10/151.18	c (148,0) c |  6 |   1806 |     757137 |     418127 |    52502 |    71519 |    48221 |   337168 |    39855 |     1072 |  20 |  0.972 |
1153.10/151.18	c (148,0) c |  7 |   1820 |     763266 |     421374 |    50796 |    74783 |    50536 |   332071 |    39059 |     1066 |  20 |  0.972 |
1153.10/151.18	c (148,0) c 
1153.10/151.18	c (148,0) c synthesis     3344263 conflicts  1184084953 propagations     2919 conflicts/sec  1033679 propagations/sec
1153.10/151.18	c (148,0) c real: 147.964 s, cpu: 1145.51 s, memory: 774.00 Mb
1367.21/180.17	c (177,0) c
1367.21/180.17	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1367.21/180.17	c (177,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1367.21/180.17	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1367.21/180.17	c (177,0) c |  0 |   1823 |     837687 |     471854 |    55284 |    81656 |    55506 |   372301 |    44468 |     1271 |  20 |  0.972 |
1367.21/180.17	c (177,0) c |  1 |   1919 |     840467 |     472207 |    53957 |    82022 |    53912 |   374515 |    43986 |     1277 |  20 |  0.972 |
1367.21/180.17	c (177,0) c |  2 |   2103 |     848127 |     470510 |    55015 |    80300 |    53620 |   375018 |    44053 |     1273 |  20 |  0.972 |
1367.21/180.17	c (177,0) c |  3 |   1965 |     844095 |     471190 |    55972 |    80994 |    53656 |   375320 |    43430 |     1277 |  20 |  0.972 |
1367.21/180.17	c (177,0) c |  4 |   1997 |     841243 |     468196 |    53333 |    78000 |    53190 |   375986 |    44844 |     1277 |  20 |  0.972 |
1367.21/180.17	c (177,0) c |  5 |   1949 |     840997 |     474595 |    51403 |    84386 |    53532 |   375095 |    45040 |     1277 |  20 |  0.972 |
1367.21/180.17	c (177,0) c |  6 |   1960 |     845041 |     473434 |    52861 |    83235 |    53061 |   375641 |    44210 |     1275 |  20 |  0.972 |
1367.21/180.17	c (177,0) c |  7 |   2056 |     852914 |     474412 |    53251 |    84227 |    55416 |   369590 |    43282 |     1257 |  20 |  0.972 |
1367.21/180.17	c (177,0) c 
1367.21/180.17	c (177,0) c synthesis     3776398 conflicts  1341819750 propagations     2778 conflicts/sec   987124 propagations/sec
1367.21/180.17	c (177,0) c real: 176.964 s, cpu: 1359.32 s, memory: 710.00 Mb
1603.66/210.17	c (207,0) c
1603.66/210.17	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
1603.66/210.17	c (207,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1603.66/210.17	c (207,0) c |------------------------------------------------------------------------------------------------------------------------|
1603.66/210.17	c (207,0) c |  0 |   2112 |     940010 |     534484 |    55903 |    49295 |    61103 |   412990 |    49631 |     1511 |  20 |  0.972 |
1603.66/210.17	c (207,0) c |  1 |   2120 |     941166 |     534962 |    54859 |    49767 |    60221 |   414254 |    48987 |     1513 |  20 |  0.972 |
1603.66/210.17	c (207,0) c |  2 |   2249 |     939224 |     529094 |    55426 |    92697 |    59195 |   410117 |    48550 |     1499 |  20 |  0.972 |
1603.66/210.17	c (207,0) c |  3 |   2111 |     947383 |     538056 |    56383 |    52866 |    59488 |   414940 |    48340 |     1519 |  20 |  0.973 |
1603.66/210.17	c (207,0) c |  4 |   2234 |     940710 |     528904 |    53886 |    92508 |    58434 |   416677 |    49836 |     1516 |  20 |  0.972 |
1603.66/210.17	c (207,0) c |  5 |   2187 |     938616 |     534369 |    52203 |    49176 |    59150 |   413601 |    49710 |     1508 |  20 |  0.972 |
1603.66/210.17	c (207,0) c |  6 |   2104 |     948831 |     540692 |    53617 |    55501 |    59019 |   416629 |    48930 |     1519 |  20 |  0.972 |
1603.66/210.17	c (207,0) c |  7 |   2245 |     952391 |     539002 |    53636 |    53814 |    60799 |   411012 |    47828 |     1499 |  20 |  0.972 |
1603.66/210.17	c (207,0) c 
1603.66/210.17	c (207,0) c synthesis     4279563 conflicts  1523193582 propagations     2682 conflicts/sec   954687 propagations/sec
1603.66/210.17	c (207,0) c real: 206.964 s, cpu: 1595.49 s, memory: 774.00 Mb
1834.45/239.17	c (236,0) c
1834.45/239.17	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
1834.45/239.17	c (236,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1834.45/239.17	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
1834.45/239.17	c (236,0) c |  0 |   2342 |    1031071 |     591299 |    56349 |    54652 |    66050 |   446785 |    53916 |     1734 |  20 |  1.007 |
1834.45/239.17	c (236,0) c |  1 |   2330 |    1036332 |     592826 |    55911 |    56205 |    65586 |   448831 |    53447 |     1741 |  20 |  1.007 |
1834.45/239.17	c (236,0) c |  2 |   2407 |    1027374 |     584676 |    55933 |    99393 |    64096 |   446093 |    52606 |     1721 |  20 |  1.007 |
1834.45/239.17	c (236,0) c |  3 |   2255 |    1031988 |     592888 |    56655 |    56238 |    64219 |   448462 |    52486 |     1731 |  20 |  1.007 |
1834.45/239.17	c (236,0) c |  4 |   2432 |    1031016 |     585315 |    54184 |   100001 |    63407 |   450773 |    54047 |     1741 |  20 |  1.007 |
1834.45/239.17	c (236,0) c |  5 |   2390 |    1030527 |     592654 |    52972 |    55998 |    64054 |   449866 |    54144 |     1741 |  20 |  1.007 |
1834.45/239.17	c (236,0) c |  6 |   2252 |    1032732 |     595548 |    53863 |    58912 |    63050 |   449229 |    53015 |     1741 |  20 |  1.008 |
1834.45/239.17	c (236,0) c |  7 |   2384 |    1048392 |     602959 |    54668 |    66322 |    66513 |   447157 |    52266 |     1741 |  20 |  1.007 |
1834.45/239.17	c (236,0) c 
1834.45/239.17	c (236,0) c synthesis     4738165 conflicts  1689033722 propagations     2595 conflicts/sec   925165 propagations/sec
1834.45/239.17	c (236,0) c real: 235.964 s, cpu: 1825.66 s, memory: 774.00 Mb
2049.02/268.17	c (265,0) c
2049.02/268.17	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2049.02/268.17	c (265,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2049.02/268.17	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2049.02/268.17	c (265,0) c |  0 |   2505 |    1102244 |     637282 |    56655 |   100635 |    69948 |   475516 |    57445 |     1926 |  20 |  1.007 |
2049.02/268.17	c (265,0) c |  1 |   2528 |    1110303 |     639507 |    56233 |   102886 |    69555 |   478110 |    56993 |     1938 |  20 |  1.007 |
2049.02/268.17	c (265,0) c |  2 |   2534 |    1102404 |     633259 |    56164 |    96623 |    67998 |   475734 |    55909 |     1918 |  20 |  1.007 |
2049.02/268.17	c (265,0) c |  3 |   2353 |    1106208 |     642314 |    56803 |   105664 |    68644 |   478376 |    55744 |     1930 |  20 |  1.007 |
2049.02/268.17	c (265,0) c |  4 |   2585 |    1103415 |     631530 |    54430 |    94879 |    67720 |   478681 |    57313 |     1926 |  20 |  1.007 |
2049.02/268.17	c (265,0) c |  5 |   2569 |    1104867 |     639747 |    53254 |   103091 |    68169 |   479758 |    57694 |     1937 |  20 |  1.007 |
2049.02/268.17	c (265,0) c |  6 |   2369 |    1105349 |     642112 |    54089 |   105476 |    67187 |   480243 |    56529 |     1937 |  20 |  1.007 |
2049.02/268.17	c (265,0) c |  7 |   2462 |    1118621 |     650881 |    55065 |    60264 |    70674 |   477451 |    54979 |     1938 |  20 |  1.007 |
2049.02/268.17	c (265,0) c 
2049.02/268.17	c (265,0) c synthesis     5116632 conflicts  1828645317 propagations     2508 conflicts/sec   896329 propagations/sec
2049.02/268.17	c (265,0) c real: 264.964 s, cpu: 2040.15 s, memory: 710.00 Mb
2269.40/297.17	c (294,0) c
2269.40/297.17	c (294,0) c |------------------------------------------------------------------------------------------------------------------------|
2269.40/297.17	c (294,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2269.40/297.17	c (294,0) c |------------------------------------------------------------------------------------------------------------------------|
2269.40/297.17	c (294,0) c |  0 |   2685 |    1181513 |     687353 |    57220 |    96732 |    74505 |   507943 |    61179 |     2131 |  20 |  1.007 |
2269.40/297.17	c (294,0) c |  1 |   2693 |    1189269 |     690262 |    56682 |    99656 |    74184 |   511544 |    60538 |     2149 |  20 |  1.009 |
2269.40/297.17	c (294,0) c |  2 |   2615 |    1184598 |     690015 |    56487 |    99405 |    72934 |   510543 |    59489 |     2139 |  20 |  1.007 |
2269.40/297.17	c (294,0) c |  3 |   2428 |    1184011 |     695488 |    57197 |   104870 |    73764 |   511586 |    59231 |     2148 |  20 |  1.007 |
2269.40/297.17	c (294,0) c |  4 |   2711 |    1175690 |     679788 |    54889 |    89160 |    71962 |   510141 |    60575 |     2131 |  20 |  1.009 |
2269.40/297.17	c (294,0) c |  5 |   2722 |    1184807 |     691428 |    53578 |   100807 |    72951 |   512378 |    61323 |     2148 |  20 |  1.007 |
2269.40/297.17	c (294,0) c |  6 |   2503 |    1183288 |     693447 |    54351 |   102831 |    71562 |   514139 |    60094 |     2150 |  20 |  1.007 |
2269.40/297.17	c (294,0) c |  7 |   2588 |    1199507 |     702983 |    56103 |   112366 |    75526 |   509835 |    58805 |     2149 |  20 |  1.007 |
2269.40/297.17	c (294,0) c 
2269.40/297.17	c (294,0) c synthesis     5530764 conflicts  1977253181 propagations     2447 conflicts/sec   874749 propagations/sec
2269.40/297.17	c (294,0) c real: 293.964 s, cpu: 2260.37 s, memory: 838.00 Mb
2496.36/326.17	c (323,0) c
2496.36/326.17	c (323,0) c |------------------------------------------------------------------------------------------------------------------------|
2496.36/326.17	c (323,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2496.36/326.17	c (323,0) c |------------------------------------------------------------------------------------------------------------------------|
2496.36/326.17	c (323,0) c |  0 |   2878 |    1267377 |     742566 |    57549 |    95356 |    79116 |   540660 |    65353 |     2367 |  20 |  1.007 |
2497.10/326.25	c (323,0) c |  1 |   2855 |    1266889 |     740234 |    56958 |    93037 |    78938 |   540904 |    64385 |     2371 |  20 |  1.007 |
2497.10/326.25	c (323,0) c |  2 |   2742 |    1266404 |     744850 |    56691 |    97652 |    77508 |   543262 |    63212 |     2373 |  20 |  1.007 |
2497.10/326.25	c (323,0) c |  3 |   2552 |    1256334 |     743512 |    57526 |    96308 |    77685 |   539643 |    62575 |     2355 |  20 |  1.008 |
2497.10/326.25	c (323,0) c |  4 |   2879 |    1261872 |     736024 |    55364 |    88818 |    76893 |   544121 |    64823 |     2373 |  20 |  1.007 |
2497.10/326.25	c (323,0) c |  5 |   2903 |    1261270 |     741608 |    53712 |    94405 |    76905 |   543695 |    64700 |     2371 |  20 |  1.007 |
2497.10/326.25	c (323,0) c |  6 |   2588 |    1263807 |     747862 |    54747 |   100656 |    76209 |   544650 |    63749 |     2373 |  20 |  1.007 |
2497.10/326.25	c (323,0) c |  7 |   2716 |    1277856 |     755473 |    56356 |   108265 |    79644 |   540898 |    62263 |     2372 |  20 |  1.007 |
2497.10/326.25	c (323,0) c 
2497.10/326.25	c (323,0) c synthesis     5952129 conflicts  2129746035 propagations     2393 conflicts/sec   856351 propagations/sec
2497.10/326.25	c (323,0) c real: 322.964 s, cpu: 2487 s, memory: 774.00 Mb
2703.80/353.93	c (351,0) c
2703.80/353.93	c (351,0) c real time : 350.733 s
2703.80/353.93	c (351,0) c cpu time  : 2693.89 s
2703.80/353.93	c (351,0) c
2703.80/353.93	c (351,0) c
2703.80/353.94	c (351,0) c
2703.80/353.94	c (351,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2703.80/353.94	c (351,0) c
2703.80/353.94	c (351,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.94	c (351,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2703.80/353.94	c (351,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.94	c (351,0) c | Conflicts     |         6318531 |     789919 |     785149 |     791552 |     787920 |     778956 |     789003 |     794004 |     802028 |
2703.80/353.94	c (351,0) c | Decisions     |        10678383 |    1340078 |    1337493 |    1338990 |    1323647 |    1327650 |    1332869 |    1330323 |    1347333 |
2703.80/353.94	c (351,0) c | Propagations  |      2265784008 |  281475327 |  283803515 |  288904485 |  285484904 |  280544992 |  278951175 |  282845247 |  283774363 |
2703.80/353.94	c (351,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
2703.80/353.94	c (351,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
2703.80/353.94	c (351,0) c | Restarts      |           23103 |       3005 |       3025 |       2867 |       2661 |       3037 |       3035 |       2652 |       2821 |
2703.80/353.94	c (351,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2703.80/353.94	c (351,0) c | PropBinClauses|      2590320909 |  321740870 |  323349732 |  329692896 |  326753089 |  321390139 |  319687504 |  323664736 |  324041943 |
2703.80/353.94	c (351,0) c | PropPreBlocker|     68219577784 | 8503085040 | 8508768816 | 8547930142 | 8493272675 | 8499709908 | 8509146484 | 8584008019 | 8573656700 |
2703.80/353.94	c (351,0) c | PropNotBlocker|     18807572250 | 2369303225 | 2377351441 | 2355533786 | 2321043091 | 2374443089 | 2363718216 | 2322652924 | 2323526478 |
2703.80/353.94	c (351,0) c | LitFullScans  |    123612746178 |15469200693 |15469209987 |15464295083 |15343704334 |15464264529 |15463491220 |15469443137 |15469137195 |
2703.80/353.94	c (351,0) c | LitScanFracts |        10403366 |    1189791 |    1203498 |    1656577 |    1107018 |    1209716 |    1483219 |    1420543 |    1133004 |
2703.80/353.94	c (351,0) c | DecisionLevel0|           23105 |       3005 |       3026 |       2868 |       2661 |       3037 |       3035 |       2652 |       2821 |
2703.80/353.94	c (351,0) c | Periods       |           20600 |       2578 |       2578 |       2577 |       2557 |       2577 |       2577 |       2578 |       2578 |
2703.80/353.94	c (351,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2703.80/353.94	c (351,0) c | Avg_Trail     |                 |       3716 |       3773 |       3831 |       3763 |       3723 |       3701 |       3731 |       3757 |
2703.80/353.94	c (351,0) c | Avg_DL        |                 |         23 |         23 |         23 |         23 |         22 |         22 |         23 |         23 |
2703.80/353.94	c (351,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2703.80/353.94	c (351,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2703.80/353.94	c (351,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.94	c (351,0) c | Exported      |          654225 |      83360 |      82968 |      81122 |      81320 |      80294 |      81415 |      80083 |      83663 |
2703.80/353.94	c (351,0) c | Imported      |         4549596 |     567930 |     568511 |     570573 |     565052 |     571601 |     570187 |     570376 |     565366 |
2703.80/353.94	c (351,0) c | Good          |            1222 |        149 |        151 |        147 |        158 |        149 |        148 |        161 |        159 |
2703.80/353.94	c (351,0) c | Purge         |         4548374 |     567781 |     568360 |     570426 |     564894 |     571452 |     570039 |     570215 |     565207 |
2703.80/353.94	c (351,0) c | Promoted      |          537046 |      68667 |      67791 |      66544 |      65845 |      68263 |      68105 |      66536 |      65295 |
2703.80/353.94	c (351,0) c | Remove_Imp    |         3474856 |     433808 |     435859 |     434421 |     432683 |     441571 |     436615 |     433392 |     426507 |
2703.80/353.94	c (351,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2703.80/353.94	c (351,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.94	c (351,0) c | Unaries       |                 |          0 |          1 |          1 |          0 |          0 |          0 |          0 |          0 |
2703.80/353.94	c (351,0) c | Binaries      |                 |         26 |         24 |         28 |         16 |         26 |         27 |         13 |         15 |
2703.80/353.94	c (351,0) c | Glues         |                 |        616 |        636 |        561 |        528 |        649 |        566 |        506 |        502 |
2703.80/353.94	c (351,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.94	c (351,0) c | Orig_Seen     |            38 % |      57769 |      57295 |      57058 |      58557 |      55533 |      53898 |      54874 |      56612 |
2703.80/353.94	c (351,0) c | Diff Orig seen|                 | -      788 | -     1262 | -     1499 |      X     | -     3024 | -     4659 | -     3683 | -     1945 |
2703.80/353.94	c (351,0) c | Hamming       |            27 % |       2125 |       1550 |       2862 |      X     |       2617 |       2672 |       2393 |       2392 |
2703.80/353.94	c (351,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.94	c (351,0) c | RunningTime   |                 |  348.1  99%|  334.6  96%|  335.5  96%|  336.3  96%|  345.9  99%|  331.0  94%|  340.6  97%|  336.1  96%|
2703.80/353.94	c (351,0) c | WaitingTime   |                 |    2.0   1%|   15.4   4%|   14.5   4%|   13.6   4%|    4.1   1%|   18.9   5%|    9.4   3%|   13.9   4%|
2703.80/353.94	c (351,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
2703.80/353.94	c (351,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%|
2703.80/353.94	c (351,0) c | SolvingTime   |                 |  350.4     |  350.4     |  350.3     |  350.3     |  350.3     |  350.3     |  350.4     |  350.4     |
2703.80/353.94	c (351,0) c | PropagationTim|                 |  312.9  89%|  307.0  88%|  306.1  87%|  308.4  88%|  307.3  88%|  306.6  88%|  306.3  87%|  310.8  89%|
2703.80/353.94	c (351,0) c | AnalysisTime  |                 |   30.9   9%|   37.1  11%|   37.9  11%|   35.4  10%|   36.5  10%|   37.4  11%|   37.5  11%|   33.0   9%|
2703.80/353.94	c (351,0) c | ReductionTime |                 |    1.8   1%|    1.7   0%|    1.7   0%|    1.8   1%|    1.8   1%|    1.8   1%|    1.8   1%|    1.8   1%|
2703.80/353.94	c (351,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%|
2703.80/353.94	c (351,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%|
2703.80/353.94	c (351,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%|
2703.80/353.94	c (351,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.94	c (351,0) c
2703.80/353.94	c (351,0) c
2703.80/353.94	c (351,0) c Threads : 8
2703.80/353.94	c (351,0) c Winner : 3
2703.80/353.94	c (351,0) c Conflicts_0 : 789919
2703.80/353.94	c (351,0) c Conflicts_1 : 785149
2703.80/353.94	c (351,0) c Conflicts_2 : 791552
2703.80/353.94	c (351,0) c Conflicts_3 : 787920
2703.80/353.94	c (351,0) c Conflicts_4 : 778956
2703.80/353.94	c (351,0) c Conflicts_5 : 789003
2703.80/353.94	c (351,0) c Conflicts_6 : 794004
2703.80/353.94	c (351,0) c Conflicts_7 : 802028
2703.80/353.94	c (351,0) c Conflicts_total : 6318531
2703.80/353.94	c (351,0) c Conflicts_winner : 787920
2703.80/353.94	c (351,0) c Decisions_0 : 1340078
2703.80/353.94	c (351,0) c Decisions_1 : 1337493
2703.80/353.94	c (351,0) c Decisions_2 : 1338990
2703.80/353.94	c (351,0) c Decisions_3 : 1323647
2703.80/353.94	c (351,0) c Decisions_4 : 1327650
2703.80/353.94	c (351,0) c Decisions_5 : 1332869
2703.80/353.94	c (351,0) c Decisions_6 : 1330323
2703.80/353.94	c (351,0) c Decisions_7 : 1347333
2703.80/353.94	c (351,0) c Decisions_total : 10678383
2703.80/353.94	c (351,0) c Decisions_winner : 1323647
2703.80/353.94	c (351,0) c Propagations_0 : 281475327
2703.80/353.94	c (351,0) c Propagations_1 : 283803515
2703.80/353.94	c (351,0) c Propagations_2 : 288904485
2703.80/353.94	c (351,0) c Propagations_3 : 285484904
2703.80/353.94	c (351,0) c Propagations_4 : 280544992
2703.80/353.94	c (351,0) c Propagations_5 : 278951175
2703.80/353.94	c (351,0) c Propagations_6 : 282845247
2703.80/353.94	c (351,0) c Propagations_7 : 283774363
2703.80/353.94	c (351,0) c Propagations_total : 2265784008
2703.80/353.94	c (351,0) c Propagations_winner : 285484904
2703.80/353.94	c (351,0) c ReduceDBs_0 : 24
2703.80/353.94	c (351,0) c ReduceDBs_1 : 24
2703.80/353.94	c (351,0) c ReduceDBs_2 : 24
2703.80/353.94	c (351,0) c ReduceDBs_3 : 24
2703.80/353.94	c (351,0) c ReduceDBs_4 : 24
2703.80/353.94	c (351,0) c ReduceDBs_5 : 24
2703.80/353.94	c (351,0) c ReduceDBs_6 : 24
2703.80/353.94	c (351,0) c ReduceDBs_7 : 24
2703.80/353.94	c (351,0) c ReduceDBs_total : 192
2703.80/353.94	c (351,0) c ReduceDBs_winner : 24
2703.80/353.94	c (351,0) c SimpDBs_0 : 4
2703.80/353.94	c (351,0) c SimpDBs_1 : 4
2703.80/353.94	c (351,0) c SimpDBs_2 : 4
2703.80/353.94	c (351,0) c SimpDBs_3 : 4
2703.80/353.94	c (351,0) c SimpDBs_4 : 4
2703.80/353.94	c (351,0) c SimpDBs_5 : 4
2703.80/353.94	c (351,0) c SimpDBs_6 : 4
2703.80/353.94	c (351,0) c SimpDBs_7 : 4
2703.80/353.94	c (351,0) c SimpDBs_total : 32
2703.80/353.94	c (351,0) c SimpDBs_winner : 4
2703.80/353.94	c (351,0) c Restarts_0 : 3005
2703.80/353.94	c (351,0) c Restarts_1 : 3025
2703.80/353.94	c (351,0) c Restarts_2 : 2867
2703.80/353.94	c (351,0) c Restarts_3 : 2661
2703.80/353.94	c (351,0) c Restarts_4 : 3037
2703.80/353.94	c (351,0) c Restarts_5 : 3035
2703.80/353.94	c (351,0) c Restarts_6 : 2652
2703.80/353.94	c (351,0) c Restarts_7 : 2821
2703.80/353.94	c (351,0) c Restarts_total : 23103
2703.80/353.94	c (351,0) c Restarts_winner : 2661
2703.80/353.94	c (351,0) c ForcedImports_0 : 0
2703.80/353.94	c (351,0) c ForcedImports_1 : 0
2703.80/353.94	c (351,0) c ForcedImports_2 : 0
2703.80/353.94	c (351,0) c ForcedImports_3 : 0
2703.80/353.94	c (351,0) c ForcedImports_4 : 0
2703.80/353.94	c (351,0) c ForcedImports_5 : 0
2703.80/353.94	c (351,0) c ForcedImports_6 : 0
2703.80/353.94	c (351,0) c ForcedImports_7 : 0
2703.80/353.94	c (351,0) c ForcedImports_total : 0
2703.80/353.94	c (351,0) c ForcedImports_winner : 0
2703.80/353.94	c (351,0) c PropsBinClauses_0 : 321740870
2703.80/353.94	c (351,0) c PropsBinClauses_1 : 323349732
2703.80/353.94	c (351,0) c PropsBinClauses_2 : 329692896
2703.80/353.94	c (351,0) c PropsBinClauses_3 : 326753089
2703.80/353.94	c (351,0) c PropsBinClauses_4 : 321390139
2703.80/353.94	c (351,0) c PropsBinClauses_5 : 319687504
2703.80/353.94	c (351,0) c PropsBinClauses_6 : 323664736
2703.80/353.94	c (351,0) c PropsBinClauses_7 : 324041943
2703.80/353.94	c (351,0) c PropsBinClauses_total : 2590320909
2703.80/353.94	c (351,0) c PropsBinClauses_winner : 326753089
2703.80/353.94	c (351,0) c PropsPreBlocker_0 : 8503085040
2703.80/353.94	c (351,0) c PropsPreBlocker_1 : 8508768816
2703.80/353.94	c (351,0) c PropsPreBlocker_2 : 8547930142
2703.80/353.94	c (351,0) c PropsPreBlocker_3 : 8493272675
2703.80/353.94	c (351,0) c PropsPreBlocker_4 : 8499709908
2703.80/353.94	c (351,0) c PropsPreBlocker_5 : 8509146484
2703.80/353.94	c (351,0) c PropsPreBlocker_6 : 8584008019
2703.80/353.94	c (351,0) c PropsPreBlocker_7 : 8573656700
2703.80/353.94	c (351,0) c PropsPreBlocker_total : 68219577784
2703.80/353.94	c (351,0) c PropsPreBlocker_winner : 8493272675
2703.80/353.94	c (351,0) c PropsNotBlocker_0 : 2369303225
2703.80/353.94	c (351,0) c PropsNotBlocker_1 : 2377351441
2703.80/353.94	c (351,0) c PropsNotBlocker_2 : 2355533786
2703.80/353.94	c (351,0) c PropsNotBlocker_3 : 2321043091
2703.80/353.94	c (351,0) c PropsNotBlocker_4 : 2374443089
2703.80/353.94	c (351,0) c PropsNotBlocker_5 : 2363718216
2703.80/353.94	c (351,0) c PropsNotBlocker_6 : 2322652924
2703.80/353.94	c (351,0) c PropsNotBlocker_7 : 2323526478
2703.80/353.94	c (351,0) c PropsNotBlocker_total : 18807572250
2703.80/353.94	c (351,0) c PropsNotBlocker_winner : 2321043091
2703.80/353.94	c (351,0) c PropsLitFullScans_0 : 15469200693
2703.80/353.94	c (351,0) c PropsLitFullScans_1 : 15469209987
2703.80/353.94	c (351,0) c PropsLitFullScans_2 : 15464295083
2703.80/353.94	c (351,0) c PropsLitFullScans_3 : 15343704334
2703.80/353.94	c (351,0) c PropsLitFullScans_4 : 15464264529
2703.80/353.94	c (351,0) c PropsLitFullScans_5 : 15463491220
2703.80/353.94	c (351,0) c PropsLitFullScans_6 : 15469443137
2703.80/353.94	c (351,0) c PropsLitFullScans_7 : 15469137195
2703.80/353.94	c (351,0) c PropsLitFullScans_total : 123612746178
2703.80/353.94	c (351,0) c PropsLitFullScans_winner : 15343704334
2703.80/353.94	c (351,0) c LitScanFractions_0 : 1189791
2703.80/353.94	c (351,0) c LitScanFractions_1 : 1203498
2703.80/353.94	c (351,0) c LitScanFractions_2 : 1656577
2703.80/353.94	c (351,0) c LitScanFractions_3 : 1107018
2703.80/353.94	c (351,0) c LitScanFractions_4 : 1209716
2703.80/353.94	c (351,0) c LitScanFractions_5 : 1483219
2703.80/353.94	c (351,0) c LitScanFractions_6 : 1420543
2703.80/353.94	c (351,0) c LitScanFractions_7 : 1133004
2703.80/353.94	c (351,0) c LitScanFractions_total : 10403366
2703.80/353.94	c (351,0) c LitScanFractions_winner : 1107018
2703.80/353.94	c (351,0) c DecisionLevel0_0 : 3005
2703.80/353.94	c (351,0) c DecisionLevel0_1 : 3026
2703.80/353.94	c (351,0) c DecisionLevel0_2 : 2868
2703.80/353.94	c (351,0) c DecisionLevel0_3 : 2661
2703.80/353.94	c (351,0) c DecisionLevel0_4 : 3037
2703.80/353.94	c (351,0) c DecisionLevel0_5 : 3035
2703.80/353.94	c (351,0) c DecisionLevel0_6 : 2652
2703.80/353.94	c (351,0) c DecisionLevel0_7 : 2821
2703.80/353.94	c (351,0) c DecisionLevel0_total : 23105
2703.80/353.94	c (351,0) c DecisionLevel0_winner : 2661
2703.80/353.94	c (351,0) c Periods_0 : 2578
2703.80/353.94	c (351,0) c Periods_1 : 2578
2703.80/353.94	c (351,0) c Periods_2 : 2577
2703.80/353.94	c (351,0) c Periods_3 : 2557
2703.80/353.94	c (351,0) c Periods_4 : 2577
2703.80/353.94	c (351,0) c Periods_5 : 2577
2703.80/353.94	c (351,0) c Periods_6 : 2578
2703.80/353.94	c (351,0) c Periods_7 : 2578
2703.80/353.94	c (351,0) c Periods_total : 20600
2703.80/353.94	c (351,0) c Periods_winner : 2557
2703.80/353.94	c (351,0) c Margin_0 : 20
2703.80/353.94	c (351,0) c Margin_1 : 20
2703.80/353.94	c (351,0) c Margin_2 : 20
2703.80/353.94	c (351,0) c Margin_3 : 20
2703.80/353.94	c (351,0) c Margin_4 : 20
2703.80/353.94	c (351,0) c Margin_5 : 20
2703.80/353.94	c (351,0) c Margin_6 : 20
2703.80/353.94	c (351,0) c Margin_7 : 20
2703.80/353.94	c (351,0) c Margin_total : 160
2703.80/353.94	c (351,0) c Margin_winner : 20
2703.80/353.94	c (351,0) c Exported_0 : 83360
2703.80/353.94	c (351,0) c Exported_1 : 82968
2703.80/353.94	c (351,0) c Exported_2 : 81122
2703.80/353.94	c (351,0) c Exported_3 : 81320
2703.80/353.94	c (351,0) c Exported_4 : 80294
2703.80/353.94	c (351,0) c Exported_5 : 81415
2703.80/353.94	c (351,0) c Exported_6 : 80083
2703.80/353.94	c (351,0) c Exported_7 : 83663
2703.80/353.94	c (351,0) c Exported_total : 654225
2703.80/353.95	c (351,0) c Exported_winner : 81320
2703.80/353.95	c (351,0) c Imported_0 : 567930
2703.80/353.95	c (351,0) c Imported_1 : 568511
2703.80/353.95	c (351,0) c Imported_2 : 570573
2703.80/353.95	c (351,0) c Imported_3 : 565052
2703.80/353.95	c (351,0) c Imported_4 : 571601
2703.80/353.95	c (351,0) c Imported_5 : 570187
2703.80/353.95	c (351,0) c Imported_6 : 570376
2703.80/353.95	c (351,0) c Imported_7 : 565366
2703.80/353.95	c (351,0) c Imported_total : 4549596
2703.80/353.95	c (351,0) c Imported_winner : 565052
2703.80/353.95	c (351,0) c Good_0 : 149
2703.80/353.95	c (351,0) c Good_1 : 151
2703.80/353.95	c (351,0) c Good_2 : 147
2703.80/353.95	c (351,0) c Good_3 : 158
2703.80/353.95	c (351,0) c Good_4 : 149
2703.80/353.95	c (351,0) c Good_5 : 148
2703.80/353.95	c (351,0) c Good_6 : 161
2703.80/353.95	c (351,0) c Good_7 : 159
2703.80/353.95	c (351,0) c Good_total : 1222
2703.80/353.95	c (351,0) c Good_winner : 158
2703.80/353.95	c (351,0) c Purge_0 : 567781
2703.80/353.95	c (351,0) c Purge_1 : 568360
2703.80/353.95	c (351,0) c Purge_2 : 570426
2703.80/353.95	c (351,0) c Purge_3 : 564894
2703.80/353.95	c (351,0) c Purge_4 : 571452
2703.80/353.95	c (351,0) c Purge_5 : 570039
2703.80/353.95	c (351,0) c Purge_6 : 570215
2703.80/353.95	c (351,0) c Purge_7 : 565207
2703.80/353.95	c (351,0) c Purge_total : 4548374
2703.80/353.95	c (351,0) c Purge_winner : 564894
2703.80/353.95	c (351,0) c Promoted_0 : 68667
2703.80/353.95	c (351,0) c Promoted_1 : 67791
2703.80/353.95	c (351,0) c Promoted_2 : 66544
2703.80/353.95	c (351,0) c Promoted_3 : 65845
2703.80/353.95	c (351,0) c Promoted_4 : 68263
2703.80/353.95	c (351,0) c Promoted_5 : 68105
2703.80/353.95	c (351,0) c Promoted_6 : 66536
2703.80/353.95	c (351,0) c Promoted_7 : 65295
2703.80/353.95	c (351,0) c Promoted_total : 537046
2703.80/353.95	c (351,0) c Promoted_winner : 65845
2703.80/353.95	c (351,0) c Remove_Imp_0 : 433808
2703.80/353.95	c (351,0) c Remove_Imp_1 : 435859
2703.80/353.95	c (351,0) c Remove_Imp_2 : 434421
2703.80/353.95	c (351,0) c Remove_Imp_3 : 432683
2703.80/353.95	c (351,0) c Remove_Imp_4 : 441571
2703.80/353.95	c (351,0) c Remove_Imp_5 : 436615
2703.80/353.95	c (351,0) c Remove_Imp_6 : 433392
2703.80/353.95	c (351,0) c Remove_Imp_7 : 426507
2703.80/353.95	c (351,0) c Remove_Imp_total : 3474856
2703.80/353.95	c (351,0) c Remove_Imp_winner : 432683
2703.80/353.95	c (351,0) c Blocked_Reuse_0 : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_1 : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_2 : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_3 : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_4 : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_5 : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_6 : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_7 : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_total : 0
2703.80/353.95	c (351,0) c Blocked_Reuse_winner : 0
2703.80/353.95	c (351,0) c Unaries_0 : 0
2703.80/353.95	c (351,0) c Unaries_1 : 1
2703.80/353.95	c (351,0) c Unaries_2 : 1
2703.80/353.95	c (351,0) c Unaries_3 : 0
2703.80/353.95	c (351,0) c Unaries_4 : 0
2703.80/353.95	c (351,0) c Unaries_5 : 0
2703.80/353.95	c (351,0) c Unaries_6 : 0
2703.80/353.95	c (351,0) c Unaries_7 : 0
2703.80/353.95	c (351,0) c Unaries_total : 2
2703.80/353.95	c (351,0) c Unaries_winner : 0
2703.80/353.95	c (351,0) c Binaries_0 : 26
2703.80/353.95	c (351,0) c Binaries_1 : 24
2703.80/353.95	c (351,0) c Binaries_2 : 28
2703.80/353.95	c (351,0) c Binaries_3 : 16
2703.80/353.95	c (351,0) c Binaries_4 : 26
2703.80/353.95	c (351,0) c Binaries_5 : 27
2703.80/353.95	c (351,0) c Binaries_6 : 13
2703.80/353.95	c (351,0) c Binaries_7 : 15
2703.80/353.95	c (351,0) c Binaries_total : 175
2703.80/353.95	c (351,0) c Binaries_winner : 16
2703.80/353.95	c (351,0) c Glues_0 : 616
2703.80/353.95	c (351,0) c Glues_1 : 636
2703.80/353.95	c (351,0) c Glues_2 : 561
2703.80/353.95	c (351,0) c Glues_3 : 528
2703.80/353.95	c (351,0) c Glues_4 : 649
2703.80/353.95	c (351,0) c Glues_5 : 566
2703.80/353.95	c (351,0) c Glues_6 : 506
2703.80/353.95	c (351,0) c Glues_7 : 502
2703.80/353.95	c (351,0) c Glues_total : 4564
2703.80/353.95	c (351,0) c Glues_winner : 528
2703.80/353.95	c (351,0) c RunningTime_0 : 348.055472
2703.80/353.95	c (351,0) c RunningTime_1 : 334.631204
2703.80/353.95	c (351,0) c RunningTime_2 : 335.467591
2703.80/353.95	c (351,0) c RunningTime_3 : 336.329894
2703.80/353.95	c (351,0) c RunningTime_4 : 345.856063
2703.80/353.95	c (351,0) c RunningTime_5 : 331.010777
2703.80/353.95	c (351,0) c RunningTime_6 : 340.625035
2703.80/353.95	c (351,0) c RunningTime_7 : 336.100492
2703.80/353.95	c (351,0) c RunningTime_total : 2708.076528
2703.80/353.95	c (351,0) c RunningTime_winner : 336.329894
2703.80/353.95	c (351,0) c WaitingTime_0 : 1.951612
2703.80/353.95	c (351,0) c WaitingTime_1 : 15.422190
2703.80/353.95	c (351,0) c WaitingTime_2 : 14.464251
2703.80/353.95	c (351,0) c WaitingTime_3 : 13.614642
2703.80/353.95	c (351,0) c WaitingTime_4 : 4.074605
2703.80/353.95	c (351,0) c WaitingTime_5 : 18.940527
2703.80/353.95	c (351,0) c WaitingTime_6 : 9.423614
2703.80/353.95	c (351,0) c WaitingTime_7 : 13.917072
2703.80/353.95	c (351,0) c WaitingTime_total : 91.808513
2703.80/353.95	c (351,0) c WaitingTime_winner : 13.614642
2703.80/353.95	c (351,0) c ExchangingTime_0 : 0.325690
2703.80/353.95	c (351,0) c ExchangingTime_1 : 0.310989
2703.80/353.95	c (351,0) c ExchangingTime_2 : 0.334369
2703.80/353.95	c (351,0) c ExchangingTime_3 : 0.314962
2703.80/353.95	c (351,0) c ExchangingTime_4 : 0.333130
2703.80/353.95	c (351,0) c ExchangingTime_5 : 0.324802
2703.80/353.95	c (351,0) c ExchangingTime_6 : 0.341595
2703.80/353.95	c (351,0) c ExchangingTime_7 : 0.342055
2703.80/353.95	c (351,0) c ExchangingTime_total : 2.627591
2703.80/353.95	c (351,0) c ExchangingTime_winner : 0.314962
2703.80/353.95	c (351,0) c PeriodProcTime_0 : 0.025573
2703.80/353.95	c (351,0) c PeriodProcTime_1 : 0.021958
2703.80/353.95	c (351,0) c PeriodProcTime_2 : 0.025167
2703.80/353.95	c (351,0) c PeriodProcTime_3 : 0.025297
2703.80/353.95	c (351,0) c PeriodProcTime_4 : 0.027225
2703.80/353.95	c (351,0) c PeriodProcTime_5 : 0.022211
2703.80/353.95	c (351,0) c PeriodProcTime_6 : 0.026387
2703.80/353.95	c (351,0) c PeriodProcTime_7 : 0.026244
2703.80/353.95	c (351,0) c PeriodProcTime_total : 0.200062
2703.80/353.95	c (351,0) c PeriodProcTime_winner : 0.025297
2703.80/353.95	c (351,0) c SolvingTime_0 : 350.358346
2703.80/353.95	c (351,0) c SolvingTime_1 : 350.386340
2703.80/353.95	c (351,0) c SolvingTime_2 : 350.291378
2703.80/353.95	c (351,0) c SolvingTime_3 : 350.284795
2703.80/353.95	c (351,0) c SolvingTime_4 : 350.291023
2703.80/353.95	c (351,0) c SolvingTime_5 : 350.298317
2703.80/353.95	c (351,0) c SolvingTime_6 : 350.416632
2703.80/353.95	c (351,0) c SolvingTime_7 : 350.385862
2703.80/353.95	c (351,0) c SolvingTime_total : 2802.712694
2703.80/353.95	c (351,0) c SolvingTime_winner : 350.284795
2703.80/353.95	c (351,0) c PropagationTime_0 : 312.859423
2703.80/353.95	c (351,0) c PropagationTime_1 : 307.015254
2703.80/353.95	c (351,0) c PropagationTime_2 : 306.111621
2703.80/353.95	c (351,0) c PropagationTime_3 : 308.405237
2703.80/353.95	c (351,0) c PropagationTime_4 : 307.272912
2703.80/353.95	c (351,0) c PropagationTime_5 : 306.641318
2703.80/353.95	c (351,0) c PropagationTime_6 : 306.338594
2703.80/353.95	c (351,0) c PropagationTime_7 : 310.751246
2703.80/353.95	c (351,0) c PropagationTime_total : 2465.395606
2703.80/353.95	c (351,0) c PropagationTime_winner : 308.405237
2703.80/353.95	c (351,0) c AnalysisTime_0 : 30.933314
2703.80/353.95	c (351,0) c AnalysisTime_1 : 37.132109
2703.80/353.95	c (351,0) c AnalysisTime_2 : 37.868506
2703.80/353.95	c (351,0) c AnalysisTime_3 : 35.372364
2703.80/353.95	c (351,0) c AnalysisTime_4 : 36.482328
2703.80/353.95	c (351,0) c AnalysisTime_5 : 37.357408
2703.80/353.95	c (351,0) c AnalysisTime_6 : 37.513599
2703.80/353.95	c (351,0) c AnalysisTime_7 : 33.039101
2703.80/353.95	c (351,0) c AnalysisTime_total : 285.698730
2703.80/353.95	c (351,0) c AnalysisTime_winner : 35.372364
2703.80/353.95	c (351,0) c ReductionTime_0 : 1.766198
2703.80/353.95	c (351,0) c ReductionTime_1 : 1.680120
2703.80/353.95	c (351,0) c ReductionTime_2 : 1.686542
2703.80/353.95	c (351,0) c ReductionTime_3 : 1.788879
2703.80/353.95	c (351,0) c ReductionTime_4 : 1.790473
2703.80/353.95	c (351,0) c ReductionTime_5 : 1.761320
2703.80/353.95	c (351,0) c ReductionTime_6 : 1.794502
2703.80/353.95	c (351,0) c ReductionTime_7 : 1.778097
2703.80/353.95	c (351,0) c ReductionTime_total : 14.046131
2703.80/353.95	c (351,0) c ReductionTime_winner : 1.788879
2703.80/353.95	c (351,0) c SimplifyTime_0 : 0.049402
2703.80/353.95	c (351,0) c SimplifyTime_1 : 0.043026
2703.80/353.95	c (351,0) c SimplifyTime_2 : 0.047374
2703.80/353.95	c (351,0) c SimplifyTime_3 : 0.047119
2703.80/353.95	c (351,0) c SimplifyTime_4 : 0.047753
2703.80/353.95	c (351,0) c SimplifyTime_5 : 0.048071
2703.80/353.95	c (351,0) c SimplifyTime_6 : 0.043917
2703.80/353.95	c (351,0) c SimplifyTime_7 : 0.035791
2703.80/353.95	c (351,0) c SimplifyTime_total : 0.362453
2703.80/353.95	c (351,0) c SimplifyTime_winner : 0.047119
2703.80/353.95	c (351,0) c UsedRateTime_0 : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_1 : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_2 : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_3 : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_4 : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_5 : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_6 : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_7 : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_total : 0.000000
2703.80/353.95	c (351,0) c UsedRateTime_winner : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_0 : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_1 : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_2 : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_3 : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_4 : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_5 : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_6 : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_7 : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_total : 0.000000
2703.80/353.95	c (351,0) c OverlapRateTime_winner : 0.000000
2703.80/353.95	c (351,0) c
2703.80/353.95	c (351,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2703.80/353.95	c (351,0) c
2703.80/353.95	c (351,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.95	c (351,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2703.80/353.95	c (351,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.95	c (351,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2703.80/353.95	c (351,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2703.80/353.95	c (351,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2703.80/353.95	c (351,0) c | Initial random_seed   |  336644381 |  655504003 | 1807690116 |  126641432 |  530703638 | 1106641321 |  136937081 | 1181676705 |
2703.80/353.95	c (351,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2703.80/353.95	c (351,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2703.80/353.95	c (351,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2703.80/353.95	c (351,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2703.80/353.95	c (351,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2703.80/353.95	c (351,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2703.80/353.95	c (351,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2703.80/353.95	c (351,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2703.80/353.95	c (351,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2703.80/353.95	c (351,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2703.80/353.95	c (351,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2703.80/353.95	c (351,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2703.80/353.95	c (351,0) 
2703.80/353.95	c (351,0) s SATISFIABLE
2703.80/353.98	c (351,0) SatSolver.solve End
2703.80/353.98	c (351,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2703.80/353.98	c (351,0) Show results Begin
2704.06/354.08	c (351,0) x[0] = 160
2704.06/354.08	c (351,0) x[1] = 65
2704.06/354.08	c (351,0) x[2] = 43
2704.06/354.08	c (351,0) x[3] = 59
2704.06/354.08	c (351,0) x[4] = 132
2704.06/354.08	c (351,0) x[5] = 59
2704.06/354.08	c (351,0) x[6] = 68
2704.06/354.08	c (351,0) x[7] = 65
2704.06/354.08	c (351,0) x[8] = 43
2704.06/354.08	c (351,0) x[9] = 47
2704.06/354.08	c (351,0) x[10] = 140
2704.06/354.08	c (351,0) x[11] = 43
2704.06/354.08	c (351,0) x[12] = 162
2704.06/354.08	c (351,0) x[13] = 160
2704.06/354.08	c (351,0) x[14] = 132
2704.06/354.08	c (351,0) x[15] = 66
2704.06/354.08	c (351,0) x[16] = 47
2704.06/354.08	c (351,0) x[17] = 96
2704.06/354.08	c (351,0) x[18] = 0
2704.06/354.08	c (351,0) x[19] = 140
2704.06/354.08	c (351,0) x[20] = 0
2704.06/354.08	c (351,0) x[21] = 80
2704.06/354.08	c (351,0) x[22] = 96
2704.06/354.08	c (351,0) x[23] = 0
2704.06/354.08	c (351,0) y[0] = 116
2704.06/354.08	c (351,0) y[1] = 135
2704.06/354.08	c (351,0) y[2] = 135
2704.06/354.08	c (351,0) y[3] = 119
2704.06/354.08	c (351,0) y[4] = 118
2704.06/354.08	c (351,0) y[5] = 126
2704.06/354.08	c (351,0) y[6] = 126
2704.06/354.08	c (351,0) y[7] = 138
2704.06/354.08	c (351,0) y[8] = 119
2704.06/354.08	c (351,0) y[9] = 135
2704.06/354.08	c (351,0) y[10] = 118
2704.06/354.08	c (351,0) y[11] = 96
2704.06/354.08	c (351,0) y[12] = 116
2704.06/354.08	c (351,0) y[13] = 90
2704.06/354.08	c (351,0) y[14] = 90
2704.06/354.08	c (351,0) y[15] = 96
2704.06/354.08	c (351,0) y[16] = 153
2704.06/354.08	c (351,0) y[17] = 90
2704.06/354.08	c (351,0) y[18] = 96
2704.06/354.08	c (351,0) y[19] = 140
2704.06/354.08	c (351,0) y[20] = 139
2704.06/354.08	c (351,0) y[21] = 126
2704.06/354.08	c (351,0) y[22] = 0
2704.06/354.08	c (351,0) y[23] = 0
2704.06/354.08	s SATISFIABLE
2704.06/354.08	v <instantiation>
2704.06/354.08	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23]</list>
2704.06/354.08	v     <values>160 65 43 59 132 59 68 65 43 47 140 43 162 160 132 66 47 96 0 140 0 80 96 0 116 135 135 119 118 126 126 138 119 135 118 96 116 90 90 96 153 90 96 140 139 126 0 0</values>
2704.06/354.08	v </instantiation>
2704.06/354.08	c (351,0) Show results End
2704.06/354.08	c (351,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2704.06/354.08	c (351,0) 351,351,STOP-AFTER(ALL)
2704.06/354.08	c END-Prog: Sat Sep 14 05:09:46 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 (14936 MiB free)
  memory of node 1: 16384 MiB (15609 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392716-1568430273/watcher-4392716-1568430273 -o /tmp/evaluation-result-4392716-1568430273/solver-4392716-1568430273 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392716-1568430273.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=6921, runsolver pid=6918
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 7.89 8.27 8.22 2/211 6943
/proc/meminfo: memFree=31187040/32770624 swapFree=67000532/67108860
[pid=6921] ppid=6918 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6921/stat : 6921 (scop.sh) S 6918 6921 6587 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418941298 115843072 349 33554432000 4194304 5098028 140726472929856 140726472927112 140456290853500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7589888 140726472934180 140726472934508 140726472934508 140726472937421 0
/proc/6921/statm: 28282 349 296 221 0 87 0
[pid=6924] ppid=6921 vsize=27314120 memory=104748 CPUtime=0.1 cores=0-7
/proc/6924/stat : 6924 (java) S 6921 6921 6587 0 -1 1077944320 6273 0 0 0 8 2 0 0 20 0 20 0 418941299 27969658880 26187 33554432000 4194304 4196468 140732434123344 140732434105888 140301522222839 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
/proc/6924/statm: 6828530 26187 2802 1 0 6790935 0
[pid=6924/tid=6925] ppid=6921 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/6924/task/6925/stat : 6925 (java) R 6921 6921 6587 0 -1 4202560 4370 0 0 0 7 2 0 0 20 0 20 0 418941299 27969658880 26187 33554432000 4194304 4196468 140732434123344 140301494052904 140301522244765 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6926] ppid=6921 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6924/task/6926/stat : 6926 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 26187 33554432000 4194304 4196468 140732434123344 140301526465168 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6927] ppid=6921 vsize=27314120 memory=140373610219136 CPUtime=0 cores=0-7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 26187 33554432000 4194304 4196468 140732434123344 140301348960784 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6928] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300943833488 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6929] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300942780688 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6930] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300941728912 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6931] ppid=6921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300940676112 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6932] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300939623312 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6933] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300938570512 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6934] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941303 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300043811184 140301522233986 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6935] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6921 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418941303 27969658880 26187 33554432000 4194304 4196468 140732434123344 140299267466272 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6936] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6921 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418941304 27969658880 26187 33554432000 4194304 4196468 140732434123344 140299133244272 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6937] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 26187 33554432000 4194304 4196468 140732434123344 140298758739792 140301522241435 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6938] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6921 6587 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300042759024 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6939] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300041706224 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6940] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6940/stat : 6940 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300040653424 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6941] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6941/stat : 6941 (java) S 6921 6921 6587 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300039600624 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6942] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6942/stat : 6942 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 26187 33554432000 4194304 4196468 140732434123344 140298260834912 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6943] ppid=6921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6924/task/6943/stat : 6943 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 26187 33554432000 4194304 4196468 140732434123344 140300038548016 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106144 KiB

[startup+0.210115 s]*
/proc/loadavg: 7.89 8.27 8.22 3/211 6943
/proc/meminfo: memFree=31165564/32770624 swapFree=67000532/67108860
[pid=6921] ppid=6918 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6921/stat : 6921 (scop.sh) S 6918 6921 6587 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418941298 115843072 349 33554432000 4194304 5098028 140726472929856 140726472927112 140456290853500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7589888 140726472934180 140726472934508 140726472934508 140726472937421 0
/proc/6921/statm: 28282 349 296 221 0 87 0
[pid=6924] ppid=6921 vsize=27314120 memory=123884 CPUtime=0.24 cores=0-7
/proc/6924/stat : 6924 (java) S 6921 6921 6587 0 -1 1077944320 11896 0 0 0 20 4 0 0 20 0 20 0 418941299 27969658880 30971 33554432000 4194304 4196468 140732434123344 140732434105888 140301522222839 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
/proc/6924/statm: 6828530 30971 2915 1 0 6790935 0
[pid=6924/tid=6925] ppid=6921 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6924/task/6925/stat : 6925 (java) R 6921 6921 6587 0 -1 4202560 9602 0 0 0 16 4 0 0 20 0 20 0 418941299 27969658880 30971 33554432000 4194304 4196468 140732434123344 140301494037904 140301502498241 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6926] ppid=6921 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/6924/task/6926/stat : 6926 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 30971 33554432000 4194304 4196468 140732434123344 140301526465168 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6927] ppid=6921 vsize=27314120 memory=140373610230939 CPUtime=0 cores=0-7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 30971 33554432000 4194304 4196468 140732434123344 140301348960784 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6928] ppid=6921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300943833488 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6929] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300942780688 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6930] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300941728912 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6931] ppid=6921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300940676112 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6932] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300939623312 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6933] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300938570512 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6934] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941303 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300043811184 140301522233986 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6935] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6921 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418941303 27969658880 30971 33554432000 4194304 4196468 140732434123344 140299267466272 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6936] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6921 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418941304 27969658880 30971 33554432000 4194304 4196468 140732434123344 140299133244272 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6937] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 30971 33554432000 4194304 4196468 140732434123344 140298758739792 140301522241435 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6938] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6921 6587 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300042759024 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6939] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6921 6587 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300041706224 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6940] ppid=6921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6924/task/6940/stat : 6940 (java) S 6921 6921 6587 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300040653424 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6941] ppid=6921 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/6924/task/6941/stat : 6941 (java) S 6921 6921 6587 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 418941306 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300039600624 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6942] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6942/stat : 6942 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 30971 33554432000 4194304 4196468 140732434123344 140298260834912 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6943] ppid=6921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6924/task/6943/stat : 6943 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 30971 33554432000 4194304 4196468 140732434123344 140300038548016 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125280 KiB

[startup+0.30953 s]*
/proc/loadavg: 7.89 8.27 8.22 2/211 6943
/proc/meminfo: memFree=31161656/32770624 swapFree=67000532/67108860
[pid=6921] ppid=6918 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6921/stat : 6921 (scop.sh) S 6918 6921 6587 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418941298 115843072 349 33554432000 4194304 5098028 140726472929856 140726472927112 140456290853500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7589888 140726472934180 140726472934508 140726472934508 140726472937421 0
/proc/6921/statm: 28282 349 296 221 0 87 0
[pid=6924] ppid=6921 vsize=27314120 memory=127744 CPUtime=0.42 cores=0-7
/proc/6924/stat : 6924 (java) S 6921 6921 6587 0 -1 1077944320 12329 0 0 0 37 5 0 0 20 0 20 0 418941299 27969658880 31936 33554432000 4194304 4196468 140732434123344 140732434105888 140301522222839 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
/proc/6924/statm: 6828530 31936 3004 1 0 6790935 0
[pid=6924/tid=6925] ppid=6921 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/6924/task/6925/stat : 6925 (java) R 6921 6921 6587 0 -1 4202560 9848 0 0 0 26 4 0 0 20 0 20 0 418941299 27969658880 31936 33554432000 4194304 4196468 140732434123344 140301494007824 140301522244765 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6926] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6926/stat : 6926 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 31936 33554432000 4194304 4196468 140732434123344 140301526465168 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6927] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 31936 33554432000 4194304 4196468 140732434123344 140301348960784 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6928] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300943833488 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6929] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300942780688 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6930] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300941728912 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6931] ppid=6921 vsize=27314120 memory=140373489969839 CPUtime=0 cores=0-7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300940676112 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6932] ppid=6921 vsize=27314120 memory=140373489972144 CPUtime=0 cores=0-7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300939623312 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6933] ppid=6921 vsize=27314120 memory=140373489974448 CPUtime=0 cores=0-7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300938570512 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6934] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941303 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300043811184 140301522233986 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6935] ppid=6921 vsize=27314120 memory=280746979962768 CPUtime=0 cores=0-7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6921 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418941303 27969658880 31936 33554432000 4194304 4196468 140732434123344 140299267466272 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6936] ppid=6921 vsize=27314120 memory=280746979960464 CPUtime=0 cores=0-7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6921 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418941304 27969658880 31936 33554432000 4194304 4196468 140732434123344 140299133244272 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6937] ppid=6921 vsize=27314120 memory=280746979967376 CPUtime=0 cores=0-7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 31936 33554432000 4194304 4196468 140732434123344 140298758739792 140301522241435 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6938] ppid=6921 vsize=27314120 memory=280746979908656 CPUtime=0.01 cores=0-7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6921 6587 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 20 0 418941306 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300042759024 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6939] ppid=6921 vsize=27314120 memory=280746979981200 CPUtime=0 cores=0-7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6921 6587 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300041706224 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6940] ppid=6921 vsize=27314120 memory=280746979988112 CPUtime=0.01 cores=0-7
/proc/6924/task/6940/stat : 6940 (java) S 6921 6921 6587 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 418941306 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300040653424 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6941] ppid=6921 vsize=27314120 memory=280746979985808 CPUtime=0.07 cores=0-7
/proc/6924/task/6941/stat : 6941 (java) S 6921 6921 6587 0 -1 1077944384 480 0 0 0 7 0 0 0 20 0 20 0 418941306 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300039600624 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6942] ppid=6921 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6942/stat : 6942 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 31936 33554432000 4194304 4196468 140732434123344 140298260834912 140301522233045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6943] ppid=6921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6924/task/6943/stat : 6943 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941306 27969658880 31936 33554432000 4194304 4196468 140732434123344 140300038548016 140301522233986 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129140 KiB

[startup+0.700952 s]
/proc/loadavg: 7.89 8.27 8.22 3/211 6943
/proc/meminfo: memFree=31141132/32770624 swapFree=67000532/67108860
[pid=6921] ppid=6918 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6921/stat : 6921 (scop.sh) S 6918 6921 6587 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418941298 115843072 349 33554432000 4194304 5098028 140726472929856 140726472927112 140456290853500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7589888 140726472934180 140726472934508 140726472934508 140726472937421 0
/proc/6921/statm: 28282 349 296 221 0 87 0
[pid=6924] ppid=6921 vsize=27322440 memory=163544 CPUtime=0.98 cores=0-7
/proc/6924/stat : 6924 (java) S 6921 6921 6587 0 -1 1077944320 19958 0 0 0 91 7 0 0 20 0 20 0 418941299 27978178560 40886 33554432000 4194304 4196468 140732434123344 140732434105888 140301522222839 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
/proc/6924/statm: 6830610 40886 3181 1 0 6791959 0
[pid=6924/tid=6925] ppid=6921 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7
/proc/6924/task/6925/stat : 6925 (java) R 6921 6921 6587 0 -1 4202560 17009 0 0 0 62 6 0 0 20 0 20 0 418941299 27978178560 40886 33554432000 4194304 4196468 140732434123344 140301494057648 140301506303326 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6926] ppid=6921 vsize=27322440 memory=140373490180976 CPUtime=0 cores=0-7
/proc/6924/task/6926/stat : 6926 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418941301 27978178560 40886 33554432000 4194304 4196468 140732434123344 140301526465168 140301522233045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6927] ppid=6921 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27978178560 40886 33554432000 4194304 4196468 140732434123344 140301348960784 140301522233045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0
[pid=6924/tid=6928] ppid=6921 vsize=27322440 memory=1056 CPUtime=0 cores=0-7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418941301 27978178560 40886 33554432000 4194304 4196468 140732434123344 140300943833488 140301522233045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140732434125547 140732434125974 140732434125974 140732434128847 0

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

/proc/6944/task/6956/stat : 6956 (java) S 6921 6921 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418941551 8616062976 30246 33554432000 4194304 4196468 140732505994288 139787897918832 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6957] ppid=6921 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/6944/task/6957/stat : 6957 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139787523414352 139789747943323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6958] ppid=6921 vsize=8414124 memory=1980 CPUtime=0.02 cores=0-7
/proc/6944/task/6958/stat : 6958 (java) S 6921 6921 6587 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789041658224 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6959] ppid=6921 vsize=8414124 memory=1332 CPUtime=0.08 cores=0-7
/proc/6944/task/6959/stat : 6959 (java) S 6921 6921 6587 0 -1 1077944384 275 0 0 0 8 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789040605424 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6960] ppid=6921 vsize=8414124 memory=2648 CPUtime=0.07 cores=0-7
/proc/6944/task/6960/stat : 6960 (java) S 6921 6921 6587 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788971665520 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6961] ppid=6921 vsize=8414124 memory=912 CPUtime=0.2 cores=0-7
/proc/6944/task/6961/stat : 6961 (java) S 6921 6921 6587 0 -1 1077944384 688 0 0 0 20 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788970612720 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6962] ppid=6921 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/6944/task/6962/stat : 6962 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139787025509472 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6963] ppid=6921 vsize=8414124 memory=1768 CPUtime=0.21 cores=0-7
/proc/6944/task/6963/stat : 6963 (java) S 6921 6921 6587 0 -1 1077944384 25 0 0 0 4 17 0 0 20 0 24 0 418941554 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788969561136 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6965] ppid=6921 vsize=8414124 memory=588944 CPUtime=0 cores=0-7
/proc/6944/task/6965/stat : 6965 (java) S 6921 6921 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418941619 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788962084416 139789747949337 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6967] ppid=6921 vsize=8414124 memory=1476 CPUtime=0.03 cores=0-7
/proc/6944/task/6967/stat : 6967 (java) S 6921 6921 6587 0 -1 4202560 1683 0 0 0 1 2 0 0 20 0 24 0 418941619 8616062976 30246 33554432000 4194304 4196468 140732505994288 139786354409104 139789747946653 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6968] ppid=6921 vsize=8414124 memory=120984 CPUtime=0 cores=0-7
/proc/6944/task/6968/stat : 6968 (java) S 6921 6921 6587 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418941619 8616062976 30246 33554432000 4194304 4196468 140732505994288 139786622844432 139789747946653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6969] ppid=6921 vsize=8414124 memory=606932 CPUtime=0 cores=0-7
/proc/6944/task/6969/stat : 6969 (java) S 6921 6921 6587 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418941621 8616062976 30246 33554432000 4194304 4196468 140732505994288 139786085981232 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
Current children cumulated CPU time: 2696.8 s
Current children cumulated vsize: 9254284 KiB
Current children cumulated memory: 711636 KiB

[startup+353.602 s]
/proc/loadavg: 7.60 7.91 8.08 9/224 6999
/proc/meminfo: memFree=30578284/32770624 swapFree=67000532/67108860
[pid=6921] ppid=6918 vsize=113128 memory=1476 CPUtime=5.48 cores=0-7
/proc/6921/stat : 6921 (scop.sh) S 6918 6921 6587 0 -1 4202496 581 26868 0 0 0 0 527 21 20 0 1 0 418941298 115843072 369 33554432000 4194304 5098028 140726472929856 140726472926600 140456290853500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7589888 140726472934180 140726472934508 140726472934508 140726472937421 0
/proc/6921/statm: 28282 369 311 221 0 87 0
[pid=6944] ppid=6921 vsize=8414124 memory=120984 CPUtime=1.42 cores=0-7
/proc/6944/stat : 6944 (java) S 6921 6921 6587 0 -1 1077944320 22311 0 0 0 131 11 0 0 20 0 24 0 418941547 8616062976 30246 33554432000 4194304 4196468 140732505994288 140732505976832 139789747924727 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
/proc/6944/statm: 2103531 30246 3202 1 0 2064875 0
[pid=6964] ppid=6944 vsize=727032 memory=589176 CPUtime=2694.96 cores=0-7
/proc/6964/stat : 6964 (manyglucose-4.1) S 6944 6921 6587 0 -1 1077944320 1637923 0 0 0 269191 305 0 0 20 0 9 0 418941619 744480768 147294 33554432000 4194304 4454172 140731574164608 140731574163008 139989340166786 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
/proc/6964/statm: 181758 147294 411 64 0 177426 0
[pid=6964/tid=6970] ppid=6944 vsize=727032 memory=4136 CPUtime=348.05 cores=0-7
/proc/6964/task/6970/stat : 6970 (manyglucose-4.1) R 6944 6921 6587 0 -1 4202560 168876 0 0 0 34770 35 0 0 20 0 9 0 418941642 744480768 147294 33554432000 4194304 4454172 140731574164608 139989306322032 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 2 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
[pid=6964/tid=6971] ppid=6944 vsize=727032 memory=1408 CPUtime=333 cores=0-7
/proc/6964/task/6971/stat : 6971 (manyglucose-4.1) R 6944 6921 6587 0 -1 4202560 220799 0 0 0 33268 32 0 0 20 0 9 0 418941642 744480768 147294 33554432000 4194304 4454172 140731574164608 139989297929328 4349976 0 4 0 8388610 0 0 0 -1 0 0 0 1 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
[pid=6964/tid=6972] ppid=6944 vsize=727032 memory=1476 CPUtime=333.9 cores=0-7
/proc/6964/task/6972/stat : 6972 (manyglucose-4.1) R 6944 6921 6587 0 -1 4202560 193594 0 0 0 33350 40 0 0 20 0 9 0 418941642 744480768 147294 33554432000 4194304 4454172 140731574164608 139989289536624 4351305 0 4 0 8388610 0 0 0 -1 3 0 0 1 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
[pid=6964/tid=6973] ppid=6944 vsize=727032 memory=1476 CPUtime=333.84 cores=0-7
/proc/6964/task/6973/stat : 6973 (manyglucose-4.1) R 6944 6921 6587 0 -1 4202560 198038 0 0 0 33341 43 0 0 20 0 9 0 418941642 744480768 147294 33554432000 4194304 4454172 140731574164608 139989281143944 4351769 0 4 0 8388610 0 0 0 -1 1 0 0 1 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
[pid=6964/tid=6974] ppid=6944 vsize=727032 memory=120984 CPUtime=344.79 cores=0-7
/proc/6964/task/6974/stat : 6974 (manyglucose-4.1) R 6944 6921 6587 0 -1 4202560 197551 0 0 0 34447 32 0 0 20 0 9 0 418941642 744480768 147294 33554432000 4194304 4454172 140731574164608 139989272751136 4349976 0 4 0 8388610 0 0 0 -1 7 0 0 2 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
[pid=6964/tid=6975] ppid=6944 vsize=727032 memory=588900 CPUtime=329.09 cores=0-7
/proc/6964/task/6975/stat : 6975 (manyglucose-4.1) R 6944 6921 6587 0 -1 4202560 225299 0 0 0 32872 37 0 0 20 0 9 0 418941642 744480768 147294 33554432000 4194304 4454172 140731574164608 139989264358432 4351523 0 4 0 8388610 0 0 0 -1 6 0 0 1 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
[pid=6964/tid=6976] ppid=6944 vsize=727032 memory=-7175753904026764170 CPUtime=338.2 cores=0-7
/proc/6964/task/6976/stat : 6976 (manyglucose-4.1) R 6944 6921 6587 0 -1 4202560 204824 0 0 0 33782 38 0 0 20 0 9 0 418941642 744480768 147294 33554432000 4194304 4454172 140731574164608 139989255965808 4349826 0 4 0 8388610 0 0 0 -1 2 0 0 1 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
[pid=6964/tid=6977] ppid=6944 vsize=727032 memory=589176 CPUtime=333.8 cores=0-7
/proc/6964/task/6977/stat : 6977 (manyglucose-4.1) R 6944 6921 6587 0 -1 4202560 209792 0 0 0 33337 43 0 0 20 0 9 0 418941642 744480768 147294 33554432000 4194304 4454172 140731574164608 139989247573024 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 1 0 0 6552832 6554400 13295616 140731574170474 140731574170672 140731574170672 140731574173626 0
[pid=6944/tid=6945] ppid=6921 vsize=8414124 memory=120984 CPUtime=0.75 cores=0-7
/proc/6944/task/6945/stat : 6945 (java) S 6921 6921 6587 0 -1 1077944384 17432 0 0 0 70 5 0 0 20 0 24 0 418941547 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789719764896 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6946] ppid=6921 vsize=8414124 memory=588944 CPUtime=0 cores=0-7
/proc/6944/task/6946/stat : 6946 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418941548 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789752167568 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6947] ppid=6921 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/6944/task/6947/stat : 6947 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418941548 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789576809488 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6948] ppid=6921 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/6944/task/6948/stat : 6948 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418941548 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789232405392 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6949] ppid=6921 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6944/task/6949/stat : 6949 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418941548 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789231352592 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6950] ppid=6921 vsize=8414124 memory=120984 CPUtime=0 cores=0-7
/proc/6944/task/6950/stat : 6950 (java) S 6921 6921 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418941548 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789230299792 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6951] ppid=6921 vsize=8414124 memory=588900 CPUtime=0 cores=0-7
/proc/6944/task/6951/stat : 6951 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418941548 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789229246992 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6952] ppid=6921 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/6944/task/6952/stat : 6952 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418941548 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789228194192 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6953] ppid=6921 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/6944/task/6953/stat : 6953 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418941548 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789227141392 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6954] ppid=6921 vsize=8414124 memory=3616 CPUtime=0.01 cores=0-7
/proc/6944/task/6954/stat : 6954 (java) S 6921 6921 6587 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 24 0 418941550 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789042711408 139789747935874 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6955] ppid=6921 vsize=8414124 memory=37212 CPUtime=0 cores=0-7
/proc/6944/task/6955/stat : 6955 (java) S 6921 6921 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418941550 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788032140832 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6956] ppid=6921 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/6944/task/6956/stat : 6956 (java) S 6921 6921 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418941551 8616062976 30246 33554432000 4194304 4196468 140732505994288 139787897918832 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6957] ppid=6921 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/6944/task/6957/stat : 6957 (java) S 6921 6921 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139787523414352 139789747943323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6958] ppid=6921 vsize=8414124 memory=1240 CPUtime=0.02 cores=0-7
/proc/6944/task/6958/stat : 6958 (java) S 6921 6921 6587 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789041658224 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6959] ppid=6921 vsize=8414124 memory=580 CPUtime=0.08 cores=0-7
/proc/6944/task/6959/stat : 6959 (java) S 6921 6921 6587 0 -1 1077944384 275 0 0 0 8 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139789040605424 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6960] ppid=6921 vsize=8414124 memory=37212 CPUtime=0.07 cores=0-7
/proc/6944/task/6960/stat : 6960 (java) S 6921 6921 6587 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788971665520 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6961] ppid=6921 vsize=8414124 memory=988 CPUtime=0.2 cores=0-7
/proc/6944/task/6961/stat : 6961 (java) S 6921 6921 6587 0 -1 1077944384 688 0 0 0 20 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788970612720 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6962] ppid=6921 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/6944/task/6962/stat : 6962 (java) S 6921 6921 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418941553 8616062976 30246 33554432000 4194304 4196468 140732505994288 139787025509472 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6963] ppid=6921 vsize=8414124 memory=1240 CPUtime=0.21 cores=0-7
/proc/6944/task/6963/stat : 6963 (java) S 6921 6921 6587 0 -1 1077944384 25 0 0 0 4 17 0 0 20 0 24 0 418941554 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788969561136 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6965] ppid=6921 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/6944/task/6965/stat : 6965 (java) S 6921 6921 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418941619 8616062976 30246 33554432000 4194304 4196468 140732505994288 139788962084416 139789747949337 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6967] ppid=6921 vsize=8414124 memory=1696 CPUtime=0.03 cores=0-7
/proc/6944/task/6967/stat : 6967 (java) S 6921 6921 6587 0 -1 4202560 1683 0 0 0 1 2 0 0 20 0 24 0 418941619 8616062976 30246 33554432000 4194304 4196468 140732505994288 139786354409104 139789747946653 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6968] ppid=6921 vsize=8414124 memory=3436 CPUtime=0 cores=0-7
/proc/6944/task/6968/stat : 6968 (java) S 6921 6921 6587 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418941619 8616062976 30246 33554432000 4194304 4196468 140732505994288 139786622844432 139789747946653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6969] ppid=6921 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/6944/task/6969/stat : 6969 (java) S 6921 6921 6587 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418941621 8616062976 30246 33554432000 4194304 4196468 140732505994288 139786085981232 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
Current children cumulated CPU time: 2701.86 s
Current children cumulated vsize: 9254284 KiB
Current children cumulated memory: 711636 KiB

[startup+354.001 s]*
/proc/loadavg: 7.60 7.91 8.08 2/213 6999
/proc/meminfo: memFree=31161572/32770624 swapFree=67000532/67108860
[pid=6921] ppid=6918 vsize=113128 memory=1476 CPUtime=5.48 cores=0-7
/proc/6921/stat : 6921 (scop.sh) S 6918 6921 6587 0 -1 4202496 581 26868 0 0 0 0 527 21 20 0 1 0 418941298 115843072 369 33554432000 4194304 5098028 140726472929856 140726472926600 140456290853500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7589888 140726472934180 140726472934508 140726472934508 140726472937421 0
/proc/6921/statm: 28282 369 311 221 0 87 0
[pid=6944] ppid=6921 vsize=8283048 memory=125576 CPUtime=2698.58 cores=0-7
/proc/6944/stat : 6944 (java) S 6921 6921 6587 0 -1 1077944320 23627 1638332 0 0 150 11 269389 308 20 0 22 0 418941547 8481841152 31394 33554432000 4194304 4196468 140732505994288 140732505976832 139789747924727 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
/proc/6944/statm: 2070762 31394 3223 1 0 2032106 0
[pid=6944/tid=6945] ppid=6921 vsize=8283048 memory=1398722017469774279 CPUtime=2697.74 cores=0-7
/proc/6944/task/6945/stat : 6945 (java) R 6921 6921 6587 0 -1 4202560 17570 1638332 0 0 72 5 269389 308 20 0 22 0 418941547 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789719755696 139789732005214 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6946] ppid=6921 vsize=8283048 memory=4872558044660077418 CPUtime=2696.97 cores=0-7
/proc/6944/task/6946/stat : 6946 (java) S 6921 6921 6587 0 -1 1077944384 2 1638332 0 0 0 0 269389 308 20 0 22 0 418941548 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789752167568 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6947] ppid=6921 vsize=8283048 memory=589176 CPUtime=2696.97 cores=0-7
/proc/6944/task/6947/stat : 6947 (java) S 6921 6921 6587 0 -1 1077944384 1 1638332 0 0 0 0 269389 308 20 0 22 0 418941548 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789576809488 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6948] ppid=6921 vsize=8283048 memory=15540704344541603 CPUtime=2696.97 cores=0-7
/proc/6944/task/6948/stat : 6948 (java) S 6921 6921 6587 0 -1 1077944384 1 1638332 0 0 0 0 269389 308 20 0 22 0 418941548 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789232405392 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6949] ppid=6921 vsize=8283048 memory=1696 CPUtime=2696.97 cores=0-7
/proc/6944/task/6949/stat : 6949 (java) S 6921 6921 6587 0 -1 1077944384 3 1638332 0 0 0 0 269389 308 20 0 22 0 418941548 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789231352592 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6950] ppid=6921 vsize=8283048 memory=288230574492221466 CPUtime=2696.97 cores=0-7
/proc/6944/task/6950/stat : 6950 (java) S 6921 6921 6587 0 -1 1077944384 2 1638332 0 0 0 0 269389 308 20 0 22 0 418941548 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789230299792 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6951] ppid=6921 vsize=8283048 memory=288230596050944315 CPUtime=2696.97 cores=0-7
/proc/6944/task/6951/stat : 6951 (java) S 6921 6921 6587 0 -1 1077944384 1 1638332 0 0 0 0 269389 308 20 0 22 0 418941548 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789229246992 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6952] ppid=6921 vsize=8283048 memory=15540704344541603 CPUtime=2696.97 cores=0-7
/proc/6944/task/6952/stat : 6952 (java) S 6921 6921 6587 0 -1 1077944384 1 1638332 0 0 0 0 269389 308 20 0 22 0 418941548 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789228194192 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6953] ppid=6921 vsize=8283048 memory=1980 CPUtime=2696.97 cores=0-7
/proc/6944/task/6953/stat : 6953 (java) S 6921 6921 6587 0 -1 1077944384 1 1638332 0 0 0 0 269389 308 20 0 22 0 418941548 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789227141392 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6954] ppid=6921 vsize=8283048 memory=1332 CPUtime=2696.98 cores=0-7
/proc/6944/task/6954/stat : 6954 (java) S 6921 6921 6587 0 -1 1077944384 10 1638332 0 0 0 1 269389 308 20 0 22 0 418941550 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789042711408 139789747935874 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6955] ppid=6921 vsize=8283048 memory=5794274985680333674 CPUtime=2696.97 cores=0-7
/proc/6944/task/6955/stat : 6955 (java) S 6921 6921 6587 0 -1 1077944384 13 1638332 0 0 0 0 269389 308 20 0 22 0 418941550 8481841152 31394 33554432000 4194304 4196468 140732505994288 139788032140832 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6956] ppid=6921 vsize=8283048 memory=7451593042807515494 CPUtime=2696.97 cores=0-7
/proc/6944/task/6956/stat : 6956 (java) S 6921 6921 6587 0 -1 1077944384 21 1638332 0 0 0 0 269389 308 20 0 22 0 418941551 8481841152 31394 33554432000 4194304 4196468 140732505994288 139787897918832 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6957] ppid=6921 vsize=8283048 memory=6945790120375510636 CPUtime=2696.97 cores=0-7
/proc/6944/task/6957/stat : 6957 (java) S 6921 6921 6587 0 -1 1077944384 1 1638332 0 0 0 0 269389 308 20 0 22 0 418941553 8481841152 31394 33554432000 4194304 4196468 140732505994288 139787523414352 139789747943323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6958] ppid=6921 vsize=8283048 memory=7451593042807515494 CPUtime=2697.03 cores=0-7
/proc/6944/task/6958/stat : 6958 (java) S 6921 6921 6587 0 -1 1077944384 746 1638332 0 0 6 0 269389 308 20 0 22 0 418941553 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789041658224 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6959] ppid=6921 vsize=8283048 memory=0 CPUtime=2697.08 cores=0-7
/proc/6944/task/6959/stat : 6959 (java) S 6921 6921 6587 0 -1 1077944384 405 1638332 0 0 11 0 269389 308 20 0 22 0 418941553 8481841152 31394 33554432000 4194304 4196468 140732505994288 139789040605424 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6960] ppid=6921 vsize=8283048 memory=4872558044660077418 CPUtime=2697.07 cores=0-7
/proc/6944/task/6960/stat : 6960 (java) S 6921 6921 6587 0 -1 1077944384 375 1638332 0 0 10 0 269389 308 20 0 22 0 418941553 8481841152 31394 33554432000 4194304 4196468 140732505994288 139788971665520 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6961] ppid=6921 vsize=8283048 memory=928 CPUtime=2697.21 cores=0-7
/proc/6944/task/6961/stat : 6961 (java) S 6921 6921 6587 0 -1 1077944384 819 1638332 0 0 24 0 269389 308 20 0 22 0 418941553 8481841152 31394 33554432000 4194304 4196468 140732505994288 139788970612720 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6962] ppid=6921 vsize=8283048 memory=1980 CPUtime=2696.97 cores=0-7
/proc/6944/task/6962/stat : 6962 (java) S 6921 6921 6587 0 -1 1077944384 3 1638332 0 0 0 0 269389 308 20 0 22 0 418941553 8481841152 31394 33554432000 4194304 4196468 140732505994288 139787025509472 139789747934933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6963] ppid=6921 vsize=8283048 memory=1332 CPUtime=2697.18 cores=0-7
/proc/6944/task/6963/stat : 6963 (java) S 6921 6921 6587 0 -1 1077944384 25 1638332 0 0 4 17 269389 308 20 0 22 0 418941554 8481841152 31394 33554432000 4194304 4196468 140732505994288 139788969561136 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6965] ppid=6921 vsize=8283048 memory=2648 CPUtime=2696.97 cores=0-7
/proc/6944/task/6965/stat : 6965 (java) S 6921 6921 6587 0 -1 1077944384 26 1638332 0 0 0 0 269389 308 20 0 22 0 418941619 8481841152 31394 33554432000 4194304 4196468 140732505994288 139788962083600 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
[pid=6944/tid=6969] ppid=6921 vsize=8283048 memory=912 CPUtime=2696.97 cores=0-7
/proc/6944/task/6969/stat : 6969 (java) S 6921 6921 6587 0 -1 1077944384 9 1638332 0 0 0 0 269389 308 20 0 22 0 418941621 8481841152 31394 33554432000 4194304 4196468 140732505994288 139786085983024 139789747935874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9785344 140732506002424 140732506002582 140732506002582 140732506005455 0
Current children cumulated CPU time: 2704.06 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127052 KiB

Child status: 0
Real time (s): 354.091
CPU time (s): 2704.26
CPU user time (s): 2700.83
CPU system time (s): 3.42502
CPU usage (%): 763.717
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 760388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2700.83
system time used= 3.42502
maximum resident set size= 747760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1689701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24171
involuntary context switches= 27375


# summary of solver processes directly reported to runsolver:
#   pid: 6921
#   total CPU time (s): 2704.26
#   total CPU user time (s): 2700.83
#   total CPU system time (s): 3.42502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.43266 second user time and 4.9385 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 05:03:52
IDJOB=4392716
IDBENCH=127917
IDSOLVER=2839
FILE ID=node146/4392716-1568430273
RUNJOBID= node146-1568429502-6614
PBS_JOBID= 21702307
Free space on /tmp= 59032 MiB

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

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

MD5SUM BENCH= f753def11f9f341c6e9dbf54b2480dee
RANDOM SEED=819892977

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31278568 kB
MemAvailable:   31881948 kB
Buffers:          185960 kB
Cached:           682844 kB
SwapCached:         4728 kB
Active:           498176 kB
Inactive:         376568 kB
Active(anon):      22428 kB
Inactive(anon):    21912 kB
Active(file):     475748 kB
Inactive(file):   354656 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000532 kB
Dirty:             20520 kB
Writeback:            16 kB
AnonPages:        112096 kB
Mapped:            42312 kB
Shmem:             29880 kB
Slab:             207772 kB
SReclaimable:     177624 kB
SUnreclaim:        30148 kB
KernelStack:        3376 kB
PageTables:         5952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 05:09:46