Trace number 4405308

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 1117.83 166.521

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-5_X2.xml
MD5SUM0d344e361328211ed16699cc315bd3d7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark165.955
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-11188-serial-file.bin HOME/instance-4405308-1569342694.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 18:30:50 CEST 2019
0.66/0.57	c PID: 11191
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.05/1.15	c (0,0) Parsing End
2.05/1.15	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.05/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.15	c (0,0) Constraint Name Generate Begin
2.05/1.17	c (0,0) Ctr:HOME/instance-4405308-1569342694.xml,ExtensionConflict:ExtensionSupport:Var
2.05/1.17	c (0,0) Constraint Name Generate End
2.05/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.17	c (0,0) CSP to CSPinCNF Begin
3.13/1.67	c (1,1) translated 127 (10%) constraints
3.50/1.77	c (1,1) translated 253 (20%) constraints
3.92/1.85	c (1,1) translated 379 (30%) constraints
4.34/1.91	c (1,1) translated 505 (40%) constraints
4.34/1.97	c (1,1) translated 631 (50%) constraints
4.78/2.02	c (1,1) translated 757 (60%) constraints
5.18/2.15	c (1,1) translated 883 (70%) constraints
5.87/2.39	c (1,1) translated 1009 (80%) constraints
6.27/2.61	c (2,2) translated 1135 (90%) constraints
6.98/2.92	c (2,2) translated 1261 (100%) constraints
6.98/2.92	c (2,2) ===========================================
6.98/2.93	c (2,2) Order
6.98/2.93	c (2,2) ===========================================
6.98/2.99	c (2,2) translated 1883 (10%) constraints
7.42/3.04	c (2,2) translated 3765 (20%) constraints
7.42/3.09	c (2,2) translated 5647 (30%) constraints
7.83/3.14	c (2,2) translated 7529 (40%) constraints
7.83/3.19	c (2,2) translated 9411 (50%) constraints
8.18/3.24	c (2,2) translated 11294 (60%) constraints
8.18/3.28	c (2,2) translated 13176 (70%) constraints
8.58/3.32	c (2,2) translated 15058 (80%) constraints
8.58/3.36	c (2,2) translated 16940 (90%) constraints
8.58/3.39	c (2,2) translated 18822 (100%) constraints
8.58/3.39	c (2,2) CSP to CSPinCNF End
8.58/3.39	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.58/3.39	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.58/3.39	c (2,2) CSPinCNF Propagation Begin
9.98/3.75	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.98/3.75	c (3,3) CSPinCNF Propagation End
9.98/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.98/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.98/3.75	c (3,3) Simplify CSPinCNF Begin
10.23/3.80	c (3,3) Simplify CSPinCNF End
10.23/3.80	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.23/3.80	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.23/3.80	c (3,3) Calculate Precise Domain Begin
10.23/3.82	c (3,3) 0 values are removed by re-calculation
10.23/3.82	c (3,3) Calculate Precise Domain End
10.23/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.23/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.23/3.82	c (3,3) CSPinCNF to SatSolver Begin
10.54/3.97	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.90/4.03	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.90/4.08	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.31/4.13	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.31/4.16	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.31/4.18	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.64/4.20	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.64/4.21	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.64/4.23	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.64/4.24	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.64/4.24	c (3,3) CSPinCNF to SatSolver End
11.64/4.24	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.64/4.24	c (3,3) 2482 bool, 15697 clause
11.64/4.24	c (3,3) Export Begin
11.78/4.35	c (3,3) Export to HOME/scop-11188-serial-file.bin
11.78/4.35	c (3,3) Export End
11.78/4.35	c (3,3) Export File Size: 0.02 MB
11.78/4.35	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.78/4.35	c END-Prog: Tue Sep 24 18:30:54 CEST 2019
11.78/4.38	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11188-serial-file.bin
11.93/4.83	c (0,0) Read Serial File Begin
11.93/4.83	c (0,0) HOME/scop-11188-serial-file.bin
12.77/5.06	c (0,0) Read Serial File End
12.77/5.07	
12.77/5.07	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.77/5.07	(Solving Process)
12.77/5.07	
12.77/5.09	c BEGIN-Prog: Tue Sep 24 18:30:54 CEST 2019
12.77/5.09	c PID: 11211
12.77/5.09	c IP: 172.20.3.136
12.77/5.09	c HOST: node136.alineos.net
12.77/5.10	c (0,0) SatSolver.solve Begin
12.77/5.10	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405308-1569342694.xml-scop-11191.cnf
12.97/5.12	c (0,0) c
12.97/5.12	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.97/5.12	c (0,0) c
12.97/5.12	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.97/5.12	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.97/5.12	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.97/5.12	c (0,0) c |                                                                                                       |
12.97/5.13	c (0,0) c |  Number of variables:          2480                                                                   |
12.97/5.13	c (0,0) c |  Number of clauses:           15697                                                                   |
12.97/5.13	c (0,0) c |  Parse time:                   0.00 s                                                                 |
12.97/5.13	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.97/5.13	c (0,0) c |                                                                                                       |
12.97/5.14	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.97/5.14	c (0,0) c |                                                                                                       |
12.97/5.14	c (0,0) c |  Generating clones                                                                                    |
12.97/5.14	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.97/5.14	c (0,0) c ========================================================================================================|
12.97/5.14	c (0,0) c
12.97/5.14	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.97/5.14	c (0,0) c
12.97/5.14	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.97/5.14	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.97/5.14	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.97/5.14	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.97/5.14	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.97/5.14	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.97/5.14	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.97/5.14	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.14	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.97/5.14	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.97/5.14	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.97/5.14	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.97/5.14	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.14	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.97/5.14	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.97/5.14	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.97/5.14	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.97/5.14	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.97/5.14	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.76/34.21	c (29,0) c
227.76/34.21	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
227.76/34.21	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
227.76/34.21	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
227.76/34.21	c (29,0) c |  0 |    229 |     517340 |     280716 |     8945 |    49329 |    44764 |   281639 |    11649 |      289 |  20 |  0.847 |
227.76/34.21	c (29,0) c |  1 |    410 |     546928 |     295379 |     9354 |    63997 |    44838 |   290514 |    16170 |      309 |  20 |  0.847 |
227.76/34.21	c (29,0) c |  2 |    358 |     533848 |     286592 |     8837 |    55204 |    41347 |   297681 |     9790 |      309 |  20 |  0.847 |
227.76/34.21	c (29,0) c |  3 |    366 |     551955 |     299469 |     9253 |    68091 |    45795 |   293134 |    15073 |      309 |  20 |  0.847 |
227.76/34.21	c (29,0) c |  4 |    384 |     546362 |     295626 |     9319 |    64234 |    41465 |   283748 |    10620 |      309 |  20 |  0.847 |
227.76/34.21	c (29,0) c |  5 |    306 |     550591 |     285441 |     8929 |    54064 |    40829 |   293234 |    10474 |      309 |  20 |  0.847 |
227.76/34.21	c (29,0) c |  6 |    390 |     560073 |     298559 |     9426 |    67171 |    44086 |   259534 |    13285 |      309 |  20 |  0.847 |
227.76/34.21	c (29,0) c |  7 |    324 |     528531 |     290272 |     9261 |    58887 |    45405 |   295319 |    11025 |      309 |  20 |  0.847 |
227.76/34.21	c (29,0) c 
227.76/34.21	c (29,0) c synthesis     2332055 conflicts   176122061 propagations    10891 conflicts/sec   822546 propagations/sec
227.76/34.21	c (29,0) c real: 29.0933 s, cpu: 214.118 s, memory: 629.34 Mb
419.22/63.22	c (58,0) c
419.22/63.22	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
419.22/63.22	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
419.22/63.22	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
419.22/63.22	c (58,0) c |  0 |    285 |     831296 |     441528 |     9217 |    51340 |    60709 |   393481 |    21148 |      551 |  20 |  0.847 |
419.22/63.22	c (58,0) c |  1 |    512 |     835370 |     442735 |     9412 |    52552 |    56307 |   405738 |    27193 |      571 |  20 |  0.847 |
419.22/63.22	c (58,0) c |  2 |    452 |     826516 |     439006 |     9275 |    48821 |    57147 |   406150 |    20756 |      570 |  20 |  0.847 |
419.22/63.22	c (58,0) c |  3 |    519 |     873349 |     466825 |     9346 |    76633 |    62287 |   394906 |    24755 |      571 |  20 |  0.848 |
419.22/63.22	c (58,0) c |  4 |    484 |     849025 |     454382 |     9472 |    64203 |    56119 |   401475 |    21772 |      571 |  20 |  0.847 |
419.22/63.22	c (58,0) c |  5 |    414 |     835406 |     427053 |     8993 |    80467 |    56823 |   400578 |    15798 |      561 |  20 |  0.847 |
419.22/63.22	c (58,0) c |  6 |    485 |     891933 |     470561 |     9520 |    80375 |    60801 |   401513 |    24980 |      570 |  20 |  0.847 |
419.22/63.22	c (58,0) c |  7 |    442 |     839072 |     453333 |     9441 |    63142 |    59934 |   401783 |    23187 |      568 |  20 |  0.848 |
419.22/63.22	c (58,0) c 
419.22/63.22	c (58,0) c synthesis     3595423 conflicts   269876592 propagations     8872 conflicts/sec   665954 propagations/sec
419.22/63.22	c (58,0) c real: 58.0932 s, cpu: 405.248 s, memory: 637.25 Mb
611.21/92.22	c (87,0) c
611.21/92.22	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
611.21/92.22	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
611.21/92.22	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
611.21/92.22	c (87,0) c |  0 |    387 |    1086880 |     574142 |     9291 |    88957 |    73251 |   477379 |    30827 |      788 |  20 |  0.847 |
611.21/92.22	c (87,0) c |  1 |    542 |    1071206 |     564974 |     9446 |    79793 |    69192 |   472728 |    34138 |      808 |  20 |  0.848 |
611.21/92.22	c (87,0) c |  2 |    566 |    1082864 |     568293 |     9379 |    83110 |    70000 |   488140 |    31848 |      807 |  20 |  0.847 |
611.21/92.22	c (87,0) c |  3 |    582 |    1118778 |     590149 |     9355 |    53558 |    72153 |   482402 |    32653 |      808 |  20 |  0.847 |
611.21/92.22	c (87,0) c |  4 |    574 |    1106640 |     582521 |     9502 |    97331 |    68130 |   491814 |    31011 |      808 |  20 |  0.847 |
611.21/92.22	c (87,0) c |  5 |    475 |    1094952 |     555893 |     9309 |    70703 |    69916 |   490974 |    26196 |      808 |  20 |  0.847 |
611.21/92.22	c (87,0) c |  6 |    550 |    1141474 |     598042 |     9532 |    61455 |    72538 |   481232 |    33298 |      808 |  20 |  0.847 |
611.21/92.22	c (87,0) c |  7 |    528 |    1084159 |     579094 |     9468 |    93907 |    71526 |   489681 |    31420 |      808 |  20 |  0.848 |
611.21/92.22	c (87,0) c 
611.21/92.22	c (87,0) c synthesis     4613109 conflicts   345545380 propagations     7726 conflicts/sec   578732 propagations/sec
611.21/92.22	c (87,0) c real: 87.0936 s, cpu: 597.074 s, memory: 667.41 Mb
819.51/122.23	c (117,0) c
819.51/122.23	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
819.51/122.23	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
819.51/122.23	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
819.51/122.23	c (117,0) c |  0 |    466 |    1327013 |     695944 |     9313 |   105354 |    86077 |   560970 |    39559 |     1043 |  20 |  0.847 |
819.51/122.23	c (117,0) c |  1 |    606 |    1305807 |     684317 |     9459 |    93737 |    79041 |   571965 |    43612 |     1062 |  20 |  0.848 |
819.51/122.23	c (117,0) c |  2 |    642 |    1328739 |     687470 |     9400 |    96890 |    81141 |   570935 |    39944 |     1055 |  20 |  0.848 |
819.51/122.23	c (117,0) c |  3 |    635 |    1355964 |     709348 |     9373 |    62158 |    82904 |   564253 |    40963 |     1063 |  20 |  0.847 |
819.51/122.23	c (117,0) c |  4 |    637 |    1336690 |     698944 |     9514 |   108354 |    77706 |   573769 |    39904 |     1063 |  20 |  0.847 |
819.51/122.23	c (117,0) c |  5 |    547 |    1329020 |     673175 |     9351 |    82585 |    81781 |   567572 |    36529 |     1058 |  20 |  0.848 |
819.51/122.23	c (117,0) c |  6 |    601 |    1377538 |     716978 |     9537 |    69793 |    84372 |   569716 |    41499 |     1063 |  20 |  0.848 |
819.51/122.23	c (117,0) c |  7 |    597 |    1326490 |     699267 |     9491 |   108674 |    85830 |   567602 |    40900 |     1059 |  20 |  0.847 |
819.51/122.23	c (117,0) c 
819.51/122.23	c (117,0) c synthesis     5565443 conflicts   417604998 propagations     6912 conflicts/sec   518659 propagations/sec
819.51/122.23	c (117,0) c real: 117.104 s, cpu: 805.163 s, memory: 726.69 Mb
1029.98/152.21	c (147,0) c
1029.98/152.21	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1029.98/152.21	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1029.98/152.21	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1029.98/152.21	c (147,0) c |  0 |    524 |    1534333 |     796790 |     9334 |    90407 |    94379 |   619862 |    47118 |     1286 |  20 |  0.847 |
1029.98/152.21	c (147,0) c |  1 |    653 |    1501120 |     783391 |     9471 |    77002 |    88623 |   631314 |    52215 |     1303 |  20 |  0.847 |
1029.98/152.21	c (147,0) c |  2 |    694 |    1539033 |     791225 |     9413 |    84831 |    89918 |   630483 |    49228 |     1306 |  20 |  0.847 |
1029.98/152.21	c (147,0) c |  3 |    691 |    1563701 |     811621 |     9385 |   105230 |    92983 |   622349 |    49433 |     1305 |  20 |  0.847 |
1029.98/152.21	c (147,0) c |  4 |    659 |    1549600 |     801785 |     9521 |    95394 |    84584 |   634252 |    47565 |     1306 |  20 |  0.847 |
1029.98/152.21	c (147,0) c |  5 |    597 |    1535617 |     774872 |     9365 |    68484 |    89714 |   628895 |    45005 |     1306 |  20 |  0.847 |
1029.98/152.21	c (147,0) c |  6 |    698 |    1578174 |     815428 |     9550 |   109039 |    92201 |   626439 |    49543 |     1306 |  20 |  0.848 |
1029.98/152.21	c (147,0) c |  7 |    642 |    1536136 |     803746 |     9505 |    97353 |    93092 |   627070 |    48937 |     1306 |  20 |  0.848 |
1029.98/152.21	c (147,0) c 
1029.98/152.21	c (147,0) c synthesis     6378858 conflicts   480763640 propagations     6283 conflicts/sec   473557 propagations/sec
1029.98/152.21	c (147,0) c real: 147.093 s, cpu: 1015.22 s, memory: 697.05 Mb
1117.63/166.48	c (161,0) c
1117.63/166.48	c (161,0) c real time : 161.36 s
1117.63/166.48	c (161,0) c cpu time  : 1102.68 s
1117.63/166.48	c (161,0) c
1117.63/166.48	c (161,0) c
1117.63/166.48	c (161,0) c
1117.63/166.48	c (161,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1117.63/166.48	c (161,0) c
1117.63/166.48	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.48	c (161,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1117.63/166.48	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.48	c (161,0) c | Conflicts     |         6640427 |     834464 |     815635 |     820346 |     845511 |     830231 |     808924 |     849468 |     835848 |
1117.63/166.48	c (161,0) c | Decisions     |        12858470 |    1609910 |    1564793 |    1594995 |    1631883 |    1605180 |    1604393 |    1646509 |    1600807 |
1117.63/166.48	c (161,0) c | Propagations  |       501778977 |   62944959 |   61601949 |   62115046 |   63453946 |   62629781 |   61514602 |   63915330 |   63603364 |
1117.63/166.48	c (161,0) c | ReduceDBs     |             197 |         25 |         24 |         24 |         25 |         25 |         24 |         25 |         25 |
1117.63/166.48	c (161,0) c | SimpDBs       |              74 |         11 |          9 |         10 |          9 |          8 |         10 |          9 |          8 |
1117.63/166.48	c (161,0) c | Restarts      |            5243 |        531 |        676 |        704 |        700 |        669 |        610 |        706 |        647 |
1117.63/166.48	c (161,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1117.63/166.48	c (161,0) c | PropBinClauses|      1018426512 |  126117474 |  126870823 |  125898460 |  129126673 |  127739646 |  125686890 |  127239346 |  129747200 |
1117.63/166.48	c (161,0) c | PropPreBlocker|     38554740077 | 4774734112 | 4823670834 | 4808208658 | 4800588740 | 4846270493 | 4796075020 | 4833280347 | 4871911873 |
1117.63/166.48	c (161,0) c | PropNotBlocker|      6181165159 |  793220059 |  778704737 |  767797647 |  774744685 |  764561386 |  762081071 |  773982325 |  766073249 |
1117.63/166.48	c (161,0) c | LitFullScans  |     67279235661 | 8407144032 | 8413435323 | 8407728920 | 8413428558 | 8407953965 | 8407629778 | 8408449139 | 8413465946 |
1117.63/166.48	c (161,0) c | LitScanFracts |        12535216 |    1136774 |    1406090 |    1718487 |    1418535 |    1943506 |    1621636 |    1831514 |    1458674 |
1117.63/166.48	c (161,0) c | DecisionLevel0|            5336 |        543 |        687 |        712 |        717 |        676 |        619 |        724 |        658 |
1117.63/166.48	c (161,0) c | Periods       |           11211 |       1401 |       1402 |       1401 |       1402 |       1401 |       1401 |       1401 |       1402 |
1117.63/166.48	c (161,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1117.63/166.48	c (161,0) c | Avg_Trail     |                 |        626 |        631 |        630 |        632 |        630 |        632 |        630 |        633 |
1117.63/166.48	c (161,0) c | Avg_DL        |                 |         21 |         22 |         21 |         22 |         21 |         21 |         22 |         21 |
1117.63/166.48	c (161,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1117.63/166.48	c (161,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1117.63/166.48	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.48	c (161,0) c | Exported      |          750981 |      97861 |      92656 |      92497 |      96852 |      87077 |      92630 |      95381 |      96027 |
1117.63/166.48	c (161,0) c | Imported      |         5202292 |     647605 |     651979 |     651265 |     649447 |     656754 |     648522 |     650679 |     646041 |
1117.63/166.48	c (161,0) c | Good          |           12663 |       1667 |       1563 |       1612 |       1643 |       1531 |       1573 |       1514 |       1560 |
1117.63/166.48	c (161,0) c | Purge         |         5189629 |     645938 |     650416 |     649653 |     647804 |     655223 |     646949 |     649165 |     644481 |
1117.63/166.48	c (161,0) c | Promoted      |          414894 |      50713 |      55003 |      52123 |      52591 |      51451 |      48554 |      52541 |      51918 |
1117.63/166.48	c (161,0) c | Remove_Imp    |         4104140 |     518002 |     505315 |     495572 |     512048 |     533138 |     502176 |     515974 |     521915 |
1117.63/166.48	c (161,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1117.63/166.48	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.48	c (161,0) c | Unaries       |                 |         12 |         11 |          8 |         17 |          7 |          9 |         18 |         11 |
1117.63/166.48	c (161,0) c | Binaries      |                 |        156 |        250 |        201 |        206 |        281 |        226 |        320 |        242 |
1117.63/166.48	c (161,0) c | Glues         |                 |        791 |        976 |        882 |        845 |        956 |        912 |       1087 |        948 |
1117.63/166.48	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.48	c (161,0) c | Orig_Seen     |            86 % |       9337 |       9475 |       9420 |       9388 |       9525 |       9371 |       9553 |       9510 |
1117.63/166.48	c (161,0) c | Diff Orig seen|                 | -      216 | -       78 | -      133 | -      165 | -       28 | -      182 |      X     | -       43 |
1117.63/166.48	c (161,0) c | Hamming       |            11 % |        304 |        323 |        292 |        241 |        252 |        299 |      X     |        280 |
1117.63/166.48	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.48	c (161,0) c | RunningTime   |                 |  160.9 100%|  149.6  94%|  151.0  95%|  121.1  76%|  119.8  75%|  149.2  93%|  120.3  75%|  133.8  84%|
1117.63/166.48	c (161,0) c | WaitingTime   |                 |    0.0   0%|    9.9   6%|    8.4   5%|   38.4  24%|   39.6  25%|   10.2   6%|   39.1  24%|   25.7  16%|
1117.63/166.48	c (161,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|
1117.63/166.48	c (161,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%|
1117.63/166.48	c (161,0) c | SolvingTime   |                 |  161.3     |  159.9     |  159.8     |  159.9     |  159.8     |  159.8     |  159.8     |  159.9     |
1117.63/166.48	c (161,0) c | PropagationTim|                 |  100.7  62%|  110.2  69%|  109.6  69%|  135.5  85%|  142.4  89%|  101.1  63%|  139.2  87%|  121.0  76%|
1117.63/166.48	c (161,0) c | AnalysisTime  |                 |   57.1  35%|   46.0  29%|   46.7  29%|   20.6  13%|   13.5   8%|   55.3  35%|   16.7  10%|   35.3  22%|
1117.63/166.48	c (161,0) c | ReductionTime |                 |    1.3   1%|    1.4   1%|    1.2   1%|    1.5   1%|    1.5   1%|    1.2   1%|    1.6   1%|    1.4   1%|
1117.63/166.48	c (161,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1117.63/166.48	c (161,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%|
1117.63/166.48	c (161,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%|
1117.63/166.48	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.48	c (161,0) c
1117.63/166.48	c (161,0) c
1117.63/166.48	c (161,0) c Threads : 8
1117.63/166.48	c (161,0) c Winner : 6
1117.63/166.48	c (161,0) c Conflicts_0 : 834464
1117.63/166.48	c (161,0) c Conflicts_1 : 815635
1117.63/166.48	c (161,0) c Conflicts_2 : 820346
1117.63/166.48	c (161,0) c Conflicts_3 : 845511
1117.63/166.48	c (161,0) c Conflicts_4 : 830231
1117.63/166.48	c (161,0) c Conflicts_5 : 808924
1117.63/166.48	c (161,0) c Conflicts_6 : 849468
1117.63/166.48	c (161,0) c Conflicts_7 : 835848
1117.63/166.48	c (161,0) c Conflicts_total : 6640427
1117.63/166.48	c (161,0) c Conflicts_winner : 849468
1117.63/166.48	c (161,0) c Decisions_0 : 1609910
1117.63/166.48	c (161,0) c Decisions_1 : 1564793
1117.63/166.48	c (161,0) c Decisions_2 : 1594995
1117.63/166.48	c (161,0) c Decisions_3 : 1631883
1117.63/166.48	c (161,0) c Decisions_4 : 1605180
1117.63/166.48	c (161,0) c Decisions_5 : 1604393
1117.63/166.48	c (161,0) c Decisions_6 : 1646509
1117.63/166.48	c (161,0) c Decisions_7 : 1600807
1117.63/166.48	c (161,0) c Decisions_total : 12858470
1117.63/166.48	c (161,0) c Decisions_winner : 1646509
1117.63/166.48	c (161,0) c Propagations_0 : 62944959
1117.63/166.48	c (161,0) c Propagations_1 : 61601949
1117.63/166.48	c (161,0) c Propagations_2 : 62115046
1117.63/166.48	c (161,0) c Propagations_3 : 63453946
1117.63/166.48	c (161,0) c Propagations_4 : 62629781
1117.63/166.48	c (161,0) c Propagations_5 : 61514602
1117.63/166.48	c (161,0) c Propagations_6 : 63915330
1117.63/166.48	c (161,0) c Propagations_7 : 63603364
1117.63/166.48	c (161,0) c Propagations_total : 501778977
1117.63/166.48	c (161,0) c Propagations_winner : 63915330
1117.63/166.48	c (161,0) c ReduceDBs_0 : 25
1117.63/166.48	c (161,0) c ReduceDBs_1 : 24
1117.63/166.48	c (161,0) c ReduceDBs_2 : 24
1117.63/166.48	c (161,0) c ReduceDBs_3 : 25
1117.63/166.48	c (161,0) c ReduceDBs_4 : 25
1117.63/166.48	c (161,0) c ReduceDBs_5 : 24
1117.63/166.48	c (161,0) c ReduceDBs_6 : 25
1117.63/166.48	c (161,0) c ReduceDBs_7 : 25
1117.63/166.48	c (161,0) c ReduceDBs_total : 197
1117.63/166.48	c (161,0) c ReduceDBs_winner : 25
1117.63/166.48	c (161,0) c SimpDBs_0 : 11
1117.63/166.48	c (161,0) c SimpDBs_1 : 9
1117.63/166.48	c (161,0) c SimpDBs_2 : 10
1117.63/166.48	c (161,0) c SimpDBs_3 : 9
1117.63/166.48	c (161,0) c SimpDBs_4 : 8
1117.63/166.48	c (161,0) c SimpDBs_5 : 10
1117.63/166.48	c (161,0) c SimpDBs_6 : 9
1117.63/166.48	c (161,0) c SimpDBs_7 : 8
1117.63/166.48	c (161,0) c SimpDBs_total : 74
1117.63/166.48	c (161,0) c SimpDBs_winner : 9
1117.63/166.48	c (161,0) c Restarts_0 : 531
1117.63/166.48	c (161,0) c Restarts_1 : 676
1117.63/166.48	c (161,0) c Restarts_2 : 704
1117.63/166.48	c (161,0) c Restarts_3 : 700
1117.63/166.48	c (161,0) c Restarts_4 : 669
1117.63/166.48	c (161,0) c Restarts_5 : 610
1117.63/166.48	c (161,0) c Restarts_6 : 706
1117.63/166.48	c (161,0) c Restarts_7 : 647
1117.63/166.48	c (161,0) c Restarts_total : 5243
1117.63/166.48	c (161,0) c Restarts_winner : 706
1117.63/166.48	c (161,0) c ForcedImports_0 : 0
1117.63/166.48	c (161,0) c ForcedImports_1 : 0
1117.63/166.48	c (161,0) c ForcedImports_2 : 0
1117.63/166.49	c (161,0) c ForcedImports_3 : 0
1117.63/166.49	c (161,0) c ForcedImports_4 : 0
1117.63/166.49	c (161,0) c ForcedImports_5 : 0
1117.63/166.49	c (161,0) c ForcedImports_6 : 0
1117.63/166.49	c (161,0) c ForcedImports_7 : 0
1117.63/166.49	c (161,0) c ForcedImports_total : 0
1117.63/166.49	c (161,0) c ForcedImports_winner : 0
1117.63/166.49	c (161,0) c PropsBinClauses_0 : 126117474
1117.63/166.49	c (161,0) c PropsBinClauses_1 : 126870823
1117.63/166.49	c (161,0) c PropsBinClauses_2 : 125898460
1117.63/166.49	c (161,0) c PropsBinClauses_3 : 129126673
1117.63/166.49	c (161,0) c PropsBinClauses_4 : 127739646
1117.63/166.49	c (161,0) c PropsBinClauses_5 : 125686890
1117.63/166.49	c (161,0) c PropsBinClauses_6 : 127239346
1117.63/166.49	c (161,0) c PropsBinClauses_7 : 129747200
1117.63/166.49	c (161,0) c PropsBinClauses_total : 1018426512
1117.63/166.49	c (161,0) c PropsBinClauses_winner : 127239346
1117.63/166.49	c (161,0) c PropsPreBlocker_0 : 4774734112
1117.63/166.49	c (161,0) c PropsPreBlocker_1 : 4823670834
1117.63/166.49	c (161,0) c PropsPreBlocker_2 : 4808208658
1117.63/166.49	c (161,0) c PropsPreBlocker_3 : 4800588740
1117.63/166.49	c (161,0) c PropsPreBlocker_4 : 4846270493
1117.63/166.49	c (161,0) c PropsPreBlocker_5 : 4796075020
1117.63/166.49	c (161,0) c PropsPreBlocker_6 : 4833280347
1117.63/166.49	c (161,0) c PropsPreBlocker_7 : 4871911873
1117.63/166.49	c (161,0) c PropsPreBlocker_total : 38554740077
1117.63/166.49	c (161,0) c PropsPreBlocker_winner : 4833280347
1117.63/166.49	c (161,0) c PropsNotBlocker_0 : 793220059
1117.63/166.49	c (161,0) c PropsNotBlocker_1 : 778704737
1117.63/166.49	c (161,0) c PropsNotBlocker_2 : 767797647
1117.63/166.49	c (161,0) c PropsNotBlocker_3 : 774744685
1117.63/166.49	c (161,0) c PropsNotBlocker_4 : 764561386
1117.63/166.49	c (161,0) c PropsNotBlocker_5 : 762081071
1117.63/166.49	c (161,0) c PropsNotBlocker_6 : 773982325
1117.63/166.49	c (161,0) c PropsNotBlocker_7 : 766073249
1117.63/166.49	c (161,0) c PropsNotBlocker_total : 6181165159
1117.63/166.49	c (161,0) c PropsNotBlocker_winner : 773982325
1117.63/166.49	c (161,0) c PropsLitFullScans_0 : 8407144032
1117.63/166.49	c (161,0) c PropsLitFullScans_1 : 8413435323
1117.63/166.49	c (161,0) c PropsLitFullScans_2 : 8407728920
1117.63/166.49	c (161,0) c PropsLitFullScans_3 : 8413428558
1117.63/166.49	c (161,0) c PropsLitFullScans_4 : 8407953965
1117.63/166.49	c (161,0) c PropsLitFullScans_5 : 8407629778
1117.63/166.49	c (161,0) c PropsLitFullScans_6 : 8408449139
1117.63/166.49	c (161,0) c PropsLitFullScans_7 : 8413465946
1117.63/166.49	c (161,0) c PropsLitFullScans_total : 67279235661
1117.63/166.49	c (161,0) c PropsLitFullScans_winner : 8408449139
1117.63/166.49	c (161,0) c LitScanFractions_0 : 1136774
1117.63/166.49	c (161,0) c LitScanFractions_1 : 1406090
1117.63/166.49	c (161,0) c LitScanFractions_2 : 1718487
1117.63/166.49	c (161,0) c LitScanFractions_3 : 1418535
1117.63/166.49	c (161,0) c LitScanFractions_4 : 1943506
1117.63/166.49	c (161,0) c LitScanFractions_5 : 1621636
1117.63/166.49	c (161,0) c LitScanFractions_6 : 1831514
1117.63/166.49	c (161,0) c LitScanFractions_7 : 1458674
1117.63/166.49	c (161,0) c LitScanFractions_total : 12535216
1117.63/166.49	c (161,0) c LitScanFractions_winner : 1831514
1117.63/166.49	c (161,0) c DecisionLevel0_0 : 543
1117.63/166.49	c (161,0) c DecisionLevel0_1 : 687
1117.63/166.49	c (161,0) c DecisionLevel0_2 : 712
1117.63/166.49	c (161,0) c DecisionLevel0_3 : 717
1117.63/166.49	c (161,0) c DecisionLevel0_4 : 676
1117.63/166.49	c (161,0) c DecisionLevel0_5 : 619
1117.63/166.49	c (161,0) c DecisionLevel0_6 : 724
1117.63/166.49	c (161,0) c DecisionLevel0_7 : 658
1117.63/166.49	c (161,0) c DecisionLevel0_total : 5336
1117.63/166.49	c (161,0) c DecisionLevel0_winner : 724
1117.63/166.49	c (161,0) c Periods_0 : 1401
1117.63/166.49	c (161,0) c Periods_1 : 1402
1117.63/166.49	c (161,0) c Periods_2 : 1401
1117.63/166.49	c (161,0) c Periods_3 : 1402
1117.63/166.49	c (161,0) c Periods_4 : 1401
1117.63/166.49	c (161,0) c Periods_5 : 1401
1117.63/166.49	c (161,0) c Periods_6 : 1401
1117.63/166.49	c (161,0) c Periods_7 : 1402
1117.63/166.49	c (161,0) c Periods_total : 11211
1117.63/166.49	c (161,0) c Periods_winner : 1401
1117.63/166.49	c (161,0) c Margin_0 : 20
1117.63/166.49	c (161,0) c Margin_1 : 20
1117.63/166.49	c (161,0) c Margin_2 : 20
1117.63/166.49	c (161,0) c Margin_3 : 20
1117.63/166.49	c (161,0) c Margin_4 : 20
1117.63/166.49	c (161,0) c Margin_5 : 20
1117.63/166.49	c (161,0) c Margin_6 : 20
1117.63/166.49	c (161,0) c Margin_7 : 20
1117.63/166.49	c (161,0) c Margin_total : 160
1117.63/166.49	c (161,0) c Margin_winner : 20
1117.63/166.49	c (161,0) c Exported_0 : 97861
1117.63/166.49	c (161,0) c Exported_1 : 92656
1117.63/166.49	c (161,0) c Exported_2 : 92497
1117.63/166.49	c (161,0) c Exported_3 : 96852
1117.63/166.49	c (161,0) c Exported_4 : 87077
1117.63/166.49	c (161,0) c Exported_5 : 92630
1117.63/166.49	c (161,0) c Exported_6 : 95381
1117.63/166.49	c (161,0) c Exported_7 : 96027
1117.63/166.49	c (161,0) c Exported_total : 750981
1117.63/166.49	c (161,0) c Exported_winner : 95381
1117.63/166.49	c (161,0) c Imported_0 : 647605
1117.63/166.49	c (161,0) c Imported_1 : 651979
1117.63/166.49	c (161,0) c Imported_2 : 651265
1117.63/166.49	c (161,0) c Imported_3 : 649447
1117.63/166.49	c (161,0) c Imported_4 : 656754
1117.63/166.49	c (161,0) c Imported_5 : 648522
1117.63/166.49	c (161,0) c Imported_6 : 650679
1117.63/166.49	c (161,0) c Imported_7 : 646041
1117.63/166.49	c (161,0) c Imported_total : 5202292
1117.63/166.49	c (161,0) c Imported_winner : 650679
1117.63/166.49	c (161,0) c Good_0 : 1667
1117.63/166.49	c (161,0) c Good_1 : 1563
1117.63/166.49	c (161,0) c Good_2 : 1612
1117.63/166.49	c (161,0) c Good_3 : 1643
1117.63/166.49	c (161,0) c Good_4 : 1531
1117.63/166.49	c (161,0) c Good_5 : 1573
1117.63/166.49	c (161,0) c Good_6 : 1514
1117.63/166.49	c (161,0) c Good_7 : 1560
1117.63/166.49	c (161,0) c Good_total : 12663
1117.63/166.49	c (161,0) c Good_winner : 1514
1117.63/166.49	c (161,0) c Purge_0 : 645938
1117.63/166.49	c (161,0) c Purge_1 : 650416
1117.63/166.49	c (161,0) c Purge_2 : 649653
1117.63/166.49	c (161,0) c Purge_3 : 647804
1117.63/166.49	c (161,0) c Purge_4 : 655223
1117.63/166.49	c (161,0) c Purge_5 : 646949
1117.63/166.49	c (161,0) c Purge_6 : 649165
1117.63/166.49	c (161,0) c Purge_7 : 644481
1117.63/166.49	c (161,0) c Purge_total : 5189629
1117.63/166.49	c (161,0) c Purge_winner : 649165
1117.63/166.49	c (161,0) c Promoted_0 : 50713
1117.63/166.49	c (161,0) c Promoted_1 : 55003
1117.63/166.49	c (161,0) c Promoted_2 : 52123
1117.63/166.49	c (161,0) c Promoted_3 : 52591
1117.63/166.49	c (161,0) c Promoted_4 : 51451
1117.63/166.49	c (161,0) c Promoted_5 : 48554
1117.63/166.49	c (161,0) c Promoted_6 : 52541
1117.63/166.49	c (161,0) c Promoted_7 : 51918
1117.63/166.49	c (161,0) c Promoted_total : 414894
1117.63/166.49	c (161,0) c Promoted_winner : 52541
1117.63/166.49	c (161,0) c Remove_Imp_0 : 518002
1117.63/166.49	c (161,0) c Remove_Imp_1 : 505315
1117.63/166.49	c (161,0) c Remove_Imp_2 : 495572
1117.63/166.49	c (161,0) c Remove_Imp_3 : 512048
1117.63/166.49	c (161,0) c Remove_Imp_4 : 533138
1117.63/166.49	c (161,0) c Remove_Imp_5 : 502176
1117.63/166.49	c (161,0) c Remove_Imp_6 : 515974
1117.63/166.49	c (161,0) c Remove_Imp_7 : 521915
1117.63/166.49	c (161,0) c Remove_Imp_total : 4104140
1117.63/166.49	c (161,0) c Remove_Imp_winner : 515974
1117.63/166.49	c (161,0) c Blocked_Reuse_0 : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_1 : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_2 : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_3 : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_4 : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_5 : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_6 : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_7 : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_total : 0
1117.63/166.49	c (161,0) c Blocked_Reuse_winner : 0
1117.63/166.49	c (161,0) c Unaries_0 : 12
1117.63/166.49	c (161,0) c Unaries_1 : 11
1117.63/166.49	c (161,0) c Unaries_2 : 8
1117.63/166.49	c (161,0) c Unaries_3 : 17
1117.63/166.49	c (161,0) c Unaries_4 : 7
1117.63/166.49	c (161,0) c Unaries_5 : 9
1117.63/166.49	c (161,0) c Unaries_6 : 18
1117.63/166.49	c (161,0) c Unaries_7 : 11
1117.63/166.49	c (161,0) c Unaries_total : 93
1117.63/166.49	c (161,0) c Unaries_winner : 18
1117.63/166.49	c (161,0) c Binaries_0 : 156
1117.63/166.49	c (161,0) c Binaries_1 : 250
1117.63/166.49	c (161,0) c Binaries_2 : 201
1117.63/166.49	c (161,0) c Binaries_3 : 206
1117.63/166.49	c (161,0) c Binaries_4 : 281
1117.63/166.49	c (161,0) c Binaries_5 : 226
1117.63/166.49	c (161,0) c Binaries_6 : 320
1117.63/166.49	c (161,0) c Binaries_7 : 242
1117.63/166.49	c (161,0) c Binaries_total : 1882
1117.63/166.49	c (161,0) c Binaries_winner : 320
1117.63/166.49	c (161,0) c Glues_0 : 791
1117.63/166.49	c (161,0) c Glues_1 : 976
1117.63/166.49	c (161,0) c Glues_2 : 882
1117.63/166.49	c (161,0) c Glues_3 : 845
1117.63/166.49	c (161,0) c Glues_4 : 956
1117.63/166.49	c (161,0) c Glues_5 : 912
1117.63/166.49	c (161,0) c Glues_6 : 1087
1117.63/166.49	c (161,0) c Glues_7 : 948
1117.63/166.49	c (161,0) c Glues_total : 7397
1117.63/166.49	c (161,0) c Glues_winner : 1087
1117.63/166.49	c (161,0) c RunningTime_0 : 160.908566
1117.63/166.49	c (161,0) c RunningTime_1 : 149.574747
1117.63/166.49	c (161,0) c RunningTime_2 : 151.041272
1117.63/166.49	c (161,0) c RunningTime_3 : 121.123059
1117.63/166.49	c (161,0) c RunningTime_4 : 119.767630
1117.63/166.49	c (161,0) c RunningTime_5 : 149.199378
1117.63/166.49	c (161,0) c RunningTime_6 : 120.285023
1117.63/166.49	c (161,0) c RunningTime_7 : 133.813881
1117.63/166.49	c (161,0) c RunningTime_total : 1105.713554
1117.63/166.49	c (161,0) c RunningTime_winner : 120.285023
1117.63/166.49	c (161,0) c WaitingTime_0 : 0.001748
1117.63/166.49	c (161,0) c WaitingTime_1 : 9.882803
1117.63/166.49	c (161,0) c WaitingTime_2 : 8.353815
1117.63/166.49	c (161,0) c WaitingTime_3 : 38.374008
1117.63/166.49	c (161,0) c WaitingTime_4 : 39.645292
1117.63/166.49	c (161,0) c WaitingTime_5 : 10.231448
1117.63/166.49	c (161,0) c WaitingTime_6 : 39.099939
1117.63/166.49	c (161,0) c WaitingTime_7 : 25.665934
1117.63/166.49	c (161,0) c WaitingTime_total : 171.254986
1117.63/166.49	c (161,0) c WaitingTime_winner : 39.099939
1117.63/166.49	c (161,0) c ExchangingTime_0 : 0.323056
1117.63/166.49	c (161,0) c ExchangingTime_1 : 0.382507
1117.63/166.49	c (161,0) c ExchangingTime_2 : 0.370341
1117.63/166.49	c (161,0) c ExchangingTime_3 : 0.342891
1117.63/166.49	c (161,0) c ExchangingTime_4 : 0.389609
1117.63/166.49	c (161,0) c ExchangingTime_5 : 0.314891
1117.63/166.49	c (161,0) c ExchangingTime_6 : 0.355129
1117.63/166.49	c (161,0) c ExchangingTime_7 : 0.360572
1117.63/166.49	c (161,0) c ExchangingTime_total : 2.838995
1117.63/166.49	c (161,0) c ExchangingTime_winner : 0.355129
1117.63/166.49	c (161,0) c PeriodProcTime_0 : 0.022969
1117.63/166.49	c (161,0) c PeriodProcTime_1 : 0.014465
1117.63/166.49	c (161,0) c PeriodProcTime_2 : 0.014165
1117.63/166.49	c (161,0) c PeriodProcTime_3 : 0.012706
1117.63/166.49	c (161,0) c PeriodProcTime_4 : 0.014045
1117.63/166.49	c (161,0) c PeriodProcTime_5 : 0.013049
1117.63/166.49	c (161,0) c PeriodProcTime_6 : 0.012480
1117.63/166.49	c (161,0) c PeriodProcTime_7 : 0.012100
1117.63/166.49	c (161,0) c PeriodProcTime_total : 0.115978
1117.63/166.49	c (161,0) c PeriodProcTime_winner : 0.012480
1117.63/166.49	c (161,0) c SolvingTime_0 : 161.256338
1117.63/166.49	c (161,0) c SolvingTime_1 : 159.854522
1117.63/166.49	c (161,0) c SolvingTime_2 : 159.779592
1117.63/166.49	c (161,0) c SolvingTime_3 : 159.852663
1117.63/166.49	c (161,0) c SolvingTime_4 : 159.816575
1117.63/166.49	c (161,0) c SolvingTime_5 : 159.758765
1117.63/166.49	c (161,0) c SolvingTime_6 : 159.752570
1117.63/166.49	c (161,0) c SolvingTime_7 : 159.852487
1117.63/166.49	c (161,0) c SolvingTime_total : 1279.923513
1117.63/166.49	c (161,0) c SolvingTime_winner : 159.752570
1117.63/166.49	c (161,0) c PropagationTime_0 : 100.675391
1117.63/166.49	c (161,0) c PropagationTime_1 : 110.225405
1117.63/166.49	c (161,0) c PropagationTime_2 : 109.617346
1117.63/166.49	c (161,0) c PropagationTime_3 : 135.540664
1117.63/166.49	c (161,0) c PropagationTime_4 : 142.415968
1117.63/166.49	c (161,0) c PropagationTime_5 : 101.091945
1117.63/166.49	c (161,0) c PropagationTime_6 : 139.220800
1117.63/166.49	c (161,0) c PropagationTime_7 : 120.971031
1117.63/166.49	c (161,0) c PropagationTime_total : 959.758552
1117.63/166.49	c (161,0) c PropagationTime_winner : 139.220800
1117.63/166.49	c (161,0) c AnalysisTime_0 : 57.052015
1117.63/166.49	c (161,0) c AnalysisTime_1 : 46.002244
1117.63/166.49	c (161,0) c AnalysisTime_2 : 46.683813
1117.63/166.49	c (161,0) c AnalysisTime_3 : 20.578541
1117.63/166.49	c (161,0) c AnalysisTime_4 : 13.540875
1117.63/166.49	c (161,0) c AnalysisTime_5 : 55.290118
1117.63/166.49	c (161,0) c AnalysisTime_6 : 16.691826
1117.63/166.49	c (161,0) c AnalysisTime_7 : 35.275543
1117.63/166.49	c (161,0) c AnalysisTime_total : 291.114975
1117.63/166.49	c (161,0) c AnalysisTime_winner : 16.691826
1117.63/166.49	c (161,0) c ReductionTime_0 : 1.287801
1117.63/166.49	c (161,0) c ReductionTime_1 : 1.357415
1117.63/166.49	c (161,0) c ReductionTime_2 : 1.247658
1117.63/166.49	c (161,0) c ReductionTime_3 : 1.459570
1117.63/166.49	c (161,0) c ReductionTime_4 : 1.533781
1117.63/166.49	c (161,0) c ReductionTime_5 : 1.179695
1117.63/166.49	c (161,0) c ReductionTime_6 : 1.560180
1117.63/166.49	c (161,0) c ReductionTime_7 : 1.440679
1117.63/166.49	c (161,0) c ReductionTime_total : 11.066778
1117.63/166.49	c (161,0) c ReductionTime_winner : 1.560180
1117.63/166.49	c (161,0) c SimplifyTime_0 : 0.030360
1117.63/166.49	c (161,0) c SimplifyTime_1 : 0.030617
1117.63/166.49	c (161,0) c SimplifyTime_2 : 0.027774
1117.63/166.49	c (161,0) c SimplifyTime_3 : 0.080499
1117.63/166.49	c (161,0) c SimplifyTime_4 : 0.079566
1117.63/166.49	c (161,0) c SimplifyTime_5 : 0.027960
1117.63/166.49	c (161,0) c SimplifyTime_6 : 0.031252
1117.63/166.49	c (161,0) c SimplifyTime_7 : 0.024317
1117.63/166.49	c (161,0) c SimplifyTime_total : 0.332346
1117.63/166.49	c (161,0) c SimplifyTime_winner : 0.031252
1117.63/166.49	c (161,0) c UsedRateTime_0 : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_1 : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_2 : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_3 : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_4 : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_5 : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_6 : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_7 : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_total : 0.000000
1117.63/166.49	c (161,0) c UsedRateTime_winner : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_0 : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_1 : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_2 : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_3 : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_4 : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_5 : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_6 : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_7 : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_total : 0.000000
1117.63/166.49	c (161,0) c OverlapRateTime_winner : 0.000000
1117.63/166.49	c (161,0) c
1117.63/166.49	c (161,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1117.63/166.49	c (161,0) c
1117.63/166.49	c (161,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.49	c (161,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1117.63/166.49	c (161,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.49	c (161,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1117.63/166.49	c (161,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1117.63/166.49	c (161,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1117.63/166.49	c (161,0) c | Initial random_seed   | 2069390902 |  982619340 |   19405756 |  677195428 |  764027826 | 1095286425 |  791548428 | 1960291293 |
1117.63/166.49	c (161,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1117.63/166.49	c (161,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1117.63/166.49	c (161,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1117.63/166.49	c (161,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1117.63/166.49	c (161,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1117.63/166.49	c (161,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1117.63/166.49	c (161,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1117.63/166.49	c (161,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1117.63/166.49	c (161,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1117.63/166.49	c (161,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1117.63/166.49	c (161,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1117.63/166.49	c (161,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1117.63/166.49	c (161,0) 
1117.63/166.49	c (161,0) s UNSATISFIABLE
1117.78/166.50	c (161,0) SatSolver.solve End
1117.78/166.50	c (161,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1117.78/166.50	c (161,0) Show results Begin
1117.78/166.50	s UNSATISFIABLE
1117.78/166.50	c (161,0) Show results End
1117.78/166.50	c (161,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1117.78/166.51	c (161,0) 161,161,STOP-AFTER(ALL)
1117.78/166.51	c END-Prog: Tue Sep 24 18:33: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 (13386 MiB free)
  memory of node 1: 16384 MiB (12520 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405308-1569342694/watcher-4405308-1569342694 -o /var/tmp/evaluation-result-4405308-1569342694/solver-4405308-1569342694 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569335934-10152 --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-4405308-1569342694.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=11188, runsolver pid=11185
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 7.47 7.27 6.73 4/212 11210
/proc/meminfo: memFree=26434144/32770624 swapFree=67002120/67108860
[pid=11188] ppid=11185 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11188/stat : 11188 (scop.sh) S 11185 11188 10125 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510517993 115843072 349 33554432000 4194304 5098028 140720336720240 140720336717496 140180203467388 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20623360 140720336728829 140720336729176 140720336729176 140720336732105 0
/proc/11188/statm: 28282 349 296 221 0 87 0
[pid=11191] ppid=11188 vsize=27314120 memory=105828 CPUtime=0.1 cores=0-7
/proc/11191/stat : 11191 (java) S 11188 11188 10125 0 -1 1077944320 6548 0 0 0 8 2 0 0 20 0 20 0 510517993 27969658880 26457 33554432000 4194304 4196468 140733436786688 140733436769232 140592567328503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
/proc/11191/statm: 6828530 26457 2793 1 0 6790935 0
[pid=11191/tid=11192] ppid=11188 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11191/task/11192/stat : 11192 (java) R 11188 11188 10125 0 -1 4202560 4642 0 0 0 7 2 0 0 20 0 20 0 510517993 27969658880 26521 33554432000 4194304 4196468 140733436786688 140592539151552 140592551408990 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11193] ppid=11188 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11191/task/11193/stat : 11193 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 26521 33554432000 4194304 4196468 140733436786688 140592571570448 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11194] ppid=11188 vsize=27314120 memory=140245439080064 CPUtime=0 cores=0-7
/proc/11191/task/11194/stat : 11194 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 26521 33554432000 4194304 4196468 140733436786688 140592400664976 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11195] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11195/stat : 11195 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 26521 33554432000 4194304 4196468 140733436786688 140591988378128 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11196] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11196/stat : 11196 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 26521 33554432000 4194304 4196468 140733436786688 140591987325584 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11197] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11197/stat : 11197 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 26521 33554432000 4194304 4196468 140733436786688 140591986273040 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11198] ppid=11188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11191/task/11198/stat : 11198 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 26521 33554432000 4194304 4196468 140733436786688 140591985220496 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11199] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11199/stat : 11199 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 26521 33554432000 4194304 4196468 140733436786688 140591984167952 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11200] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11200/stat : 11200 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 26521 33554432000 4194304 4196468 140733436786688 140591983115408 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11201] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11201/stat : 11201 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517997 27969658880 26521 33554432000 4194304 4196468 140733436786688 140590619178992 140592567339650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11202] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11202/stat : 11202 (java) S 11188 11188 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510517998 27969658880 26521 33554432000 4194304 4196468 140733436786688 140590519935904 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11203] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11203/stat : 11203 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517998 27969658880 26521 33554432000 4194304 4196468 140733436786688 140590251500528 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11204] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11204/stat : 11204 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510518000 27969658880 26521 33554432000 4194304 4196468 140733436786688 140589876992208 140592567347099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11205] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11205/stat : 11205 (java) S 11188 11188 10125 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 510518000 27969658880 26521 33554432000 4194304 4196468 140733436786688 140590618126832 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11206] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11206/stat : 11206 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510518000 27969658880 26521 33554432000 4194304 4196468 140733436786688 140590617074288 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11207] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11207/stat : 11207 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 26521 33554432000 4194304 4196468 140733436786688 140590616021744 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11208] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11208/stat : 11208 (java) S 11188 11188 10125 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 26521 33554432000 4194304 4196468 140733436786688 140590614969200 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11209] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11209/stat : 11209 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 26521 33554432000 4194304 4196468 140733436786688 140589379086560 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11210] ppid=11188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11191/task/11210/stat : 11210 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 26521 33554432000 4194304 4196468 140733436786688 140590613916080 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107224 KiB

[startup+0.210578 s]*
/proc/loadavg: 7.47 7.27 6.73 2/212 11210
/proc/meminfo: memFree=26415656/32770624 swapFree=67002120/67108860
[pid=11188] ppid=11185 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11188/stat : 11188 (scop.sh) S 11185 11188 10125 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510517993 115843072 349 33554432000 4194304 5098028 140720336720240 140720336717496 140180203467388 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20623360 140720336728829 140720336729176 140720336729176 140720336732105 0
/proc/11188/statm: 28282 349 296 221 0 87 0
[pid=11191] ppid=11188 vsize=27314120 memory=122708 CPUtime=0.24 cores=0-7
/proc/11191/stat : 11191 (java) S 11188 11188 10125 0 -1 1077944320 11600 0 0 0 20 4 0 0 20 0 20 0 510517993 27969658880 30677 33554432000 4194304 4196468 140733436786688 140733436769232 140592567328503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
/proc/11191/statm: 6828530 30677 2941 1 0 6790935 0
[pid=11191/tid=11192] ppid=11188 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11191/task/11192/stat : 11192 (java) R 11188 11188 10125 0 -1 4202560 9256 0 0 0 16 3 0 0 20 0 20 0 510517993 27969658880 30677 33554432000 4194304 4196468 140733436786688 140592539127888 140592547604179 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11193] ppid=11188 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/11191/task/11193/stat : 11193 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 30677 33554432000 4194304 4196468 140733436786688 140592571570448 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11194] ppid=11188 vsize=27314120 memory=288370621590791808 CPUtime=0 cores=0-7
/proc/11191/task/11194/stat : 11194 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 30677 33554432000 4194304 4196468 140733436786688 140592400664976 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11195] ppid=11188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11191/task/11195/stat : 11195 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 30677 33554432000 4194304 4196468 140733436786688 140591988378128 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11196] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11196/stat : 11196 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 30677 33554432000 4194304 4196468 140733436786688 140591987325584 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11197] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11197/stat : 11197 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 30677 33554432000 4194304 4196468 140733436786688 140591986273040 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11198] ppid=11188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11191/task/11198/stat : 11198 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 30677 33554432000 4194304 4196468 140733436786688 140591985220496 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11199] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11199/stat : 11199 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 30677 33554432000 4194304 4196468 140733436786688 140591984167952 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11200] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11200/stat : 11200 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 30677 33554432000 4194304 4196468 140733436786688 140591983115408 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11201] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11201/stat : 11201 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517997 27969658880 30677 33554432000 4194304 4196468 140733436786688 140590619178992 140592567339650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11202] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11202/stat : 11202 (java) S 11188 11188 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510517998 27969658880 30677 33554432000 4194304 4196468 140733436786688 140590519935904 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11203] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11203/stat : 11203 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517998 27969658880 30677 33554432000 4194304 4196468 140733436786688 140590251500528 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11204] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11204/stat : 11204 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510518000 27969658880 30677 33554432000 4194304 4196468 140733436786688 140589876992208 140592567347099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11205] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11205/stat : 11205 (java) S 11188 11188 10125 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 510518000 27969658880 30677 33554432000 4194304 4196468 140733436786688 140590618126832 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11206] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11206/stat : 11206 (java) S 11188 11188 10125 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 510518000 27969658880 30677 33554432000 4194304 4196468 140733436786688 140590617074288 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11207] ppid=11188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11191/task/11207/stat : 11207 (java) S 11188 11188 10125 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 30677 33554432000 4194304 4196468 140733436786688 140590616021744 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11208] ppid=11188 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/11191/task/11208/stat : 11208 (java) S 11188 11188 10125 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 20 0 510518001 27969658880 30677 33554432000 4194304 4196468 140733436786688 140590614969200 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11209] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11209/stat : 11209 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 30677 33554432000 4194304 4196468 140733436786688 140589379086560 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11210] ppid=11188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11191/task/11210/stat : 11210 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 30677 33554432000 4194304 4196468 140733436786688 140590613916080 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124104 KiB

