Trace number 4405318

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 1029.52 142.362

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19989-serial-file.bin HOME/instance-4405318-1569343041.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 18:36:23 CEST 2019
0.66/0.56	c PID: 19992
0.66/0.56	c IP: 172.20.3.103
1.01/0.95	c HOST: node103.alineos.net
1.01/0.95	c (0,0) Parsing Begin
2.03/1.12	c (0,0) Parsing End
2.03/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.03/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.13	c (0,0) Constraint Name Generate Begin
2.03/1.14	c (0,0) Ctr:HOME/instance-4405318-1569343041.xml,ExtensionConflict:ExtensionSupport:Var
2.03/1.14	c (0,0) Constraint Name Generate End
2.03/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.14	c (0,0) CSP to CSPinCNF Begin
3.16/1.62	c (1,1) translated 127 (10%) constraints
3.58/1.73	c (1,1) translated 253 (20%) constraints
3.99/1.80	c (1,1) translated 379 (30%) constraints
3.99/1.86	c (1,1) translated 505 (40%) constraints
4.41/1.92	c (1,1) translated 631 (50%) constraints
4.41/1.97	c (1,1) translated 757 (60%) constraints
5.21/2.11	c (1,1) translated 883 (70%) constraints
5.90/2.35	c (1,1) translated 1009 (80%) constraints
6.16/2.57	c (2,2) translated 1135 (90%) constraints
6.68/2.88	c (2,2) translated 1261 (100%) constraints
6.68/2.88	c (2,2) ===========================================
6.68/2.88	c (2,2) Order
6.68/2.88	c (2,2) ===========================================
7.08/2.94	c (2,2) translated 1883 (10%) constraints
7.08/2.99	c (2,2) translated 3765 (20%) constraints
7.46/3.04	c (2,2) translated 5647 (30%) constraints
7.46/3.09	c (2,2) translated 7529 (40%) constraints
7.86/3.14	c (2,2) translated 9411 (50%) constraints
7.86/3.18	c (2,2) translated 11294 (60%) constraints
8.29/3.23	c (2,2) translated 13176 (70%) constraints
8.29/3.27	c (2,2) translated 15058 (80%) constraints
8.29/3.30	c (2,2) translated 16940 (90%) constraints
8.64/3.33	c (2,2) translated 18822 (100%) constraints
8.64/3.33	c (2,2) CSP to CSPinCNF End
8.64/3.34	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.64/3.34	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.64/3.34	c (2,2) CSPinCNF Propagation Begin
9.66/3.68	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.66/3.68	c (3,3) CSPinCNF Propagation End
9.66/3.68	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.66/3.68	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.66/3.68	c (3,3) Simplify CSPinCNF Begin
9.99/3.74	c (3,3) Simplify CSPinCNF End
9.99/3.74	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.99/3.74	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.99/3.74	c (3,3) Calculate Precise Domain Begin
9.99/3.74	c (3,3) 0 values are removed by re-calculation
9.99/3.74	c (3,3) Calculate Precise Domain End
9.99/3.74	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.99/3.74	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.99/3.74	c (3,3) CSPinCNF to SatSolver Begin
10.32/3.89	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.60/3.95	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.99/4.00	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
10.99/4.04	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
10.99/4.08	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.39/4.10	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.39/4.12	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.39/4.14	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.39/4.15	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.39/4.16	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.39/4.16	c (3,3) CSPinCNF to SatSolver End
11.39/4.16	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.39/4.16	c (3,3) 2482 bool, 15697 clause
11.39/4.16	c (3,3) Export Begin
11.58/4.27	c (3,3) Export to HOME/scop-19989-serial-file.bin
11.58/4.27	c (3,3) Export End
11.58/4.27	c (3,3) Export File Size: 0.02 MB
11.58/4.27	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.58/4.27	c END-Prog: Tue Sep 24 18:36:27 CEST 2019
11.58/4.29	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19989-serial-file.bin
11.74/4.75	c (0,0) Read Serial File Begin
11.74/4.75	c (0,0) HOME/scop-19989-serial-file.bin
11.74/4.98	c (0,0) Read Serial File End
11.74/4.99	
11.74/4.99	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
11.74/4.99	(Solving Process)
11.74/4.99	
11.74/5.01	c BEGIN-Prog: Tue Sep 24 18:36:27 CEST 2019
11.74/5.01	c PID: 20012
11.74/5.01	c IP: 172.20.3.103
11.74/5.01	c HOST: node103.alineos.net
11.74/5.01	c (0,0) SatSolver.solve Begin
11.74/5.01	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405318-1569343041.xml-scop-19992.cnf
11.74/5.04	c (0,0) c
11.74/5.04	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)
11.74/5.04	c (0,0) c
11.74/5.04	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.74/5.04	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
11.74/5.04	c (0,0) c ========================================[ Problem Statistics ]===========================================
11.74/5.04	c (0,0) c |                                                                                                       |
11.74/5.04	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
11.74/5.04	c (0,0) c |  Number of variables:          2480                                                                   |
11.74/5.04	c (0,0) c |  Number of clauses:           15697                                                                   |
11.74/5.04	c (0,0) c |  Parse time:                   0.00 s                                                                 |
11.74/5.04	c (0,0) c |                                                                                                       |
11.74/5.05	c (0,0) c |  Simplification time:          0.01 s                                                                 |
11.74/5.05	c (0,0) c |                                                                                                       |
11.74/5.05	c (0,0) c |  Generating clones                                                                                    |
11.74/5.06	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
11.74/5.06	c (0,0) c ========================================================================================================|
11.74/5.06	c (0,0) c
11.74/5.06	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
11.74/5.06	c (0,0) c
11.74/5.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.74/5.06	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
11.74/5.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.74/5.06	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
11.74/5.06	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
11.74/5.06	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
11.74/5.06	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
11.74/5.06	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
11.74/5.06	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
11.74/5.06	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
11.74/5.06	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
11.74/5.06	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
11.74/5.06	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
11.74/5.06	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
11.74/5.06	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
11.74/5.06	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
11.74/5.06	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
11.74/5.06	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
11.74/5.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
235.67/34.10	c (29,0) c
235.67/34.10	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
235.67/34.10	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
235.67/34.10	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
235.67/34.10	c (29,0) c |  0 |    347 |     540051 |     295306 |     9469 |    63914 |    45120 |   282660 |    15808 |      294 |  20 |  0.848 |
235.67/34.10	c (29,0) c |  1 |    307 |     529090 |     287742 |     9140 |    56358 |    42271 |   290797 |    10895 |      294 |  20 |  0.847 |
235.67/34.10	c (29,0) c |  2 |    478 |     561034 |     295874 |     9459 |    64487 |    41703 |   290810 |    16884 |      290 |  20 |  0.847 |
235.67/34.10	c (29,0) c |  3 |    313 |     530095 |     275250 |     9093 |    43863 |    40876 |   282843 |    12064 |      290 |  20 |  0.847 |
235.67/34.10	c (29,0) c |  4 |    331 |     544244 |     294476 |     9276 |    63088 |    43709 |   280816 |    14982 |      306 |  20 |  0.848 |
235.67/34.10	c (29,0) c |  5 |    402 |     555215 |     296409 |     9375 |    65028 |    47464 |   287715 |    16643 |      302 |  20 |  0.847 |
235.67/34.10	c (29,0) c |  6 |    263 |     488489 |     276980 |     8982 |    45596 |    40989 |   299137 |    12342 |      310 |  20 |  0.847 |
235.67/34.10	c (29,0) c |  7 |    411 |     552485 |     291382 |     9396 |    59993 |    45558 |   270901 |    14720 |      296 |  20 |  0.848 |
235.67/34.10	c (29,0) c 
235.67/34.10	c (29,0) c synthesis     2313419 conflicts   174375198 propagations    10416 conflicts/sec   785083 propagations/sec
235.67/34.10	c (29,0) c real: 29.0644 s, cpu: 222.111 s, memory: 629.20 Mb
461.43/64.10	c (59,0) c
461.43/64.10	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
461.43/64.10	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
461.43/64.10	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
461.43/64.10	c (59,0) c |  0 |    428 |     858316 |     462665 |     9527 |    72479 |    60001 |   408026 |    25052 |      563 |  20 |  0.847 |
461.43/64.10	c (59,0) c |  1 |    421 |     848277 |     452915 |     9327 |    62731 |    57948 |   409878 |    24110 |      570 |  20 |  0.848 |
461.43/64.10	c (59,0) c |  2 |    540 |     899653 |     470859 |     9497 |    80670 |    61394 |   405630 |    26795 |      566 |  20 |  0.848 |
461.43/64.10	c (59,0) c |  3 |    424 |     840204 |     431661 |     9380 |    85080 |    55292 |   404575 |    25237 |      553 |  20 |  0.848 |
461.43/64.10	c (59,0) c |  4 |    417 |     872897 |     460093 |     9372 |    69906 |    60836 |   409991 |    26620 |      571 |  20 |  0.847 |
461.43/64.10	c (59,0) c |  5 |    490 |     890205 |     469373 |     9435 |    79181 |    66611 |   395533 |    26590 |      571 |  20 |  0.847 |
461.43/64.10	c (59,0) c |  6 |    327 |     793750 |     433800 |     9279 |    43610 |    54140 |   415640 |    23947 |      571 |  20 |  0.847 |
461.43/64.10	c (59,0) c |  7 |    480 |     859844 |     448368 |     9444 |    58178 |    59756 |   403715 |    26969 |      553 |  20 |  0.847 |
461.43/64.10	c (59,0) c 
461.43/64.10	c (59,0) c synthesis     3629734 conflicts   271911374 propagations     8113 conflicts/sec   607770 propagations/sec
461.43/64.10	c (59,0) c real: 59.0644 s, cpu: 447.392 s, memory: 666.36 Mb
672.34/93.10	c (88,0) c
672.34/93.10	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
672.34/93.10	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
672.34/93.10	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
672.34/93.10	c (88,0) c |  0 |    522 |    1102709 |     586789 |     9543 |   101609 |    70110 |   495555 |    35158 |      805 |  20 |  0.847 |
672.34/93.10	c (88,0) c |  1 |    479 |    1085313 |     573330 |     9374 |    88149 |    70093 |   492366 |    34707 |      805 |  20 |  0.848 |
672.34/93.10	c (88,0) c |  2 |    642 |    1138268 |     590694 |     9513 |    54110 |    71049 |   487699 |    37101 |      802 |  20 |  0.847 |
672.34/93.10	c (88,0) c |  3 |    521 |    1106993 |     566251 |     9427 |    81060 |    71539 |   474916 |    35198 |      804 |  20 |  0.848 |
672.34/93.10	c (88,0) c |  4 |    496 |    1119678 |     580856 |     9385 |    95671 |    71860 |   494843 |    37315 |      805 |  20 |  0.847 |
672.34/93.10	c (88,0) c |  5 |    575 |    1134604 |     593915 |     9459 |    57329 |    79805 |   487651 |    35781 |      805 |  20 |  0.847 |
672.34/93.10	c (88,0) c |  6 |    370 |    1040827 |     558938 |     9345 |    73744 |    66138 |   501108 |    33667 |      805 |  20 |  0.847 |
672.34/93.10	c (88,0) c |  7 |    532 |    1108159 |     572968 |     9460 |    87781 |    71511 |   485709 |    36577 |      785 |  20 |  0.847 |
672.34/93.10	c (88,0) c 
672.34/93.10	c (88,0) c synthesis     4623742 conflicts   345988064 propagations     7026 conflicts/sec   525734 propagations/sec
672.34/93.10	c (88,0) c real: 88.0643 s, cpu: 658.105 s, memory: 696.04 Mb
894.40/123.10	c (118,0) c
894.40/123.10	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
894.40/123.10	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
894.40/123.10	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
894.40/123.10	c (118,0) c |  0 |    574 |    1319893 |     694604 |     9553 |   104018 |    79738 |   545915 |    43377 |     1031 |  20 |  0.847 |
894.40/123.10	c (118,0) c |  1 |    519 |    1305525 |     681585 |     9392 |    90999 |    76825 |   558385 |    43055 |     1042 |  20 |  0.847 |
894.40/123.10	c (118,0) c |  2 |    709 |    1346529 |     696400 |     9529 |   105819 |    82885 |   554792 |    45178 |     1038 |  20 |  0.847 |
894.40/123.10	c (118,0) c |  3 |    560 |    1328998 |     677917 |     9444 |    87329 |    80388 |   556638 |    42772 |     1041 |  20 |  0.847 |
894.40/123.10	c (118,0) c |  4 |    557 |    1325345 |     682632 |     9398 |    92049 |    78233 |   551537 |    45615 |     1022 |  20 |  0.848 |
894.40/123.10	c (118,0) c |  5 |    611 |    1347782 |     703171 |     9474 |   112587 |    87258 |   549796 |    42422 |     1042 |  20 |  0.847 |
894.40/123.10	c (118,0) c |  6 |    437 |    1263884 |     669803 |     9357 |    79214 |    74620 |   558704 |    42597 |     1042 |  20 |  0.847 |
894.40/123.10	c (118,0) c |  7 |    568 |    1332011 |     684496 |     9477 |    93905 |    82243 |   548681 |    44706 |     1027 |  20 |  0.848 |
894.40/123.10	c (118,0) c 
894.40/123.10	c (118,0) c synthesis     5490608 conflicts   411964709 propagations     6239 conflicts/sec   468104 propagations/sec
894.40/123.10	c (118,0) c real: 118.064 s, cpu: 880.071 s, memory: 696.04 Mb
1029.39/142.31	c (137,0) c
1029.39/142.31	c (137,0) c real time : 137.274 s
1029.39/142.31	c (137,0) c cpu time  : 1014.7 s
1029.39/142.31	c (137,0) c
1029.39/142.31	c (137,0) c
1029.39/142.31	c (137,0) c
1029.39/142.31	c (137,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1029.39/142.31	c (137,0) c
1029.39/142.31	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.31	c (137,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1029.39/142.31	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.31	c (137,0) c | Conflicts     |         5931123 |     751150 |     734372 |     748661 |     730556 |     743615 |     755935 |     722998 |     743836 |
1029.39/142.31	c (137,0) c | Decisions     |        11442768 |    1433881 |    1411172 |    1447496 |    1434825 |    1444736 |    1452873 |    1369075 |    1448710 |
1029.39/142.31	c (137,0) c | Propagations  |       446931838 |   56317117 |   55355305 |   56155496 |   55205609 |   55736154 |   56641048 |   55500751 |   56020358 |
1029.39/142.31	c (137,0) c | ReduceDBs     |             184 |         23 |         23 |         23 |         23 |         23 |         23 |         23 |         23 |
1029.39/142.31	c (137,0) c | SimpDBs       |              76 |         10 |         10 |          9 |          9 |          9 |          8 |         10 |         11 |
1029.39/142.31	c (137,0) c | Restarts      |            4661 |        586 |        548 |        727 |        573 |        569 |        627 |        456 |        575 |
1029.39/142.31	c (137,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1029.39/142.31	c (137,0) c | PropBinClauses|       967118031 |  122145185 |  120092783 |  120424449 |  120057957 |  118487044 |  122303187 |  123720869 |  119886557 |
1029.39/142.31	c (137,0) c | PropPreBlocker|     31759973633 | 3998835914 | 3997690796 | 3951500699 | 3985969350 | 3906168113 | 4017829441 | 3924373125 | 3977606195 |
1029.39/142.31	c (137,0) c | PropNotBlocker|      5299044598 |  663924978 |  654535008 |  675677005 |  657262222 |  669134956 |  656018811 |  673000978 |  649490640 |
1029.39/142.31	c (137,0) c | LitFullScans  |     56520794232 | 7063292304 | 7069037217 | 7063125802 | 7063449272 | 7063126041 | 7066483708 | 7069161527 | 7063118361 |
1029.39/142.31	c (137,0) c | LitScanFracts |         9154953 |    1286011 |    1020428 |    1101701 |    1442216 |    1102560 |     939742 |    1155463 |    1106832 |
1029.39/142.31	c (137,0) c | DecisionLevel0|            4759 |        599 |        558 |        737 |        583 |        582 |        643 |        469 |        588 |
1029.39/142.31	c (137,0) c | Periods       |            9418 |       1177 |       1178 |       1177 |       1177 |       1177 |       1177 |       1178 |       1177 |
1029.39/142.31	c (137,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1029.39/142.31	c (137,0) c | Avg_Trail     |                 |        631 |        628 |        631 |        631 |        628 |        634 |        625 |        629 |
1029.39/142.31	c (137,0) c | Avg_DL        |                 |         21 |         20 |         22 |         21 |         21 |         21 |         20 |         22 |
1029.39/142.31	c (137,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1029.39/142.31	c (137,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1029.39/142.31	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.31	c (137,0) c | Exported      |          682697 |      85294 |      81257 |      87613 |      85215 |      83241 |      91455 |      80500 |      88122 |
1029.39/142.31	c (137,0) c | Imported      |         4716978 |     589075 |     591921 |     587467 |     586593 |     592030 |     585537 |     596691 |     587664 |
1029.39/142.31	c (137,0) c | Good          |           14267 |       1730 |       1773 |       1788 |       1785 |       1796 |       1778 |       1825 |       1792 |
1029.39/142.31	c (137,0) c | Purge         |         4702711 |     587345 |     590148 |     585679 |     584808 |     590234 |     583759 |     594866 |     585872 |
1029.39/142.31	c (137,0) c | Promoted      |          389996 |      48200 |      48393 |      49338 |      48151 |      51206 |      47462 |      47373 |      49873 |
1029.39/142.31	c (137,0) c | Remove_Imp    |         3626948 |     447849 |     462464 |     446873 |     466860 |     454018 |     436501 |     470617 |     441766 |
1029.39/142.31	c (137,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1029.39/142.31	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.31	c (137,0) c | Unaries       |                 |         13 |         10 |         10 |         10 |         13 |         16 |         13 |         13 |
1029.39/142.31	c (137,0) c | Binaries      |                 |        315 |        265 |        261 |        229 |        262 |        293 |        238 |        263 |
1029.39/142.31	c (137,0) c | Glues         |                 |       1097 |        972 |       1022 |        966 |        900 |       1048 |        915 |        968 |
1029.39/142.31	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.31	c (137,0) c | Orig_Seen     |            87 % |       9558 |       9403 |       9538 |       9453 |       9404 |       9481 |       9366 |       9483 |
1029.39/142.31	c (137,0) c | Diff Orig seen|                 |         77 | -       78 |         57 | -       28 | -       77 |      X     | -      115 |          2 |
1029.39/142.31	c (137,0) c | Hamming       |            10 % |        272 |        261 |        318 |        259 |        235 |      X     |        283 |        254 |
1029.39/142.31	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.31	c (137,0) c | RunningTime   |                 |  131.3  97%|  129.0  95%|  133.9  99%|  129.0  95%|  130.5  95%|  120.3  89%|  108.6  80%|  134.8  99%|
1029.39/142.31	c (137,0) c | WaitingTime   |                 |    4.2   3%|    6.4   5%|    1.5   1%|    6.5   5%|    6.4   5%|   14.9  11%|   26.7  20%|    0.7   1%|
1029.39/142.31	c (137,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|
1029.39/142.31	c (137,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%|
1029.39/142.31	c (137,0) c | SolvingTime   |                 |  135.8     |  135.7     |  135.7     |  135.9     |  137.2     |  135.6     |  135.7     |  135.8     |
1029.39/142.31	c (137,0) c | PropagationTim|                 |   88.9  65%|   88.8  65%|   88.8  65%|   90.9  67%|   91.5  67%|  110.1  81%|  122.2  90%|   82.1  60%|
1029.39/142.31	c (137,0) c | AnalysisTime  |                 |   43.7  32%|   43.7  32%|   43.6  32%|   41.7  31%|   42.4  31%|   21.9  16%|   10.1   7%|   50.6  37%|
1029.39/142.31	c (137,0) c | ReductionTime |                 |    1.2   1%|    1.2   1%|    1.2   1%|    1.2   1%|    1.3   1%|    1.4   1%|    1.4   1%|    1.2   1%|
1029.39/142.31	c (137,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1029.39/142.31	c (137,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%|
1029.39/142.31	c (137,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%|
1029.39/142.31	c (137,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.31	c (137,0) c
1029.39/142.31	c (137,0) c
1029.39/142.31	c (137,0) c Threads : 8
1029.39/142.31	c (137,0) c Winner : 5
1029.39/142.31	c (137,0) c Conflicts_0 : 751150
1029.39/142.31	c (137,0) c Conflicts_1 : 734372
1029.39/142.31	c (137,0) c Conflicts_2 : 748661
1029.39/142.31	c (137,0) c Conflicts_3 : 730556
1029.39/142.31	c (137,0) c Conflicts_4 : 743615
1029.39/142.31	c (137,0) c Conflicts_5 : 755935
1029.39/142.31	c (137,0) c Conflicts_6 : 722998
1029.39/142.31	c (137,0) c Conflicts_7 : 743836
1029.39/142.31	c (137,0) c Conflicts_total : 5931123
1029.39/142.31	c (137,0) c Conflicts_winner : 755935
1029.39/142.31	c (137,0) c Decisions_0 : 1433881
1029.39/142.31	c (137,0) c Decisions_1 : 1411172
1029.39/142.31	c (137,0) c Decisions_2 : 1447496
1029.39/142.31	c (137,0) c Decisions_3 : 1434825
1029.39/142.31	c (137,0) c Decisions_4 : 1444736
1029.39/142.31	c (137,0) c Decisions_5 : 1452873
1029.39/142.31	c (137,0) c Decisions_6 : 1369075
1029.39/142.31	c (137,0) c Decisions_7 : 1448710
1029.39/142.31	c (137,0) c Decisions_total : 11442768
1029.39/142.32	c (137,0) c Decisions_winner : 1452873
1029.39/142.32	c (137,0) c Propagations_0 : 56317117
1029.39/142.32	c (137,0) c Propagations_1 : 55355305
1029.39/142.32	c (137,0) c Propagations_2 : 56155496
1029.39/142.32	c (137,0) c Propagations_3 : 55205609
1029.39/142.32	c (137,0) c Propagations_4 : 55736154
1029.39/142.32	c (137,0) c Propagations_5 : 56641048
1029.39/142.32	c (137,0) c Propagations_6 : 55500751
1029.39/142.32	c (137,0) c Propagations_7 : 56020358
1029.39/142.32	c (137,0) c Propagations_total : 446931838
1029.39/142.32	c (137,0) c Propagations_winner : 56641048
1029.39/142.32	c (137,0) c ReduceDBs_0 : 23
1029.39/142.32	c (137,0) c ReduceDBs_1 : 23
1029.39/142.32	c (137,0) c ReduceDBs_2 : 23
1029.39/142.32	c (137,0) c ReduceDBs_3 : 23
1029.39/142.32	c (137,0) c ReduceDBs_4 : 23
1029.39/142.32	c (137,0) c ReduceDBs_5 : 23
1029.39/142.32	c (137,0) c ReduceDBs_6 : 23
1029.39/142.32	c (137,0) c ReduceDBs_7 : 23
1029.39/142.32	c (137,0) c ReduceDBs_total : 184
1029.39/142.32	c (137,0) c ReduceDBs_winner : 23
1029.39/142.32	c (137,0) c SimpDBs_0 : 10
1029.39/142.32	c (137,0) c SimpDBs_1 : 10
1029.39/142.32	c (137,0) c SimpDBs_2 : 9
1029.39/142.32	c (137,0) c SimpDBs_3 : 9
1029.39/142.32	c (137,0) c SimpDBs_4 : 9
1029.39/142.32	c (137,0) c SimpDBs_5 : 8
1029.39/142.32	c (137,0) c SimpDBs_6 : 10
1029.39/142.32	c (137,0) c SimpDBs_7 : 11
1029.39/142.32	c (137,0) c SimpDBs_total : 76
1029.39/142.32	c (137,0) c SimpDBs_winner : 8
1029.39/142.32	c (137,0) c Restarts_0 : 586
1029.39/142.32	c (137,0) c Restarts_1 : 548
1029.39/142.32	c (137,0) c Restarts_2 : 727
1029.39/142.32	c (137,0) c Restarts_3 : 573
1029.39/142.32	c (137,0) c Restarts_4 : 569
1029.39/142.32	c (137,0) c Restarts_5 : 627
1029.39/142.32	c (137,0) c Restarts_6 : 456
1029.39/142.32	c (137,0) c Restarts_7 : 575
1029.39/142.32	c (137,0) c Restarts_total : 4661
1029.39/142.32	c (137,0) c Restarts_winner : 627
1029.39/142.32	c (137,0) c ForcedImports_0 : 0
1029.39/142.32	c (137,0) c ForcedImports_1 : 0
1029.39/142.32	c (137,0) c ForcedImports_2 : 0
1029.39/142.32	c (137,0) c ForcedImports_3 : 0
1029.39/142.32	c (137,0) c ForcedImports_4 : 0
1029.39/142.32	c (137,0) c ForcedImports_5 : 0
1029.39/142.32	c (137,0) c ForcedImports_6 : 0
1029.39/142.32	c (137,0) c ForcedImports_7 : 0
1029.39/142.32	c (137,0) c ForcedImports_total : 0
1029.39/142.32	c (137,0) c ForcedImports_winner : 0
1029.39/142.32	c (137,0) c PropsBinClauses_0 : 122145185
1029.39/142.32	c (137,0) c PropsBinClauses_1 : 120092783
1029.39/142.32	c (137,0) c PropsBinClauses_2 : 120424449
1029.39/142.32	c (137,0) c PropsBinClauses_3 : 120057957
1029.39/142.32	c (137,0) c PropsBinClauses_4 : 118487044
1029.39/142.32	c (137,0) c PropsBinClauses_5 : 122303187
1029.39/142.32	c (137,0) c PropsBinClauses_6 : 123720869
1029.39/142.32	c (137,0) c PropsBinClauses_7 : 119886557
1029.39/142.32	c (137,0) c PropsBinClauses_total : 967118031
1029.39/142.32	c (137,0) c PropsBinClauses_winner : 122303187
1029.39/142.32	c (137,0) c PropsPreBlocker_0 : 3998835914
1029.39/142.32	c (137,0) c PropsPreBlocker_1 : 3997690796
1029.39/142.32	c (137,0) c PropsPreBlocker_2 : 3951500699
1029.39/142.32	c (137,0) c PropsPreBlocker_3 : 3985969350
1029.39/142.32	c (137,0) c PropsPreBlocker_4 : 3906168113
1029.39/142.32	c (137,0) c PropsPreBlocker_5 : 4017829441
1029.39/142.32	c (137,0) c PropsPreBlocker_6 : 3924373125
1029.39/142.32	c (137,0) c PropsPreBlocker_7 : 3977606195
1029.39/142.32	c (137,0) c PropsPreBlocker_total : 31759973633
1029.39/142.32	c (137,0) c PropsPreBlocker_winner : 4017829441
1029.39/142.32	c (137,0) c PropsNotBlocker_0 : 663924978
1029.39/142.32	c (137,0) c PropsNotBlocker_1 : 654535008
1029.39/142.32	c (137,0) c PropsNotBlocker_2 : 675677005
1029.39/142.32	c (137,0) c PropsNotBlocker_3 : 657262222
1029.39/142.32	c (137,0) c PropsNotBlocker_4 : 669134956
1029.39/142.32	c (137,0) c PropsNotBlocker_5 : 656018811
1029.39/142.32	c (137,0) c PropsNotBlocker_6 : 673000978
1029.39/142.32	c (137,0) c PropsNotBlocker_7 : 649490640
1029.39/142.32	c (137,0) c PropsNotBlocker_total : 5299044598
1029.39/142.32	c (137,0) c PropsNotBlocker_winner : 656018811
1029.39/142.32	c (137,0) c PropsLitFullScans_0 : 7063292304
1029.39/142.32	c (137,0) c PropsLitFullScans_1 : 7069037217
1029.39/142.32	c (137,0) c PropsLitFullScans_2 : 7063125802
1029.39/142.32	c (137,0) c PropsLitFullScans_3 : 7063449272
1029.39/142.32	c (137,0) c PropsLitFullScans_4 : 7063126041
1029.39/142.32	c (137,0) c PropsLitFullScans_5 : 7066483708
1029.39/142.32	c (137,0) c PropsLitFullScans_6 : 7069161527
1029.39/142.32	c (137,0) c PropsLitFullScans_7 : 7063118361
1029.39/142.32	c (137,0) c PropsLitFullScans_total : 56520794232
1029.39/142.32	c (137,0) c PropsLitFullScans_winner : 7066483708
1029.39/142.32	c (137,0) c LitScanFractions_0 : 1286011
1029.39/142.32	c (137,0) c LitScanFractions_1 : 1020428
1029.39/142.32	c (137,0) c LitScanFractions_2 : 1101701
1029.39/142.32	c (137,0) c LitScanFractions_3 : 1442216
1029.39/142.32	c (137,0) c LitScanFractions_4 : 1102560
1029.39/142.32	c (137,0) c LitScanFractions_5 : 939742
1029.39/142.32	c (137,0) c LitScanFractions_6 : 1155463
1029.39/142.32	c (137,0) c LitScanFractions_7 : 1106832
1029.39/142.32	c (137,0) c LitScanFractions_total : 9154953
1029.39/142.32	c (137,0) c LitScanFractions_winner : 939742
1029.39/142.32	c (137,0) c DecisionLevel0_0 : 599
1029.39/142.32	c (137,0) c DecisionLevel0_1 : 558
1029.39/142.32	c (137,0) c DecisionLevel0_2 : 737
1029.39/142.32	c (137,0) c DecisionLevel0_3 : 583
1029.39/142.32	c (137,0) c DecisionLevel0_4 : 582
1029.39/142.32	c (137,0) c DecisionLevel0_5 : 643
1029.39/142.32	c (137,0) c DecisionLevel0_6 : 469
1029.39/142.32	c (137,0) c DecisionLevel0_7 : 588
1029.39/142.32	c (137,0) c DecisionLevel0_total : 4759
1029.39/142.32	c (137,0) c DecisionLevel0_winner : 643
1029.39/142.32	c (137,0) c Periods_0 : 1177
1029.39/142.32	c (137,0) c Periods_1 : 1178
1029.39/142.32	c (137,0) c Periods_2 : 1177
1029.39/142.32	c (137,0) c Periods_3 : 1177
1029.39/142.32	c (137,0) c Periods_4 : 1177
1029.39/142.32	c (137,0) c Periods_5 : 1177
1029.39/142.32	c (137,0) c Periods_6 : 1178
1029.39/142.32	c (137,0) c Periods_7 : 1177
1029.39/142.32	c (137,0) c Periods_total : 9418
1029.39/142.32	c (137,0) c Periods_winner : 1177
1029.39/142.32	c (137,0) c Margin_0 : 20
1029.39/142.32	c (137,0) c Margin_1 : 20
1029.39/142.32	c (137,0) c Margin_2 : 20
1029.39/142.32	c (137,0) c Margin_3 : 20
1029.39/142.32	c (137,0) c Margin_4 : 20
1029.39/142.32	c (137,0) c Margin_5 : 20
1029.39/142.32	c (137,0) c Margin_6 : 20
1029.39/142.32	c (137,0) c Margin_7 : 20
1029.39/142.32	c (137,0) c Margin_total : 160
1029.39/142.32	c (137,0) c Margin_winner : 20
1029.39/142.32	c (137,0) c Exported_0 : 85294
1029.39/142.32	c (137,0) c Exported_1 : 81257
1029.39/142.32	c (137,0) c Exported_2 : 87613
1029.39/142.32	c (137,0) c Exported_3 : 85215
1029.39/142.32	c (137,0) c Exported_4 : 83241
1029.39/142.32	c (137,0) c Exported_5 : 91455
1029.39/142.32	c (137,0) c Exported_6 : 80500
1029.39/142.32	c (137,0) c Exported_7 : 88122
1029.39/142.32	c (137,0) c Exported_total : 682697
1029.39/142.32	c (137,0) c Exported_winner : 91455
1029.39/142.32	c (137,0) c Imported_0 : 589075
1029.39/142.32	c (137,0) c Imported_1 : 591921
1029.39/142.32	c (137,0) c Imported_2 : 587467
1029.39/142.32	c (137,0) c Imported_3 : 586593
1029.39/142.32	c (137,0) c Imported_4 : 592030
1029.39/142.32	c (137,0) c Imported_5 : 585537
1029.39/142.32	c (137,0) c Imported_6 : 596691
1029.39/142.32	c (137,0) c Imported_7 : 587664
1029.39/142.32	c (137,0) c Imported_total : 4716978
1029.39/142.32	c (137,0) c Imported_winner : 585537
1029.39/142.32	c (137,0) c Good_0 : 1730
1029.39/142.32	c (137,0) c Good_1 : 1773
1029.39/142.32	c (137,0) c Good_2 : 1788
1029.39/142.32	c (137,0) c Good_3 : 1785
1029.39/142.32	c (137,0) c Good_4 : 1796
1029.39/142.32	c (137,0) c Good_5 : 1778
1029.39/142.32	c (137,0) c Good_6 : 1825
1029.39/142.32	c (137,0) c Good_7 : 1792
1029.39/142.32	c (137,0) c Good_total : 14267
1029.39/142.32	c (137,0) c Good_winner : 1778
1029.39/142.32	c (137,0) c Purge_0 : 587345
1029.39/142.32	c (137,0) c Purge_1 : 590148
1029.39/142.32	c (137,0) c Purge_2 : 585679
1029.39/142.32	c (137,0) c Purge_3 : 584808
1029.39/142.32	c (137,0) c Purge_4 : 590234
1029.39/142.32	c (137,0) c Purge_5 : 583759
1029.39/142.32	c (137,0) c Purge_6 : 594866
1029.39/142.32	c (137,0) c Purge_7 : 585872
1029.39/142.32	c (137,0) c Purge_total : 4702711
1029.39/142.32	c (137,0) c Purge_winner : 583759
1029.39/142.32	c (137,0) c Promoted_0 : 48200
1029.39/142.32	c (137,0) c Promoted_1 : 48393
1029.39/142.32	c (137,0) c Promoted_2 : 49338
1029.39/142.32	c (137,0) c Promoted_3 : 48151
1029.39/142.32	c (137,0) c Promoted_4 : 51206
1029.39/142.32	c (137,0) c Promoted_5 : 47462
1029.39/142.32	c (137,0) c Promoted_6 : 47373
1029.39/142.32	c (137,0) c Promoted_7 : 49873
1029.39/142.32	c (137,0) c Promoted_total : 389996
1029.39/142.32	c (137,0) c Promoted_winner : 47462
1029.39/142.32	c (137,0) c Remove_Imp_0 : 447849
1029.39/142.32	c (137,0) c Remove_Imp_1 : 462464
1029.39/142.32	c (137,0) c Remove_Imp_2 : 446873
1029.39/142.32	c (137,0) c Remove_Imp_3 : 466860
1029.39/142.32	c (137,0) c Remove_Imp_4 : 454018
1029.39/142.32	c (137,0) c Remove_Imp_5 : 436501
1029.39/142.32	c (137,0) c Remove_Imp_6 : 470617
1029.39/142.32	c (137,0) c Remove_Imp_7 : 441766
1029.39/142.32	c (137,0) c Remove_Imp_total : 3626948
1029.39/142.32	c (137,0) c Remove_Imp_winner : 436501
1029.39/142.32	c (137,0) c Blocked_Reuse_0 : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_1 : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_2 : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_3 : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_4 : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_5 : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_6 : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_7 : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_total : 0
1029.39/142.32	c (137,0) c Blocked_Reuse_winner : 0
1029.39/142.32	c (137,0) c Unaries_0 : 13
1029.39/142.32	c (137,0) c Unaries_1 : 10
1029.39/142.32	c (137,0) c Unaries_2 : 10
1029.39/142.32	c (137,0) c Unaries_3 : 10
1029.39/142.32	c (137,0) c Unaries_4 : 13
1029.39/142.32	c (137,0) c Unaries_5 : 16
1029.39/142.32	c (137,0) c Unaries_6 : 13
1029.39/142.32	c (137,0) c Unaries_7 : 13
1029.39/142.32	c (137,0) c Unaries_total : 98
1029.39/142.32	c (137,0) c Unaries_winner : 16
1029.39/142.32	c (137,0) c Binaries_0 : 315
1029.39/142.32	c (137,0) c Binaries_1 : 265
1029.39/142.32	c (137,0) c Binaries_2 : 261
1029.39/142.32	c (137,0) c Binaries_3 : 229
1029.39/142.32	c (137,0) c Binaries_4 : 262
1029.39/142.32	c (137,0) c Binaries_5 : 293
1029.39/142.32	c (137,0) c Binaries_6 : 238
1029.39/142.32	c (137,0) c Binaries_7 : 263
1029.39/142.32	c (137,0) c Binaries_total : 2126
1029.39/142.32	c (137,0) c Binaries_winner : 293
1029.39/142.32	c (137,0) c Glues_0 : 1097
1029.39/142.32	c (137,0) c Glues_1 : 972
1029.39/142.32	c (137,0) c Glues_2 : 1022
1029.39/142.32	c (137,0) c Glues_3 : 966
1029.39/142.32	c (137,0) c Glues_4 : 900
1029.39/142.32	c (137,0) c Glues_5 : 1048
1029.39/142.32	c (137,0) c Glues_6 : 915
1029.39/142.32	c (137,0) c Glues_7 : 968
1029.39/142.32	c (137,0) c Glues_total : 7888
1029.39/142.32	c (137,0) c Glues_winner : 1048
1029.39/142.32	c (137,0) c RunningTime_0 : 131.282120
1029.39/142.32	c (137,0) c RunningTime_1 : 128.953798
1029.39/142.32	c (137,0) c RunningTime_2 : 133.869219
1029.39/142.32	c (137,0) c RunningTime_3 : 129.032763
1029.39/142.32	c (137,0) c RunningTime_4 : 130.495195
1029.39/142.32	c (137,0) c RunningTime_5 : 120.330966
1029.39/142.32	c (137,0) c RunningTime_6 : 108.617676
1029.39/142.32	c (137,0) c RunningTime_7 : 134.761012
1029.39/142.32	c (137,0) c RunningTime_total : 1017.342750
1029.39/142.32	c (137,0) c RunningTime_winner : 120.330966
1029.39/142.32	c (137,0) c WaitingTime_0 : 4.213864
1029.39/142.32	c (137,0) c WaitingTime_1 : 6.425669
1029.39/142.32	c (137,0) c WaitingTime_2 : 1.510315
1029.39/142.32	c (137,0) c WaitingTime_3 : 6.484763
1029.39/142.32	c (137,0) c WaitingTime_4 : 6.364148
1029.39/142.32	c (137,0) c WaitingTime_5 : 14.925926
1029.39/142.32	c (137,0) c WaitingTime_6 : 26.722983
1029.39/142.32	c (137,0) c WaitingTime_7 : 0.723197
1029.39/142.32	c (137,0) c WaitingTime_total : 67.370865
1029.39/142.32	c (137,0) c WaitingTime_winner : 14.925926
1029.39/142.32	c (137,0) c ExchangingTime_0 : 0.312327
1029.39/142.32	c (137,0) c ExchangingTime_1 : 0.300633
1029.39/142.32	c (137,0) c ExchangingTime_2 : 0.327502
1029.39/142.32	c (137,0) c ExchangingTime_3 : 0.332123
1029.39/142.32	c (137,0) c ExchangingTime_4 : 0.305950
1029.39/142.32	c (137,0) c ExchangingTime_5 : 0.373245
1029.39/142.32	c (137,0) c ExchangingTime_6 : 0.336089
1029.39/142.32	c (137,0) c ExchangingTime_7 : 0.325437
1029.39/142.32	c (137,0) c ExchangingTime_total : 2.613306
1029.39/142.32	c (137,0) c ExchangingTime_winner : 0.373245
1029.39/142.32	c (137,0) c PeriodProcTime_0 : 0.010293
1029.39/142.32	c (137,0) c PeriodProcTime_1 : 0.010839
1029.39/142.32	c (137,0) c PeriodProcTime_2 : 0.013454
1029.39/142.32	c (137,0) c PeriodProcTime_3 : 0.012648
1029.39/142.32	c (137,0) c PeriodProcTime_4 : 0.011675
1029.39/142.32	c (137,0) c PeriodProcTime_5 : 0.012715
1029.39/142.32	c (137,0) c PeriodProcTime_6 : 0.012733
1029.39/142.32	c (137,0) c PeriodProcTime_7 : 0.012583
1029.39/142.32	c (137,0) c PeriodProcTime_total : 0.096940
1029.39/142.32	c (137,0) c PeriodProcTime_winner : 0.012715
1029.39/142.32	c (137,0) c SolvingTime_0 : 135.818604
1029.39/142.32	c (137,0) c SolvingTime_1 : 135.690939
1029.39/142.32	c (137,0) c SolvingTime_2 : 135.720491
1029.39/142.32	c (137,0) c SolvingTime_3 : 135.862297
1029.39/142.32	c (137,0) c SolvingTime_4 : 137.176968
1029.39/142.32	c (137,0) c SolvingTime_5 : 135.642852
1029.39/142.32	c (137,0) c SolvingTime_6 : 135.689480
1029.39/142.32	c (137,0) c SolvingTime_7 : 135.822230
1029.39/142.32	c (137,0) c SolvingTime_total : 1087.423861
1029.39/142.32	c (137,0) c SolvingTime_winner : 135.642852
1029.39/142.32	c (137,0) c PropagationTime_0 : 88.901561
1029.39/142.32	c (137,0) c PropagationTime_1 : 88.827194
1029.39/142.32	c (137,0) c PropagationTime_2 : 88.810619
1029.39/142.32	c (137,0) c PropagationTime_3 : 90.933640
1029.39/142.32	c (137,0) c PropagationTime_4 : 91.530414
1029.39/142.32	c (137,0) c PropagationTime_5 : 110.107041
1029.39/142.32	c (137,0) c PropagationTime_6 : 122.177713
1029.39/142.32	c (137,0) c PropagationTime_7 : 82.082749
1029.39/142.32	c (137,0) c PropagationTime_total : 763.370931
1029.39/142.32	c (137,0) c PropagationTime_winner : 110.107041
1029.39/142.32	c (137,0) c AnalysisTime_0 : 43.708878
1029.39/142.32	c (137,0) c AnalysisTime_1 : 43.666242
1029.39/142.32	c (137,0) c AnalysisTime_2 : 43.573822
1029.39/142.32	c (137,0) c AnalysisTime_3 : 41.670693
1029.39/142.32	c (137,0) c AnalysisTime_4 : 42.356889
1029.39/142.32	c (137,0) c AnalysisTime_5 : 21.947643
1029.39/142.32	c (137,0) c AnalysisTime_6 : 10.050451
1029.39/142.32	c (137,0) c AnalysisTime_7 : 50.585898
1029.39/142.32	c (137,0) c AnalysisTime_total : 297.560518
1029.39/142.32	c (137,0) c AnalysisTime_winner : 21.947643
1029.39/142.32	c (137,0) c ReductionTime_0 : 1.201266
1029.39/142.32	c (137,0) c ReductionTime_1 : 1.180175
1029.39/142.32	c (137,0) c ReductionTime_2 : 1.247643
1029.39/142.32	c (137,0) c ReductionTime_3 : 1.247739
1029.39/142.32	c (137,0) c ReductionTime_4 : 1.273169
1029.39/142.32	c (137,0) c ReductionTime_5 : 1.427716
1029.39/142.32	c (137,0) c ReductionTime_6 : 1.406356
1029.39/142.32	c (137,0) c ReductionTime_7 : 1.188700
1029.39/142.32	c (137,0) c ReductionTime_total : 10.172763
1029.39/142.32	c (137,0) c ReductionTime_winner : 1.427716
1029.39/142.32	c (137,0) c SimplifyTime_0 : 0.022074
1029.39/142.32	c (137,0) c SimplifyTime_1 : 0.024576
1029.39/142.32	c (137,0) c SimplifyTime_2 : 0.028847
1029.39/142.32	c (137,0) c SimplifyTime_3 : 0.026043
1029.39/142.32	c (137,0) c SimplifyTime_4 : 0.028267
1029.39/142.32	c (137,0) c SimplifyTime_5 : 0.027100
1029.39/142.32	c (137,0) c SimplifyTime_6 : 0.033689
1029.39/142.32	c (137,0) c SimplifyTime_7 : 0.023016
1029.39/142.32	c (137,0) c SimplifyTime_total : 0.213611
1029.39/142.32	c (137,0) c SimplifyTime_winner : 0.027100
1029.39/142.32	c (137,0) c UsedRateTime_0 : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_1 : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_2 : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_3 : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_4 : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_5 : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_6 : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_7 : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_total : 0.000000
1029.39/142.32	c (137,0) c UsedRateTime_winner : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_0 : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_1 : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_2 : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_3 : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_4 : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_5 : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_6 : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_7 : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_total : 0.000000
1029.39/142.32	c (137,0) c OverlapRateTime_winner : 0.000000
1029.39/142.32	c (137,0) c
1029.39/142.32	c (137,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1029.39/142.32	c (137,0) c
1029.39/142.32	c (137,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.32	c (137,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1029.39/142.32	c (137,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.33	c (137,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1029.39/142.33	c (137,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1029.39/142.33	c (137,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1029.39/142.33	c (137,0) c | Initial random_seed   | 2049420632 |  971194066 | 1453662295 | 1580874481 | 1014035928 | 2012583057 |   73979768 | 1187402853 |
1029.39/142.33	c (137,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1029.39/142.33	c (137,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1029.39/142.33	c (137,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1029.39/142.33	c (137,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1029.39/142.33	c (137,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1029.39/142.33	c (137,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1029.39/142.33	c (137,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1029.39/142.33	c (137,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1029.39/142.33	c (137,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1029.39/142.33	c (137,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1029.39/142.33	c (137,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1029.39/142.33	c (137,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1029.39/142.33	c (137,0) 
1029.39/142.33	c (137,0) s UNSATISFIABLE
1029.39/142.34	c (137,0) SatSolver.solve End
1029.39/142.34	c (137,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1029.39/142.34	c (137,0) Show results Begin
1029.39/142.34	s UNSATISFIABLE
1029.39/142.34	c (137,0) Show results End
1029.39/142.34	c (137,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1029.39/142.34	c (137,0) 137,137,STOP-AFTER(ALL)
1029.39/142.34	c END-Prog: Tue Sep 24 18:38:45 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 (13738 MiB free)
  memory of node 1: 16384 MiB (14482 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100134 s]*
/proc/loadavg: 5.31 5.92 6.35 3/211 20011
/proc/meminfo: memFree=28804044/32770624 swapFree=66999256/67108860
[pid=19989] ppid=19986 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19989/stat : 19989 (scop.sh) S 19986 19989 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510557204 115843072 349 33554432000 4194304 5098028 140730822710688 140730822707944 140220923572860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33439744 140730822714149 140730822714476 140730822714476 140730822717389 0
/proc/19989/statm: 28282 349 296 221 0 87 0
[pid=19992] ppid=19989 vsize=27314120 memory=106372 CPUtime=0.1 cores=0-7
/proc/19992/stat : 19992 (java) S 19989 19989 18413 0 -1 1077944320 6627 0 0 0 8 2 0 0 20 0 20 0 510557205 27969658880 26593 33554432000 4194304 4196468 140726930927920 140726930910464 140092258299639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
/proc/19992/statm: 6828530 26593 2808 1 0 6790935 0
[pid=19992/tid=19993] ppid=19989 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/19992/task/19993/stat : 19993 (java) R 19989 19989 18413 0 -1 4202560 4715 0 0 0 7 2 0 0 20 0 20 0 510557205 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092230116752 140092242380126 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19994] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19994/stat : 19994 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557207 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092262542480 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19995] ppid=19989 vsize=27314120 memory=288370124188984960 CPUtime=0 cores=0-7
/proc/19992/task/19995/stat : 19995 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092045937680 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19996] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19996/stat : 19996 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092044884880 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19997] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19997/stat : 19997 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092043832080 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19998] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19998/stat : 19998 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092042779280 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19999] ppid=19989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19992/task/19999/stat : 19999 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092041726480 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20000] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20000/stat : 20000 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092040673680 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20001] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20001/stat : 20001 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 26593 33554432000 4194304 4196468 140726930927920 140092039620880 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20002] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20002/stat : 20002 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557209 27969658880 26593 33554432000 4194304 4196468 140726930927920 140090644876144 140092258310786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20003] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20003/stat : 20003 (java) S 19989 19989 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510557210 27969658880 26593 33554432000 4194304 4196468 140726930927920 140090022028832 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20004] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20004/stat : 20004 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557210 27969658880 26593 33554432000 4194304 4196468 140726930927920 140089753593200 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20005] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20005/stat : 20005 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 26593 33554432000 4194304 4196468 140726930927920 140089379084624 140092258318235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20006] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20006/stat : 20006 (java) S 19989 19989 18413 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 26593 33554432000 4194304 4196468 140726930927920 140090643822960 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20007] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20007/stat : 20007 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 26593 33554432000 4194304 4196468 140726930927920 140090642770160 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20008] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20008/stat : 20008 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 26593 33554432000 4194304 4196468 140726930927920 140090641717360 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20009] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20009/stat : 20009 (java) S 19989 19989 18413 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 26593 33554432000 4194304 4196468 140726930927920 140090640664560 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20010] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20010/stat : 20010 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 26593 33554432000 4194304 4196468 140726930927920 140088881179744 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20011] ppid=19989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19992/task/20011/stat : 20011 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557213 27969658880 26593 33554432000 4194304 4196468 140726930927920 140090639612976 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107768 KiB

[startup+0.210395 s]*
/proc/loadavg: 5.31 5.92 6.35 4/211 20011
/proc/meminfo: memFree=28782648/32770624 swapFree=66999256/67108860
[pid=19989] ppid=19986 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19989/stat : 19989 (scop.sh) S 19986 19989 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510557204 115843072 349 33554432000 4194304 5098028 140730822710688 140730822707944 140220923572860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33439744 140730822714149 140730822714476 140730822714476 140730822717389 0
/proc/19989/statm: 28282 349 296 221 0 87 0
[pid=19992] ppid=19989 vsize=27314120 memory=125384 CPUtime=0.25 cores=0-7
/proc/19992/stat : 19992 (java) S 19989 19989 18413 0 -1 1077944320 12243 0 0 0 20 5 0 0 20 0 20 0 510557205 27969658880 31346 33554432000 4194304 4196468 140726930927920 140726930910464 140092258299639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
/proc/19992/statm: 6828530 31346 2932 1 0 6790935 0
[pid=19992/tid=19993] ppid=19989 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19992/task/19993/stat : 19993 (java) R 19989 19989 18413 0 -1 4202560 9913 0 0 0 16 4 0 0 20 0 20 0 510557205 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092230099024 140092243465232 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19994] ppid=19989 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/19992/task/19994/stat : 19994 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557207 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092262542480 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19995] ppid=19989 vsize=27314120 memory=139748037292815 CPUtime=0 cores=0-7
/proc/19992/task/19995/stat : 19995 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092045937680 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19996] ppid=19989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19992/task/19996/stat : 19996 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092044884880 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19997] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19997/stat : 19997 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092043832080 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19998] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19998/stat : 19998 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092042779280 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19999] ppid=19989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19992/task/19999/stat : 19999 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092041726480 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20000] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20000/stat : 20000 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092040673680 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20001] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20001/stat : 20001 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 31346 33554432000 4194304 4196468 140726930927920 140092039620880 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20002] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20002/stat : 20002 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557209 27969658880 31346 33554432000 4194304 4196468 140726930927920 140090644876144 140092258310786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20003] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20003/stat : 20003 (java) S 19989 19989 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510557210 27969658880 31346 33554432000 4194304 4196468 140726930927920 140090022028832 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20004] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20004/stat : 20004 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557210 27969658880 31346 33554432000 4194304 4196468 140726930927920 140089753593200 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20005] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20005/stat : 20005 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 31346 33554432000 4194304 4196468 140726930927920 140089379084624 140092258318235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20006] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20006/stat : 20006 (java) S 19989 19989 18413 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 31346 33554432000 4194304 4196468 140726930927920 140090643822960 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20007] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20007/stat : 20007 (java) S 19989 19989 18413 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 31346 33554432000 4194304 4196468 140726930927920 140090642770160 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20008] ppid=19989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19992/task/20008/stat : 20008 (java) S 19989 19989 18413 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 31346 33554432000 4194304 4196468 140726930927920 140090641717360 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20009] ppid=19989 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/19992/task/20009/stat : 20009 (java) S 19989 19989 18413 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 510557212 27969658880 31346 33554432000 4194304 4196468 140726930927920 140090640664560 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20010] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20010/stat : 20010 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 31346 33554432000 4194304 4196468 140726930927920 140088881179744 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20011] ppid=19989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19992/task/20011/stat : 20011 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557213 27969658880 31346 33554432000 4194304 4196468 140726930927920 140090639612976 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126780 KiB

