Trace number 4392739

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 hybrid+ManyGlucose (2019-06-15)UNSAT 1157.39 175.561

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-6_X2.xml
MD5SUM43dd96c97b3ff33ff7a4c42b6a5606ab
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark169.632
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-14642-serial-file.bin HOME/instance-4392739-1568436709.xml
0.66/0.60	
0.66/0.60	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.61	
0.77/0.63	c BEGIN-Prog: Thu Dec 15 13:12:12 CET 2011
0.77/0.63	c PID: 14645
0.77/0.63	c IP: 172.20.3.120
0.77/0.63	c HOST: node120.alineos.net
0.77/0.64	c (0,0) Parsing Begin
2.20/1.26	c (0,0) Parsing End
2.20/1.26	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.20/1.26	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.20/1.26	c (0,0) Constraint Name Generate Begin
2.20/1.28	c (0,0) Ctr:HOME/instance-4392739-1568436709.xml,ExtensionConflict:ExtensionSupport:Var
2.20/1.28	c (0,0) Constraint Name Generate End
2.20/1.28	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.20/1.28	c (0,0) CSP to CSPinCNF Begin
3.53/1.83	c (1,1) translated 127 (10%) constraints
3.96/1.95	c (1,1) translated 253 (20%) constraints
4.41/2.04	c (1,1) translated 379 (30%) constraints
4.84/2.11	c (1,1) translated 505 (40%) constraints
4.84/2.18	c (1,1) translated 631 (50%) constraints
5.20/2.24	c (1,1) translated 757 (60%) constraints
5.61/2.39	c (1,1) translated 883 (70%) constraints
6.56/2.67	c (2,2) translated 1009 (80%) constraints
6.92/2.93	c (2,2) translated 1135 (90%) constraints
7.86/3.30	c (2,2) translated 1261 (100%) constraints
7.86/3.30	c (2,2) ===========================================
7.86/3.32	c (2,2) Hybrid: #OE=793, #LE=0
7.86/3.32	c (2,2) Hybrid
7.86/3.32	c (2,2) ===========================================
8.27/3.40	c (2,2) translated 1883 (10%) constraints
8.27/3.47	c (2,2) translated 3765 (20%) constraints
8.67/3.54	c (2,2) translated 5647 (30%) constraints
9.07/3.61	c (3,2) translated 7529 (40%) constraints
9.07/3.68	c (3,3) translated 9411 (50%) constraints
9.47/3.75	c (3,3) translated 11294 (60%) constraints
9.87/3.81	c (3,3) translated 13176 (70%) constraints
10.12/4.00	c (3,3) translated 15058 (80%) constraints
10.30/4.05	c (3,3) translated 16940 (90%) constraints
10.30/4.10	c (3,3) translated 18822 (100%) constraints
10.30/4.10	c (3,3) CSP to CSPinCNF End
10.30/4.10	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
10.30/4.10	c (3,3) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.30/4.10	c (3,3) CSPinCNF Propagation Begin
11.62/4.46	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
11.62/4.46	c (3,3) CSPinCNF Propagation End
11.62/4.46	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
11.62/4.46	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.62/4.48	c (3,3) Hybrid: #OE=793, #LE=0
11.62/4.48	c (3,3) Simplify CSPinCNF Begin
11.88/4.54	c (3,3) Simplify CSPinCNF End
11.88/4.54	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
11.88/4.54	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.88/4.54	c (3,3) Calculate Precise Domain Begin
11.88/4.55	c (3,3) 0 values are removed by re-calculation
11.88/4.55	c (3,3) Calculate Precise Domain End
11.88/4.55	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
11.88/4.55	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.88/4.55	c (3,3) CSPinCNF to SatSolver Begin
12.48/4.71	c (4,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
12.48/4.77	c (4,4) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
12.88/4.82	c (4,4) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
12.88/4.87	c (4,4) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
13.28/4.91	c (4,4) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
13.28/4.94	c (4,4) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
13.28/4.97	c (4,4) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
13.28/4.98	c (4,4) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
13.28/5.00	c (4,4) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
13.61/5.01	c (4,4) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
13.61/5.01	c (4,4) CSPinCNF to SatSolver End
13.61/5.01	c (4,4) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.61/5.01	c (4,4) 2482 bool, 15697 clause
13.61/5.01	c (4,4) Export Begin
13.80/5.13	c (4,4) Export to HOME/scop-14642-serial-file.bin
13.80/5.13	c (4,4) Export End
13.80/5.13	c (4,4) Export File Size: 0.02 MB
13.80/5.13	c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
13.80/5.13	c END-Prog: Thu Dec 15 13:12:17 CET 2011
13.80/5.15	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14642-serial-file.bin
13.87/5.66	c (0,0) Read Serial File Begin
13.87/5.66	c (0,0) HOME/scop-14642-serial-file.bin
13.87/5.91	c (0,0) Read Serial File End
13.87/5.93	
13.87/5.93	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.87/5.93	(Solving Process)
13.87/5.93	
13.87/5.95	c BEGIN-Prog: Thu Dec 15 13:12:18 CET 2011
13.87/5.95	c PID: 14665
13.87/5.95	c IP: 172.20.3.120
13.87/5.95	c HOST: node120.alineos.net
13.87/5.96	c (0,0) SatSolver.solve Begin
13.87/5.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392739-1568436709.xml-scop-14645.cnf
13.87/5.98	c (0,0) c
13.87/5.98	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)
13.87/5.98	c (0,0) c
13.87/5.98	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.87/5.98	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.87/5.98	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.87/5.98	c (0,0) c |                                                                                                       |
13.87/5.99	c (0,0) c |  Number of variables:          2480                                                                   |
13.87/5.99	c (0,0) c |  Number of clauses:           15697                                                                   |
13.87/5.99	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.87/5.99	c (0,0) c |                                                                                                       |
13.87/5.99	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.87/6.00	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.87/6.00	c (0,0) c |                                                                                                       |
13.87/6.00	c (0,0) c |  Generating clones                                                                                    |
13.87/6.00	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.87/6.00	c (0,0) c ========================================================================================================|
13.87/6.00	c (0,0) c
13.87/6.00	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.87/6.00	c (0,0) c
13.87/6.00	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.87/6.00	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.87/6.00	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.87/6.00	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.87/6.00	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.87/6.00	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.87/6.00	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.87/6.00	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.87/6.00	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.87/6.00	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.87/6.00	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.87/6.00	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.87/6.00	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.87/6.00	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.87/6.00	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.87/6.00	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.87/6.00	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.87/6.00	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.87/6.00	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.88/35.77	c (30,0) c
223.88/35.77	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
223.88/35.77	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
223.88/35.77	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
223.88/35.77	c (30,0) c |  0 |    360 |     529535 |     289730 |     9294 |    58338 |    41234 |   280768 |    14596 |      288 |  20 |  0.847 |
223.88/35.77	c (30,0) c |  1 |    315 |     496319 |     273106 |     8838 |    41720 |    36113 |   282844 |    10644 |      281 |  20 |  0.847 |
223.88/35.77	c (30,0) c |  2 |    355 |     507574 |     276926 |     9237 |    45540 |    41472 |   285631 |    10551 |      289 |  20 |  0.847 |
223.88/35.77	c (30,0) c |  3 |    369 |     526755 |     281883 |     9402 |    50493 |    40488 |   279374 |    12294 |      289 |  20 |  0.847 |
223.88/35.77	c (30,0) c |  4 |    467 |     521489 |     277021 |     9366 |    45628 |    41480 |   270959 |    14329 |      269 |  20 |  0.848 |
223.88/35.77	c (30,0) c |  5 |    307 |     520888 |     290107 |     9300 |    58728 |    47536 |   280299 |    13697 |      289 |  20 |  0.847 |
223.88/35.77	c (30,0) c |  6 |    249 |     490271 |     271902 |     9005 |    40521 |    44993 |   282745 |    10347 |      289 |  20 |  0.847 |
223.88/35.77	c (30,0) c |  7 |    395 |     512560 |     284356 |     9264 |    52975 |    42934 |   283464 |    13161 |      289 |  20 |  0.847 |
223.88/35.77	c (30,0) c 
223.88/35.77	c (30,0) c synthesis     2245031 conflicts   168521792 propagations    10754 conflicts/sec   807274 propagations/sec
223.88/35.77	c (30,0) c real: 29.7844 s, cpu: 208.754 s, memory: 628.91 Mb
425.62/65.77	c (60,0) c
425.62/65.77	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
425.62/65.77	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
425.62/65.77	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
425.62/65.77	c (60,0) c |  0 |    467 |     816105 |     440145 |     9349 |    49955 |    56231 |   381602 |    23595 |      531 |  20 |  0.847 |
425.62/65.77	c (60,0) c |  1 |    385 |     790291 |     428242 |     9218 |    81652 |    50454 |   390060 |    18673 |      538 |  20 |  0.847 |
425.62/65.77	c (60,0) c |  2 |    496 |     792655 |     425847 |     9440 |    79258 |    53670 |   387126 |    21298 |      538 |  20 |  0.848 |
425.62/65.77	c (60,0) c |  3 |    399 |     793613 |     419785 |     9447 |    73196 |    53190 |   378479 |    18697 |      534 |  20 |  0.847 |
425.62/65.77	c (60,0) c |  4 |    700 |     839798 |     438446 |     9421 |    48254 |    55102 |   377037 |    25444 |      518 |  20 |  0.848 |
425.62/65.77	c (60,0) c |  5 |    371 |     818625 |     444583 |     9378 |    54403 |    62379 |   378077 |    22639 |      538 |  20 |  0.848 |
425.62/65.77	c (60,0) c |  6 |    361 |     803538 |     428279 |     9387 |    81695 |    58859 |   381249 |    23355 |      538 |  20 |  0.847 |
425.62/65.77	c (60,0) c |  7 |    483 |     800866 |     433312 |     9398 |    86727 |    57137 |   381946 |    23678 |      537 |  20 |  0.847 |
425.62/65.77	c (60,0) c 
425.62/65.77	c (60,0) c synthesis     3458640 conflicts   258531464 propagations     8436 conflicts/sec   630587 propagations/sec
425.62/65.77	c (60,0) c real: 59.7844 s, cpu: 409.985 s, memory: 635.82 Mb
619.64/94.76	c (89,0) c
619.64/94.76	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
619.64/94.76	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
619.64/94.76	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
619.64/94.76	c (89,0) c |  0 |    633 |    1063959 |     565989 |     9376 |    80799 |    67694 |   456087 |    32715 |      763 |  20 |  0.848 |
619.64/94.76	c (89,0) c |  1 |    471 |    1054127 |     563677 |     9450 |    78482 |    62285 |   472557 |    31139 |      778 |  20 |  0.847 |
619.64/94.76	c (89,0) c |  2 |    615 |    1063061 |     562699 |     9473 |    77509 |    66989 |   461080 |    29931 |      778 |  20 |  0.847 |
619.64/94.76	c (89,0) c |  3 |    556 |    1049439 |     547420 |     9513 |    62236 |    64417 |   466102 |    30994 |      764 |  20 |  0.848 |
619.64/94.76	c (89,0) c |  4 |    837 |    1095961 |     568742 |     9445 |    83552 |    66400 |   460231 |    33896 |      758 |  20 |  0.848 |
619.64/94.76	c (89,0) c |  5 |    459 |    1074526 |     576146 |     9407 |    90956 |    75608 |   461108 |    31746 |      778 |  20 |  0.847 |
619.64/94.76	c (89,0) c |  6 |    394 |    1039322 |     552902 |     9414 |    67717 |    69061 |   464615 |    30693 |      778 |  20 |  0.847 |
619.64/94.76	c (89,0) c |  7 |    515 |    1055659 |     564219 |     9436 |    79038 |    69941 |   461111 |    31654 |      772 |  20 |  0.847 |
619.64/94.76	c (89,0) c 
619.64/94.76	c (89,0) c synthesis     4501795 conflicts   335472356 propagations     7463 conflicts/sec   556139 propagations/sec
619.64/94.76	c (89,0) c real: 88.784 s, cpu: 603.216 s, memory: 696.63 Mb
809.94/123.77	c (118,0) c
809.94/123.77	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
809.94/123.77	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
809.94/123.77	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
809.94/123.77	c (118,0) c |  0 |    728 |    1289833 |     680614 |     9388 |    90021 |    78861 |   535021 |    39889 |      998 |  20 |  0.848 |
809.94/123.77	c (118,0) c |  1 |    518 |    1264730 |     669783 |     9471 |    79191 |    71742 |   541591 |    39290 |      999 |  20 |  0.848 |
809.94/123.77	c (118,0) c |  2 |    665 |    1271467 |     669624 |     9494 |    79039 |    77160 |   532634 |    37397 |     1000 |  20 |  0.847 |
809.94/123.77	c (118,0) c |  3 |    673 |    1274827 |     662907 |     9528 |    72324 |    74278 |   541890 |    39401 |     1000 |  20 |  0.847 |
809.94/123.77	c (118,0) c |  4 |    923 |    1302281 |     673765 |     9463 |    83179 |    75550 |   527628 |    41734 |      980 |  20 |  0.847 |
809.94/123.77	c (118,0) c |  5 |    546 |    1279632 |     680884 |     9422 |    90296 |    85363 |   523637 |    39774 |     1000 |  20 |  0.847 |
809.94/123.77	c (118,0) c |  6 |    458 |    1251723 |     661848 |     9432 |    71262 |    78344 |   537124 |    39465 |     1000 |  20 |  0.848 |
809.94/123.77	c (118,0) c |  7 |    562 |    1261098 |     671122 |     9448 |    80540 |    81132 |   528083 |    39834 |      999 |  20 |  0.847 |
809.94/123.77	c (118,0) c 
809.94/123.77	c (118,0) c synthesis     5370547 conflicts   400122422 propagations     6770 conflicts/sec   504372 propagations/sec
809.94/123.77	c (118,0) c real: 117.784 s, cpu: 793.309 s, memory: 666.99 Mb
1011.55/152.77	c (147,0) c
1011.55/152.77	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1011.55/152.77	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1011.55/152.77	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1011.55/152.77	c (147,0) c |  0 |    792 |    1481968 |     778616 |     9397 |    71213 |    87682 |   601134 |    46504 |     1229 |  20 |  0.928 |
1011.55/152.77	c (147,0) c |  1 |    542 |    1454657 |     765600 |     9486 |   102577 |    81248 |   600758 |    46718 |     1225 |  20 |  0.927 |
1011.55/152.77	c (147,0) c |  2 |    693 |    1455630 |     762550 |     9505 |    92372 |    86369 |   599730 |    44121 |     1232 |  20 |  0.969 |
1011.55/152.77	c (147,0) c |  3 |    720 |    1463573 |     759401 |     9533 |    99450 |    83948 |   603374 |    46513 |     1223 |  20 |  0.927 |
1011.55/152.77	c (147,0) c |  4 |    961 |    1498353 |     770813 |     9470 |    62369 |    82550 |   601064 |    49581 |     1212 |  20 |  0.889 |
1011.55/152.77	c (147,0) c |  5 |    585 |    1473227 |     780716 |     9440 |    74336 |    95709 |   576881 |    46226 |     1232 |  20 |  0.849 |
1011.55/152.77	c (147,0) c |  6 |    504 |    1437239 |     755379 |     9441 |   105293 |    87323 |   601143 |    47551 |     1232 |  20 |  0.927 |
1011.55/152.77	c (147,0) c |  7 |    577 |    1438891 |     762547 |     9460 |   103147 |    89362 |   598312 |    47576 |     1228 |  20 |  0.929 |
1011.55/152.77	c (147,0) c 
1011.55/152.77	c (147,0) c synthesis     6135622 conflicts   458349244 propagations     6168 conflicts/sec   460799 propagations/sec
1011.55/152.77	c (147,0) c real: 146.784 s, cpu: 994.683 s, memory: 822.02 Mb
1157.25/175.52	c (169,0) c
1157.25/175.52	c (169,0) c real time : 169.54 s
1157.25/175.52	c (169,0) c cpu time  : 1139.73 s
1157.25/175.52	c (169,0) c
1157.25/175.52	c (169,0) c
1157.25/175.52	c (169,0) c
1157.25/175.52	c (169,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1157.25/175.52	c (169,0) c
1157.25/175.52	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.52	c (169,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1157.25/175.52	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.52	c (169,0) c | Conflicts     |         6639200 |     831862 |     833162 |     828773 |     824753 |     837618 |     838348 |     817518 |     827166 |
1157.25/175.52	c (169,0) c | Decisions     |        12682249 |    1586650 |    1589095 |    1582808 |    1590920 |    1628918 |    1584049 |    1557280 |    1562529 |
1157.25/175.52	c (169,0) c | Propagations  |       497444397 |   61942442 |   61869693 |   62270509 |   62649123 |   62263032 |   62070243 |   61737659 |   62641696 |
1157.25/175.52	c (169,0) c | ReduceDBs     |             196 |         25 |         25 |         24 |         24 |         25 |         25 |         24 |         24 |
1157.25/175.52	c (169,0) c | SimpDBs       |              85 |          9 |         10 |         10 |         12 |         11 |         10 |         12 |         11 |
1157.25/175.52	c (169,0) c | Restarts      |            5537 |        809 |        562 |        709 |        743 |       1011 |        601 |        520 |        582 |
1157.25/175.52	c (169,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1157.25/175.52	c (169,0) c | PropBinClauses|      1064550937 |  131589202 |  132405126 |  132894405 |  136093378 |  130253372 |  132141534 |  135736650 |  133437270 |
1157.25/175.52	c (169,0) c | PropPreBlocker|     37599618136 | 4724519596 | 4678065771 | 4744360935 | 4686031301 | 4654890482 | 4711656712 | 4723303337 | 4676790002 |
1157.25/175.52	c (169,0) c | PropNotBlocker|      6333541134 |  788582920 |  787385505 |  784185169 |  798430351 |  800985381 |  791371595 |  788186650 |  794413563 |
1157.25/175.52	c (169,0) c | LitFullScans  |     66655284852 | 8329549172 | 8329462685 | 8335800365 | 8329261241 | 8329313684 | 8330811328 | 8335583195 | 8335503182 |
1157.25/175.52	c (169,0) c | LitScanFracts |        11762680 |    1529506 |    1441518 |    1780373 |    1254089 |    1309168 |    1376609 |    1579440 |    1491977 |
1157.25/175.52	c (169,0) c | DecisionLevel0|            5634 |        820 |        571 |        724 |        756 |       1024 |        618 |        530 |        591 |
1157.25/175.52	c (169,0) c | Periods       |           11107 |       1388 |       1388 |       1389 |       1388 |       1388 |       1388 |       1389 |       1389 |
1157.25/175.52	c (169,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1157.25/175.52	c (169,0) c | Avg_Trail     |                 |        629 |        627 |        629 |        629 |        629 |        627 |        624 |        631 |
1157.25/175.52	c (169,0) c | Avg_DL        |                 |         21 |         21 |         20 |         21 |         21 |         21 |         20 |         22 |
1157.25/175.52	c (169,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1157.25/175.52	c (169,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1157.25/175.52	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.52	c (169,0) c | Exported      |          734122 |      91642 |      84110 |      90328 |      89445 |      89453 |     100922 |      93349 |      94873 |
1157.25/175.52	c (169,0) c | Imported      |         5089443 |     637617 |     644850 |     639114 |     638253 |     640040 |     628778 |     626775 |     634016 |
1157.25/175.52	c (169,0) c | Good          |           14552 |       1824 |       1834 |       1815 |       1775 |       1814 |       1830 |       1824 |       1836 |
1157.25/175.52	c (169,0) c | Purge         |         5074891 |     635793 |     643016 |     637299 |     636478 |     638226 |     626948 |     624951 |     632180 |
1157.25/175.52	c (169,0) c | Promoted      |          416357 |      51409 |      52226 |      49449 |      51653 |      54815 |      52063 |      52147 |      52595 |
1157.25/175.52	c (169,0) c | Remove_Imp    |         3984752 |     502104 |     507089 |     499530 |     498305 |     507033 |     499180 |     486073 |     485438 |
1157.25/175.52	c (169,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1157.25/175.52	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.52	c (169,0) c | Unaries       |                 |         11 |          9 |         15 |         13 |         13 |         17 |         10 |          9 |
1157.25/175.52	c (169,0) c | Binaries      |                 |        274 |        253 |        292 |        310 |        279 |        271 |        228 |        248 |
1157.25/175.52	c (169,0) c | Glues         |                 |       1011 |        969 |        996 |       1051 |       1034 |        940 |        892 |        905 |
1157.25/175.52	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.52	c (169,0) c | Orig_Seen     |            87 % |       9401 |       9497 |       9517 |       9539 |       9474 |       9447 |       9444 |       9461 |
1157.25/175.52	c (169,0) c | Diff Orig seen|                 | -       46 |         50 |         70 |         92 |         27 |      X     | -        3 |         14 |
1157.25/175.52	c (169,0) c | Hamming       |            10 % |        291 |        262 |        280 |        291 |        277 |      X     |        216 |        236 |
1157.25/175.52	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.52	c (169,0) c | RunningTime   |                 |  160.9  96%|  155.9  93%|  121.7  73%|  162.5  96%|  169.0 100%|  122.2  73%|  120.2  72%|  137.7  82%|
1157.25/175.52	c (169,0) c | WaitingTime   |                 |    6.6   4%|   12.2   7%|   45.7  27%|    5.8   3%|    0.0   0%|   45.2  27%|   47.2  28%|   29.8  18%|
1157.25/175.52	c (169,0) c | ExchangingTime|                 |    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|
1157.25/175.52	c (169,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%|
1157.25/175.52	c (169,0) c | SolvingTime   |                 |  167.9     |  168.5     |  167.8     |  168.7     |  169.4     |  167.8     |  167.8     |  167.9     |
1157.25/175.52	c (169,0) c | PropagationTim|                 |  118.8  71%|  119.9  71%|  146.3  87%|  113.5  67%|  106.0  63%|  149.0  89%|  146.5  87%|  125.6  75%|
1157.25/175.52	c (169,0) c | AnalysisTime  |                 |   45.1  27%|   44.6  26%|   17.9  11%|   51.2  30%|   59.6  35%|   14.8   9%|   17.7  11%|   38.6  23%|
1157.25/175.52	c (169,0) c | ReductionTime |                 |    1.6   1%|    1.5   1%|    1.4   1%|    1.5   1%|    1.4   1%|    1.5   1%|    1.3   1%|    1.3   1%|
1157.25/175.52	c (169,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1157.25/175.52	c (169,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%|
1157.25/175.52	c (169,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%|
1157.25/175.52	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.52	c (169,0) c
1157.25/175.52	c (169,0) c
1157.25/175.52	c (169,0) c Threads : 8
1157.25/175.52	c (169,0) c Winner : 5
1157.25/175.52	c (169,0) c Conflicts_0 : 831862
1157.25/175.52	c (169,0) c Conflicts_1 : 833162
1157.25/175.52	c (169,0) c Conflicts_2 : 828773
1157.25/175.52	c (169,0) c Conflicts_3 : 824753
1157.25/175.52	c (169,0) c Conflicts_4 : 837618
1157.25/175.52	c (169,0) c Conflicts_5 : 838348
1157.25/175.52	c (169,0) c Conflicts_6 : 817518
1157.25/175.52	c (169,0) c Conflicts_7 : 827166
1157.25/175.52	c (169,0) c Conflicts_total : 6639200
1157.25/175.52	c (169,0) c Conflicts_winner : 838348
1157.25/175.52	c (169,0) c Decisions_0 : 1586650
1157.25/175.52	c (169,0) c Decisions_1 : 1589095
1157.25/175.52	c (169,0) c Decisions_2 : 1582808
1157.25/175.52	c (169,0) c Decisions_3 : 1590920
1157.25/175.52	c (169,0) c Decisions_4 : 1628918
1157.25/175.52	c (169,0) c Decisions_5 : 1584049
1157.25/175.52	c (169,0) c Decisions_6 : 1557280
1157.25/175.52	c (169,0) c Decisions_7 : 1562529
1157.25/175.52	c (169,0) c Decisions_total : 12682249
1157.25/175.52	c (169,0) c Decisions_winner : 1584049
1157.25/175.52	c (169,0) c Propagations_0 : 61942442
1157.25/175.52	c (169,0) c Propagations_1 : 61869693
1157.25/175.52	c (169,0) c Propagations_2 : 62270509
1157.25/175.52	c (169,0) c Propagations_3 : 62649123
1157.25/175.52	c (169,0) c Propagations_4 : 62263032
1157.25/175.52	c (169,0) c Propagations_5 : 62070243
1157.25/175.52	c (169,0) c Propagations_6 : 61737659
1157.25/175.52	c (169,0) c Propagations_7 : 62641696
1157.25/175.52	c (169,0) c Propagations_total : 497444397
1157.25/175.52	c (169,0) c Propagations_winner : 62070243
1157.25/175.52	c (169,0) c ReduceDBs_0 : 25
1157.25/175.52	c (169,0) c ReduceDBs_1 : 25
1157.25/175.52	c (169,0) c ReduceDBs_2 : 24
1157.25/175.52	c (169,0) c ReduceDBs_3 : 24
1157.25/175.52	c (169,0) c ReduceDBs_4 : 25
1157.25/175.52	c (169,0) c ReduceDBs_5 : 25
1157.25/175.52	c (169,0) c ReduceDBs_6 : 24
1157.25/175.52	c (169,0) c ReduceDBs_7 : 24
1157.25/175.52	c (169,0) c ReduceDBs_total : 196
1157.25/175.52	c (169,0) c ReduceDBs_winner : 25
1157.25/175.52	c (169,0) c SimpDBs_0 : 9
1157.25/175.52	c (169,0) c SimpDBs_1 : 10
1157.25/175.52	c (169,0) c SimpDBs_2 : 10
1157.25/175.52	c (169,0) c SimpDBs_3 : 12
1157.25/175.52	c (169,0) c SimpDBs_4 : 11
1157.25/175.52	c (169,0) c SimpDBs_5 : 10
1157.25/175.52	c (169,0) c SimpDBs_6 : 12
1157.25/175.52	c (169,0) c SimpDBs_7 : 11
1157.25/175.52	c (169,0) c SimpDBs_total : 85
1157.25/175.52	c (169,0) c SimpDBs_winner : 10
1157.25/175.52	c (169,0) c Restarts_0 : 809
1157.25/175.52	c (169,0) c Restarts_1 : 562
1157.25/175.52	c (169,0) c Restarts_2 : 709
1157.25/175.52	c (169,0) c Restarts_3 : 743
1157.25/175.52	c (169,0) c Restarts_4 : 1011
1157.25/175.52	c (169,0) c Restarts_5 : 601
1157.25/175.52	c (169,0) c Restarts_6 : 520
1157.25/175.52	c (169,0) c Restarts_7 : 582
1157.25/175.52	c (169,0) c Restarts_total : 5537
1157.25/175.52	c (169,0) c Restarts_winner : 601
1157.25/175.52	c (169,0) c ForcedImports_0 : 0
1157.25/175.52	c (169,0) c ForcedImports_1 : 0
1157.25/175.52	c (169,0) c ForcedImports_2 : 0
1157.25/175.52	c (169,0) c ForcedImports_3 : 0
1157.25/175.52	c (169,0) c ForcedImports_4 : 0
1157.25/175.52	c (169,0) c ForcedImports_5 : 0
1157.25/175.52	c (169,0) c ForcedImports_6 : 0
1157.25/175.52	c (169,0) c ForcedImports_7 : 0
1157.25/175.52	c (169,0) c ForcedImports_total : 0
1157.25/175.52	c (169,0) c ForcedImports_winner : 0
1157.25/175.53	c (169,0) c PropsBinClauses_0 : 131589202
1157.25/175.53	c (169,0) c PropsBinClauses_1 : 132405126
1157.25/175.53	c (169,0) c PropsBinClauses_2 : 132894405
1157.25/175.53	c (169,0) c PropsBinClauses_3 : 136093378
1157.25/175.53	c (169,0) c PropsBinClauses_4 : 130253372
1157.25/175.53	c (169,0) c PropsBinClauses_5 : 132141534
1157.25/175.53	c (169,0) c PropsBinClauses_6 : 135736650
1157.25/175.53	c (169,0) c PropsBinClauses_7 : 133437270
1157.25/175.53	c (169,0) c PropsBinClauses_total : 1064550937
1157.25/175.53	c (169,0) c PropsBinClauses_winner : 132141534
1157.25/175.53	c (169,0) c PropsPreBlocker_0 : 4724519596
1157.25/175.53	c (169,0) c PropsPreBlocker_1 : 4678065771
1157.25/175.53	c (169,0) c PropsPreBlocker_2 : 4744360935
1157.25/175.53	c (169,0) c PropsPreBlocker_3 : 4686031301
1157.25/175.53	c (169,0) c PropsPreBlocker_4 : 4654890482
1157.25/175.53	c (169,0) c PropsPreBlocker_5 : 4711656712
1157.25/175.53	c (169,0) c PropsPreBlocker_6 : 4723303337
1157.25/175.53	c (169,0) c PropsPreBlocker_7 : 4676790002
1157.25/175.53	c (169,0) c PropsPreBlocker_total : 37599618136
1157.25/175.53	c (169,0) c PropsPreBlocker_winner : 4711656712
1157.25/175.53	c (169,0) c PropsNotBlocker_0 : 788582920
1157.25/175.53	c (169,0) c PropsNotBlocker_1 : 787385505
1157.25/175.53	c (169,0) c PropsNotBlocker_2 : 784185169
1157.25/175.53	c (169,0) c PropsNotBlocker_3 : 798430351
1157.25/175.53	c (169,0) c PropsNotBlocker_4 : 800985381
1157.25/175.53	c (169,0) c PropsNotBlocker_5 : 791371595
1157.25/175.53	c (169,0) c PropsNotBlocker_6 : 788186650
1157.25/175.53	c (169,0) c PropsNotBlocker_7 : 794413563
1157.25/175.53	c (169,0) c PropsNotBlocker_total : 6333541134
1157.25/175.53	c (169,0) c PropsNotBlocker_winner : 791371595
1157.25/175.53	c (169,0) c PropsLitFullScans_0 : 8329549172
1157.25/175.53	c (169,0) c PropsLitFullScans_1 : 8329462685
1157.25/175.53	c (169,0) c PropsLitFullScans_2 : 8335800365
1157.25/175.53	c (169,0) c PropsLitFullScans_3 : 8329261241
1157.25/175.53	c (169,0) c PropsLitFullScans_4 : 8329313684
1157.25/175.53	c (169,0) c PropsLitFullScans_5 : 8330811328
1157.25/175.53	c (169,0) c PropsLitFullScans_6 : 8335583195
1157.25/175.53	c (169,0) c PropsLitFullScans_7 : 8335503182
1157.25/175.53	c (169,0) c PropsLitFullScans_total : 66655284852
1157.25/175.53	c (169,0) c PropsLitFullScans_winner : 8330811328
1157.25/175.53	c (169,0) c LitScanFractions_0 : 1529506
1157.25/175.53	c (169,0) c LitScanFractions_1 : 1441518
1157.25/175.53	c (169,0) c LitScanFractions_2 : 1780373
1157.25/175.53	c (169,0) c LitScanFractions_3 : 1254089
1157.25/175.53	c (169,0) c LitScanFractions_4 : 1309168
1157.25/175.53	c (169,0) c LitScanFractions_5 : 1376609
1157.25/175.53	c (169,0) c LitScanFractions_6 : 1579440
1157.25/175.53	c (169,0) c LitScanFractions_7 : 1491977
1157.25/175.53	c (169,0) c LitScanFractions_total : 11762680
1157.25/175.53	c (169,0) c LitScanFractions_winner : 1376609
1157.25/175.53	c (169,0) c DecisionLevel0_0 : 820
1157.25/175.53	c (169,0) c DecisionLevel0_1 : 571
1157.25/175.53	c (169,0) c DecisionLevel0_2 : 724
1157.25/175.53	c (169,0) c DecisionLevel0_3 : 756
1157.25/175.53	c (169,0) c DecisionLevel0_4 : 1024
1157.25/175.53	c (169,0) c DecisionLevel0_5 : 618
1157.25/175.53	c (169,0) c DecisionLevel0_6 : 530
1157.25/175.53	c (169,0) c DecisionLevel0_7 : 591
1157.25/175.53	c (169,0) c DecisionLevel0_total : 5634
1157.25/175.53	c (169,0) c DecisionLevel0_winner : 618
1157.25/175.53	c (169,0) c Periods_0 : 1388
1157.25/175.53	c (169,0) c Periods_1 : 1388
1157.25/175.53	c (169,0) c Periods_2 : 1389
1157.25/175.53	c (169,0) c Periods_3 : 1388
1157.25/175.53	c (169,0) c Periods_4 : 1388
1157.25/175.53	c (169,0) c Periods_5 : 1388
1157.25/175.53	c (169,0) c Periods_6 : 1389
1157.25/175.53	c (169,0) c Periods_7 : 1389
1157.25/175.53	c (169,0) c Periods_total : 11107
1157.25/175.53	c (169,0) c Periods_winner : 1388
1157.25/175.53	c (169,0) c Margin_0 : 20
1157.25/175.53	c (169,0) c Margin_1 : 20
1157.25/175.53	c (169,0) c Margin_2 : 20
1157.25/175.53	c (169,0) c Margin_3 : 20
1157.25/175.53	c (169,0) c Margin_4 : 20
1157.25/175.53	c (169,0) c Margin_5 : 20
1157.25/175.53	c (169,0) c Margin_6 : 20
1157.25/175.53	c (169,0) c Margin_7 : 20
1157.25/175.53	c (169,0) c Margin_total : 160
1157.25/175.53	c (169,0) c Margin_winner : 20
1157.25/175.53	c (169,0) c Exported_0 : 91642
1157.25/175.53	c (169,0) c Exported_1 : 84110
1157.25/175.53	c (169,0) c Exported_2 : 90328
1157.25/175.53	c (169,0) c Exported_3 : 89445
1157.25/175.53	c (169,0) c Exported_4 : 89453
1157.25/175.53	c (169,0) c Exported_5 : 100922
1157.25/175.53	c (169,0) c Exported_6 : 93349
1157.25/175.53	c (169,0) c Exported_7 : 94873
1157.25/175.53	c (169,0) c Exported_total : 734122
1157.25/175.53	c (169,0) c Exported_winner : 100922
1157.25/175.53	c (169,0) c Imported_0 : 637617
1157.25/175.53	c (169,0) c Imported_1 : 644850
1157.25/175.53	c (169,0) c Imported_2 : 639114
1157.25/175.53	c (169,0) c Imported_3 : 638253
1157.25/175.53	c (169,0) c Imported_4 : 640040
1157.25/175.53	c (169,0) c Imported_5 : 628778
1157.25/175.53	c (169,0) c Imported_6 : 626775
1157.25/175.53	c (169,0) c Imported_7 : 634016
1157.25/175.53	c (169,0) c Imported_total : 5089443
1157.25/175.53	c (169,0) c Imported_winner : 628778
1157.25/175.53	c (169,0) c Good_0 : 1824
1157.25/175.53	c (169,0) c Good_1 : 1834
1157.25/175.53	c (169,0) c Good_2 : 1815
1157.25/175.53	c (169,0) c Good_3 : 1775
1157.25/175.53	c (169,0) c Good_4 : 1814
1157.25/175.53	c (169,0) c Good_5 : 1830
1157.25/175.53	c (169,0) c Good_6 : 1824
1157.25/175.53	c (169,0) c Good_7 : 1836
1157.25/175.53	c (169,0) c Good_total : 14552
1157.25/175.53	c (169,0) c Good_winner : 1830
1157.25/175.53	c (169,0) c Purge_0 : 635793
1157.25/175.53	c (169,0) c Purge_1 : 643016
1157.25/175.53	c (169,0) c Purge_2 : 637299
1157.25/175.53	c (169,0) c Purge_3 : 636478
1157.25/175.53	c (169,0) c Purge_4 : 638226
1157.25/175.53	c (169,0) c Purge_5 : 626948
1157.25/175.53	c (169,0) c Purge_6 : 624951
1157.25/175.53	c (169,0) c Purge_7 : 632180
1157.25/175.53	c (169,0) c Purge_total : 5074891
1157.25/175.53	c (169,0) c Purge_winner : 626948
1157.25/175.53	c (169,0) c Promoted_0 : 51409
1157.25/175.53	c (169,0) c Promoted_1 : 52226
1157.25/175.53	c (169,0) c Promoted_2 : 49449
1157.25/175.53	c (169,0) c Promoted_3 : 51653
1157.25/175.53	c (169,0) c Promoted_4 : 54815
1157.25/175.53	c (169,0) c Promoted_5 : 52063
1157.25/175.53	c (169,0) c Promoted_6 : 52147
1157.25/175.53	c (169,0) c Promoted_7 : 52595
1157.25/175.53	c (169,0) c Promoted_total : 416357
1157.25/175.53	c (169,0) c Promoted_winner : 52063
1157.25/175.53	c (169,0) c Remove_Imp_0 : 502104
1157.25/175.53	c (169,0) c Remove_Imp_1 : 507089
1157.25/175.53	c (169,0) c Remove_Imp_2 : 499530
1157.25/175.53	c (169,0) c Remove_Imp_3 : 498305
1157.25/175.53	c (169,0) c Remove_Imp_4 : 507033
1157.25/175.53	c (169,0) c Remove_Imp_5 : 499180
1157.25/175.53	c (169,0) c Remove_Imp_6 : 486073
1157.25/175.53	c (169,0) c Remove_Imp_7 : 485438
1157.25/175.53	c (169,0) c Remove_Imp_total : 3984752
1157.25/175.53	c (169,0) c Remove_Imp_winner : 499180
1157.25/175.53	c (169,0) c Blocked_Reuse_0 : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_1 : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_2 : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_3 : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_4 : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_5 : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_6 : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_7 : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_total : 0
1157.25/175.53	c (169,0) c Blocked_Reuse_winner : 0
1157.25/175.53	c (169,0) c Unaries_0 : 11
1157.25/175.53	c (169,0) c Unaries_1 : 9
1157.25/175.53	c (169,0) c Unaries_2 : 15
1157.25/175.53	c (169,0) c Unaries_3 : 13
1157.25/175.53	c (169,0) c Unaries_4 : 13
1157.25/175.53	c (169,0) c Unaries_5 : 17
1157.25/175.53	c (169,0) c Unaries_6 : 10
1157.25/175.53	c (169,0) c Unaries_7 : 9
1157.25/175.53	c (169,0) c Unaries_total : 97
1157.25/175.53	c (169,0) c Unaries_winner : 17
1157.25/175.53	c (169,0) c Binaries_0 : 274
1157.25/175.53	c (169,0) c Binaries_1 : 253
1157.25/175.53	c (169,0) c Binaries_2 : 292
1157.25/175.53	c (169,0) c Binaries_3 : 310
1157.25/175.53	c (169,0) c Binaries_4 : 279
1157.25/175.53	c (169,0) c Binaries_5 : 271
1157.25/175.53	c (169,0) c Binaries_6 : 228
1157.25/175.53	c (169,0) c Binaries_7 : 248
1157.25/175.53	c (169,0) c Binaries_total : 2155
1157.25/175.53	c (169,0) c Binaries_winner : 271
1157.25/175.53	c (169,0) c Glues_0 : 1011
1157.25/175.53	c (169,0) c Glues_1 : 969
1157.25/175.53	c (169,0) c Glues_2 : 996
1157.25/175.53	c (169,0) c Glues_3 : 1051
1157.25/175.53	c (169,0) c Glues_4 : 1034
1157.25/175.53	c (169,0) c Glues_5 : 940
1157.25/175.53	c (169,0) c Glues_6 : 892
1157.25/175.53	c (169,0) c Glues_7 : 905
1157.25/175.53	c (169,0) c Glues_total : 7798
1157.25/175.53	c (169,0) c Glues_winner : 940
1157.25/175.53	c (169,0) c RunningTime_0 : 160.920537
1157.25/175.53	c (169,0) c RunningTime_1 : 155.882957
1157.25/175.53	c (169,0) c RunningTime_2 : 121.703994
1157.25/175.53	c (169,0) c RunningTime_3 : 162.543727
1157.25/175.53	c (169,0) c RunningTime_4 : 169.049565
1157.25/175.53	c (169,0) c RunningTime_5 : 122.169603
1157.25/175.53	c (169,0) c RunningTime_6 : 120.241388
1157.25/175.53	c (169,0) c RunningTime_7 : 137.678986
1157.25/175.53	c (169,0) c RunningTime_total : 1150.190757
1157.25/175.53	c (169,0) c RunningTime_winner : 122.169603
1157.25/175.53	c (169,0) c WaitingTime_0 : 6.591126
1157.25/175.53	c (169,0) c WaitingTime_1 : 12.224658
1157.25/175.53	c (169,0) c WaitingTime_2 : 45.748156
1157.25/175.53	c (169,0) c WaitingTime_3 : 5.797431
1157.25/175.53	c (169,0) c WaitingTime_4 : 0.001768
1157.25/175.53	c (169,0) c WaitingTime_5 : 45.215931
1157.25/175.53	c (169,0) c WaitingTime_6 : 47.212580
1157.25/175.53	c (169,0) c WaitingTime_7 : 29.802205
1157.25/175.53	c (169,0) c WaitingTime_total : 192.593855
1157.25/175.53	c (169,0) c WaitingTime_winner : 45.215931
1157.25/175.53	c (169,0) c ExchangingTime_0 : 0.371596
1157.25/175.53	c (169,0) c ExchangingTime_1 : 0.373884
1157.25/175.53	c (169,0) c ExchangingTime_2 : 0.380197
1157.25/175.53	c (169,0) c ExchangingTime_3 : 0.387319
1157.25/175.53	c (169,0) c ExchangingTime_4 : 0.356969
1157.25/175.53	c (169,0) c ExchangingTime_5 : 0.369157
1157.25/175.53	c (169,0) c ExchangingTime_6 : 0.366536
1157.25/175.53	c (169,0) c ExchangingTime_7 : 0.355256
1157.25/175.53	c (169,0) c ExchangingTime_total : 2.960915
1157.25/175.53	c (169,0) c ExchangingTime_winner : 0.369157
1157.25/175.53	c (169,0) c PeriodProcTime_0 : 0.012243
1157.25/175.53	c (169,0) c PeriodProcTime_1 : 0.013758
1157.25/175.53	c (169,0) c PeriodProcTime_2 : 0.014397
1157.25/175.53	c (169,0) c PeriodProcTime_3 : 0.012492
1157.25/175.53	c (169,0) c PeriodProcTime_4 : 0.019913
1157.25/175.53	c (169,0) c PeriodProcTime_5 : 0.015552
1157.25/175.53	c (169,0) c PeriodProcTime_6 : 0.014674
1157.25/175.53	c (169,0) c PeriodProcTime_7 : 0.014132
1157.25/175.53	c (169,0) c PeriodProcTime_total : 0.117162
1157.25/175.53	c (169,0) c PeriodProcTime_winner : 0.015552
1157.25/175.53	c (169,0) c SolvingTime_0 : 167.895501
1157.25/175.53	c (169,0) c SolvingTime_1 : 168.495258
1157.25/175.53	c (169,0) c SolvingTime_2 : 167.846743
1157.25/175.53	c (169,0) c SolvingTime_3 : 168.740969
1157.25/175.53	c (169,0) c SolvingTime_4 : 169.428216
1157.25/175.53	c (169,0) c SolvingTime_5 : 167.770243
1157.25/175.53	c (169,0) c SolvingTime_6 : 167.835178
1157.25/175.53	c (169,0) c SolvingTime_7 : 167.850579
1157.25/175.53	c (169,0) c SolvingTime_total : 1345.862688
1157.25/175.53	c (169,0) c SolvingTime_winner : 167.770243
1157.25/175.53	c (169,0) c PropagationTime_0 : 118.760515
1157.25/175.53	c (169,0) c PropagationTime_1 : 119.910206
1157.25/175.53	c (169,0) c PropagationTime_2 : 146.274209
1157.25/175.53	c (169,0) c PropagationTime_3 : 113.509787
1157.25/175.53	c (169,0) c PropagationTime_4 : 106.002117
1157.25/175.53	c (169,0) c PropagationTime_5 : 148.975420
1157.25/175.53	c (169,0) c PropagationTime_6 : 146.468227
1157.25/175.53	c (169,0) c PropagationTime_7 : 125.575189
1157.25/175.53	c (169,0) c PropagationTime_total : 1025.475670
1157.25/175.53	c (169,0) c PropagationTime_winner : 148.975420
1157.25/175.53	c (169,0) c AnalysisTime_0 : 45.067566
1157.25/175.53	c (169,0) c AnalysisTime_1 : 44.633627
1157.25/175.53	c (169,0) c AnalysisTime_2 : 17.855190
1157.25/175.53	c (169,0) c AnalysisTime_3 : 51.231034
1157.25/175.53	c (169,0) c AnalysisTime_4 : 59.626501
1157.25/175.53	c (169,0) c AnalysisTime_5 : 14.819012
1157.25/175.53	c (169,0) c AnalysisTime_6 : 17.697394
1157.25/175.53	c (169,0) c AnalysisTime_7 : 38.646241
1157.25/175.53	c (169,0) c AnalysisTime_total : 289.576564
1157.25/175.53	c (169,0) c AnalysisTime_winner : 14.819012
1157.25/175.53	c (169,0) c ReductionTime_0 : 1.616431
1157.25/175.53	c (169,0) c ReductionTime_1 : 1.475381
1157.25/175.53	c (169,0) c ReductionTime_2 : 1.375449
1157.25/175.53	c (169,0) c ReductionTime_3 : 1.455514
1157.25/175.53	c (169,0) c ReductionTime_4 : 1.380341
1157.25/175.53	c (169,0) c ReductionTime_5 : 1.461937
1157.25/175.53	c (169,0) c ReductionTime_6 : 1.278264
1157.25/175.53	c (169,0) c ReductionTime_7 : 1.272385
1157.25/175.53	c (169,0) c ReductionTime_total : 11.315703
1157.25/175.53	c (169,0) c ReductionTime_winner : 1.461937
1157.25/175.53	c (169,0) c SimplifyTime_0 : 0.056459
1157.25/175.53	c (169,0) c SimplifyTime_1 : 0.049434
1157.25/175.53	c (169,0) c SimplifyTime_2 : 0.108280
1157.25/175.53	c (169,0) c SimplifyTime_3 : 0.114484
1157.25/175.53	c (169,0) c SimplifyTime_4 : 0.053419
1157.25/175.53	c (169,0) c SimplifyTime_5 : 0.143559
1157.25/175.53	c (169,0) c SimplifyTime_6 : 0.126099
1157.25/175.53	c (169,0) c SimplifyTime_7 : 0.075856
1157.25/175.53	c (169,0) c SimplifyTime_total : 0.727590
1157.25/175.53	c (169,0) c SimplifyTime_winner : 0.143559
1157.25/175.53	c (169,0) c UsedRateTime_0 : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_1 : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_2 : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_3 : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_4 : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_5 : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_6 : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_7 : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_total : 0.000000
1157.25/175.53	c (169,0) c UsedRateTime_winner : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_0 : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_1 : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_2 : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_3 : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_4 : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_5 : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_6 : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_7 : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_total : 0.000000
1157.25/175.53	c (169,0) c OverlapRateTime_winner : 0.000000
1157.25/175.53	c (169,0) c
1157.25/175.53	c (169,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1157.25/175.53	c (169,0) c
1157.25/175.53	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.53	c (169,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1157.25/175.53	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.53	c (169,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1157.25/175.53	c (169,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1157.25/175.53	c (169,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1157.25/175.53	c (169,0) c | Initial random_seed   |  226624572 |  168317169 |  169125823 |   49476567 |  384444753 |  315233000 | 1260629364 | 1500640915 |
1157.25/175.53	c (169,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1157.25/175.53	c (169,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1157.25/175.53	c (169,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1157.25/175.53	c (169,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1157.25/175.53	c (169,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1157.25/175.53	c (169,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1157.25/175.53	c (169,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1157.25/175.53	c (169,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1157.25/175.53	c (169,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1157.25/175.53	c (169,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1157.25/175.53	c (169,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1157.25/175.53	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1157.25/175.53	c (169,0) 
1157.25/175.53	c (169,0) s UNSATISFIABLE
1157.25/175.54	c (169,0) SatSolver.solve End
1157.25/175.54	c (169,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1157.25/175.54	c (169,0) Show results Begin
1157.25/175.54	s UNSATISFIABLE
1157.25/175.54	c (169,0) Show results End
1157.25/175.54	c (169,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1157.25/175.55	c (169,0) 169,169,STOP-AFTER(ALL)
1157.25/175.55	c END-Prog: Thu Dec 15 13:15:07 CET 2011

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: 16375 MiB (13739 MiB free)
  memory of node 1: 16384 MiB (13848 MiB free)
  node distances:
     10  21
     21  10

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

running on 8 cores: 0-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
Current StackSize limit: 8192 KiB

solver pid=14642, runsolver pid=14639

[startup+0.100106 s]*
/proc/loadavg: 5.40 4.81 5.02 2/214 14664
/proc/meminfo: memFree=28158832/32770688 swapFree=66919992/67108860
[pid=14642] ppid=14639 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14642/stat : 14642 (scop.sh) S 14639 14642 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419677237 115843072 349 33554432000 4194304 5098028 140727490587824 140727490585080 140085287236220 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140727490593572 140727490593900 140727490593900 140727490596813 0
/proc/14642/statm: 28282 349 296 221 0 87 0
[pid=14645] ppid=14642 vsize=27314120 memory=103404 CPUtime=0.11 cores=0-7
/proc/14645/stat : 14645 (java) S 14642 14642 11952 0 -1 1077944320 6463 0 0 0 8 3 0 0 20 0 20 0 419677237 27969658880 25851 33554432000 4194304 4196468 140735492804928 140735492787472 140368018939639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
/proc/14645/statm: 6828530 25851 2768 1 0 6790935 0
[pid=14645/tid=14646] ppid=14642 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/14645/task/14646/stat : 14646 (java) R 14642 14642 11952 0 -1 4202560 4539 0 0 0 6 2 0 0 20 0 20 0 419677238 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367990765968 140368018961565 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14647] ppid=14642 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14645/task/14647/stat : 14647 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 25851 33554432000 4194304 4196468 140735492804928 140368023181840 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14648] ppid=14642 vsize=27314120 memory=139697220466304 CPUtime=0 cores=0-7
/proc/14645/task/14648/stat : 14648 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367854430864 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14649] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14649/stat : 14649 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367439964432 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14650] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14650/stat : 14650 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367438911888 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14651] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14651/stat : 14651 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367437859856 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14652] ppid=14642 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14645/task/14652/stat : 14652 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367436807312 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14653] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14653/stat : 14653 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367435754256 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14654] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14654/stat : 14654 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367434701712 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14655] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14655/stat : 14655 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 25851 33554432000 4194304 4196468 140735492804928 140367144421616 140368018950786 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14656] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14656/stat : 14656 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 25851 33554432000 4194304 4196468 140735492804928 140365906568352 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14657] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14657/stat : 14657 (java) S 14642 14642 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 25885 33554432000 4194304 4196468 140735492804928 140365772346096 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14658] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14658/stat : 14658 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 25885 33554432000 4194304 4196468 140735492804928 140365397841872 140368018958235 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14659] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14659/stat : 14659 (java) S 14642 14642 11952 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 25885 33554432000 4194304 4196468 140735492804928 140367143369456 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14660] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14660/stat : 14660 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 25885 33554432000 4194304 4196468 140735492804928 140367142316912 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14661] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14661/stat : 14661 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 25885 33554432000 4194304 4196468 140735492804928 140367141263856 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14662] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14662/stat : 14662 (java) S 14642 14642 11952 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 25885 33554432000 4194304 4196468 140735492804928 140367140211312 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14663] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14663/stat : 14663 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 25885 33554432000 4194304 4196468 140735492804928 140364899936736 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14664] ppid=14642 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14645/task/14664/stat : 14664 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677246 27969658880 25885 33554432000 4194304 4196468 140735492804928 140367139158704 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 104800 KiB

[startup+0.211603 s]*
/proc/loadavg: 5.40 4.81 5.02 2/214 14664
/proc/meminfo: memFree=28138840/32770688 swapFree=66919992/67108860
[pid=14642] ppid=14639 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14642/stat : 14642 (scop.sh) S 14639 14642 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419677237 115843072 349 33554432000 4194304 5098028 140727490587824 140727490585080 140085287236220 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140727490593572 140727490593900 140727490593900 140727490596813 0
/proc/14642/statm: 28282 349 296 221 0 87 0
[pid=14645] ppid=14642 vsize=27314120 memory=123128 CPUtime=0.24 cores=0-7
/proc/14645/stat : 14645 (java) S 14642 14642 11952 0 -1 1077944320 11999 0 0 0 19 5 0 0 20 0 20 0 419677237 27969658880 30782 33554432000 4194304 4196468 140735492804928 140735492787472 140368018939639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
/proc/14645/statm: 6828530 30782 2931 1 0 6790935 0
[pid=14645/tid=14646] ppid=14642 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14645/task/14646/stat : 14646 (java) R 14642 14642 11952 0 -1 4202560 9714 0 0 0 16 4 0 0 20 0 20 0 419677238 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367990771840 140367998461953 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14647] ppid=14642 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/14645/task/14647/stat : 14647 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 30782 33554432000 4194304 4196468 140735492804928 140368023181840 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14648] ppid=14642 vsize=27314120 memory=4050908970502043296 CPUtime=0 cores=0-7
/proc/14645/task/14648/stat : 14648 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367854430864 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14649] ppid=14642 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14645/task/14649/stat : 14649 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367439964432 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14650] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14650/stat : 14650 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367438911888 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14651] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14651/stat : 14651 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367437859856 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14652] ppid=14642 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14645/task/14652/stat : 14652 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367436807312 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14653] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14653/stat : 14653 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367435754256 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14654] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14654/stat : 14654 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367434701712 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14655] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14655/stat : 14655 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367144421616 140368018950786 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14656] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14656/stat : 14656 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 30782 33554432000 4194304 4196468 140735492804928 140365906568352 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14657] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14657/stat : 14657 (java) S 14642 14642 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 30782 33554432000 4194304 4196468 140735492804928 140365772346096 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14658] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14658/stat : 14658 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 30782 33554432000 4194304 4196468 140735492804928 140365397841872 140368018958235 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14659] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14659/stat : 14659 (java) S 14642 14642 11952 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367143369456 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14660] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14660/stat : 14660 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367142316912 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14661] ppid=14642 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14645/task/14661/stat : 14661 (java) S 14642 14642 11952 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367141263856 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14662] ppid=14642 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/14645/task/14662/stat : 14662 (java) R 14642 14642 11952 0 -1 4202560 469 0 0 0 2 0 0 0 20 0 20 0 419677245 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367140211312 140368012039339 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14663] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14663/stat : 14663 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 30782 33554432000 4194304 4196468 140735492804928 140364899936736 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14664] ppid=14642 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14645/task/14664/stat : 14664 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677246 27969658880 30782 33554432000 4194304 4196468 140735492804928 140367139158704 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124524 KiB