[startup+0.311205 s]*
/proc/loadavg: 7.47 7.27 6.73 2/212 11210
/proc/meminfo: memFree=26412616/32770624 swapFree=67002120/67108860
[pid=11188] ppid=11185 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11188/stat : 11188 (scop.sh) S 11185 11188 10125 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510517993 115843072 349 33554432000 4194304 5098028 140720336720240 140720336717496 140180203467388 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20623360 140720336728829 140720336729176 140720336729176 140720336732105 0
/proc/11188/statm: 28282 349 296 221 0 87 0
[pid=11191] ppid=11188 vsize=27314120 memory=126952 CPUtime=0.42 cores=0-7
/proc/11191/stat : 11191 (java) S 11188 11188 10125 0 -1 1077944320 12616 0 0 0 38 4 0 0 20 0 20 0 510517993 27969658880 31738 33554432000 4194304 4196468 140733436786688 140733436769232 140592567328503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
/proc/11191/statm: 6828530 31738 3009 1 0 6790935 0
[pid=11191/tid=11192] ppid=11188 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11191/task/11192/stat : 11192 (java) R 11188 11188 10125 0 -1 4202560 10024 0 0 0 26 3 0 0 20 0 20 0 510517993 27969658880 31738 33554432000 4194304 4196468 140733436786688 140592539123176 140592551408990 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11193] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11193/stat : 11193 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 31738 33554432000 4194304 4196468 140733436786688 140592571570448 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11194] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11194/stat : 11194 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 31738 33554432000 4194304 4196468 140733436786688 140592400664976 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11195] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11195/stat : 11195 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 31738 33554432000 4194304 4196468 140733436786688 140591988378128 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11196] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11196/stat : 11196 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 31738 33554432000 4194304 4196468 140733436786688 140591987325584 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11197] ppid=11188 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/11191/task/11197/stat : 11197 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 31738 33554432000 4194304 4196468 140733436786688 140591986273040 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11198] ppid=11188 vsize=27314120 memory=140245312041903 CPUtime=0 cores=0-7
/proc/11191/task/11198/stat : 11198 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 31738 33554432000 4194304 4196468 140733436786688 140591985220496 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11199] ppid=11188 vsize=27314120 memory=140245312044208 CPUtime=0 cores=0-7
/proc/11191/task/11199/stat : 11199 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 31738 33554432000 4194304 4196468 140733436786688 140591984167952 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11200] ppid=11188 vsize=27314120 memory=140245312046512 CPUtime=0 cores=0-7
/proc/11191/task/11200/stat : 11200 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27969658880 31738 33554432000 4194304 4196468 140733436786688 140591983115408 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11201] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11201/stat : 11201 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517997 27969658880 31738 33554432000 4194304 4196468 140733436786688 140590619178992 140592567339650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11202] ppid=11188 vsize=27314120 memory=280490624099984 CPUtime=0 cores=0-7
/proc/11191/task/11202/stat : 11202 (java) S 11188 11188 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510517998 27969658880 31738 33554432000 4194304 4196468 140733436786688 140590519935904 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11203] ppid=11188 vsize=27314120 memory=280490624106896 CPUtime=0 cores=0-7
/proc/11191/task/11203/stat : 11203 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517998 27969658880 31738 33554432000 4194304 4196468 140733436786688 140590251500528 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11204] ppid=11188 vsize=27314120 memory=280490624048176 CPUtime=0 cores=0-7
/proc/11191/task/11204/stat : 11204 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510518000 27969658880 31738 33554432000 4194304 4196468 140733436786688 140589876992208 140592567347099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11205] ppid=11188 vsize=27314120 memory=280490624120720 CPUtime=0 cores=0-7
/proc/11191/task/11205/stat : 11205 (java) R 11188 11188 10125 0 -1 4202560 333 0 0 0 0 0 0 0 20 0 20 0 510518000 27969658880 31738 33554432000 4194304 4196468 140733436786688 140590618126832 140592567340438 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11206] ppid=11188 vsize=27314120 memory=280490624127632 CPUtime=0.02 cores=0-7
/proc/11191/task/11206/stat : 11206 (java) S 11188 11188 10125 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 20 0 510518000 27969658880 31738 33554432000 4194304 4196468 140733436786688 140590617074288 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11207] ppid=11188 vsize=27314120 memory=280490624125328 CPUtime=0 cores=0-7
/proc/11191/task/11207/stat : 11207 (java) S 11188 11188 10125 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 31738 33554432000 4194304 4196468 140733436786688 140590616021744 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11208] ppid=11188 vsize=27314120 memory=280490624141488 CPUtime=0.07 cores=0-7
/proc/11191/task/11208/stat : 11208 (java) S 11188 11188 10125 0 -1 1077944384 618 0 0 0 7 0 0 0 20 0 20 0 510518001 27969658880 31738 33554432000 4194304 4196468 140733436786688 140590614969200 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11209] ppid=11188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11209/stat : 11209 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 31738 33554432000 4194304 4196468 140733436786688 140589379086560 140592567338709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11210] ppid=11188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11191/task/11210/stat : 11210 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510518001 27969658880 31738 33554432000 4194304 4196468 140733436786688 140590613916080 140592567339650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128348 KiB

