Trace number 4405278

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 1039.67 150.077

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-7_X2.xml
MD5SUM10ee2207fbf9262b8884f336b5729a19
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 benchmark159.215
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-20118-serial-file.bin HOME/instance-4405278-1569343184.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 18:38:46 CEST 2019
0.65/0.57	c PID: 20121
0.65/0.57	c IP: 172.20.3.103
0.65/0.57	c HOST: node103.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.04/1.13	c (0,0) Parsing End
2.04/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.04/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.13	c (0,0) Constraint Name Generate Begin
2.04/1.15	c (0,0) Ctr:HOME/instance-4405278-1569343184.xml,ExtensionConflict:ExtensionSupport:Var
2.04/1.15	c (0,0) Constraint Name Generate End
2.04/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.15	c (0,0) CSP to CSPinCNF Begin
3.14/1.64	c (1,1) translated 127 (10%) constraints
3.55/1.75	c (1,1) translated 253 (20%) constraints
3.97/1.82	c (1,1) translated 379 (30%) constraints
3.97/1.89	c (1,1) translated 505 (40%) constraints
4.38/1.94	c (1,1) translated 631 (50%) constraints
4.38/1.99	c (1,1) translated 757 (60%) constraints
5.23/2.13	c (1,1) translated 883 (70%) constraints
5.85/2.37	c (1,1) translated 1009 (80%) constraints
6.09/2.59	c (2,2) translated 1135 (90%) constraints
7.00/2.90	c (2,2) translated 1261 (100%) constraints
7.00/2.90	c (2,2) ===========================================
7.00/2.90	c (2,2) Order
7.00/2.90	c (2,2) ===========================================
7.00/2.97	c (2,2) translated 1883 (10%) constraints
7.46/3.02	c (2,2) translated 3765 (20%) constraints
7.46/3.08	c (2,2) translated 5647 (30%) constraints
7.85/3.13	c (2,2) translated 7529 (40%) constraints
7.85/3.18	c (2,2) translated 9411 (50%) constraints
8.22/3.23	c (2,2) translated 11294 (60%) constraints
8.22/3.28	c (2,2) translated 13176 (70%) constraints
8.61/3.32	c (2,2) translated 15058 (80%) constraints
8.61/3.36	c (2,2) translated 16940 (90%) constraints
8.61/3.39	c (2,2) translated 18822 (100%) constraints
8.61/3.39	c (2,2) CSP to CSPinCNF End
8.61/3.39	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.61/3.39	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.61/3.39	c (2,2) CSPinCNF Propagation Begin
10.01/3.75	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.01/3.75	c (3,3) CSPinCNF Propagation End
10.01/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.01/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.01/3.75	c (3,3) Simplify CSPinCNF Begin
10.31/3.81	c (3,3) Simplify CSPinCNF End
10.31/3.81	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.31/3.81	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.31/3.81	c (3,3) Calculate Precise Domain Begin
10.31/3.81	c (3,3) 0 values are removed by re-calculation
10.31/3.81	c (3,3) Calculate Precise Domain End
10.31/3.81	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.31/3.81	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.31/3.81	c (3,3) CSPinCNF to SatSolver Begin
10.61/3.96	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.97/4.01	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.97/4.06	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
10.97/4.11	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.36/4.13	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.36/4.16	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.36/4.18	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.36/4.19	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.69/4.20	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.69/4.22	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.69/4.22	c (3,3) CSPinCNF to SatSolver End
11.69/4.22	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.69/4.22	c (3,3) 2482 bool, 15697 clause
11.69/4.22	c (3,3) Export Begin
11.92/4.61	c (4,3) Export to HOME/scop-20118-serial-file.bin
11.92/4.61	c (4,3) Export End
11.92/4.61	c (4,3) Export File Size: 0.02 MB
11.92/4.61	c (4,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.92/4.61	c END-Prog: Tue Sep 24 18:38:50 CEST 2019
11.92/4.64	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20118-serial-file.bin
12.44/5.10	c (0,0) Read Serial File Begin
12.44/5.10	c (0,0) HOME/scop-20118-serial-file.bin
12.86/5.33	c (0,0) Read Serial File End
12.86/5.34	
12.86/5.34	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.86/5.34	(Solving Process)
12.86/5.34	
12.86/5.36	c BEGIN-Prog: Tue Sep 24 18:38:51 CEST 2019
12.86/5.36	c PID: 20141
12.86/5.36	c IP: 172.20.3.103
12.86/5.36	c HOST: node103.alineos.net
12.86/5.37	c (0,0) SatSolver.solve Begin
12.86/5.37	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405278-1569343184.xml-scop-20121.cnf
12.86/5.40	c (0,0) c
12.86/5.40	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)
12.86/5.40	c (0,0) c
12.86/5.40	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.86/5.40	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.86/5.40	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.86/5.40	c (0,0) c |                                                                                                       |
12.86/5.40	c (0,0) c |  Number of variables:          2480                                                                   |
12.86/5.40	c (0,0) c |  Number of clauses:           15697                                                                   |
12.86/5.40	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.86/5.40	c (0,0) c |                                                                                                       |
12.86/5.40	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.10/5.41	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.10/5.41	c (0,0) c |                                                                                                       |
13.10/5.41	c (0,0) c |  Generating clones                                                                                    |
13.10/5.41	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.10/5.41	c (0,0) c ========================================================================================================|
13.10/5.41	c (0,0) c
13.10/5.41	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.10/5.41	c (0,0) c
13.10/5.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.10/5.41	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.10/5.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.10/5.41	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.10/5.41	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.10/5.41	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.10/5.41	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.10/5.41	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.10/5.41	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.10/5.41	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.10/5.41	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.10/5.41	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.10/5.41	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.10/5.41	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.10/5.41	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.10/5.41	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.10/5.41	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.10/5.41	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.10/5.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
231.14/35.06	c (30,0) c
231.14/35.06	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
231.14/35.06	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
231.14/35.06	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
231.14/35.06	c (30,0) c |  0 |    446 |     540975 |     297818 |     9355 |    66433 |    43154 |   287289 |    16991 |      291 |  20 |  0.847 |
231.14/35.06	c (30,0) c |  1 |    375 |     549993 |     288392 |     9443 |    57008 |    40055 |   304548 |    13377 |      311 |  20 |  0.847 |
231.14/35.06	c (30,0) c |  2 |    414 |     562865 |     298997 |     9427 |    67613 |    45333 |   293991 |    14454 |      307 |  20 |  0.847 |
231.14/35.06	c (30,0) c |  3 |    355 |     524647 |     280228 |     9478 |    48842 |    44483 |   284420 |    13817 |      291 |  20 |  0.847 |
231.14/35.06	c (30,0) c |  4 |    265 |     547205 |     290479 |     9183 |    59089 |    45070 |   296074 |    10017 |      311 |  20 |  0.847 |
231.14/35.06	c (30,0) c |  5 |    435 |     553064 |     294312 |     9572 |    62926 |    44981 |   285224 |    15550 |      301 |  20 |  0.847 |
231.14/35.06	c (30,0) c |  6 |    414 |     548342 |     294444 |     9390 |    63064 |    44144 |   294103 |    15292 |      311 |  20 |  0.847 |
231.14/35.06	c (30,0) c |  7 |    339 |     528928 |     282054 |     8366 |    50671 |    43017 |   278414 |    10145 |      297 |  20 |  0.847 |
231.14/35.06	c (30,0) c 
231.14/35.06	c (30,0) c synthesis     2326724 conflicts   176258675 propagations    10682 conflicts/sec   809196 propagations/sec
231.14/35.06	c (30,0) c real: 29.6661 s, cpu: 217.82 s, memory: 629.76 Mb
439.42/65.05	c (60,0) c
439.42/65.05	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
439.42/65.05	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
439.42/65.05	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
439.42/65.05	c (60,0) c |  0 |    557 |     857119 |     462390 |     9400 |    72209 |    58585 |   396848 |    27572 |      551 |  20 |  0.848 |
439.42/65.05	c (60,0) c |  1 |    592 |     860036 |     446498 |     9528 |    56316 |    52605 |   407701 |    27724 |      561 |  20 |  0.847 |
439.42/65.05	c (60,0) c |  2 |    520 |     842913 |     446377 |     9461 |    56188 |    58708 |   398745 |    21715 |      556 |  20 |  0.847 |
439.42/65.05	c (60,0) c |  3 |    529 |     856187 |     451224 |     9546 |    61042 |    61192 |   393111 |    26974 |      561 |  20 |  0.847 |
439.42/65.05	c (60,0) c |  4 |    320 |     827841 |     433698 |     9375 |    87112 |    58275 |   403019 |    20246 |      561 |  20 |  0.847 |
439.42/65.05	c (60,0) c |  5 |    498 |     850417 |     446602 |     9600 |    56420 |    61490 |   380312 |    23982 |      541 |  20 |  0.848 |
439.42/65.05	c (60,0) c |  6 |    519 |     849636 |     450047 |     9430 |    59870 |    60069 |   388830 |    24655 |      561 |  20 |  0.847 |
439.42/65.05	c (60,0) c |  7 |    450 |     841182 |     444197 |     9214 |    54016 |    57643 |   395467 |    21833 |      561 |  20 |  0.847 |
439.42/65.05	c (60,0) c 
439.42/65.05	c (60,0) c synthesis     3581035 conflicts   269090158 propagations     8415 conflicts/sec   632326 propagations/sec
439.42/65.05	c (60,0) c real: 59.6588 s, cpu: 425.556 s, memory: 666.23 Mb
643.73/94.06	c (89,0) c
643.73/94.06	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
643.73/94.06	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
643.73/94.06	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
643.73/94.06	c (89,0) c |  0 |    604 |    1110061 |     591695 |     9416 |    55111 |    73849 |   482601 |    35257 |      810 |  20 |  0.847 |
643.73/94.06	c (89,0) c |  1 |    745 |    1130945 |     580733 |     9549 |    95541 |    65393 |   488334 |    38295 |      815 |  20 |  0.847 |
643.73/94.06	c (89,0) c |  2 |    568 |    1086938 |     571064 |     9483 |    85877 |    69689 |   479053 |    30592 |      814 |  20 |  0.848 |
643.73/94.06	c (89,0) c |  3 |    634 |    1109202 |     583414 |     9562 |    98232 |    73569 |   483422 |    36994 |      813 |  20 |  0.847 |
643.73/94.06	c (89,0) c |  4 |    494 |    1099722 |     572581 |     9519 |    87399 |    68175 |   489793 |    31964 |      814 |  20 |  0.847 |
643.73/94.06	c (89,0) c |  5 |    612 |    1121199 |     583104 |     9614 |    97916 |    70859 |   479645 |    33585 |      795 |  20 |  0.847 |
643.73/94.06	c (89,0) c |  6 |    598 |    1109838 |     580858 |     9447 |    95668 |    72525 |   482872 |    34135 |      813 |  20 |  0.848 |
643.73/94.06	c (89,0) c |  7 |    586 |    1114705 |     580412 |     9348 |    95235 |    68918 |   482836 |    34307 |      811 |  20 |  0.847 |
643.73/94.06	c (89,0) c 
643.73/94.06	c (89,0) c synthesis     4643861 conflicts   347869883 propagations     7374 conflicts/sec   552418 propagations/sec
643.73/94.06	c (89,0) c real: 88.6591 s, cpu: 629.722 s, memory: 726.54 Mb
850.43/123.05	c (118,0) c
850.43/123.05	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
850.43/123.05	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
850.43/123.05	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
850.43/123.05	c (118,0) c |  0 |    684 |    1328082 |     699027 |     9429 |   108448 |    80675 |   556824 |    46443 |     1051 |  20 |  0.847 |
850.43/123.05	c (118,0) c |  1 |    804 |    1352572 |     692580 |     9562 |   101985 |    76218 |   564281 |    45657 |     1063 |  20 |  0.847 |
850.43/123.05	c (118,0) c |  2 |    634 |    1310337 |     683224 |     9492 |    92642 |    80332 |   556635 |    39603 |     1064 |  20 |  0.848 |
850.43/123.05	c (118,0) c |  3 |    690 |    1344301 |     700133 |     9570 |   109547 |    85527 |   544969 |    45255 |     1064 |  20 |  0.850 |
850.43/123.05	c (118,0) c |  4 |    572 |    1337894 |     691469 |     9539 |   100887 |    79734 |   556020 |    41634 |     1064 |  20 |  0.848 |
850.43/123.05	c (118,0) c |  5 |    736 |    1348182 |     695945 |     9621 |   105352 |    81034 |   554199 |    41232 |     1044 |  20 |  0.847 |
850.43/123.05	c (118,0) c |  6 |    651 |    1324231 |     688766 |     9459 |    98175 |    83074 |   555000 |    42660 |     1053 |  20 |  0.847 |
850.43/123.05	c (118,0) c |  7 |    695 |    1339981 |     695784 |     9380 |   105202 |    79528 |   560295 |    43256 |     1060 |  20 |  0.847 |
850.43/123.05	c (118,0) c 
850.43/123.05	c (118,0) c synthesis     5546929 conflicts   416191585 propagations     6634 conflicts/sec   497732 propagations/sec
850.43/123.05	c (118,0) c real: 117.659 s, cpu: 836.177 s, memory: 785.82 Mb
1039.51/150.03	c (145,0) c
1039.51/150.03	c (145,0) c real time : 144.638 s
1039.51/150.03	c (145,0) c cpu time  : 1024.62 s
1039.51/150.03	c (145,0) c
1039.51/150.03	c (145,0) c
1039.51/150.03	c (145,0) c
1039.51/150.03	c (145,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1039.51/150.03	c (145,0) c
1039.51/150.03	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.03	c (145,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1039.51/150.03	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.03	c (145,0) c | Conflicts     |         6267279 |     793013 |     780000 |     771095 |     789751 |     780009 |     791919 |     778613 |     782879 |
1039.51/150.03	c (145,0) c | Decisions     |        12132479 |    1517647 |    1524154 |    1488527 |    1526434 |    1518481 |    1540186 |    1504969 |    1512081 |
1039.51/150.03	c (145,0) c | Propagations  |       472617431 |   58993875 |   59395187 |   58085307 |   59442988 |   59166295 |   59579731 |   58679129 |   59274919 |
1039.51/150.03	c (145,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1039.51/150.03	c (145,0) c | SimpDBs       |              88 |         11 |         10 |         12 |         11 |         11 |         11 |         12 |         10 |
1039.51/150.03	c (145,0) c | Restarts      |            5807 |        719 |        849 |        669 |        759 |        589 |        795 |        693 |        734 |
1039.51/150.03	c (145,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1039.51/150.03	c (145,0) c | PropBinClauses|       992799151 |  123029239 |  125056827 |  123150496 |  123962690 |  125064929 |  123537670 |  123046105 |  125951195 |
1039.51/150.03	c (145,0) c | PropPreBlocker|     34477641839 | 4294678041 | 4329031309 | 4274752825 | 4357370357 | 4264823858 | 4325807309 | 4289300004 | 4341878136 |
1039.51/150.03	c (145,0) c | PropNotBlocker|      5824841686 |  733506744 |  735202128 |  739805670 |  707390226 |  732282594 |  720548672 |  733736663 |  722368989 |
1039.51/150.03	c (145,0) c | LitFullScans  |     61557835324 | 7699231550 | 7699601556 | 7699475648 | 7687363268 | 7705669333 | 7687673540 | 7691171681 | 7687648748 |
1039.51/150.03	c (145,0) c | LitScanFracts |        12109693 |    1221784 |    1595759 |    1459752 |    1354236 |    1662128 |    1656277 |    1519474 |    1640283 |
1039.51/150.03	c (145,0) c | DecisionLevel0|            5917 |        731 |        860 |        683 |        770 |        600 |        812 |        713 |        748 |
1039.51/150.03	c (145,0) c | Periods       |           10257 |       1283 |       1283 |       1283 |       1281 |       1284 |       1281 |       1281 |       1281 |
1039.51/150.03	c (145,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1039.51/150.03	c (145,0) c | Avg_Trail     |                 |        634 |        638 |        629 |        636 |        629 |        634 |        632 |        634 |
1039.51/150.03	c (145,0) c | Avg_DL        |                 |         23 |         21 |         21 |         22 |         21 |         21 |         21 |         21 |
1039.51/150.03	c (145,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1039.51/150.03	c (145,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1039.51/150.03	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.03	c (145,0) c | Exported      |          709619 |      90629 |      82927 |      88082 |      91950 |      87903 |      88166 |      90571 |      89391 |
1039.51/150.03	c (145,0) c | Imported      |         4895140 |     610926 |     617833 |     613722 |     609674 |     611654 |     612495 |     611569 |     607267 |
1039.51/150.03	c (145,0) c | Good          |           14302 |       1762 |       1757 |       1803 |       1838 |       1772 |       1769 |       1773 |       1828 |
1039.51/150.03	c (145,0) c | Purge         |         4880838 |     609164 |     616076 |     611919 |     607836 |     609882 |     610726 |     609796 |     605439 |
1039.51/150.03	c (145,0) c | Promoted      |          404479 |      53545 |      52877 |      47620 |      52058 |      49000 |      49124 |      50378 |      49877 |
1039.51/150.03	c (145,0) c | Remove_Imp    |         3852075 |     475788 |     490931 |     491982 |     478532 |     479297 |     474752 |     480477 |     480316 |
1039.51/150.03	c (145,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1039.51/150.03	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.03	c (145,0) c | Unaries       |                 |         12 |         11 |         14 |         11 |         11 |         17 |         20 |         14 |
1039.51/150.03	c (145,0) c | Binaries      |                 |        295 |        291 |        255 |        215 |        280 |        288 |        300 |        209 |
1039.51/150.03	c (145,0) c | Glues         |                 |        997 |       1133 |       1017 |        938 |       1032 |       1107 |       1024 |        861 |
1039.51/150.03	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.03	c (145,0) c | Orig_Seen     |            87 % |       9447 |       9573 |       9507 |       9579 |       9545 |       9625 |       9474 |       9399 |
1039.51/150.03	c (145,0) c | Diff Orig seen|                 | -       27 |         99 |         33 |        105 |         71 |        151 |      X     | -       75 |
1039.51/150.03	c (145,0) c | Hamming       |            11 % |        276 |        266 |        293 |        298 |        306 |        274 |      X     |        287 |
1039.51/150.03	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.03	c (145,0) c | RunningTime   |                 |  139.1  97%|  115.2  80%|  123.4  86%|  125.6  88%|  112.0  78%|  140.3  97%|  129.1  90%|  141.4  98%|
1039.51/150.03	c (145,0) c | WaitingTime   |                 |    3.8   3%|   27.6  19%|   19.4  14%|   17.5  12%|   30.8  22%|    3.5   2%|   13.7  10%|    2.7   2%|
1039.51/150.03	c (145,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|
1039.51/150.03	c (145,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%|
1039.51/150.03	c (145,0) c | SolvingTime   |                 |  143.3     |  143.1     |  143.1     |  143.4     |  143.3     |  144.1     |  143.1     |  144.5     |
1039.51/150.03	c (145,0) c | PropagationTim|                 |   98.2  69%|  128.9  90%|  108.7  76%|  105.2  73%|  126.9  89%|   93.9  65%|  105.4  74%|   90.0  62%|
1039.51/150.03	c (145,0) c | AnalysisTime  |                 |   41.6  29%|   10.4   7%|   31.0  22%|   34.9  24%|   12.7   9%|   46.8  32%|   34.4  24%|   51.2  35%|
1039.51/150.03	c (145,0) c | ReductionTime |                 |    1.3   1%|    1.5   1%|    1.3   1%|    1.2   1%|    1.4   1%|    1.3   1%|    1.3   1%|    1.3   1%|
1039.51/150.03	c (145,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1039.51/150.03	c (145,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%|
1039.51/150.03	c (145,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%|
1039.51/150.03	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.03	c (145,0) c
1039.51/150.03	c (145,0) c
1039.51/150.03	c (145,0) c Threads : 8
1039.51/150.03	c (145,0) c Winner : 6
1039.51/150.03	c (145,0) c Conflicts_0 : 793013
1039.51/150.03	c (145,0) c Conflicts_1 : 780000
1039.51/150.03	c (145,0) c Conflicts_2 : 771095
1039.51/150.03	c (145,0) c Conflicts_3 : 789751
1039.51/150.03	c (145,0) c Conflicts_4 : 780009
1039.51/150.03	c (145,0) c Conflicts_5 : 791919
1039.51/150.03	c (145,0) c Conflicts_6 : 778613
1039.51/150.03	c (145,0) c Conflicts_7 : 782879
1039.51/150.03	c (145,0) c Conflicts_total : 6267279
1039.51/150.03	c (145,0) c Conflicts_winner : 778613
1039.51/150.03	c (145,0) c Decisions_0 : 1517647
1039.51/150.03	c (145,0) c Decisions_1 : 1524154
1039.51/150.03	c (145,0) c Decisions_2 : 1488527
1039.51/150.03	c (145,0) c Decisions_3 : 1526434
1039.51/150.03	c (145,0) c Decisions_4 : 1518481
1039.51/150.03	c (145,0) c Decisions_5 : 1540186
1039.51/150.03	c (145,0) c Decisions_6 : 1504969
1039.51/150.03	c (145,0) c Decisions_7 : 1512081
1039.51/150.03	c (145,0) c Decisions_total : 12132479
1039.51/150.03	c (145,0) c Decisions_winner : 1504969
1039.51/150.03	c (145,0) c Propagations_0 : 58993875
1039.51/150.03	c (145,0) c Propagations_1 : 59395187
1039.51/150.03	c (145,0) c Propagations_2 : 58085307
1039.51/150.03	c (145,0) c Propagations_3 : 59442988
1039.51/150.03	c (145,0) c Propagations_4 : 59166295
1039.51/150.03	c (145,0) c Propagations_5 : 59579731
1039.51/150.03	c (145,0) c Propagations_6 : 58679129
1039.51/150.03	c (145,0) c Propagations_7 : 59274919
1039.51/150.03	c (145,0) c Propagations_total : 472617431
1039.51/150.03	c (145,0) c Propagations_winner : 58679129
1039.51/150.04	c (145,0) c ReduceDBs_0 : 24
1039.51/150.04	c (145,0) c ReduceDBs_1 : 24
1039.51/150.04	c (145,0) c ReduceDBs_2 : 24
1039.51/150.04	c (145,0) c ReduceDBs_3 : 24
1039.51/150.04	c (145,0) c ReduceDBs_4 : 24
1039.51/150.04	c (145,0) c ReduceDBs_5 : 24
1039.51/150.04	c (145,0) c ReduceDBs_6 : 24
1039.51/150.04	c (145,0) c ReduceDBs_7 : 24
1039.51/150.04	c (145,0) c ReduceDBs_total : 192
1039.51/150.04	c (145,0) c ReduceDBs_winner : 24
1039.51/150.04	c (145,0) c SimpDBs_0 : 11
1039.51/150.04	c (145,0) c SimpDBs_1 : 10
1039.51/150.04	c (145,0) c SimpDBs_2 : 12
1039.51/150.04	c (145,0) c SimpDBs_3 : 11
1039.51/150.04	c (145,0) c SimpDBs_4 : 11
1039.51/150.04	c (145,0) c SimpDBs_5 : 11
1039.51/150.04	c (145,0) c SimpDBs_6 : 12
1039.51/150.04	c (145,0) c SimpDBs_7 : 10
1039.51/150.04	c (145,0) c SimpDBs_total : 88
1039.51/150.04	c (145,0) c SimpDBs_winner : 12
1039.51/150.04	c (145,0) c Restarts_0 : 719
1039.51/150.04	c (145,0) c Restarts_1 : 849
1039.51/150.04	c (145,0) c Restarts_2 : 669
1039.51/150.04	c (145,0) c Restarts_3 : 759
1039.51/150.04	c (145,0) c Restarts_4 : 589
1039.51/150.04	c (145,0) c Restarts_5 : 795
1039.51/150.04	c (145,0) c Restarts_6 : 693
1039.51/150.04	c (145,0) c Restarts_7 : 734
1039.51/150.04	c (145,0) c Restarts_total : 5807
1039.51/150.04	c (145,0) c Restarts_winner : 693
1039.51/150.04	c (145,0) c ForcedImports_0 : 0
1039.51/150.04	c (145,0) c ForcedImports_1 : 0
1039.51/150.04	c (145,0) c ForcedImports_2 : 0
1039.51/150.04	c (145,0) c ForcedImports_3 : 0
1039.51/150.04	c (145,0) c ForcedImports_4 : 0
1039.51/150.04	c (145,0) c ForcedImports_5 : 0
1039.51/150.04	c (145,0) c ForcedImports_6 : 0
1039.51/150.04	c (145,0) c ForcedImports_7 : 0
1039.51/150.04	c (145,0) c ForcedImports_total : 0
1039.51/150.04	c (145,0) c ForcedImports_winner : 0
1039.51/150.04	c (145,0) c PropsBinClauses_0 : 123029239
1039.51/150.04	c (145,0) c PropsBinClauses_1 : 125056827
1039.51/150.04	c (145,0) c PropsBinClauses_2 : 123150496
1039.51/150.04	c (145,0) c PropsBinClauses_3 : 123962690
1039.51/150.04	c (145,0) c PropsBinClauses_4 : 125064929
1039.51/150.04	c (145,0) c PropsBinClauses_5 : 123537670
1039.51/150.04	c (145,0) c PropsBinClauses_6 : 123046105
1039.51/150.04	c (145,0) c PropsBinClauses_7 : 125951195
1039.51/150.04	c (145,0) c PropsBinClauses_total : 992799151
1039.51/150.04	c (145,0) c PropsBinClauses_winner : 123046105
1039.51/150.04	c (145,0) c PropsPreBlocker_0 : 4294678041
1039.51/150.04	c (145,0) c PropsPreBlocker_1 : 4329031309
1039.51/150.04	c (145,0) c PropsPreBlocker_2 : 4274752825
1039.51/150.04	c (145,0) c PropsPreBlocker_3 : 4357370357
1039.51/150.04	c (145,0) c PropsPreBlocker_4 : 4264823858
1039.51/150.04	c (145,0) c PropsPreBlocker_5 : 4325807309
1039.51/150.04	c (145,0) c PropsPreBlocker_6 : 4289300004
1039.51/150.04	c (145,0) c PropsPreBlocker_7 : 4341878136
1039.51/150.04	c (145,0) c PropsPreBlocker_total : 34477641839
1039.51/150.04	c (145,0) c PropsPreBlocker_winner : 4289300004
1039.51/150.04	c (145,0) c PropsNotBlocker_0 : 733506744
1039.51/150.04	c (145,0) c PropsNotBlocker_1 : 735202128
1039.51/150.04	c (145,0) c PropsNotBlocker_2 : 739805670
1039.51/150.04	c (145,0) c PropsNotBlocker_3 : 707390226
1039.51/150.04	c (145,0) c PropsNotBlocker_4 : 732282594
1039.51/150.04	c (145,0) c PropsNotBlocker_5 : 720548672
1039.51/150.04	c (145,0) c PropsNotBlocker_6 : 733736663
1039.51/150.04	c (145,0) c PropsNotBlocker_7 : 722368989
1039.51/150.04	c (145,0) c PropsNotBlocker_total : 5824841686
1039.51/150.04	c (145,0) c PropsNotBlocker_winner : 733736663
1039.51/150.04	c (145,0) c PropsLitFullScans_0 : 7699231550
1039.51/150.04	c (145,0) c PropsLitFullScans_1 : 7699601556
1039.51/150.04	c (145,0) c PropsLitFullScans_2 : 7699475648
1039.51/150.04	c (145,0) c PropsLitFullScans_3 : 7687363268
1039.51/150.04	c (145,0) c PropsLitFullScans_4 : 7705669333
1039.51/150.04	c (145,0) c PropsLitFullScans_5 : 7687673540
1039.51/150.04	c (145,0) c PropsLitFullScans_6 : 7691171681
1039.51/150.04	c (145,0) c PropsLitFullScans_7 : 7687648748
1039.51/150.04	c (145,0) c PropsLitFullScans_total : 61557835324
1039.51/150.04	c (145,0) c PropsLitFullScans_winner : 7691171681
1039.51/150.04	c (145,0) c LitScanFractions_0 : 1221784
1039.51/150.04	c (145,0) c LitScanFractions_1 : 1595759
1039.51/150.04	c (145,0) c LitScanFractions_2 : 1459752
1039.51/150.04	c (145,0) c LitScanFractions_3 : 1354236
1039.51/150.04	c (145,0) c LitScanFractions_4 : 1662128
1039.51/150.04	c (145,0) c LitScanFractions_5 : 1656277
1039.51/150.04	c (145,0) c LitScanFractions_6 : 1519474
1039.51/150.04	c (145,0) c LitScanFractions_7 : 1640283
1039.51/150.04	c (145,0) c LitScanFractions_total : 12109693
1039.51/150.04	c (145,0) c LitScanFractions_winner : 1519474
1039.51/150.04	c (145,0) c DecisionLevel0_0 : 731
1039.51/150.04	c (145,0) c DecisionLevel0_1 : 860
1039.51/150.04	c (145,0) c DecisionLevel0_2 : 683
1039.51/150.04	c (145,0) c DecisionLevel0_3 : 770
1039.51/150.04	c (145,0) c DecisionLevel0_4 : 600
1039.51/150.04	c (145,0) c DecisionLevel0_5 : 812
1039.51/150.04	c (145,0) c DecisionLevel0_6 : 713
1039.51/150.04	c (145,0) c DecisionLevel0_7 : 748
1039.51/150.04	c (145,0) c DecisionLevel0_total : 5917
1039.51/150.04	c (145,0) c DecisionLevel0_winner : 713
1039.51/150.04	c (145,0) c Periods_0 : 1283
1039.51/150.04	c (145,0) c Periods_1 : 1283
1039.51/150.04	c (145,0) c Periods_2 : 1283
1039.51/150.04	c (145,0) c Periods_3 : 1281
1039.51/150.04	c (145,0) c Periods_4 : 1284
1039.51/150.04	c (145,0) c Periods_5 : 1281
1039.51/150.04	c (145,0) c Periods_6 : 1281
1039.51/150.04	c (145,0) c Periods_7 : 1281
1039.51/150.04	c (145,0) c Periods_total : 10257
1039.51/150.04	c (145,0) c Periods_winner : 1281
1039.51/150.04	c (145,0) c Margin_0 : 20
1039.51/150.04	c (145,0) c Margin_1 : 20
1039.51/150.04	c (145,0) c Margin_2 : 20
1039.51/150.04	c (145,0) c Margin_3 : 20
1039.51/150.04	c (145,0) c Margin_4 : 20
1039.51/150.04	c (145,0) c Margin_5 : 20
1039.51/150.04	c (145,0) c Margin_6 : 20
1039.51/150.04	c (145,0) c Margin_7 : 20
1039.51/150.04	c (145,0) c Margin_total : 160
1039.51/150.04	c (145,0) c Margin_winner : 20
1039.51/150.04	c (145,0) c Exported_0 : 90629
1039.51/150.04	c (145,0) c Exported_1 : 82927
1039.51/150.04	c (145,0) c Exported_2 : 88082
1039.51/150.04	c (145,0) c Exported_3 : 91950
1039.51/150.04	c (145,0) c Exported_4 : 87903
1039.51/150.04	c (145,0) c Exported_5 : 88166
1039.51/150.04	c (145,0) c Exported_6 : 90571
1039.51/150.04	c (145,0) c Exported_7 : 89391
1039.51/150.04	c (145,0) c Exported_total : 709619
1039.51/150.04	c (145,0) c Exported_winner : 90571
1039.51/150.04	c (145,0) c Imported_0 : 610926
1039.51/150.04	c (145,0) c Imported_1 : 617833
1039.51/150.04	c (145,0) c Imported_2 : 613722
1039.51/150.04	c (145,0) c Imported_3 : 609674
1039.51/150.04	c (145,0) c Imported_4 : 611654
1039.51/150.04	c (145,0) c Imported_5 : 612495
1039.51/150.04	c (145,0) c Imported_6 : 611569
1039.51/150.04	c (145,0) c Imported_7 : 607267
1039.51/150.04	c (145,0) c Imported_total : 4895140
1039.51/150.04	c (145,0) c Imported_winner : 611569
1039.51/150.04	c (145,0) c Good_0 : 1762
1039.51/150.04	c (145,0) c Good_1 : 1757
1039.51/150.04	c (145,0) c Good_2 : 1803
1039.51/150.04	c (145,0) c Good_3 : 1838
1039.51/150.04	c (145,0) c Good_4 : 1772
1039.51/150.04	c (145,0) c Good_5 : 1769
1039.51/150.04	c (145,0) c Good_6 : 1773
1039.51/150.04	c (145,0) c Good_7 : 1828
1039.51/150.04	c (145,0) c Good_total : 14302
1039.51/150.04	c (145,0) c Good_winner : 1773
1039.51/150.04	c (145,0) c Purge_0 : 609164
1039.51/150.04	c (145,0) c Purge_1 : 616076
1039.51/150.04	c (145,0) c Purge_2 : 611919
1039.51/150.04	c (145,0) c Purge_3 : 607836
1039.51/150.04	c (145,0) c Purge_4 : 609882
1039.51/150.04	c (145,0) c Purge_5 : 610726
1039.51/150.04	c (145,0) c Purge_6 : 609796
1039.51/150.04	c (145,0) c Purge_7 : 605439
1039.51/150.04	c (145,0) c Purge_total : 4880838
1039.51/150.04	c (145,0) c Purge_winner : 609796
1039.51/150.04	c (145,0) c Promoted_0 : 53545
1039.51/150.04	c (145,0) c Promoted_1 : 52877
1039.51/150.04	c (145,0) c Promoted_2 : 47620
1039.51/150.04	c (145,0) c Promoted_3 : 52058
1039.51/150.04	c (145,0) c Promoted_4 : 49000
1039.51/150.04	c (145,0) c Promoted_5 : 49124
1039.51/150.04	c (145,0) c Promoted_6 : 50378
1039.51/150.04	c (145,0) c Promoted_7 : 49877
1039.51/150.04	c (145,0) c Promoted_total : 404479
1039.51/150.04	c (145,0) c Promoted_winner : 50378
1039.51/150.04	c (145,0) c Remove_Imp_0 : 475788
1039.51/150.04	c (145,0) c Remove_Imp_1 : 490931
1039.51/150.04	c (145,0) c Remove_Imp_2 : 491982
1039.51/150.04	c (145,0) c Remove_Imp_3 : 478532
1039.51/150.04	c (145,0) c Remove_Imp_4 : 479297
1039.51/150.04	c (145,0) c Remove_Imp_5 : 474752
1039.51/150.04	c (145,0) c Remove_Imp_6 : 480477
1039.51/150.04	c (145,0) c Remove_Imp_7 : 480316
1039.51/150.04	c (145,0) c Remove_Imp_total : 3852075
1039.51/150.04	c (145,0) c Remove_Imp_winner : 480477
1039.51/150.04	c (145,0) c Blocked_Reuse_0 : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_1 : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_2 : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_3 : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_4 : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_5 : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_6 : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_7 : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_total : 0
1039.51/150.04	c (145,0) c Blocked_Reuse_winner : 0
1039.51/150.04	c (145,0) c Unaries_0 : 12
1039.51/150.04	c (145,0) c Unaries_1 : 11
1039.51/150.04	c (145,0) c Unaries_2 : 14
1039.51/150.04	c (145,0) c Unaries_3 : 11
1039.51/150.04	c (145,0) c Unaries_4 : 11
1039.51/150.04	c (145,0) c Unaries_5 : 17
1039.51/150.04	c (145,0) c Unaries_6 : 20
1039.51/150.04	c (145,0) c Unaries_7 : 14
1039.51/150.04	c (145,0) c Unaries_total : 110
1039.51/150.04	c (145,0) c Unaries_winner : 20
1039.51/150.04	c (145,0) c Binaries_0 : 295
1039.51/150.04	c (145,0) c Binaries_1 : 291
1039.51/150.04	c (145,0) c Binaries_2 : 255
1039.51/150.04	c (145,0) c Binaries_3 : 215
1039.51/150.04	c (145,0) c Binaries_4 : 280
1039.51/150.04	c (145,0) c Binaries_5 : 288
1039.51/150.04	c (145,0) c Binaries_6 : 300
1039.51/150.04	c (145,0) c Binaries_7 : 209
1039.51/150.04	c (145,0) c Binaries_total : 2133
1039.51/150.04	c (145,0) c Binaries_winner : 300
1039.51/150.04	c (145,0) c Glues_0 : 997
1039.51/150.04	c (145,0) c Glues_1 : 1133
1039.51/150.04	c (145,0) c Glues_2 : 1017
1039.51/150.04	c (145,0) c Glues_3 : 938
1039.51/150.04	c (145,0) c Glues_4 : 1032
1039.51/150.04	c (145,0) c Glues_5 : 1107
1039.51/150.04	c (145,0) c Glues_6 : 1024
1039.51/150.04	c (145,0) c Glues_7 : 861
1039.51/150.04	c (145,0) c Glues_total : 8109
1039.51/150.04	c (145,0) c Glues_winner : 1024
1039.51/150.04	c (145,0) c RunningTime_0 : 139.136286
1039.51/150.04	c (145,0) c RunningTime_1 : 115.187370
1039.51/150.04	c (145,0) c RunningTime_2 : 123.446452
1039.51/150.04	c (145,0) c RunningTime_3 : 125.567024
1039.51/150.04	c (145,0) c RunningTime_4 : 112.037201
1039.51/150.04	c (145,0) c RunningTime_5 : 140.260046
1039.51/150.04	c (145,0) c RunningTime_6 : 129.136172
1039.51/150.04	c (145,0) c RunningTime_7 : 141.433738
1039.51/150.04	c (145,0) c RunningTime_total : 1026.204288
1039.51/150.04	c (145,0) c RunningTime_winner : 129.136172
1039.51/150.04	c (145,0) c WaitingTime_0 : 3.780493
1039.51/150.04	c (145,0) c WaitingTime_1 : 27.582395
1039.51/150.04	c (145,0) c WaitingTime_2 : 19.364761
1039.51/150.04	c (145,0) c WaitingTime_3 : 17.489793
1039.51/150.04	c (145,0) c WaitingTime_4 : 30.837178
1039.51/150.04	c (145,0) c WaitingTime_5 : 3.525876
1039.51/150.04	c (145,0) c WaitingTime_6 : 13.693097
1039.51/150.04	c (145,0) c WaitingTime_7 : 2.734635
1039.51/150.04	c (145,0) c WaitingTime_total : 119.008228
1039.51/150.04	c (145,0) c WaitingTime_winner : 13.693097
1039.51/150.04	c (145,0) c ExchangingTime_0 : 0.325033
1039.51/150.04	c (145,0) c ExchangingTime_1 : 0.364384
1039.51/150.04	c (145,0) c ExchangingTime_2 : 0.324526
1039.51/150.04	c (145,0) c ExchangingTime_3 : 0.330614
1039.51/150.04	c (145,0) c ExchangingTime_4 : 0.379193
1039.51/150.04	c (145,0) c ExchangingTime_5 : 0.345844
1039.51/150.04	c (145,0) c ExchangingTime_6 : 0.305683
1039.51/150.04	c (145,0) c ExchangingTime_7 : 0.363183
1039.51/150.04	c (145,0) c ExchangingTime_total : 2.738461
1039.51/150.04	c (145,0) c ExchangingTime_winner : 0.305683
1039.51/150.04	c (145,0) c PeriodProcTime_0 : 0.013070
1039.51/150.04	c (145,0) c PeriodProcTime_1 : 0.012566
1039.51/150.04	c (145,0) c PeriodProcTime_2 : 0.012803
1039.51/150.04	c (145,0) c PeriodProcTime_3 : 0.014744
1039.51/150.04	c (145,0) c PeriodProcTime_4 : 0.013164
1039.51/150.04	c (145,0) c PeriodProcTime_5 : 0.014772
1039.51/150.04	c (145,0) c PeriodProcTime_6 : 0.011884
1039.51/150.06	c (145,0) c PeriodProcTime_7 : 0.011333
1039.51/150.06	c (145,0) c PeriodProcTime_total : 0.104337
1039.51/150.06	c (145,0) c PeriodProcTime_winner : 0.011884
1039.51/150.06	c (145,0) c SolvingTime_0 : 143.254883
1039.51/150.06	c (145,0) c SolvingTime_1 : 143.146716
1039.51/150.06	c (145,0) c SolvingTime_2 : 143.148543
1039.51/150.06	c (145,0) c SolvingTime_3 : 143.402175
1039.51/150.06	c (145,0) c SolvingTime_4 : 143.266737
1039.51/150.06	c (145,0) c SolvingTime_5 : 144.146537
1039.51/150.06	c (145,0) c SolvingTime_6 : 143.146836
1039.51/150.06	c (145,0) c SolvingTime_7 : 144.542889
1039.51/150.06	c (145,0) c SolvingTime_total : 1148.055314
1039.51/150.06	c (145,0) c SolvingTime_winner : 143.146836
1039.51/150.06	c (145,0) c PropagationTime_0 : 98.152119
1039.51/150.06	c (145,0) c PropagationTime_1 : 128.899307
1039.51/150.06	c (145,0) c PropagationTime_2 : 108.692061
1039.51/150.06	c (145,0) c PropagationTime_3 : 105.167354
1039.51/150.06	c (145,0) c PropagationTime_4 : 126.949869
1039.51/150.06	c (145,0) c PropagationTime_5 : 93.921938
1039.51/150.06	c (145,0) c PropagationTime_6 : 105.410537
1039.51/150.06	c (145,0) c PropagationTime_7 : 89.951098
1039.51/150.06	c (145,0) c PropagationTime_total : 857.144282
1039.51/150.06	c (145,0) c PropagationTime_winner : 105.410537
1039.51/150.06	c (145,0) c AnalysisTime_0 : 41.620964
1039.51/150.06	c (145,0) c AnalysisTime_1 : 10.422947
1039.51/150.06	c (145,0) c AnalysisTime_2 : 31.030313
1039.51/150.06	c (145,0) c AnalysisTime_3 : 34.901374
1039.51/150.06	c (145,0) c AnalysisTime_4 : 12.743988
1039.51/150.06	c (145,0) c AnalysisTime_5 : 46.784103
1039.51/150.06	c (145,0) c AnalysisTime_6 : 34.385494
1039.51/150.06	c (145,0) c AnalysisTime_7 : 51.208506
1039.51/150.06	c (145,0) c AnalysisTime_total : 263.097689
1039.51/150.06	c (145,0) c AnalysisTime_winner : 34.385494
1039.51/150.06	c (145,0) c ReductionTime_0 : 1.315536
1039.51/150.06	c (145,0) c ReductionTime_1 : 1.503572
1039.51/150.06	c (145,0) c ReductionTime_2 : 1.267344
1039.51/150.06	c (145,0) c ReductionTime_3 : 1.202457
1039.51/150.06	c (145,0) c ReductionTime_4 : 1.402285
1039.51/150.06	c (145,0) c ReductionTime_5 : 1.318515
1039.51/150.06	c (145,0) c ReductionTime_6 : 1.308239
1039.51/150.06	c (145,0) c ReductionTime_7 : 1.269518
1039.51/150.06	c (145,0) c ReductionTime_total : 10.587466
1039.51/150.06	c (145,0) c ReductionTime_winner : 1.308239
1039.51/150.06	c (145,0) c SimplifyTime_0 : 0.139206
1039.51/150.06	c (145,0) c SimplifyTime_1 : 0.080779
1039.51/150.06	c (145,0) c SimplifyTime_2 : 0.103197
1039.51/150.06	c (145,0) c SimplifyTime_3 : 0.054993
1039.51/150.06	c (145,0) c SimplifyTime_4 : 0.055919
1039.51/150.06	c (145,0) c SimplifyTime_5 : 0.045337
1039.51/150.06	c (145,0) c SimplifyTime_6 : 0.049524
1039.51/150.06	c (145,0) c SimplifyTime_7 : 0.041589
1039.51/150.06	c (145,0) c SimplifyTime_total : 0.570545
1039.51/150.06	c (145,0) c SimplifyTime_winner : 0.049524
1039.51/150.06	c (145,0) c UsedRateTime_0 : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_1 : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_2 : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_3 : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_4 : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_5 : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_6 : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_7 : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_total : 0.000000
1039.51/150.06	c (145,0) c UsedRateTime_winner : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_0 : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_1 : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_2 : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_3 : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_4 : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_5 : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_6 : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_7 : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_total : 0.000000
1039.51/150.06	c (145,0) c OverlapRateTime_winner : 0.000000
1039.51/150.06	c (145,0) c
1039.51/150.06	c (145,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1039.51/150.06	c (145,0) c
1039.51/150.06	c (145,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.06	c (145,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1039.51/150.06	c (145,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.06	c (145,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1039.51/150.06	c (145,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1039.51/150.06	c (145,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1039.51/150.06	c (145,0) c | Initial random_seed   | 1358739845 |  842364016 | 2101888133 | 1626685892 |  773963715 | 1956678552 |  600817058 | 1414876421 |
1039.51/150.06	c (145,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1039.51/150.06	c (145,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1039.51/150.06	c (145,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1039.51/150.06	c (145,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1039.51/150.06	c (145,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1039.51/150.06	c (145,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1039.51/150.06	c (145,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1039.51/150.06	c (145,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1039.51/150.06	c (145,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1039.51/150.06	c (145,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1039.51/150.06	c (145,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1039.51/150.06	c (145,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1039.51/150.06	c (145,0) 
1039.51/150.06	c (145,0) s UNSATISFIABLE
1039.51/150.06	c (145,0) SatSolver.solve End
1039.51/150.06	c (145,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1039.51/150.06	c (145,0) Show results Begin
1039.51/150.06	s UNSATISFIABLE
1039.51/150.06	c (145,0) Show results End
1039.51/150.06	c (145,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1039.51/150.06	c (145,0) 145,145,STOP-AFTER(ALL)
1039.51/150.06	c END-Prog: Tue Sep 24 18:41:16 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-4405278-1569343184/watcher-4405278-1569343184 -o /tmp/evaluation-result-4405278-1569343184/solver-4405278-1569343184 -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-4405278-1569343184.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=20118, runsolver pid=20115
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 7.09 6.40 6.46 2/211 20140
/proc/meminfo: memFree=28804676/32770624 swapFree=66999256/67108860
[pid=20118] ppid=20115 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/20118/stat : 20118 (scop.sh) S 20115 20118 18413 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510571510 115843072 348 33554432000 4194304 5098028 140732594523856 140732594521112 140641963569788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32157696 140732594524965 140732594525292 140732594525292 140732594528205 0
/proc/20118/statm: 28282 348 296 221 0 87 0
[pid=20121] ppid=20118 vsize=27314120 memory=104100 CPUtime=0.1 cores=0-7
/proc/20121/stat : 20121 (java) S 20118 20118 18413 0 -1 1077944320 6646 0 0 0 8 2 0 0 20 0 20 0 510571510 27969658880 26025 33554432000 4194304 4196468 140731456875616 140731456858160 140067282534135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
/proc/20121/statm: 6828530 26025 2803 1 0 6790935 0
[pid=20121/tid=20122] ppid=20118 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/20121/task/20122/stat : 20122 (java) R 20118 20118 18413 0 -1 4202560 4724 0 0 0 7 2 0 0 20 0 20 0 510571510 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067254364496 140067266614622 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20123] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20123/stat : 20123 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067286776848 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20124] ppid=20118 vsize=27314120 memory=288370338241582720 CPUtime=0 cores=0-7
/proc/20121/task/20124/stat : 20124 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067100933264 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20125] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20125/stat : 20125 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067099880208 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20126] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20126/stat : 20126 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067098827664 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20127] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20127/stat : 20127 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067097774608 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20128] ppid=20118 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20121/task/20128/stat : 20128 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067096722064 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20129] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20129/stat : 20129 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067095669008 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20130] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20130/stat : 20130 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 26537 33554432000 4194304 4196468 140731456875616 140067094616464 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20131] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20131/stat : 20131 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571514 27969658880 26537 33554432000 4194304 4196468 140731456875616 140066206722800 140067282545282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20132] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20132/stat : 20132 (java) S 20118 20118 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510571515 27969658880 26537 33554432000 4194304 4196468 140731456875616 140065191749280 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20133] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20133/stat : 20133 (java) S 20118 20118 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510571515 27969658880 26537 33554432000 4194304 4196468 140731456875616 140065057527024 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20134] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20134/stat : 20134 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 26537 33554432000 4194304 4196468 140731456875616 140064683022800 140067282552731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20135] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20135/stat : 20135 (java) S 20118 20118 18413 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 26537 33554432000 4194304 4196468 140731456875616 140066205669616 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20136] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20136/stat : 20136 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 26537 33554432000 4194304 4196468 140731456875616 140066204617072 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20137] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20137/stat : 20137 (java) R 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 26537 33554432000 4194304 4196468 140731456875616 140066203564016 140067282545282 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20138] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20138/stat : 20138 (java) R 20118 20118 18413 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 26537 33554432000 4194304 4196468 140731456875616 140066202511472 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20139] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20139/stat : 20139 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 26537 33554432000 4194304 4196468 140731456875616 140064185117664 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20140] ppid=20118 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20121/task/20140/stat : 20140 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571518 27969658880 26537 33554432000 4194304 4196468 140731456875616 140066201459888 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105492 KiB

[startup+0.210519 s]*
/proc/loadavg: 7.09 6.40 6.46 3/211 20140
/proc/meminfo: memFree=28786600/32770624 swapFree=66999256/67108860
[pid=20118] ppid=20115 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/20118/stat : 20118 (scop.sh) S 20115 20118 18413 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510571510 115843072 348 33554432000 4194304 5098028 140732594523856 140732594521112 140641963569788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32157696 140732594524965 140732594525292 140732594525292 140732594528205 0
/proc/20118/statm: 28282 348 296 221 0 87 0
[pid=20121] ppid=20118 vsize=27314120 memory=120896 CPUtime=0.24 cores=0-7
/proc/20121/stat : 20121 (java) S 20118 20118 18413 0 -1 1077944320 11644 0 0 0 20 4 0 0 20 0 20 0 510571510 27969658880 30224 33554432000 4194304 4196468 140731456875616 140731456858160 140067282534135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
/proc/20121/statm: 6828530 30224 2914 1 0 6790935 0
[pid=20121/tid=20122] ppid=20118 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/20121/task/20122/stat : 20122 (java) R 20118 20118 18413 0 -1 4202560 9310 0 0 0 16 4 0 0 20 0 20 0 510571510 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067254333520 140067264097710 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20123] ppid=20118 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/20121/task/20123/stat : 20123 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067286776848 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20124] ppid=20118 vsize=27314120 memory=139962089890575 CPUtime=0 cores=0-7
/proc/20121/task/20124/stat : 20124 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067100933264 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20125] ppid=20118 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20121/task/20125/stat : 20125 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067099880208 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20126] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20126/stat : 20126 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067098827664 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20127] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20127/stat : 20127 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067097774608 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20128] ppid=20118 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20121/task/20128/stat : 20128 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067096722064 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20129] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20129/stat : 20129 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067095669008 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20130] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20130/stat : 20130 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 30224 33554432000 4194304 4196468 140731456875616 140067094616464 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20131] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20131/stat : 20131 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571514 27969658880 30224 33554432000 4194304 4196468 140731456875616 140066206722800 140067282545282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20132] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20132/stat : 20132 (java) S 20118 20118 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510571515 27969658880 30224 33554432000 4194304 4196468 140731456875616 140065191749280 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20133] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20133/stat : 20133 (java) S 20118 20118 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510571515 27969658880 30224 33554432000 4194304 4196468 140731456875616 140065057527024 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20134] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20134/stat : 20134 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 30224 33554432000 4194304 4196468 140731456875616 140064683022800 140067282552731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20135] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20135/stat : 20135 (java) S 20118 20118 18413 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 30224 33554432000 4194304 4196468 140731456875616 140066205669616 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20136] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20136/stat : 20136 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 30224 33554432000 4194304 4196468 140731456875616 140066204617072 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20137] ppid=20118 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20121/task/20137/stat : 20137 (java) S 20118 20118 18413 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 30224 33554432000 4194304 4196468 140731456875616 140066203564016 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20138] ppid=20118 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20121/task/20138/stat : 20138 (java) S 20118 20118 18413 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 510571517 27969658880 30224 33554432000 4194304 4196468 140731456875616 140066202511472 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20139] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20139/stat : 20139 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 30224 33554432000 4194304 4196468 140731456875616 140064185117664 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20140] ppid=20118 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20121/task/20140/stat : 20140 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571518 27969658880 30224 33554432000 4194304 4196468 140731456875616 140066201459888 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122288 KiB

