Trace number 4392487

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-06-15)UNSAT 958.174 136.355

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-2_X2.xml
MD5SUMbca347db5d1c552995f700e5a754db73
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 benchmark165.879
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-22965-serial-file.bin HOME/instance-4392487-1568436534.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 06:48:15 CEST 2019
0.66/0.56	c PID: 22968
0.66/0.56	c IP: 172.20.3.124
0.66/0.56	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.07/1.12	c (0,0) Parsing End
2.07/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.07/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.13	c (0,0) Constraint Name Generate Begin
2.07/1.14	c (0,0) Ctr:HOME/instance-4392487-1568436534.xml,ExtensionConflict:ExtensionSupport:Var
2.07/1.14	c (0,0) Constraint Name Generate End
2.07/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.14	c (0,0) CSP to CSPinCNF Begin
3.16/1.64	c (1,1) translated 127 (10%) constraints
3.57/1.75	c (1,1) translated 253 (20%) constraints
3.99/1.82	c (1,1) translated 379 (30%) constraints
3.99/1.89	c (1,1) translated 505 (40%) constraints
4.40/1.94	c (1,1) translated 631 (50%) constraints
4.40/2.00	c (1,1) translated 757 (60%) constraints
5.25/2.13	c (1,1) translated 883 (70%) constraints
5.92/2.37	c (1,1) translated 1009 (80%) constraints
6.17/2.59	c (2,2) translated 1135 (90%) constraints
7.08/2.95	c (2,2) translated 1261 (100%) constraints
7.08/2.95	c (2,2) ===========================================
7.08/2.95	c (2,2) Order
7.08/2.95	c (2,2) ===========================================
7.08/2.97	c (2,2) translated 1883 (10%) constraints
7.52/3.02	c (2,2) translated 3765 (20%) constraints
7.52/3.07	c (2,2) translated 5647 (30%) constraints
7.92/3.12	c (2,2) translated 7529 (40%) constraints
7.92/3.17	c (2,2) translated 9411 (50%) constraints
8.28/3.22	c (2,2) translated 11294 (60%) constraints
8.28/3.26	c (2,2) translated 13176 (70%) constraints
8.68/3.31	c (2,2) translated 15058 (80%) constraints
8.68/3.34	c (2,2) translated 16940 (90%) constraints
8.68/3.38	c (2,2) translated 18822 (100%) constraints
8.68/3.38	c (2,2) CSP to CSPinCNF End
8.68/3.38	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.68/3.38	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.68/3.38	c (2,2) CSPinCNF Propagation Begin
10.12/3.73	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.12/3.73	c (3,3) CSPinCNF Propagation End
10.12/3.73	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.12/3.73	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.12/3.73	c (3,3) Simplify CSPinCNF Begin
10.12/3.79	c (3,3) Simplify CSPinCNF End
10.12/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.12/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.12/3.79	c (3,3) Calculate Precise Domain Begin
10.12/3.79	c (3,3) 0 values are removed by re-calculation
10.12/3.79	c (3,3) Calculate Precise Domain End
10.12/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.12/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.12/3.79	c (3,3) CSPinCNF to SatSolver Begin
10.70/3.94	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.70/3.99	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.12/4.04	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.12/4.08	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.12/4.10	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.52/4.12	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.52/4.14	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.52/4.15	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.52/4.17	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.52/4.18	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.52/4.18	c (3,3) CSPinCNF to SatSolver End
11.52/4.18	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.52/4.18	c (3,3) 2482 bool, 15697 clause
11.52/4.18	c (3,3) Export Begin
11.69/4.28	c (3,3) Export to HOME/scop-22965-serial-file.bin
11.69/4.28	c (3,3) Export End
11.69/4.28	c (3,3) Export File Size: 0.02 MB
11.69/4.28	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.69/4.28	c END-Prog: Sat Sep 14 06:48:19 CEST 2019
0.00/4.31	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22965-serial-file.bin
11.86/4.76	c (0,0) Read Serial File Begin
11.86/4.76	c (0,0) HOME/scop-22965-serial-file.bin
11.86/4.99	c (0,0) Read Serial File End
11.86/5.00	
11.86/5.00	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
11.86/5.00	(Solving Process)
11.86/5.00	
12.84/5.02	c BEGIN-Prog: Sat Sep 14 06:48:19 CEST 2019
12.84/5.02	c PID: 22988
12.84/5.02	c IP: 172.20.3.124
12.84/5.02	c HOST: node124.alineos.net
12.84/5.03	c (0,0) SatSolver.solve Begin
12.84/5.03	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392487-1568436534.xml-scop-22968.cnf
12.84/5.05	c (0,0) c
12.84/5.05	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.84/5.05	c (0,0) c
12.84/5.05	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.84/5.05	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.84/5.05	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.84/5.05	c (0,0) c |                                                                                                       |
12.84/5.06	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.84/5.06	c (0,0) c |  Number of variables:          2480                                                                   |
12.84/5.06	c (0,0) c |  Number of clauses:           15697                                                                   |
12.84/5.06	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.84/5.06	c (0,0) c |                                                                                                       |
12.84/5.06	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.84/5.06	c (0,0) c |                                                                                                       |
12.84/5.06	c (0,0) c |  Generating clones                                                                                    |
12.84/5.07	c (0,0) c |  all clones generated. Memory =    32.05Mb.                                                           |
12.84/5.07	c (0,0) c ========================================================================================================|
12.84/5.07	c (0,0) c
12.84/5.07	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.84/5.07	c (0,0) c
12.84/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.84/5.07	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.84/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.84/5.07	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.84/5.07	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.84/5.07	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.84/5.07	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.84/5.07	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.84/5.07	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.84/5.07	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.84/5.07	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.84/5.07	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.84/5.07	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.84/5.07	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.84/5.07	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.84/5.07	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.84/5.07	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.84/5.07	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.84/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
232.05/35.04	c (30,0) c
232.05/35.04	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
232.05/35.04	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
232.05/35.04	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
232.05/35.04	c (30,0) c |  0 |    339 |     545515 |     296415 |     9404 |    65030 |    47432 |   299977 |    15918 |      295 |  20 |  0.847 |
232.05/35.04	c (30,0) c |  1 |    266 |     539267 |     288627 |     8754 |    57245 |    44227 |   311746 |    12364 |      315 |  20 |  0.848 |
232.05/35.04	c (30,0) c |  2 |    412 |     510687 |     290621 |     9362 |    59231 |    42443 |   308207 |    15992 |      298 |  20 |  0.847 |
232.05/35.04	c (30,0) c |  3 |    297 |     547448 |     294886 |     8762 |    63496 |    46096 |   309866 |    13142 |      315 |  20 |  0.847 |
232.05/35.04	c (30,0) c |  4 |    413 |     587651 |     316409 |     9471 |    49220 |    48777 |   313613 |    16131 |      315 |  20 |  0.848 |
232.05/35.04	c (30,0) c |  5 |    377 |     569462 |     310358 |     9473 |    43176 |    46385 |   312019 |    16408 |      311 |  20 |  0.847 |
232.05/35.04	c (30,0) c |  6 |    318 |     551295 |     299717 |     9420 |    68330 |    48278 |   312546 |    16915 |      315 |  20 |  0.847 |
232.05/35.04	c (30,0) c |  7 |    524 |     581857 |     316700 |     9555 |    49511 |    45702 |   316462 |    17049 |      315 |  20 |  0.847 |
232.05/35.04	c (30,0) c 
232.05/35.04	c (30,0) c synthesis     2413734 conflicts   181253474 propagations    11040 conflicts/sec   829040 propagations/sec
232.05/35.04	c (30,0) c real: 29.9837 s, cpu: 218.63 s, memory: 631.05 Mb
434.93/64.03	c (59,0) c
434.93/64.03	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
434.93/64.03	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
434.93/64.03	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
434.93/64.03	c (59,0) c |  0 |    397 |     890258 |     474199 |     9467 |    84022 |    66429 |   420054 |    27292 |      564 |  20 |  0.847 |
434.93/64.03	c (59,0) c |  1 |    379 |     847685 |     449018 |     9290 |    58825 |    59362 |   431938 |    26176 |      573 |  20 |  0.847 |
434.93/64.03	c (59,0) c |  2 |    476 |     830126 |     463437 |     9410 |    73252 |    61707 |   421183 |    26302 |      572 |  20 |  0.848 |
434.93/64.03	c (59,0) c |  3 |    429 |     863010 |     459038 |     9329 |    68850 |    60900 |   429012 |    29650 |      573 |  20 |  0.848 |
434.93/64.03	c (59,0) c |  4 |    529 |     898101 |     477816 |     9500 |    87629 |    64407 |   427968 |    28298 |      573 |  20 |  0.848 |
434.93/64.03	c (59,0) c |  5 |    468 |     855746 |     462072 |     9509 |    71889 |    62262 |   416827 |    26338 |      553 |  20 |  0.847 |
434.93/64.03	c (59,0) c |  6 |    442 |     875635 |     466864 |     9488 |    76673 |    63668 |   417261 |    29244 |      573 |  20 |  0.848 |
434.93/64.03	c (59,0) c |  7 |    631 |     896751 |     479810 |     9583 |    89628 |    60335 |   429235 |    28472 |      573 |  20 |  0.848 |
434.93/64.03	c (59,0) c 
434.93/64.03	c (59,0) c synthesis     3732256 conflicts   277848516 propagations     8863 conflicts/sec   659834 propagations/sec
434.93/64.03	c (59,0) c real: 58.9834 s, cpu: 421.089 s, memory: 666.79 Mb
642.07/93.04	c (88,0) c
642.07/93.04	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
642.07/93.04	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
642.07/93.04	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
642.07/93.04	c (88,0) c |  0 |    447 |    1188261 |     625094 |     9487 |    88512 |    81678 |   516604 |    37736 |      846 |  20 |  0.847 |
642.07/93.04	c (88,0) c |  1 |    526 |    1142154 |     596407 |     9355 |    59816 |    74487 |   516438 |    37680 |      848 |  20 |  0.847 |
642.07/93.04	c (88,0) c |  2 |    511 |    1101685 |     603023 |     9440 |    66433 |    74084 |   519777 |    37118 |      839 |  20 |  0.848 |
642.07/93.04	c (88,0) c |  3 |    576 |    1137175 |     598886 |     9361 |    62294 |    72413 |   529873 |    40629 |      848 |  20 |  0.847 |
642.07/93.04	c (88,0) c |  4 |    635 |    1200008 |     626928 |     9512 |    90344 |    79554 |   522891 |    38696 |      848 |  20 |  0.848 |
642.07/93.04	c (88,0) c |  5 |    545 |    1147648 |     609938 |     9534 |    73353 |    75013 |   520875 |    37792 |      828 |  20 |  0.848 |
642.07/93.04	c (88,0) c |  6 |    558 |    1152756 |     609742 |     9510 |    73152 |    75225 |   527220 |    39522 |      848 |  20 |  0.847 |
642.07/93.04	c (88,0) c |  7 |    694 |    1178151 |     622445 |     9595 |    85859 |    75466 |   526475 |    40011 |      847 |  20 |  0.847 |
642.07/93.04	c (88,0) c 
642.07/93.04	c (88,0) c synthesis     4892464 conflicts   364045145 propagations     7788 conflicts/sec   579465 propagations/sec
642.07/93.04	c (88,0) c real: 87.9833 s, cpu: 628.244 s, memory: 778.73 Mb
853.18/122.03	c (117,0) c
853.18/122.03	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
853.18/122.03	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
853.18/122.03	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
853.18/122.03	c (117,0) c |  0 |    509 |    1440245 |     749015 |     9500 |    98015 |    93913 |   592347 |    47340 |     1103 |  20 |  0.927 |
853.18/122.03	c (117,0) c |  1 |    594 |    1378073 |     714411 |     9377 |    64874 |    85720 |   601252 |    49067 |     1103 |  20 |  0.927 |
853.18/122.03	c (117,0) c |  2 |    546 |    1324844 |     718241 |     9454 |    65102 |    83661 |   595620 |    46746 |     1085 |  20 |  0.928 |
853.18/122.03	c (117,0) c |  3 |    649 |    1382357 |     719414 |     9385 |    71365 |    83692 |   602121 |    49717 |     1103 |  20 |  0.927 |
853.18/122.03	c (117,0) c |  4 |    718 |    1424581 |     740904 |     9519 |    91032 |    89593 |   594432 |    47549 |     1103 |  20 |  0.928 |
853.18/122.03	c (117,0) c |  5 |    617 |    1404947 |     738441 |     9547 |    88356 |    85478 |   601359 |    46247 |     1103 |  20 |  0.927 |
853.18/122.03	c (117,0) c |  6 |    615 |    1364728 |     716404 |     9523 |    67122 |    85967 |   592010 |    48072 |     1083 |  20 |  0.927 |
853.18/122.03	c (117,0) c |  7 |    751 |    1417692 |     740169 |     9607 |    90853 |    82823 |   604167 |    49793 |     1103 |  20 |  0.927 |
853.18/122.03	c (117,0) c 
853.18/122.03	c (117,0) c synthesis     5836999 conflicts   435683765 propagations     6955 conflicts/sec   519149 propagations/sec
853.18/122.03	c (117,0) c real: 116.983 s, cpu: 839.227 s, memory: 744.36 Mb
957.93/136.30	c (131,0) c
957.93/136.30	c (131,0) c real time : 131.248 s
957.93/136.30	c (131,0) c cpu time  : 943.858 s
957.93/136.30	c (131,0) c
957.93/136.30	c (131,0) c
957.93/136.30	c (131,0) c
957.93/136.30	c (131,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
957.93/136.30	c (131,0) c
957.93/136.30	c (131,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
957.93/136.30	c (131,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
957.93/136.30	c (131,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
957.93/136.30	c (131,0) c | Conflicts     |         6185462 |     792761 |     755777 |     765107 |     759275 |     784441 |     779633 |     765555 |     782913 |
957.93/136.30	c (131,0) c | Decisions     |        11823002 |    1525794 |    1460334 |    1411460 |    1461884 |    1510586 |    1486926 |    1462287 |    1503731 |
957.93/136.30	c (131,0) c | Propagations  |       463069776 |   59251027 |   56962414 |   57388342 |   56962140 |   58298745 |   58122782 |   57719188 |   58365138 |
957.93/136.30	c (131,0) c | ReduceDBs     |             188 |         24 |         23 |         23 |         23 |         24 |         24 |         23 |         24 |
957.93/136.30	c (131,0) c | SimpDBs       |              89 |         11 |         11 |          9 |         12 |         11 |         11 |         11 |         13 |
957.93/136.30	c (131,0) c | Restarts      |            5148 |        517 |        629 |        558 |        664 |        743 |        634 |        644 |        759 |
957.93/136.30	c (131,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
957.93/136.30	c (131,0) c | PropBinClauses|       979556227 |  124004768 |  121713429 |  125262421 |  120708853 |  120530018 |  121679584 |  123469171 |  122187983 |
957.93/136.30	c (131,0) c | PropPreBlocker|     32981566487 | 4140121052 | 4109629826 | 4012308441 | 4178821576 | 4121792182 | 4133493876 | 4148409722 | 4136989812 |
957.93/136.30	c (131,0) c | PropNotBlocker|      5410591974 |  667701854 |  672009347 |  704065742 |  660370844 |  678384280 |  676895048 |  669855972 |  681308887 |
957.93/136.30	c (131,0) c | LitFullScans  |     58219092672 | 7274004284 | 7275019480 | 7273063423 | 7273804806 | 7291378802 | 7273379118 | 7273622233 | 7284820526 |
957.93/136.30	c (131,0) c | LitScanFracts |        11711203 |    1997985 |    1339261 |    1023795 |    1797855 |    1362703 |    1365531 |    1617381 |    1206692 |
957.93/136.30	c (131,0) c | DecisionLevel0|            5247 |        529 |        645 |        569 |        673 |        756 |        644 |        655 |        776 |
957.93/136.30	c (131,0) c | Periods       |            9700 |       1212 |       1212 |       1212 |       1212 |       1215 |       1212 |       1212 |       1213 |
957.93/136.30	c (131,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
957.93/136.30	c (131,0) c | Avg_Trail     |                 |        633 |        629 |        626 |        630 |        636 |        636 |        630 |        635 |
957.93/136.30	c (131,0) c | Avg_DL        |                 |         22 |         20 |         22 |         21 |         22 |         22 |         21 |         22 |
957.93/136.30	c (131,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
957.93/136.30	c (131,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
957.93/136.30	c (131,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
957.93/136.30	c (131,0) c | Exported      |          720716 |      98898 |      89116 |      87602 |      86840 |      93432 |      88767 |      89601 |      86460 |
957.93/136.30	c (131,0) c | Imported      |         4983833 |     616235 |     625922 |     615390 |     627095 |     622401 |     623715 |     623860 |     629215 |
957.93/136.30	c (131,0) c | Good          |           14217 |       1783 |       1797 |       1744 |       1821 |       1760 |       1792 |       1788 |       1732 |
957.93/136.30	c (131,0) c | Purge         |         4969616 |     614452 |     624125 |     613646 |     625274 |     620641 |     621923 |     622072 |     627483 |
957.93/136.30	c (131,0) c | Promoted      |          417185 |      51022 |      52879 |      51411 |      53631 |      51544 |      50022 |      52740 |      53936 |
957.93/136.30	c (131,0) c | Remove_Imp    |         3882794 |     481673 |     481073 |     482698 |     476767 |     494705 |     496023 |     472271 |     497584 |
957.93/136.30	c (131,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
957.93/136.30	c (131,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
957.93/136.30	c (131,0) c | Unaries       |                 |         12 |         16 |         11 |          9 |         13 |         10 |         11 |         17 |
957.93/136.30	c (131,0) c | Binaries      |                 |        270 |        254 |        241 |        223 |        300 |        249 |        252 |        327 |
957.93/136.30	c (131,0) c | Glues         |                 |       1019 |        921 |        976 |        900 |       1112 |       1025 |       1010 |       1189 |
957.93/136.30	c (131,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
957.93/136.30	c (131,0) c | Orig_Seen     |            87 % |       9501 |       9380 |       9458 |       9389 |       9527 |       9549 |       9526 |       9614 |
957.93/136.30	c (131,0) c | Diff Orig seen|                 |        121 |      X     |         78 |          9 |        147 |        169 |        146 |        234 |
957.93/136.30	c (131,0) c | Hamming       |            11 % |        305 |      X     |        247 |        310 |        271 |        238 |        268 |        285 |
957.93/136.30	c (131,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
957.93/136.30	c (131,0) c | RunningTime   |                 |  126.8  97%|  109.9  84%|  129.1  99%|  106.4  81%|  105.6  81%|  127.0  97%|  121.1  92%|  118.6  91%|
957.93/136.30	c (131,0) c | WaitingTime   |                 |    3.6   3%|   20.2  15%|    1.3   1%|   23.9  18%|   24.4  19%|    3.7   3%|    9.7   7%|   11.4   9%|
957.93/136.30	c (131,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
957.93/136.30	c (131,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%|
957.93/136.30	c (131,0) c | SolvingTime   |                 |  130.7     |  130.5     |  130.7     |  130.7     |  130.3     |  131.0     |  131.2     |  130.3     |
957.93/136.30	c (131,0) c | PropagationTim|                 |   92.8  71%|  109.6  84%|   85.4  65%|  117.4  90%|  114.4  88%|   88.9  68%|   92.5  71%|   90.9  70%|
957.93/136.30	c (131,0) c | AnalysisTime  |                 |   34.4  26%|   17.6  13%|   42.2  32%|    9.9   8%|   12.4  10%|   38.8  30%|   35.5  27%|   36.0  28%|
957.93/136.30	c (131,0) c | ReductionTime |                 |    1.4   1%|    1.2   1%|    1.1   1%|    1.3   1%|    1.4   1%|    1.3   1%|    1.1   1%|    1.3   1%|
957.93/136.30	c (131,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|
957.93/136.30	c (131,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%|
957.93/136.30	c (131,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%|
957.93/136.30	c (131,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
957.93/136.30	c (131,0) c
957.93/136.30	c (131,0) c
957.93/136.30	c (131,0) c Threads : 8
957.93/136.30	c (131,0) c Winner : 1
957.93/136.30	c (131,0) c Conflicts_0 : 792761
957.93/136.30	c (131,0) c Conflicts_1 : 755777
957.93/136.30	c (131,0) c Conflicts_2 : 765107
957.93/136.30	c (131,0) c Conflicts_3 : 759275
957.93/136.30	c (131,0) c Conflicts_4 : 784441
957.93/136.30	c (131,0) c Conflicts_5 : 779633
957.93/136.30	c (131,0) c Conflicts_6 : 765555
957.93/136.30	c (131,0) c Conflicts_7 : 782913
957.93/136.30	c (131,0) c Conflicts_total : 6185462
957.93/136.30	c (131,0) c Conflicts_winner : 755777
957.93/136.30	c (131,0) c Decisions_0 : 1525794
957.93/136.30	c (131,0) c Decisions_1 : 1460334
957.93/136.30	c (131,0) c Decisions_2 : 1411460
957.93/136.30	c (131,0) c Decisions_3 : 1461884
957.93/136.30	c (131,0) c Decisions_4 : 1510586
957.93/136.30	c (131,0) c Decisions_5 : 1486926
957.93/136.30	c (131,0) c Decisions_6 : 1462287
957.93/136.30	c (131,0) c Decisions_7 : 1503731
957.93/136.30	c (131,0) c Decisions_total : 11823002
957.93/136.30	c (131,0) c Decisions_winner : 1460334
957.93/136.30	c (131,0) c Propagations_0 : 59251027
957.93/136.30	c (131,0) c Propagations_1 : 56962414
957.93/136.30	c (131,0) c Propagations_2 : 57388342
957.93/136.30	c (131,0) c Propagations_3 : 56962140
957.93/136.30	c (131,0) c Propagations_4 : 58298745
957.93/136.30	c (131,0) c Propagations_5 : 58122782
957.93/136.30	c (131,0) c Propagations_6 : 57719188
957.93/136.30	c (131,0) c Propagations_7 : 58365138
957.93/136.30	c (131,0) c Propagations_total : 463069776
957.93/136.30	c (131,0) c Propagations_winner : 56962414
957.93/136.30	c (131,0) c ReduceDBs_0 : 24
957.93/136.30	c (131,0) c ReduceDBs_1 : 23
957.93/136.30	c (131,0) c ReduceDBs_2 : 23
957.93/136.30	c (131,0) c ReduceDBs_3 : 23
957.93/136.30	c (131,0) c ReduceDBs_4 : 24
957.93/136.30	c (131,0) c ReduceDBs_5 : 24
957.93/136.30	c (131,0) c ReduceDBs_6 : 23
957.93/136.30	c (131,0) c ReduceDBs_7 : 24
957.93/136.30	c (131,0) c ReduceDBs_total : 188
957.93/136.30	c (131,0) c ReduceDBs_winner : 23
957.93/136.30	c (131,0) c SimpDBs_0 : 11
957.93/136.30	c (131,0) c SimpDBs_1 : 11
957.93/136.30	c (131,0) c SimpDBs_2 : 9
957.93/136.30	c (131,0) c SimpDBs_3 : 12
957.93/136.30	c (131,0) c SimpDBs_4 : 11
957.93/136.30	c (131,0) c SimpDBs_5 : 11
957.93/136.30	c (131,0) c SimpDBs_6 : 11
957.93/136.30	c (131,0) c SimpDBs_7 : 13
957.93/136.30	c (131,0) c SimpDBs_total : 89
957.93/136.30	c (131,0) c SimpDBs_winner : 11
957.93/136.30	c (131,0) c Restarts_0 : 517
957.93/136.30	c (131,0) c Restarts_1 : 629
957.93/136.30	c (131,0) c Restarts_2 : 558
957.93/136.30	c (131,0) c Restarts_3 : 664
957.93/136.30	c (131,0) c Restarts_4 : 743
957.93/136.30	c (131,0) c Restarts_5 : 634
957.93/136.30	c (131,0) c Restarts_6 : 644
957.93/136.30	c (131,0) c Restarts_7 : 759
957.93/136.30	c (131,0) c Restarts_total : 5148
957.93/136.30	c (131,0) c Restarts_winner : 629
957.93/136.30	c (131,0) c ForcedImports_0 : 0
957.93/136.30	c (131,0) c ForcedImports_1 : 0
957.93/136.30	c (131,0) c ForcedImports_2 : 0
957.93/136.30	c (131,0) c ForcedImports_3 : 0
957.93/136.30	c (131,0) c ForcedImports_4 : 0
957.93/136.30	c (131,0) c ForcedImports_5 : 0
957.93/136.30	c (131,0) c ForcedImports_6 : 0
957.93/136.30	c (131,0) c ForcedImports_7 : 0
957.93/136.30	c (131,0) c ForcedImports_total : 0
957.93/136.30	c (131,0) c ForcedImports_winner : 0
957.93/136.30	c (131,0) c PropsBinClauses_0 : 124004768
957.93/136.30	c (131,0) c PropsBinClauses_1 : 121713429
957.93/136.30	c (131,0) c PropsBinClauses_2 : 125262421
957.93/136.30	c (131,0) c PropsBinClauses_3 : 120708853
957.93/136.30	c (131,0) c PropsBinClauses_4 : 120530018
957.93/136.30	c (131,0) c PropsBinClauses_5 : 121679584
957.93/136.30	c (131,0) c PropsBinClauses_6 : 123469171
957.93/136.30	c (131,0) c PropsBinClauses_7 : 122187983
957.93/136.30	c (131,0) c PropsBinClauses_total : 979556227
957.93/136.30	c (131,0) c PropsBinClauses_winner : 121713429
957.93/136.30	c (131,0) c PropsPreBlocker_0 : 4140121052
957.93/136.30	c (131,0) c PropsPreBlocker_1 : 4109629826
957.93/136.30	c (131,0) c PropsPreBlocker_2 : 4012308441
957.93/136.30	c (131,0) c PropsPreBlocker_3 : 4178821576
957.93/136.30	c (131,0) c PropsPreBlocker_4 : 4121792182
957.93/136.30	c (131,0) c PropsPreBlocker_5 : 4133493876
957.93/136.30	c (131,0) c PropsPreBlocker_6 : 4148409722
957.93/136.30	c (131,0) c PropsPreBlocker_7 : 4136989812
957.93/136.31	c (131,0) c PropsPreBlocker_total : 32981566487
957.93/136.31	c (131,0) c PropsPreBlocker_winner : 4109629826
957.93/136.31	c (131,0) c PropsNotBlocker_0 : 667701854
957.93/136.31	c (131,0) c PropsNotBlocker_1 : 672009347
957.93/136.31	c (131,0) c PropsNotBlocker_2 : 704065742
957.93/136.31	c (131,0) c PropsNotBlocker_3 : 660370844
957.93/136.31	c (131,0) c PropsNotBlocker_4 : 678384280
957.93/136.31	c (131,0) c PropsNotBlocker_5 : 676895048
957.93/136.31	c (131,0) c PropsNotBlocker_6 : 669855972
957.93/136.31	c (131,0) c PropsNotBlocker_7 : 681308887
957.93/136.31	c (131,0) c PropsNotBlocker_total : 5410591974
957.93/136.31	c (131,0) c PropsNotBlocker_winner : 672009347
957.93/136.31	c (131,0) c PropsLitFullScans_0 : 7274004284
957.93/136.31	c (131,0) c PropsLitFullScans_1 : 7275019480
957.93/136.31	c (131,0) c PropsLitFullScans_2 : 7273063423
957.93/136.31	c (131,0) c PropsLitFullScans_3 : 7273804806
957.93/136.31	c (131,0) c PropsLitFullScans_4 : 7291378802
957.93/136.31	c (131,0) c PropsLitFullScans_5 : 7273379118
957.93/136.31	c (131,0) c PropsLitFullScans_6 : 7273622233
957.93/136.31	c (131,0) c PropsLitFullScans_7 : 7284820526
957.93/136.31	c (131,0) c PropsLitFullScans_total : 58219092672
957.93/136.31	c (131,0) c PropsLitFullScans_winner : 7275019480
957.93/136.31	c (131,0) c LitScanFractions_0 : 1997985
957.93/136.31	c (131,0) c LitScanFractions_1 : 1339261
957.93/136.31	c (131,0) c LitScanFractions_2 : 1023795
957.93/136.31	c (131,0) c LitScanFractions_3 : 1797855
957.93/136.31	c (131,0) c LitScanFractions_4 : 1362703
957.93/136.31	c (131,0) c LitScanFractions_5 : 1365531
957.93/136.31	c (131,0) c LitScanFractions_6 : 1617381
957.93/136.31	c (131,0) c LitScanFractions_7 : 1206692
957.93/136.31	c (131,0) c LitScanFractions_total : 11711203
957.93/136.31	c (131,0) c LitScanFractions_winner : 1339261
957.93/136.31	c (131,0) c DecisionLevel0_0 : 529
957.93/136.31	c (131,0) c DecisionLevel0_1 : 645
957.93/136.31	c (131,0) c DecisionLevel0_2 : 569
957.93/136.31	c (131,0) c DecisionLevel0_3 : 673
957.93/136.31	c (131,0) c DecisionLevel0_4 : 756
957.93/136.31	c (131,0) c DecisionLevel0_5 : 644
957.93/136.31	c (131,0) c DecisionLevel0_6 : 655
957.93/136.31	c (131,0) c DecisionLevel0_7 : 776
957.93/136.31	c (131,0) c DecisionLevel0_total : 5247
957.93/136.31	c (131,0) c DecisionLevel0_winner : 645
957.93/136.31	c (131,0) c Periods_0 : 1212
957.93/136.31	c (131,0) c Periods_1 : 1212
957.93/136.31	c (131,0) c Periods_2 : 1212
957.93/136.31	c (131,0) c Periods_3 : 1212
957.93/136.31	c (131,0) c Periods_4 : 1215
957.93/136.31	c (131,0) c Periods_5 : 1212
957.93/136.31	c (131,0) c Periods_6 : 1212
957.93/136.31	c (131,0) c Periods_7 : 1213
957.93/136.31	c (131,0) c Periods_total : 9700
957.93/136.31	c (131,0) c Periods_winner : 1212
957.93/136.31	c (131,0) c Margin_0 : 20
957.93/136.31	c (131,0) c Margin_1 : 20
957.93/136.31	c (131,0) c Margin_2 : 20
957.93/136.31	c (131,0) c Margin_3 : 20
957.93/136.31	c (131,0) c Margin_4 : 20
957.93/136.31	c (131,0) c Margin_5 : 20
957.93/136.31	c (131,0) c Margin_6 : 20
957.93/136.31	c (131,0) c Margin_7 : 20
957.93/136.31	c (131,0) c Margin_total : 160
957.93/136.31	c (131,0) c Margin_winner : 20
957.93/136.31	c (131,0) c Exported_0 : 98898
957.93/136.31	c (131,0) c Exported_1 : 89116
957.93/136.31	c (131,0) c Exported_2 : 87602
957.93/136.31	c (131,0) c Exported_3 : 86840
957.93/136.31	c (131,0) c Exported_4 : 93432
957.93/136.31	c (131,0) c Exported_5 : 88767
957.93/136.31	c (131,0) c Exported_6 : 89601
957.93/136.31	c (131,0) c Exported_7 : 86460
957.93/136.31	c (131,0) c Exported_total : 720716
957.93/136.31	c (131,0) c Exported_winner : 89116
957.93/136.31	c (131,0) c Imported_0 : 616235
957.93/136.31	c (131,0) c Imported_1 : 625922
957.93/136.31	c (131,0) c Imported_2 : 615390
957.93/136.31	c (131,0) c Imported_3 : 627095
957.93/136.31	c (131,0) c Imported_4 : 622401
957.93/136.31	c (131,0) c Imported_5 : 623715
957.93/136.31	c (131,0) c Imported_6 : 623860
957.93/136.31	c (131,0) c Imported_7 : 629215
957.93/136.31	c (131,0) c Imported_total : 4983833
957.93/136.31	c (131,0) c Imported_winner : 625922
957.93/136.31	c (131,0) c Good_0 : 1783
957.93/136.31	c (131,0) c Good_1 : 1797
957.93/136.31	c (131,0) c Good_2 : 1744
957.93/136.31	c (131,0) c Good_3 : 1821
957.93/136.31	c (131,0) c Good_4 : 1760
957.93/136.31	c (131,0) c Good_5 : 1792
957.93/136.31	c (131,0) c Good_6 : 1788
957.93/136.31	c (131,0) c Good_7 : 1732
957.93/136.31	c (131,0) c Good_total : 14217
957.93/136.31	c (131,0) c Good_winner : 1797
957.93/136.31	c (131,0) c Purge_0 : 614452
957.93/136.31	c (131,0) c Purge_1 : 624125
957.93/136.31	c (131,0) c Purge_2 : 613646
957.93/136.31	c (131,0) c Purge_3 : 625274
957.93/136.31	c (131,0) c Purge_4 : 620641
957.93/136.31	c (131,0) c Purge_5 : 621923
957.93/136.31	c (131,0) c Purge_6 : 622072
957.93/136.31	c (131,0) c Purge_7 : 627483
957.93/136.31	c (131,0) c Purge_total : 4969616
957.93/136.31	c (131,0) c Purge_winner : 624125
957.93/136.31	c (131,0) c Promoted_0 : 51022
957.93/136.31	c (131,0) c Promoted_1 : 52879
957.93/136.31	c (131,0) c Promoted_2 : 51411
957.93/136.31	c (131,0) c Promoted_3 : 53631
957.93/136.31	c (131,0) c Promoted_4 : 51544
957.93/136.31	c (131,0) c Promoted_5 : 50022
957.93/136.31	c (131,0) c Promoted_6 : 52740
957.93/136.31	c (131,0) c Promoted_7 : 53936
957.93/136.31	c (131,0) c Promoted_total : 417185
957.93/136.31	c (131,0) c Promoted_winner : 52879
957.93/136.31	c (131,0) c Remove_Imp_0 : 481673
957.93/136.31	c (131,0) c Remove_Imp_1 : 481073
957.93/136.31	c (131,0) c Remove_Imp_2 : 482698
957.93/136.31	c (131,0) c Remove_Imp_3 : 476767
957.93/136.31	c (131,0) c Remove_Imp_4 : 494705
957.93/136.31	c (131,0) c Remove_Imp_5 : 496023
957.93/136.31	c (131,0) c Remove_Imp_6 : 472271
957.93/136.31	c (131,0) c Remove_Imp_7 : 497584
957.93/136.31	c (131,0) c Remove_Imp_total : 3882794
957.93/136.31	c (131,0) c Remove_Imp_winner : 481073
957.93/136.31	c (131,0) c Blocked_Reuse_0 : 0
957.93/136.31	c (131,0) c Blocked_Reuse_1 : 0
957.93/136.31	c (131,0) c Blocked_Reuse_2 : 0
957.93/136.31	c (131,0) c Blocked_Reuse_3 : 0
957.93/136.31	c (131,0) c Blocked_Reuse_4 : 0
957.93/136.31	c (131,0) c Blocked_Reuse_5 : 0
957.93/136.31	c (131,0) c Blocked_Reuse_6 : 0
957.93/136.31	c (131,0) c Blocked_Reuse_7 : 0
957.93/136.31	c (131,0) c Blocked_Reuse_total : 0
957.93/136.31	c (131,0) c Blocked_Reuse_winner : 0
957.93/136.31	c (131,0) c Unaries_0 : 12
957.93/136.31	c (131,0) c Unaries_1 : 16
957.93/136.31	c (131,0) c Unaries_2 : 11
957.93/136.31	c (131,0) c Unaries_3 : 9
957.93/136.31	c (131,0) c Unaries_4 : 13
957.93/136.31	c (131,0) c Unaries_5 : 10
957.93/136.31	c (131,0) c Unaries_6 : 11
957.93/136.31	c (131,0) c Unaries_7 : 17
957.93/136.31	c (131,0) c Unaries_total : 99
957.93/136.31	c (131,0) c Unaries_winner : 16
957.93/136.31	c (131,0) c Binaries_0 : 270
957.93/136.31	c (131,0) c Binaries_1 : 254
957.93/136.31	c (131,0) c Binaries_2 : 241
957.93/136.31	c (131,0) c Binaries_3 : 223
957.93/136.31	c (131,0) c Binaries_4 : 300
957.93/136.31	c (131,0) c Binaries_5 : 249
957.93/136.31	c (131,0) c Binaries_6 : 252
957.93/136.31	c (131,0) c Binaries_7 : 327
957.93/136.31	c (131,0) c Binaries_total : 2116
957.93/136.31	c (131,0) c Binaries_winner : 254
957.93/136.31	c (131,0) c Glues_0 : 1019
957.93/136.31	c (131,0) c Glues_1 : 921
957.93/136.31	c (131,0) c Glues_2 : 976
957.93/136.31	c (131,0) c Glues_3 : 900
957.93/136.31	c (131,0) c Glues_4 : 1112
957.93/136.31	c (131,0) c Glues_5 : 1025
957.93/136.31	c (131,0) c Glues_6 : 1010
957.93/136.31	c (131,0) c Glues_7 : 1189
957.93/136.31	c (131,0) c Glues_total : 8152
957.93/136.31	c (131,0) c Glues_winner : 921
957.93/136.31	c (131,0) c RunningTime_0 : 126.794518
957.93/136.31	c (131,0) c RunningTime_1 : 109.943167
957.93/136.31	c (131,0) c RunningTime_2 : 129.111974
957.93/136.31	c (131,0) c RunningTime_3 : 106.440434
957.93/136.31	c (131,0) c RunningTime_4 : 105.565461
957.93/136.31	c (131,0) c RunningTime_5 : 127.013512
957.93/136.31	c (131,0) c RunningTime_6 : 121.145892
957.93/136.31	c (131,0) c RunningTime_7 : 118.579933
957.93/136.31	c (131,0) c RunningTime_total : 944.594890
957.93/136.31	c (131,0) c RunningTime_winner : 109.943167
957.93/136.31	c (131,0) c WaitingTime_0 : 3.556007
957.93/136.31	c (131,0) c WaitingTime_1 : 20.181652
957.93/136.31	c (131,0) c WaitingTime_2 : 1.257426
957.93/136.31	c (131,0) c WaitingTime_3 : 23.903942
957.93/136.31	c (131,0) c WaitingTime_4 : 24.414479
957.93/136.31	c (131,0) c WaitingTime_5 : 3.685916
957.93/136.31	c (131,0) c WaitingTime_6 : 9.680331
957.93/136.31	c (131,0) c WaitingTime_7 : 11.357525
957.93/136.31	c (131,0) c WaitingTime_total : 98.037278
957.93/136.31	c (131,0) c WaitingTime_winner : 20.181652
957.93/136.31	c (131,0) c ExchangingTime_0 : 0.296367
957.93/136.31	c (131,0) c ExchangingTime_1 : 0.340541
957.93/136.31	c (131,0) c ExchangingTime_2 : 0.308093
957.93/136.31	c (131,0) c ExchangingTime_3 : 0.370041
957.93/136.31	c (131,0) c ExchangingTime_4 : 0.318998
957.93/136.31	c (131,0) c ExchangingTime_5 : 0.323692
957.93/136.31	c (131,0) c ExchangingTime_6 : 0.314938
957.93/136.31	c (131,0) c ExchangingTime_7 : 0.322568
957.93/136.31	c (131,0) c ExchangingTime_total : 2.595238
957.93/136.31	c (131,0) c ExchangingTime_winner : 0.340541
957.93/136.31	c (131,0) c PeriodProcTime_0 : 0.012902
957.93/136.31	c (131,0) c PeriodProcTime_1 : 0.010456
957.93/136.31	c (131,0) c PeriodProcTime_2 : 0.012252
957.93/136.31	c (131,0) c PeriodProcTime_3 : 0.011292
957.93/136.31	c (131,0) c PeriodProcTime_4 : 0.010963
957.93/136.31	c (131,0) c PeriodProcTime_5 : 0.013560
957.93/136.31	c (131,0) c PeriodProcTime_6 : 0.010474
13.21/136.32	c (131,0) c PeriodProcTime_7 : 0.009851
13.21/136.32	c (131,0) c PeriodProcTime_total : 0.091749
13.21/136.32	c (131,0) c PeriodProcTime_winner : 0.010456
13.21/136.32	c (131,0) c SolvingTime_0 : 130.659794
13.21/136.32	c (131,0) c SolvingTime_1 : 130.475816
13.21/136.32	c (131,0) c SolvingTime_2 : 130.689745
13.21/136.32	c (131,0) c SolvingTime_3 : 130.725708
13.21/136.32	c (131,0) c SolvingTime_4 : 130.309901
13.21/136.32	c (131,0) c SolvingTime_5 : 131.036680
13.21/136.32	c (131,0) c SolvingTime_6 : 131.151635
13.21/136.32	c (131,0) c SolvingTime_7 : 130.269876
13.21/136.32	c (131,0) c SolvingTime_total : 1045.319155
13.21/136.32	c (131,0) c SolvingTime_winner : 130.475816
13.21/136.32	c (131,0) c PropagationTime_0 : 92.766630
13.21/136.32	c (131,0) c PropagationTime_1 : 109.588972
13.21/136.32	c (131,0) c PropagationTime_2 : 85.386177
13.21/136.32	c (131,0) c PropagationTime_3 : 117.387710
13.21/136.32	c (131,0) c PropagationTime_4 : 114.374682
13.21/136.32	c (131,0) c PropagationTime_5 : 88.852500
13.21/136.32	c (131,0) c PropagationTime_6 : 92.474882
13.21/136.32	c (131,0) c PropagationTime_7 : 90.897011
13.21/136.32	c (131,0) c PropagationTime_total : 791.728564
13.21/136.32	c (131,0) c PropagationTime_winner : 109.588972
13.21/136.32	c (131,0) c AnalysisTime_0 : 34.385318
13.21/136.32	c (131,0) c AnalysisTime_1 : 17.593088
13.21/136.32	c (131,0) c AnalysisTime_2 : 42.202995
13.21/136.32	c (131,0) c AnalysisTime_3 : 9.856911
13.21/136.32	c (131,0) c AnalysisTime_4 : 12.416631
13.21/136.32	c (131,0) c AnalysisTime_5 : 38.825341
13.21/136.32	c (131,0) c AnalysisTime_6 : 35.528530
13.21/136.32	c (131,0) c AnalysisTime_7 : 35.975466
13.21/136.32	c (131,0) c AnalysisTime_total : 226.784280
13.21/136.32	c (131,0) c AnalysisTime_winner : 17.593088
13.21/136.32	c (131,0) c ReductionTime_0 : 1.401467
13.21/136.32	c (131,0) c ReductionTime_1 : 1.214368
13.21/136.32	c (131,0) c ReductionTime_2 : 1.132251
13.21/136.32	c (131,0) c ReductionTime_3 : 1.339410
13.21/136.32	c (131,0) c ReductionTime_4 : 1.374135
13.21/136.32	c (131,0) c ReductionTime_5 : 1.314698
13.21/136.32	c (131,0) c ReductionTime_6 : 1.134346
13.21/136.32	c (131,0) c ReductionTime_7 : 1.277451
13.21/136.32	c (131,0) c ReductionTime_total : 10.188125
13.21/136.32	c (131,0) c ReductionTime_winner : 1.214368
13.21/136.32	c (131,0) c SimplifyTime_0 : 0.081524
13.21/136.32	c (131,0) c SimplifyTime_1 : 0.051424
13.21/136.32	c (131,0) c SimplifyTime_2 : 0.041261
13.21/136.32	c (131,0) c SimplifyTime_3 : 0.093829
13.21/136.32	c (131,0) c SimplifyTime_4 : 0.106158
13.21/136.32	c (131,0) c SimplifyTime_5 : 0.070547
13.21/136.32	c (131,0) c SimplifyTime_6 : 0.062507
13.21/136.32	c (131,0) c SimplifyTime_7 : 0.169645
13.21/136.33	c (131,0) c SimplifyTime_total : 0.676894
13.21/136.33	c (131,0) c SimplifyTime_winner : 0.051424
13.21/136.33	c (131,0) c UsedRateTime_0 : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_1 : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_2 : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_3 : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_4 : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_5 : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_6 : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_7 : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_total : 0.000000
13.21/136.33	c (131,0) c UsedRateTime_winner : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_0 : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_1 : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_2 : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_3 : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_4 : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_5 : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_6 : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_7 : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_total : 0.000000
13.21/136.33	c (131,0) c OverlapRateTime_winner : 0.000000
13.21/136.33	c (131,0) c
13.21/136.33	c (131,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.21/136.33	c (131,0) c
13.21/136.33	c (131,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.21/136.33	c (131,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.21/136.33	c (131,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.21/136.33	c (131,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.21/136.33	c (131,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
13.21/136.33	c (131,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.21/136.33	c (131,0) c | Initial random_seed   | 1501048004 | 1363246240 |  225576758 |  888254766 |   51119361 | 1227459745 | 1328914127 |  785342228 |
13.21/136.33	c (131,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.21/136.33	c (131,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.21/136.33	c (131,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.21/136.33	c (131,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.21/136.33	c (131,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.21/136.33	c (131,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.21/136.33	c (131,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.21/136.33	c (131,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.21/136.33	c (131,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.21/136.33	c (131,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.21/136.33	c (131,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.21/136.33	c (131,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.21/136.33	c (131,0) 
13.21/136.33	c (131,0) s UNSATISFIABLE
13.21/136.33	c (131,0) SatSolver.solve End
13.21/136.33	c (131,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.21/136.33	c (131,0) Show results Begin
13.21/136.33	s UNSATISFIABLE
13.21/136.33	c (131,0) Show results End
13.21/136.33	c (131,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.21/136.33	c (131,0) 131,131,STOP-AFTER(ALL)
13.21/136.33	c END-Prog: Sat Sep 14 06:50:31 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 (13849 MiB free)
  memory of node 1: 16384 MiB (14245 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392487-1568436534/watcher-4392487-1568436534 -o /tmp/evaluation-result-4392487-1568436534/solver-4392487-1568436534 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568427058-21341 --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-4392487-1568436534.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=22965, runsolver pid=22962
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 7.43 6.08 6.33 3/211 22987
/proc/meminfo: memFree=28675916/32770624 swapFree=66959228/67108860
[pid=22965] ppid=22962 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22965/stat : 22965 (scop.sh) S 22962 22965 21314 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 419593611 115843072 349 33554432000 4194304 5098028 140724047900832 140724047898088 140479739396732 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12648448 140724047909669 140724047909996 140724047909996 140724047912909 0
/proc/22965/statm: 28282 349 296 221 0 87 0
[pid=22968] ppid=22965 vsize=27314120 memory=106416 CPUtime=0.11 cores=0-7
/proc/22968/stat : 22968 (java) S 22965 22965 21314 0 -1 1077944320 6632 0 0 0 8 3 0 0 20 0 20 0 419593611 27969658880 26604 33554432000 4194304 4196468 140728167344240 140728167326784 139936352743159 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
/proc/22968/statm: 6828530 26604 2816 1 0 6790935 0
[pid=22968/tid=22969] ppid=22965 vsize=27314120 memory=8329015468495905181 CPUtime=0.09 cores=0-7
/proc/22968/task/22969/stat : 22969 (java) R 22965 22965 21314 0 -1 4202560 4725 0 0 0 7 2 0 0 20 0 20 0 419593612 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936324569488 139936336786789 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22970] ppid=22965 vsize=27314120 memory=732369972524411877 CPUtime=0 cores=0-7
/proc/22968/task/22970/stat : 22970 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936356986000 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22971] ppid=22965 vsize=27314120 memory=139834186958464 CPUtime=0 cores=0-7
/proc/22968/task/22971/stat : 22971 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936171142160 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22972] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22972/stat : 22972 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936170089360 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22973] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22973/stat : 22973 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936169036560 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22974] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22974/stat : 22974 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936167983760 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22975] ppid=22965 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22968/task/22975/stat : 22975 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936166930960 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22976] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22976/stat : 22976 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936165878160 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22977] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22977/stat : 22977 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 26604 33554432000 4194304 4196468 140728167344240 139936164825360 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22978] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22978/stat : 22978 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 26604 33554432000 4194304 4196468 140728167344240 139934874270576 139936352754306 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22979] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22979/stat : 22979 (java) S 22965 22965 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 26604 33554432000 4194304 4196468 140728167344240 139934195246624 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22980] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22980/stat : 22980 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 26604 33554432000 4194304 4196468 140728167344240 139933926810992 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22981] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22981/stat : 22981 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 26604 33554432000 4194304 4196468 140728167344240 139933552302416 139936352761755 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22982] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22982/stat : 22982 (java) S 22965 22965 21314 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 26604 33554432000 4194304 4196468 140728167344240 139934873217392 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22983] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22983/stat : 22983 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 26604 33554432000 4194304 4196468 140728167344240 139934872164592 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22984] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22984/stat : 22984 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 26604 33554432000 4194304 4196468 140728167344240 139934871111792 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22985] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22985/stat : 22985 (java) S 22965 22965 21314 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 26604 33554432000 4194304 4196468 140728167344240 139934870058992 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22986] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22986/stat : 22986 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 27116 33554432000 4194304 4196468 140728167344240 139933054397536 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22987] ppid=22965 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22968/task/22987/stat : 22987 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 27116 33554432000 4194304 4196468 140728167344240 139934869007408 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107812 KiB

[startup+0.2104 s]*
/proc/loadavg: 7.43 6.08 6.33 3/211 22987
/proc/meminfo: memFree=28654164/32770624 swapFree=66959228/67108860
[pid=22965] ppid=22962 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22965/stat : 22965 (scop.sh) S 22962 22965 21314 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 419593611 115843072 349 33554432000 4194304 5098028 140724047900832 140724047898088 140479739396732 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12648448 140724047909669 140724047909996 140724047909996 140724047912909 0
/proc/22965/statm: 28282 349 296 221 0 87 0
[pid=22968] ppid=22965 vsize=27314120 memory=125400 CPUtime=0.25 cores=0-7
/proc/22968/stat : 22968 (java) S 22965 22965 21314 0 -1 1077944320 12116 0 0 0 20 5 0 0 20 0 20 0 419593611 27969658880 31350 33554432000 4194304 4196468 140728167344240 140728167326784 139936352743159 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
/proc/22968/statm: 6828530 31350 2940 1 0 6790935 0
[pid=22968/tid=22969] ppid=22965 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/22968/task/22969/stat : 22969 (java) R 22965 22965 21314 0 -1 4202560 9810 0 0 0 16 4 0 0 20 0 20 0 419593612 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936324556592 139936337908814 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22970] ppid=22965 vsize=27314120 memory=279668255786744 CPUtime=0 cores=0-7
/proc/22968/task/22970/stat : 22970 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936356986000 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22971] ppid=22965 vsize=27314120 memory=139834186958464 CPUtime=0 cores=0-7
/proc/22968/task/22971/stat : 22971 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936171142160 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22972] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22972/stat : 22972 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936170089360 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22973] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22973/stat : 22973 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936169036560 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22974] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22974/stat : 22974 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936167983760 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22975] ppid=22965 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22968/task/22975/stat : 22975 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936166930960 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22976] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22976/stat : 22976 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936165878160 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22977] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22977/stat : 22977 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 31350 33554432000 4194304 4196468 140728167344240 139936164825360 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22978] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22978/stat : 22978 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 31350 33554432000 4194304 4196468 140728167344240 139934874270576 139936352754306 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22979] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22979/stat : 22979 (java) S 22965 22965 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 31350 33554432000 4194304 4196468 140728167344240 139934195246624 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22980] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22980/stat : 22980 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 31350 33554432000 4194304 4196468 140728167344240 139933926810992 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22981] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22981/stat : 22981 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 31350 33554432000 4194304 4196468 140728167344240 139933552302416 139936352761755 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22982] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22982/stat : 22982 (java) S 22965 22965 21314 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 31350 33554432000 4194304 4196468 140728167344240 139934873217392 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22983] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22983/stat : 22983 (java) S 22965 22965 21314 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 31350 33554432000 4194304 4196468 140728167344240 139934872164592 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22984] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22984/stat : 22984 (java) S 22965 22965 21314 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 31350 33554432000 4194304 4196468 140728167344240 139934871111792 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22985] ppid=22965 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22968/task/22985/stat : 22985 (java) S 22965 22965 21314 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 20 0 419593619 27969658880 31350 33554432000 4194304 4196468 140728167344240 139934870058992 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22986] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22986/stat : 22986 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 31350 33554432000 4194304 4196468 140728167344240 139933054397536 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22987] ppid=22965 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22968/task/22987/stat : 22987 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 31350 33554432000 4194304 4196468 140728167344240 139934869007408 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126796 KiB

[startup+0.310292 s]*
/proc/loadavg: 7.43 6.08 6.33 2/211 22987
/proc/meminfo: memFree=28651124/32770624 swapFree=66959228/67108860
[pid=22965] ppid=22962 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22965/stat : 22965 (scop.sh) S 22962 22965 21314 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 419593611 115843072 349 33554432000 4194304 5098028 140724047900832 140724047898088 140479739396732 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12648448 140724047909669 140724047909996 140724047909996 140724047912909 0
/proc/22965/statm: 28282 349 296 221 0 87 0
[pid=22968] ppid=22965 vsize=27314120 memory=129772 CPUtime=0.43 cores=0-7
/proc/22968/stat : 22968 (java) S 22965 22965 21314 0 -1 1077944320 13298 0 0 0 37 6 0 0 20 0 20 0 419593611 27969658880 32443 33554432000 4194304 4196468 140728167344240 140728167326784 139936352743159 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
/proc/22968/statm: 6828530 32443 3055 1 0 6790935 0
[pid=22968/tid=22969] ppid=22965 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22968/task/22969/stat : 22969 (java) R 22965 22965 21314 0 -1 4202560 10789 0 0 0 25 4 0 0 20 0 20 0 419593612 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936324526176 139936334116608 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22970] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22970/stat : 22970 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936356986000 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22971] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22971/stat : 22971 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936171142160 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22972] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22972/stat : 22972 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936170089360 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22973] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22973/stat : 22973 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936169036560 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22974] ppid=22965 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/22968/task/22974/stat : 22974 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936167983760 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22975] ppid=22965 vsize=27314120 memory=139834068923311 CPUtime=0 cores=0-7
/proc/22968/task/22975/stat : 22975 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936166930960 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22976] ppid=22965 vsize=27314120 memory=139834068925616 CPUtime=0 cores=0-7
/proc/22968/task/22976/stat : 22976 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936165878160 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22977] ppid=22965 vsize=27314120 memory=139834068927920 CPUtime=0 cores=0-7
/proc/22968/task/22977/stat : 22977 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593614 27969658880 32443 33554432000 4194304 4196468 140728167344240 139936164825360 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22978] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22978/stat : 22978 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 32443 33554432000 4194304 4196468 140728167344240 139934874270576 139936352754306 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22979] ppid=22965 vsize=27314120 memory=279668137862800 CPUtime=0 cores=0-7
/proc/22968/task/22979/stat : 22979 (java) S 22965 22965 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 32443 33554432000 4194304 4196468 140728167344240 139934195246624 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22980] ppid=22965 vsize=27314120 memory=279668137869712 CPUtime=0 cores=0-7
/proc/22968/task/22980/stat : 22980 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593616 27969658880 32443 33554432000 4194304 4196468 140728167344240 139933926810992 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22981] ppid=22965 vsize=27314120 memory=279668137810992 CPUtime=0 cores=0-7
/proc/22968/task/22981/stat : 22981 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 32443 33554432000 4194304 4196468 140728167344240 139933552302416 139936352761755 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22982] ppid=22965 vsize=27314120 memory=279668137883536 CPUtime=0.01 cores=0-7
/proc/22968/task/22982/stat : 22982 (java) R 22965 22965 21314 0 -1 4202560 403 0 0 0 1 0 0 0 20 0 20 0 419593619 27969658880 32443 33554432000 4194304 4196468 140728167344240 139934873217392 139936338758688 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22983] ppid=22965 vsize=27314120 memory=279668137890448 CPUtime=0.01 cores=0-7
/proc/22968/task/22983/stat : 22983 (java) S 22965 22965 21314 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 419593619 27969658880 32443 33554432000 4194304 4196468 140728167344240 139934872164592 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22984] ppid=22965 vsize=27314120 memory=279668137888144 CPUtime=0.01 cores=0-7
/proc/22968/task/22984/stat : 22984 (java) S 22965 22965 21314 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 419593619 27969658880 32443 33554432000 4194304 4196468 140728167344240 139934871111792 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22985] ppid=22965 vsize=27314120 memory=279668137904304 CPUtime=0.07 cores=0-7
/proc/22968/task/22985/stat : 22985 (java) S 22965 22965 21314 0 -1 1077944384 523 0 0 0 7 0 0 0 20 0 20 0 419593619 27969658880 32443 33554432000 4194304 4196468 140728167344240 139934870058992 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22986] ppid=22965 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22968/task/22986/stat : 22986 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 32443 33554432000 4194304 4196468 140728167344240 139933054397536 139936352753365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22987] ppid=22965 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22968/task/22987/stat : 22987 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593619 27969658880 32443 33554432000 4194304 4196468 140728167344240 139934869007408 139936352754306 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131168 KiB