[startup+0.701459 s]
/proc/loadavg: 7.47 7.27 6.73 3/212 11210
/proc/meminfo: memFree=26389176/32770624 swapFree=67002120/67108860
[pid=11188] ppid=11185 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11188/stat : 11188 (scop.sh) S 11185 11188 10125 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510517993 115843072 349 33554432000 4194304 5098028 140720336720240 140720336717496 140180203467388 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20623360 140720336728829 140720336729176 140720336729176 140720336732105 0
/proc/11188/statm: 28282 349 296 221 0 87 0
[pid=11191] ppid=11188 vsize=27320392 memory=164528 CPUtime=1.01 cores=0-7
/proc/11191/stat : 11191 (java) S 11188 11188 10125 0 -1 1077944320 20274 0 0 0 94 7 0 0 20 0 20 0 510517993 27976081408 41132 33554432000 4194304 4196468 140733436786688 140733436769232 140592567328503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
/proc/11191/statm: 6830098 41132 3183 1 0 6791447 0
[pid=11191/tid=11192] ppid=11188 vsize=27320392 memory=280490624499376 CPUtime=0.67 cores=0-7
/proc/11191/task/11192/stat : 11192 (java) R 11188 11188 10125 0 -1 4202560 16975 0 0 0 62 5 0 0 20 0 20 0 510517993 27976081408 41132 33554432000 4194304 4196468 140733436786688 140592539165488 140592567340438 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11193] ppid=11188 vsize=27320392 memory=140245312250736 CPUtime=0 cores=0-7
/proc/11191/task/11193/stat : 11193 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510517996 27976081408 41132 33554432000 4194304 4196468 140733436786688 140592571570448 140592567338709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11194] ppid=11188 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11191/task/11194/stat : 11194 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27976081408 41132 33554432000 4194304 4196468 140733436786688 140592400664976 140592567338709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0
[pid=11191/tid=11195] ppid=11188 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/11191/task/11195/stat : 11195 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510517996 27976081408 41132 33554432000 4194304 4196468 140733436786688 140591988378128 140592567338709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140733436789447 140733436789894 140733436789894 140733436792783 0

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