[startup+0.310873 s]*
/proc/loadavg: 7.09 6.40 6.46 2/211 20140
/proc/meminfo: memFree=28782568/32770624 swapFree=66999256/67108860
[pid=20118] ppid=20115 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/20118/stat : 20118 (scop.sh) S 20115 20118 18413 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510571510 115843072 348 33554432000 4194304 5098028 140732594523856 140732594521112 140641963569788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32157696 140732594524965 140732594525292 140732594525292 140732594528205 0
/proc/20118/statm: 28282 348 296 221 0 87 0
[pid=20121] ppid=20118 vsize=27314120 memory=125540 CPUtime=0.43 cores=0-7
/proc/20121/stat : 20121 (java) S 20118 20118 18413 0 -1 1077944320 12776 0 0 0 38 5 0 0 20 0 20 0 510571510 27969658880 31385 33554432000 4194304 4196468 140731456875616 140731456858160 140067282534135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
/proc/20121/statm: 6828530 31385 3036 1 0 6790935 0
[pid=20121/tid=20122] ppid=20118 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/20121/task/20122/stat : 20122 (java) R 20118 20118 18413 0 -1 4202560 10256 0 0 0 25 4 0 0 20 0 20 0 510571510 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067254329624 140067265721039 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20123] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20123/stat : 20123 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067286776848 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20124] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20124/stat : 20124 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067100933264 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20125] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20125/stat : 20125 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067099880208 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20126] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20126/stat : 20126 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067098827664 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20127] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20127/stat : 20127 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067097774608 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20128] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20128/stat : 20128 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067096722064 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20129] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20129/stat : 20129 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067095669008 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20130] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20130/stat : 20130 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571513 27969658880 31385 33554432000 4194304 4196468 140731456875616 140067094616464 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20131] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20131/stat : 20131 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510571514 27969658880 31385 33554432000 4194304 4196468 140731456875616 140066206722800 140067282545282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20132] ppid=20118 vsize=27314120 memory=279923956850048 CPUtime=0 cores=0-7
/proc/20121/task/20132/stat : 20132 (java) S 20118 20118 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510571515 27969658880 31385 33554432000 4194304 4196468 140731456875616 140065191749280 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20133] ppid=20118 vsize=27314120 memory=279923956854656 CPUtime=0 cores=0-7
/proc/20121/task/20133/stat : 20133 (java) S 20118 20118 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510571515 27969658880 31385 33554432000 4194304 4196468 140731456875616 140065057527024 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20134] ppid=20118 vsize=27314120 memory=279923956859264 CPUtime=0 cores=0-7
/proc/20121/task/20134/stat : 20134 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 31385 33554432000 4194304 4196468 140731456875616 140064683022800 140067282552731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20135] ppid=20118 vsize=27314120 memory=279923956863872 CPUtime=0.01 cores=0-7
/proc/20121/task/20135/stat : 20135 (java) S 20118 20118 18413 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 20 0 510571517 27969658880 31385 33554432000 4194304 4196468 140731456875616 140066205669616 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20136] ppid=20118 vsize=27314120 memory=279923956868480 CPUtime=0.02 cores=0-7
/proc/20121/task/20136/stat : 20136 (java) R 20118 20118 18413 0 -1 4202560 119 0 0 0 2 0 0 0 20 0 20 0 510571517 27969658880 31385 33554432000 4194304 4196468 140731456875616 140066204617072 140067260168784 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20137] ppid=20118 vsize=27314120 memory=279923956873088 CPUtime=0.01 cores=0-7
/proc/20121/task/20137/stat : 20137 (java) S 20118 20118 18413 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 510571517 27969658880 31385 33554432000 4194304 4196468 140731456875616 140066203564016 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20138] ppid=20118 vsize=27314120 memory=279923956877696 CPUtime=0.07 cores=0-7
/proc/20121/task/20138/stat : 20138 (java) S 20118 20118 18413 0 -1 1077944384 541 0 0 0 7 0 0 0 20 0 20 0 510571517 27969658880 31385 33554432000 4194304 4196468 140731456875616 140066202511472 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20139] ppid=20118 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20139/stat : 20139 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510571517 27969658880 31385 33554432000 4194304 4196468 140731456875616 140064185117664 140067282544341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20140] ppid=20118 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20121/task/20140/stat : 20140 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571518 27969658880 31385 33554432000 4194304 4196468 140731456875616 140066201459888 140067282545282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126932 KiB