[startup+0.705975 s]
/proc/loadavg: 7.43 6.08 6.33 2/211 22987
/proc/meminfo: memFree=28630156/32770624 swapFree=66959228/67108860
[pid=22965] ppid=22962 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22965/stat : 22965 (scop.sh) S 22962 22965 21314 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 419593611 115843072 349 33554432000 4194304 5098028 140724047900832 140724047898088 140479739396732 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12648448 140724047909669 140724047909996 140724047909996 140724047912909 0
/proc/22965/statm: 28282 349 296 221 0 87 0
[pid=22968] ppid=22965 vsize=27320392 memory=165504 CPUtime=1.02 cores=0-7
/proc/22968/stat : 22968 (java) S 22965 22965 21314 0 -1 1077944320 20522 0 0 0 94 8 0 0 20 0 20 0 419593611 27976081408 41376 33554432000 4194304 4196468 140728167344240 140728167326784 139936352743159 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
/proc/22968/statm: 6830098 41376 3193 1 0 6791447 0
[pid=22968/tid=22969] ppid=22965 vsize=27320392 memory=279668138199168 CPUtime=0.67 cores=0-7
/proc/22968/task/22969/stat : 22969 (java) R 22965 22965 21314 0 -1 4202560 17353 0 0 0 61 6 0 0 20 0 20 0 419593612 27976081408 41376 33554432000 4194304 4196468 140728167344240 139936324580688 139935822793560 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22970] ppid=22965 vsize=27320392 memory=1436 CPUtime=0 cores=0-7
/proc/22968/task/22970/stat : 22970 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419593614 27976081408 41376 33554432000 4194304 4196468 140728167344240 139936356986000 139936352753365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22971] ppid=22965 vsize=27320392 memory=580 CPUtime=0 cores=0-7
/proc/22968/task/22971/stat : 22971 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419593614 27976081408 41376 33554432000 4194304 4196468 140728167344240 139936171142160 139936352753365 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24014848 140728167351019 140728167351446 140728167351446 140728167354319 0
[pid=22968/tid=22972] ppid=22965 vsize=27320392 memory=1720 CPUtime=0 cores=0-7

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