[startup+0.310769 s]*
/proc/loadavg: 5.40 4.81 5.02 3/214 14664
/proc/meminfo: memFree=28134124/32770688 swapFree=66919992/67108860
[pid=14642] ppid=14639 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14642/stat : 14642 (scop.sh) S 14639 14642 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419677237 115843072 349 33554432000 4194304 5098028 140727490587824 140727490585080 140085287236220 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140727490593572 140727490593900 140727490593900 140727490596813 0
/proc/14642/statm: 28282 349 296 221 0 87 0
[pid=14645] ppid=14642 vsize=27314120 memory=126808 CPUtime=0.43 cores=0-7
/proc/14645/stat : 14645 (java) S 14642 14642 11952 0 -1 1077944320 12609 0 0 0 38 5 0 0 20 0 20 0 419677237 27969658880 31702 33554432000 4194304 4196468 140735492804928 140735492787472 140368018939639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
/proc/14645/statm: 6828530 31702 3044 1 0 6790935 0
[pid=14645/tid=14646] ppid=14642 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/14645/task/14646/stat : 14646 (java) R 14642 14642 11952 0 -1 4202560 9993 0 0 0 26 4 0 0 20 0 20 0 419677238 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367990767872 140368003020126 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14647] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14647/stat : 14647 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 31716 33554432000 4194304 4196468 140735492804928 140368023181840 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14648] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14648/stat : 14648 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367854430864 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14649] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14649/stat : 14649 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367439964432 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14650] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14650/stat : 14650 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367438911888 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14651] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14651/stat : 14651 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367437859856 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14652] ppid=14642 vsize=27314120 memory=139697099729583 CPUtime=0 cores=0-7
/proc/14645/task/14652/stat : 14652 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367436807312 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14653] ppid=14642 vsize=27314120 memory=139697099731888 CPUtime=0 cores=0-7
/proc/14645/task/14653/stat : 14653 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367435754256 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14654] ppid=14642 vsize=27314120 memory=139697099734192 CPUtime=0 cores=0-7
/proc/14645/task/14654/stat : 14654 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367434701712 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14655] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14655/stat : 14655 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367144421616 140368018950786 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14656] ppid=14642 vsize=27314120 memory=279394199482256 CPUtime=0 cores=0-7
/proc/14645/task/14656/stat : 14656 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 31716 33554432000 4194304 4196468 140735492804928 140365906568352 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14657] ppid=14642 vsize=27314120 memory=279394199479952 CPUtime=0 cores=0-7
/proc/14645/task/14657/stat : 14657 (java) S 14642 14642 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419677242 27969658880 31716 33554432000 4194304 4196468 140735492804928 140365772346096 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14658] ppid=14642 vsize=27314120 memory=279394199486864 CPUtime=0 cores=0-7
/proc/14645/task/14658/stat : 14658 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 31716 33554432000 4194304 4196468 140735492804928 140365397841872 140368018958235 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14659] ppid=14642 vsize=27314120 memory=279394199428144 CPUtime=0.01 cores=0-7
/proc/14645/task/14659/stat : 14659 (java) S 14642 14642 11952 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 20 0 419677245 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367143369456 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14660] ppid=14642 vsize=27314120 memory=279394199500688 CPUtime=0.01 cores=0-7
/proc/14645/task/14660/stat : 14660 (java) S 14642 14642 11952 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 419677245 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367142316912 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14661] ppid=14642 vsize=27314120 memory=279394199507600 CPUtime=0.01 cores=0-7
/proc/14645/task/14661/stat : 14661 (java) S 14642 14642 11952 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 419677245 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367141263856 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14662] ppid=14642 vsize=27314120 memory=279394199505296 CPUtime=0.07 cores=0-7
/proc/14645/task/14662/stat : 14662 (java) S 14642 14642 11952 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 20 0 419677245 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367140211312 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14663] ppid=14642 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14663/stat : 14663 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419677245 27969658880 31716 33554432000 4194304 4196468 140735492804928 140364899936736 140368018949845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14664] ppid=14642 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14645/task/14664/stat : 14664 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677246 27969658880 31716 33554432000 4194304 4196468 140735492804928 140367139158704 140368018950786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128204 KiB