[startup+0.700952 s]
/proc/loadavg: 7.09 6.40 6.46 2/211 20140
/proc/meminfo: memFree=28759376/32770624 swapFree=66999256/67108860
[pid=20118] ppid=20115 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/20118/stat : 20118 (scop.sh) S 20115 20118 18413 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510571510 115843072 348 33554432000 4194304 5098028 140732594523856 140732594521112 140641963569788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32157696 140732594524965 140732594525292 140732594525292 140732594528205 0
/proc/20118/statm: 28282 348 296 221 0 87 0
[pid=20121] ppid=20118 vsize=27320392 memory=163408 CPUtime=1 cores=0-7
/proc/20121/stat : 20121 (java) S 20118 20118 18413 0 -1 1077944320 20515 0 0 0 93 7 0 0 20 0 20 0 510571510 27976081408 40852 33554432000 4194304 4196468 140731456875616 140731456858160 140067282534135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
/proc/20121/statm: 6830098 40852 3188 1 0 6791447 0
[pid=20121/tid=20122] ppid=20118 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/20121/task/20122/stat : 20122 (java) R 20118 20118 18413 0 -1 4202560 17344 0 0 0 61 6 0 0 20 0 20 0 510571510 27976081408 40852 33554432000 4194304 4196468 140731456875616 140067254371552 140066752181646 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20123] ppid=20118 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20123/stat : 20123 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27976081408 40852 33554432000 4194304 4196468 140731456875616 140067286776848 140067282544341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20124] ppid=20118 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20121/task/20124/stat : 20124 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510571513 27976081408 40852 33554432000 4194304 4196468 140731456875616 140067100933264 140067282544341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0
[pid=20121/tid=20125] ppid=20118 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/20121/task/20125/stat : 20125 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510571513 27976081408 40852 33554432000 4194304 4196468 140731456875616 140067099880208 140067282544341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38109184 140731456877291 140731456877718 140731456877718 140731456880591 0

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

