Trace number 4392758

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)UNSAT 1015.34 149.237

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-1_X2.xml
MD5SUM6c4aeb96443502fd0f9a0dc0a71b4b92
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark168.634
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
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-16230-serial-file.bin HOME/instance-4392758-1568436682.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 06:50:45 CEST 2019
0.66/0.56	c PID: 16233
0.66/0.56	c IP: 172.20.3.149
0.66/0.56	c HOST: node149.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.07/1.12	c (0,0) Parsing End
2.07/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.07/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.13	c (0,0) Constraint Name Generate Begin
2.07/1.14	c (0,0) Ctr:HOME/instance-4392758-1568436682.xml,ExtensionConflict:ExtensionSupport:Var
2.07/1.14	c (0,0) Constraint Name Generate End
2.07/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.14	c (0,0) CSP to CSPinCNF Begin
3.19/1.63	c (1,1) translated 127 (10%) constraints
3.61/1.74	c (1,1) translated 253 (20%) constraints
4.03/1.81	c (1,1) translated 379 (30%) constraints
4.03/1.88	c (1,1) translated 505 (40%) constraints
4.44/1.94	c (1,1) translated 631 (50%) constraints
4.44/1.99	c (1,1) translated 757 (60%) constraints
5.29/2.13	c (1,1) translated 883 (70%) constraints
5.94/2.38	c (1,1) translated 1009 (80%) constraints
6.35/2.60	c (2,2) translated 1135 (90%) constraints
7.08/2.92	c (2,2) translated 1261 (100%) constraints
7.08/2.92	c (2,2) ===========================================
7.08/2.94	c (2,2) Hybrid: #OE=793, #LE=0
7.08/2.94	c (2,2) Hybrid
7.08/2.94	c (2,2) ===========================================
7.50/3.01	c (2,2) translated 1883 (10%) constraints
7.50/3.07	c (2,2) translated 3765 (20%) constraints
7.89/3.12	c (2,2) translated 5647 (30%) constraints
7.89/3.17	c (2,2) translated 7529 (40%) constraints
8.24/3.23	c (2,2) translated 9411 (50%) constraints
8.24/3.28	c (2,2) translated 11294 (60%) constraints
8.63/3.33	c (2,2) translated 13176 (70%) constraints
8.63/3.37	c (2,2) translated 15058 (80%) constraints
8.95/3.41	c (2,2) translated 16940 (90%) constraints
8.95/3.44	c (2,2) translated 18822 (100%) constraints
8.95/3.44	c (2,2) CSP to CSPinCNF End
8.95/3.45	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.95/3.45	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.95/3.45	c (2,2) CSPinCNF Propagation Begin
10.29/3.81	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.29/3.81	c (3,3) CSPinCNF Propagation End
10.29/3.81	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.29/3.81	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.29/3.82	c (3,3) Hybrid: #OE=793, #LE=0
10.29/3.82	c (3,3) Simplify CSPinCNF Begin
10.29/3.88	c (3,3) Simplify CSPinCNF End
10.29/3.88	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.29/3.88	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.29/3.88	c (3,3) Calculate Precise Domain Begin
10.29/3.88	c (3,3) 0 values are removed by re-calculation
10.29/3.88	c (3,3) Calculate Precise Domain End
10.29/3.88	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.29/3.88	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.29/3.88	c (3,3) CSPinCNF to SatSolver Begin
10.88/4.41	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.88/4.47	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.28/4.52	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.28/4.56	c (4,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.28/4.60	c (4,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.69/4.62	c (4,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.69/4.64	c (4,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.69/4.65	c (4,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.69/4.67	c (4,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.69/4.68	c (4,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.69/4.68	c (4,3) CSPinCNF to SatSolver End
11.69/4.68	c (4,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.69/4.68	c (4,3) 2482 bool, 15697 clause
11.69/4.68	c (4,3) Export Begin
11.91/4.79	c (4,3) Export to HOME/scop-16230-serial-file.bin
11.91/4.79	c (4,3) Export End
11.91/4.79	c (4,3) Export File Size: 0.02 MB
11.91/4.79	c (4,3) 0,0,2,3,3,3,4,STOP-AFTER(DIMACS)
11.91/4.79	c END-Prog: Sat Sep 14 06:50:49 CEST 2019
12.09/4.81	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16230-serial-file.bin
12.62/5.27	c (0,0) Read Serial File Begin
12.62/5.27	c (0,0) HOME/scop-16230-serial-file.bin
13.05/5.50	c (0,0) Read Serial File End
13.05/5.51	
13.05/5.51	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.05/5.51	(Solving Process)
13.05/5.51	
13.05/5.53	c BEGIN-Prog: Sat Sep 14 06:50:50 CEST 2019
13.05/5.53	c PID: 16253
13.05/5.53	c IP: 172.20.3.149
13.05/5.53	c HOST: node149.alineos.net
13.05/5.54	c (0,0) SatSolver.solve Begin
13.05/5.54	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392758-1568436682.xml-scop-16233.cnf
13.05/5.57	c (0,0) c
13.05/5.57	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)
13.05/5.57	c (0,0) c
13.05/5.57	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.05/5.57	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.05/5.57	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.05/5.57	c (0,0) c |                                                                                                       |
13.05/5.57	c (0,0) c |  Number of variables:          2480                                                                   |
13.05/5.57	c (0,0) c |  Number of clauses:           15697                                                                   |
13.05/5.57	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.05/5.57	c (0,0) c |                                                                                                       |
13.05/5.57	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.05/5.58	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.05/5.58	c (0,0) c |                                                                                                       |
13.05/5.58	c (0,0) c |  Generating clones                                                                                    |
13.05/5.58	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.05/5.58	c (0,0) c ========================================================================================================|
13.05/5.58	c (0,0) c
13.05/5.58	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.05/5.58	c (0,0) c
13.05/5.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.05/5.58	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.05/5.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.05/5.58	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.05/5.58	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.05/5.58	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.05/5.58	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.05/5.58	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/5.58	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.05/5.58	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.05/5.58	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.05/5.58	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.05/5.58	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/5.58	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.05/5.58	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.05/5.58	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.05/5.58	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/5.58	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.05/5.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.38/35.51	c (30,0) c
227.38/35.51	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
227.38/35.51	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
227.38/35.51	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
227.38/35.51	c (30,0) c |  0 |    347 |     527683 |     289264 |     9468 |    57872 |    44277 |   282660 |    15006 |      284 |  20 |  0.848 |
227.38/35.51	c (30,0) c |  1 |    303 |     507985 |     276798 |     9139 |    45414 |    41485 |   280597 |    10388 |      277 |  20 |  0.847 |
227.38/35.51	c (30,0) c |  2 |    479 |     565310 |     298001 |     9460 |    66614 |    41858 |   292335 |    17101 |      294 |  20 |  0.847 |
227.38/35.51	c (30,0) c |  3 |    313 |     533383 |     276949 |     9095 |    45562 |    41020 |   282843 |    12090 |      292 |  20 |  0.847 |
227.38/35.51	c (30,0) c |  4 |    331 |     530963 |     287189 |     9275 |    55801 |    42982 |   280816 |    14668 |      295 |  20 |  0.848 |
227.38/35.51	c (30,0) c |  5 |    402 |     548052 |     292847 |     9373 |    61465 |    46846 |   287715 |    16379 |      296 |  20 |  0.847 |
227.38/35.51	c (30,0) c |  6 |    259 |     466767 |     265809 |     8977 |    34425 |    39952 |   291643 |    11873 |      296 |  20 |  0.847 |
227.38/35.51	c (30,0) c |  7 |    411 |     529798 |     279423 |     9381 |    48033 |    43786 |   270901 |    14513 |      276 |  20 |  0.848 |
227.38/35.51	c (30,0) c 
227.38/35.51	c (30,0) c synthesis     2266281 conflicts   170798284 propagations    10629 conflicts/sec   801071 propagations/sec
227.38/35.51	c (30,0) c real: 29.9511 s, cpu: 213.212 s, memory: 629.01 Mb
433.11/65.51	c (60,0) c
433.11/65.51	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
433.11/65.51	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
433.11/65.51	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
433.11/65.51	c (60,0) c |  0 |    424 |     816989 |     440455 |     9526 |    50270 |    58008 |   392751 |    24261 |      526 |  20 |  0.848 |
433.11/65.51	c (60,0) c |  1 |    413 |     802842 |     429450 |     9325 |    82868 |    55790 |   390891 |    22652 |      528 |  20 |  0.847 |
433.11/65.51	c (60,0) c |  2 |    537 |     879796 |     460869 |     9497 |    70681 |    60687 |   392537 |    26124 |      546 |  20 |  0.847 |
433.11/65.51	c (60,0) c |  3 |    421 |     820963 |     422804 |     9379 |    76222 |    54344 |   402088 |    24029 |      537 |  20 |  0.847 |
433.11/65.51	c (60,0) c |  4 |    393 |     844879 |     446202 |     9364 |    56015 |    59426 |   376310 |    25065 |      546 |  20 |  0.848 |
433.11/65.51	c (60,0) c |  5 |    485 |     858978 |     453709 |     9428 |    63516 |    64449 |   376420 |    25371 |      541 |  20 |  0.848 |
433.11/65.51	c (60,0) c |  6 |    318 |     768532 |     421253 |     9269 |    74658 |    53593 |   404691 |    22567 |      546 |  20 |  0.847 |
433.11/65.51	c (60,0) c |  7 |    472 |     830671 |     434079 |     9443 |    43888 |    58285 |   392135 |    26196 |      531 |  20 |  0.848 |
433.11/65.51	c (60,0) c 
433.11/65.51	c (60,0) c synthesis     3508824 conflicts   262884626 propagations     8382 conflicts/sec   627983 propagations/sec
433.11/65.51	c (60,0) c real: 59.9459 s, cpu: 418.617 s, memory: 663.58 Mb
633.74/94.51	c (89,0) c
633.74/94.51	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
633.74/94.51	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
633.74/94.51	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
633.74/94.51	c (89,0) c |  0 |    509 |    1064658 |     567652 |     9539 |    82473 |    68696 |   480915 |    33616 |      760 |  20 |  0.848 |
633.74/94.51	c (89,0) c |  1 |    462 |    1054225 |     556771 |     9370 |    71590 |    69249 |   484460 |    32966 |      768 |  20 |  0.848 |
633.74/94.51	c (89,0) c |  2 |    636 |    1105245 |     574550 |     9511 |    89360 |    69543 |   480878 |    35631 |      763 |  20 |  0.848 |
633.74/94.51	c (89,0) c |  3 |    521 |    1085247 |     554185 |     9426 |    68994 |    69678 |   474916 |    34744 |      780 |  20 |  0.848 |
633.74/94.51	c (89,0) c |  4 |    482 |    1092057 |     567731 |     9383 |    82545 |    71357 |   482862 |    35501 |      773 |  20 |  0.848 |
633.74/94.51	c (89,0) c |  5 |    563 |    1109977 |     581696 |     9458 |    96509 |    78522 |   475605 |    34754 |      780 |  20 |  0.847 |
633.74/94.51	c (89,0) c |  6 |    348 |    1010930 |     544943 |     9342 |    59750 |    65359 |   492258 |    32177 |      780 |  20 |  0.847 |
633.74/94.51	c (89,0) c |  7 |    528 |    1089506 |     563269 |     9459 |    78083 |    70595 |   483431 |    35446 |      765 |  20 |  0.847 |
633.74/94.51	c (89,0) c 
633.74/94.51	c (89,0) c synthesis     4510797 conflicts   337544802 propagations     7286 conflicts/sec   545177 propagations/sec
633.74/94.51	c (89,0) c real: 88.9462 s, cpu: 619.147 s, memory: 693.22 Mb
844.50/123.51	c (118,0) c
844.50/123.51	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
844.50/123.51	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
844.50/123.51	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
844.50/123.51	c (118,0) c |  0 |    574 |    1292163 |     681380 |     9553 |    90794 |    78797 |   545915 |    42301 |      997 |  20 |  0.847 |
844.50/123.51	c (118,0) c |  1 |    513 |    1251905 |     655826 |     9389 |    65241 |    75191 |   538673 |    41033 |      986 |  20 |  0.848 |
844.50/123.51	c (118,0) c |  2 |    694 |    1309239 |     677846 |     9525 |    87265 |    80698 |   538228 |    43064 |      987 |  20 |  0.848 |
844.50/123.51	c (118,0) c |  3 |    557 |    1294427 |     661750 |     9442 |    71162 |    79428 |   539456 |    41535 |     1005 |  20 |  0.847 |
844.50/123.51	c (118,0) c |  4 |    547 |    1297309 |     668882 |     9396 |    78300 |    77094 |   544092 |    44736 |      991 |  20 |  0.848 |
844.50/123.51	c (118,0) c |  5 |    608 |    1322893 |     690024 |     9469 |    99440 |    86133 |   532122 |    41573 |     1005 |  20 |  0.848 |
844.50/123.51	c (118,0) c |  6 |    433 |    1227558 |     651760 |     9355 |    61171 |    72312 |   551074 |    41658 |     1006 |  20 |  0.847 |
844.50/123.51	c (118,0) c |  7 |    567 |    1313545 |     675552 |     9476 |    84962 |    81400 |   544185 |    44131 |     1005 |  20 |  0.848 |
844.50/123.51	c (118,0) c 
844.50/123.51	c (118,0) c synthesis     5363020 conflicts   402102934 propagations     6463 conflicts/sec   484572 propagations/sec
844.50/123.51	c (118,0) c real: 117.946 s, cpu: 829.811 s, memory: 727.58 Mb
1015.12/149.19	c (143,0) c
1015.12/149.19	c (143,0) c real time : 143.631 s
1015.12/149.19	c (143,0) c cpu time  : 1000.27 s
1015.12/149.19	c (143,0) c
1015.12/149.19	c (143,0) c
1015.12/149.19	c (143,0) c
1015.12/149.19	c (143,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1015.12/149.19	c (143,0) c
1015.12/149.19	c (143,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1015.12/149.19	c (143,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1015.12/149.19	c (143,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1015.12/149.19	c (143,0) c | Conflicts     |         5931095 |     751150 |     734074 |     748661 |     730556 |     743615 |     755935 |     722998 |     744106 |
1015.12/149.19	c (143,0) c | Decisions     |        11442771 |    1433881 |    1410595 |    1447496 |    1434825 |    1444736 |    1452873 |    1369075 |    1449290 |
1015.12/149.19	c (143,0) c | Propagations  |       446929332 |   56317117 |   55330318 |   56155496 |   55205609 |   55736154 |   56641048 |   55500751 |   56042839 |
1015.12/149.19	c (143,0) c | ReduceDBs     |             184 |         23 |         23 |         23 |         23 |         23 |         23 |         23 |         23 |
1015.12/149.19	c (143,0) c | SimpDBs       |              76 |         10 |         10 |          9 |          9 |          9 |          8 |         10 |         11 |
1015.12/149.19	c (143,0) c | Restarts      |            4661 |        586 |        548 |        727 |        573 |        569 |        627 |        456 |        575 |
1015.12/149.19	c (143,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1015.12/149.19	c (143,0) c | PropBinClauses|       967115813 |  122145185 |  120028270 |  120424449 |  120057957 |  118487044 |  122303187 |  123720869 |  119948852 |
1015.12/149.19	c (143,0) c | PropPreBlocker|     31759842460 | 3998835914 | 3994926162 | 3951500699 | 3985969350 | 3906168113 | 4017829441 | 3924373125 | 3980239656 |
1015.12/149.19	c (143,0) c | PropNotBlocker|      5299071088 |  663924978 |  653698019 |  675677005 |  657262222 |  669134956 |  656018811 |  673000978 |  650354119 |
1015.12/149.19	c (143,0) c | LitFullScans  |     56520826224 | 7063292304 | 7063052897 | 7063125802 | 7063449272 | 7063126041 | 7066483708 | 7069161527 | 7069134673 |
1015.12/149.19	c (143,0) c | LitScanFracts |         9154241 |    1286011 |    1019213 |    1101701 |    1442216 |    1102560 |     939742 |    1155463 |    1107335 |
1015.12/149.19	c (143,0) c | DecisionLevel0|            4764 |        599 |        558 |        737 |        583 |        582 |        643 |        469 |        593 |
1015.12/149.19	c (143,0) c | Periods       |            9418 |       1177 |       1177 |       1177 |       1177 |       1177 |       1177 |       1178 |       1178 |
1015.12/149.19	c (143,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1015.12/149.19	c (143,0) c | Avg_Trail     |                 |        631 |        628 |        631 |        631 |        628 |        634 |        625 |        629 |
1015.12/149.19	c (143,0) c | Avg_DL        |                 |         21 |         20 |         22 |         21 |         21 |         21 |         20 |         22 |
1015.12/149.19	c (143,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1015.12/149.19	c (143,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1015.12/149.19	c (143,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1015.12/149.19	c (143,0) c | Exported      |          682724 |      85294 |      81221 |      87613 |      85215 |      83241 |      91455 |      80500 |      88185 |
1015.12/149.19	c (143,0) c | Imported      |         4718115 |     589075 |     591921 |     587467 |     586593 |     592030 |     585537 |     596691 |     588801 |
1015.12/149.19	c (143,0) c | Good          |           14272 |       1730 |       1773 |       1788 |       1785 |       1796 |       1778 |       1825 |       1797 |
1015.12/149.19	c (143,0) c | Purge         |         4703843 |     587345 |     590148 |     585679 |     584808 |     590234 |     583759 |     594866 |     587004 |
1015.12/149.19	c (143,0) c | Promoted      |          390010 |      48200 |      48359 |      49338 |      48151 |      51206 |      47462 |      47373 |      49921 |
1015.12/149.19	c (143,0) c | Remove_Imp    |         3626948 |     447849 |     462464 |     446873 |     466860 |     454018 |     436501 |     470617 |     441766 |
1015.12/149.19	c (143,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1015.12/149.19	c (143,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1015.12/149.19	c (143,0) c | Unaries       |                 |         13 |         10 |         10 |         10 |         13 |         16 |         13 |         18 |
1015.12/149.19	c (143,0) c | Binaries      |                 |        315 |        265 |        261 |        229 |        262 |        293 |        238 |        273 |
1015.12/149.19	c (143,0) c | Glues         |                 |       1097 |        972 |       1022 |        966 |        900 |       1048 |        915 |        980 |
1015.12/149.19	c (143,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1015.12/149.19	c (143,0) c | Orig_Seen     |            87 % |       9558 |       9403 |       9538 |       9453 |       9404 |       9481 |       9366 |       9484 |
1015.12/149.19	c (143,0) c | Diff Orig seen|                 |         77 | -       78 |         57 | -       28 | -       77 |      X     | -      115 |          3 |
1015.12/149.19	c (143,0) c | Hamming       |            11 % |        272 |        224 |        318 |        259 |        235 |      X     |        283 |        345 |
1015.12/149.19	c (143,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1015.12/149.19	c (143,0) c | RunningTime   |                 |  138.2  97%|  139.1  98%|  134.9  95%|  120.3  85%|  133.5  93%|  108.9  77%|   98.4  69%|  128.5  90%|
1015.12/149.20	c (143,0) c | WaitingTime   |                 |    4.1   3%|    2.6   2%|    6.8   5%|   21.4  15%|    9.7   7%|   32.7  23%|   43.2  30%|   13.2   9%|
1015.12/149.20	c (143,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%|
1015.12/149.20	c (143,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%|
1015.12/149.20	c (143,0) c | SolvingTime   |                 |  142.6     |  142.1     |  142.0     |  142.0     |  143.5     |  141.9     |  141.9     |  142.0     |
1015.12/149.20	c (143,0) c | PropagationTim|                 |   91.5  64%|   89.0  63%|   94.8  67%|  100.5  71%|   96.5  67%|  118.2  83%|  128.0  90%|   91.8  65%|
1015.12/149.20	c (143,0) c | AnalysisTime  |                 |   47.9  34%|   49.8  35%|   43.9  31%|   38.4  27%|   43.7  30%|   20.5  14%|   10.7   8%|   47.0  33%|
1015.12/149.20	c (143,0) c | ReductionTime |                 |    1.2   1%|    1.2   1%|    1.3   1%|    1.2   1%|    1.3   1%|    1.3   1%|    1.3   1%|    1.2   1%|
1015.12/149.20	c (143,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|
1015.12/149.20	c (143,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%|
1015.12/149.20	c (143,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%|
1015.12/149.20	c (143,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1015.12/149.20	c (143,0) c
1015.12/149.20	c (143,0) c
1015.12/149.20	c (143,0) c Threads : 8
1015.12/149.20	c (143,0) c Winner : 5
1015.12/149.20	c (143,0) c Conflicts_0 : 751150
1015.12/149.20	c (143,0) c Conflicts_1 : 734074
1015.12/149.20	c (143,0) c Conflicts_2 : 748661
1015.12/149.20	c (143,0) c Conflicts_3 : 730556
1015.12/149.20	c (143,0) c Conflicts_4 : 743615
1015.12/149.20	c (143,0) c Conflicts_5 : 755935
1015.12/149.20	c (143,0) c Conflicts_6 : 722998
1015.12/149.20	c (143,0) c Conflicts_7 : 744106
1015.12/149.20	c (143,0) c Conflicts_total : 5931095
1015.12/149.20	c (143,0) c Conflicts_winner : 755935
1015.12/149.20	c (143,0) c Decisions_0 : 1433881
1015.12/149.20	c (143,0) c Decisions_1 : 1410595
1015.12/149.20	c (143,0) c Decisions_2 : 1447496
1015.12/149.20	c (143,0) c Decisions_3 : 1434825
1015.12/149.20	c (143,0) c Decisions_4 : 1444736
1015.12/149.20	c (143,0) c Decisions_5 : 1452873
1015.12/149.20	c (143,0) c Decisions_6 : 1369075
13.44/149.20	c (143,0) c Decisions_7 : 1449290
13.44/149.20	c (143,0) c Decisions_total : 11442771
13.44/149.20	c (143,0) c Decisions_winner : 1452873
13.44/149.20	c (143,0) c Propagations_0 : 56317117
13.44/149.20	c (143,0) c Propagations_1 : 55330318
13.44/149.20	c (143,0) c Propagations_2 : 56155496
13.44/149.20	c (143,0) c Propagations_3 : 55205609
13.44/149.20	c (143,0) c Propagations_4 : 55736154
13.44/149.20	c (143,0) c Propagations_5 : 56641048
13.44/149.20	c (143,0) c Propagations_6 : 55500751
13.44/149.20	c (143,0) c Propagations_7 : 56042839
13.44/149.20	c (143,0) c Propagations_total : 446929332
13.44/149.20	c (143,0) c Propagations_winner : 56641048
13.44/149.20	c (143,0) c ReduceDBs_0 : 23
13.44/149.21	c (144,0) c ReduceDBs_1 : 23
13.44/149.21	c (144,0) c ReduceDBs_2 : 23
13.44/149.21	c (144,0) c ReduceDBs_3 : 23
13.44/149.21	c (144,0) c ReduceDBs_4 : 23
13.44/149.21	c (144,0) c ReduceDBs_5 : 23
13.44/149.21	c (144,0) c ReduceDBs_6 : 23
13.44/149.21	c (144,0) c ReduceDBs_7 : 23
13.44/149.21	c (144,0) c ReduceDBs_total : 184
13.44/149.21	c (144,0) c ReduceDBs_winner : 23
13.44/149.21	c (144,0) c SimpDBs_0 : 10
13.44/149.21	c (144,0) c SimpDBs_1 : 10
13.44/149.21	c (144,0) c SimpDBs_2 : 9
13.44/149.21	c (144,0) c SimpDBs_3 : 9
13.44/149.21	c (144,0) c SimpDBs_4 : 9
13.44/149.21	c (144,0) c SimpDBs_5 : 8
13.44/149.21	c (144,0) c SimpDBs_6 : 10
13.44/149.21	c (144,0) c SimpDBs_7 : 11
13.44/149.21	c (144,0) c SimpDBs_total : 76
13.44/149.21	c (144,0) c SimpDBs_winner : 8
13.44/149.21	c (144,0) c Restarts_0 : 586
13.44/149.21	c (144,0) c Restarts_1 : 548
13.44/149.21	c (144,0) c Restarts_2 : 727
13.44/149.21	c (144,0) c Restarts_3 : 573
13.44/149.21	c (144,0) c Restarts_4 : 569
13.44/149.21	c (144,0) c Restarts_5 : 627
13.44/149.21	c (144,0) c Restarts_6 : 456
13.44/149.21	c (144,0) c Restarts_7 : 575
13.44/149.21	c (144,0) c Restarts_total : 4661
13.44/149.21	c (144,0) c Restarts_winner : 627
13.44/149.21	c (144,0) c ForcedImports_0 : 0
13.44/149.21	c (144,0) c ForcedImports_1 : 0
13.44/149.21	c (144,0) c ForcedImports_2 : 0
13.44/149.21	c (144,0) c ForcedImports_3 : 0
13.44/149.21	c (144,0) c ForcedImports_4 : 0
13.44/149.21	c (144,0) c ForcedImports_5 : 0
13.44/149.21	c (144,0) c ForcedImports_6 : 0
13.44/149.21	c (144,0) c ForcedImports_7 : 0
13.44/149.21	c (144,0) c ForcedImports_total : 0
13.44/149.21	c (144,0) c ForcedImports_winner : 0
13.44/149.21	c (144,0) c PropsBinClauses_0 : 122145185
13.44/149.21	c (144,0) c PropsBinClauses_1 : 120028270
13.44/149.21	c (144,0) c PropsBinClauses_2 : 120424449
13.44/149.21	c (144,0) c PropsBinClauses_3 : 120057957
13.44/149.21	c (144,0) c PropsBinClauses_4 : 118487044
13.44/149.21	c (144,0) c PropsBinClauses_5 : 122303187
13.44/149.21	c (144,0) c PropsBinClauses_6 : 123720869
13.44/149.21	c (144,0) c PropsBinClauses_7 : 119948852
13.44/149.21	c (144,0) c PropsBinClauses_total : 967115813
13.44/149.21	c (144,0) c PropsBinClauses_winner : 122303187
13.44/149.21	c (144,0) c PropsPreBlocker_0 : 3998835914
13.44/149.21	c (144,0) c PropsPreBlocker_1 : 3994926162
13.44/149.21	c (144,0) c PropsPreBlocker_2 : 3951500699
13.44/149.21	c (144,0) c PropsPreBlocker_3 : 3985969350
13.44/149.21	c (144,0) c PropsPreBlocker_4 : 3906168113
13.44/149.21	c (144,0) c PropsPreBlocker_5 : 4017829441
13.44/149.21	c (144,0) c PropsPreBlocker_6 : 3924373125
13.44/149.21	c (144,0) c PropsPreBlocker_7 : 3980239656
13.44/149.21	c (144,0) c PropsPreBlocker_total : 31759842460
13.44/149.21	c (144,0) c PropsPreBlocker_winner : 4017829441
13.44/149.21	c (144,0) c PropsNotBlocker_0 : 663924978
13.44/149.21	c (144,0) c PropsNotBlocker_1 : 653698019
13.44/149.21	c (144,0) c PropsNotBlocker_2 : 675677005
13.44/149.21	c (144,0) c PropsNotBlocker_3 : 657262222
13.44/149.21	c (144,0) c PropsNotBlocker_4 : 669134956
13.44/149.21	c (144,0) c PropsNotBlocker_5 : 656018811
13.44/149.21	c (144,0) c PropsNotBlocker_6 : 673000978
13.44/149.21	c (144,0) c PropsNotBlocker_7 : 650354119
13.44/149.21	c (144,0) c PropsNotBlocker_total : 5299071088
13.44/149.21	c (144,0) c PropsNotBlocker_winner : 656018811
13.44/149.21	c (144,0) c PropsLitFullScans_0 : 7063292304
13.44/149.21	c (144,0) c PropsLitFullScans_1 : 7063052897
13.44/149.21	c (144,0) c PropsLitFullScans_2 : 7063125802
13.44/149.21	c (144,0) c PropsLitFullScans_3 : 7063449272
13.44/149.21	c (144,0) c PropsLitFullScans_4 : 7063126041
13.44/149.21	c (144,0) c PropsLitFullScans_5 : 7066483708
13.44/149.21	c (144,0) c PropsLitFullScans_6 : 7069161527
13.44/149.21	c (144,0) c PropsLitFullScans_7 : 7069134673
13.44/149.21	c (144,0) c PropsLitFullScans_total : 56520826224
13.44/149.21	c (144,0) c PropsLitFullScans_winner : 7066483708
13.44/149.21	c (144,0) c LitScanFractions_0 : 1286011
13.44/149.21	c (144,0) c LitScanFractions_1 : 1019213
13.44/149.21	c (144,0) c LitScanFractions_2 : 1101701
13.44/149.21	c (144,0) c LitScanFractions_3 : 1442216
13.44/149.21	c (144,0) c LitScanFractions_4 : 1102560
13.44/149.21	c (144,0) c LitScanFractions_5 : 939742
13.44/149.21	c (144,0) c LitScanFractions_6 : 1155463
13.44/149.21	c (144,0) c LitScanFractions_7 : 1107335
13.44/149.21	c (144,0) c LitScanFractions_total : 9154241
13.44/149.21	c (144,0) c LitScanFractions_winner : 939742
13.44/149.21	c (144,0) c DecisionLevel0_0 : 599
13.44/149.21	c (144,0) c DecisionLevel0_1 : 558
13.44/149.21	c (144,0) c DecisionLevel0_2 : 737
13.44/149.21	c (144,0) c DecisionLevel0_3 : 583
13.44/149.21	c (144,0) c DecisionLevel0_4 : 582
13.44/149.21	c (144,0) c DecisionLevel0_5 : 643
13.44/149.21	c (144,0) c DecisionLevel0_6 : 469
13.44/149.21	c (144,0) c DecisionLevel0_7 : 593
13.44/149.21	c (144,0) c DecisionLevel0_total : 4764
13.44/149.21	c (144,0) c DecisionLevel0_winner : 643
13.44/149.21	c (144,0) c Periods_0 : 1177
13.44/149.21	c (144,0) c Periods_1 : 1177
13.44/149.21	c (144,0) c Periods_2 : 1177
13.44/149.21	c (144,0) c Periods_3 : 1177
13.44/149.21	c (144,0) c Periods_4 : 1177
13.44/149.21	c (144,0) c Periods_5 : 1177
13.44/149.21	c (144,0) c Periods_6 : 1178
13.44/149.21	c (144,0) c Periods_7 : 1178
13.44/149.21	c (144,0) c Periods_total : 9418
13.44/149.21	c (144,0) c Periods_winner : 1177
13.44/149.21	c (144,0) c Margin_0 : 20
13.44/149.21	c (144,0) c Margin_1 : 20
13.44/149.21	c (144,0) c Margin_2 : 20
13.44/149.21	c (144,0) c Margin_3 : 20
13.44/149.21	c (144,0) c Margin_4 : 20
13.44/149.21	c (144,0) c Margin_5 : 20
13.44/149.21	c (144,0) c Margin_6 : 20
13.44/149.21	c (144,0) c Margin_7 : 20
13.44/149.21	c (144,0) c Margin_total : 160
13.44/149.21	c (144,0) c Margin_winner : 20
13.44/149.21	c (144,0) c Exported_0 : 85294
13.44/149.21	c (144,0) c Exported_1 : 81221
13.44/149.21	c (144,0) c Exported_2 : 87613
13.44/149.21	c (144,0) c Exported_3 : 85215
13.44/149.21	c (144,0) c Exported_4 : 83241
13.44/149.21	c (144,0) c Exported_5 : 91455
13.44/149.21	c (144,0) c Exported_6 : 80500
13.44/149.21	c (144,0) c Exported_7 : 88185
13.44/149.21	c (144,0) c Exported_total : 682724
13.44/149.21	c (144,0) c Exported_winner : 91455
13.44/149.21	c (144,0) c Imported_0 : 589075
13.44/149.21	c (144,0) c Imported_1 : 591921
13.44/149.21	c (144,0) c Imported_2 : 587467
13.44/149.21	c (144,0) c Imported_3 : 586593
13.44/149.21	c (144,0) c Imported_4 : 592030
13.44/149.21	c (144,0) c Imported_5 : 585537
13.44/149.21	c (144,0) c Imported_6 : 596691
13.44/149.21	c (144,0) c Imported_7 : 588801
13.44/149.21	c (144,0) c Imported_total : 4718115
13.44/149.21	c (144,0) c Imported_winner : 585537
13.44/149.21	c (144,0) c Good_0 : 1730
13.44/149.21	c (144,0) c Good_1 : 1773
13.44/149.21	c (144,0) c Good_2 : 1788
13.44/149.21	c (144,0) c Good_3 : 1785
13.44/149.21	c (144,0) c Good_4 : 1796
13.44/149.21	c (144,0) c Good_5 : 1778
13.44/149.21	c (144,0) c Good_6 : 1825
13.44/149.21	c (144,0) c Good_7 : 1797
13.44/149.21	c (144,0) c Good_total : 14272
13.44/149.21	c (144,0) c Good_winner : 1778
13.44/149.21	c (144,0) c Purge_0 : 587345
13.44/149.21	c (144,0) c Purge_1 : 590148
13.44/149.21	c (144,0) c Purge_2 : 585679
13.44/149.21	c (144,0) c Purge_3 : 584808
13.44/149.21	c (144,0) c Purge_4 : 590234
13.44/149.21	c (144,0) c Purge_5 : 583759
13.44/149.21	c (144,0) c Purge_6 : 594866
13.44/149.21	c (144,0) c Purge_7 : 587004
13.44/149.21	c (144,0) c Purge_total : 4703843
13.44/149.21	c (144,0) c Purge_winner : 583759
13.44/149.21	c (144,0) c Promoted_0 : 48200
13.44/149.21	c (144,0) c Promoted_1 : 48359
13.44/149.21	c (144,0) c Promoted_2 : 49338
13.44/149.21	c (144,0) c Promoted_3 : 48151
13.44/149.21	c (144,0) c Promoted_4 : 51206
13.44/149.21	c (144,0) c Promoted_5 : 47462
13.44/149.21	c (144,0) c Promoted_6 : 47373
13.44/149.21	c (144,0) c Promoted_7 : 49921
13.44/149.21	c (144,0) c Promoted_total : 390010
13.44/149.21	c (144,0) c Promoted_winner : 47462
13.44/149.21	c (144,0) c Remove_Imp_0 : 447849
13.44/149.21	c (144,0) c Remove_Imp_1 : 462464
13.44/149.21	c (144,0) c Remove_Imp_2 : 446873
13.44/149.21	c (144,0) c Remove_Imp_3 : 466860
13.44/149.21	c (144,0) c Remove_Imp_4 : 454018
13.44/149.21	c (144,0) c Remove_Imp_5 : 436501
13.44/149.21	c (144,0) c Remove_Imp_6 : 470617
13.44/149.21	c (144,0) c Remove_Imp_7 : 441766
13.44/149.21	c (144,0) c Remove_Imp_total : 3626948
13.44/149.21	c (144,0) c Remove_Imp_winner : 436501
13.44/149.21	c (144,0) c Blocked_Reuse_0 : 0
13.44/149.21	c (144,0) c Blocked_Reuse_1 : 0
13.44/149.21	c (144,0) c Blocked_Reuse_2 : 0
13.44/149.21	c (144,0) c Blocked_Reuse_3 : 0
13.44/149.21	c (144,0) c Blocked_Reuse_4 : 0
13.44/149.21	c (144,0) c Blocked_Reuse_5 : 0
13.44/149.22	c (144,0) c Blocked_Reuse_6 : 0
13.44/149.22	c (144,0) c Blocked_Reuse_7 : 0
13.44/149.22	c (144,0) c Blocked_Reuse_total : 0
13.44/149.22	c (144,0) c Blocked_Reuse_winner : 0
13.44/149.22	c (144,0) c Unaries_0 : 13
13.44/149.22	c (144,0) c Unaries_1 : 10
13.44/149.22	c (144,0) c Unaries_2 : 10
13.44/149.22	c (144,0) c Unaries_3 : 10
13.44/149.22	c (144,0) c Unaries_4 : 13
13.44/149.22	c (144,0) c Unaries_5 : 16
13.44/149.22	c (144,0) c Unaries_6 : 13
13.44/149.22	c (144,0) c Unaries_7 : 18
13.44/149.22	c (144,0) c Unaries_total : 103
13.44/149.22	c (144,0) c Unaries_winner : 16
13.44/149.22	c (144,0) c Binaries_0 : 315
13.44/149.22	c (144,0) c Binaries_1 : 265
13.44/149.22	c (144,0) c Binaries_2 : 261
13.44/149.22	c (144,0) c Binaries_3 : 229
13.44/149.22	c (144,0) c Binaries_4 : 262
13.44/149.22	c (144,0) c Binaries_5 : 293
13.44/149.22	c (144,0) c Binaries_6 : 238
13.44/149.22	c (144,0) c Binaries_7 : 273
13.44/149.22	c (144,0) c Binaries_total : 2136
13.44/149.22	c (144,0) c Binaries_winner : 293
13.44/149.22	c (144,0) c Glues_0 : 1097
13.44/149.22	c (144,0) c Glues_1 : 972
13.44/149.22	c (144,0) c Glues_2 : 1022
13.44/149.22	c (144,0) c Glues_3 : 966
13.44/149.22	c (144,0) c Glues_4 : 900
13.44/149.22	c (144,0) c Glues_5 : 1048
13.44/149.22	c (144,0) c Glues_6 : 915
13.44/149.22	c (144,0) c Glues_7 : 980
13.44/149.22	c (144,0) c Glues_total : 7900
13.44/149.22	c (144,0) c Glues_winner : 1048
13.44/149.22	c (144,0) c RunningTime_0 : 138.174319
13.44/149.22	c (144,0) c RunningTime_1 : 139.096795
13.44/149.22	c (144,0) c RunningTime_2 : 134.919848
13.44/149.22	c (144,0) c RunningTime_3 : 120.345526
13.44/149.22	c (144,0) c RunningTime_4 : 133.509346
13.44/149.22	c (144,0) c RunningTime_5 : 108.880275
13.44/149.22	c (144,0) c RunningTime_6 : 98.398817
13.44/149.22	c (144,0) c RunningTime_7 : 128.460129
13.44/149.22	c (144,0) c RunningTime_total : 1001.785056
13.44/149.22	c (144,0) c RunningTime_winner : 108.880275
13.44/149.22	c (144,0) c WaitingTime_0 : 4.081324
13.44/149.22	c (144,0) c WaitingTime_1 : 2.642381
13.44/149.22	c (144,0) c WaitingTime_2 : 6.762517
13.44/149.22	c (144,0) c WaitingTime_3 : 21.355851
13.44/149.22	c (144,0) c WaitingTime_4 : 9.687667
13.44/149.22	c (144,0) c WaitingTime_5 : 32.674568
13.44/149.22	c (144,0) c WaitingTime_6 : 43.209700
13.44/149.22	c (144,0) c WaitingTime_7 : 13.193261
13.44/149.22	c (144,0) c WaitingTime_total : 133.607269
13.44/149.22	c (144,0) c WaitingTime_winner : 32.674568
13.44/149.22	c (144,0) c ExchangingTime_0 : 0.319734
13.44/149.22	c (144,0) c ExchangingTime_1 : 0.345436
13.44/149.22	c (144,0) c ExchangingTime_2 : 0.317154
13.44/149.22	c (144,0) c ExchangingTime_3 : 0.309361
13.44/149.22	c (144,0) c ExchangingTime_4 : 0.327474
13.44/149.22	c (144,0) c ExchangingTime_5 : 0.330984
13.44/149.22	c (144,0) c ExchangingTime_6 : 0.323486
13.44/149.22	c (144,0) c ExchangingTime_7 : 0.315353
13.44/149.22	c (144,0) c ExchangingTime_total : 2.588981
13.44/149.22	c (144,0) c ExchangingTime_winner : 0.330984
13.44/149.22	c (144,0) c PeriodProcTime_0 : 0.010919
13.44/149.22	c (144,0) c PeriodProcTime_1 : 0.011882
13.44/149.22	c (144,0) c PeriodProcTime_2 : 0.010409
13.44/149.22	c (144,0) c PeriodProcTime_3 : 0.011983
13.44/149.22	c (144,0) c PeriodProcTime_4 : 0.011169
13.44/149.22	c (144,0) c PeriodProcTime_5 : 0.012789
13.44/149.22	c (144,0) c PeriodProcTime_6 : 0.012901
13.44/149.22	c (144,0) c PeriodProcTime_7 : 0.014384
13.44/149.22	c (144,0) c PeriodProcTime_total : 0.096437
13.44/149.22	c (144,0) c PeriodProcTime_winner : 0.012789
13.44/149.22	c (144,0) c SolvingTime_0 : 142.586297
13.44/149.22	c (144,0) c SolvingTime_1 : 142.096494
13.44/149.22	c (144,0) c SolvingTime_2 : 142.009928
13.44/149.22	c (144,0) c SolvingTime_3 : 142.022720
13.44/149.22	c (144,0) c SolvingTime_4 : 143.535656
13.44/149.22	c (144,0) c SolvingTime_5 : 141.898617
13.44/149.22	c (144,0) c SolvingTime_6 : 141.944904
13.44/149.22	c (144,0) c SolvingTime_7 : 141.983127
13.44/149.22	c (144,0) c SolvingTime_total : 1138.077742
13.44/149.22	c (144,0) c SolvingTime_winner : 141.898617
13.44/149.22	c (144,0) c PropagationTime_0 : 91.453732
13.44/149.22	c (144,0) c PropagationTime_1 : 89.009979
13.44/149.22	c (144,0) c PropagationTime_2 : 94.753375
13.44/149.22	c (144,0) c PropagationTime_3 : 100.483163
13.44/149.22	c (144,0) c PropagationTime_4 : 96.523361
13.44/149.22	c (144,0) c PropagationTime_5 : 118.159647
13.44/149.22	c (144,0) c PropagationTime_6 : 127.986229
13.44/149.22	c (144,0) c PropagationTime_7 : 91.816993
13.44/149.22	c (144,0) c PropagationTime_total : 810.186478
13.44/149.22	c (144,0) c PropagationTime_winner : 118.159647
13.44/149.22	c (144,0) c AnalysisTime_0 : 47.919306
13.44/149.22	c (144,0) c AnalysisTime_1 : 49.792245
13.44/149.22	c (144,0) c AnalysisTime_2 : 43.937707
13.44/149.22	c (144,0) c AnalysisTime_3 : 38.377366
13.44/149.22	c (144,0) c AnalysisTime_4 : 43.688479
13.44/149.22	c (144,0) c AnalysisTime_5 : 20.478513
13.44/149.22	c (144,0) c AnalysisTime_6 : 10.695494
13.44/149.22	c (144,0) c AnalysisTime_7 : 46.997708
13.44/149.22	c (144,0) c AnalysisTime_total : 301.886818
13.44/149.22	c (144,0) c AnalysisTime_winner : 20.478513
13.44/149.22	c (144,0) c ReductionTime_0 : 1.207660
13.44/149.22	c (144,0) c ReductionTime_1 : 1.213924
13.44/149.22	c (144,0) c ReductionTime_2 : 1.256943
13.44/149.22	c (144,0) c ReductionTime_3 : 1.209699
13.44/149.22	c (144,0) c ReductionTime_4 : 1.301846
13.44/149.22	c (144,0) c ReductionTime_5 : 1.262295
13.44/149.22	c (144,0) c ReductionTime_6 : 1.287331
13.44/149.22	c (144,0) c ReductionTime_7 : 1.193620
13.44/149.22	c (144,0) c ReductionTime_total : 9.933317
13.44/149.22	c (144,0) c ReductionTime_winner : 1.262295
13.44/149.22	c (144,0) c SimplifyTime_0 : 0.023952
13.44/149.22	c (144,0) c SimplifyTime_1 : 0.021990
13.44/149.22	c (144,0) c SimplifyTime_2 : 0.020810
13.44/149.22	c (144,0) c SimplifyTime_3 : 0.025837
13.44/149.22	c (144,0) c SimplifyTime_4 : 0.022872
13.44/149.22	c (144,0) c SimplifyTime_5 : 0.028861
13.44/149.22	c (144,0) c SimplifyTime_6 : 0.083196
13.44/149.22	c (144,0) c SimplifyTime_7 : 0.021785
13.44/149.22	c (144,0) c SimplifyTime_total : 0.249303
13.44/149.22	c (144,0) c SimplifyTime_winner : 0.028861
13.44/149.22	c (144,0) c UsedRateTime_0 : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_1 : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_2 : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_3 : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_4 : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_5 : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_6 : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_7 : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_total : 0.000000
13.44/149.22	c (144,0) c UsedRateTime_winner : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_0 : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_1 : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_2 : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_3 : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_4 : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_5 : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_6 : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_7 : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_total : 0.000000
13.44/149.22	c (144,0) c OverlapRateTime_winner : 0.000000
13.44/149.22	c (144,0) c
13.44/149.22	c (144,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.44/149.22	c (144,0) c
13.44/149.22	c (144,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.44/149.22	c (144,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.44/149.22	c (144,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.44/149.22	c (144,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.44/149.22	c (144,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
13.44/149.22	c (144,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.44/149.22	c (144,0) c | Initial random_seed   | 2049420632 | 1099155255 | 1453662295 | 1580874481 | 1014035928 | 2012583057 |   73979768 |  279895027 |
13.44/149.22	c (144,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.44/149.22	c (144,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.44/149.22	c (144,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.44/149.22	c (144,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.44/149.22	c (144,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.44/149.22	c (144,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.44/149.22	c (144,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.44/149.22	c (144,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.44/149.22	c (144,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.44/149.22	c (144,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.44/149.22	c (144,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.44/149.22	c (144,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.44/149.22	c (144,0) 
13.44/149.22	c (144,0) s UNSATISFIABLE
13.44/149.22	c (144,0) SatSolver.solve End
13.44/149.22	c (144,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.44/149.22	c (144,0) Show results Begin
13.44/149.22	s UNSATISFIABLE
13.44/149.22	c (144,0) Show results End
13.44/149.22	c (144,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.44/149.23	c (144,0) 144,144,STOP-AFTER(ALL)
13.44/149.23	c END-Prog: Sat Sep 14 06:53:13 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14845 MiB free)
  memory of node 1: 16384 MiB (15303 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392758-1568436682/watcher-4392758-1568436682 -o /tmp/evaluation-result-4392758-1568436682/solver-4392758-1568436682 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --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-4392758-1568436682.xml 

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

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

solver pid=16230, runsolver pid=16227

[startup+0.100112 s]*
/proc/loadavg: 6.07 6.82 7.32 2/212 16252
/proc/meminfo: memFree=30780200/32770624 swapFree=66940952/67108860
[pid=16230] ppid=16227 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16230/stat : 16230 (scop.sh) S 16227 16230 11963 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419906864 115843072 349 33554432000 4194304 5098028 140729124154928 140729124152184 140502201660028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26882048 140729124160292 140729124160620 140729124160620 140729124163533 0
/proc/16230/statm: 28282 349 296 221 0 87 0
[pid=16233] ppid=16230 vsize=27314120 memory=105476 CPUtime=0.11 cores=0-7
/proc/16233/stat : 16233 (java) S 16230 16230 11963 0 -1 1077944320 6928 0 0 0 9 2 0 0 20 0 20 0 419906864 27969658880 26369 33554432000 4194304 4196468 140736158794240 140736158776784 140635283975927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
/proc/16233/statm: 6828530 26369 2813 1 0 6790935 0
[pid=16233/tid=16234] ppid=16230 vsize=27314120 memory=7825737110625623194 CPUtime=0.09 cores=0-7
/proc/16233/task/16234/stat : 16234 (java) R 16230 16230 11963 0 -1 4202560 5004 0 0 0 7 2 0 0 20 0 20 0 419906864 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635255789440 140635268056414 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16235] ppid=16230 vsize=27314120 memory=732370513064164325 CPUtime=0 cores=0-7
/proc/16233/task/16235/stat : 16235 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635288218640 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16236] ppid=16230 vsize=27314120 memory=140374726710912 CPUtime=0 cores=0-7
/proc/16233/task/16236/stat : 16236 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635102375056 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16237] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16237/stat : 16237 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635101322000 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16238] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16238/stat : 16238 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635100269456 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16239] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16239/stat : 16239 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635099216400 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16240] ppid=16230 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16233/task/16240/stat : 16240 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635098163856 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16241] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16241/stat : 16241 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635097110800 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16242] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16242/stat : 16242 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 26881 33554432000 4194304 4196468 140736158794240 140635096058256 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16243] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16243/stat : 16243 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419906868 27969658880 26881 33554432000 4194304 4196468 140736158794240 140634274917104 140635283987074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16244] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16244/stat : 16244 (java) S 16230 16230 11963 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419906869 27969658880 26881 33554432000 4194304 4196468 140736158794240 140633134065312 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16245] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16245/stat : 16245 (java) S 16230 16230 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419906869 27969658880 26881 33554432000 4194304 4196468 140736158794240 140632999843056 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16246] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16246/stat : 16246 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 26881 33554432000 4194304 4196468 140736158794240 140632625338832 140635283994523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16247] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16247/stat : 16247 (java) S 16230 16230 11963 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 26881 33554432000 4194304 4196468 140736158794240 140634273863920 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16248] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16248/stat : 16248 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 26881 33554432000 4194304 4196468 140736158794240 140634272811376 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16249] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16249/stat : 16249 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 26881 33554432000 4194304 4196468 140736158794240 140634271758320 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16250] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16250/stat : 16250 (java) S 16230 16230 11963 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 26881 33554432000 4194304 4196468 140736158794240 140634270705776 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16251] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16251/stat : 16251 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906872 27969658880 26881 33554432000 4194304 4196468 140736158794240 140632127433696 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16252] ppid=16230 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16233/task/16252/stat : 16252 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906872 27969658880 26881 33554432000 4194304 4196468 140736158794240 140634269654192 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106872 KiB

[startup+0.210419 s]*
/proc/loadavg: 6.07 6.82 7.32 3/212 16252
/proc/meminfo: memFree=30759152/32770624 swapFree=66940952/67108860
[pid=16230] ppid=16227 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16230/stat : 16230 (scop.sh) S 16227 16230 11963 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419906864 115843072 349 33554432000 4194304 5098028 140729124154928 140729124152184 140502201660028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26882048 140729124160292 140729124160620 140729124160620 140729124163533 0
/proc/16230/statm: 28282 349 296 221 0 87 0
[pid=16233] ppid=16230 vsize=27314120 memory=124752 CPUtime=0.25 cores=0-7
/proc/16233/stat : 16233 (java) S 16230 16230 11963 0 -1 1077944320 12511 0 0 0 21 4 0 0 20 0 20 0 419906864 27969658880 31188 33554432000 4194304 4196468 140736158794240 140736158776784 140635283975927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
/proc/16233/statm: 6828530 31188 2971 1 0 6790935 0
[pid=16233/tid=16234] ppid=16230 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/16233/task/16234/stat : 16234 (java) R 16230 16230 11963 0 -1 4202560 10198 0 0 0 17 3 0 0 20 0 20 0 419906864 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635255775312 140635265539483 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16235] ppid=16230 vsize=27314120 memory=732370513064164325 CPUtime=0 cores=0-7
/proc/16233/task/16235/stat : 16235 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635288218640 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16236] ppid=16230 vsize=27314120 memory=140374726710912 CPUtime=0 cores=0-7
/proc/16233/task/16236/stat : 16236 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635102375056 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16237] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16237/stat : 16237 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635101322000 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16238] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16238/stat : 16238 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635100269456 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16239] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16239/stat : 16239 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635099216400 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16240] ppid=16230 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16233/task/16240/stat : 16240 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635098163856 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16241] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16241/stat : 16241 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635097110800 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16242] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16242/stat : 16242 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31188 33554432000 4194304 4196468 140736158794240 140635096058256 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16243] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16243/stat : 16243 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419906868 27969658880 31188 33554432000 4194304 4196468 140736158794240 140634274917104 140635283987074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16244] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16244/stat : 16244 (java) S 16230 16230 11963 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419906869 27969658880 31188 33554432000 4194304 4196468 140736158794240 140633134065312 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16245] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16245/stat : 16245 (java) S 16230 16230 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419906869 27969658880 31188 33554432000 4194304 4196468 140736158794240 140632999843056 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16246] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16246/stat : 16246 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 31188 33554432000 4194304 4196468 140736158794240 140632625338832 140635283994523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16247] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16247/stat : 16247 (java) S 16230 16230 11963 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 31188 33554432000 4194304 4196468 140736158794240 140634273863920 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16248] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16248/stat : 16248 (java) S 16230 16230 11963 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 31188 33554432000 4194304 4196468 140736158794240 140634272811376 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16249] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16249/stat : 16249 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 31188 33554432000 4194304 4196468 140736158794240 140634271758320 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16250] ppid=16230 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16233/task/16250/stat : 16250 (java) S 16230 16230 11963 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 419906871 27969658880 31188 33554432000 4194304 4196468 140736158794240 140634270705776 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16251] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16251/stat : 16251 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906872 27969658880 31188 33554432000 4194304 4196468 140736158794240 140632127433696 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16252] ppid=16230 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16233/task/16252/stat : 16252 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906872 27969658880 31188 33554432000 4194304 4196468 140736158794240 140634269654192 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126148 KiB

[startup+0.309714 s]*
/proc/loadavg: 6.07 6.82 7.32 2/212 16252
/proc/meminfo: memFree=30756236/32770624 swapFree=66940952/67108860
[pid=16230] ppid=16227 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16230/stat : 16230 (scop.sh) S 16227 16230 11963 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419906864 115843072 349 33554432000 4194304 5098028 140729124154928 140729124152184 140502201660028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26882048 140729124160292 140729124160620 140729124160620 140729124163533 0
/proc/16230/statm: 28282 349 296 221 0 87 0
[pid=16233] ppid=16230 vsize=27314120 memory=127828 CPUtime=0.42 cores=0-7
/proc/16233/stat : 16233 (java) S 16230 16230 11963 0 -1 1077944320 12901 0 0 0 38 4 0 0 20 0 20 0 419906864 27969658880 31957 33554432000 4194304 4196468 140736158794240 140736158776784 140635283975927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
/proc/16233/statm: 6828530 31957 3007 1 0 6790935 0
[pid=16233/tid=16234] ppid=16230 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16233/task/16234/stat : 16234 (java) R 16230 16230 11963 0 -1 4202560 10385 0 0 0 26 3 0 0 20 0 20 0 419906864 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635255799120 140635264251226 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16235] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16235/stat : 16235 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635288218640 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16236] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16236/stat : 16236 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635102375056 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16237] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16237/stat : 16237 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635101322000 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16238] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16238/stat : 16238 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635100269456 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16239] ppid=16230 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16233/task/16239/stat : 16239 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635099216400 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16240] ppid=16230 vsize=27314120 memory=140374563713967 CPUtime=0 cores=0-7
/proc/16233/task/16240/stat : 16240 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635098163856 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16241] ppid=16230 vsize=27314120 memory=140374563716272 CPUtime=0 cores=0-7
/proc/16233/task/16241/stat : 16241 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635097110800 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16242] ppid=16230 vsize=27314120 memory=140374563718576 CPUtime=0 cores=0-7
/proc/16233/task/16242/stat : 16242 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27969658880 31957 33554432000 4194304 4196468 140736158794240 140635096058256 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16243] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16243/stat : 16243 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419906868 27969658880 31957 33554432000 4194304 4196468 140736158794240 140634274917104 140635283987074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16244] ppid=16230 vsize=27314120 memory=280749127444112 CPUtime=0 cores=0-7
/proc/16233/task/16244/stat : 16244 (java) S 16230 16230 11963 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419906869 27969658880 31957 33554432000 4194304 4196468 140736158794240 140633134065312 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16245] ppid=16230 vsize=27314120 memory=280749127451024 CPUtime=0 cores=0-7
/proc/16233/task/16245/stat : 16245 (java) S 16230 16230 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419906869 27969658880 31957 33554432000 4194304 4196468 140736158794240 140632999843056 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16246] ppid=16230 vsize=27314120 memory=280749127392176 CPUtime=0 cores=0-7
/proc/16233/task/16246/stat : 16246 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906871 27969658880 31957 33554432000 4194304 4196468 140736158794240 140632625338832 140635283994523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16247] ppid=16230 vsize=27314120 memory=280749127464848 CPUtime=0.01 cores=0-7
/proc/16233/task/16247/stat : 16247 (java) R 16230 16230 11963 0 -1 4202560 390 0 0 0 1 0 0 0 20 0 20 0 419906871 27969658880 31957 33554432000 4194304 4196468 140736158794240 140634273844936 140635276265376 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16248] ppid=16230 vsize=27314120 memory=280749127471760 CPUtime=0.01 cores=0-7
/proc/16233/task/16248/stat : 16248 (java) S 16230 16230 11963 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 419906871 27969658880 31957 33554432000 4194304 4196468 140736158794240 140634272811376 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16249] ppid=16230 vsize=27314120 memory=280749127469456 CPUtime=0.01 cores=0-7
/proc/16233/task/16249/stat : 16249 (java) S 16230 16230 11963 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 419906871 27969658880 31957 33554432000 4194304 4196468 140736158794240 140634271758320 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16250] ppid=16230 vsize=27314120 memory=280749127485616 CPUtime=0.07 cores=0-7
/proc/16233/task/16250/stat : 16250 (java) S 16230 16230 11963 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 419906871 27969658880 31957 33554432000 4194304 4196468 140736158794240 140634270705776 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16251] ppid=16230 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16233/task/16251/stat : 16251 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419906872 27969658880 31957 33554432000 4194304 4196468 140736158794240 140632127433696 140635283986133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16252] ppid=16230 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16233/task/16252/stat : 16252 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906872 27969658880 31957 33554432000 4194304 4196468 140736158794240 140634269654192 140635283987074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129224 KiB

