Trace number 4405299

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-6_X2.xml
MD5SUM43dd96c97b3ff33ff7a4c42b6a5606ab
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 benchmark169.632
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-11563-serial-file.bin HOME/instance-4405299-1569343114.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 18:37:54 CEST 2019
0.65/0.56	c PID: 11566
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.06/1.12	c (0,0) Parsing End
2.06/1.12	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.06/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.12	c (0,0) Constraint Name Generate Begin
2.06/1.14	c (0,0) Ctr:HOME/instance-4405299-1569343114.xml,ExtensionConflict:ExtensionSupport:Var
2.06/1.14	c (0,0) Constraint Name Generate End
2.06/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.14	c (0,0) CSP to CSPinCNF Begin
3.18/1.62	c (1,1) translated 127 (10%) constraints
3.60/1.73	c (1,1) translated 253 (20%) constraints
4.02/1.81	c (1,1) translated 379 (30%) constraints
4.02/1.87	c (1,1) translated 505 (40%) constraints
4.45/1.93	c (1,1) translated 631 (50%) constraints
4.45/1.98	c (1,1) translated 757 (60%) constraints
5.24/2.11	c (1,1) translated 883 (70%) constraints
5.77/2.34	c (1,1) translated 1009 (80%) constraints
6.02/2.56	c (2,2) translated 1135 (90%) constraints
6.58/2.88	c (2,2) translated 1261 (100%) constraints
6.58/2.88	c (2,2) ===========================================
6.58/2.88	c (2,2) Order
6.58/2.88	c (2,2) ===========================================
6.98/2.94	c (2,2) translated 1883 (10%) constraints
7.42/3.07	c (2,2) translated 3765 (20%) constraints
7.42/3.07	c (2,2) translated 5647 (30%) constraints
7.42/3.10	c (2,2) translated 7529 (40%) constraints
7.81/3.15	c (2,2) translated 9411 (50%) constraints
7.81/3.19	c (2,2) translated 11294 (60%) constraints
8.17/3.24	c (2,2) translated 13176 (70%) constraints
8.17/3.28	c (2,2) translated 15058 (80%) constraints
8.51/3.32	c (2,2) translated 16940 (90%) constraints
8.51/3.35	c (2,2) translated 18822 (100%) constraints
8.51/3.35	c (2,2) CSP to CSPinCNF End
8.51/3.35	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.51/3.35	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.51/3.35	c (2,2) CSPinCNF Propagation Begin
9.91/3.70	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.91/3.70	c (3,3) CSPinCNF Propagation End
9.91/3.70	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.91/3.70	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.91/3.70	c (3,3) Simplify CSPinCNF Begin
9.91/3.76	c (3,3) Simplify CSPinCNF End
9.91/3.76	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.91/3.76	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.91/3.76	c (3,3) Calculate Precise Domain Begin
9.91/3.76	c (3,3) 0 values are removed by re-calculation
9.91/3.76	c (3,3) Calculate Precise Domain End
9.91/3.76	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.91/3.76	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.91/3.76	c (3,3) CSPinCNF to SatSolver Begin
10.53/3.91	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.53/3.96	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.95/4.02	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
10.95/4.06	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
10.95/4.09	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.35/4.11	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.35/4.13	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.35/4.15	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.35/4.16	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.35/4.17	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.35/4.17	c (3,3) CSPinCNF to SatSolver End
11.35/4.17	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.35/4.17	c (3,3) 2482 bool, 15697 clause
11.35/4.17	c (3,3) Export Begin
11.55/4.28	c (3,3) Export to HOME/scop-11563-serial-file.bin
11.55/4.28	c (3,3) Export End
11.55/4.28	c (3,3) Export File Size: 0.02 MB
11.55/4.28	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.55/4.28	c END-Prog: Tue Sep 24 18:37:58 CEST 2019
0.00/4.31	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11563-serial-file.bin
11.73/4.76	c (0,0) Read Serial File Begin
11.73/4.76	c (0,0) HOME/scop-11563-serial-file.bin
11.73/4.99	c (0,0) Read Serial File End
11.73/5.00	
11.73/5.00	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
11.73/5.00	(Solving Process)
11.73/5.00	
12.69/5.02	c BEGIN-Prog: Tue Sep 24 18:37:59 CEST 2019
12.69/5.02	c PID: 11586
12.69/5.02	c IP: 172.20.3.151
12.69/5.02	c HOST: node151.alineos.net
12.69/5.03	c (0,0) SatSolver.solve Begin
12.69/5.03	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405299-1569343114.xml-scop-11566.cnf
12.69/5.05	c (0,0) c
12.69/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.69/5.05	c (0,0) c
12.69/5.05	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.69/5.05	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.69/5.05	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.69/5.05	c (0,0) c |                                                                                                       |
12.69/5.05	c (0,0) c |  Number of variables:          2480                                                                   |
12.69/5.05	c (0,0) c |  Number of clauses:           15697                                                                   |
12.69/5.05	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.69/5.05	c (0,0) c |                                                                                                       |
12.69/5.05	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.69/5.06	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.69/5.06	c (0,0) c |                                                                                                       |
12.69/5.06	c (0,0) c |  Generating clones                                                                                    |
12.69/5.07	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.69/5.07	c (0,0) c ========================================================================================================|
12.69/5.07	c (0,0) c
12.69/5.07	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.69/5.07	c (0,0) c
12.69/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.69/5.07	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.69/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.69/5.07	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.69/5.07	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.69/5.07	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.69/5.07	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.69/5.07	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.69/5.07	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.69/5.07	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.69/5.07	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.69/5.07	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.69/5.07	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.69/5.07	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.69/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.69/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.69/5.07	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.69/5.07	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.69/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
234.90/34.86	c (30,0) c
234.90/34.86	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
234.90/34.86	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
234.90/34.86	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
234.90/34.86	c (30,0) c |  0 |    367 |     566681 |     310136 |     9300 |    42951 |    44379 |   301937 |    15669 |      322 |  20 |  0.847 |
234.90/34.86	c (30,0) c |  1 |    328 |     545997 |     299654 |     8842 |    68268 |    39145 |   304546 |    12029 |      322 |  20 |  0.847 |
234.90/34.86	c (30,0) c |  2 |    364 |     544201 |     296383 |     9241 |    64998 |    42793 |   301759 |    11370 |      322 |  20 |  0.847 |
234.90/34.86	c (30,0) c |  3 |    370 |     563712 |     300429 |     9405 |    69039 |    42223 |   290792 |    12845 |      322 |  20 |  0.847 |
234.90/34.86	c (30,0) c |  4 |    484 |     565236 |     299553 |     9386 |    68160 |    43317 |   282616 |    16158 |      302 |  20 |  0.848 |
234.90/34.87	c (30,0) c |  5 |    316 |     564568 |     312527 |     9316 |    45353 |    50678 |   294843 |    15211 |      322 |  20 |  0.848 |
234.90/34.87	c (30,0) c |  6 |    273 |     533316 |     293449 |     9083 |    62068 |    46935 |   298121 |    13870 |      322 |  20 |  0.848 |
234.90/34.87	c (30,0) c |  7 |    422 |     546064 |     301877 |     9275 |    70496 |    44666 |   294179 |    14376 |      320 |  20 |  0.847 |
234.90/34.87	c (30,0) c 
234.90/34.87	c (30,0) c synthesis     2414008 conflicts   181060572 propagations    10876 conflicts/sec   815720 propagations/sec
234.90/34.87	c (30,0) c real: 29.8164 s, cpu: 221.964 s, memory: 629.83 Mb
428.13/63.87	c (59,0) c
428.13/63.87	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
428.13/63.87	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
428.13/63.87	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
428.13/63.87	c (59,0) c |  0 |    500 |     869184 |     466243 |     9353 |    76053 |    58404 |   397806 |    25690 |      576 |  20 |  0.847 |
428.13/63.87	c (59,0) c |  1 |    395 |     835445 |     451159 |     9252 |    60968 |    53221 |   393884 |    20488 |      576 |  20 |  0.847 |
428.13/63.87	c (59,0) c |  2 |    525 |     838879 |     449074 |     9446 |    58880 |    55621 |   401289 |    23051 |      576 |  20 |  0.848 |
428.13/63.87	c (59,0) c |  3 |    438 |     841598 |     443680 |     9474 |    53494 |    55354 |   400520 |    21961 |      576 |  20 |  0.848 |
428.13/63.87	c (59,0) c |  4 |    734 |     886950 |     462163 |     9427 |    71972 |    56983 |   391195 |    26860 |      556 |  20 |  0.848 |
428.13/63.87	c (59,0) c |  5 |    374 |     860787 |     466778 |     9389 |    76598 |    64173 |   387060 |    24098 |      576 |  20 |  0.847 |
428.13/63.87	c (59,0) c |  6 |    370 |     842844 |     449505 |     9398 |    59317 |    60445 |   395612 |    24497 |      576 |  20 |  0.847 |
428.13/63.87	c (59,0) c |  7 |    488 |     847621 |     458324 |     9409 |    68139 |    61211 |   388273 |    25138 |      576 |  20 |  0.848 |
428.13/63.87	c (59,0) c 
428.13/63.87	c (59,0) c synthesis     3646926 conflicts   272356513 propagations     8796 conflicts/sec   656924 propagations/sec
428.13/63.87	c (59,0) c real: 58.8164 s, cpu: 414.594 s, memory: 692.12 Mb
623.11/92.86	c (88,0) c
623.11/92.86	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
623.11/92.86	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
623.11/92.86	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
623.11/92.86	c (88,0) c |  0 |    661 |    1131632 |     599568 |     9378 |    62978 |    70829 |   486006 |    34915 |      831 |  20 |  0.847 |
623.11/92.86	c (88,0) c |  1 |    485 |    1100433 |     586768 |     9452 |   101573 |    63681 |   491040 |    33524 |      832 |  20 |  0.848 |
623.11/92.86	c (88,0) c |  2 |    624 |    1108791 |     586152 |     9476 |   100962 |    69294 |   486611 |    32078 |      832 |  20 |  0.847 |
623.11/92.86	c (88,0) c |  3 |    582 |    1108806 |     578076 |     9517 |    92891 |    66952 |   479450 |    33352 |      826 |  20 |  0.848 |
623.11/92.86	c (88,0) c |  4 |    853 |    1144963 |     593591 |     9446 |    57006 |    68283 |   482099 |    35513 |      812 |  20 |  0.848 |
623.11/92.87	c (88,0) c |  5 |    493 |    1129001 |     603183 |     9414 |    66594 |    78557 |   479406 |    33966 |      832 |  20 |  0.848 |
623.11/92.87	c (88,0) c |  6 |    409 |    1091247 |     580253 |     9417 |    95068 |    71745 |   483542 |    32695 |      832 |  20 |  0.848 |
623.11/92.87	c (88,0) c |  7 |    527 |    1102179 |     588318 |     9438 |    51739 |    74121 |   481703 |    33404 |      830 |  20 |  0.847 |
623.11/92.87	c (88,0) c 
623.11/92.87	c (88,0) c synthesis     4715909 conflicts   351201384 propagations     7739 conflicts/sec   576342 propagations/sec
623.11/92.87	c (88,0) c real: 87.8164 s, cpu: 609.363 s, memory: 692.12 Mb
818.04/121.87	c (117,0) c
818.04/121.87	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
818.04/121.87	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
818.04/121.87	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
818.04/121.87	c (117,0) c |  0 |    748 |    1341583 |     708116 |     9391 |    60920 |    81282 |   556752 |    41699 |     1064 |  20 |  0.847 |
818.04/121.87	c (117,0) c |  1 |    520 |    1322416 |     698543 |     9478 |   107952 |    75936 |   560351 |    41240 |     1066 |  20 |  0.847 |
818.04/121.87	c (117,0) c |  2 |    679 |    1326113 |     696960 |     9498 |   106375 |    80243 |   556511 |    39511 |     1068 |  20 |  0.848 |
818.04/121.87	c (117,0) c |  3 |    691 |    1334956 |     692839 |     9530 |   102256 |    76804 |   562262 |    41540 |     1068 |  20 |  0.847 |
818.04/121.87	c (117,0) c |  4 |    934 |    1354144 |     700493 |     9465 |   109908 |    78372 |   552416 |    44045 |     1048 |  20 |  0.848 |
818.04/121.87	c (117,0) c |  5 |    564 |    1331625 |     708468 |     9424 |    61282 |    87671 |   545410 |    41961 |     1068 |  20 |  0.847 |
818.04/121.87	c (117,0) c |  6 |    478 |    1309070 |     690250 |     9434 |    99664 |    80601 |   556698 |    41995 |     1068 |  20 |  0.848 |
818.04/121.87	c (117,0) c |  7 |    564 |    1312503 |     697393 |     9450 |   106811 |    84529 |   549054 |    42328 |     1067 |  20 |  0.847 |
818.04/121.87	c (117,0) c 
818.04/121.87	c (117,0) c synthesis     5593062 conflicts   416935523 propagations     6958 conflicts/sec   518711 propagations/sec
818.04/121.87	c (117,0) c real: 116.816 s, cpu: 803.791 s, memory: 756.12 Mb
1025.35/150.86	c (146,0) c
1025.35/150.86	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1025.35/150.86	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1025.35/150.86	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1025.35/150.86	c (146,0) c |  0 |    801 |    1539980 |     808046 |     9399 |   100643 |    89503 |   621419 |    48402 |     1307 |  20 |  1.129 |
1025.35/150.86	c (146,0) c |  1 |    558 |    1534390 |     805394 |     9491 |    91089 |    82802 |   628333 |    49355 |     1308 |  20 |  1.130 |
1025.35/150.86	c (146,0) c |  2 |    708 |    1533793 |     802115 |     9514 |    84230 |    88565 |   622505 |    46851 |     1313 |  20 |  1.129 |
1025.35/150.86	c (146,0) c |  3 |    737 |    1540920 |     799242 |     9536 |    86117 |    86984 |   625260 |    48701 |     1311 |  20 |  1.250 |
1025.35/150.86	c (146,0) c |  4 |    993 |    1568157 |     805864 |     9473 |    97418 |    85816 |   622513 |    51955 |     1293 |  20 |  1.129 |
1025.35/150.87	c (146,0) c |  5 |    594 |    1534164 |     812248 |     9443 |    93932 |    98806 |   610993 |    49083 |     1313 |  20 |  1.129 |
1025.35/150.87	c (146,0) c |  6 |    517 |    1505896 |     790775 |     9443 |    76410 |    90720 |   621193 |    49925 |     1313 |  20 |  1.129 |
1025.35/150.87	c (146,0) c |  7 |    579 |    1500879 |     794951 |     9461 |    82457 |    91954 |   611835 |    49351 |     1295 |  20 |  1.090 |
1025.35/150.87	c (146,0) c 
1025.35/150.87	c (146,0) c synthesis     6418635 conflicts   480187083 propagations     6350 conflicts/sec   475049 propagations/sec
1025.35/150.87	c (146,0) c real: 145.816 s, cpu: 1010.82 s, memory: 740.45 Mb
1095.70/161.94	c (157,0) c
1095.70/161.94	c (157,0) c real time : 156.897 s
1095.70/161.94	c (157,0) c cpu time  : 1080.62 s
1095.70/161.94	c (157,0) c
1095.70/161.94	c (157,0) c
1095.70/161.94	c (157,0) c
1095.70/161.94	c (157,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1095.70/161.94	c (157,0) c
1095.70/161.94	c (157,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.94	c (157,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1095.70/161.94	c (157,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.94	c (157,0) c | Conflicts     |         6638644 |     831862 |     833162 |     828435 |     824753 |     837618 |     838348 |     817518 |     826948 |
1095.70/161.94	c (157,0) c | Decisions     |        12681199 |    1586650 |    1589095 |    1582186 |    1590920 |    1628918 |    1584049 |    1557280 |    1562101 |
1095.70/161.94	c (157,0) c | Propagations  |       497396835 |   61942442 |   61869693 |   62244801 |   62649123 |   62263032 |   62070243 |   61737659 |   62619842 |
1095.70/161.94	c (157,0) c | ReduceDBs     |             196 |         25 |         25 |         24 |         24 |         25 |         25 |         24 |         24 |
1095.70/161.94	c (157,0) c | SimpDBs       |              85 |          9 |         10 |         10 |         12 |         11 |         10 |         12 |         11 |
1095.70/161.94	c (157,0) c | Restarts      |            5537 |        809 |        562 |        709 |        743 |       1011 |        601 |        520 |        582 |
1095.70/161.94	c (157,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1095.70/161.94	c (157,0) c | PropBinClauses|      1064423738 |  131589202 |  132405126 |  132826228 |  136093378 |  130253372 |  132141534 |  135736650 |  133378248 |
1095.70/161.94	c (157,0) c | PropPreBlocker|     37594246181 | 4724519596 | 4678065771 | 4741585800 | 4686031301 | 4654890482 | 4711656712 | 4723303337 | 4674193182 |
1095.70/161.94	c (157,0) c | PropNotBlocker|      6331629091 |  788582920 |  787385505 |  783294895 |  798430351 |  800985381 |  791371595 |  788186650 |  793391794 |
1095.70/161.94	c (157,0) c | LitFullScans  |     66643261195 | 8329549172 | 8329462685 | 8329783881 | 8329261241 | 8329313684 | 8330811328 | 8335583195 | 8329496009 |
1095.70/161.94	c (157,0) c | LitScanFracts |        11761500 |    1529506 |    1441518 |    1779294 |    1254089 |    1309168 |    1376609 |    1579440 |    1491876 |
1095.70/161.94	c (157,0) c | DecisionLevel0|            5634 |        820 |        571 |        724 |        756 |       1024 |        618 |        530 |        591 |
1095.70/161.94	c (157,0) c | Periods       |           11105 |       1388 |       1388 |       1388 |       1388 |       1388 |       1388 |       1389 |       1388 |
1095.70/161.94	c (157,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1095.70/161.94	c (157,0) c | Avg_Trail     |                 |        629 |        627 |        629 |        629 |        629 |        627 |        624 |        631 |
1095.70/161.94	c (157,0) c | Avg_DL        |                 |         21 |         21 |         20 |         21 |         21 |         21 |         20 |         22 |
1095.70/161.94	c (157,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1095.70/161.95	c (157,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1095.70/161.95	c (157,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.95	c (157,0) c | Exported      |          734049 |      91642 |      84110 |      90284 |      89445 |      89453 |     100922 |      93349 |      94844 |
1095.70/161.95	c (157,0) c | Imported      |         5089443 |     637617 |     644850 |     639114 |     638253 |     640040 |     628778 |     626775 |     634016 |
1095.70/161.95	c (157,0) c | Good          |           14552 |       1824 |       1834 |       1815 |       1775 |       1814 |       1830 |       1824 |       1836 |
1095.70/161.95	c (157,0) c | Purge         |         5074891 |     635793 |     643016 |     637299 |     636478 |     638226 |     626948 |     624951 |     632180 |
1095.70/161.95	c (157,0) c | Promoted      |          416250 |      51409 |      52226 |      49386 |      51653 |      54815 |      52063 |      52147 |      52551 |
1095.70/161.95	c (157,0) c | Remove_Imp    |         3984752 |     502104 |     507089 |     499530 |     498305 |     507033 |     499180 |     486073 |     485438 |
1095.70/161.95	c (157,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1095.70/161.95	c (157,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.95	c (157,0) c | Unaries       |                 |         11 |          9 |         15 |         13 |         13 |         17 |         10 |          9 |
1095.70/161.95	c (157,0) c | Binaries      |                 |        274 |        253 |        292 |        310 |        279 |        271 |        228 |        248 |
1095.70/161.95	c (157,0) c | Glues         |                 |       1011 |        969 |        995 |       1051 |       1034 |        940 |        892 |        905 |
1095.70/161.95	c (157,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.95	c (157,0) c | Orig_Seen     |            87 % |       9401 |       9497 |       9517 |       9539 |       9474 |       9447 |       9444 |       9461 |
1095.70/161.95	c (157,0) c | Diff Orig seen|                 | -       46 |         50 |         70 |         92 |         27 |      X     | -        3 |         14 |
1095.70/161.95	c (157,0) c | Hamming       |            10 % |        291 |        262 |        263 |        291 |        277 |      X     |        216 |        265 |
1095.70/161.95	c (157,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.95	c (157,0) c | RunningTime   |                 |  144.5  93%|  136.8  88%|  119.8  77%|  143.8  92%|  156.4 100%|  119.0  77%|  120.8  78%|  142.5  92%|
1095.70/161.95	c (157,0) c | WaitingTime   |                 |   10.7   7%|   18.6  12%|   35.4  23%|   11.5   7%|    0.0   0%|   36.1  23%|   34.4  22%|   12.7   8%|
1095.70/161.95	c (157,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|
1095.70/161.95	c (157,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%|
1095.70/161.95	c (157,0) c | SolvingTime   |                 |  155.6     |  155.7     |  155.5     |  155.6     |  156.8     |  155.5     |  155.5     |  155.5     |
1095.70/161.95	c (157,0) c | PropagationTim|                 |  112.0  72%|  113.3  73%|  134.6  87%|  106.8  69%|   98.5  63%|  137.4  88%|  133.8  86%|  110.3  71%|
1095.70/161.95	c (157,0) c | AnalysisTime  |                 |   40.0  26%|   38.9  25%|   17.4  11%|   45.2  29%|   54.8  35%|   14.3   9%|   18.2  12%|   41.7  27%|
1095.70/161.95	c (157,0) c | ReductionTime |                 |    1.4   1%|    1.3   1%|    1.3   1%|    1.3   1%|    1.2   1%|    1.5   1%|    1.3   1%|    1.4   1%|
1095.70/161.95	c (157,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|
1095.70/161.95	c (157,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%|
1095.70/161.95	c (157,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%|
1095.70/161.95	c (157,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.95	c (157,0) c
1095.70/161.95	c (157,0) c
1095.70/161.95	c (157,0) c Threads : 8
1095.70/161.95	c (157,0) c Winner : 5
1095.70/161.95	c (157,0) c Conflicts_0 : 831862
1095.70/161.95	c (157,0) c Conflicts_1 : 833162
1095.70/161.95	c (157,0) c Conflicts_2 : 828435
1095.70/161.95	c (157,0) c Conflicts_3 : 824753
1095.70/161.95	c (157,0) c Conflicts_4 : 837618
1095.70/161.95	c (157,0) c Conflicts_5 : 838348
1095.70/161.95	c (157,0) c Conflicts_6 : 817518
1095.70/161.95	c (157,0) c Conflicts_7 : 826948
1095.70/161.95	c (157,0) c Conflicts_total : 6638644
1095.70/161.95	c (157,0) c Conflicts_winner : 838348
1095.70/161.95	c (157,0) c Decisions_0 : 1586650
1095.70/161.95	c (157,0) c Decisions_1 : 1589095
1095.70/161.95	c (157,0) c Decisions_2 : 1582186
1095.70/161.95	c (157,0) c Decisions_3 : 1590920
1095.70/161.95	c (157,0) c Decisions_4 : 1628918
1095.70/161.95	c (157,0) c Decisions_5 : 1584049
1095.70/161.95	c (157,0) c Decisions_6 : 1557280
1095.70/161.95	c (157,0) c Decisions_7 : 1562101
1095.70/161.95	c (157,0) c Decisions_total : 12681199
1095.70/161.95	c (157,0) c Decisions_winner : 1584049
1095.70/161.95	c (157,0) c Propagations_0 : 61942442
1095.70/161.95	c (157,0) c Propagations_1 : 61869693
1095.70/161.95	c (157,0) c Propagations_2 : 62244801
1095.70/161.95	c (157,0) c Propagations_3 : 62649123
1095.70/161.95	c (157,0) c Propagations_4 : 62263032
1095.70/161.95	c (157,0) c Propagations_5 : 62070243
1095.70/161.95	c (157,0) c Propagations_6 : 61737659
1095.70/161.95	c (157,0) c Propagations_7 : 62619842
1095.70/161.95	c (157,0) c Propagations_total : 497396835
1095.70/161.95	c (157,0) c Propagations_winner : 62070243
1095.70/161.95	c (157,0) c ReduceDBs_0 : 25
1095.70/161.95	c (157,0) c ReduceDBs_1 : 25
1095.70/161.95	c (157,0) c ReduceDBs_2 : 24
1095.70/161.95	c (157,0) c ReduceDBs_3 : 24
1095.70/161.95	c (157,0) c ReduceDBs_4 : 25
1095.70/161.95	c (157,0) c ReduceDBs_5 : 25
1095.70/161.95	c (157,0) c ReduceDBs_6 : 24
1095.70/161.95	c (157,0) c ReduceDBs_7 : 24
1095.70/161.95	c (157,0) c ReduceDBs_total : 196
1095.70/161.95	c (157,0) c ReduceDBs_winner : 25
1095.70/161.95	c (157,0) c SimpDBs_0 : 9
1095.70/161.95	c (157,0) c SimpDBs_1 : 10
1095.70/161.95	c (157,0) c SimpDBs_2 : 10
1095.70/161.95	c (157,0) c SimpDBs_3 : 12
1095.70/161.95	c (157,0) c SimpDBs_4 : 11
1095.70/161.95	c (157,0) c SimpDBs_5 : 10
1095.70/161.95	c (157,0) c SimpDBs_6 : 12
1095.70/161.95	c (157,0) c SimpDBs_7 : 11
1095.70/161.95	c (157,0) c SimpDBs_total : 85
1095.70/161.95	c (157,0) c SimpDBs_winner : 10
1095.70/161.95	c (157,0) c Restarts_0 : 809
1095.70/161.95	c (157,0) c Restarts_1 : 562
1095.70/161.95	c (157,0) c Restarts_2 : 709
1095.70/161.95	c (157,0) c Restarts_3 : 743
1095.70/161.95	c (157,0) c Restarts_4 : 1011
1095.70/161.95	c (157,0) c Restarts_5 : 601
1095.70/161.95	c (157,0) c Restarts_6 : 520
1095.70/161.95	c (157,0) c Restarts_7 : 582
1095.70/161.95	c (157,0) c Restarts_total : 5537
1095.70/161.95	c (157,0) c Restarts_winner : 601
1095.70/161.95	c (157,0) c ForcedImports_0 : 0
1095.70/161.95	c (157,0) c ForcedImports_1 : 0
1095.70/161.95	c (157,0) c ForcedImports_2 : 0
1095.70/161.95	c (157,0) c ForcedImports_3 : 0
1095.70/161.95	c (157,0) c ForcedImports_4 : 0
1095.70/161.95	c (157,0) c ForcedImports_5 : 0
1095.70/161.95	c (157,0) c ForcedImports_6 : 0
1095.70/161.95	c (157,0) c ForcedImports_7 : 0
1095.70/161.95	c (157,0) c ForcedImports_total : 0
1095.70/161.95	c (157,0) c ForcedImports_winner : 0
1095.70/161.95	c (157,0) c PropsBinClauses_0 : 131589202
1095.70/161.95	c (157,0) c PropsBinClauses_1 : 132405126
1095.70/161.95	c (157,0) c PropsBinClauses_2 : 132826228
1095.70/161.95	c (157,0) c PropsBinClauses_3 : 136093378
1095.70/161.95	c (157,0) c PropsBinClauses_4 : 130253372
1095.70/161.95	c (157,0) c PropsBinClauses_5 : 132141534
1095.70/161.95	c (157,0) c PropsBinClauses_6 : 135736650
1095.70/161.95	c (157,0) c PropsBinClauses_7 : 133378248
1095.70/161.95	c (157,0) c PropsBinClauses_total : 1064423738
1095.70/161.95	c (157,0) c PropsBinClauses_winner : 132141534
1095.70/161.95	c (157,0) c PropsPreBlocker_0 : 4724519596
1095.70/161.95	c (157,0) c PropsPreBlocker_1 : 4678065771
1095.70/161.95	c (157,0) c PropsPreBlocker_2 : 4741585800
1095.70/161.95	c (157,0) c PropsPreBlocker_3 : 4686031301
1095.70/161.95	c (157,0) c PropsPreBlocker_4 : 4654890482
1095.70/161.95	c (157,0) c PropsPreBlocker_5 : 4711656712
1095.70/161.95	c (157,0) c PropsPreBlocker_6 : 4723303337
1095.70/161.95	c (157,0) c PropsPreBlocker_7 : 4674193182
1095.70/161.95	c (157,0) c PropsPreBlocker_total : 37594246181
1095.70/161.95	c (157,0) c PropsPreBlocker_winner : 4711656712
1095.70/161.95	c (157,0) c PropsNotBlocker_0 : 788582920
1095.70/161.95	c (157,0) c PropsNotBlocker_1 : 787385505
1095.70/161.95	c (157,0) c PropsNotBlocker_2 : 783294895
1095.70/161.95	c (157,0) c PropsNotBlocker_3 : 798430351
1095.70/161.95	c (157,0) c PropsNotBlocker_4 : 800985381
1095.70/161.95	c (157,0) c PropsNotBlocker_5 : 791371595
1095.70/161.95	c (157,0) c PropsNotBlocker_6 : 788186650
1095.70/161.95	c (157,0) c PropsNotBlocker_7 : 793391794
1095.70/161.95	c (157,0) c PropsNotBlocker_total : 6331629091
1095.70/161.95	c (157,0) c PropsNotBlocker_winner : 791371595
1095.70/161.95	c (157,0) c PropsLitFullScans_0 : 8329549172
1095.70/161.95	c (157,0) c PropsLitFullScans_1 : 8329462685
1095.70/161.95	c (157,0) c PropsLitFullScans_2 : 8329783881
1095.70/161.95	c (157,0) c PropsLitFullScans_3 : 8329261241
1095.70/161.95	c (157,0) c PropsLitFullScans_4 : 8329313684
1095.70/161.95	c (157,0) c PropsLitFullScans_5 : 8330811328
1095.70/161.95	c (157,0) c PropsLitFullScans_6 : 8335583195
1095.70/161.95	c (157,0) c PropsLitFullScans_7 : 8329496009
1095.70/161.95	c (157,0) c PropsLitFullScans_total : 66643261195
1095.70/161.95	c (157,0) c PropsLitFullScans_winner : 8330811328
1095.70/161.95	c (157,0) c LitScanFractions_0 : 1529506
1095.70/161.95	c (157,0) c LitScanFractions_1 : 1441518
1095.70/161.95	c (157,0) c LitScanFractions_2 : 1779294
1095.70/161.95	c (157,0) c LitScanFractions_3 : 1254089
1095.70/161.95	c (157,0) c LitScanFractions_4 : 1309168
1095.70/161.95	c (157,0) c LitScanFractions_5 : 1376609
1095.70/161.95	c (157,0) c LitScanFractions_6 : 1579440
1095.70/161.95	c (157,0) c LitScanFractions_7 : 1491876
1095.70/161.95	c (157,0) c LitScanFractions_total : 11761500
1095.70/161.95	c (157,0) c LitScanFractions_winner : 1376609
1095.70/161.95	c (157,0) c DecisionLevel0_0 : 820
1095.70/161.95	c (157,0) c DecisionLevel0_1 : 571
1095.70/161.95	c (157,0) c DecisionLevel0_2 : 724
1095.70/161.95	c (157,0) c DecisionLevel0_3 : 756
1095.70/161.95	c (157,0) c DecisionLevel0_4 : 1024
1095.70/161.95	c (157,0) c DecisionLevel0_5 : 618
1095.70/161.95	c (157,0) c DecisionLevel0_6 : 530
1095.70/161.95	c (157,0) c DecisionLevel0_7 : 591
1095.70/161.95	c (157,0) c DecisionLevel0_total : 5634
1095.70/161.95	c (157,0) c DecisionLevel0_winner : 618
1095.70/161.95	c (157,0) c Periods_0 : 1388
1095.70/161.95	c (157,0) c Periods_1 : 1388
1095.70/161.95	c (157,0) c Periods_2 : 1388
1095.70/161.95	c (157,0) c Periods_3 : 1388
1095.70/161.95	c (157,0) c Periods_4 : 1388
1095.70/161.95	c (157,0) c Periods_5 : 1388
1095.70/161.95	c (157,0) c Periods_6 : 1389
1095.70/161.95	c (157,0) c Periods_7 : 1388
1095.70/161.95	c (157,0) c Periods_total : 11105
1095.70/161.95	c (157,0) c Periods_winner : 1388
1095.70/161.95	c (157,0) c Margin_0 : 20
1095.70/161.95	c (157,0) c Margin_1 : 20
1095.70/161.95	c (157,0) c Margin_2 : 20
1095.70/161.95	c (157,0) c Margin_3 : 20
1095.70/161.95	c (157,0) c Margin_4 : 20
1095.70/161.95	c (157,0) c Margin_5 : 20
1095.70/161.95	c (157,0) c Margin_6 : 20
1095.70/161.95	c (157,0) c Margin_7 : 20
1095.70/161.95	c (157,0) c Margin_total : 160
1095.70/161.95	c (157,0) c Margin_winner : 20
1095.70/161.95	c (157,0) c Exported_0 : 91642
1095.70/161.95	c (157,0) c Exported_1 : 84110
1095.70/161.95	c (157,0) c Exported_2 : 90284
1095.70/161.95	c (157,0) c Exported_3 : 89445
1095.70/161.95	c (157,0) c Exported_4 : 89453
1095.70/161.95	c (157,0) c Exported_5 : 100922
1095.70/161.95	c (157,0) c Exported_6 : 93349
1095.70/161.95	c (157,0) c Exported_7 : 94844
1095.70/161.95	c (157,0) c Exported_total : 734049
1095.70/161.95	c (157,0) c Exported_winner : 100922
1095.70/161.95	c (157,0) c Imported_0 : 637617
1095.70/161.95	c (157,0) c Imported_1 : 644850
1095.70/161.95	c (157,0) c Imported_2 : 639114
1095.70/161.95	c (157,0) c Imported_3 : 638253
1095.70/161.95	c (157,0) c Imported_4 : 640040
1095.70/161.95	c (157,0) c Imported_5 : 628778
1095.70/161.95	c (157,0) c Imported_6 : 626775
1095.70/161.95	c (157,0) c Imported_7 : 634016
1095.70/161.95	c (157,0) c Imported_total : 5089443
1095.70/161.95	c (157,0) c Imported_winner : 628778
1095.70/161.95	c (157,0) c Good_0 : 1824
1095.70/161.95	c (157,0) c Good_1 : 1834
1095.70/161.95	c (157,0) c Good_2 : 1815
1095.70/161.95	c (157,0) c Good_3 : 1775
1095.70/161.95	c (157,0) c Good_4 : 1814
1095.70/161.95	c (157,0) c Good_5 : 1830
1095.70/161.95	c (157,0) c Good_6 : 1824
1095.70/161.95	c (157,0) c Good_7 : 1836
1095.70/161.95	c (157,0) c Good_total : 14552
1095.70/161.95	c (157,0) c Good_winner : 1830
1095.70/161.95	c (157,0) c Purge_0 : 635793
1095.70/161.95	c (157,0) c Purge_1 : 643016
1095.70/161.95	c (157,0) c Purge_2 : 637299
1095.70/161.95	c (157,0) c Purge_3 : 636478
1095.70/161.95	c (157,0) c Purge_4 : 638226
1095.70/161.95	c (157,0) c Purge_5 : 626948
1095.70/161.95	c (157,0) c Purge_6 : 624951
1095.70/161.95	c (157,0) c Purge_7 : 632180
1095.70/161.95	c (157,0) c Purge_total : 5074891
1095.70/161.95	c (157,0) c Purge_winner : 626948
1095.70/161.95	c (157,0) c Promoted_0 : 51409
1095.70/161.95	c (157,0) c Promoted_1 : 52226
1095.70/161.95	c (157,0) c Promoted_2 : 49386
1095.70/161.95	c (157,0) c Promoted_3 : 51653
1095.70/161.95	c (157,0) c Promoted_4 : 54815
1095.70/161.95	c (157,0) c Promoted_5 : 52063
1095.70/161.95	c (157,0) c Promoted_6 : 52147
1095.70/161.95	c (157,0) c Promoted_7 : 52551
1095.70/161.95	c (157,0) c Promoted_total : 416250
1095.70/161.95	c (157,0) c Promoted_winner : 52063
1095.70/161.95	c (157,0) c Remove_Imp_0 : 502104
1095.70/161.95	c (157,0) c Remove_Imp_1 : 507089
1095.70/161.95	c (157,0) c Remove_Imp_2 : 499530
1095.70/161.95	c (157,0) c Remove_Imp_3 : 498305
1095.70/161.95	c (157,0) c Remove_Imp_4 : 507033
1095.70/161.95	c (157,0) c Remove_Imp_5 : 499180
1095.70/161.95	c (157,0) c Remove_Imp_6 : 486073
1095.70/161.95	c (157,0) c Remove_Imp_7 : 485438
1095.70/161.95	c (157,0) c Remove_Imp_total : 3984752
1095.70/161.95	c (157,0) c Remove_Imp_winner : 499180
1095.70/161.95	c (157,0) c Blocked_Reuse_0 : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_1 : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_2 : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_3 : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_4 : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_5 : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_6 : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_7 : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_total : 0
1095.70/161.95	c (157,0) c Blocked_Reuse_winner : 0
1095.70/161.95	c (157,0) c Unaries_0 : 11
1095.70/161.95	c (157,0) c Unaries_1 : 9
1095.70/161.95	c (157,0) c Unaries_2 : 15
1095.70/161.95	c (157,0) c Unaries_3 : 13
1095.70/161.95	c (157,0) c Unaries_4 : 13
1095.70/161.95	c (157,0) c Unaries_5 : 17
1095.70/161.95	c (157,0) c Unaries_6 : 10
1095.70/161.95	c (157,0) c Unaries_7 : 9
1095.70/161.95	c (157,0) c Unaries_total : 97
1095.70/161.95	c (157,0) c Unaries_winner : 17
1095.70/161.95	c (157,0) c Binaries_0 : 274
1095.70/161.95	c (157,0) c Binaries_1 : 253
1095.70/161.95	c (157,0) c Binaries_2 : 292
1095.70/161.95	c (157,0) c Binaries_3 : 310
1095.70/161.95	c (157,0) c Binaries_4 : 279
1095.70/161.95	c (157,0) c Binaries_5 : 271
1095.70/161.95	c (157,0) c Binaries_6 : 228
1095.70/161.95	c (157,0) c Binaries_7 : 248
1095.70/161.95	c (157,0) c Binaries_total : 2155
1095.70/161.95	c (157,0) c Binaries_winner : 271
1095.70/161.95	c (157,0) c Glues_0 : 1011
1095.70/161.95	c (157,0) c Glues_1 : 969
1095.70/161.95	c (157,0) c Glues_2 : 995
1095.70/161.95	c (157,0) c Glues_3 : 1051
1095.70/161.95	c (157,0) c Glues_4 : 1034
1095.70/161.95	c (157,0) c Glues_5 : 940
1095.70/161.95	c (157,0) c Glues_6 : 892
1095.70/161.95	c (157,0) c Glues_7 : 905
1095.70/161.95	c (157,0) c Glues_total : 7797
1095.70/161.95	c (157,0) c Glues_winner : 940
1095.70/161.95	c (157,0) c RunningTime_0 : 144.473036
1095.70/161.95	c (157,0) c RunningTime_1 : 136.773157
1095.70/161.95	c (157,0) c RunningTime_2 : 119.791160
1095.70/161.95	c (157,0) c RunningTime_3 : 143.760834
1095.70/161.95	c (157,0) c RunningTime_4 : 156.424445
1095.70/161.95	c (157,0) c RunningTime_5 : 118.974403
1095.70/161.95	c (157,0) c RunningTime_6 : 120.807663
1095.70/161.95	c (157,0) c RunningTime_7 : 142.479691
1095.70/161.95	c (157,0) c RunningTime_total : 1083.484389
1095.70/161.95	c (157,0) c RunningTime_winner : 118.974403
1095.70/161.95	c (157,0) c WaitingTime_0 : 10.733963
1095.70/161.95	c (157,0) c WaitingTime_1 : 18.592123
1095.70/161.95	c (157,0) c WaitingTime_2 : 35.356308
1095.70/161.95	c (157,0) c WaitingTime_3 : 11.505327
1095.70/161.95	c (157,0) c WaitingTime_4 : 0.001728
1095.70/161.95	c (157,0) c WaitingTime_5 : 36.107120
1095.70/161.95	c (157,0) c WaitingTime_6 : 34.354144
1095.70/161.95	c (157,0) c WaitingTime_7 : 12.677718
1095.70/161.95	c (157,0) c WaitingTime_total : 159.328430
1095.70/161.95	c (157,0) c WaitingTime_winner : 36.107120
1095.70/161.95	c (157,0) c ExchangingTime_0 : 0.345856
1095.70/161.95	c (157,0) c ExchangingTime_1 : 0.335892
1095.70/161.95	c (157,0) c ExchangingTime_2 : 0.362066
1095.70/161.95	c (157,0) c ExchangingTime_3 : 0.341397
1095.70/161.95	c (157,0) c ExchangingTime_4 : 0.347045
1095.70/161.95	c (157,0) c ExchangingTime_5 : 0.391180
1095.70/161.95	c (157,0) c ExchangingTime_6 : 0.368293
1095.70/161.95	c (157,0) c ExchangingTime_7 : 0.334870
1095.70/161.95	c (157,0) c ExchangingTime_total : 2.826598
1095.70/161.95	c (157,0) c ExchangingTime_winner : 0.391180
1095.70/161.95	c (157,0) c PeriodProcTime_0 : 0.013663
1095.70/161.95	c (157,0) c PeriodProcTime_1 : 0.013287
1095.70/161.95	c (157,0) c PeriodProcTime_2 : 0.013083
1095.70/161.95	c (157,0) c PeriodProcTime_3 : 0.012012
1095.70/161.95	c (157,0) c PeriodProcTime_4 : 0.020209
1095.70/161.95	c (157,0) c PeriodProcTime_5 : 0.014188
1095.70/161.95	c (157,0) c PeriodProcTime_6 : 0.013294
1095.70/161.95	c (157,0) c PeriodProcTime_7 : 0.013198
1095.70/161.95	c (157,0) c PeriodProcTime_total : 0.112934
1095.70/161.95	c (157,0) c PeriodProcTime_winner : 0.014188
1095.70/161.95	c (157,0) c SolvingTime_0 : 155.566517
1095.70/161.95	c (157,0) c SolvingTime_1 : 155.714460
1095.70/161.95	c (157,0) c SolvingTime_2 : 155.522618
1095.70/161.95	c (157,0) c SolvingTime_3 : 155.619569
1095.70/161.95	c (157,0) c SolvingTime_4 : 156.793427
1095.70/161.95	c (157,0) c SolvingTime_5 : 155.486890
1095.70/161.96	c (157,0) c SolvingTime_6 : 155.543395
1095.70/161.96	c (157,0) c SolvingTime_7 : 155.505476
1095.70/161.96	c (157,0) c SolvingTime_total : 1245.752352
1095.70/161.96	c (157,0) c SolvingTime_winner : 155.486890
1095.70/161.96	c (157,0) c PropagationTime_0 : 112.022763
1095.70/161.96	c (157,0) c PropagationTime_1 : 113.333201
1095.70/161.96	c (157,0) c PropagationTime_2 : 134.592587
1095.70/161.96	c (157,0) c PropagationTime_3 : 106.796217
1095.70/161.96	c (157,0) c PropagationTime_4 : 98.541708
1095.70/161.96	c (157,0) c PropagationTime_5 : 137.383406
1095.70/161.96	c (157,0) c PropagationTime_6 : 133.824388
1095.70/161.96	c (157,0) c PropagationTime_7 : 110.266309
1095.70/161.96	c (157,0) c PropagationTime_total : 946.760579
1095.70/161.96	c (157,0) c PropagationTime_winner : 137.383406
1095.70/161.96	c (157,0) c AnalysisTime_0 : 39.959311
1095.70/161.96	c (157,0) c AnalysisTime_1 : 38.877813
1095.70/161.96	c (157,0) c AnalysisTime_2 : 17.375660
1095.70/161.96	c (157,0) c AnalysisTime_3 : 45.248134
1095.70/161.96	c (157,0) c AnalysisTime_4 : 54.801007
1095.70/161.96	c (157,0) c AnalysisTime_5 : 14.251406
1095.70/161.96	c (157,0) c AnalysisTime_6 : 18.176257
1095.70/161.96	c (157,0) c AnalysisTime_7 : 41.669379
1095.70/161.96	c (157,0) c AnalysisTime_total : 270.358968
1095.70/161.96	c (157,0) c AnalysisTime_winner : 14.251406
1095.70/161.96	c (157,0) c ReductionTime_0 : 1.367680
1095.70/161.96	c (157,0) c ReductionTime_1 : 1.289585
1095.70/161.96	c (157,0) c ReductionTime_2 : 1.319309
1095.70/161.96	c (157,0) c ReductionTime_3 : 1.280017
1095.70/161.96	c (157,0) c ReductionTime_4 : 1.211604
1095.70/161.96	c (157,0) c ReductionTime_5 : 1.504438
1095.70/161.96	c (157,0) c ReductionTime_6 : 1.340678
1095.70/161.96	c (157,0) c ReductionTime_7 : 1.393228
1095.70/161.96	c (157,0) c ReductionTime_total : 10.706540
1095.70/161.96	c (157,0) c ReductionTime_winner : 1.504438
1095.70/161.96	c (157,0) c SimplifyTime_0 : 0.050556
1095.70/161.96	c (157,0) c SimplifyTime_1 : 0.052766
1095.70/161.96	c (157,0) c SimplifyTime_2 : 0.101424
1095.70/161.96	c (157,0) c SimplifyTime_3 : 0.141699
1095.70/161.96	c (157,0) c SimplifyTime_4 : 0.051052
1095.70/161.96	c (157,0) c SimplifyTime_5 : 0.133712
1095.70/161.96	c (157,0) c SimplifyTime_6 : 0.045004
1095.70/161.96	c (157,0) c SimplifyTime_7 : 0.058745
1095.70/161.96	c (157,0) c SimplifyTime_total : 0.634958
1095.70/161.96	c (157,0) c SimplifyTime_winner : 0.133712
1095.70/161.96	c (157,0) c UsedRateTime_0 : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_1 : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_2 : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_3 : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_4 : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_5 : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_6 : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_7 : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_total : 0.000000
1095.70/161.96	c (157,0) c UsedRateTime_winner : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_0 : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_1 : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_2 : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_3 : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_4 : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_5 : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_6 : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_7 : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_total : 0.000000
1095.70/161.96	c (157,0) c OverlapRateTime_winner : 0.000000
1095.70/161.96	c (157,0) c
1095.70/161.96	c (157,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1095.70/161.96	c (157,0) c
1095.70/161.96	c (157,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.96	c (157,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1095.70/161.96	c (157,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.96	c (157,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1095.70/161.96	c (157,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1095.70/161.96	c (157,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1095.70/161.96	c (157,0) c | Initial random_seed   |  226624572 |  168317169 |  613179294 |   49476567 |  384444753 |  315233000 | 1260629364 |  473893524 |
1095.70/161.96	c (157,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1095.70/161.96	c (157,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1095.70/161.96	c (157,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1095.70/161.96	c (157,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1095.70/161.96	c (157,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1095.70/161.96	c (157,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1095.70/161.96	c (157,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1095.70/161.96	c (157,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1095.70/161.96	c (157,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1095.70/161.96	c (157,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1095.70/161.96	c (157,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1095.70/161.96	c (157,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1095.70/161.96	c (157,0) 
1095.70/161.96	c (157,0) s UNSATISFIABLE
1095.70/161.97	c (157,0) SatSolver.solve End
1095.70/161.97	c (157,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1095.70/161.97	c (157,0) Show results Begin
1095.70/161.97	s UNSATISFIABLE
1095.70/161.97	c (157,0) Show results End
1095.70/161.97	c (157,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1095.70/161.97	c (157,0) 157,157,STOP-AFTER(ALL)
1095.70/161.97	c END-Prog: Tue Sep 24 18:40:36 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 (12746 MiB free)
  memory of node 1: 16384 MiB (10070 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405299-1569343114/watcher-4405299-1569343114 -o /tmp/evaluation-result-4405299-1569343114/solver-4405299-1569343114 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405299-1569343114.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=11563, runsolver pid=11560
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 6.27 3.52 4.42 2/211 11585
/proc/meminfo: memFree=23269964/32770624 swapFree=66956496/67108860
[pid=11563] ppid=11560 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11563/stat : 11563 (scop.sh) S 11560 11563 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510582728 115843072 349 33554432000 4194304 5098028 140733139264832 140733139262088 140258954863228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37634048 140733139268389 140733139268716 140733139268716 140733139271629 0
/proc/11563/statm: 28282 349 296 221 0 87 0
[pid=11566] ppid=11563 vsize=27314120 memory=107636 CPUtime=0.11 cores=0-7
/proc/11566/stat : 11566 (java) S 11563 11563 8819 0 -1 1077944320 6480 0 0 0 9 2 0 0 20 0 20 0 510582728 27969658880 26909 33554432000 4194304 4196468 140735143055312 140735143037856 140302475386615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
/proc/11566/statm: 6828530 26909 2801 1 0 6790935 0
[pid=11566/tid=11567] ppid=11563 vsize=27314120 memory=8040502517855854493 CPUtime=0.08 cores=0-7
/proc/11566/task/11567/stat : 11567 (java) R 11563 11563 8819 0 -1 4202560 4582 0 0 0 7 1 0 0 20 0 20 0 510582729 27969658880 26909 33554432000 4194304 4196468 140735143055312 140302447212944 140302461454734 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11568] ppid=11563 vsize=27314120 memory=732370832535124965 CPUtime=0 cores=0-7
/proc/11566/task/11568/stat : 11568 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 26909 33554432000 4194304 4196468 140735143055312 140302479628688 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11569] ppid=11563 vsize=27314120 memory=140694197671552 CPUtime=0 cores=0-7
/proc/11566/task/11569/stat : 11569 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 26909 33554432000 4194304 4196468 140735143055312 140302293784848 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11570] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11570/stat : 11570 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 26909 33554432000 4194304 4196468 140735143055312 140302292732560 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11571] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11571/stat : 11571 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 26909 33554432000 4194304 4196468 140735143055312 140302291679760 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11572] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11572/stat : 11572 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 26909 33554432000 4194304 4196468 140735143055312 140302290627472 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11573] ppid=11563 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11566/task/11573/stat : 11573 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 26909 33554432000 4194304 4196468 140735143055312 140302289574672 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11574] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11574/stat : 11574 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 27421 33554432000 4194304 4196468 140735143055312 140302288522384 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11575] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11575/stat : 11575 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 27421 33554432000 4194304 4196468 140735143055312 140301891697680 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11576] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11576/stat : 11576 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 27421 33554432000 4194304 4196468 140735143055312 140300526745712 140302475397762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11577] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11577/stat : 11577 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 27421 33554432000 4194304 4196468 140735143055312 140300408316704 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11578] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11578/stat : 11578 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 27421 33554432000 4194304 4196468 140735143055312 140300139881584 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11579] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11579/stat : 11579 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 27421 33554432000 4194304 4196468 140735143055312 140299765373008 140302475405211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11580] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11580/stat : 11580 (java) S 11563 11563 8819 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 27421 33554432000 4194304 4196468 140735143055312 140300525693552 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11581] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11581/stat : 11581 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 27421 33554432000 4194304 4196468 140735143055312 140300524640752 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11582] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11582/stat : 11582 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 27421 33554432000 4194304 4196468 140735143055312 140300523588464 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11583] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11583/stat : 11583 (java) S 11563 11563 8819 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 27421 33554432000 4194304 4196468 140735143055312 140300522535664 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11584] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11584/stat : 11584 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 27421 33554432000 4194304 4196468 140735143055312 140299267467616 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11585] ppid=11563 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11566/task/11585/stat : 11585 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 27421 33554432000 4194304 4196468 140735143055312 140300521482544 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109032 KiB

[startup+0.210147 s]*
/proc/loadavg: 6.27 3.52 4.42 3/211 11585
/proc/meminfo: memFree=23251268/32770624 swapFree=66956496/67108860
[pid=11563] ppid=11560 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11563/stat : 11563 (scop.sh) S 11560 11563 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510582728 115843072 349 33554432000 4194304 5098028 140733139264832 140733139262088 140258954863228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37634048 140733139268389 140733139268716 140733139268716 140733139271629 0
/proc/11563/statm: 28282 349 296 221 0 87 0
[pid=11566] ppid=11563 vsize=27314120 memory=124492 CPUtime=0.24 cores=0-7
/proc/11566/stat : 11566 (java) S 11563 11563 8819 0 -1 1077944320 11471 0 0 0 21 3 0 0 20 0 20 0 510582728 27969658880 31123 33554432000 4194304 4196468 140735143055312 140735143037856 140302475386615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
/proc/11566/statm: 6828530 31123 2957 1 0 6790935 0
[pid=11566/tid=11567] ppid=11563 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/11566/task/11567/stat : 11567 (java) R 11563 11563 8819 0 -1 4202560 9188 0 0 0 17 3 0 0 20 0 20 0 510582729 27969658880 31123 33554432000 4194304 4196468 140735143055312 140302447186000 140302455662496 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11568] ppid=11563 vsize=27314120 memory=732370832535124965 CPUtime=0 cores=0-7
/proc/11566/task/11568/stat : 11568 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 31123 33554432000 4194304 4196468 140735143055312 140302479628688 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11569] ppid=11563 vsize=27314120 memory=140694197671552 CPUtime=0 cores=0-7
/proc/11566/task/11569/stat : 11569 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 31123 33554432000 4194304 4196468 140735143055312 140302293784848 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11570] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11570/stat : 11570 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 31123 33554432000 4194304 4196468 140735143055312 140302292732560 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11571] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11571/stat : 11571 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 31123 33554432000 4194304 4196468 140735143055312 140302291679760 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11572] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11572/stat : 11572 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 31123 33554432000 4194304 4196468 140735143055312 140302290627472 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11573] ppid=11563 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11566/task/11573/stat : 11573 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 31123 33554432000 4194304 4196468 140735143055312 140302289574672 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11574] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11574/stat : 11574 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 31123 33554432000 4194304 4196468 140735143055312 140302288522384 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11575] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11575/stat : 11575 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 31123 33554432000 4194304 4196468 140735143055312 140301891697680 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11576] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11576/stat : 11576 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 31123 33554432000 4194304 4196468 140735143055312 140300526745712 140302475397762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11577] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11577/stat : 11577 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 31123 33554432000 4194304 4196468 140735143055312 140300408316704 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11578] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11578/stat : 11578 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 31123 33554432000 4194304 4196468 140735143055312 140300139881584 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11579] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11579/stat : 11579 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 31123 33554432000 4194304 4196468 140735143055312 140299765373008 140302475405211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11580] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11580/stat : 11580 (java) S 11563 11563 8819 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 31123 33554432000 4194304 4196468 140735143055312 140300525693552 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11581] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11581/stat : 11581 (java) S 11563 11563 8819 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 31123 33554432000 4194304 4196468 140735143055312 140300524640752 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11582] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11582/stat : 11582 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 31123 33554432000 4194304 4196468 140735143055312 140300523588464 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11583] ppid=11563 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/11566/task/11583/stat : 11583 (java) S 11563 11563 8819 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 510582736 27969658880 31123 33554432000 4194304 4196468 140735143055312 140300522535664 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11584] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11584/stat : 11584 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 31123 33554432000 4194304 4196468 140735143055312 140299267467616 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11585] ppid=11563 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11566/task/11585/stat : 11585 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 31123 33554432000 4194304 4196468 140735143055312 140300521482544 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125888 KiB

[startup+0.309484 s]*
/proc/loadavg: 6.27 3.52 4.42 2/211 11585
/proc/meminfo: memFree=23248836/32770624 swapFree=66956496/67108860
[pid=11563] ppid=11560 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11563/stat : 11563 (scop.sh) S 11560 11563 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510582728 115843072 349 33554432000 4194304 5098028 140733139264832 140733139262088 140258954863228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37634048 140733139268389 140733139268716 140733139268716 140733139271629 0
/proc/11563/statm: 28282 349 296 221 0 87 0
[pid=11566] ppid=11563 vsize=27314120 memory=128172 CPUtime=0.42 cores=0-7
/proc/11566/stat : 11566 (java) S 11563 11563 8819 0 -1 1077944320 12415 0 0 0 38 4 0 0 20 0 20 0 510582728 27969658880 32043 33554432000 4194304 4196468 140735143055312 140735143037856 140302475386615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
/proc/11566/statm: 6828530 32043 3029 1 0 6790935 0
[pid=11566/tid=11567] ppid=11563 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11566/task/11567/stat : 11567 (java) R 11563 11563 8819 0 -1 4202560 9956 0 0 0 26 3 0 0 20 0 20 0 510582729 27969658880 32043 33554432000 4194304 4196468 140735143055312 140302447169632 140302459467102 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11568] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11568/stat : 11568 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 32043 33554432000 4194304 4196468 140735143055312 140302479628688 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11569] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11569/stat : 11569 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 32043 33554432000 4194304 4196468 140735143055312 140302293784848 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11570] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11570/stat : 11570 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 32043 33554432000 4194304 4196468 140735143055312 140302292732560 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11571] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11571/stat : 11571 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 32043 33554432000 4194304 4196468 140735143055312 140302291679760 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11572] ppid=11563 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/11566/task/11572/stat : 11572 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 32043 33554432000 4194304 4196468 140735143055312 140302290627472 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11573] ppid=11563 vsize=27314120 memory=140694069015471 CPUtime=0 cores=0-7
/proc/11566/task/11573/stat : 11573 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 32043 33554432000 4194304 4196468 140735143055312 140302289574672 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11574] ppid=11563 vsize=27314120 memory=140694069017776 CPUtime=0 cores=0-7
/proc/11566/task/11574/stat : 11574 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 32043 33554432000 4194304 4196468 140735143055312 140302288522384 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11575] ppid=11563 vsize=27314120 memory=140694069020080 CPUtime=0 cores=0-7
/proc/11566/task/11575/stat : 11575 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27969658880 32043 33554432000 4194304 4196468 140735143055312 140301891697680 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11576] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11576/stat : 11576 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 32043 33554432000 4194304 4196468 140735143055312 140300526745712 140302475397762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11577] ppid=11563 vsize=27314120 memory=281388138047120 CPUtime=0 cores=0-7
/proc/11566/task/11577/stat : 11577 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 32043 33554432000 4194304 4196468 140735143055312 140300408316704 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11578] ppid=11563 vsize=27314120 memory=281388138054032 CPUtime=0 cores=0-7
/proc/11566/task/11578/stat : 11578 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582733 27969658880 32043 33554432000 4194304 4196468 140735143055312 140300139881584 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11579] ppid=11563 vsize=27314120 memory=281388137995312 CPUtime=0 cores=0-7
/proc/11566/task/11579/stat : 11579 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 32043 33554432000 4194304 4196468 140735143055312 140299765373008 140302475405211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11580] ppid=11563 vsize=27314120 memory=281388138067856 CPUtime=0.02 cores=0-7
/proc/11566/task/11580/stat : 11580 (java) S 11563 11563 8819 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 20 0 510582736 27969658880 32043 33554432000 4194304 4196468 140735143055312 140300525693552 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11581] ppid=11563 vsize=27314120 memory=281388138074768 CPUtime=0.01 cores=0-7
/proc/11566/task/11581/stat : 11581 (java) S 11563 11563 8819 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 510582736 27969658880 32043 33554432000 4194304 4196468 140735143055312 140300524640752 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11582] ppid=11563 vsize=27314120 memory=281388138072464 CPUtime=0 cores=0-7
/proc/11566/task/11582/stat : 11582 (java) R 11563 11563 8819 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 32043 33554432000 4194304 4196468 140735143055312 140300523588464 140302453021264 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11583] ppid=11563 vsize=27314120 memory=281388138088624 CPUtime=0.07 cores=0-7
/proc/11566/task/11583/stat : 11583 (java) S 11563 11563 8819 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 510582736 27969658880 32043 33554432000 4194304 4196468 140735143055312 140300522535664 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11584] ppid=11563 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11566/task/11584/stat : 11584 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 32043 33554432000 4194304 4196468 140735143055312 140299267467616 140302475396821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11585] ppid=11563 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11566/task/11585/stat : 11585 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582736 27969658880 32043 33554432000 4194304 4196468 140735143055312 140300521482544 140302475397762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129568 KiB