[pid=20141/tid=20152] ppid=20118 vsize=8414124 memory=35596 CPUtime=0 cores=0-7
/proc/20141/task/20152/stat : 20152 (java) S 20118 20118 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510571978 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307991618720 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20153] ppid=20118 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/20141/task/20153/stat : 20153 (java) S 20118 20118 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510571978 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307857396464 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20154] ppid=20118 vsize=8414124 memory=119460 CPUtime=0 cores=0-7
/proc/20141/task/20154/stat : 20154 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307482892240 140309704898459 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20155] ppid=20118 vsize=8414124 memory=656272 CPUtime=0.05 cores=0-7
/proc/20141/task/20155/stat : 20155 (java) S 20118 20118 18413 0 -1 1077944384 457 0 0 0 5 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308931144432 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20156] ppid=20118 vsize=8414124 memory=1764 CPUtime=0.06 cores=0-7
/proc/20141/task/20156/stat : 20156 (java) S 20118 20118 18413 0 -1 1077944384 375 0 0 0 6 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308930091888 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20157] ppid=20118 vsize=8414124 memory=-9104424036104171922 CPUtime=0.09 cores=0-7
/proc/20141/task/20157/stat : 20157 (java) S 20118 20118 18413 0 -1 1077944384 336 0 0 0 9 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308929038832 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20158] ppid=20118 vsize=8414124 memory=7593720335285047384 CPUtime=0.22 cores=0-7
/proc/20141/task/20158/stat : 20158 (java) S 20118 20118 18413 0 -1 1077944384 761 0 0 0 22 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308927986288 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20159] ppid=20118 vsize=8414124 memory=4137287014106042739 CPUtime=0 cores=0-7
/proc/20141/task/20159/stat : 20159 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571981 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306984987104 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20160] ppid=20118 vsize=8414124 memory=6933690287860520088 CPUtime=0.09 cores=0-7
/proc/20141/task/20160/stat : 20160 (java) S 20118 20118 18413 0 -1 1077944384 11 0 0 0 8 1 0 0 20 0 24 0 510571981 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308926933680 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20162] ppid=20118 vsize=8414124 memory=279923959444144 CPUtime=0 cores=0-7
/proc/20141/task/20162/stat : 20162 (java) S 20118 20118 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308998714304 140309704904473 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20164] ppid=20118 vsize=8414124 memory=4132771212810548115 CPUtime=0 cores=0-7
/proc/20141/task/20164/stat : 20164 (java) S 20118 20118 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306313887760 140309704901789 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20165] ppid=20118 vsize=8414124 memory=-8689539942354613440 CPUtime=0 cores=0-7
/proc/20141/task/20165/stat : 20165 (java) S 20118 20118 18413 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306582323344 140309704901789 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20172] ppid=20118 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/20141/task/20172/stat : 20172 (java) S 20118 20118 18413 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510572051 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306045459888 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
Current children cumulated CPU time: 1037.37 s
Current children cumulated vsize: 9210532 KiB
Current children cumulated memory: 647632 KiB