[startup+0.310349 s]*
/proc/loadavg: 5.31 5.92 6.35 2/211 20011
/proc/meminfo: memFree=28779220/32770624 swapFree=66999256/67108860
[pid=19989] ppid=19986 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19989/stat : 19989 (scop.sh) S 19986 19989 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510557204 115843072 349 33554432000 4194304 5098028 140730822710688 140730822707944 140220923572860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33439744 140730822714149 140730822714476 140730822714476 140730822717389 0
/proc/19989/statm: 28282 349 296 221 0 87 0
[pid=19992] ppid=19989 vsize=27314120 memory=129664 CPUtime=0.42 cores=0-7
/proc/19992/stat : 19992 (java) S 19989 19989 18413 0 -1 1077944320 12792 0 0 0 37 5 0 0 20 0 20 0 510557205 27969658880 32416 33554432000 4194304 4196468 140726930927920 140726930910464 140092258299639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
/proc/19992/statm: 6828530 32416 3037 1 0 6790935 0
[pid=19992/tid=19993] ppid=19989 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/19992/task/19993/stat : 19993 (java) R 19989 19989 18413 0 -1 4202560 10272 0 0 0 25 4 0 0 20 0 20 0 510557205 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092230129712 140092239863214 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19994] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19994/stat : 19994 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557207 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092262542480 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19995] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19995/stat : 19995 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092045937680 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19996] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19996/stat : 19996 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092044884880 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19997] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19997/stat : 19997 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092043832080 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19998] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19998/stat : 19998 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092042779280 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19999] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19999/stat : 19999 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092041726480 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20000] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20000/stat : 20000 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092040673680 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20001] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20001/stat : 20001 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557208 27969658880 32416 33554432000 4194304 4196468 140726930927920 140092039620880 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20002] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20002/stat : 20002 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557209 27969658880 32416 33554432000 4194304 4196468 140726930927920 140090644876144 140092258310786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20003] ppid=19989 vsize=27314120 memory=279495802297728 CPUtime=0 cores=0-7
/proc/19992/task/20003/stat : 20003 (java) S 19989 19989 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510557210 27969658880 32416 33554432000 4194304 4196468 140726930927920 140090022028832 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20004] ppid=19989 vsize=27314120 memory=279495802302336 CPUtime=0 cores=0-7
/proc/19992/task/20004/stat : 20004 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557210 27969658880 32416 33554432000 4194304 4196468 140726930927920 140089753593200 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20005] ppid=19989 vsize=27314120 memory=279495802306944 CPUtime=0 cores=0-7
/proc/19992/task/20005/stat : 20005 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 32416 33554432000 4194304 4196468 140726930927920 140089379084624 140092258318235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20006] ppid=19989 vsize=27314120 memory=279495802311552 CPUtime=0 cores=0-7
/proc/19992/task/20006/stat : 20006 (java) S 19989 19989 18413 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 32416 33554432000 4194304 4196468 140726930927920 140090643822960 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20007] ppid=19989 vsize=27314120 memory=279495802316160 CPUtime=0.01 cores=0-7
/proc/19992/task/20007/stat : 20007 (java) S 19989 19989 18413 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 20 0 510557212 27969658880 32416 33554432000 4194304 4196468 140726930927920 140090642770160 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20008] ppid=19989 vsize=27314120 memory=279495802320768 CPUtime=0.01 cores=0-7
/proc/19992/task/20008/stat : 20008 (java) S 19989 19989 18413 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 510557212 27969658880 32416 33554432000 4194304 4196468 140726930927920 140090641717360 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20009] ppid=19989 vsize=27314120 memory=279495802325376 CPUtime=0.07 cores=0-7
/proc/19992/task/20009/stat : 20009 (java) S 19989 19989 18413 0 -1 1077944384 540 0 0 0 7 0 0 0 20 0 20 0 510557212 27969658880 32416 33554432000 4194304 4196468 140726930927920 140090640664560 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20010] ppid=19989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/20010/stat : 20010 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510557212 27969658880 32416 33554432000 4194304 4196468 140726930927920 140088881179744 140092258309845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=20011] ppid=19989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19992/task/20011/stat : 20011 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557213 27969658880 32416 33554432000 4194304 4196468 140726930927920 140090639612976 140092258310786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131060 KiB

