Trace number 4392731

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 1001.34 172.062

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-3_X2.xml
MD5SUM72c85c51a44e0e8527757e040a083bca
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark165.887
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-14774-serial-file.bin HOME/instance-4392731-1568436886.xml
0.66/0.60	
0.66/0.60	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.60	
0.77/0.63	c BEGIN-Prog: Thu Dec 15 13:15:09 CET 2011
0.77/0.63	c PID: 14777
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.18/1.24	c (0,0) Parsing End
2.18/1.25	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.18/1.25	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.18/1.25	c (0,0) Constraint Name Generate Begin
2.18/1.26	c (0,0) Ctr:HOME/instance-4392731-1568436886.xml,ExtensionConflict:ExtensionSupport:Var
2.18/1.26	c (0,0) Constraint Name Generate End
2.18/1.26	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.18/1.26	c (0,0) CSP to CSPinCNF Begin
3.61/1.80	c (1,1) translated 127 (10%) constraints
4.03/1.92	c (1,1) translated 253 (20%) constraints
4.03/2.00	c (1,1) translated 379 (30%) constraints
4.49/2.07	c (1,1) translated 505 (40%) constraints
4.91/2.13	c (1,1) translated 631 (50%) constraints
4.91/2.19	c (1,1) translated 757 (60%) constraints
5.67/2.35	c (1,1) translated 883 (70%) constraints
6.61/2.63	c (2,2) translated 1009 (80%) constraints
6.87/2.88	c (2,2) translated 1135 (90%) constraints
7.70/3.23	c (2,2) translated 1261 (100%) constraints
7.70/3.23	c (2,2) ===========================================
7.70/3.26	c (2,2) Hybrid: #OE=793, #LE=0
7.70/3.26	c (2,2) Hybrid
7.70/3.26	c (2,2) ===========================================
8.13/3.33	c (2,2) translated 1883 (10%) constraints
8.13/3.40	c (2,2) translated 3765 (20%) constraints
8.53/3.46	c (2,2) translated 5647 (30%) constraints
8.91/3.52	c (2,2) translated 7529 (40%) constraints
8.91/3.58	c (2,2) translated 9411 (50%) constraints
9.31/3.65	c (3,3) translated 11294 (60%) constraints
9.67/3.71	c (3,3) translated 13176 (70%) constraints
9.67/3.75	c (3,3) translated 15058 (80%) constraints
9.67/3.79	c (3,3) translated 16940 (90%) constraints
9.92/3.83	c (3,3) translated 18822 (100%) constraints
9.92/3.83	c (3,3) CSP to CSPinCNF End
9.92/3.84	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
9.92/3.84	c (3,3) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.92/3.84	c (3,3) CSPinCNF Propagation Begin
11.31/4.22	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
11.31/4.22	c (3,3) CSPinCNF Propagation End
11.31/4.22	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
11.31/4.22	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.31/4.24	c (3,3) Hybrid: #OE=793, #LE=0
11.31/4.24	c (3,3) Simplify CSPinCNF Begin
11.59/4.30	c (3,3) Simplify CSPinCNF End
11.59/4.30	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
11.59/4.30	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.59/4.30	c (3,3) Calculate Precise Domain Begin
11.59/4.30	c (3,3) 0 values are removed by re-calculation
11.59/4.30	c (3,3) Calculate Precise Domain End
11.59/4.30	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
11.59/4.30	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.59/4.30	c (3,3) CSPinCNF to SatSolver Begin
11.88/4.46	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
12.21/4.52	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
12.21/4.58	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
12.62/4.62	c (4,4) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
12.62/4.65	c (4,4) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
12.62/4.68	c (4,4) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
13.01/4.70	c (4,4) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
13.01/4.71	c (4,4) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
13.01/4.73	c (4,4) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
13.01/4.74	c (4,4) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
13.01/4.74	c (4,4) CSPinCNF to SatSolver End
13.01/4.74	c (4,4) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.01/4.74	c (4,4) 2482 bool, 15697 clause
13.01/4.74	c (4,4) Export Begin
13.20/4.86	c (4,4) Export to HOME/scop-14774-serial-file.bin
13.20/4.86	c (4,4) Export End
13.20/4.86	c (4,4) Export File Size: 0.02 MB
13.20/4.86	c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
13.20/4.86	c END-Prog: Thu Dec 15 13:15:13 CET 2011
13.20/4.89	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14774-serial-file.bin
13.88/5.39	c (0,0) Read Serial File Begin
13.88/5.39	c (0,0) HOME/scop-14774-serial-file.bin
14.30/5.65	c (0,0) Read Serial File End
14.30/5.66	
14.30/5.66	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
14.30/5.66	(Solving Process)
14.30/5.66	
14.30/5.69	c BEGIN-Prog: Thu Dec 15 13:15:14 CET 2011
14.30/5.69	c PID: 14797
14.30/5.69	c IP: 172.20.3.120
14.30/5.69	c HOST: node120.alineos.net
14.30/5.69	c (0,0) SatSolver.solve Begin
14.30/5.69	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392731-1568436886.xml-scop-14777.cnf
14.48/5.72	c (0,0) c
14.48/5.72	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)
14.48/5.72	c (0,0) c
14.48/5.72	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
14.48/5.72	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
14.48/5.72	c (0,0) c ========================================[ Problem Statistics ]===========================================
14.48/5.72	c (0,0) c |                                                                                                       |
14.48/5.72	c (0,0) c |  Number of variables:          2480                                                                   |
14.48/5.72	c (0,0) c |  Number of clauses:           15697                                                                   |
14.48/5.72	c (0,0) c |  Parse time:                   0.01 s                                                                 |
14.48/5.72	c (0,0) c |                                                                                                       |
14.48/5.72	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
14.48/5.73	c (0,0) c |  Simplification time:          0.01 s                                                                 |
14.48/5.73	c (0,0) c |                                                                                                       |
14.48/5.73	c (0,0) c |  Generating clones                                                                                    |
14.48/5.74	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
14.48/5.74	c (0,0) c ========================================================================================================|
14.48/5.74	c (0,0) c
14.48/5.74	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
14.48/5.74	c (0,0) c
14.48/5.74	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.48/5.74	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.48/5.74	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.48/5.74	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
14.48/5.74	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
14.48/5.74	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
14.48/5.74	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
14.48/5.74	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.48/5.74	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.48/5.74	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.48/5.74	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.48/5.74	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.48/5.74	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.48/5.74	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.48/5.74	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.48/5.74	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.48/5.74	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.48/5.74	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.48/5.74	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.20/35.08	c (29,0) c
219.20/35.08	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
219.20/35.08	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
219.20/35.08	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
219.20/35.08	c (29,0) c |  0 |    320 |     552111 |     296150 |     9159 |    64761 |    48157 |   289830 |    13205 |      314 |  20 |  0.847 |
219.20/35.08	c (29,0) c |  1 |    341 |     553243 |     297076 |     9380 |    65688 |    43777 |   294281 |    13965 |      314 |  20 |  0.847 |
219.20/35.08	c (29,0) c |  2 |    221 |     521034 |     287048 |     9282 |    55658 |    42908 |   291292 |    11186 |      314 |  20 |  0.847 |
219.20/35.08	c (29,0) c |  3 |    314 |     539023 |     296372 |     9370 |    64988 |    43757 |   274576 |    12799 |      300 |  20 |  0.847 |
219.20/35.08	c (29,0) c |  4 |    339 |     540768 |     294005 |     9263 |    62618 |    42666 |   277054 |    14926 |      294 |  20 |  0.847 |
219.20/35.08	c (29,0) c |  5 |    424 |     542856 |     291177 |     9449 |    59792 |    37853 |   290267 |    11043 |      314 |  20 |  0.847 |
219.20/35.08	c (29,0) c |  6 |    503 |     565708 |     310973 |     9459 |    43790 |    45235 |   293314 |    16375 |      314 |  20 |  0.847 |
219.20/35.08	c (29,0) c |  7 |    378 |     524394 |     286723 |     9353 |    55331 |    41817 |   293513 |    12265 |      314 |  20 |  0.847 |
219.20/35.08	c (29,0) c 
219.20/35.08	c (29,0) c synthesis     2359524 conflicts   178341543 propagations    11540 conflicts/sec   872211 propagations/sec
219.20/35.08	c (29,0) c real: 29.3604 s, cpu: 204.471 s, memory: 629.79 Mb
391.05/65.08	c (59,0) c
391.05/65.08	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
391.05/65.08	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
391.05/65.08	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
391.05/65.08	c (59,0) c |  0 |    357 |     809505 |     433728 |     9185 |    87137 |    61201 |   394029 |    17989 |      551 |  20 |  0.847 |
391.05/65.08	c (59,0) c |  1 |    444 |     860068 |     455735 |     9431 |    65557 |    56924 |   400028 |    23605 |      551 |  20 |  0.847 |
391.05/65.08	c (59,0) c |  2 |    311 |     806481 |     437042 |     9401 |    46858 |    56310 |   399175 |    22289 |      551 |  20 |  0.847 |
391.05/65.08	c (59,0) c |  3 |    448 |     837931 |     450581 |     9451 |    60394 |    57577 |   393663 |    23648 |      537 |  20 |  0.847 |
391.05/65.08	c (59,0) c |  4 |    415 |     838375 |     448155 |     9321 |    57966 |    60147 |   386795 |    24689 |      531 |  20 |  0.847 |
391.05/65.08	c (59,0) c |  5 |    509 |     835863 |     443743 |     9495 |    53552 |    54012 |   397365 |    21064 |      551 |  20 |  0.847 |
391.05/65.08	c (59,0) c |  6 |    609 |     851798 |     460920 |     9494 |    70738 |    60409 |   396458 |    26123 |      551 |  20 |  0.847 |
391.05/65.08	c (59,0) c |  7 |    395 |     775942 |     419108 |     9390 |    72515 |    55994 |   398297 |    20192 |      551 |  20 |  0.847 |
391.05/65.08	c (59,0) c 
391.05/65.08	c (59,0) c synthesis     3549012 conflicts   266163305 propagations     9441 conflicts/sec   708044 propagations/sec
391.05/65.08	c (59,0) c real: 59.3605 s, cpu: 375.913 s, memory: 665.52 Mb
548.58/94.08	c (88,0) c
548.58/94.08	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
548.58/94.08	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
548.58/94.08	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
548.58/94.08	c (88,0) c |  0 |    381 |    1037785 |     551980 |     9333 |    66791 |    72872 |   472564 |    26803 |      769 |  20 |  0.848 |
548.58/94.08	c (88,0) c |  1 |    493 |    1090664 |     574618 |     9446 |    89431 |    69139 |   472643 |    31139 |      769 |  20 |  0.847 |
548.58/94.08	c (88,0) c |  2 |    379 |    1055222 |     561820 |     9419 |    76631 |    68227 |   476679 |    31312 |      769 |  20 |  0.848 |
548.58/94.08	c (88,0) c |  3 |    525 |    1066259 |     568033 |     9479 |    82851 |    69802 |   469692 |    31447 |      749 |  20 |  0.847 |
548.58/94.08	c (88,0) c |  4 |    443 |    1079308 |     574190 |     9346 |    89003 |    71799 |   467554 |    32579 |      760 |  20 |  0.848 |
548.58/94.08	c (88,0) c |  5 |    527 |    1063274 |     559052 |     9502 |    73869 |    64302 |   465843 |    26355 |      769 |  20 |  0.847 |
548.58/94.08	c (88,0) c |  6 |    665 |    1075253 |     577207 |     9506 |    92014 |    73312 |   477047 |    32901 |      769 |  20 |  0.847 |
548.58/94.08	c (88,0) c |  7 |    467 |    1006132 |     538361 |     9448 |    53178 |    67874 |   469666 |    31212 |      769 |  20 |  0.847 |
548.58/94.08	c (88,0) c 
548.58/94.08	c (88,0) c synthesis     4505263 conflicts   337164177 propagations     8451 conflicts/sec   632446 propagations/sec
548.58/94.08	c (88,0) c real: 88.3604 s, cpu: 533.111 s, memory: 695.24 Mb
727.65/124.08	c (118,0) c
727.65/124.08	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
727.65/124.08	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
727.65/124.08	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
727.65/124.08	c (118,0) c |  0 |    404 |    1281257 |     673449 |     9395 |    82863 |    82468 |   555738 |    36169 |     1017 |  20 |  0.848 |
727.65/124.08	c (118,0) c |  1 |    575 |    1329922 |     694557 |     9464 |   103969 |    81640 |   544156 |    39056 |     1017 |  20 |  0.847 |
727.65/124.08	c (118,0) c |  2 |    475 |    1300064 |     685039 |     9437 |    94454 |    80497 |   557339 |    38660 |     1017 |  20 |  0.848 |
727.65/124.08	c (118,0) c |  3 |    564 |    1311312 |     694541 |     9485 |   103960 |    82137 |   552841 |    39665 |     1017 |  20 |  0.847 |
727.65/124.08	c (118,0) c |  4 |    507 |    1312965 |     689780 |     9358 |    99191 |    83641 |   541465 |    40264 |      997 |  20 |  0.848 |
727.65/124.08	c (118,0) c |  5 |    546 |    1294112 |     676766 |     9511 |    86177 |    74555 |   567054 |    34015 |     1017 |  20 |  0.848 |
727.65/124.08	c (118,0) c |  6 |    733 |    1309490 |     698702 |     9520 |   108120 |    80669 |   547093 |    41152 |     1017 |  20 |  0.848 |
727.65/124.08	c (118,0) c |  7 |    508 |    1236068 |     656973 |     9464 |    66389 |    81011 |   558417 |    40763 |     1017 |  20 |  0.848 |
727.65/124.08	c (118,0) c 
727.65/124.08	c (118,0) c synthesis     5469807 conflicts   409483968 propagations     7686 conflicts/sec   575403 propagations/sec
727.65/124.08	c (118,0) c real: 118.36 s, cpu: 711.648 s, memory: 788.88 Mb
891.03/153.07	c (147,0) c
891.03/153.07	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
891.03/153.08	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
891.03/153.08	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
891.03/153.08	c (147,0) c |  0 |    438 |    1463212 |     765075 |     9412 |   117890 |    88584 |   604980 |    43723 |     1225 |  20 |  0.848 |
891.03/153.08	c (147,0) c |  1 |    588 |    1508061 |     785495 |     9473 |    78491 |    88575 |   610179 |    45792 |     1225 |  20 |  0.887 |
891.03/153.08	c (147,0) c |  2 |    493 |    1477133 |     774126 |     9451 |    62786 |    86357 |   603296 |    44781 |     1225 |  20 |  0.889 |
891.03/153.08	c (147,0) c |  3 |    605 |    1482356 |     779474 |     9495 |    73090 |    87766 |   597057 |    45547 |     1205 |  20 |  0.848 |
891.03/153.08	c (147,0) c |  4 |    545 |    1497668 |     781054 |     9370 |    74671 |    90324 |   601383 |    48443 |     1217 |  20 |  0.848 |
891.03/153.08	c (147,0) c |  5 |    572 |    1483168 |     772550 |     9559 |    65168 |    89128 |   609126 |    42332 |     1225 |  20 |  0.887 |
891.03/153.08	c (147,0) c |  6 |    800 |    1496062 |     792856 |     9526 |    84370 |    86464 |   609863 |    47159 |     1225 |  20 |  0.887 |
891.03/153.08	c (147,0) c |  7 |    555 |    1424014 |     751204 |     9480 |   102707 |    86894 |   610961 |    47155 |     1225 |  20 |  0.887 |
891.03/153.08	c (147,0) c 
891.03/153.08	c (147,0) c synthesis     6201835 conflicts   465072016 propagations     7088 conflicts/sec   531539 propagations/sec
891.03/153.08	c (147,0) c real: 147.36 s, cpu: 874.954 s, memory: 665.61 Mb
1001.19/172.02	c (166,0) c
1001.19/172.02	c (166,0) c real time : 166.305 s
1001.19/172.02	c (166,0) c cpu time  : 984.421 s
1001.19/172.02	c (166,0) c
1001.19/172.02	c (166,0) c
1001.19/172.02	c (166,0) c
1001.19/172.02	c (166,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1001.19/172.02	c (166,0) c
1001.19/172.02	c (166,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.02	c (166,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1001.19/172.02	c (166,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.02	c (166,0) c | Conflicts     |         6620451 |     815568 |     833164 |     827050 |     843521 |     831858 |     823437 |     842309 |     803544 |
1001.19/172.02	c (166,0) c | Decisions     |        12678432 |    1562620 |    1604893 |    1585528 |    1614089 |    1600206 |    1584450 |    1595620 |    1531026 |
1001.19/172.02	c (166,0) c | Propagations  |       497929690 |   61498381 |   62257060 |   62043101 |   62798750 |   62032174 |   63466688 |   62566199 |   61267337 |
1001.19/172.02	c (166,0) c | ReduceDBs     |             196 |         24 |         25 |         24 |         25 |         25 |         24 |         25 |         24 |
1001.19/172.02	c (166,0) c | SimpDBs       |              88 |         14 |          7 |         12 |         11 |          9 |         10 |         13 |         12 |
1001.19/172.02	c (166,0) c | Restarts      |            4723 |        457 |        599 |        501 |        636 |        562 |        577 |        814 |        577 |
1001.19/172.02	c (166,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1001.19/172.02	c (166,0) c | PropBinClauses|      1065157379 |  131979194 |  131612408 |  135686876 |  133579513 |  131779532 |  132971017 |  132590088 |  134958751 |
1001.19/172.02	c (166,0) c | PropPreBlocker|     36967133313 | 4607935059 | 4648018637 | 4619211770 | 4626375938 | 4608429416 | 4558461697 | 4674495980 | 4624204816 |
1001.19/172.02	c (166,0) c | PropNotBlocker|      5931717793 |  740256635 |  735229694 |  737437637 |  747132136 |  742475156 |  746487369 |  741748906 |  740950260 |
1001.19/172.02	c (166,0) c | LitFullScans  |     64985966408 | 8125726516 | 8125450710 | 8120863511 | 8119215434 | 8119331880 | 8125419179 | 8125616848 | 8124342330 |
1001.19/172.02	c (166,0) c | LitScanFracts |        11660679 |    1702330 |    1443728 |    1216776 |    1205929 |    1303939 |    1412746 |    1610863 |    1764368 |
1001.19/172.02	c (166,0) c | DecisionLevel0|            4828 |        468 |        608 |        522 |        651 |        573 |        587 |        824 |        595 |
1001.19/172.02	c (166,0) c | Periods       |           10828 |       1354 |       1354 |       1353 |       1353 |       1353 |       1354 |       1354 |       1353 |
1001.19/172.02	c (166,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1001.19/172.02	c (166,0) c | Avg_Trail     |                 |        629 |        623 |        625 |        628 |        628 |        633 |        631 |        625 |
1001.19/172.02	c (166,0) c | Avg_DL        |                 |         21 |         20 |         20 |         21 |         21 |         22 |         21 |         21 |
1001.19/172.02	c (166,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1001.19/172.02	c (166,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1001.19/172.02	c (166,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.02	c (166,0) c | Exported      |          741323 |      92647 |      92407 |      91455 |      93491 |      94265 |      95397 |      90703 |      90958 |
1001.19/172.02	c (166,0) c | Imported      |         5122483 |     640076 |     634753 |     643785 |     641709 |     640477 |     636263 |     641039 |     644381 |
1001.19/172.02	c (166,0) c | Good          |           14552 |       1835 |       1796 |       1864 |       1841 |       1871 |       1769 |       1753 |       1823 |
1001.19/172.02	c (166,0) c | Purge         |         5107931 |     638241 |     632957 |     641921 |     639868 |     638606 |     634494 |     639286 |     642558 |
1001.19/172.02	c (166,0) c | Promoted      |          403247 |      48287 |      51629 |      49473 |      50488 |      52851 |      48065 |      51060 |      51394 |
1001.19/172.02	c (166,0) c | Remove_Imp    |         4013211 |     486319 |     509177 |     492154 |     521878 |     510514 |     480019 |     512609 |     500541 |
1001.19/172.02	c (166,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1001.19/172.02	c (166,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.02	c (166,0) c | Unaries       |                 |         11 |          9 |         21 |         15 |         11 |         10 |         10 |         18 |
1001.19/172.02	c (166,0) c | Binaries      |                 |        257 |        256 |        249 |        279 |        228 |        315 |        318 |        300 |
1001.19/172.02	c (166,0) c | Glues         |                 |        933 |       1068 |        999 |       1020 |        934 |       1101 |       1024 |       1031 |
1001.19/172.02	c (166,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.02	c (166,0) c | Orig_Seen     |            87 % |       9422 |       9483 |       9455 |       9503 |       9375 |       9574 |       9531 |       9493 |
1001.19/172.02	c (166,0) c | Diff Orig seen|                 | -       33 |         28 |      X     |         48 | -       80 |        119 |         76 |         38 |
1001.19/172.02	c (166,0) c | Hamming       |            10 % |        285 |        265 |      X     |        254 |        248 |        274 |        261 |        225 |
1001.19/172.02	c (166,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.02	c (166,0) c | RunningTime   |                 |  121.1  74%|  113.5  69%|  108.1  66%|  164.1  99%|  165.0 100%|  103.7  63%|  105.4  64%|  107.0  65%|
1001.19/172.02	c (166,0) c | WaitingTime   |                 |   42.9  26%|   50.5  31%|   55.7  34%|    1.7   1%|    0.0   0%|   60.3  37%|   58.6  36%|   56.9  35%|
1001.19/172.02	c (166,0) c | ExchangingTime|                 |    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|
1001.19/172.02	c (166,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%|
1001.19/172.02	c (166,0) c | SolvingTime   |                 |  164.3     |  164.3     |  164.2     |  166.2     |  165.3     |  164.3     |  164.3     |  164.2     |
1001.19/172.02	c (166,0) c | PropagationTim|                 |  147.0  89%|  148.7  90%|  145.6  89%|   95.1  57%|   93.9  57%|  149.7  91%|  148.4  90%|  147.9  90%|
1001.19/172.02	c (166,0) c | AnalysisTime  |                 |   13.5   8%|   11.8   7%|   15.1   9%|   67.3  40%|   67.8  41%|   11.1   7%|   12.3   7%|   12.8   8%|
1001.19/172.02	c (166,0) c | ReductionTime |                 |    1.4   1%|    1.5   1%|    1.2   1%|    1.4   1%|    1.3   1%|    1.2   1%|    1.3   1%|    1.3   1%|
1001.19/172.02	c (166,0) c | SimplifyTime  |                 |    0.2   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|
1001.19/172.02	c (166,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%|
1001.19/172.02	c (166,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%|
1001.19/172.02	c (166,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.02	c (166,0) c
1001.19/172.02	c (166,0) c
1001.19/172.02	c (166,0) c Threads : 8
1001.19/172.02	c (166,0) c Winner : 2
1001.19/172.02	c (166,0) c Conflicts_0 : 815568
1001.19/172.02	c (166,0) c Conflicts_1 : 833164
1001.19/172.02	c (166,0) c Conflicts_2 : 827050
1001.19/172.02	c (166,0) c Conflicts_3 : 843521
1001.19/172.02	c (166,0) c Conflicts_4 : 831858
1001.19/172.02	c (166,0) c Conflicts_5 : 823437
1001.19/172.02	c (166,0) c Conflicts_6 : 842309
1001.19/172.02	c (166,0) c Conflicts_7 : 803544
1001.19/172.02	c (166,0) c Conflicts_total : 6620451
1001.19/172.02	c (166,0) c Conflicts_winner : 827050
1001.19/172.02	c (166,0) c Decisions_0 : 1562620
1001.19/172.02	c (166,0) c Decisions_1 : 1604893
1001.19/172.02	c (166,0) c Decisions_2 : 1585528
1001.19/172.02	c (166,0) c Decisions_3 : 1614089
1001.19/172.02	c (166,0) c Decisions_4 : 1600206
1001.19/172.02	c (166,0) c Decisions_5 : 1584450
1001.19/172.02	c (166,0) c Decisions_6 : 1595620
1001.19/172.02	c (166,0) c Decisions_7 : 1531026
1001.19/172.02	c (166,0) c Decisions_total : 12678432
1001.19/172.02	c (166,0) c Decisions_winner : 1585528
1001.19/172.02	c (166,0) c Propagations_0 : 61498381
1001.19/172.02	c (166,0) c Propagations_1 : 62257060
1001.19/172.02	c (166,0) c Propagations_2 : 62043101
1001.19/172.02	c (166,0) c Propagations_3 : 62798750
1001.19/172.02	c (166,0) c Propagations_4 : 62032174
1001.19/172.02	c (166,0) c Propagations_5 : 63466688
1001.19/172.02	c (166,0) c Propagations_6 : 62566199
1001.19/172.02	c (166,0) c Propagations_7 : 61267337
1001.19/172.02	c (166,0) c Propagations_total : 497929690
1001.19/172.02	c (166,0) c Propagations_winner : 62043101
1001.19/172.02	c (166,0) c ReduceDBs_0 : 24
1001.19/172.02	c (166,0) c ReduceDBs_1 : 25
1001.19/172.02	c (166,0) c ReduceDBs_2 : 24
1001.19/172.02	c (166,0) c ReduceDBs_3 : 25
1001.19/172.02	c (166,0) c ReduceDBs_4 : 25
1001.19/172.02	c (166,0) c ReduceDBs_5 : 24
1001.19/172.02	c (166,0) c ReduceDBs_6 : 25
1001.19/172.02	c (166,0) c ReduceDBs_7 : 24
1001.19/172.02	c (166,0) c ReduceDBs_total : 196
1001.19/172.02	c (166,0) c ReduceDBs_winner : 24
1001.19/172.02	c (166,0) c SimpDBs_0 : 14
1001.19/172.02	c (166,0) c SimpDBs_1 : 7
1001.19/172.02	c (166,0) c SimpDBs_2 : 12
1001.19/172.02	c (166,0) c SimpDBs_3 : 11
1001.19/172.02	c (166,0) c SimpDBs_4 : 9
1001.19/172.02	c (166,0) c SimpDBs_5 : 10
1001.19/172.02	c (166,0) c SimpDBs_6 : 13
1001.19/172.02	c (166,0) c SimpDBs_7 : 12
1001.19/172.02	c (166,0) c SimpDBs_total : 88
1001.19/172.02	c (166,0) c SimpDBs_winner : 12
1001.19/172.02	c (166,0) c Restarts_0 : 457
1001.19/172.02	c (166,0) c Restarts_1 : 599
1001.19/172.02	c (166,0) c Restarts_2 : 501
1001.19/172.02	c (166,0) c Restarts_3 : 636
1001.19/172.02	c (166,0) c Restarts_4 : 562
1001.19/172.02	c (166,0) c Restarts_5 : 577
1001.19/172.02	c (166,0) c Restarts_6 : 814
1001.19/172.03	c (166,0) c Restarts_7 : 577
1001.19/172.03	c (166,0) c Restarts_total : 4723
1001.19/172.03	c (166,0) c Restarts_winner : 501
1001.19/172.03	c (166,0) c ForcedImports_0 : 0
1001.19/172.03	c (166,0) c ForcedImports_1 : 0
1001.19/172.03	c (166,0) c ForcedImports_2 : 0
1001.19/172.03	c (166,0) c ForcedImports_3 : 0
1001.19/172.03	c (166,0) c ForcedImports_4 : 0
1001.19/172.03	c (166,0) c ForcedImports_5 : 0
1001.19/172.03	c (166,0) c ForcedImports_6 : 0
1001.19/172.03	c (166,0) c ForcedImports_7 : 0
1001.19/172.03	c (166,0) c ForcedImports_total : 0
1001.19/172.03	c (166,0) c ForcedImports_winner : 0
1001.19/172.03	c (166,0) c PropsBinClauses_0 : 131979194
1001.19/172.03	c (166,0) c PropsBinClauses_1 : 131612408
1001.19/172.03	c (166,0) c PropsBinClauses_2 : 135686876
1001.19/172.03	c (166,0) c PropsBinClauses_3 : 133579513
1001.19/172.03	c (166,0) c PropsBinClauses_4 : 131779532
1001.19/172.03	c (166,0) c PropsBinClauses_5 : 132971017
1001.19/172.03	c (166,0) c PropsBinClauses_6 : 132590088
1001.19/172.03	c (166,0) c PropsBinClauses_7 : 134958751
1001.19/172.03	c (166,0) c PropsBinClauses_total : 1065157379
1001.19/172.03	c (166,0) c PropsBinClauses_winner : 135686876
1001.19/172.03	c (166,0) c PropsPreBlocker_0 : 4607935059
1001.19/172.03	c (166,0) c PropsPreBlocker_1 : 4648018637
1001.19/172.03	c (166,0) c PropsPreBlocker_2 : 4619211770
1001.19/172.03	c (166,0) c PropsPreBlocker_3 : 4626375938
1001.19/172.03	c (166,0) c PropsPreBlocker_4 : 4608429416
1001.19/172.03	c (166,0) c PropsPreBlocker_5 : 4558461697
1001.19/172.03	c (166,0) c PropsPreBlocker_6 : 4674495980
1001.19/172.03	c (166,0) c PropsPreBlocker_7 : 4624204816
1001.19/172.03	c (166,0) c PropsPreBlocker_total : 36967133313
1001.19/172.03	c (166,0) c PropsPreBlocker_winner : 4619211770
1001.19/172.03	c (166,0) c PropsNotBlocker_0 : 740256635
1001.19/172.03	c (166,0) c PropsNotBlocker_1 : 735229694
1001.19/172.03	c (166,0) c PropsNotBlocker_2 : 737437637
1001.19/172.03	c (166,0) c PropsNotBlocker_3 : 747132136
1001.19/172.03	c (166,0) c PropsNotBlocker_4 : 742475156
1001.19/172.03	c (166,0) c PropsNotBlocker_5 : 746487369
1001.19/172.03	c (166,0) c PropsNotBlocker_6 : 741748906
1001.19/172.03	c (166,0) c PropsNotBlocker_7 : 740950260
1001.19/172.03	c (166,0) c PropsNotBlocker_total : 5931717793
1001.19/172.03	c (166,0) c PropsNotBlocker_winner : 737437637
1001.19/172.03	c (166,0) c PropsLitFullScans_0 : 8125726516
1001.19/172.03	c (166,0) c PropsLitFullScans_1 : 8125450710
1001.19/172.03	c (166,0) c PropsLitFullScans_2 : 8120863511
1001.19/172.03	c (166,0) c PropsLitFullScans_3 : 8119215434
1001.19/172.03	c (166,0) c PropsLitFullScans_4 : 8119331880
1001.19/172.03	c (166,0) c PropsLitFullScans_5 : 8125419179
1001.19/172.03	c (166,0) c PropsLitFullScans_6 : 8125616848
1001.19/172.03	c (166,0) c PropsLitFullScans_7 : 8124342330
1001.19/172.03	c (166,0) c PropsLitFullScans_total : 64985966408
1001.19/172.03	c (166,0) c PropsLitFullScans_winner : 8120863511
1001.19/172.03	c (166,0) c LitScanFractions_0 : 1702330
1001.19/172.03	c (166,0) c LitScanFractions_1 : 1443728
1001.19/172.03	c (166,0) c LitScanFractions_2 : 1216776
1001.19/172.03	c (166,0) c LitScanFractions_3 : 1205929
1001.19/172.03	c (166,0) c LitScanFractions_4 : 1303939
1001.19/172.03	c (166,0) c LitScanFractions_5 : 1412746
1001.19/172.03	c (166,0) c LitScanFractions_6 : 1610863
1001.19/172.03	c (166,0) c LitScanFractions_7 : 1764368
1001.19/172.03	c (166,0) c LitScanFractions_total : 11660679
1001.19/172.03	c (166,0) c LitScanFractions_winner : 1216776
1001.19/172.03	c (166,0) c DecisionLevel0_0 : 468
1001.19/172.03	c (166,0) c DecisionLevel0_1 : 608
1001.19/172.03	c (166,0) c DecisionLevel0_2 : 522
1001.19/172.03	c (166,0) c DecisionLevel0_3 : 651
1001.19/172.03	c (166,0) c DecisionLevel0_4 : 573
1001.19/172.03	c (166,0) c DecisionLevel0_5 : 587
1001.19/172.03	c (166,0) c DecisionLevel0_6 : 824
1001.19/172.03	c (166,0) c DecisionLevel0_7 : 595
1001.19/172.03	c (166,0) c DecisionLevel0_total : 4828
1001.19/172.03	c (166,0) c DecisionLevel0_winner : 522
1001.19/172.03	c (166,0) c Periods_0 : 1354
1001.19/172.03	c (166,0) c Periods_1 : 1354
1001.19/172.03	c (166,0) c Periods_2 : 1353
1001.19/172.03	c (166,0) c Periods_3 : 1353
1001.19/172.03	c (166,0) c Periods_4 : 1353
1001.19/172.03	c (166,0) c Periods_5 : 1354
1001.19/172.03	c (166,0) c Periods_6 : 1354
1001.19/172.03	c (166,0) c Periods_7 : 1353
1001.19/172.03	c (166,0) c Periods_total : 10828
1001.19/172.03	c (166,0) c Periods_winner : 1353
1001.19/172.03	c (166,0) c Margin_0 : 20
1001.19/172.03	c (166,0) c Margin_1 : 20
1001.19/172.03	c (166,0) c Margin_2 : 20
1001.19/172.03	c (166,0) c Margin_3 : 20
1001.19/172.03	c (166,0) c Margin_4 : 20
1001.19/172.03	c (166,0) c Margin_5 : 20
1001.19/172.03	c (166,0) c Margin_6 : 20
1001.19/172.03	c (166,0) c Margin_7 : 20
1001.19/172.03	c (166,0) c Margin_total : 160
1001.19/172.03	c (166,0) c Margin_winner : 20
1001.19/172.03	c (166,0) c Exported_0 : 92647
1001.19/172.03	c (166,0) c Exported_1 : 92407
1001.19/172.03	c (166,0) c Exported_2 : 91455
1001.19/172.03	c (166,0) c Exported_3 : 93491
1001.19/172.03	c (166,0) c Exported_4 : 94265
1001.19/172.03	c (166,0) c Exported_5 : 95397
1001.19/172.03	c (166,0) c Exported_6 : 90703
1001.19/172.03	c (166,0) c Exported_7 : 90958
1001.19/172.03	c (166,0) c Exported_total : 741323
1001.19/172.03	c (166,0) c Exported_winner : 91455
1001.19/172.03	c (166,0) c Imported_0 : 640076
1001.19/172.03	c (166,0) c Imported_1 : 634753
1001.19/172.03	c (166,0) c Imported_2 : 643785
1001.19/172.03	c (166,0) c Imported_3 : 641709
1001.19/172.03	c (166,0) c Imported_4 : 640477
1001.19/172.03	c (166,0) c Imported_5 : 636263
1001.19/172.03	c (166,0) c Imported_6 : 641039
1001.19/172.03	c (166,0) c Imported_7 : 644381
1001.19/172.03	c (166,0) c Imported_total : 5122483
1001.19/172.03	c (166,0) c Imported_winner : 643785
1001.19/172.03	c (166,0) c Good_0 : 1835
1001.19/172.03	c (166,0) c Good_1 : 1796
1001.19/172.03	c (166,0) c Good_2 : 1864
1001.19/172.03	c (166,0) c Good_3 : 1841
1001.19/172.03	c (166,0) c Good_4 : 1871
1001.19/172.03	c (166,0) c Good_5 : 1769
1001.19/172.03	c (166,0) c Good_6 : 1753
1001.19/172.03	c (166,0) c Good_7 : 1823
1001.19/172.03	c (166,0) c Good_total : 14552
1001.19/172.03	c (166,0) c Good_winner : 1864
1001.19/172.03	c (166,0) c Purge_0 : 638241
1001.19/172.03	c (166,0) c Purge_1 : 632957
1001.19/172.03	c (166,0) c Purge_2 : 641921
1001.19/172.03	c (166,0) c Purge_3 : 639868
1001.19/172.03	c (166,0) c Purge_4 : 638606
1001.19/172.03	c (166,0) c Purge_5 : 634494
1001.19/172.03	c (166,0) c Purge_6 : 639286
1001.19/172.03	c (166,0) c Purge_7 : 642558
1001.19/172.03	c (166,0) c Purge_total : 5107931
1001.19/172.03	c (166,0) c Purge_winner : 641921
1001.19/172.03	c (166,0) c Promoted_0 : 48287
1001.19/172.03	c (166,0) c Promoted_1 : 51629
1001.19/172.03	c (166,0) c Promoted_2 : 49473
1001.19/172.03	c (166,0) c Promoted_3 : 50488
1001.19/172.03	c (166,0) c Promoted_4 : 52851
1001.19/172.03	c (166,0) c Promoted_5 : 48065
1001.19/172.03	c (166,0) c Promoted_6 : 51060
1001.19/172.03	c (166,0) c Promoted_7 : 51394
1001.19/172.03	c (166,0) c Promoted_total : 403247
1001.19/172.03	c (166,0) c Promoted_winner : 49473
1001.19/172.03	c (166,0) c Remove_Imp_0 : 486319
1001.19/172.03	c (166,0) c Remove_Imp_1 : 509177
1001.19/172.03	c (166,0) c Remove_Imp_2 : 492154
1001.19/172.03	c (166,0) c Remove_Imp_3 : 521878
1001.19/172.03	c (166,0) c Remove_Imp_4 : 510514
1001.19/172.03	c (166,0) c Remove_Imp_5 : 480019
1001.19/172.03	c (166,0) c Remove_Imp_6 : 512609
1001.19/172.03	c (166,0) c Remove_Imp_7 : 500541
1001.19/172.03	c (166,0) c Remove_Imp_total : 4013211
1001.19/172.03	c (166,0) c Remove_Imp_winner : 492154
1001.19/172.03	c (166,0) c Blocked_Reuse_0 : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_1 : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_2 : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_3 : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_4 : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_5 : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_6 : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_7 : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_total : 0
1001.19/172.03	c (166,0) c Blocked_Reuse_winner : 0
1001.19/172.03	c (166,0) c Unaries_0 : 11
1001.19/172.03	c (166,0) c Unaries_1 : 9
1001.19/172.03	c (166,0) c Unaries_2 : 21
1001.19/172.03	c (166,0) c Unaries_3 : 15
1001.19/172.03	c (166,0) c Unaries_4 : 11
1001.19/172.03	c (166,0) c Unaries_5 : 10
1001.19/172.03	c (166,0) c Unaries_6 : 10
1001.19/172.03	c (166,0) c Unaries_7 : 18
1001.19/172.03	c (166,0) c Unaries_total : 105
1001.19/172.03	c (166,0) c Unaries_winner : 21
1001.19/172.03	c (166,0) c Binaries_0 : 257
1001.19/172.03	c (166,0) c Binaries_1 : 256
1001.19/172.03	c (166,0) c Binaries_2 : 249
1001.19/172.03	c (166,0) c Binaries_3 : 279
1001.19/172.03	c (166,0) c Binaries_4 : 228
1001.19/172.03	c (166,0) c Binaries_5 : 315
1001.19/172.03	c (166,0) c Binaries_6 : 318
1001.19/172.03	c (166,0) c Binaries_7 : 300
1001.19/172.03	c (166,0) c Binaries_total : 2202
1001.19/172.03	c (166,0) c Binaries_winner : 249
1001.19/172.03	c (166,0) c Glues_0 : 933
1001.19/172.03	c (166,0) c Glues_1 : 1068
1001.19/172.03	c (166,0) c Glues_2 : 999
1001.19/172.03	c (166,0) c Glues_3 : 1020
1001.19/172.03	c (166,0) c Glues_4 : 934
1001.19/172.03	c (166,0) c Glues_5 : 1101
1001.19/172.03	c (166,0) c Glues_6 : 1024
1001.19/172.03	c (166,0) c Glues_7 : 1031
1001.19/172.03	c (166,0) c Glues_total : 8110
1001.19/172.03	c (166,0) c Glues_winner : 999
1001.19/172.03	c (166,0) c RunningTime_0 : 121.072349
1001.19/172.03	c (166,0) c RunningTime_1 : 113.474258
1001.19/172.03	c (166,0) c RunningTime_2 : 108.111819
1001.19/172.03	c (166,0) c RunningTime_3 : 164.138967
1001.19/172.03	c (166,0) c RunningTime_4 : 164.991073
1001.19/172.03	c (166,0) c RunningTime_5 : 103.682547
1001.19/172.03	c (166,0) c RunningTime_6 : 105.357893
1001.19/172.03	c (166,0) c RunningTime_7 : 107.006621
1001.19/172.03	c (166,0) c RunningTime_total : 987.835527
1001.19/172.03	c (166,0) c RunningTime_winner : 108.111819
1001.19/172.03	c (166,0) c WaitingTime_0 : 42.860084
1001.19/172.03	c (166,0) c WaitingTime_1 : 50.493372
1001.19/172.03	c (166,0) c WaitingTime_2 : 55.697301
1001.19/172.03	c (166,0) c WaitingTime_3 : 1.671372
1001.19/172.03	c (166,0) c WaitingTime_4 : 0.001900
1001.19/172.03	c (166,0) c WaitingTime_5 : 60.307152
1001.19/172.03	c (166,0) c WaitingTime_6 : 58.583107
1001.19/172.03	c (166,0) c WaitingTime_7 : 56.870381
1001.19/172.03	c (166,0) c WaitingTime_total : 326.484668
1001.19/172.03	c (166,0) c WaitingTime_winner : 55.697301
1001.19/172.03	c (166,0) c ExchangingTime_0 : 0.396512
1001.19/172.03	c (166,0) c ExchangingTime_1 : 0.361857
1001.19/172.03	c (166,0) c ExchangingTime_2 : 0.359370
1001.19/172.03	c (166,0) c ExchangingTime_3 : 0.366033
1001.19/172.03	c (166,0) c ExchangingTime_4 : 0.336270
1001.19/172.03	c (166,0) c ExchangingTime_5 : 0.339771
1001.19/172.03	c (166,0) c ExchangingTime_6 : 0.387411
1001.19/172.03	c (166,0) c ExchangingTime_7 : 0.339170
1001.19/172.03	c (166,0) c ExchangingTime_total : 2.886394
1001.19/172.03	c (166,0) c ExchangingTime_winner : 0.359370
1001.19/172.03	c (166,0) c PeriodProcTime_0 : 0.011611
1001.19/172.03	c (166,0) c PeriodProcTime_1 : 0.011461
1001.19/172.03	c (166,0) c PeriodProcTime_2 : 0.011846
1001.19/172.03	c (166,0) c PeriodProcTime_3 : 0.014720
1001.19/172.03	c (166,0) c PeriodProcTime_4 : 0.015267
1001.19/172.03	c (166,0) c PeriodProcTime_5 : 0.013120
1001.19/172.03	c (166,0) c PeriodProcTime_6 : 0.012854
1001.19/172.03	c (166,0) c PeriodProcTime_7 : 0.011913
1001.19/172.03	c (166,0) c PeriodProcTime_total : 0.102792
1001.19/172.03	c (166,0) c PeriodProcTime_winner : 0.011846
1001.19/172.03	c (166,0) c SolvingTime_0 : 164.340555
1001.19/172.03	c (166,0) c SolvingTime_1 : 164.340947
1001.19/172.03	c (166,0) c SolvingTime_2 : 164.180336
1001.19/172.03	c (166,0) c SolvingTime_3 : 166.191092
1001.19/172.03	c (166,0) c SolvingTime_4 : 165.344509
1001.19/172.03	c (166,0) c SolvingTime_5 : 164.342590
1001.19/172.03	c (166,0) c SolvingTime_6 : 164.341265
1001.19/172.03	c (166,0) c SolvingTime_7 : 164.228085
1001.19/172.03	c (166,0) c SolvingTime_total : 1317.309380
1001.19/172.03	c (166,0) c SolvingTime_winner : 164.180336
1001.19/172.03	c (166,0) c PropagationTime_0 : 146.966058
1001.19/172.03	c (166,0) c PropagationTime_1 : 148.682872
1001.19/172.03	c (166,0) c PropagationTime_2 : 145.637888
1001.19/172.03	c (166,0) c PropagationTime_3 : 95.139108
1001.19/172.03	c (166,0) c PropagationTime_4 : 93.905402
1001.19/172.03	c (166,0) c PropagationTime_5 : 149.743051
1001.19/172.03	c (166,0) c PropagationTime_6 : 148.374436
1001.19/172.03	c (166,0) c PropagationTime_7 : 147.900498
1001.19/172.03	c (166,0) c PropagationTime_total : 1076.349312
1001.19/172.03	c (166,0) c PropagationTime_winner : 145.637888
1001.19/172.03	c (166,0) c AnalysisTime_0 : 13.475702
1001.19/172.03	c (166,0) c AnalysisTime_1 : 11.823482
1001.19/172.03	c (166,0) c AnalysisTime_2 : 15.083945
1001.19/172.03	c (166,0) c AnalysisTime_3 : 67.286406
1001.19/172.03	c (166,0) c AnalysisTime_4 : 67.801799
1001.19/172.03	c (166,0) c AnalysisTime_5 : 11.060183
1001.19/172.03	c (166,0) c AnalysisTime_6 : 12.262029
1001.19/172.03	c (166,0) c AnalysisTime_7 : 12.823283
1001.19/172.03	c (166,0) c AnalysisTime_total : 211.616829
1001.19/172.03	c (166,0) c AnalysisTime_winner : 15.083945
1001.19/172.03	c (166,0) c ReductionTime_0 : 1.387834
1001.19/172.03	c (166,0) c ReductionTime_1 : 1.514093
1001.19/172.03	c (166,0) c ReductionTime_2 : 1.248494
1001.19/172.03	c (166,0) c ReductionTime_3 : 1.397136
1001.19/172.03	c (166,0) c ReductionTime_4 : 1.343220
1001.19/172.03	c (166,0) c ReductionTime_5 : 1.187353
1001.19/172.03	c (166,0) c ReductionTime_6 : 1.346868
1001.19/172.03	c (166,0) c ReductionTime_7 : 1.260487
1001.19/172.03	c (166,0) c ReductionTime_total : 10.685484
1001.19/172.03	c (166,0) c ReductionTime_winner : 1.248494
1001.19/172.03	c (166,0) c SimplifyTime_0 : 0.180210
1001.19/172.03	c (166,0) c SimplifyTime_1 : 0.028047
1001.19/172.03	c (166,0) c SimplifyTime_2 : 0.051162
1001.19/172.03	c (166,0) c SimplifyTime_3 : 0.098155
1001.19/172.03	c (166,0) c SimplifyTime_4 : 0.063009
1001.19/172.03	c (166,0) c SimplifyTime_5 : 0.149470
1001.19/172.03	c (166,0) c SimplifyTime_6 : 0.171178
1001.19/172.03	c (166,0) c SimplifyTime_7 : 0.092641
1001.19/172.03	c (166,0) c SimplifyTime_total : 0.833872
1001.19/172.03	c (166,0) c SimplifyTime_winner : 0.051162
1001.19/172.03	c (166,0) c UsedRateTime_0 : 0.000000
1001.19/172.03	c (166,0) c UsedRateTime_1 : 0.000000
1001.19/172.03	c (166,0) c UsedRateTime_2 : 0.000000
1001.19/172.03	c (166,0) c UsedRateTime_3 : 0.000000
1001.19/172.03	c (166,0) c UsedRateTime_4 : 0.000000
1001.19/172.03	c (166,0) c UsedRateTime_5 : 0.000000
1001.19/172.04	c (166,0) c UsedRateTime_6 : 0.000000
1001.19/172.04	c (166,0) c UsedRateTime_7 : 0.000000
1001.19/172.04	c (166,0) c UsedRateTime_total : 0.000000
1001.19/172.04	c (166,0) c UsedRateTime_winner : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_0 : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_1 : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_2 : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_3 : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_4 : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_5 : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_6 : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_7 : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_total : 0.000000
1001.19/172.04	c (166,0) c OverlapRateTime_winner : 0.000000
1001.19/172.04	c (166,0) c
1001.19/172.04	c (166,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1001.19/172.04	c (166,0) c
1001.19/172.04	c (166,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.04	c (166,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1001.19/172.04	c (166,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.04	c (166,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1001.19/172.04	c (166,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1001.19/172.04	c (166,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1001.19/172.04	c (166,0) c | Initial random_seed   | 1321799185 |   85422588 | 1882410120 | 1483762742 | 1504758565 | 1059418195 |  209025956 |  368410280 |
1001.19/172.04	c (166,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1001.19/172.04	c (166,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1001.19/172.04	c (166,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1001.19/172.04	c (166,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1001.19/172.04	c (166,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1001.19/172.04	c (166,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1001.19/172.04	c (166,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1001.19/172.04	c (166,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1001.19/172.04	c (166,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1001.19/172.04	c (166,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1001.19/172.04	c (166,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1001.19/172.04	c (166,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1001.19/172.04	c (166,0) 
1001.19/172.04	c (166,0) s UNSATISFIABLE
1001.19/172.05	c (166,0) SatSolver.solve End
1001.19/172.05	c (166,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1001.19/172.05	c (166,0) Show results Begin
1001.19/172.05	s UNSATISFIABLE
1001.19/172.05	c (166,0) Show results End
1001.19/172.05	c (166,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1001.19/172.05	c (166,0) 166,166,STOP-AFTER(ALL)
1001.19/172.05	c END-Prog: Thu Dec 15 13:18:00 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 (13740 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-4392731-1568436886/watcher-4392731-1568436886 -o /tmp/evaluation-result-4392731-1568436886/solver-4392731-1568436886 -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-4392731-1568436886.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
solver pid=14774, runsolver pid=14771
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 5.61 5.41 5.23 2/212 14796
/proc/meminfo: memFree=28158408/32770688 swapFree=66919992/67108860
[pid=14774] ppid=14771 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14774/stat : 14774 (scop.sh) S 14771 14774 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419694906 115843072 349 33554432000 4194304 5098028 140730893459136 140730893456392 140708762260092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25665536 140730893464356 140730893464684 140730893464684 140730893467597 0
/proc/14774/statm: 28282 349 296 221 0 87 0
[pid=14777] ppid=14774 vsize=27314120 memory=104144 CPUtime=0.1 cores=0-7
/proc/14777/stat : 14777 (java) S 14774 14774 11952 0 -1 1077944320 6106 0 0 0 8 2 0 0 20 0 20 0 419694906 27969658880 26036 33554432000 4194304 4196468 140724516113440 140724516095984 140441046929143 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
/proc/14777/statm: 6828530 26036 2773 1 0 6790935 0
[pid=14777/tid=14778] ppid=14774 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) R 14774 14774 11952 0 -1 4202560 4213 0 0 0 7 2 0 0 20 0 20 0 419694906 27969658880 26036 33554432000 4194304 4196468 140724516113440 140441018755472 140441026515213 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14779] ppid=14774 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 26036 33554432000 4194304 4196468 140724516113440 140441051171856 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14780] ppid=14774 vsize=27314120 memory=139971316872832 CPUtime=0 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 26036 33554432000 4194304 4196468 140724516113440 140440869260432 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14781] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 26036 33554432000 4194304 4196468 140724516113440 140440467569424 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14782] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14782/stat : 14782 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 26036 33554432000 4194304 4196468 140724516113440 140440466516880 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14783] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14783/stat : 14783 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 26036 33554432000 4194304 4196468 140724516113440 140440465463824 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14784] ppid=14774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14784/stat : 14784 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 26036 33554432000 4194304 4196468 140724516113440 140440464411280 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14785] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14785/stat : 14785 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 26036 33554432000 4194304 4196468 140724516113440 140440463358224 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14786] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14786/stat : 14786 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 26036 33554432000 4194304 4196468 140724516113440 140440462305680 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14787] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14787/stat : 14787 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694910 27969658880 26036 33554432000 4194304 4196468 140724516113440 140439568538352 140441046940290 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14788] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14788/stat : 14788 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419694911 27969658880 26036 33554432000 4194304 4196468 140724516113440 140438652577440 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14789] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14789/stat : 14789 (java) S 14774 14774 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419694911 27969658880 26036 33554432000 4194304 4196468 140724516113440 140438518355184 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14790] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14790/stat : 14790 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 26036 33554432000 4194304 4196468 140724516113440 140438143850960 140441046947739 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14791] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14791/stat : 14791 (java) S 14774 14774 11952 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 26036 33554432000 4194304 4196468 140724516113440 140439567485168 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14792] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14792/stat : 14792 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 26036 33554432000 4194304 4196468 140724516113440 140439566432624 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14793] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14793/stat : 14793 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 26036 33554432000 4194304 4196468 140724516113440 140439565379568 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14794] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14794/stat : 14794 (java) S 14774 14774 11952 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 26036 33554432000 4194304 4196468 140724516113440 140439564327024 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14795] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14795/stat : 14795 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 26036 33554432000 4194304 4196468 140724516113440 140437645945824 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14796] ppid=14774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14796/stat : 14796 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694915 27969658880 26036 33554432000 4194304 4196468 140724516113440 140439563275440 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105540 KiB

[startup+0.211554 s]*
/proc/loadavg: 5.24 5.34 5.21 2/212 14796
/proc/meminfo: memFree=28138876/32770688 swapFree=66919992/67108860
[pid=14774] ppid=14771 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14774/stat : 14774 (scop.sh) S 14771 14774 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419694906 115843072 349 33554432000 4194304 5098028 140730893459136 140730893456392 140708762260092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25665536 140730893464356 140730893464684 140730893464684 140730893467597 0
/proc/14774/statm: 28282 349 296 221 0 87 0
[pid=14777] ppid=14774 vsize=27314120 memory=123468 CPUtime=0.24 cores=0-7
/proc/14777/stat : 14777 (java) S 14774 14774 11952 0 -1 1077944320 11591 0 0 0 20 4 0 0 20 0 20 0 419694906 27969658880 30867 33554432000 4194304 4196468 140724516113440 140724516095984 140441046929143 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
/proc/14777/statm: 6828530 30867 2941 1 0 6790935 0
[pid=14777/tid=14778] ppid=14774 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) R 14774 14774 11952 0 -1 4202560 9354 0 0 0 16 4 0 0 20 0 20 0 419694906 27969658880 30867 33554432000 4194304 4196468 140724516113440 140441018761344 140441046951069 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14779] ppid=14774 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 30867 33554432000 4194304 4196468 140724516113440 140441051171856 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14780] ppid=14774 vsize=27314120 memory=4122966838636377760 CPUtime=0 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 30867 33554432000 4194304 4196468 140724516113440 140440869260432 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14781] ppid=14774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 30867 33554432000 4194304 4196468 140724516113440 140440467569424 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14782] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14782/stat : 14782 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 30867 33554432000 4194304 4196468 140724516113440 140440466516880 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14783] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14783/stat : 14783 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 30867 33554432000 4194304 4196468 140724516113440 140440465463824 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14784] ppid=14774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14784/stat : 14784 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 30867 33554432000 4194304 4196468 140724516113440 140440464411280 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14785] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14785/stat : 14785 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 30867 33554432000 4194304 4196468 140724516113440 140440463358224 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14786] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14786/stat : 14786 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 30867 33554432000 4194304 4196468 140724516113440 140440462305680 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14787] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14787/stat : 14787 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694910 27969658880 30867 33554432000 4194304 4196468 140724516113440 140439568538352 140441046940290 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14788] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14788/stat : 14788 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419694911 27969658880 30867 33554432000 4194304 4196468 140724516113440 140438652577440 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14789] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14789/stat : 14789 (java) S 14774 14774 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419694911 27969658880 30867 33554432000 4194304 4196468 140724516113440 140438518355184 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14790] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14790/stat : 14790 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 30867 33554432000 4194304 4196468 140724516113440 140438143850960 140441046947739 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14791] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14791/stat : 14791 (java) S 14774 14774 11952 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 30867 33554432000 4194304 4196468 140724516113440 140439567485168 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14792] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14792/stat : 14792 (java) S 14774 14774 11952 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 30867 33554432000 4194304 4196468 140724516113440 140439566432624 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14793] ppid=14774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14793/stat : 14793 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 30867 33554432000 4194304 4196468 140724516113440 140439565379568 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14794] ppid=14774 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/14777/task/14794/stat : 14794 (java) S 14774 14774 11952 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 419694914 27969658880 30867 33554432000 4194304 4196468 140724516113440 140439564327024 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14795] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14795/stat : 14795 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 30867 33554432000 4194304 4196468 140724516113440 140437645945824 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14796] ppid=14774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14796/stat : 14796 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694915 27969658880 30867 33554432000 4194304 4196468 140724516113440 140439563275440 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124864 KiB

[startup+0.310724 s]*
/proc/loadavg: 5.24 5.34 5.21 3/212 14796
/proc/meminfo: memFree=28133652/32770688 swapFree=66919992/67108860
[pid=14774] ppid=14771 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14774/stat : 14774 (scop.sh) S 14771 14774 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419694906 115843072 349 33554432000 4194304 5098028 140730893459136 140730893456392 140708762260092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25665536 140730893464356 140730893464684 140730893464684 140730893467597 0
/proc/14774/statm: 28282 349 296 221 0 87 0
[pid=14777] ppid=14774 vsize=27314120 memory=127348 CPUtime=0.43 cores=0-7
/proc/14777/stat : 14777 (java) S 14774 14774 11952 0 -1 1077944320 12220 0 0 0 38 5 0 0 20 0 20 0 419694906 27969658880 31837 33554432000 4194304 4196468 140724516113440 140724516095984 140441046929143 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
/proc/14777/statm: 6828530 31837 3036 1 0 6790935 0
[pid=14777/tid=14778] ppid=14774 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) R 14774 14774 11952 0 -1 4202560 9741 0 0 0 26 4 0 0 20 0 20 0 419694906 27969658880 31837 33554432000 4194304 4196468 140724516113440 140441018757056 140441031009630 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14779] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 31837 33554432000 4194304 4196468 140724516113440 140441051171856 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14780] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 31837 33554432000 4194304 4196468 140724516113440 140440869260432 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14781] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 31837 33554432000 4194304 4196468 140724516113440 140440467569424 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14782] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14782/stat : 14782 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 31837 33554432000 4194304 4196468 140724516113440 140440466516880 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14783] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14783/stat : 14783 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 31837 33554432000 4194304 4196468 140724516113440 140440465463824 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14784] ppid=14774 vsize=27314120 memory=139971172330159 CPUtime=0 cores=0-7
/proc/14777/task/14784/stat : 14784 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 31837 33554432000 4194304 4196468 140724516113440 140440464411280 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14785] ppid=14774 vsize=27314120 memory=139971172332464 CPUtime=0 cores=0-7
/proc/14777/task/14785/stat : 14785 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 31837 33554432000 4194304 4196468 140724516113440 140440463358224 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14786] ppid=14774 vsize=27314120 memory=139971172334768 CPUtime=0 cores=0-7
/proc/14777/task/14786/stat : 14786 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694909 27969658880 31837 33554432000 4194304 4196468 140724516113440 140440462305680 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14787] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14787/stat : 14787 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694910 27969658880 31837 33554432000 4194304 4196468 140724516113440 140439568538352 140441046940290 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14788] ppid=14774 vsize=27314120 memory=279942344683408 CPUtime=0 cores=0-7
/proc/14777/task/14788/stat : 14788 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419694911 27969658880 31837 33554432000 4194304 4196468 140724516113440 140438652577440 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14789] ppid=14774 vsize=27314120 memory=279942344681104 CPUtime=0 cores=0-7
/proc/14777/task/14789/stat : 14789 (java) S 14774 14774 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419694911 27969658880 31837 33554432000 4194304 4196468 140724516113440 140438518355184 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14790] ppid=14774 vsize=27314120 memory=279942344688016 CPUtime=0 cores=0-7
/proc/14777/task/14790/stat : 14790 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 31837 33554432000 4194304 4196468 140724516113440 140438143850960 140441046947739 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14791] ppid=14774 vsize=27314120 memory=279942344629296 CPUtime=0 cores=0-7
/proc/14777/task/14791/stat : 14791 (java) S 14774 14774 11952 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 31837 33554432000 4194304 4196468 140724516113440 140439567485168 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14792] ppid=14774 vsize=27314120 memory=279942344701840 CPUtime=0.01 cores=0-7
/proc/14777/task/14792/stat : 14792 (java) S 14774 14774 11952 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 419694914 27969658880 31837 33554432000 4194304 4196468 140724516113440 140439566432624 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14793] ppid=14774 vsize=27314120 memory=279942344708752 CPUtime=0.02 cores=0-7
/proc/14777/task/14793/stat : 14793 (java) S 14774 14774 11952 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 419694914 27969658880 31837 33554432000 4194304 4196468 140724516113440 140439565379568 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14794] ppid=14774 vsize=27314120 memory=279942344706448 CPUtime=0.07 cores=0-7
/proc/14777/task/14794/stat : 14794 (java) S 14774 14774 11952 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 419694914 27969658880 31837 33554432000 4194304 4196468 140724516113440 140439564327024 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14795] ppid=14774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14795/stat : 14795 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419694914 27969658880 31837 33554432000 4194304 4196468 140724516113440 140437645945824 140441046939349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14796] ppid=14774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14777/task/14796/stat : 14796 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419694915 27969658880 31837 33554432000 4194304 4196468 140724516113440 140439563275440 140441046940290 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128744 KiB