/proc/11211/task/11216/stat : 11216 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903469517968 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11217] ppid=11188 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11211/task/11217/stat : 11217 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903468464400 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11218] ppid=11188 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11211/task/11218/stat : 11218 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903467411856 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11219] ppid=11188 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11211/task/11219/stat : 11219 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903466359312 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11220] ppid=11188 vsize=8414124 memory=3053511329498284128 CPUtime=0 cores=0-7
/proc/11211/task/11220/stat : 11220 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903465306768 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11221] ppid=11188 vsize=8414124 memory=7007707949394126417 CPUtime=0 cores=0-7
/proc/11211/task/11221/stat : 11221 (java) S 11188 11188 10125 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510518434 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902744259056 139903986297474 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11222] ppid=11188 vsize=8414124 memory=7379241883359864663 CPUtime=0 cores=0-7
/proc/11211/task/11222/stat : 11222 (java) S 11188 11188 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510518434 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902654080416 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11223] ppid=11188 vsize=8414124 memory=16593 CPUtime=0 cores=0-7
/proc/11211/task/11223/stat : 11223 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518435 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902385645040 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11224] ppid=11188 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11211/task/11224/stat : 11224 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902011136720 139903986304923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11225] ppid=11188 vsize=8414124 memory=3472468541540954192 CPUtime=0.06 cores=0-7
/proc/11211/task/11225/stat : 11225 (java) S 11188 11188 10125 0 -1 1077944384 541 0 0 0 6 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902743205872 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11226] ppid=11188 vsize=8414124 memory=280490623893744 CPUtime=0.08 cores=0-7
/proc/11211/task/11226/stat : 11226 (java) S 11188 11188 10125 0 -1 1077944384 359 0 0 0 8 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902742153328 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11227] ppid=11188 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/11211/task/11227/stat : 11227 (java) S 11188 11188 10125 0 -1 1077944384 282 0 0 0 5 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902741100784 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11228] ppid=11188 vsize=8414124 memory=2209 CPUtime=0.22 cores=0-7
/proc/11211/task/11228/stat : 11228 (java) S 11188 11188 10125 0 -1 1077944384 670 0 0 0 22 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902740048240 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11229] ppid=11188 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/11211/task/11229/stat : 11229 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139901513231072 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11230] ppid=11188 vsize=8414124 memory=6944652177228980320 CPUtime=0.1 cores=0-7
/proc/11211/task/11230/stat : 11230 (java) S 11188 11188 10125 0 -1 1077944384 13 0 0 0 0 10 0 0 20 0 24 0 510518438 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902738996144 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11232] ppid=11188 vsize=8414124 memory=7446822257561267300 CPUtime=0 cores=0-7
/proc/11211/task/11232/stat : 11232 (java) S 11188 11188 10125 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510518505 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902730962624 139903986310937 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11234] ppid=11188 vsize=8414124 memory=7590095258335013732 CPUtime=0 cores=0-7
/proc/11211/task/11234/stat : 11234 (java) S 11188 11188 10125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510518505 8616062976 30273 33554432000 4194304 4196468 140725903403216 139900842130704 139903986308253 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11235] ppid=11188 vsize=8414124 memory=7228928657758118464 CPUtime=0 cores=0-7
/proc/11211/task/11235/stat : 11235 (java) S 11188 11188 10125 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510518506 8616062976 30273 33554432000 4194304 4196468 140725903403216 139901110566288 139903986308253 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11243] ppid=11188 vsize=8414124 memory=7649399375624548657 CPUtime=0 cores=0-7
/proc/11211/task/11243/stat : 11243 (java) S 11188 11188 10125 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 510518508 8616062976 30273 33554432000 4194304 4196468 140725903403216 139900573703344 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
Current children cumulated CPU time: 1117.24 s
Current children cumulated vsize: 9350748 KiB
Current children cumulated memory: 750472 KiB