[startup+0.701038 s]
/proc/loadavg: 5.31 5.92 6.35 2/211 20011
/proc/meminfo: memFree=28757144/32770624 swapFree=66999256/67108860
[pid=19989] ppid=19986 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19989/stat : 19989 (scop.sh) S 19986 19989 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510557204 115843072 349 33554432000 4194304 5098028 140730822710688 140730822707944 140220923572860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33439744 140730822714149 140730822714476 140730822714476 140730822717389 0
/proc/19989/statm: 28282 349 296 221 0 87 0
[pid=19992] ppid=19989 vsize=27320392 memory=165656 CPUtime=1.01 cores=0-7
/proc/19992/stat : 19992 (java) S 19989 19989 18413 0 -1 1077944320 20533 0 0 0 93 8 0 0 20 0 20 0 510557205 27976081408 41414 33554432000 4194304 4196468 140726930927920 140726930910464 140092258299639 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
/proc/19992/statm: 6830098 41414 3185 1 0 6791447 0
[pid=19992/tid=19993] ppid=19989 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/19992/task/19993/stat : 19993 (java) R 19989 19989 18413 0 -1 4202560 17333 0 0 0 61 7 0 0 20 0 20 0 510557205 27976081408 41414 33554432000 4194304 4196468 140726930927920 140092230137184 140091716684496 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19994] ppid=19989 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19994/stat : 19994 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557207 27976081408 41414 33554432000 4194304 4196468 140726930927920 140092262542480 140092258309845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19995] ppid=19989 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19992/task/19995/stat : 19995 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510557208 27976081408 41414 33554432000 4194304 4196468 140726930927920 140092045937680 140092258309845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0
[pid=19992/tid=19996] ppid=19989 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/19992/task/19996/stat : 19996 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510557208 27976081408 41414 33554432000 4194304 4196468 140726930927920 140092044884880 140092258309845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140726930936555 140726930936982 140726930936982 140726930939855 0

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