[startup+0.700935 s]
/proc/loadavg: 6.07 6.82 7.32 2/212 16252
/proc/meminfo: memFree=30735028/32770624 swapFree=66940952/67108860
[pid=16230] ppid=16227 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16230/stat : 16230 (scop.sh) S 16227 16230 11963 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419906864 115843072 349 33554432000 4194304 5098028 140729124154928 140729124152184 140502201660028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26882048 140729124160292 140729124160620 140729124160620 140729124163533 0
/proc/16230/statm: 28282 349 296 221 0 87 0
[pid=16233] ppid=16230 vsize=27320392 memory=163620 CPUtime=1.01 cores=0-7
/proc/16233/stat : 16233 (java) S 16230 16230 11963 0 -1 1077944320 20535 0 0 0 94 7 0 0 20 0 20 0 419906864 27976081408 40905 33554432000 4194304 4196468 140736158794240 140736158776784 140635283975927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
/proc/16233/statm: 6830098 40905 3185 1 0 6791447 0
[pid=16233/tid=16234] ppid=16230 vsize=27320392 memory=280749127780544 CPUtime=0.68 cores=0-7
/proc/16233/task/16234/stat : 16234 (java) R 16230 16230 11963 0 -1 4202560 17393 0 0 0 62 6 0 0 20 0 20 0 419906864 27976081408 40905 33554432000 4194304 4196468 140736158794240 140635255812912 140634763767176 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16235] ppid=16230 vsize=27320392 memory=1772 CPUtime=0 cores=0-7
/proc/16233/task/16235/stat : 16235 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27976081408 40905 33554432000 4194304 4196468 140736158794240 140635288218640 140635283986133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16236] ppid=16230 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/16233/task/16236/stat : 16236 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27976081408 40905 33554432000 4194304 4196468 140736158794240 140635102375056 140635283986133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0
[pid=16233/tid=16237] ppid=16230 vsize=27320392 memory=1556 CPUtime=0 cores=0-7
/proc/16233/task/16237/stat : 16237 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419906867 27976081408 40905 33554432000 4194304 4196468 140736158794240 140635101322000 140635283986133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140736158802666 140736158803094 140736158803094 140736158805967 0

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