[startup+0.701022 s]
/proc/loadavg: 5.24 5.34 5.21 2/212 14796
/proc/meminfo: memFree=28124916/32770688 swapFree=66919992/67108860
[pid=14774] ppid=14771 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14774/stat : 14774 (scop.sh) S 14771 14774 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419694906 115843072 349 33554432000 4194304 5098028 140730893459136 140730893456392 140708762260092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25665536 140730893464356 140730893464684 140730893464684 140730893467597 0
/proc/14774/statm: 28282 349 296 221 0 87 0
[pid=14777] ppid=14774 vsize=27320392 memory=157432 CPUtime=0.91 cores=0-7
/proc/14777/stat : 14777 (java) S 14774 14774 11952 0 -1 1077944320 19070 0 0 0 84 7 0 0 20 0 20 0 419694906 27976081408 39358 33554432000 4194304 4196468 140724516113440 140724516095984 140441046929143 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
/proc/14777/statm: 6830098 39358 3115 1 0 6791447 0
[pid=14777/tid=14778] ppid=14774 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/14777/task/14778/stat : 14778 (java) R 14774 14774 11952 0 -1 4202560 16401 0 0 0 62 6 0 0 20 0 20 0 419694906 27976081408 39358 33554432000 4194304 4196468 140724516113440 140441018741904 140441046951069 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14779] ppid=14774 vsize=27320392 memory=139971172541296 CPUtime=0 cores=0-7
/proc/14777/task/14779/stat : 14779 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27976081408 39358 33554432000 4194304 4196468 140724516113440 140441051171856 140441046939349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14780] ppid=14774 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14777/task/14780/stat : 14780 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27976081408 39358 33554432000 4194304 4196468 140724516113440 140440869260432 140441046939349 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0
[pid=14777/tid=14781] ppid=14774 vsize=27320392 memory=1176 CPUtime=0 cores=0-7
/proc/14777/task/14781/stat : 14781 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419694909 27976081408 39358 33554432000 4194304 4196468 140724516113440 140440467569424 140441046939349 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10727424 140724516115178 140724516115606 140724516115606 140724516118479 0

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