[pid=20012/tid=20022] ppid=19989 vsize=8414124 memory=6084 CPUtime=0 cores=0-7
/proc/20012/task/20022/stat : 20022 (java) S 19989 19989 18413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510557637 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068929575280 140070104529538 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20023] ppid=19989 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/20012/task/20023/stat : 20023 (java) S 19989 19989 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510557638 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068748518432 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20024] ppid=19989 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/20012/task/20024/stat : 20024 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510557638 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068480082800 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20025] ppid=19989 vsize=8414124 memory=35592 CPUtime=0 cores=0-7
/proc/20012/task/20025/stat : 20025 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068105574224 140070104536987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20026] ppid=19989 vsize=8414124 memory=12024 CPUtime=0.09 cores=0-7
/proc/20012/task/20026/stat : 20026 (java) S 19989 19989 18413 0 -1 1077944384 605 0 0 0 9 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068928523120 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20027] ppid=19989 vsize=8414124 memory=500 CPUtime=0.06 cores=0-7
/proc/20012/task/20027/stat : 20027 (java) S 19989 19989 18413 0 -1 1077944384 165 0 0 0 6 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068927470320 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20028] ppid=19989 vsize=8414124 memory=1560 CPUtime=0.05 cores=0-7
/proc/20012/task/20028/stat : 20028 (java) S 19989 19989 18413 0 -1 1077944384 414 0 0 0 5 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068926417520 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20029] ppid=19989 vsize=8414124 memory=932 CPUtime=0.21 cores=0-7
/proc/20012/task/20029/stat : 20029 (java) S 19989 19989 18413 0 -1 1077944384 675 0 0 0 21 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068925364720 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20030] ppid=19989 vsize=8414124 memory=3768 CPUtime=0 cores=0-7
/proc/20012/task/20030/stat : 20030 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140067607669344 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20031] ppid=19989 vsize=8414124 memory=1980 CPUtime=0.18 cores=0-7
/proc/20012/task/20031/stat : 20031 (java) S 19989 19989 18413 0 -1 1077944384 11 0 0 0 9 9 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068924312112 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20033] ppid=19989 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/20012/task/20033/stat : 20033 (java) S 19989 19989 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068916278336 140070104543001 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20035] ppid=19989 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/20012/task/20035/stat : 20035 (java) S 19989 19989 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140066936570000 140070104540317 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20036] ppid=19989 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/20012/task/20036/stat : 20036 (java) S 19989 19989 18413 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140067205005328 140070104540317 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20045] ppid=19989 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/20012/task/20045/stat : 20045 (java) S 19989 19989 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510557711 8616062976 30270 33554432000 4194304 4196468 140726043308448 140066668142128 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
Current children cumulated CPU time: 1028.88 s
Current children cumulated vsize: 9209644 KiB
Current children cumulated memory: 676516 KiB