/proc/16253/task/16260/stat : 16260 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488034942096 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16262] ppid=16230 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16253/task/16262/stat : 16262 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488033889040 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16263] ppid=16230 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16253/task/16263/stat : 16263 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488032836496 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16264] ppid=16230 vsize=8414124 memory=4964 CPUtime=0 cores=0-7
/proc/16253/task/16264/stat : 16264 (java) S 16230 16230 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419907348 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487848405232 140488553618050 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16265] ppid=16230 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/16253/task/16265/stat : 16265 (java) S 16230 16230 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419907349 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487172285600 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16266] ppid=16230 vsize=8414124 memory=656736 CPUtime=0 cores=0-7
/proc/16253/task/16266/stat : 16266 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907349 8616062976 30333 33554432000 4194304 4196468 140720763398096 140486903849712 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16267] ppid=16230 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16253/task/16267/stat : 16267 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140486529341392 140488553625499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16268] ppid=16230 vsize=8414124 memory=121332 CPUtime=0.05 cores=0-7
/proc/16253/task/16268/stat : 16268 (java) S 16230 16230 11963 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487847353072 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16269] ppid=16230 vsize=8414124 memory=658972 CPUtime=0.06 cores=0-7
/proc/16253/task/16269/stat : 16269 (java) S 16230 16230 11963 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487846300528 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16270] ppid=16230 vsize=8414124 memory=1556 CPUtime=0.06 cores=0-7
/proc/16253/task/16270/stat : 16270 (java) S 16230 16230 11963 0 -1 1077944384 195 0 0 0 6 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487845247472 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16271] ppid=16230 vsize=8414124 memory=11568 CPUtime=0.21 cores=0-7
/proc/16253/task/16271/stat : 16271 (java) S 16230 16230 11963 0 -1 1077944384 763 0 0 0 21 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487440722544 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16272] ppid=16230 vsize=8414124 memory=1532 CPUtime=0 cores=0-7
/proc/16253/task/16272/stat : 16272 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419907352 8616062976 30333 33554432000 4194304 4196468 140720763398096 140486031436256 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16273] ppid=16230 vsize=8414124 memory=1088 CPUtime=0.09 cores=0-7
/proc/16253/task/16273/stat : 16273 (java) S 16230 16230 11963 0 -1 1077944384 11 0 0 0 2 7 0 0 20 0 24 0 419907352 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487439669936 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16275] ppid=16230 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/16253/task/16275/stat : 16275 (java) S 16230 16230 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419907420 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487843636160 140488553631513 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16277] ppid=16230 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/16253/task/16277/stat : 16277 (java) S 16230 16230 11963 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419907421 8616062976 30333 33554432000 4194304 4196468 140720763398096 140485360336912 140488553628829 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16278] ppid=16230 vsize=8414124 memory=5980 CPUtime=0 cores=0-7
/proc/16253/task/16278/stat : 16278 (java) S 16230 16230 11963 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419907421 8616062976 30333 33554432000 4194304 4196468 140720763398096 140485628772496 140488553628829 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16287] ppid=16230 vsize=8414124 memory=624 CPUtime=0 cores=0-7
/proc/16253/task/16287/stat : 16287 (java) S 16230 16230 11963 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419907423 8616062976 30333 33554432000 4194304 4196468 140720763398096 140485091909040 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
Current children cumulated CPU time: 1013.78 s
Current children cumulated vsize: 9400688 KiB
Current children cumulated memory: 786072 KiB