[startup+149.601 s]
/proc/loadavg: 6.04 6.31 6.43 3/220 20191
/proc/meminfo: memFree=28263000/32770624 swapFree=66999256/67108860
[pid=20118] ppid=20115 vsize=113128 memory=1472 CPUtime=11.96 cores=0-7
/proc/20118/stat : 20118 (scop.sh) S 20115 20118 18413 0 -1 4202496 582 32272 0 0 0 0 1163 33 20 0 1 0 510571510 115843072 368 33554432000 4194304 5098028 140732594523856 140732594520600 140641963569788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32157696 140732594524965 140732594525292 140732594525292 140732594528205 0
/proc/20118/statm: 28282 368 311 221 0 87 0
[pid=20141] ppid=20118 vsize=8414124 memory=119460 CPUtime=1.35 cores=0-7
/proc/20141/stat : 20141 (java) S 20118 20118 18413 0 -1 1077944320 21342 0 0 0 126 9 0 0 20 0 24 0 510571974 8616062976 29865 33554432000 4194304 4196468 140722360383200 140722360365744 140309704879863 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
/proc/20141/statm: 2103531 29865 3202 1 0 2064875 0
[pid=20161] ppid=20141 vsize=675084 memory=526692 CPUtime=1025.76 cores=0-7
/proc/20161/stat : 20161 (manyglucose-4.1) S 20141 20118 18413 0 -1 1077944320 723290 0 0 0 102415 161 0 0 20 0 3 0 510572049 691286016 131673 33554432000 4194304 4454172 140733984244144 140733984242528 140060117032695 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 11235328 140733984252777 140733984252976 140733984252976 140733984255930 0
/proc/20161/statm: 168771 131673 419 64 0 164439 0
[pid=20161/tid=20171] ppid=20141 vsize=675084 memory=119460 CPUtime=140.52 cores=0-7
/proc/20161/task/20171/stat : 20171 (manyglucose-4.1) R 20141 20118 18413 0 -1 4202560 100268 0 0 0 14036 16 0 0 20 0 3 0 510572051 691286016 131673 33554432000 4194304 4454172 140733984244144 140060059851912 4351535 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 11235328 140733984252777 140733984252976 140733984252976 140733984255930 0
[pid=20161/tid=20174] ppid=20141 vsize=675084 memory=526648 CPUtime=141.28 cores=0-7
/proc/20161/task/20174/stat : 20174 (manyglucose-4.1) R 20141 20118 18413 0 -1 4202560 95698 0 0 0 14111 17 0 0 20 0 3 0 510572051 691286016 131673 33554432000 4194304 4454172 140733984244144 140060043066504 4351797 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 11235328 140733984252777 140733984252976 140733984252976 140733984255930 0
[pid=20141/tid=20142] ppid=20118 vsize=8414124 memory=1560 CPUtime=0.78 cores=0-7
/proc/20141/task/20142/stat : 20142 (java) S 20118 20118 18413 0 -1 1077944384 17987 0 0 0 72 6 0 0 20 0 24 0 510571975 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309676720032 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20143] ppid=20118 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/20141/task/20143/stat : 20143 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309709122064 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20144] ppid=20118 vsize=8414124 memory=119460 CPUtime=0 cores=0-7
/proc/20141/task/20144/stat : 20144 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309189708432 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20145] ppid=20118 vsize=8414124 memory=526648 CPUtime=0 cores=0-7
/proc/20141/task/20145/stat : 20145 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309188655376 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20146] ppid=20118 vsize=8414124 memory=526644 CPUtime=0 cores=0-7
/proc/20141/task/20146/stat : 20146 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309187602832 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20147] ppid=20118 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/20141/task/20147/stat : 20147 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309186550800 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20148] ppid=20118 vsize=8414124 memory=119460 CPUtime=0 cores=0-7
/proc/20141/task/20148/stat : 20148 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309185498256 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20149] ppid=20118 vsize=8414124 memory=624020 CPUtime=0 cores=0-7
/proc/20141/task/20149/stat : 20149 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309184445200 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20150] ppid=20118 vsize=8414124 memory=581708 CPUtime=0 cores=0-7
/proc/20141/task/20150/stat : 20150 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309183392656 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20151] ppid=20118 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20141/task/20151/stat : 20151 (java) S 20118 20118 18413 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510571977 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308999768304 140309704891010 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20152] ppid=20118 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20141/task/20152/stat : 20152 (java) S 20118 20118 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510571978 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307991618720 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20153] ppid=20118 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/20141/task/20153/stat : 20153 (java) S 20118 20118 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510571978 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307857396464 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20154] ppid=20118 vsize=8414124 memory=6084 CPUtime=0 cores=0-7
/proc/20141/task/20154/stat : 20154 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307482892240 140309704898459 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20155] ppid=20118 vsize=8414124 memory=-9104424036104171922 CPUtime=0.05 cores=0-7
/proc/20141/task/20155/stat : 20155 (java) S 20118 20118 18413 0 -1 1077944384 457 0 0 0 5 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308931144432 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20156] ppid=20118 vsize=8414124 memory=64976 CPUtime=0.06 cores=0-7
/proc/20141/task/20156/stat : 20156 (java) S 20118 20118 18413 0 -1 1077944384 375 0 0 0 6 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308930091888 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20157] ppid=20118 vsize=8414124 memory=3028 CPUtime=0.09 cores=0-7
/proc/20141/task/20157/stat : 20157 (java) S 20118 20118 18413 0 -1 1077944384 336 0 0 0 9 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308929038832 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20158] ppid=20118 vsize=8414124 memory=2012 CPUtime=0.22 cores=0-7
/proc/20141/task/20158/stat : 20158 (java) S 20118 20118 18413 0 -1 1077944384 761 0 0 0 22 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308927986288 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20159] ppid=20118 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/20141/task/20159/stat : 20159 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571981 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306984987104 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20160] ppid=20118 vsize=8414124 memory=776 CPUtime=0.09 cores=0-7
/proc/20141/task/20160/stat : 20160 (java) S 20118 20118 18413 0 -1 1077944384 11 0 0 0 8 1 0 0 20 0 24 0 510571981 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308926933680 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20162] ppid=20118 vsize=8414124 memory=3604 CPUtime=0 cores=0-7
/proc/20141/task/20162/stat : 20162 (java) S 20118 20118 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308998714304 140309704904473 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20164] ppid=20118 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/20141/task/20164/stat : 20164 (java) S 20118 20118 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306313887760 140309704901789 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20165] ppid=20118 vsize=8414124 memory=3604 CPUtime=0 cores=0-7
/proc/20141/task/20165/stat : 20165 (java) S 20118 20118 18413 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306582323344 140309704901789 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20172] ppid=20118 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/20141/task/20172/stat : 20172 (java) S 20118 20118 18413 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510572051 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306045459888 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
Current children cumulated CPU time: 1039.07 s
Current children cumulated vsize: 9202336 KiB
Current children cumulated memory: 647624 KiB