[pid=14797/tid=14807] ppid=14774 vsize=8414124 memory=118916 CPUtime=0 cores=0-7
/proc/14797/task/14807/stat : 14807 (java) S 14774 14774 11952 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419695398 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790155790576 139790928173698 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14808] ppid=14774 vsize=8414124 memory=679324 CPUtime=0 cores=0-7
/proc/14797/task/14808/stat : 14808 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419695398 8616062976 29729 33554432000 4194304 4196468 140720636545792 139789240100000 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14809] ppid=14774 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/14797/task/14809/stat : 14809 (java) S 14774 14774 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419695399 8616062976 29729 33554432000 4194304 4196468 140720636545792 139789105877744 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14810] ppid=14774 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/14797/task/14810/stat : 14810 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139788731373520 139790928181147 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14811] ppid=14774 vsize=8414124 memory=920 CPUtime=0.04 cores=0-7
/proc/14797/task/14811/stat : 14811 (java) S 14774 14774 11952 0 -1 1077944384 593 0 0 0 4 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790154738416 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14812] ppid=14774 vsize=8414124 memory=4736 CPUtime=0.07 cores=0-7
/proc/14797/task/14812/stat : 14812 (java) S 14774 14774 11952 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790153685872 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14813] ppid=14774 vsize=8414124 memory=660 CPUtime=0.09 cores=0-7
/proc/14797/task/14813/stat : 14813 (java) S 14774 14774 11952 0 -1 1077944384 290 0 0 0 9 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790152632816 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14814] ppid=14774 vsize=8414124 memory=1556 CPUtime=0.23 cores=0-7
/proc/14797/task/14814/stat : 14814 (java) S 14774 14774 11952 0 -1 1077944384 712 0 0 0 23 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790151580272 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14815] ppid=14774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14797/task/14815/stat : 14815 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419695402 8616062976 29729 33554432000 4194304 4196468 140720636545792 139788233468384 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14816] ppid=14774 vsize=8414124 memory=118916 CPUtime=0.11 cores=0-7
/proc/14797/task/14816/stat : 14816 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 6 5 0 0 20 0 24 0 419695402 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790150527664 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14818] ppid=14774 vsize=8414124 memory=683424 CPUtime=0 cores=0-7
/proc/14797/task/14818/stat : 14818 (java) S 14774 14774 11952 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790142493632 139790928187161 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14820] ppid=14774 vsize=8414124 memory=118916 CPUtime=0 cores=0-7
/proc/14797/task/14820/stat : 14820 (java) S 14774 14774 11952 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787562369040 139790928184477 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14821] ppid=14774 vsize=8414124 memory=683496 CPUtime=0 cores=0-7
/proc/14797/task/14821/stat : 14821 (java) S 14774 14774 11952 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787830804624 139790928184477 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14829] ppid=14774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14797/task/14829/stat : 14829 (java) S 14774 14774 11952 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419695480 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787293941168 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
Current children cumulated CPU time: 1000.38 s
Current children cumulated vsize: 9360796 KiB
Current children cumulated memory: 803888 KiB