[startup+148.801 s]
/proc/loadavg: 7.45 7.15 7.38 3/220 16298
/proc/meminfo: memFree=30101284/32770624 swapFree=66940952/67108860
[pid=16230] ppid=16227 vsize=113128 memory=1476 CPUtime=12.11 cores=0-7
/proc/16230/stat : 16230 (scop.sh) S 16227 16230 11963 0 -1 4202496 583 32198 0 0 0 0 1182 29 20 0 1 0 419906864 115843072 369 33554432000 4194304 5098028 140729124154928 140729124151672 140502201660028 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26882048 140729124160292 140729124160620 140729124160620 140729124163533 0
/proc/16230/statm: 28282 369 311 221 0 87 0
[pid=16253] ppid=16230 vsize=8414124 memory=121332 CPUtime=1.32 cores=0-7
/proc/16253/stat : 16253 (java) S 16230 16230 11963 0 -1 1077944320 20823 0 0 0 123 9 0 0 20 0 24 0 419907345 8616062976 30333 33554432000 4194304 4196468 140720763398096 140720763380640 140488553606903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
/proc/16253/statm: 2103531 30333 3209 1 0 2064875 0
[pid=16274] ppid=16253 vsize=873436 memory=663264 CPUtime=1001.38 cores=0-7
/proc/16274/stat : 16274 (manyglucose-4.1) S 16253 16230 11963 0 -1 1077944320 665798 0 0 0 99987 151 0 0 20 0 2 0 419907420 894398464 165816 33554432000 4194304 4454172 140724509821088 140724509819472 140250448867063 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 19107840 140724509823849 140724509824048 140724509824048 140724509827002 0
/proc/16274/statm: 218359 165816 419 64 0 214027 0
[pid=16274/tid=16283] ppid=16253 vsize=873436 memory=-8960026247786951058 CPUtime=133.28 cores=0-7
/proc/16274/task/16283/stat : 16283 (manyglucose-4.1) R 16253 16230 11963 0 -1 4202560 83397 0 0 0 13309 19 0 0 20 0 2 0 419907422 894398464 165816 33554432000 4194304 4454172 140724509821088 140250400078856 4334815 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 19107840 140724509823849 140724509824048 140724509824048 140724509827002 0
[pid=16253/tid=16254] ppid=16230 vsize=8414124 memory=121332 CPUtime=0.78 cores=0-7
/proc/16253/task/16254/stat : 16254 (java) S 16230 16230 11963 0 -1 1077944384 17472 0 0 0 72 6 0 0 20 0 24 0 419907346 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488525447072 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16255] ppid=16230 vsize=8414124 memory=663264 CPUtime=0 cores=0-7
/proc/16253/task/16255/stat : 16255 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488557849104 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16256] ppid=16230 vsize=8414124 memory=613680 CPUtime=0 cores=0-7
/proc/16253/task/16256/stat : 16256 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488039152272 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16257] ppid=16230 vsize=8414124 memory=280749127848208 CPUtime=0 cores=0-7
/proc/16253/task/16257/stat : 16257 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488038099216 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16258] ppid=16230 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/16253/task/16258/stat : 16258 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488037046672 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16259] ppid=16230 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16253/task/16259/stat : 16259 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488035994640 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16260] ppid=16230 vsize=8414124 memory=121332 CPUtime=0 cores=0-7
/proc/16253/task/16260/stat : 16260 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488034942096 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16262] ppid=16230 vsize=8414124 memory=658972 CPUtime=0 cores=0-7
/proc/16253/task/16262/stat : 16262 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488033889040 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16263] ppid=16230 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/16253/task/16263/stat : 16263 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30333 33554432000 4194304 4196468 140720763398096 140488032836496 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16264] ppid=16230 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/16253/task/16264/stat : 16264 (java) S 16230 16230 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419907348 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487848405232 140488553618050 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16265] ppid=16230 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/16253/task/16265/stat : 16265 (java) S 16230 16230 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419907349 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487172285600 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16266] ppid=16230 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/16253/task/16266/stat : 16266 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907349 8616062976 30333 33554432000 4194304 4196468 140720763398096 140486903849712 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16267] ppid=16230 vsize=8414124 memory=4964 CPUtime=0 cores=0-7
/proc/16253/task/16267/stat : 16267 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140486529341392 140488553625499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16268] ppid=16230 vsize=8414124 memory=4100 CPUtime=0.05 cores=0-7
/proc/16253/task/16268/stat : 16268 (java) S 16230 16230 11963 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487847353072 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16269] ppid=16230 vsize=8414124 memory=1412 CPUtime=0.06 cores=0-7
/proc/16253/task/16269/stat : 16269 (java) S 16230 16230 11963 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487846300528 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16270] ppid=16230 vsize=8414124 memory=3672 CPUtime=0.06 cores=0-7
/proc/16253/task/16270/stat : 16270 (java) S 16230 16230 11963 0 -1 1077944384 195 0 0 0 6 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487845247472 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16271] ppid=16230 vsize=8414124 memory=1476 CPUtime=0.21 cores=0-7
/proc/16253/task/16271/stat : 16271 (java) S 16230 16230 11963 0 -1 1077944384 763 0 0 0 21 0 0 0 20 0 24 0 419907351 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487440722544 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16272] ppid=16230 vsize=8414124 memory=121332 CPUtime=0 cores=0-7
/proc/16253/task/16272/stat : 16272 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419907352 8616062976 30333 33554432000 4194304 4196468 140720763398096 140486031436256 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16273] ppid=16230 vsize=8414124 memory=615700 CPUtime=0.09 cores=0-7
/proc/16253/task/16273/stat : 16273 (java) S 16230 16230 11963 0 -1 1077944384 11 0 0 0 2 7 0 0 20 0 24 0 419907352 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487439669936 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16275] ppid=16230 vsize=8414124 memory=-8960026247786951058 CPUtime=0 cores=0-7
/proc/16253/task/16275/stat : 16275 (java) S 16230 16230 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419907420 8616062976 30333 33554432000 4194304 4196468 140720763398096 140487843636160 140488553631513 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16277] ppid=16230 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16253/task/16277/stat : 16277 (java) S 16230 16230 11963 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419907421 8616062976 30333 33554432000 4194304 4196468 140720763398096 140485360336912 140488553628829 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16278] ppid=16230 vsize=8414124 memory=121332 CPUtime=0 cores=0-7
/proc/16253/task/16278/stat : 16278 (java) S 16230 16230 11963 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419907421 8616062976 30333 33554432000 4194304 4196468 140720763398096 140485628772496 140488553628829 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16287] ppid=16230 vsize=8414124 memory=663152 CPUtime=0 cores=0-7
/proc/16253/task/16287/stat : 16287 (java) S 16230 16230 11963 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419907423 8616062976 30333 33554432000 4194304 4196468 140720763398096 140485091909040 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
Current children cumulated CPU time: 1014.81 s
Current children cumulated vsize: 9400688 KiB
Current children cumulated memory: 786072 KiB