/proc/22988/task/22995/stat : 22995 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974757071888 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22996] ppid=22965 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/22988/task/22996/stat : 22996 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974756019088 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22997] ppid=22965 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/22988/task/22997/stat : 22997 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974754966288 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22998] ppid=22965 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/22988/task/22998/stat : 22998 (java) S 22965 22965 21314 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419594045 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974317926768 139974956882562 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22999] ppid=22965 vsize=8414124 memory=625532 CPUtime=0 cores=0-7
/proc/22988/task/22999/stat : 22999 (java) S 22965 22965 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419594046 8616062976 29783 33554432000 4194304 4196468 140736956537232 139973252604960 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23000] ppid=22965 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/22988/task/23000/stat : 23000 (java) S 22965 22965 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419594046 8616062976 29783 33554432000 4194304 4196468 140736956537232 139973118382960 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23001] ppid=22965 vsize=8414124 memory=832 CPUtime=0 cores=0-7
/proc/22988/task/23001/stat : 23001 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139972743878480 139974956890011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23002] ppid=22965 vsize=8414124 memory=1436 CPUtime=0.06 cores=0-7
/proc/22988/task/23002/stat : 23002 (java) S 22965 22965 21314 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974316874608 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23003] ppid=22965 vsize=8414124 memory=3620 CPUtime=0.06 cores=0-7
/proc/22988/task/23003/stat : 23003 (java) S 22965 22965 21314 0 -1 1077944384 420 0 0 0 6 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974315821808 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23004] ppid=22965 vsize=8414124 memory=1660 CPUtime=0.07 cores=0-7
/proc/22988/task/23004/stat : 23004 (java) S 22965 22965 21314 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974314769008 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23005] ppid=22965 vsize=8414124 memory=41208 CPUtime=0.21 cores=0-7
/proc/22988/task/23005/stat : 23005 (java) S 22965 22965 21314 0 -1 1077944384 802 0 0 0 21 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974313716208 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23006] ppid=22965 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/22988/task/23006/stat : 23006 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419594049 8616062976 29783 33554432000 4194304 4196468 140736956537232 139972245973600 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23007] ppid=22965 vsize=8414124 memory=2008 CPUtime=0.08 cores=0-7
/proc/22988/task/23007/stat : 23007 (java) S 22965 22965 21314 0 -1 1077944384 11 0 0 0 0 8 0 0 20 0 24 0 419594049 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974312663600 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23009] ppid=22965 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/22988/task/23009/stat : 23009 (java) S 22965 22965 21314 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419594116 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974393721920 139974956896025 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23011] ppid=22965 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/22988/task/23011/stat : 23011 (java) S 22965 22965 21314 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419594117 8616062976 29783 33554432000 4194304 4196468 140736956537232 139971574874256 139974956893341 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23012] ppid=22965 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/22988/task/23012/stat : 23012 (java) S 22965 22965 21314 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419594117 8616062976 29783 33554432000 4194304 4196468 140736956537232 139971843309584 139974956893341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23021] ppid=22965 vsize=8414124 memory=7686721470368226965 CPUtime=0 cores=0-7
/proc/22988/task/23021/stat : 23021 (java) S 22965 22965 21314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419594119 8616062976 29783 33554432000 4194304 4196468 140736956537232 139971306446384 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
Current children cumulated CPU time: 957.57 s
Current children cumulated vsize: 9292952 KiB
Current children cumulated memory: 746200 KiB