[startup+171.601 s]
/proc/loadavg: 4.70 5.21 5.19 3/218 14841
/proc/meminfo: memFree=27461680/32770688 swapFree=66919992/67108860
[pid=14774] ppid=14771 vsize=113128 memory=1476 CPUtime=13.34 cores=0-7
/proc/14774/stat : 14774 (scop.sh) S 14771 14774 11952 0 -1 4202496 583 32043 0 0 0 0 1304 30 20 0 1 0 419694906 115843072 369 33554432000 4194304 5098028 140730893459136 140730893455880 140708762260092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25665536 140730893464356 140730893464684 140730893464684 140730893467597 0
/proc/14774/statm: 28282 369 311 221 0 87 0
[pid=14797] ppid=14774 vsize=8414124 memory=118916 CPUtime=1.47 cores=0-7
/proc/14797/stat : 14797 (java) S 14774 14774 11952 0 -1 1077944320 19814 0 0 0 137 10 0 0 20 0 24 0 419695395 8616062976 29729 33554432000 4194304 4196468 140720636545792 140720636528336 139790928162551 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
/proc/14797/statm: 2103531 29729 3197 1 0 2064875 0
[pid=14817] ppid=14797 vsize=833544 memory=683496 CPUtime=985.97 cores=0-7
/proc/14817/stat : 14817 (manyglucose-4.1) S 14797 14774 11952 0 -1 1077944320 1164218 0 0 0 98399 198 0 0 20 0 2 0 419695477 853549056 170874 33554432000 4194304 4454172 140722074181472 140722074179856 140617863347959 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 8204288 140722074182505 140722074182704 140722074182704 140722074185658 0
/proc/14817/statm: 208386 170874 419 64 0 204054 0
[pid=14817/tid=14825] ppid=14797 vsize=833544 memory=1444 CPUtime=163.88 cores=0-7
/proc/14817/task/14825/stat : 14825 (manyglucose-4.1) R 14797 14774 11952 0 -1 4202560 149409 0 0 0 16365 23 0 0 20 0 2 0 419695480 853549056 170874 33554432000 4194304 4454172 140722074181472 140617822952584 4351289 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 8204288 140722074182505 140722074182704 140722074182704 140722074185658 0
[pid=14797/tid=14798] ppid=14774 vsize=8414124 memory=1764 CPUtime=0.86 cores=0-7
/proc/14797/task/14798/stat : 14798 (java) S 14774 14774 11952 0 -1 1077944384 16482 0 0 0 80 6 0 0 20 0 24 0 419695395 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790900002720 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14799] ppid=14774 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/14797/task/14799/stat : 14799 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790932404752 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14800] ppid=14774 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/14797/task/14800/stat : 14800 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790732573328 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14801] ppid=14774 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/14797/task/14801/stat : 14801 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790731520272 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14802] ppid=14774 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/14797/task/14802/stat : 14802 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790730467728 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14803] ppid=14774 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/14797/task/14803/stat : 14803 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790729415696 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14804] ppid=14774 vsize=8414124 memory=660 CPUtime=0 cores=0-7
/proc/14797/task/14804/stat : 14804 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790728363152 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14805] ppid=14774 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/14797/task/14805/stat : 14805 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790727310096 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14806] ppid=14774 vsize=8414124 memory=9588 CPUtime=0 cores=0-7
/proc/14797/task/14806/stat : 14806 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790726257552 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14807] ppid=14774 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/14797/task/14807/stat : 14807 (java) S 14774 14774 11952 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419695398 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790155790576 139790928173698 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14808] ppid=14774 vsize=8414124 memory=5980 CPUtime=0 cores=0-7
/proc/14797/task/14808/stat : 14808 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419695398 8616062976 29729 33554432000 4194304 4196468 140720636545792 139789240100000 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14809] ppid=14774 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/14797/task/14809/stat : 14809 (java) S 14774 14774 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419695399 8616062976 29729 33554432000 4194304 4196468 140720636545792 139789105877744 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14810] ppid=14774 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/14797/task/14810/stat : 14810 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139788731373520 139790928181147 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14811] ppid=14774 vsize=8414124 memory=2828 CPUtime=0.04 cores=0-7
/proc/14797/task/14811/stat : 14811 (java) S 14774 14774 11952 0 -1 1077944384 593 0 0 0 4 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790154738416 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14812] ppid=14774 vsize=8414124 memory=1176 CPUtime=0.07 cores=0-7
/proc/14797/task/14812/stat : 14812 (java) S 14774 14774 11952 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790153685872 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14813] ppid=14774 vsize=8414124 memory=980 CPUtime=0.09 cores=0-7
/proc/14797/task/14813/stat : 14813 (java) S 14774 14774 11952 0 -1 1077944384 290 0 0 0 9 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790152632816 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14814] ppid=14774 vsize=8414124 memory=14008 CPUtime=0.23 cores=0-7
/proc/14797/task/14814/stat : 14814 (java) S 14774 14774 11952 0 -1 1077944384 712 0 0 0 23 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790151580272 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14815] ppid=14774 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/14797/task/14815/stat : 14815 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419695402 8616062976 29729 33554432000 4194304 4196468 140720636545792 139788233468384 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14816] ppid=14774 vsize=8414124 memory=25824 CPUtime=0.11 cores=0-7
/proc/14797/task/14816/stat : 14816 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 6 5 0 0 20 0 24 0 419695402 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790150527664 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14818] ppid=14774 vsize=8414124 memory=3708 CPUtime=0 cores=0-7
/proc/14797/task/14818/stat : 14818 (java) S 14774 14774 11952 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790142493632 139790928187161 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14820] ppid=14774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14797/task/14820/stat : 14820 (java) S 14774 14774 11952 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787562369040 139790928184477 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14821] ppid=14774 vsize=8414124 memory=118916 CPUtime=0 cores=0-7
/proc/14797/task/14821/stat : 14821 (java) S 14774 14774 11952 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787830804624 139790928184477 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14829] ppid=14774 vsize=8414124 memory=679324 CPUtime=0 cores=0-7
/proc/14797/task/14829/stat : 14829 (java) S 14774 14774 11952 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419695480 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787293941168 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
Current children cumulated CPU time: 1000.78 s
Current children cumulated vsize: 9360796 KiB
Current children cumulated memory: 803888 KiB