[startup+149.201 s]
/proc/loadavg: 7.45 7.15 7.38 2/218 16298
/proc/meminfo: memFree=30101132/32770624 swapFree=66940952/67108860
[pid=16230] ppid=16227 vsize=113128 memory=1476 CPUtime=12.11 cores=0-7
/proc/16230/stat : 16230 (scop.sh) S 16227 16230 11963 0 -1 4202496 583 32198 0 0 0 0 1182 29 20 0 1 0 419906864 115843072 369 33554432000 4194304 5098028 140729124154928 140729124151672 140502201660028 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26882048 140729124160292 140729124160620 140729124160620 140729124163533 0
/proc/16230/statm: 28282 369 311 221 0 87 0
[pid=16253] ppid=16230 vsize=8414124 memory=121356 CPUtime=1.33 cores=0-7
/proc/16253/stat : 16253 (java) S 16230 16230 11963 0 -1 1077944320 20834 0 0 0 124 9 0 0 20 0 24 0 419907345 8616062976 30339 33554432000 4194304 4196468 140720763398096 140720763380640 140488553606903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
/proc/16253/statm: 2103531 30339 3209 1 0 2064875 0
[pid=16253/tid=16254] ppid=16230 vsize=8414124 memory=1720 CPUtime=0.78 cores=0-7
/proc/16253/task/16254/stat : 16254 (java) S 16230 16230 11963 0 -1 1077944384 17472 0 0 0 72 6 0 0 20 0 24 0 419907346 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488525447072 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16255] ppid=16230 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/16253/task/16255/stat : 16255 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488557849104 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16256] ppid=16230 vsize=8414124 memory=2432 CPUtime=0 cores=0-7
/proc/16253/task/16256/stat : 16256 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488039152272 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16257] ppid=16230 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/16253/task/16257/stat : 16257 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488038099216 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16258] ppid=16230 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/16253/task/16258/stat : 16258 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488037046672 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16259] ppid=16230 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/16253/task/16259/stat : 16259 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488035994640 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16260] ppid=16230 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/16253/task/16260/stat : 16260 (java) S 16230 16230 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488034942096 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16262] ppid=16230 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/16253/task/16262/stat : 16262 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488033889040 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16263] ppid=16230 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16253/task/16263/stat : 16263 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907347 8616062976 30339 33554432000 4194304 4196468 140720763398096 140488032836496 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16264] ppid=16230 vsize=8414124 memory=7092160406883953258 CPUtime=0 cores=0-7
/proc/16253/task/16264/stat : 16264 (java) S 16230 16230 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419907348 8616062976 30339 33554432000 4194304 4196468 140720763398096 140487848405232 140488553618050 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16265] ppid=16230 vsize=8414124 memory=609 CPUtime=0 cores=0-7
/proc/16253/task/16265/stat : 16265 (java) S 16230 16230 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419907349 8616062976 30339 33554432000 4194304 4196468 140720763398096 140487172285600 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16266] ppid=16230 vsize=8414124 memory=7378985693007597912 CPUtime=0 cores=0-7
/proc/16253/task/16266/stat : 16266 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907349 8616062976 30339 33554432000 4194304 4196468 140720763398096 140486903849712 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16267] ppid=16230 vsize=8414124 memory=7378985693007597912 CPUtime=0 cores=0-7
/proc/16253/task/16267/stat : 16267 (java) S 16230 16230 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419907351 8616062976 30339 33554432000 4194304 4196468 140720763398096 140486529341392 140488553625499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16268] ppid=16230 vsize=8414124 memory=7810484650041173611 CPUtime=0.05 cores=0-7
/proc/16253/task/16268/stat : 16268 (java) S 16230 16230 11963 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 24 0 419907351 8616062976 30339 33554432000 4194304 4196468 140720763398096 140487847353072 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16269] ppid=16230 vsize=8414124 memory=7810484650041173611 CPUtime=0.06 cores=0-7
/proc/16253/task/16269/stat : 16269 (java) R 16230 16230 11963 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 24 0 419907351 8616062976 30339 33554432000 4194304 4196468 140720763398096 140487846300528 140488553618050 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16270] ppid=16230 vsize=8414124 memory=7810484650041173611 CPUtime=0.06 cores=0-7
/proc/16253/task/16270/stat : 16270 (java) S 16230 16230 11963 0 -1 1077944384 195 0 0 0 6 0 0 0 20 0 24 0 419907351 8616062976 30339 33554432000 4194304 4196468 140720763398096 140487845247472 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16271] ppid=16230 vsize=8414124 memory=7235710449908869991 CPUtime=0.22 cores=0-7
/proc/16253/task/16271/stat : 16271 (java) R 16230 16230 11963 0 -1 4202560 775 0 0 0 22 0 0 0 20 0 24 0 419907351 8616062976 30339 33554432000 4194304 4196468 140720763398096 140487440722544 140488546703816 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16272] ppid=16230 vsize=8414124 memory=7378985693007597912 CPUtime=0 cores=0-7
/proc/16253/task/16272/stat : 16272 (java) S 16230 16230 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419907352 8616062976 30339 33554432000 4194304 4196468 140720763398096 140486031436256 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16273] ppid=16230 vsize=8414124 memory=7452441891570800742 CPUtime=0.09 cores=0-7
/proc/16253/task/16273/stat : 16273 (java) S 16230 16230 11963 0 -1 1077944384 11 0 0 0 2 7 0 0 20 0 24 0 419907352 8616062976 30339 33554432000 4194304 4196468 140720763398096 140487439669936 140488553618050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16275] ppid=16230 vsize=8414124 memory=6228309404062870120 CPUtime=0 cores=0-7
/proc/16253/task/16275/stat : 16275 (java) S 16230 16230 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419907420 8616062976 30339 33554432000 4194304 4196468 140720763398096 140487843636160 140488553631513 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16277] ppid=16230 vsize=8414124 memory=7230088737402414186 CPUtime=0.01 cores=0-7
/proc/16253/task/16277/stat : 16277 (java) R 16230 16230 11963 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 419907421 8616062976 30339 33554432000 4194304 4196468 140720763398096 140485360342912 140488546286125 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16278] ppid=16230 vsize=8414124 memory=6228309404062870120 CPUtime=0 cores=0-7
/proc/16253/task/16278/stat : 16278 (java) S 16230 16230 11963 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419907421 8616062976 30339 33554432000 4194304 4196468 140720763398096 140485628772496 140488553628829 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
[pid=16253/tid=16287] ppid=16230 vsize=8414124 memory=280749130332864 CPUtime=0 cores=0-7
/proc/16253/task/16287/stat : 16287 (java) S 16230 16230 11963 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419907423 8616062976 30339 33554432000 4194304 4196468 140720763398096 140485091909040 140488553617109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720763401207 140720763401366 140720763401366 140720763404239 0
Current children cumulated CPU time: 13.44 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122832 KiB