[startup+0.700962 s]
/proc/loadavg: 5.40 4.81 5.02 2/214 14664
/proc/meminfo: memFree=28129252/32770688 swapFree=66919992/67108860
[pid=14642] ppid=14639 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14642/stat : 14642 (scop.sh) S 14639 14642 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419677237 115843072 349 33554432000 4194304 5098028 140727490587824 140727490585080 140085287236220 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27148288 140727490593572 140727490593900 140727490593900 140727490596813 0
/proc/14642/statm: 28282 349 296 221 0 87 0
[pid=14645] ppid=14642 vsize=27320392 memory=156644 CPUtime=0.9 cores=0-7
/proc/14645/stat : 14645 (java) S 14642 14642 11952 0 -1 1077944320 19274 0 0 0 83 7 0 0 20 0 20 0 419677237 27976081408 39161 33554432000 4194304 4196468 140735492804928 140735492787472 140368018939639 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
/proc/14645/statm: 6830098 39161 3127 1 0 6791447 0
[pid=14645/tid=14646] ppid=14642 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/14645/task/14646/stat : 14646 (java) R 14642 14642 11952 0 -1 4202560 16490 0 0 0 62 5 0 0 20 0 20 0 419677238 27976081408 39161 33554432000 4194304 4196468 140735492804928 140367990771296 140368003020126 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14647] ppid=14642 vsize=27320392 memory=139697099940720 CPUtime=0 cores=0-7
/proc/14645/task/14647/stat : 14647 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27976081408 39161 33554432000 4194304 4196468 140735492804928 140368023181840 140368018949845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14648] ppid=14642 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14645/task/14648/stat : 14648 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419677240 27976081408 39161 33554432000 4194304 4196468 140735492804928 140367854430864 140368018949845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0
[pid=14645/tid=14649] ppid=14642 vsize=27320392 memory=1176 CPUtime=0 cores=0-7
/proc/14645/task/14649/stat : 14649 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419677240 27976081408 39161 33554432000 4194304 4196468 140735492804928 140367439964432 140368018949845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140735492809450 140735492809878 140735492809878 140735492812751 0

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