[startup+166.401 s]
/proc/loadavg: 6.69 6.98 6.70 2/218 11255
/proc/meminfo: memFree=25791816/32770624 swapFree=67002120/67108860
[pid=11188] ppid=11185 vsize=113128 memory=1476 CPUtime=11.93 cores=0-7
/proc/11188/stat : 11188 (scop.sh) S 11185 11188 10125 0 -1 4202496 582 32590 0 0 0 0 1164 29 20 0 1 0 510517993 115843072 369 33554432000 4194304 5098028 140720336720240 140720336716984 140180203467388 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20623360 140720336728829 140720336729176 140720336729176 140720336732105 0
/proc/11188/statm: 28282 369 311 221 0 87 0
[pid=11211] ppid=11188 vsize=8414124 memory=121092 CPUtime=1.34 cores=0-7
/proc/11211/stat : 11211 (java) S 11188 11188 10125 0 -1 1077944320 20256 0 0 0 127 7 0 0 20 0 24 0 510518431 8616062976 30273 33554432000 4194304 4196468 140725903403216 140725903385760 139903986286327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
/proc/11211/statm: 2103531 30273 3203 1 0 2064875 0
[pid=11231] ppid=11211 vsize=823496 memory=630084 CPUtime=1104.36 cores=0-7
/proc/11231/stat : 11231 (manyglucose-4.1) S 11211 11188 10125 0 -1 1077944320 931608 0 0 0 110259 177 0 0 20 0 2 0 510518505 843259904 157521 33554432000 4194304 4454172 140721776441840 140721776440224 140476579921655 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 18968576 140721776448333 140721776448540 140721776448540 140721776451510 0
/proc/11231/statm: 205874 157521 418 64 0 201542 0
[pid=11231/tid=11236] ppid=11211 vsize=823496 memory=1656 CPUtime=161.19 cores=0-7
/proc/11231/task/11236/stat : 11236 (manyglucose-4.1) R 11211 11188 10125 0 -1 4202560 135544 0 0 0 16095 24 0 0 20 0 2 0 510518507 843259904 157521 33554432000 4194304 4454172 140721776441840 140476564704392 140721776483537 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 18968576 140721776448333 140721776448540 140721776448540 140721776451510 0
[pid=11211/tid=11212] ppid=11188 vsize=8414124 memory=64400 CPUtime=0.77 cores=0-7
/proc/11211/task/11212/stat : 11212 (java) S 11188 11188 10125 0 -1 1077944384 16860 0 0 0 72 5 0 0 20 0 24 0 510518431 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903958126496 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11213] ppid=11188 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/11211/task/11213/stat : 11213 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518432 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903990528784 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11214] ppid=11188 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/11211/task/11214/stat : 11214 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510518432 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903796292496 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11215] ppid=11188 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/11211/task/11215/stat : 11215 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518432 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903470570512 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11216] ppid=11188 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/11211/task/11216/stat : 11216 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903469517968 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11217] ppid=11188 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11211/task/11217/stat : 11217 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903468464400 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11218] ppid=11188 vsize=8414124 memory=-7737605734073691286 CPUtime=0 cores=0-7
/proc/11211/task/11218/stat : 11218 (java) S 11188 11188 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903467411856 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11219] ppid=11188 vsize=8414124 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/11211/task/11219/stat : 11219 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903466359312 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11220] ppid=11188 vsize=8414124 memory=6944613755328037012 CPUtime=0 cores=0-7
/proc/11211/task/11220/stat : 11220 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510518433 8616062976 30273 33554432000 4194304 4196468 140725903403216 139903465306768 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11221] ppid=11188 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11211/task/11221/stat : 11221 (java) S 11188 11188 10125 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510518434 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902744259056 139903986297474 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11222] ppid=11188 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11211/task/11222/stat : 11222 (java) S 11188 11188 10125 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510518434 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902654080416 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11223] ppid=11188 vsize=8414124 memory=280490624486528 CPUtime=0 cores=0-7
/proc/11211/task/11223/stat : 11223 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518435 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902385645040 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11224] ppid=11188 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/11211/task/11224/stat : 11224 (java) S 11188 11188 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902011136720 139903986304923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11225] ppid=11188 vsize=8414124 memory=920 CPUtime=0.06 cores=0-7
/proc/11211/task/11225/stat : 11225 (java) S 11188 11188 10125 0 -1 1077944384 541 0 0 0 6 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902743205872 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11226] ppid=11188 vsize=8414124 memory=4444 CPUtime=0.08 cores=0-7
/proc/11211/task/11226/stat : 11226 (java) S 11188 11188 10125 0 -1 1077944384 359 0 0 0 8 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902742153328 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11227] ppid=11188 vsize=8414124 memory=4108 CPUtime=0.05 cores=0-7
/proc/11211/task/11227/stat : 11227 (java) S 11188 11188 10125 0 -1 1077944384 282 0 0 0 5 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902741100784 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11228] ppid=11188 vsize=8414124 memory=1412 CPUtime=0.22 cores=0-7
/proc/11211/task/11228/stat : 11228 (java) S 11188 11188 10125 0 -1 1077944384 670 0 0 0 22 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902740048240 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11229] ppid=11188 vsize=8414124 memory=3708 CPUtime=0 cores=0-7
/proc/11211/task/11229/stat : 11229 (java) S 11188 11188 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510518437 8616062976 30273 33554432000 4194304 4196468 140725903403216 139901513231072 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11230] ppid=11188 vsize=8414124 memory=1476 CPUtime=0.1 cores=0-7
/proc/11211/task/11230/stat : 11230 (java) S 11188 11188 10125 0 -1 1077944384 13 0 0 0 0 10 0 0 20 0 24 0 510518438 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902738996144 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11232] ppid=11188 vsize=8414124 memory=121092 CPUtime=0 cores=0-7
/proc/11211/task/11232/stat : 11232 (java) S 11188 11188 10125 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510518505 8616062976 30273 33554432000 4194304 4196468 140725903403216 139902730962624 139903986310937 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11234] ppid=11188 vsize=8414124 memory=679868 CPUtime=0 cores=0-7
/proc/11211/task/11234/stat : 11234 (java) S 11188 11188 10125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510518505 8616062976 30273 33554432000 4194304 4196468 140725903403216 139900842130704 139903986308253 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11235] ppid=11188 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/11211/task/11235/stat : 11235 (java) S 11188 11188 10125 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510518506 8616062976 30273 33554432000 4194304 4196468 140725903403216 139901110566288 139903986308253 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11243] ppid=11188 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/11211/task/11243/stat : 11243 (java) S 11188 11188 10125 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 510518508 8616062976 30273 33554432000 4194304 4196468 140725903403216 139900573703344 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
Current children cumulated CPU time: 1117.63 s
Current children cumulated vsize: 9350748 KiB
Current children cumulated memory: 752652 KiB