Child status: 0
Real time (s): 149.237
CPU time (s): 1015.34
CPU user time (s): 1013.39
CPU system time (s): 1.95141
CPU usage (%): 680.354
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1063160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1013.39
system time used= 1.95141
maximum resident set size= 1062208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 721214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18779
involuntary context switches= 8516


# summary of solver processes directly reported to runsolver:
#   pid: 16230
#   total CPU time (s): 1015.34
#   total CPU user time (s): 1013.39
#   total CPU system time (s): 1.95141

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39872 second user time and 2.16954 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 06:50:44
IDJOB=4392758
IDBENCH=134582
IDSOLVER=2839
FILE ID=node149/4392758-1568436682
RUNJOBID= node149-1568429993-11990
PBS_JOBID= 21702308
Free space on /tmp= 61424 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-1_X2.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-4392758-1568436682/watcher-4392758-1568436682 -o /tmp/evaluation-result-4392758-1568436682/solver-4392758-1568436682 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --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-4392758-1568436682.xml

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

MD5SUM BENCH= 6c4aeb96443502fd0f9a0dc0a71b4b92
RANDOM SEED=857852334

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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:        30872944 kB
MemAvailable:   31851436 kB
Buffers:          192864 kB
Cached:          1080684 kB
SwapCached:        61328 kB
Active:           618388 kB
Inactive:         718672 kB
Active(anon):      30640 kB
Inactive(anon):    72512 kB
Active(file):     587748 kB
Inactive(file):   646160 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66940952 kB
Dirty:             20476 kB
Writeback:             0 kB
AnonPages:        113284 kB
Mapped:            44412 kB
Shmem:             31376 kB
Slab:             149676 kB
SReclaimable:     120840 kB
SUnreclaim:        28836 kB
KernelStack:        3376 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499060 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 06:53:13