[pid=14665/tid=14675] ppid=14642 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/14665/task/14675/stat : 14675 (java) S 14642 14642 11952 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419677755 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224064146160 140224970603138 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14676] ppid=14642 vsize=8414124 memory=607096 CPUtime=0 cores=0-7
/proc/14665/task/14676/stat : 14676 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419677756 8616062976 30873 33554432000 4194304 4196468 140725434443024 140223568668320 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14677] ppid=14642 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/14665/task/14677/stat : 14677 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677756 8616062976 30873 33554432000 4194304 4196468 140725434443024 140223300232432 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14678] ppid=14642 vsize=8414124 memory=7230638415855315031 CPUtime=0 cores=0-7
/proc/14665/task/14678/stat : 14678 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222925724112 140224970610587 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14679] ppid=14642 vsize=8414124 memory=7230638415855315031 CPUtime=0.05 cores=0-7
/proc/14665/task/14679/stat : 14679 (java) S 14642 14642 11952 0 -1 1077944384 620 0 0 0 5 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224063092976 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14680] ppid=14642 vsize=8414124 memory=279394200953088 CPUtime=0.07 cores=0-7
/proc/14665/task/14680/stat : 14680 (java) S 14642 14642 11952 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224062040432 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14681] ppid=14642 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/14665/task/14681/stat : 14681 (java) S 14642 14642 11952 0 -1 1077944384 284 0 0 0 9 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224060987376 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14682] ppid=14642 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7
/proc/14665/task/14682/stat : 14682 (java) S 14642 14642 11952 0 -1 1077944384 741 0 0 0 23 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224059934832 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14683] ppid=14642 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14665/task/14683/stat : 14683 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222427818976 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14684] ppid=14642 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/14665/task/14684/stat : 14684 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 5 5 0 0 20 0 24 0 419677760 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224058883248 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14686] ppid=14642 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14665/task/14686/stat : 14686 (java) S 14642 14642 11952 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419677835 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224050849216 140224970616601 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14688] ppid=14642 vsize=8414124 memory=576587670020715552 CPUtime=0 cores=0-7
/proc/14665/task/14688/stat : 14688 (java) S 14642 14642 11952 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419677836 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222025154064 140224970613917 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14689] ppid=14642 vsize=8414124 memory=288293289724033809 CPUtime=0 cores=0-7
/proc/14665/task/14689/stat : 14689 (java) S 14642 14642 11952 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419677836 8616062976 30873 33554432000 4194304 4196468 140725434443024 140221756718736 140224970613917 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14698] ppid=14642 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14665/task/14698/stat : 14698 (java) S 14642 14642 11952 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419677838 8616062976 30873 33554432000 4194304 4196468 140725434443024 140221488290736 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
Current children cumulated CPU time: 1156.95 s
Current children cumulated vsize: 9301292 KiB
Current children cumulated memory: 764392 KiB