[startup+166.506 s]
/proc/loadavg: 6.69 6.98 6.70 2/218 11255
/proc/meminfo: memFree=25791816/32770624 swapFree=67002120/67108860
[pid=11188] ppid=11185 vsize=113128 memory=1476 CPUtime=11.93 cores=0-7
/proc/11188/stat : 11188 (scop.sh) S 11185 11188 10125 0 -1 4202496 582 32590 0 0 0 0 1164 29 20 0 1 0 510517993 115843072 369 33554432000 4194304 5098028 140720336720240 140720336716984 140180203467388 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20623360 140720336728829 140720336729176 140720336729176 140720336732105 0
/proc/11188/statm: 28282 369 311 221 0 87 0
[pid=11211] ppid=11188 vsize=8414124 memory=119280 CPUtime=1105.85 cores=0-7
/proc/11211/stat : 11211 (java) S 11188 11188 10125 0 -1 1077944320 20307 931622 0 0 131 7 110268 179 20 0 23 0 510518431 8616062976 29820 33554432000 4194304 4196468 140725903403216 140725903385760 139903986286327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
/proc/11211/statm: 2103531 29820 3205 1 0 2064875 0
[pid=11211/tid=11212] ppid=11188 vsize=8414124 memory=1476 CPUtime=1105.24 cores=0-7
/proc/11211/task/11212/stat : 11212 (java) S 11188 11188 10125 0 -1 1077944384 16860 931622 0 0 72 5 110268 179 20 0 23 0 510518431 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903958126496 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11213] ppid=11188 vsize=8414124 memory=1476 CPUtime=1104.47 cores=0-7
/proc/11211/task/11213/stat : 11213 (java) S 11188 11188 10125 0 -1 1077944384 1 931622 0 0 0 0 110268 179 20 0 23 0 510518432 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903990528784 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11214] ppid=11188 vsize=8414124 memory=164 CPUtime=1104.47 cores=0-7
/proc/11211/task/11214/stat : 11214 (java) S 11188 11188 10125 0 -1 1077944384 2 931622 0 0 0 0 110268 179 20 0 23 0 510518432 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903796292496 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11215] ppid=11188 vsize=8414124 memory=64400 CPUtime=1104.47 cores=0-7
/proc/11211/task/11215/stat : 11215 (java) S 11188 11188 10125 0 -1 1077944384 1 931622 0 0 0 0 110268 179 20 0 23 0 510518432 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903470570512 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11216] ppid=11188 vsize=8414124 memory=988 CPUtime=1104.47 cores=0-7
/proc/11211/task/11216/stat : 11216 (java) S 11188 11188 10125 0 -1 1077944384 1 931622 0 0 0 0 110268 179 20 0 23 0 510518433 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903469517968 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11217] ppid=11188 vsize=8414124 memory=121092 CPUtime=1104.47 cores=0-7
/proc/11211/task/11217/stat : 11217 (java) S 11188 11188 10125 0 -1 1077944384 2 931622 0 0 0 0 110268 179 20 0 23 0 510518433 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903468464400 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11218] ppid=11188 vsize=8414124 memory=1476 CPUtime=1104.47 cores=0-7
/proc/11211/task/11218/stat : 11218 (java) S 11188 11188 10125 0 -1 1077944384 2 931622 0 0 0 0 110268 179 20 0 23 0 510518433 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903467411856 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11219] ppid=11188 vsize=8414124 memory=0 CPUtime=1104.47 cores=0-7
/proc/11211/task/11219/stat : 11219 (java) S 11188 11188 10125 0 -1 1077944384 1 931622 0 0 0 0 110268 179 20 0 23 0 510518433 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903466359312 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11220] ppid=11188 vsize=8414124 memory=6655300316396806240 CPUtime=1104.47 cores=0-7
/proc/11211/task/11220/stat : 11220 (java) S 11188 11188 10125 0 -1 1077944384 3 931622 0 0 0 0 110268 179 20 0 23 0 510518433 8616062976 29820 33554432000 4194304 4196468 140725903403216 139903465306768 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11221] ppid=11188 vsize=8414124 memory=2024 CPUtime=1104.47 cores=0-7
/proc/11211/task/11221/stat : 11221 (java) S 11188 11188 10125 0 -1 1077944384 7 931622 0 0 0 0 110268 179 20 0 23 0 510518434 8616062976 29820 33554432000 4194304 4196468 140725903403216 139902744259056 139903986297474 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11222] ppid=11188 vsize=8414124 memory=1416 CPUtime=1104.47 cores=0-7
/proc/11211/task/11222/stat : 11222 (java) S 11188 11188 10125 0 -1 1077944384 13 931622 0 0 0 0 110268 179 20 0 23 0 510518434 8616062976 30332 33554432000 4194304 4196468 140725903403216 139902654080416 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11223] ppid=11188 vsize=8414124 memory=1064 CPUtime=1104.47 cores=0-7
/proc/11211/task/11223/stat : 11223 (java) S 11188 11188 10125 0 -1 1077944384 1 931622 0 0 0 0 110268 179 20 0 23 0 510518435 8616062976 30332 33554432000 4194304 4196468 140725903403216 139902385645040 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11224] ppid=11188 vsize=8283048 memory=14008 CPUtime=1104.47 cores=0-7
/proc/11211/task/11224/stat : 11224 (java) S 11188 11188 10125 0 -1 1077944384 1 931622 0 0 0 0 110268 179 20 0 22 0 510518437 8481841152 30326 33554432000 4194304 4196468 140725903403216 139902011136720 139903986304923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11225] ppid=11188 vsize=8283048 memory=12040 CPUtime=1104.53 cores=0-7
/proc/11211/task/11225/stat : 11225 (java) S 11188 11188 10125 0 -1 1077944384 541 931622 0 0 6 0 110268 179 20 0 22 0 510518437 8481841152 30326 33554432000 4194304 4196468 140725903403216 139902743205872 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11226] ppid=11188 vsize=8283048 memory=1476 CPUtime=1104.55 cores=0-7
/proc/11211/task/11226/stat : 11226 (java) S 11188 11188 10125 0 -1 1077944384 362 931622 0 0 8 0 110268 179 20 0 22 0 510518437 8481841152 30326 33554432000 4194304 4196468 140725903403216 139902742153328 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11227] ppid=11188 vsize=8283048 memory=121092 CPUtime=1104.53 cores=0-7
/proc/11211/task/11227/stat : 11227 (java) S 11188 11188 10125 0 -1 1077944384 286 931622 0 0 6 0 110268 179 20 0 22 0 510518437 8481841152 30326 33554432000 4194304 4196468 140725903403216 139902741100784 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11228] ppid=11188 vsize=8283048 memory=1476 CPUtime=1104.7 cores=0-7
/proc/11211/task/11228/stat : 11228 (java) S 11188 11188 10125 0 -1 1077944384 703 931622 0 0 23 0 110268 179 20 0 22 0 510518437 8481841152 30326 33554432000 4194304 4196468 140725903403216 139902740048240 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11229] ppid=11188 vsize=8283048 memory=2024 CPUtime=1104.47 cores=0-7
/proc/11211/task/11229/stat : 11229 (java) S 11188 11188 10125 0 -1 1077944384 3 931622 0 0 0 0 110268 179 20 0 22 0 510518437 8481841152 30326 33554432000 4194304 4196468 140725903403216 139901513231072 139903986296533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11230] ppid=11188 vsize=8283048 memory=1416 CPUtime=1104.57 cores=0-7
/proc/11211/task/11230/stat : 11230 (java) S 11188 11188 10125 0 -1 1077944384 13 931622 0 0 0 10 110268 179 20 0 22 0 510518438 8481841152 30326 33554432000 4194304 4196468 140725903403216 139902738996144 139903986297474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11232] ppid=11188 vsize=8283048 memory=776 CPUtime=1104.47 cores=0-7
/proc/11211/task/11232/stat : 11232 (java) R 11188 11188 10125 0 -1 4202560 24 931622 0 0 0 0 110268 179 20 0 22 0 510518505 8481841152 30326 33554432000 4194304 4196468 140725903403216 139902730957008 139903970366814 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
[pid=11211/tid=11243] ppid=11188 vsize=8283048 memory=1476 CPUtime=1104.47 cores=0-7
/proc/11211/task/11243/stat : 11243 (java) R 11188 11188 10125 0 -1 4202560 138 931622 0 0 0 0 110268 179 20 0 22 0 510518508 8481841152 30326 33554432000 4194304 4196468 140725903403216 139900573703232 139903970366844 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15958016 140725903410143 140725903410310 140725903410310 140725903413199 0
Current children cumulated CPU time: 1117.78 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120756 KiB