[startup+150.001 s]*
/proc/loadavg: 6.04 6.31 6.43 2/219 20191
/proc/meminfo: memFree=28263080/32770624 swapFree=66999256/67108860
[pid=20118] ppid=20115 vsize=113128 memory=1472 CPUtime=11.96 cores=0-7
/proc/20118/stat : 20118 (scop.sh) S 20115 20118 18413 0 -1 4202496 582 32272 0 0 0 0 1163 33 20 0 1 0 510571510 115843072 368 33554432000 4194304 5098028 140732594523856 140732594520600 140641963569788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32157696 140732594524965 140732594525292 140732594525292 140732594528205 0
/proc/20118/statm: 28282 368 311 221 0 87 0
[pid=20141] ppid=20118 vsize=8414124 memory=119460 CPUtime=1.35 cores=0-7
/proc/20141/stat : 20141 (java) S 20118 20118 18413 0 -1 1077944320 21342 0 0 0 126 9 0 0 20 0 24 0 510571974 8616062976 29865 33554432000 4194304 4196468 140722360383200 140722360365744 140309704879863 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
/proc/20141/statm: 2103531 29865 3202 1 0 2064875 0
[pid=20161] ppid=20141 vsize=658692 memory=526676 CPUtime=1026.2 cores=0-7
/proc/20161/stat : 20161 (manyglucose-4.1) S 20141 20118 18413 0 -1 1077944320 723481 0 0 0 102459 161 0 0 20 0 2 0 510572049 674500608 131669 33554432000 4194304 4454172 140733984244144 140733984242528 140060117032695 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 11235328 140733984252777 140733984252976 140733984252976 140733984255930 0
/proc/20161/statm: 164673 131669 419 64 0 160341 0
[pid=20161/tid=20174] ppid=20141 vsize=658692 memory=1560 CPUtime=141.68 cores=0-7
/proc/20161/task/20174/stat : 20174 (manyglucose-4.1) R 20141 20118 18413 0 -1 4202560 95869 0 0 0 14151 17 0 0 20 0 2 0 510572051 674500608 131669 33554432000 4194304 4454172 140733984244144 140060043066504 4351800 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 11235328 140733984252777 140733984252976 140733984252976 140733984255930 0
[pid=20141/tid=20142] ppid=20118 vsize=8414124 memory=1398722017469774279 CPUtime=0.78 cores=0-7
/proc/20141/task/20142/stat : 20142 (java) S 20118 20118 18413 0 -1 1077944384 17987 0 0 0 72 6 0 0 20 0 24 0 510571975 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309676720032 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20143] ppid=20118 vsize=8414124 memory=7235424684527013988 CPUtime=0 cores=0-7
/proc/20141/task/20143/stat : 20143 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309709122064 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20144] ppid=20118 vsize=8414124 memory=6224931691407108712 CPUtime=0 cores=0-7
/proc/20141/task/20144/stat : 20144 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309189708432 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20145] ppid=20118 vsize=8414124 memory=7013902761098568810 CPUtime=0 cores=0-7
/proc/20141/task/20145/stat : 20145 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309188655376 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20146] ppid=20118 vsize=8414124 memory=6224931691407108712 CPUtime=0 cores=0-7
/proc/20141/task/20146/stat : 20146 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309187602832 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20147] ppid=20118 vsize=8414124 memory=7378137969542583120 CPUtime=0 cores=0-7
/proc/20141/task/20147/stat : 20147 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309186550800 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20148] ppid=20118 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/20141/task/20148/stat : 20148 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309185498256 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20149] ppid=20118 vsize=8414124 memory=119460 CPUtime=0 cores=0-7
/proc/20141/task/20149/stat : 20149 (java) S 20118 20118 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309184445200 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20150] ppid=20118 vsize=8414124 memory=526644 CPUtime=0 cores=0-7
/proc/20141/task/20150/stat : 20150 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571976 8616062976 29865 33554432000 4194304 4196468 140722360383200 140309183392656 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20151] ppid=20118 vsize=8414124 memory=7378400804361365861 CPUtime=0 cores=0-7
/proc/20141/task/20151/stat : 20151 (java) S 20118 20118 18413 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510571977 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308999768304 140309704891010 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20152] ppid=20118 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/20141/task/20152/stat : 20152 (java) S 20118 20118 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510571978 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307991618720 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20153] ppid=20118 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/20141/task/20153/stat : 20153 (java) S 20118 20118 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510571978 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307857396464 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20154] ppid=20118 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/20141/task/20154/stat : 20154 (java) S 20118 20118 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140307482892240 140309704898459 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20155] ppid=20118 vsize=8414124 memory=8560 CPUtime=0.05 cores=0-7
/proc/20141/task/20155/stat : 20155 (java) S 20118 20118 18413 0 -1 1077944384 457 0 0 0 5 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308931144432 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20156] ppid=20118 vsize=8414124 memory=1712 CPUtime=0.06 cores=0-7
/proc/20141/task/20156/stat : 20156 (java) S 20118 20118 18413 0 -1 1077944384 375 0 0 0 6 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308930091888 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20157] ppid=20118 vsize=8414124 memory=1112 CPUtime=0.09 cores=0-7
/proc/20141/task/20157/stat : 20157 (java) S 20118 20118 18413 0 -1 1077944384 336 0 0 0 9 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308929038832 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20158] ppid=20118 vsize=8414124 memory=1004 CPUtime=0.22 cores=0-7
/proc/20141/task/20158/stat : 20158 (java) S 20118 20118 18413 0 -1 1077944384 761 0 0 0 22 0 0 0 20 0 24 0 510571980 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308927986288 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20159] ppid=20118 vsize=8414124 memory=6084 CPUtime=0 cores=0-7
/proc/20141/task/20159/stat : 20159 (java) S 20118 20118 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571981 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306984987104 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20160] ppid=20118 vsize=8414124 memory=-9104424036104171922 CPUtime=0.09 cores=0-7
/proc/20141/task/20160/stat : 20160 (java) S 20118 20118 18413 0 -1 1077944384 11 0 0 0 8 1 0 0 20 0 24 0 510571981 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308926933680 140309704891010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20162] ppid=20118 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/20141/task/20162/stat : 20162 (java) S 20118 20118 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140308998714304 140309704904473 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20164] ppid=20118 vsize=8414124 memory=35596 CPUtime=0 cores=0-7
/proc/20141/task/20164/stat : 20164 (java) S 20118 20118 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306313887760 140309704901789 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20165] ppid=20118 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/20141/task/20165/stat : 20165 (java) S 20118 20118 18413 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510572049 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306582323344 140309704901789 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
[pid=20141/tid=20172] ppid=20118 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/20141/task/20172/stat : 20172 (java) S 20118 20118 18413 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510572051 8616062976 29865 33554432000 4194304 4196468 140722360383200 140306045459888 140309704890069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37642240 140722360386551 140722360386710 140722360386710 140722360389583 0
Current children cumulated CPU time: 1039.51 s
Current children cumulated vsize: 9185944 KiB
Current children cumulated memory: 647608 KiB