[startup+175.401 s]
/proc/loadavg: 5.61 5.41 5.23 2/218 14709
/proc/meminfo: memFree=27500040/32770688 swapFree=66919992/67108860
[pid=14642] ppid=14639 vsize=113128 memory=1476 CPUtime=13.87 cores=0-7
/proc/14642/stat : 14642 (scop.sh) S 14639 14642 11952 0 -1 4202496 583 33063 0 0 0 0 1355 32 20 0 1 0 419677237 115843072 369 33554432000 4194304 5098028 140727490587824 140727490584568 140085287236220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27148288 140727490593572 140727490593900 140727490593900 140727490596813 0
/proc/14642/statm: 28282 369 311 221 0 87 0
[pid=14665] ppid=14642 vsize=8414124 memory=123492 CPUtime=1.48 cores=0-7
/proc/14665/stat : 14665 (java) S 14642 14642 11952 0 -1 1077944320 20349 0 0 0 140 8 0 0 20 0 24 0 419677752 8616062976 30873 33554432000 4194304 4196468 140725434443024 140725434425568 140224970591991 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
/proc/14665/statm: 2103531 30873 3207 1 0 2064875 0
[pid=14685] ppid=14665 vsize=774040 memory=639424 CPUtime=1141.8 cores=0-7
/proc/14685/stat : 14685 (manyglucose-4.1) S 14665 14642 11952 0 -1 1077944320 1215509 0 0 0 113960 220 0 0 20 0 2 0 419677835 792616960 159856 33554432000 4194304 4454172 140736290025424 140736290023808 140278369423095 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 20090880 140736290034537 140736290034736 140736290034736 140736290037690 0
/proc/14685/statm: 193510 159856 419 64 0 189178 0
[pid=14685/tid=14694] ppid=14665 vsize=774040 memory=2828 CPUtime=169.32 cores=0-7
/proc/14685/task/14694/stat : 14694 (manyglucose-4.1) R 14665 14642 11952 0 -1 4202560 161511 0 0 0 16906 26 0 0 20 0 2 0 419677838 792616960 159856 33554432000 4194304 4454172 140736290025424 140278320634600 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 20090880 140736290034537 140736290034736 140736290034736 140736290037690 0
[pid=14665/tid=14666] ppid=14642 vsize=8414124 memory=1176 CPUtime=0.86 cores=0-7
/proc/14665/task/14666/stat : 14666 (java) S 14642 14642 11952 0 -1 1077944384 16855 0 0 0 81 5 0 0 20 0 24 0 419677753 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224942432160 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14667] ppid=14642 vsize=8414124 memory=980 CPUtime=0 cores=0-7
/proc/14665/task/14667/stat : 14667 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224974834704 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14668] ppid=14642 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/14665/task/14668/stat : 14668 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224780598416 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14669] ppid=14642 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/14665/task/14669/stat : 14669 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224779545360 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14670] ppid=14642 vsize=8414124 memory=25824 CPUtime=0 cores=0-7
/proc/14665/task/14670/stat : 14670 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224778492816 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14671] ppid=14642 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/14665/task/14671/stat : 14671 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224452266512 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14672] ppid=14642 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/14665/task/14672/stat : 14672 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224451213968 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14673] ppid=14642 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/14665/task/14673/stat : 14673 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224450160912 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14674] ppid=14642 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14665/task/14674/stat : 14674 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224449108368 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14675] ppid=14642 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/14665/task/14675/stat : 14675 (java) S 14642 14642 11952 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419677755 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224064146160 140224970603138 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14676] ppid=14642 vsize=8414124 memory=639280 CPUtime=0 cores=0-7
/proc/14665/task/14676/stat : 14676 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419677756 8616062976 30873 33554432000 4194304 4196468 140725434443024 140223568668320 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14677] ppid=14642 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14665/task/14677/stat : 14677 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677756 8616062976 30873 33554432000 4194304 4196468 140725434443024 140223300232432 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14678] ppid=14642 vsize=8414124 memory=10 CPUtime=0 cores=0-7
/proc/14665/task/14678/stat : 14678 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222925724112 140224970610587 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14679] ppid=14642 vsize=8414124 memory=3474868198203613273 CPUtime=0.05 cores=0-7
/proc/14665/task/14679/stat : 14679 (java) S 14642 14642 11952 0 -1 1077944384 620 0 0 0 5 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224063092976 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14680] ppid=14642 vsize=8414124 memory=-6352670693803661712 CPUtime=0.07 cores=0-7
/proc/14665/task/14680/stat : 14680 (java) S 14642 14642 11952 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224062040432 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14681] ppid=14642 vsize=8414124 memory=7445404836850184253 CPUtime=0.09 cores=0-7
/proc/14665/task/14681/stat : 14681 (java) S 14642 14642 11952 0 -1 1077944384 284 0 0 0 9 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224060987376 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14682] ppid=14642 vsize=8414124 memory=3758922737391921769 CPUtime=0.23 cores=0-7
/proc/14665/task/14682/stat : 14682 (java) S 14642 14642 11952 0 -1 1077944384 741 0 0 0 23 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224059934832 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14683] ppid=14642 vsize=8414124 memory=7230638415855315031 CPUtime=0 cores=0-7
/proc/14665/task/14683/stat : 14683 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222427818976 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14684] ppid=14642 vsize=8414124 memory=10 CPUtime=0.1 cores=0-7
/proc/14665/task/14684/stat : 14684 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 5 5 0 0 20 0 24 0 419677760 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224058883248 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14686] ppid=14642 vsize=8414124 memory=-8815625195277808018 CPUtime=0 cores=0-7
/proc/14665/task/14686/stat : 14686 (java) S 14642 14642 11952 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419677835 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224050849216 140224970616601 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14688] ppid=14642 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/14665/task/14688/stat : 14688 (java) S 14642 14642 11952 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419677836 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222025154064 140224970613917 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14689] ppid=14642 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/14665/task/14689/stat : 14689 (java) S 14642 14642 11952 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419677836 8616062976 30873 33554432000 4194304 4196468 140725434443024 140221756718736 140224970613917 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14698] ppid=14642 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/14665/task/14698/stat : 14698 (java) S 14642 14642 11952 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419677838 8616062976 30873 33554432000 4194304 4196468 140725434443024 140221488290736 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
Current children cumulated CPU time: 1157.15 s
Current children cumulated vsize: 9301292 KiB
Current children cumulated memory: 764392 KiB