Child status: 0
Real time (s): 166.521
CPU time (s): 1117.83
CPU user time (s): 1115.65
CPU system time (s): 2.17921
CPU usage (%): 671.285
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1052204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1115.65
system time used= 2.17921
maximum resident set size= 1056272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20120
involuntary context switches= 10254


# summary of solver processes directly reported to runsolver:
#   pid: 11188
#   total CPU time (s): 1117.83
#   total CPU user time (s): 1115.65
#   total CPU system time (s): 2.17921

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60017 second user time and 2.45609 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-24 18:30:49
IDJOB=4405308
IDBENCH=134572
IDSOLVER=2867
FILE ID=node136/4405308-1569342694
RUNJOBID= node136-1569335934-10152
PBS_JOBID= 21705056
Free space on /var/tmp= 13484 MiB

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

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

MD5SUM BENCH= 0d344e361328211ed16699cc315bd3d7
RANDOM SEED=1435980845

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26528692 kB
MemAvailable:   31839776 kB
Buffers:          141004 kB
Cached:          5294268 kB
SwapCached:         3560 kB
Active:          2702388 kB
Inactive:        2740200 kB
Active(anon):       2548 kB
Inactive(anon):    61448 kB
Active(file):    2699840 kB
Inactive(file):  2678752 kB
Unevictable:      108444 kB
Mlocked:          108444 kB
SwapTotal:      67108860 kB
SwapFree:       67002120 kB
Dirty:             20864 kB
Writeback:             0 kB
AnonPages:        109420 kB
Mapped:            56800 kB
Shmem:             48256 kB
Slab:             389968 kB
SReclaimable:     360952 kB
SUnreclaim:        29016 kB
KernelStack:        3408 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-24 18:33:36