[startup+172.001 s]*
/proc/loadavg: 4.70 5.21 5.19 2/217 14841
/proc/meminfo: memFree=27461828/32770688 swapFree=66919992/67108860
[pid=14774] ppid=14771 vsize=113128 memory=1476 CPUtime=13.34 cores=0-7
/proc/14774/stat : 14774 (scop.sh) S 14771 14774 11952 0 -1 4202496 583 32043 0 0 0 0 1304 30 20 0 1 0 419694906 115843072 369 33554432000 4194304 5098028 140730893459136 140730893455880 140708762260092 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25665536 140730893464356 140730893464684 140730893464684 140730893467597 0
/proc/14774/statm: 28282 369 311 221 0 87 0
[pid=14797] ppid=14774 vsize=8414124 memory=118916 CPUtime=1.47 cores=0-7
/proc/14797/stat : 14797 (java) S 14774 14774 11952 0 -1 1077944320 19814 0 0 0 137 10 0 0 20 0 24 0 419695395 8616062976 29729 33554432000 4194304 4196468 140720636545792 140720636528336 139790928162551 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
/proc/14797/statm: 2103531 29729 3197 1 0 2064875 0
[pid=14817] ppid=14797 vsize=833544 memory=683496 CPUtime=986.38 cores=0-7
/proc/14817/stat : 14817 (manyglucose-4.1) S 14797 14774 11952 0 -1 1077944320 1165015 0 0 0 98440 198 0 0 20 0 2 0 419695477 853549056 170874 33554432000 4194304 4454172 140722074181472 140722074179856 140617863347959 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 8204288 140722074182505 140722074182704 140722074182704 140722074185658 0
/proc/14817/statm: 208386 170874 419 64 0 204054 0
[pid=14817/tid=14825] ppid=14797 vsize=833544 memory=1176 CPUtime=164.29 cores=0-7
/proc/14817/task/14825/stat : 14825 (manyglucose-4.1) R 14797 14774 11952 0 -1 4202560 150206 0 0 0 16406 23 0 0 20 0 2 0 419695480 853549056 170874 33554432000 4194304 4454172 140722074181472 140617822952584 4333329 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 8204288 140722074182505 140722074182704 140722074182704 140722074185658 0
[pid=14797/tid=14798] ppid=14774 vsize=8414124 memory=1398722017469774279 CPUtime=0.86 cores=0-7
/proc/14797/task/14798/stat : 14798 (java) S 14774 14774 11952 0 -1 1077944384 16482 0 0 0 80 6 0 0 20 0 24 0 419695395 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790900002720 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14799] ppid=14774 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14797/task/14799/stat : 14799 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790932404752 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14800] ppid=14774 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/14797/task/14800/stat : 14800 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790732573328 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14801] ppid=14774 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/14797/task/14801/stat : 14801 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790731520272 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14802] ppid=14774 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/14797/task/14802/stat : 14802 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790730467728 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14803] ppid=14774 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/14797/task/14803/stat : 14803 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790729415696 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14804] ppid=14774 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/14797/task/14804/stat : 14804 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790728363152 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14805] ppid=14774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/14797/task/14805/stat : 14805 (java) S 14774 14774 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790727310096 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14806] ppid=14774 vsize=8414124 memory=550860 CPUtime=0 cores=0-7
/proc/14797/task/14806/stat : 14806 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419695396 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790726257552 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14807] ppid=14774 vsize=8414124 memory=48000 CPUtime=0 cores=0-7
/proc/14797/task/14807/stat : 14807 (java) S 14774 14774 11952 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419695398 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790155790576 139790928173698 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14808] ppid=14774 vsize=8414124 memory=4736 CPUtime=0 cores=0-7
/proc/14797/task/14808/stat : 14808 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419695398 8616062976 29729 33554432000 4194304 4196468 140720636545792 139789240100000 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14809] ppid=14774 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/14797/task/14809/stat : 14809 (java) S 14774 14774 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419695399 8616062976 29729 33554432000 4194304 4196468 140720636545792 139789105877744 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14810] ppid=14774 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/14797/task/14810/stat : 14810 (java) S 14774 14774 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139788731373520 139790928181147 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14811] ppid=14774 vsize=8414124 memory=3632 CPUtime=0.04 cores=0-7
/proc/14797/task/14811/stat : 14811 (java) S 14774 14774 11952 0 -1 1077944384 593 0 0 0 4 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790154738416 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14812] ppid=14774 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/14797/task/14812/stat : 14812 (java) S 14774 14774 11952 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790153685872 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14813] ppid=14774 vsize=8414124 memory=118916 CPUtime=0.09 cores=0-7
/proc/14797/task/14813/stat : 14813 (java) S 14774 14774 11952 0 -1 1077944384 290 0 0 0 9 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790152632816 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14814] ppid=14774 vsize=8414124 memory=683496 CPUtime=0.23 cores=0-7
/proc/14797/task/14814/stat : 14814 (java) S 14774 14774 11952 0 -1 1077944384 712 0 0 0 23 0 0 0 20 0 24 0 419695401 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790151580272 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14815] ppid=14774 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/14797/task/14815/stat : 14815 (java) S 14774 14774 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419695402 8616062976 29729 33554432000 4194304 4196468 140720636545792 139788233468384 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14816] ppid=14774 vsize=8414124 memory=1398722017469774279 CPUtime=0.11 cores=0-7
/proc/14797/task/14816/stat : 14816 (java) S 14774 14774 11952 0 -1 1077944384 13 0 0 0 6 5 0 0 20 0 24 0 419695402 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790150527664 139790928173698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14818] ppid=14774 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14797/task/14818/stat : 14818 (java) S 14774 14774 11952 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139790142493632 139790928187161 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14820] ppid=14774 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/14797/task/14820/stat : 14820 (java) S 14774 14774 11952 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787562369040 139790928184477 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14821] ppid=14774 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/14797/task/14821/stat : 14821 (java) S 14774 14774 11952 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419695478 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787830804624 139790928184477 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
[pid=14797/tid=14829] ppid=14774 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/14797/task/14829/stat : 14829 (java) S 14774 14774 11952 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419695480 8616062976 29729 33554432000 4194304 4196468 140720636545792 139787293941168 139790928172757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140720636548087 140720636548246 140720636548246 140720636551119 0
Current children cumulated CPU time: 1001.19 s
Current children cumulated vsize: 9360796 KiB
Current children cumulated memory: 803888 KiB