[startup+175.501 s]
/proc/loadavg: 5.61 5.41 5.23 2/218 14709
/proc/meminfo: memFree=27500040/32770688 swapFree=66919992/67108860
[pid=14642] ppid=14639 vsize=113128 memory=1476 CPUtime=13.87 cores=0-7
/proc/14642/stat : 14642 (scop.sh) S 14639 14642 11952 0 -1 4202496 583 33063 0 0 0 0 1355 32 20 0 1 0 419677237 115843072 369 33554432000 4194304 5098028 140727490587824 140727490584568 140085287236220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27148288 140727490593572 140727490593900 140727490593900 140727490596813 0
/proc/14642/statm: 28282 369 311 221 0 87 0
[pid=14665] ppid=14642 vsize=8414124 memory=123492 CPUtime=1.48 cores=0-7
/proc/14665/stat : 14665 (java) S 14642 14642 11952 0 -1 1077944320 20349 0 0 0 140 8 0 0 20 0 24 0 419677752 8616062976 30873 33554432000 4194304 4196468 140725434443024 140725434425568 140224970591991 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
/proc/14665/statm: 2103531 30873 3207 1 0 2064875 0
[pid=14685] ppid=14665 vsize=774040 memory=639424 CPUtime=1141.9 cores=0-7
/proc/14685/stat : 14685 (manyglucose-4.1) S 14665 14642 11952 0 -1 1077944320 1215529 0 0 0 113970 220 0 0 20 0 2 0 419677835 792616960 159856 33554432000 4194304 4454172 140736290025424 140736290023808 140278369423095 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 20090880 140736290034537 140736290034736 140736290034736 140736290037690 0
/proc/14685/statm: 193510 159856 419 64 0 189178 0
[pid=14685/tid=14694] ppid=14665 vsize=774040 memory=1476 CPUtime=169.42 cores=0-7
/proc/14685/task/14694/stat : 14694 (manyglucose-4.1) R 14665 14642 11952 0 -1 4202560 161531 0 0 0 16916 26 0 0 20 0 2 0 419677838 792616960 159856 33554432000 4194304 4454172 140736290025424 140278320634600 4351502 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 20090880 140736290034537 140736290034736 140736290034736 140736290037690 0
[pid=14665/tid=14666] ppid=14642 vsize=8414124 memory=123492 CPUtime=0.86 cores=0-7
/proc/14665/task/14666/stat : 14666 (java) S 14642 14642 11952 0 -1 1077944384 16855 0 0 0 81 5 0 0 20 0 24 0 419677753 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224942432160 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14667] ppid=14642 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/14665/task/14667/stat : 14667 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224974834704 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14668] ppid=14642 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/14665/task/14668/stat : 14668 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224780598416 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14669] ppid=14642 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14665/task/14669/stat : 14669 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224779545360 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14670] ppid=14642 vsize=8414124 memory=139701515433599 CPUtime=0 cores=0-7
/proc/14665/task/14670/stat : 14670 (java) S 14642 14642 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224778492816 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14671] ppid=14642 vsize=8414124 memory=-8815625195277808018 CPUtime=0 cores=0-7
/proc/14665/task/14671/stat : 14671 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224452266512 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14672] ppid=14642 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/14665/task/14672/stat : 14672 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224451213968 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14673] ppid=14642 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/14665/task/14673/stat : 14673 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224450160912 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14674] ppid=14642 vsize=8414124 memory=279394201403440 CPUtime=0 cores=0-7
/proc/14665/task/14674/stat : 14674 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677754 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224449108368 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14675] ppid=14642 vsize=8414124 memory=607096 CPUtime=0 cores=0-7
/proc/14665/task/14675/stat : 14675 (java) S 14642 14642 11952 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419677755 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224064146160 140224970603138 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14676] ppid=14642 vsize=8414124 memory=2776 CPUtime=0 cores=0-7
/proc/14665/task/14676/stat : 14676 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419677756 8616062976 30873 33554432000 4194304 4196468 140725434443024 140223568668320 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14677] ppid=14642 vsize=8414124 memory=607096 CPUtime=0 cores=0-7
/proc/14665/task/14677/stat : 14677 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677756 8616062976 30873 33554432000 4194304 4196468 140725434443024 140223300232432 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14678] ppid=14642 vsize=8414124 memory=700192 CPUtime=0 cores=0-7
/proc/14665/task/14678/stat : 14678 (java) S 14642 14642 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222925724112 140224970610587 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14679] ppid=14642 vsize=8414124 memory=607096 CPUtime=0.05 cores=0-7
/proc/14665/task/14679/stat : 14679 (java) S 14642 14642 11952 0 -1 1077944384 620 0 0 0 5 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224063092976 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14680] ppid=14642 vsize=8414124 memory=700196 CPUtime=0.07 cores=0-7
/proc/14665/task/14680/stat : 14680 (java) S 14642 14642 11952 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224062040432 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14681] ppid=14642 vsize=8414124 memory=111632 CPUtime=0.09 cores=0-7
/proc/14665/task/14681/stat : 14681 (java) S 14642 14642 11952 0 -1 1077944384 284 0 0 0 9 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224060987376 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14682] ppid=14642 vsize=8414124 memory=800 CPUtime=0.23 cores=0-7
/proc/14665/task/14682/stat : 14682 (java) S 14642 14642 11952 0 -1 1077944384 741 0 0 0 23 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224059934832 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14683] ppid=14642 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/14665/task/14683/stat : 14683 (java) S 14642 14642 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419677759 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222427818976 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14684] ppid=14642 vsize=8414124 memory=33 CPUtime=0.1 cores=0-7
/proc/14665/task/14684/stat : 14684 (java) S 14642 14642 11952 0 -1 1077944384 13 0 0 0 5 5 0 0 20 0 24 0 419677760 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224058883248 140224970603138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14686] ppid=14642 vsize=8414124 memory=6435732208049344614 CPUtime=0 cores=0-7
/proc/14665/task/14686/stat : 14686 (java) S 14642 14642 11952 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419677835 8616062976 30873 33554432000 4194304 4196468 140725434443024 140224050849216 140224970616601 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14688] ppid=14642 vsize=8414124 memory=6435732173689608546 CPUtime=0 cores=0-7
/proc/14665/task/14688/stat : 14688 (java) S 14642 14642 11952 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419677836 8616062976 30873 33554432000 4194304 4196468 140725434443024 140222025154064 140224970613917 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14689] ppid=14642 vsize=8414124 memory=123492 CPUtime=0 cores=0-7
/proc/14665/task/14689/stat : 14689 (java) S 14642 14642 11952 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419677836 8616062976 30873 33554432000 4194304 4196468 140725434443024 140221756718736 140224970613917 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
[pid=14665/tid=14698] ppid=14642 vsize=8414124 memory=637224 CPUtime=0 cores=0-7
/proc/14665/task/14698/stat : 14698 (java) S 14642 14642 11952 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419677838 8616062976 30873 33554432000 4194304 4196468 140725434443024 140221488290736 140224970602197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140725434450935 140725434451094 140725434451094 140725434453967 0
Current children cumulated CPU time: 1157.25 s
Current children cumulated vsize: 9301292 KiB
Current children cumulated memory: 764392 KiB