[startup+0.700875 s]
/proc/loadavg: 6.27 3.52 4.42 3/211 11585
/proc/meminfo: memFree=23226244/32770624 swapFree=66956496/67108860
[pid=11563] ppid=11560 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11563/stat : 11563 (scop.sh) S 11560 11563 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510582728 115843072 349 33554432000 4194304 5098028 140733139264832 140733139262088 140258954863228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37634048 140733139268389 140733139268716 140733139268716 140733139271629 0
/proc/11563/statm: 28282 349 296 221 0 87 0
[pid=11566] ppid=11563 vsize=27320392 memory=165244 CPUtime=1.01 cores=0-7
/proc/11566/stat : 11566 (java) S 11563 11563 8819 0 -1 1077944320 19931 0 0 0 95 6 0 0 20 0 20 0 510582728 27976081408 41311 33554432000 4194304 4196468 140735143055312 140735143037856 140302475386615 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
/proc/11566/statm: 6830098 41311 3183 1 0 6791447 0
[pid=11566/tid=11567] ppid=11563 vsize=27320392 memory=281388138383552 CPUtime=0.68 cores=0-7
/proc/11566/task/11567/stat : 11567 (java) R 11563 11563 8819 0 -1 4202560 16900 0 0 0 63 5 0 0 20 0 20 0 510582729 27976081408 41311 33554432000 4194304 4196468 140735143055312 140302447215200 140301968755699 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11568] ppid=11563 vsize=27320392 memory=1560 CPUtime=0 cores=0-7
/proc/11566/task/11568/stat : 11568 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510582731 27976081408 41311 33554432000 4194304 4196468 140735143055312 140302479628688 140302475396821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11569] ppid=11563 vsize=27320392 memory=976 CPUtime=0 cores=0-7
/proc/11566/task/11569/stat : 11569 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27976081408 41311 33554432000 4194304 4196468 140735143055312 140302293784848 140302475396821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0
[pid=11566/tid=11570] ppid=11563 vsize=27320392 memory=772 CPUtime=0 cores=0-7
/proc/11566/task/11570/stat : 11570 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510582731 27976081408 41311 33554432000 4194304 4196468 140735143055312 140302292732560 140302475396821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140735143060203 140735143060630 140735143060630 140735143063503 0

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