[startup+136.201 s]
/proc/loadavg: 7.42 6.47 6.43 3/219 23038
/proc/meminfo: memFree=28040148/32770624 swapFree=66959228/67108860
[pid=22965] ppid=22962 vsize=113128 memory=1476 CPUtime=11.86 cores=0-7
/proc/22965/stat : 22965 (scop.sh) S 22962 22965 21314 0 -1 4202496 582 32681 0 0 0 0 1155 31 20 0 1 0 419593611 115843072 369 33554432000 4194304 5098028 140724047900832 140724047897576 140479739396732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12648448 140724047909669 140724047909996 140724047909996 140724047912909 0
/proc/22965/statm: 28282 369 311 221 0 87 0
[pid=22988] ppid=22965 vsize=8414124 memory=119132 CPUtime=1.32 cores=0-7
/proc/22988/stat : 22988 (java) S 22965 22965 21314 0 -1 1077944320 20853 0 0 0 123 9 0 0 20 0 24 0 419594042 8616062976 29783 33554432000 4194304 4196468 140736956537232 140736956519776 139974956871415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
/proc/22988/statm: 2103531 29783 3211 1 0 2064875 0
[pid=23008] ppid=22988 vsize=757504 memory=625584 CPUtime=944.75 cores=0-7
/proc/23008/stat : 23008 (manyglucose-4.1) S 22988 22965 21314 0 -1 1077944320 482564 0 0 0 94375 100 0 0 20 0 2 0 419594116 775684096 156396 33554432000 4194304 4454172 140731667146592 140731667144976 139957952655095 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 8687616 140731667149673 140731667149872 140731667149872 140731667152826 0
/proc/23008/statm: 189376 156396 419 64 0 185044 0
[pid=23008/tid=23019] ppid=22988 vsize=757504 memory=14004 CPUtime=120.93 cores=0-7
/proc/23008/task/23019/stat : 23019 (manyglucose-4.1) R 22988 22965 21314 0 -1 4202560 66153 0 0 0 12081 12 0 0 20 0 2 0 419594119 775684096 156396 33554432000 4194304 4454172 140731667146592 139957817568392 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 8687616 140731667149673 140731667149872 140731667149872 140731667152826 0
[pid=22988/tid=22989] ppid=22965 vsize=8414124 memory=22028 CPUtime=0.77 cores=0-7
/proc/22988/task/22989/stat : 22989 (java) S 22965 22965 21314 0 -1 1077944384 17426 0 0 0 71 6 0 0 20 0 24 0 419594043 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974928711584 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22990] ppid=22965 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/22988/task/22990/stat : 22990 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974961113744 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22991] ppid=22965 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/22988/task/22991/stat : 22991 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974761282064 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22992] ppid=22965 vsize=8414124 memory=119132 CPUtime=0 cores=0-7
/proc/22988/task/22992/stat : 22992 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974760229264 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22993] ppid=22965 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/22988/task/22993/stat : 22993 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974759176464 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22994] ppid=22965 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/22988/task/22994/stat : 22994 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974758124688 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22995] ppid=22965 vsize=8414124 memory=16104758104557987 CPUtime=0 cores=0-7
/proc/22988/task/22995/stat : 22995 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974757071888 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22996] ppid=22965 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/22988/task/22996/stat : 22996 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974756019088 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22997] ppid=22965 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/22988/task/22997/stat : 22997 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974754966288 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22998] ppid=22965 vsize=8414124 memory=4740 CPUtime=0 cores=0-7
/proc/22988/task/22998/stat : 22998 (java) S 22965 22965 21314 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419594045 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974317926768 139974956882562 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22999] ppid=22965 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/22988/task/22999/stat : 22999 (java) S 22965 22965 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419594046 8616062976 29783 33554432000 4194304 4196468 140736956537232 139973252604960 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23000] ppid=22965 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/22988/task/23000/stat : 23000 (java) S 22965 22965 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419594046 8616062976 29783 33554432000 4194304 4196468 140736956537232 139973118382960 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23001] ppid=22965 vsize=8414124 memory=3552 CPUtime=0 cores=0-7
/proc/22988/task/23001/stat : 23001 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139972743878480 139974956890011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23002] ppid=22965 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/22988/task/23002/stat : 23002 (java) S 22965 22965 21314 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974316874608 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23003] ppid=22965 vsize=8414124 memory=119132 CPUtime=0.06 cores=0-7
/proc/22988/task/23003/stat : 23003 (java) S 22965 22965 21314 0 -1 1077944384 420 0 0 0 6 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974315821808 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23004] ppid=22965 vsize=8414124 memory=623484 CPUtime=0.07 cores=0-7
/proc/22988/task/23004/stat : 23004 (java) S 22965 22965 21314 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974314769008 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23005] ppid=22965 vsize=8414124 memory=1408 CPUtime=0.21 cores=0-7
/proc/22988/task/23005/stat : 23005 (java) S 22965 22965 21314 0 -1 1077944384 802 0 0 0 21 0 0 0 20 0 24 0 419594048 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974313716208 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23006] ppid=22965 vsize=8414124 memory=3552 CPUtime=0 cores=0-7
/proc/22988/task/23006/stat : 23006 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419594049 8616062976 29783 33554432000 4194304 4196468 140736956537232 139972245973600 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23007] ppid=22965 vsize=8414124 memory=3620 CPUtime=0.08 cores=0-7
/proc/22988/task/23007/stat : 23007 (java) S 22965 22965 21314 0 -1 1077944384 11 0 0 0 0 8 0 0 20 0 24 0 419594049 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974312663600 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23009] ppid=22965 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/22988/task/23009/stat : 23009 (java) S 22965 22965 21314 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419594116 8616062976 29783 33554432000 4194304 4196468 140736956537232 139974393721920 139974956896025 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23011] ppid=22965 vsize=8414124 memory=41208 CPUtime=0 cores=0-7
/proc/22988/task/23011/stat : 23011 (java) S 22965 22965 21314 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419594117 8616062976 29783 33554432000 4194304 4196468 140736956537232 139971574874256 139974956893341 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23012] ppid=22965 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/22988/task/23012/stat : 23012 (java) S 22965 22965 21314 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419594117 8616062976 29783 33554432000 4194304 4196468 140736956537232 139971843309584 139974956893341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23021] ppid=22965 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/22988/task/23021/stat : 23021 (java) S 22965 22965 21314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419594119 8616062976 29783 33554432000 4194304 4196468 140736956537232 139971306446384 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
Current children cumulated CPU time: 957.93 s
Current children cumulated vsize: 9284756 KiB
Current children cumulated memory: 746192 KiB