Child status: 0
Real time (s): 175.561
CPU time (s): 1157.39
CPU user time (s): 1154.73
CPU system time (s): 2.65688
CPU usage (%): 659.252
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1064764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1154.73
system time used= 2.65688
maximum resident set size= 1066416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1269729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20266
involuntary context switches= 11059


# summary of solver processes directly reported to runsolver:
#   pid: 14642
#   total CPU time (s): 1157.39
#   total CPU user time (s): 1154.73
#   total CPU system time (s): 2.65688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.881 second user time and 2.63675 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 13:12:12
IDJOB=4392739
IDBENCH=134583
IDSOLVER=2839
FILE ID=node120/4392739-1568436709
RUNJOBID= node120-1323945801-11979
PBS_JOBID= 21702313
Free space on /tmp= 61648 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-6_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392739-1568436709/watcher-4392739-1568436709 -o /tmp/evaluation-result-4392739-1568436709/solver-4392739-1568436709 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323945801-11979 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392739-1568436709.xml

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

MD5SUM BENCH= 43dd96c97b3ff33ff7a4c42b6a5606ab
RANDOM SEED=1289080588

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28250096 kB
MemAvailable:   31824488 kB
Buffers:          199464 kB
Cached:          3679296 kB
SwapCached:        77548 kB
Active:          1106944 kB
Inactive:        2855680 kB
Active(anon):       4840 kB
Inactive(anon):   128168 kB
Active(file):    1102104 kB
Inactive(file):  2727512 kB
Unevictable:      106944 kB
Mlocked:          106944 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             20736 kB
Writeback:             0 kB
AnonPages:        113592 kB
Mapped:            48408 kB
Shmem:             41008 kB
Slab:             149872 kB
SReclaimable:     121220 kB
SUnreclaim:        28652 kB
KernelStack:        3472 kB
PageTables:         6308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     515580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61628 MiB
End job on node120 at 2011-12-15 13:15:07