[pid=11586/tid=11596] ppid=11563 vsize=8414124 memory=121648 CPUtime=0 cores=0-7
/proc/11586/task/11596/stat : 11596 (java) S 11563 11563 8819 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510583162 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725664442992 139726839442050 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11597] ppid=11563 vsize=8414124 memory=615864 CPUtime=0 cores=0-7
/proc/11586/task/11597/stat : 11597 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510583163 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725486679328 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11598] ppid=11563 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/11586/task/11598/stat : 11598 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583163 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725218244208 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11599] ppid=11563 vsize=8414124 memory=4864 CPUtime=0 cores=0-7
/proc/11586/task/11599/stat : 11599 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139724843735632 139726839449499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11600] ppid=11563 vsize=8414124 memory=4100 CPUtime=0.07 cores=0-7
/proc/11586/task/11600/stat : 11600 (java) S 11563 11563 8819 0 -1 1077944384 680 0 0 0 7 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725663389808 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11601] ppid=11563 vsize=8414124 memory=2032 CPUtime=0.06 cores=0-7
/proc/11586/task/11601/stat : 11601 (java) S 11563 11563 8819 0 -1 1077944384 336 0 0 0 6 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725662337008 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11602] ppid=11563 vsize=8414124 memory=1328 CPUtime=0.05 cores=0-7
/proc/11586/task/11602/stat : 11602 (java) S 11563 11563 8819 0 -1 1077944384 181 0 0 0 5 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725661284720 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11603] ppid=11563 vsize=8414124 memory=1560 CPUtime=0.2 cores=0-7
/proc/11586/task/11603/stat : 11603 (java) S 11563 11563 8819 0 -1 1077944384 743 0 0 0 20 0 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725660231920 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11604] ppid=11563 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/11586/task/11604/stat : 11604 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139724345830240 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11605] ppid=11563 vsize=8414124 memory=772 CPUtime=0.1 cores=0-7
/proc/11586/task/11605/stat : 11605 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 6 4 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725659179824 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11607] ppid=11563 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/11586/task/11607/stat : 11607 (java) S 11563 11563 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725651146560 139726839455513 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11609] ppid=11563 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/11586/task/11609/stat : 11609 (java) S 11563 11563 8819 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723674729872 139726839452829 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11610] ppid=11563 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/11586/task/11610/stat : 11610 (java) S 11563 11563 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723943165200 139726839452829 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11619] ppid=11563 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/11586/task/11619/stat : 11619 (java) S 11563 11563 8819 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510583235 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723406302512 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
Current children cumulated CPU time: 1095.4 s
Current children cumulated vsize: 9285468 KiB
Current children cumulated memory: 739080 KiB