[startup+142.201 s]*
/proc/loadavg: 7.09 6.40 6.46 2/217 20053
/proc/meminfo: memFree=28234844/32770624 swapFree=66999256/67108860
[pid=19989] ppid=19986 vsize=113128 memory=1476 CPUtime=11.74 cores=0-7
/proc/19989/stat : 19989 (scop.sh) S 19986 19989 18413 0 -1 4202496 583 32619 0 0 0 0 1143 31 20 0 1 0 510557204 115843072 369 33554432000 4194304 5098028 140730822710688 140730822707432 140220923572860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33439744 140730822714149 140730822714476 140730822714476 140730822717389 0
/proc/19989/statm: 28282 369 311 221 0 87 0
[pid=20012] ppid=19989 vsize=8414124 memory=121080 CPUtime=1.33 cores=0-7
/proc/20012/stat : 20012 (java) S 19989 19989 18413 0 -1 1077944320 20765 0 0 0 125 8 0 0 20 0 24 0 510557634 8616062976 30270 33554432000 4194304 4196468 140726043308448 140726043290992 140070104518391 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
/proc/20012/statm: 2103531 30270 3207 1 0 2064875 0
[pid=20032] ppid=20012 vsize=682392 memory=553960 CPUtime=1016.22 cores=0-7
/proc/20032/stat : 20032 (manyglucose-4.1) S 20012 19989 18413 0 -1 1077944320 749545 0 0 0 101459 163 0 0 20 0 2 0 510557708 698769408 138490 33554432000 4194304 4454172 140737471192752 140737471191136 140363954495223 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 14409728 140737471198057 140737471198256 140737471198256 140737471201210 0
/proc/20032/statm: 170598 138490 419 64 0 166266 0
[pid=20032/tid=20041] ppid=20012 vsize=682392 memory=4234077 CPUtime=130.6 cores=0-7
/proc/20032/task/20041/stat : 20041 (manyglucose-4.1) R 20012 19989 18413 0 -1 4202560 98494 0 0 0 13043 17 0 0 20 0 2 0 510557711 698769408 138490 33554432000 4194304 4454172 140737471192752 140363905707144 4321902 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 14409728 140737471198057 140737471198256 140737471198256 140737471201210 0
[pid=20012/tid=20013] ppid=19989 vsize=8414124 memory=1398722017469774279 CPUtime=0.77 cores=0-7
/proc/20012/task/20013/stat : 20013 (java) S 19989 19989 18413 0 -1 1077944384 17490 0 0 0 71 6 0 0 20 0 24 0 510557635 8616062976 30270 33554432000 4194304 4196468 140726043308448 140070076358560 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20014] ppid=19989 vsize=8414124 memory=121080 CPUtime=0 cores=0-7
/proc/20012/task/20014/stat : 20014 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140070108760720 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20015] ppid=19989 vsize=8414124 memory=553904 CPUtime=0 cores=0-7
/proc/20012/task/20015/stat : 20015 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069908929040 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20016] ppid=19989 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/20012/task/20016/stat : 20016 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069907876240 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20017] ppid=19989 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/20012/task/20017/stat : 20017 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069906823440 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20018] ppid=19989 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/20012/task/20018/stat : 20018 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069905771664 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20019] ppid=19989 vsize=8414124 memory=3604 CPUtime=0 cores=0-7
/proc/20012/task/20019/stat : 20019 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069904718864 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20020] ppid=19989 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/20012/task/20020/stat : 20020 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069903666064 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20021] ppid=19989 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/20012/task/20021/stat : 20021 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069902613264 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20022] ppid=19989 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/20012/task/20022/stat : 20022 (java) S 19989 19989 18413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510557637 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068929575280 140070104529538 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20023] ppid=19989 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/20012/task/20023/stat : 20023 (java) S 19989 19989 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510557638 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068748518432 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20024] ppid=19989 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/20012/task/20024/stat : 20024 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510557638 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068480082800 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20025] ppid=19989 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/20012/task/20025/stat : 20025 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068105574224 140070104536987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20026] ppid=19989 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/20012/task/20026/stat : 20026 (java) S 19989 19989 18413 0 -1 1077944384 605 0 0 0 9 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068928523120 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20027] ppid=19989 vsize=8414124 memory=1456 CPUtime=0.06 cores=0-7
/proc/20012/task/20027/stat : 20027 (java) S 19989 19989 18413 0 -1 1077944384 165 0 0 0 6 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068927470320 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20028] ppid=19989 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/20012/task/20028/stat : 20028 (java) S 19989 19989 18413 0 -1 1077944384 414 0 0 0 5 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068926417520 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20029] ppid=19989 vsize=8414124 memory=16612 CPUtime=0.21 cores=0-7
/proc/20012/task/20029/stat : 20029 (java) S 19989 19989 18413 0 -1 1077944384 675 0 0 0 21 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068925364720 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20030] ppid=19989 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20012/task/20030/stat : 20030 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140067607669344 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20031] ppid=19989 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/20012/task/20031/stat : 20031 (java) S 19989 19989 18413 0 -1 1077944384 11 0 0 0 9 9 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068924312112 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20033] ppid=19989 vsize=8414124 memory=182847626 CPUtime=0 cores=0-7
/proc/20012/task/20033/stat : 20033 (java) S 19989 19989 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068916278336 140070104543001 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20035] ppid=19989 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20012/task/20035/stat : 20035 (java) S 19989 19989 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140066936570000 140070104540317 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20036] ppid=19989 vsize=8414124 memory=4 CPUtime=0 cores=0-7
/proc/20012/task/20036/stat : 20036 (java) S 19989 19989 18413 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140067205005328 140070104540317 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20045] ppid=19989 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20012/task/20045/stat : 20045 (java) S 19989 19989 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510557711 8616062976 30270 33554432000 4194304 4196468 140726043308448 140066668142128 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
Current children cumulated CPU time: 1029.29 s
Current children cumulated vsize: 9209644 KiB
Current children cumulated memory: 676516 KiB