Child status: 0
Real time (s): 150.077
CPU time (s): 1039.67
CPU user time (s): 1037.58
CPU system time (s): 2.09543
CPU usage (%): 692.757
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1046736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1037.58
system time used= 2.09543
maximum resident set size= 1048212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 779639
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18117
involuntary context switches= 9088


# summary of solver processes directly reported to runsolver:
#   pid: 20118
#   total CPU time (s): 1039.67
#   total CPU user time (s): 1037.58
#   total CPU system time (s): 2.09543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39597 second user time and 2.17379 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 18:38:45
IDJOB=4405278
IDBENCH=134588
IDSOLVER=2867
FILE ID=node103/4405278-1569343184
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-07h-7_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-4405278-1569343184/watcher-4405278-1569343184 -o /tmp/evaluation-result-4405278-1569343184/solver-4405278-1569343184 -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-4405278-1569343184.xml

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

MD5SUM BENCH= 10ee2207fbf9262b8884f336b5729a19
RANDOM SEED=1229534081

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:        28897656 kB
MemAvailable:   31850224 kB
Buffers:           50020 kB
Cached:          3179260 kB
SwapCached:         7000 kB
Active:          3133256 kB
Inactive:         110736 kB
Active(anon):       2928 kB
Inactive(anon):    69352 kB
Active(file):    3130328 kB
Inactive(file):    41384 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             20896 kB
Writeback:             0 kB
AnonPages:        124592 kB
Mapped:            57588 kB
Shmem:             49080 kB
Slab:             222512 kB
SReclaimable:     193384 kB
SUnreclaim:        29128 kB
KernelStack:        3712 kB
PageTables:         5408 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:     79872 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:41:16