[startup+161.801 s]
/proc/loadavg: 6.74 4.77 4.75 2/218 11637
/proc/meminfo: memFree=22638440/32770624 swapFree=66956496/67108860
[pid=11563] ppid=11560 vsize=113128 memory=1476 CPUtime=11.73 cores=0-7
/proc/11563/stat : 11563 (scop.sh) S 11560 11563 8819 0 -1 4202496 583 31481 0 0 0 0 1145 28 20 0 1 0 510582728 115843072 369 33554432000 4194304 5098028 140733139264832 140733139261576 140258954863228 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37634048 140733139268389 140733139268716 140733139268716 140733139271629 0
/proc/11563/statm: 28282 369 311 221 0 87 0
[pid=11586] ppid=11563 vsize=8414124 memory=121648 CPUtime=1.31 cores=0-7
/proc/11586/stat : 11586 (java) S 11563 11563 8819 0 -1 1077944320 20362 0 0 0 123 8 0 0 20 0 24 0 510583159 8616062976 30412 33554432000 4194304 4196468 140735428233808 140735428216352 139726839430903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
/proc/11586/statm: 2103531 30412 3211 1 0 2064875 0
[pid=11606] ppid=11586 vsize=758216 memory=615956 CPUtime=1082.56 cores=0-7
/proc/11606/stat : 11606 (manyglucose-4.1) S 11586 11563 8819 0 -1 1077944320 1070630 0 0 0 108046 210 0 0 20 0 2 0 510583233 776413184 153989 33554432000 4194304 4454172 140732823957456 140732823955840 140227877310199 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 16293888 140732823962473 140732823962672 140732823962672 140732823965626 0
/proc/11606/statm: 189554 153989 419 64 0 185222 0
[pid=11606/tid=11615] ppid=11586 vsize=758216 memory=4864 CPUtime=156.58 cores=0-7
/proc/11606/task/11615/stat : 11615 (manyglucose-4.1) R 11586 11563 8819 0 -1 4202560 145071 0 0 0 15627 31 0 0 20 0 2 0 510583235 776413184 153989 33554432000 4194304 4454172 140732823957456 140227828521704 4350007 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 16293888 140732823962473 140732823962672 140732823962672 140732823965626 0
[pid=11586/tid=11587] ppid=11563 vsize=8414124 memory=4100 CPUtime=0.77 cores=0-7
/proc/11586/task/11587/stat : 11587 (java) S 11563 11563 8819 0 -1 1077944384 16877 0 0 0 72 5 0 0 20 0 24 0 510583160 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726811271072 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11588] ppid=11563 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/11586/task/11588/stat : 11588 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726843673488 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11589] ppid=11563 vsize=8414124 memory=51920 CPUtime=0 cores=0-7
/proc/11586/task/11589/stat : 11589 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726643841808 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11590] ppid=11563 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/11586/task/11590/stat : 11590 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726642789520 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11591] ppid=11563 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/11586/task/11591/stat : 11591 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726641736720 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11592] ppid=11563 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/11586/task/11592/stat : 11592 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726640683408 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11593] ppid=11563 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/11586/task/11593/stat : 11593 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726639630608 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11594] ppid=11563 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/11586/task/11594/stat : 11594 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726638578320 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11595] ppid=11563 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/11586/task/11595/stat : 11595 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726637525520 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11596] ppid=11563 vsize=8414124 memory=2532 CPUtime=0 cores=0-7
/proc/11586/task/11596/stat : 11596 (java) S 11563 11563 8819 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510583162 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725664442992 139726839442050 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11597] ppid=11563 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/11586/task/11597/stat : 11597 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510583163 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725486679328 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11598] ppid=11563 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/11586/task/11598/stat : 11598 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583163 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725218244208 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11599] ppid=11563 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/11586/task/11599/stat : 11599 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139724843735632 139726839449499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11600] ppid=11563 vsize=8414124 memory=111632 CPUtime=0.07 cores=0-7
/proc/11586/task/11600/stat : 11600 (java) S 11563 11563 8819 0 -1 1077944384 680 0 0 0 7 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725663389808 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11601] ppid=11563 vsize=8414124 memory=804 CPUtime=0.06 cores=0-7
/proc/11586/task/11601/stat : 11601 (java) S 11563 11563 8819 0 -1 1077944384 336 0 0 0 6 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725662337008 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11602] ppid=11563 vsize=8414124 memory=1724 CPUtime=0.05 cores=0-7
/proc/11586/task/11602/stat : 11602 (java) S 11563 11563 8819 0 -1 1077944384 181 0 0 0 5 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725661284720 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11603] ppid=11563 vsize=8414124 memory=1808 CPUtime=0.2 cores=0-7
/proc/11586/task/11603/stat : 11603 (java) S 11563 11563 8819 0 -1 1077944384 743 0 0 0 20 0 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725660231920 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11604] ppid=11563 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/11586/task/11604/stat : 11604 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139724345830240 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11605] ppid=11563 vsize=8414124 memory=4864 CPUtime=0.1 cores=0-7
/proc/11586/task/11605/stat : 11605 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 6 4 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725659179824 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11607] ppid=11563 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11586/task/11607/stat : 11607 (java) S 11563 11563 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725651146560 139726839455513 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11609] ppid=11563 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/11586/task/11609/stat : 11609 (java) S 11563 11563 8819 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723674729872 139726839452829 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11610] ppid=11563 vsize=8414124 memory=281388137840880 CPUtime=0 cores=0-7
/proc/11586/task/11610/stat : 11610 (java) S 11563 11563 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723943165200 139726839452829 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11619] ppid=11563 vsize=8414124 memory=2958572 CPUtime=0 cores=0-7
/proc/11586/task/11619/stat : 11619 (java) S 11563 11563 8819 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510583235 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723406302512 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
Current children cumulated CPU time: 1095.6 s
Current children cumulated vsize: 9285468 KiB
Current children cumulated memory: 739080 KiB