Child status: 0
Real time (s): 172.062
CPU time (s): 1001.34
CPU user time (s): 998.895
CPU system time (s): 2.44059
CPU usage (%): 581.961
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1055084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 998.895
system time used= 2.44059
maximum resident set size= 1059128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1217662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22012
involuntary context switches= 9376


# summary of solver processes directly reported to runsolver:
#   pid: 14774
#   total CPU time (s): 1001.34
#   total CPU user time (s): 998.895
#   total CPU system time (s): 2.44059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.79469 second user time and 2.56464 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 13:15:08
IDJOB=4392731
IDBENCH=134589
IDSOLVER=2839
FILE ID=node120/4392731-1568436886
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-07-3_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-4392731-1568436886/watcher-4392731-1568436886 -o /tmp/evaluation-result-4392731-1568436886/solver-4392731-1568436886 -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-4392731-1568436886.xml

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

MD5SUM BENCH= 72c85c51a44e0e8527757e040a083bca
RANDOM SEED=1143497799

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:        28252344 kB
MemAvailable:   31826644 kB
Buffers:          199520 kB
Cached:          3679476 kB
SwapCached:        77548 kB
Active:          1107264 kB
Inactive:        2855724 kB
Active(anon):       5320 kB
Inactive(anon):   128168 kB
Active(file):    1101944 kB
Inactive(file):  2727556 kB
Unevictable:      106944 kB
Mlocked:          106944 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             20756 kB
Writeback:             0 kB
AnonPages:        123400 kB
Mapped:            48848 kB
Shmem:             41008 kB
Slab:             150064 kB
SReclaimable:     121272 kB
SUnreclaim:        28792 kB
KernelStack:        3728 kB
PageTables:         5624 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:     77824 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:18:01