[startup+136.314 s]
/proc/loadavg: 7.42 6.47 6.43 3/219 23038
/proc/meminfo: memFree=28040148/32770624 swapFree=66959228/67108860
[pid=22965] ppid=22962 vsize=113128 memory=1476 CPUtime=11.86 cores=0-7
/proc/22965/stat : 22965 (scop.sh) S 22962 22965 21314 0 -1 4202496 582 32681 0 0 0 0 1155 31 20 0 1 0 419593611 115843072 369 33554432000 4194304 5098028 140724047900832 140724047897576 140479739396732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12648448 140724047909669 140724047909996 140724047909996 140724047912909 0
/proc/22965/statm: 28282 369 311 221 0 87 0
[pid=22988] ppid=22965 vsize=8414124 memory=119460 CPUtime=1.35 cores=0-7
/proc/22988/stat : 22988 (java) S 22965 22965 21314 0 -1 1077944320 20887 0 0 0 126 9 0 0 20 0 24 0 419594042 8616062976 29865 33554432000 4194304 4196468 140736956537232 140736956519776 139974956871415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
/proc/22988/statm: 2103531 29865 3212 1 0 2064875 0
[pid=22988/tid=22989] ppid=22965 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7
/proc/22988/task/22989/stat : 22989 (java) S 22965 22965 21314 0 -1 1077944384 17426 0 0 0 71 6 0 0 20 0 24 0 419594043 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974928711584 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22990] ppid=22965 vsize=8414124 memory=119132 CPUtime=0 cores=0-7
/proc/22988/task/22990/stat : 22990 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974961113744 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22991] ppid=22965 vsize=8414124 memory=617816 CPUtime=0 cores=0-7
/proc/22988/task/22991/stat : 22991 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974761282064 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22992] ppid=22965 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22988/task/22992/stat : 22992 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974760229264 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22993] ppid=22965 vsize=8414124 memory=7686721470368226965 CPUtime=0 cores=0-7
/proc/22988/task/22993/stat : 22993 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974759176464 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22994] ppid=22965 vsize=8414124 memory=119132 CPUtime=0 cores=0-7
/proc/22988/task/22994/stat : 22994 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974758124688 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22995] ppid=22965 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/22988/task/22995/stat : 22995 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974757071888 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22996] ppid=22965 vsize=8414124 memory=119132 CPUtime=0 cores=0-7
/proc/22988/task/22996/stat : 22996 (java) S 22965 22965 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974756019088 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22997] ppid=22965 vsize=8414124 memory=583936 CPUtime=0 cores=0-7
/proc/22988/task/22997/stat : 22997 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594044 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974754966288 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22998] ppid=22965 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22988/task/22998/stat : 22998 (java) S 22965 22965 21314 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419594045 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974317926768 139974956882562 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=22999] ppid=22965 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/22988/task/22999/stat : 22999 (java) S 22965 22965 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419594046 8616062976 29865 33554432000 4194304 4196468 140736956537232 139973252604960 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23000] ppid=22965 vsize=8414124 memory=41200 CPUtime=0 cores=0-7
/proc/22988/task/23000/stat : 23000 (java) S 22965 22965 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419594046 8616062976 29865 33554432000 4194304 4196468 140736956537232 139973118382960 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23001] ppid=22965 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22988/task/23001/stat : 23001 (java) S 22965 22965 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419594048 8616062976 29865 33554432000 4194304 4196468 140736956537232 139972743878480 139974956890011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23002] ppid=22965 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/22988/task/23002/stat : 23002 (java) S 22965 22965 21314 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 24 0 419594048 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974316874608 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23003] ppid=22965 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/22988/task/23003/stat : 23003 (java) R 22965 22965 21314 0 -1 1077944384 420 0 0 0 7 0 0 0 20 0 24 0 419594048 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974315821808 139974956882562 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23004] ppid=22965 vsize=8414124 memory=119132 CPUtime=0.07 cores=0-7
/proc/22988/task/23004/stat : 23004 (java) R 22965 22965 21314 0 -1 4202560 226 0 0 0 7 0 0 0 20 0 24 0 419594048 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974314769008 139974940774472 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23005] ppid=22965 vsize=8414124 memory=619864 CPUtime=0.23 cores=0-7
/proc/22988/task/23005/stat : 23005 (java) R 22965 22965 21314 0 -1 4202560 828 0 0 0 23 0 0 0 20 0 24 0 419594048 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974313716208 139974956883350 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23006] ppid=22965 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/22988/task/23006/stat : 23006 (java) S 22965 22965 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419594049 8616062976 29865 33554432000 4194304 4196468 140736956537232 139972245973600 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23007] ppid=22965 vsize=8414124 memory=617816 CPUtime=0.08 cores=0-7
/proc/22988/task/23007/stat : 23007 (java) S 22965 22965 21314 0 -1 1077944384 11 0 0 0 0 8 0 0 20 0 24 0 419594049 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974312663600 139974956882562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23009] ppid=22965 vsize=8414124 memory=7686721470368226965 CPUtime=0 cores=0-7
/proc/22988/task/23009/stat : 23009 (java) S 22965 22965 21314 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419594116 8616062976 29865 33554432000 4194304 4196468 140736956537232 139974393721920 139974956896025 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23011] ppid=22965 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7
/proc/22988/task/23011/stat : 23011 (java) D 22965 22965 21314 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 24 0 419594117 8616062976 29865 33554432000 4194304 4196468 140736956537232 139971574868880 139974949550637 0 4 2 25189581 18446744072101572132 0 0 -1 3 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23012] ppid=22965 vsize=8414124 memory=119132 CPUtime=0 cores=0-7
/proc/22988/task/23012/stat : 23012 (java) S 22965 22965 21314 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419594117 8616062976 29865 33554432000 4194304 4196468 140736956537232 139971843309584 139974956893341 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
[pid=22988/tid=23021] ppid=22965 vsize=8414124 memory=625596 CPUtime=0 cores=0-7
/proc/22988/task/23021/stat : 23021 (java) S 22965 22965 21314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419594119 8616062976 29865 33554432000 4194304 4196468 140736956537232 139971306446384 139974956881621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26660864 140736956543991 140736956544150 140736956544150 140736956547023 0
Current children cumulated CPU time: 13.21 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120936 KiB