[startup+161.901 s]
/proc/loadavg: 6.74 4.77 4.75 2/218 11637
/proc/meminfo: memFree=22638440/32770624 swapFree=66956496/67108860
[pid=11563] ppid=11560 vsize=113128 memory=1476 CPUtime=11.73 cores=0-7
/proc/11563/stat : 11563 (scop.sh) S 11560 11563 8819 0 -1 4202496 583 31481 0 0 0 0 1145 28 20 0 1 0 510582728 115843072 369 33554432000 4194304 5098028 140733139264832 140733139261576 140258954863228 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37634048 140733139268389 140733139268716 140733139268716 140733139271629 0
/proc/11563/statm: 28282 369 311 221 0 87 0
[pid=11586] ppid=11563 vsize=8414124 memory=121648 CPUtime=1.31 cores=0-7
/proc/11586/stat : 11586 (java) S 11563 11563 8819 0 -1 1077944320 20362 0 0 0 123 8 0 0 20 0 24 0 510583159 8616062976 30412 33554432000 4194304 4196468 140735428233808 140735428216352 139726839430903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
/proc/11586/statm: 2103531 30412 3211 1 0 2064875 0
[pid=11606] ppid=11586 vsize=758216 memory=615956 CPUtime=1082.66 cores=0-7
/proc/11606/stat : 11606 (manyglucose-4.1) S 11586 11563 8819 0 -1 1077944320 1070632 0 0 0 108056 210 0 0 20 0 2 0 510583233 776413184 153989 33554432000 4194304 4454172 140732823957456 140732823955840 140227877310199 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 16293888 140732823962473 140732823962672 140732823962672 140732823965626 0
/proc/11606/statm: 189554 153989 419 64 0 185222 0
[pid=11606/tid=11615] ppid=11586 vsize=758216 memory=121648 CPUtime=156.68 cores=0-7
/proc/11606/task/11615/stat : 11615 (manyglucose-4.1) R 11586 11563 8819 0 -1 4202560 145073 0 0 0 15637 31 0 0 20 0 2 0 510583235 776413184 153989 33554432000 4194304 4454172 140732823957456 140227828521704 4351803 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 16293888 140732823962473 140732823962672 140732823962672 140732823965626 0
[pid=11586/tid=11587] ppid=11563 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7
/proc/11586/task/11587/stat : 11587 (java) S 11563 11563 8819 0 -1 1077944384 16877 0 0 0 72 5 0 0 20 0 24 0 510583160 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726811271072 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11588] ppid=11563 vsize=8414124 memory=121648 CPUtime=0 cores=0-7
/proc/11586/task/11588/stat : 11588 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726843673488 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11589] ppid=11563 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/11586/task/11589/stat : 11589 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726643841808 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11590] ppid=11563 vsize=8414124 memory=320318721837236250 CPUtime=0 cores=0-7
/proc/11586/task/11590/stat : 11590 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726642789520 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11591] ppid=11563 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/11586/task/11591/stat : 11591 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726641736720 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11592] ppid=11563 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/11586/task/11592/stat : 11592 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726640683408 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11593] ppid=11563 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/11586/task/11593/stat : 11593 (java) S 11563 11563 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726639630608 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11594] ppid=11563 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11586/task/11594/stat : 11594 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726638578320 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11595] ppid=11563 vsize=8414124 memory=121648 CPUtime=0 cores=0-7
/proc/11586/task/11595/stat : 11595 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583161 8616062976 30412 33554432000 4194304 4196468 140735428233808 139726637525520 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11596] ppid=11563 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11586/task/11596/stat : 11596 (java) S 11563 11563 8819 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510583162 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725664442992 139726839442050 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11597] ppid=11563 vsize=8414124 memory=121648 CPUtime=0 cores=0-7
/proc/11586/task/11597/stat : 11597 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510583163 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725486679328 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11598] ppid=11563 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/11586/task/11598/stat : 11598 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583163 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725218244208 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11599] ppid=11563 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/11586/task/11599/stat : 11599 (java) S 11563 11563 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139724843735632 139726839449499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11600] ppid=11563 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/11586/task/11600/stat : 11600 (java) S 11563 11563 8819 0 -1 1077944384 680 0 0 0 7 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725663389808 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11601] ppid=11563 vsize=8414124 memory=3620 CPUtime=0.06 cores=0-7
/proc/11586/task/11601/stat : 11601 (java) S 11563 11563 8819 0 -1 1077944384 336 0 0 0 6 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725662337008 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11602] ppid=11563 vsize=8414124 memory=51920 CPUtime=0.05 cores=0-7
/proc/11586/task/11602/stat : 11602 (java) S 11563 11563 8819 0 -1 1077944384 181 0 0 0 5 0 0 0 20 0 24 0 510583165 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725661284720 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11603] ppid=11563 vsize=8414124 memory=615956 CPUtime=0.2 cores=0-7
/proc/11586/task/11603/stat : 11603 (java) S 11563 11563 8819 0 -1 1077944384 743 0 0 0 20 0 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725660231920 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11604] ppid=11563 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11586/task/11604/stat : 11604 (java) S 11563 11563 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139724345830240 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11605] ppid=11563 vsize=8414124 memory=121648 CPUtime=0.1 cores=0-7
/proc/11586/task/11605/stat : 11605 (java) S 11563 11563 8819 0 -1 1077944384 13 0 0 0 6 4 0 0 20 0 24 0 510583166 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725659179824 139726839442050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11607] ppid=11563 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11586/task/11607/stat : 11607 (java) S 11563 11563 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139725651146560 139726839455513 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11609] ppid=11563 vsize=8414124 memory=121648 CPUtime=0 cores=0-7
/proc/11586/task/11609/stat : 11609 (java) S 11563 11563 8819 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723674729872 139726839452829 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11610] ppid=11563 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11586/task/11610/stat : 11610 (java) S 11563 11563 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510583233 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723943165200 139726839452829 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
[pid=11586/tid=11619] ppid=11563 vsize=8414124 memory=-8743005763682988434 CPUtime=0 cores=0-7
/proc/11586/task/11619/stat : 11619 (java) S 11563 11563 8819 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510583235 8616062976 30412 33554432000 4194304 4196468 140735428233808 139723406302512 139726839441109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23027712 140735428236279 140735428236438 140735428236438 140735428239311 0
Current children cumulated CPU time: 1095.7 s
Current children cumulated vsize: 9285468 KiB
Current children cumulated memory: 739080 KiB