[startup+142.31 s]
/proc/loadavg: 7.09 6.40 6.46 2/217 20053
/proc/meminfo: memFree=28234844/32770624 swapFree=66999256/67108860
[pid=19989] ppid=19986 vsize=113128 memory=1476 CPUtime=11.74 cores=0-7
/proc/19989/stat : 19989 (scop.sh) S 19986 19989 18413 0 -1 4202496 583 32619 0 0 0 0 1143 31 20 0 1 0 510557204 115843072 369 33554432000 4194304 5098028 140730822710688 140730822707432 140220923572860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33439744 140730822714149 140730822714476 140730822714476 140730822717389 0
/proc/19989/statm: 28282 369 311 221 0 87 0
[pid=20012] ppid=19989 vsize=8414124 memory=121080 CPUtime=1.33 cores=0-7
/proc/20012/stat : 20012 (java) S 19989 19989 18413 0 -1 1077944320 20765 0 0 0 125 8 0 0 20 0 24 0 510557634 8616062976 30270 33554432000 4194304 4196468 140726043308448 140726043290992 140070104518391 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
/proc/20012/statm: 2103531 30270 3207 1 0 2064875 0
[pid=20032] ppid=20012 vsize=682392 memory=553960 CPUtime=1016.32 cores=0-7
/proc/20032/stat : 20032 (manyglucose-4.1) S 20012 19989 18413 0 -1 1077944320 749548 0 0 0 101469 163 0 0 20 0 2 0 510557708 698769408 138490 33554432000 4194304 4454172 140737471192752 140737471191136 140363954495223 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 14409728 140737471198057 140737471198256 140737471198256 140737471201210 0
/proc/20032/statm: 170598 138490 419 64 0 166266 0
[pid=20032/tid=20041] ppid=20012 vsize=682392 memory=1476 CPUtime=130.7 cores=0-7
/proc/20032/task/20041/stat : 20041 (manyglucose-4.1) R 20012 19989 18413 0 -1 4202560 98497 0 0 0 13053 17 0 0 20 0 2 0 510557711 698769408 138490 33554432000 4194304 4454172 140737471192752 140363905707144 4351531 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 14409728 140737471198057 140737471198256 140737471198256 140737471201210 0
[pid=20012/tid=20013] ppid=19989 vsize=8414124 memory=225737441655728 CPUtime=0.77 cores=0-7
/proc/20012/task/20013/stat : 20013 (java) S 19989 19989 18413 0 -1 1077944384 17490 0 0 0 71 6 0 0 20 0 24 0 510557635 8616062976 30270 33554432000 4194304 4196468 140726043308448 140070076358560 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20014] ppid=19989 vsize=8414124 memory=589676 CPUtime=0 cores=0-7
/proc/20012/task/20014/stat : 20014 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140070108760720 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20015] ppid=19989 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20012/task/20015/stat : 20015 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069908929040 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20016] ppid=19989 vsize=8414124 memory=121080 CPUtime=0 cores=0-7
/proc/20012/task/20016/stat : 20016 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069907876240 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20017] ppid=19989 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20012/task/20017/stat : 20017 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069906823440 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20018] ppid=19989 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20012/task/20018/stat : 20018 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069905771664 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20019] ppid=19989 vsize=8414124 memory=9 CPUtime=0 cores=0-7
/proc/20012/task/20019/stat : 20019 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069904718864 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20020] ppid=19989 vsize=8414124 memory=6 CPUtime=0 cores=0-7
/proc/20012/task/20020/stat : 20020 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069903666064 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20021] ppid=19989 vsize=8414124 memory=5 CPUtime=0 cores=0-7
/proc/20012/task/20021/stat : 20021 (java) S 19989 19989 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510557636 8616062976 30270 33554432000 4194304 4196468 140726043308448 140069902613264 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20022] ppid=19989 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/20012/task/20022/stat : 20022 (java) S 19989 19989 18413 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510557637 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068929575280 140070104529538 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20023] ppid=19989 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/20012/task/20023/stat : 20023 (java) S 19989 19989 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510557638 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068748518432 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20024] ppid=19989 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/20012/task/20024/stat : 20024 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510557638 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068480082800 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20025] ppid=19989 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20012/task/20025/stat : 20025 (java) S 19989 19989 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068105574224 140070104536987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20026] ppid=19989 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/20012/task/20026/stat : 20026 (java) S 19989 19989 18413 0 -1 1077944384 605 0 0 0 9 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068928523120 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20027] ppid=19989 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/20012/task/20027/stat : 20027 (java) S 19989 19989 18413 0 -1 1077944384 165 0 0 0 6 0 0 0 20 0 24 0 510557640 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068927470320 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20028] ppid=19989 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/20012/task/20028/stat : 20028 (java) S 19989 19989 18413 0 -1 1077944384 414 0 0 0 5 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068926417520 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20029] ppid=19989 vsize=8414124 memory=1476 CPUtime=0.21 cores=0-7
/proc/20012/task/20029/stat : 20029 (java) S 19989 19989 18413 0 -1 1077944384 675 0 0 0 21 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068925364720 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20030] ppid=19989 vsize=8414124 memory=121080 CPUtime=0 cores=0-7
/proc/20012/task/20030/stat : 20030 (java) S 19989 19989 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140067607669344 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20031] ppid=19989 vsize=8414124 memory=553876 CPUtime=0.18 cores=0-7
/proc/20012/task/20031/stat : 20031 (java) S 19989 19989 18413 0 -1 1077944384 11 0 0 0 9 9 0 0 20 0 24 0 510557641 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068924312112 140070104529538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20033] ppid=19989 vsize=8414124 memory=139747901831280 CPUtime=0 cores=0-7
/proc/20012/task/20033/stat : 20033 (java) S 19989 19989 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140068916278336 140070104543001 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20035] ppid=19989 vsize=8414124 memory=605171699728476700 CPUtime=0 cores=0-7
/proc/20012/task/20035/stat : 20035 (java) S 19989 19989 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140066936570000 140070104540317 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20036] ppid=19989 vsize=8414124 memory=288284497924074488 CPUtime=0 cores=0-7
/proc/20012/task/20036/stat : 20036 (java) S 19989 19989 18413 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510557709 8616062976 30270 33554432000 4194304 4196468 140726043308448 140067205005328 140070104540317 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
[pid=20012/tid=20045] ppid=19989 vsize=8414124 memory=1414353297708861353 CPUtime=0 cores=0-7
/proc/20012/task/20045/stat : 20045 (java) S 19989 19989 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510557711 8616062976 30270 33554432000 4194304 4196468 140726043308448 140066668142128 140070104528597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10620928 140726043313143 140726043313302 140726043313302 140726043316175 0
Current children cumulated CPU time: 1029.39 s
Current children cumulated vsize: 9209644 KiB
Current children cumulated memory: 676516 KiB