Child status: 0
Real time (s): 136.355
CPU time (s): 958.174
CPU user time (s): 956.707
CPU system time (s): 1.46709
CPU usage (%): 702.703
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1044092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 956.707
system time used= 1.46709
maximum resident set size= 1050708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17942
involuntary context switches= 9002


# summary of solver processes directly reported to runsolver:
#   pid: 22965
#   total CPU time (s): 958.174
#   total CPU user time (s): 956.707
#   total CPU system time (s): 1.46709

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30462 second user time and 1.89669 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 06:48:14
IDJOB=4392487
IDBENCH=134577
IDSOLVER=2838
FILE ID=node124/4392487-1568436534
RUNJOBID= node124-1568427058-21341
PBS_JOBID= 21702294
Free space on /tmp= 61812 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-2_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-4392487-1568436534/watcher-4392487-1568436534 -o /tmp/evaluation-result-4392487-1568436534/solver-4392487-1568436534 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568427058-21341 --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-4392487-1568436534.xml

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

MD5SUM BENCH= bca347db5d1c552995f700e5a754db73
RANDOM SEED=249262081

node124.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.47
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.47
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.47
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.47
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:        28769108 kB
MemAvailable:   31847248 kB
Buffers:          196212 kB
Cached:          3162096 kB
SwapCached:        45884 kB
Active:           994220 kB
Inactive:        2417388 kB
Active(anon):       5152 kB
Inactive(anon):    89400 kB
Active(file):     989068 kB
Inactive(file):  2327988 kB
Unevictable:      107224 kB
Mlocked:          107224 kB
SwapTotal:      67108860 kB
SwapFree:       66959228 kB
Dirty:             20668 kB
Writeback:             0 kB
AnonPages:        115464 kB
Mapped:            44436 kB
Shmem:             32748 kB
Slab:             183712 kB
SReclaimable:     153836 kB
SUnreclaim:        29876 kB
KernelStack:        3376 kB
PageTables:         5632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61792 MiB
End job on node124 at 2019-09-14 06:50:31