Child status: 0
Real time (s): 161.985
CPU time (s): 1095.88
CPU user time (s): 1093.36
CPU system time (s): 2.514
CPU usage (%): 676.532
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1045332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1093.36
system time used= 2.514
maximum resident set size= 1051828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1123162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20552
involuntary context switches= 10276


# summary of solver processes directly reported to runsolver:
#   pid: 11563
#   total CPU time (s): 1095.88
#   total CPU user time (s): 1093.36
#   total CPU system time (s): 2.514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49853 second user time and 2.37021 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 18:37:54
IDJOB=4405299
IDBENCH=134583
IDSOLVER=2867
FILE ID=node151/4405299-1569343114
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-6_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-4405299-1569343114/watcher-4405299-1569343114 -o /tmp/evaluation-result-4405299-1569343114/solver-4405299-1569343114 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405299-1569343114.xml

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

MD5SUM BENCH= 43dd96c97b3ff33ff7a4c42b6a5606ab
RANDOM SEED=1428284258

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23364444 kB
MemAvailable:   31794272 kB
Buffers:           92672 kB
Cached:          8497100 kB
SwapCached:        50744 kB
Active:          2730324 kB
Inactive:        5916220 kB
Active(anon):       4484 kB
Inactive(anon):   106476 kB
Active(file):    2725840 kB
Inactive(file):  5809744 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956496 kB
Dirty:             20788 kB
Writeback:             0 kB
AnonPages:        118244 kB
Mapped:            54444 kB
Shmem:             45960 kB
Slab:             351952 kB
SReclaimable:     322704 kB
SUnreclaim:        29248 kB
KernelStack:        3568 kB
PageTables:         6360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-24 18:40:36