Child status: 0
Real time (s): 142.362
CPU time (s): 1029.52
CPU user time (s): 1027.45
CPU system time (s): 2.07181
CPU usage (%): 723.174
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1048728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1027.45
system time used= 2.07181
maximum resident set size= 1052828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 803874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17062
involuntary context switches= 9303


# summary of solver processes directly reported to runsolver:
#   pid: 19989
#   total CPU time (s): 1029.52
#   total CPU user time (s): 1027.45
#   total CPU system time (s): 2.07181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33815 second user time and 2.09929 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 18:36:22
IDJOB=4405318
IDBENCH=134582
IDSOLVER=2867
FILE ID=node103/4405318-1569343041
RUNJOBID= node103-1569335920-18440
PBS_JOBID= 21705072
Free space on /tmp= 20860 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-1_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405318-1569343041/watcher-4405318-1569343041 -o /tmp/evaluation-result-4405318-1569343041/solver-4405318-1569343041 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405318-1569343041.xml

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

MD5SUM BENCH= 6c4aeb96443502fd0f9a0dc0a71b4b92
RANDOM SEED=2009945970

node103.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.74
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.74
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.74
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.74
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:        28899272 kB
MemAvailable:   31851436 kB
Buffers:           49920 kB
Cached:          3179352 kB
SwapCached:         7000 kB
Active:          3133664 kB
Inactive:         110568 kB
Active(anon):       3536 kB
Inactive(anon):    69352 kB
Active(file):    3130128 kB
Inactive(file):    41216 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             20712 kB
Writeback:             0 kB
AnonPages:        115276 kB
Mapped:            57276 kB
Shmem:             49080 kB
Slab:             222100 kB
SReclaimable:     193308 kB
SUnreclaim:        28792 kB
KernelStack:        3776 kB
PageTables:         4664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20840 MiB
End job on node103 at 2019-09-24 18:38:45