Trace number 4392500

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 1076.85 169.073

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-9_X2.xml
MD5SUMa7efa7459c7ca72744d0a792626ba479
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 benchmark170.678
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-26847-serial-file.bin HOME/instance-4392500-1568436549.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 06:48:30 CEST 2019
0.65/0.57	c PID: 26850
0.65/0.57	c IP: 172.20.3.119
0.65/0.57	c HOST: node119.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.07/1.13	c (0,0) Parsing End
2.07/1.14	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.07/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.14	c (0,0) Constraint Name Generate Begin
2.07/1.15	c (0,0) Ctr:HOME/instance-4392500-1568436549.xml,ExtensionConflict:ExtensionSupport:Var
2.07/1.15	c (0,0) Constraint Name Generate End
2.07/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.15	c (0,0) CSP to CSPinCNF Begin
3.17/1.65	c (1,1) translated 127 (10%) constraints
3.56/1.76	c (1,1) translated 253 (20%) constraints
3.97/1.83	c (1,1) translated 379 (30%) constraints
4.40/1.90	c (1,1) translated 505 (40%) constraints
4.40/1.96	c (1,1) translated 631 (50%) constraints
4.84/2.01	c (1,1) translated 757 (60%) constraints
5.23/2.14	c (1,1) translated 883 (70%) constraints
5.92/2.38	c (1,1) translated 1009 (80%) constraints
6.29/2.60	c (2,2) translated 1135 (90%) constraints
7.02/2.91	c (2,2) translated 1261 (100%) constraints
7.02/2.91	c (2,2) ===========================================
7.02/2.91	c (2,2) Order
7.02/2.91	c (2,2) ===========================================
7.02/2.98	c (2,2) translated 1883 (10%) constraints
7.44/3.03	c (2,2) translated 3765 (20%) constraints
7.44/3.08	c (2,2) translated 5647 (30%) constraints
7.82/3.13	c (2,2) translated 7529 (40%) constraints
7.82/3.18	c (2,2) translated 9411 (50%) constraints
8.19/3.23	c (2,2) translated 11294 (60%) constraints
8.19/3.28	c (2,2) translated 13176 (70%) constraints
8.57/3.32	c (2,2) translated 15058 (80%) constraints
8.57/3.35	c (2,2) translated 16940 (90%) constraints
8.57/3.39	c (2,2) translated 18822 (100%) constraints
8.57/3.39	c (2,2) CSP to CSPinCNF End
8.57/3.39	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.57/3.39	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.57/3.39	c (2,2) CSPinCNF Propagation Begin
10.02/3.75	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.02/3.75	c (3,3) CSPinCNF Propagation End
10.02/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.02/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.02/3.76	c (3,3) Simplify CSPinCNF Begin
10.30/3.82	c (3,3) Simplify CSPinCNF End
10.30/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.30/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.30/3.82	c (3,3) Calculate Precise Domain Begin
10.30/3.82	c (3,3) 0 values are removed by re-calculation
10.30/3.82	c (3,3) Calculate Precise Domain End
10.30/3.82	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.30/3.82	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.30/3.82	c (3,3) CSPinCNF to SatSolver Begin
10.60/3.97	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.94/4.03	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.94/4.08	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.34/4.13	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.34/4.16	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.34/4.19	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.68/4.21	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.68/4.23	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.68/4.24	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.68/4.25	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.68/4.25	c (3,3) CSPinCNF to SatSolver End
11.68/4.25	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.68/4.25	c (3,3) 2482 bool, 15697 clause
11.68/4.25	c (3,3) Export Begin
11.88/4.36	c (3,3) Export to HOME/scop-26847-serial-file.bin
11.88/4.36	c (3,3) Export End
11.88/4.36	c (3,3) Export File Size: 0.02 MB
11.88/4.36	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.88/4.36	c END-Prog: Sat Sep 14 06:48:34 CEST 2019
11.88/4.39	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-26847-serial-file.bin
12.04/4.85	c (0,0) Read Serial File Begin
12.04/4.85	c (0,0) HOME/scop-26847-serial-file.bin
12.85/5.07	c (0,0) Read Serial File End
12.85/5.08	
12.85/5.08	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.85/5.08	(Solving Process)
12.85/5.08	
12.85/5.10	c BEGIN-Prog: Sat Sep 14 06:48:34 CEST 2019
12.85/5.10	c PID: 26870
12.85/5.10	c IP: 172.20.3.119
12.85/5.10	c HOST: node119.alineos.net
13.03/5.11	c (0,0) SatSolver.solve Begin
13.03/5.11	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392500-1568436549.xml-scop-26850.cnf
13.03/5.14	c (0,0) c
13.03/5.14	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
13.03/5.14	c (0,0) c
13.03/5.14	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.03/5.14	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.03/5.14	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.03/5.14	c (0,0) c |                                                                                                       |
13.03/5.14	c (0,0) c |  Number of variables:          2480                                                                   |
13.03/5.14	c (0,0) c |  Number of clauses:           15697                                                                   |
13.03/5.14	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.03/5.14	c (0,0) c |                                                                                                       |
13.03/5.14	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.03/5.15	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.03/5.15	c (0,0) c |                                                                                                       |
13.03/5.15	c (0,0) c |  Generating clones                                                                                    |
13.03/5.15	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.03/5.15	c (0,0) c ========================================================================================================|
13.03/5.15	c (0,0) c
13.03/5.15	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.03/5.15	c (0,0) c
13.03/5.15	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.03/5.15	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.03/5.15	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.03/5.15	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.03/5.15	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.03/5.15	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.03/5.15	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.03/5.15	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.03/5.15	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.03/5.15	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.03/5.15	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.03/5.15	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.03/5.15	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.03/5.15	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.03/5.15	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.03/5.15	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.03/5.15	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.03/5.15	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.03/5.15	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
215.41/35.13	c (30,0) c
215.41/35.13	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
215.41/35.13	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
215.41/35.13	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
215.41/35.13	c (30,0) c |  0 |    332 |     517048 |     284468 |     9285 |    53088 |    44600 |   265152 |    13618 |      283 |  20 |  0.847 |
215.41/35.13	c (30,0) c |  1 |    463 |     490240 |     271781 |     9387 |    40389 |    40180 |   277857 |     9385 |      286 |  20 |  0.847 |
215.41/35.13	c (30,0) c |  2 |    372 |     488299 |     271798 |     8959 |    40412 |    39370 |   279469 |    12572 |      291 |  20 |  0.847 |
215.41/35.13	c (30,0) c |  3 |    540 |     547800 |     295634 |     9410 |    64247 |    42396 |   271879 |    15131 |      290 |  20 |  0.847 |
215.41/35.13	c (30,0) c |  4 |    347 |     511460 |     276178 |     9053 |    44790 |    42681 |   276349 |    11417 |      290 |  20 |  0.847 |
215.41/35.13	c (30,0) c |  5 |    472 |     510329 |     280956 |     9465 |    49564 |    39190 |   280425 |    16818 |      291 |  20 |  0.847 |
215.41/35.13	c (30,0) c |  6 |    371 |     517087 |     285087 |     9343 |    53710 |    39575 |   270653 |    10674 |      290 |  20 |  0.847 |
215.41/35.13	c (30,0) c |  7 |    338 |     503256 |     269985 |     9215 |    38608 |    43268 |   265500 |    11129 |      271 |  20 |  0.847 |
215.41/35.13	c (30,0) c 
215.41/35.13	c (30,0) c synthesis     2235887 conflicts   166505415 propagations    11072 conflicts/sec   824562 propagations/sec
215.41/35.13	c (30,0) c real: 30.0013 s, cpu: 201.932 s, memory: 628.77 Mb
412.17/64.13	c (59,0) c
412.17/64.13	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
412.17/64.13	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
412.17/64.13	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
412.17/64.13	c (59,0) c |  0 |    506 |     799858 |     434162 |     9377 |    43974 |    60014 |   392049 |    25976 |      528 |  20 |  0.847 |
412.17/64.13	c (59,0) c |  1 |    554 |     783634 |     427553 |     9503 |    80969 |    60806 |   392926 |    21581 |      533 |  20 |  0.847 |
412.17/64.13	c (59,0) c |  2 |    461 |     753966 |     415547 |     9247 |    68958 |    54098 |   397184 |    21844 |      548 |  20 |  0.847 |
412.17/64.13	c (59,0) c |  3 |    644 |     854516 |     454186 |     9436 |    63994 |    60797 |   379539 |    23963 |      548 |  20 |  0.848 |
412.17/64.13	c (59,0) c |  4 |    435 |     840764 |     446128 |     9348 |    55941 |    60661 |   387721 |    23375 |      548 |  20 |  0.848 |
412.17/64.13	c (59,0) c |  5 |    690 |     826138 |     444556 |     9518 |    54375 |    56996 |   400398 |    28818 |      548 |  20 |  0.848 |
412.17/64.13	c (59,0) c |  6 |    421 |     797982 |     432407 |     9355 |    85820 |    54259 |   405144 |    16358 |      548 |  20 |  0.847 |
412.17/64.13	c (59,0) c |  7 |    492 |     844348 |     447579 |     9410 |    57394 |    57507 |   401382 |    23390 |      548 |  20 |  0.848 |
412.17/64.13	c (59,0) c 
412.17/64.13	c (59,0) c synthesis     3502118 conflicts   259257592 propagations     8791 conflicts/sec   650799 propagations/sec
412.17/64.13	c (59,0) c real: 59.0011 s, cpu: 398.368 s, memory: 695.36 Mb
591.16/93.13	c (88,0) c
591.16/93.13	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
591.16/93.13	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
591.16/93.13	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
591.16/93.13	c (88,0) c |  0 |    619 |    1048662 |     560472 |     9399 |    75285 |    71628 |   463969 |    33973 |      752 |  20 |  0.847 |
591.16/93.13	c (88,0) c |  1 |    631 |    1041103 |     558767 |     9535 |    73589 |    72121 |   467954 |    31282 |      767 |  20 |  0.847 |
591.16/93.13	c (88,0) c |  2 |    516 |     992682 |     540244 |     9375 |    55060 |    64875 |   481488 |    31275 |      772 |  20 |  0.847 |
591.16/93.13	c (88,0) c |  3 |    710 |    1088988 |     574610 |     9450 |    89425 |    73206 |   470777 |    32135 |      772 |  20 |  0.848 |
591.16/93.13	c (88,0) c |  4 |    540 |    1076476 |     565713 |     9363 |    80524 |    71005 |   475403 |    32966 |      772 |  20 |  0.847 |
591.16/93.13	c (88,0) c |  5 |    738 |    1051165 |     563780 |     9531 |    78597 |    66372 |   479992 |    36149 |      772 |  20 |  0.847 |
591.16/93.13	c (88,0) c |  6 |    483 |    1022666 |     548809 |     9452 |    63626 |    63570 |   478251 |    24949 |      772 |  20 |  0.847 |
591.16/93.13	c (88,0) c |  7 |    558 |    1078348 |     569034 |     9445 |    83845 |    68751 |   469156 |    32252 |      772 |  20 |  0.847 |
591.16/93.13	c (88,0) c 
591.16/93.13	c (88,0) c synthesis     4481430 conflicts   330807349 propagations     7764 conflicts/sec   573092 propagations/sec
591.16/93.13	c (88,0) c real: 88.0011 s, cpu: 577.232 s, memory: 695.36 Mb
776.48/122.14	c (117,0) c
776.48/122.14	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
776.48/122.14	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
776.48/122.14	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
776.48/122.14	c (117,0) c |  0 |    649 |    1249267 |     666498 |     9403 |    75909 |    81693 |   541497 |    40681 |      983 |  20 |  0.847 |
776.48/122.14	c (117,0) c |  1 |    687 |    1253384 |     667683 |     9548 |    77100 |    82860 |   541600 |    39297 |      994 |  20 |  0.848 |
776.48/122.14	c (117,0) c |  2 |    551 |    1202796 |     647312 |     9399 |    56727 |    75472 |   554630 |    39001 |     1003 |  20 |  0.847 |
776.48/122.14	c (117,0) c |  3 |    754 |    1303552 |     681031 |     9458 |    90446 |    80946 |   547645 |    41758 |     1003 |  20 |  0.847 |
776.48/122.14	c (117,0) c |  4 |    600 |    1288359 |     675509 |     9373 |    84922 |    81615 |   538031 |    41033 |     1003 |  20 |  0.848 |
776.48/122.14	c (117,0) c |  5 |    748 |    1257267 |     671442 |     9537 |    80851 |    80051 |   547939 |    42296 |     1003 |  20 |  0.848 |
776.48/122.14	c (117,0) c |  6 |    540 |    1242485 |     661375 |     9491 |    70784 |    72908 |   556013 |    35152 |     1003 |  20 |  0.847 |
776.48/122.14	c (117,0) c |  7 |    615 |    1299632 |     680895 |     9458 |    90311 |    78768 |   551046 |    41305 |     1003 |  20 |  0.847 |
776.48/122.14	c (117,0) c 
776.48/122.14	c (117,0) c synthesis     5351745 conflicts   394885277 propagations     7019 conflicts/sec   517889 propagations/sec
776.48/122.14	c (117,0) c real: 117.01 s, cpu: 762.49 s, memory: 725.09 Mb
971.46/152.13	c (147,0) c
971.46/152.13	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
971.46/152.13	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
971.46/152.13	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
971.46/152.13	c (147,0) c |  0 |    684 |    1430343 |     757797 |     9409 |   110606 |    89806 |   590351 |    48145 |     1199 |  20 |  0.848 |
971.46/152.13	c (147,0) c |  1 |    728 |    1437030 |     760550 |     9561 |   113364 |    90787 |   597123 |    47325 |     1217 |  20 |  0.847 |
971.46/152.13	c (147,0) c |  2 |    610 |    1391570 |     742705 |     9416 |    95521 |    83981 |   603414 |    48212 |     1219 |  20 |  0.847 |
971.46/152.13	c (147,0) c |  3 |    801 |    1476662 |     769447 |     9465 |    63059 |    88851 |   599993 |    49275 |     1219 |  20 |  0.847 |
971.46/152.13	c (147,0) c |  4 |    665 |    1471292 |     765191 |     9385 |   118000 |    86938 |   603191 |    49065 |     1219 |  20 |  0.847 |
971.46/152.13	c (147,0) c |  5 |    807 |    1433330 |     758536 |     9548 |   111354 |    84230 |   605131 |    52024 |     1219 |  20 |  0.848 |
971.46/152.13	c (147,0) c |  6 |    597 |    1430310 |     754072 |     9508 |   106884 |    81226 |   603650 |    41761 |     1219 |  20 |  0.847 |
971.46/152.13	c (147,0) c |  7 |    672 |    1476284 |     769447 |     9471 |    63063 |    88106 |   599232 |    49439 |     1219 |  20 |  0.848 |
971.46/152.13	c (147,0) c 
971.46/152.13	c (147,0) c synthesis     6077745 conflicts   449697301 propagations     6349 conflicts/sec   469779 propagations/sec
971.46/152.13	c (147,0) c real: 147.001 s, cpu: 957.253 s, memory: 850.47 Mb
1076.72/169.03	c (164,0) c
1076.72/169.03	c (164,0) c real time : 163.9 s
1076.72/169.03	c (164,0) c cpu time  : 1062.3 s
1076.72/169.03	c (164,0) c
1076.72/169.03	c (164,0) c
1076.72/169.03	c (164,0) c
1076.72/169.03	c (164,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1076.72/169.03	c (164,0) c
1076.72/169.03	c (164,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.03	c (164,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1076.72/169.03	c (164,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.03	c (164,0) c | Conflicts     |         6445717 |     809147 |     807884 |     785806 |     812532 |     810537 |     803232 |     802028 |     814551 |
1076.72/169.03	c (164,0) c | Decisions     |        12283191 |    1532288 |    1532156 |    1479464 |    1560585 |    1561729 |    1520117 |    1527183 |    1569669 |
1076.72/169.03	c (164,0) c | Propagations  |       478557978 |   59624925 |   60153726 |   58838977 |   59817030 |   60146026 |   59395698 |   59824506 |   60757090 |
1076.72/169.03	c (164,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1076.72/169.03	c (164,0) c | SimpDBs       |              80 |          9 |         12 |          7 |         10 |         10 |         11 |         11 |         10 |
1076.72/169.03	c (164,0) c | Restarts      |            5687 |        705 |        745 |        617 |        813 |        689 |        821 |        607 |        690 |
1076.72/169.03	c (164,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1076.72/169.03	c (164,0) c | PropBinClauses|      1067166760 |  132515229 |  133084803 |  133273223 |  131982232 |  134266780 |  131965749 |  134536380 |  135542364 |
1076.72/169.03	c (164,0) c | PropPreBlocker|     35961279180 | 4550116709 | 4470500413 | 4450688103 | 4518674369 | 4493885201 | 4485177161 | 4476428604 | 4515808620 |
1076.72/169.03	c (164,0) c | PropNotBlocker|      5988264751 |  744338802 |  754372898 |  753921096 |  746933700 |  748493550 |  749166986 |  747182125 |  743855594 |
1076.72/169.03	c (164,0) c | LitFullScans  |     64203850351 | 8023195430 | 8023135801 | 8030044343 | 8023313994 | 8023279208 | 8029376672 | 8028337531 | 8023167372 |
1076.72/169.03	c (164,0) c | LitScanFracts |        10771049 |    1183655 |    1128370 |    2033697 |    1305250 |    1272086 |    1370071 |    1331637 |    1146283 |
1076.72/169.03	c (164,0) c | DecisionLevel0|            5787 |        718 |        759 |        628 |        826 |        702 |        831 |        622 |        701 |
1076.72/169.03	c (164,0) c | Periods       |           10698 |       1337 |       1337 |       1338 |       1337 |       1337 |       1338 |       1337 |       1337 |
1076.72/169.03	c (164,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1076.72/169.03	c (164,0) c | Avg_Trail     |                 |        633 |        632 |        620 |        637 |        630 |        630 |        636 |        633 |
1076.72/169.03	c (164,0) c | Avg_DL        |                 |         22 |         21 |         21 |         23 |         21 |         21 |         22 |         21 |
1076.72/169.03	c (164,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1076.72/169.03	c (164,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1076.72/169.03	c (164,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.03	c (164,0) c | Exported      |          729930 |      93761 |      95017 |      88458 |      93772 |      90426 |      89560 |      87082 |      91854 |
1076.72/169.03	c (164,0) c | Imported      |         5048522 |     627404 |     629317 |     629100 |     627919 |     630448 |     635340 |     638066 |     630928 |
1076.72/169.03	c (164,0) c | Good          |           14901 |       1849 |       1867 |       1853 |       1849 |       1839 |       1884 |       1895 |       1865 |
1076.72/169.03	c (164,0) c | Purge         |         5033621 |     625555 |     627450 |     627247 |     626070 |     628609 |     633456 |     636171 |     629063 |
1076.72/169.03	c (164,0) c | Promoted      |          418089 |      52521 |      51456 |      52289 |      53261 |      52981 |      56211 |      45466 |      53904 |
1076.72/169.03	c (164,0) c | Remove_Imp    |         3890015 |     482391 |     478544 |     498497 |     478668 |     484708 |     489348 |     497120 |     480739 |
1076.72/169.03	c (164,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1076.72/169.03	c (164,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.03	c (164,0) c | Unaries       |                 |         13 |         14 |         11 |         13 |         13 |         10 |         15 |         11 |
1076.72/169.03	c (164,0) c | Binaries      |                 |        272 |        291 |        251 |        277 |        280 |        273 |        276 |        276 |
1076.72/169.03	c (164,0) c | Glues         |                 |        987 |       1064 |       1021 |       1055 |        984 |       1023 |       1001 |        982 |
1076.72/169.03	c (164,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.03	c (164,0) c | Orig_Seen     |            87 % |       9415 |       9565 |       9423 |       9470 |       9393 |       9554 |       9515 |       9481 |
1076.72/169.03	c (164,0) c | Diff Orig seen|                 | -      100 |         50 | -       92 | -       45 | -      122 |         39 |      X     | -       34 |
1076.72/169.03	c (164,0) c | Hamming       |            11 % |        305 |        302 |        310 |        254 |        256 |        254 |      X     |        233 |
1076.72/169.03	c (164,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.03	c (164,0) c | RunningTime   |                 |  160.4  98%|  158.7  97%|  121.0  75%|  127.9  79%|  139.3  86%|  106.1  66%|  107.8  67%|  141.4  87%|
1076.72/169.03	c (164,0) c | WaitingTime   |                 |    3.0   2%|    4.2   3%|   40.5  25%|   33.6  21%|   22.9  14%|   55.4  34%|   53.7  33%|   20.1  12%|
1076.72/169.03	c (164,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.3   0%|
1076.72/169.03	c (164,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%|
1076.72/169.03	c (164,0) c | SolvingTime   |                 |  163.8     |  163.2     |  161.9     |  161.9     |  162.6     |  161.9     |  161.8     |  161.8     |
1076.72/169.03	c (164,0) c | PropagationTim|                 |  102.8  63%|  101.7  62%|  130.7  81%|  117.1  72%|  122.7  76%|  148.6  92%|  145.2  90%|  118.8  73%|
1076.72/169.03	c (164,0) c | AnalysisTime  |                 |   57.4  35%|   58.1  36%|   27.9  17%|   41.6  26%|   36.2  22%|    9.8   6%|   13.3   8%|   39.3  24%|
1076.72/169.03	c (164,0) c | ReductionTime |                 |    1.4   1%|    1.3   1%|    1.2   1%|    1.1   1%|    1.4   1%|    1.3   1%|    1.2   1%|    1.4   1%|
1076.72/169.03	c (164,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1076.72/169.03	c (164,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%|
1076.72/169.03	c (164,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%|
1076.72/169.03	c (164,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.03	c (164,0) c
1076.72/169.03	c (164,0) c
1076.72/169.03	c (164,0) c Threads : 8
1076.72/169.03	c (164,0) c Winner : 6
1076.72/169.03	c (164,0) c Conflicts_0 : 809147
1076.72/169.03	c (164,0) c Conflicts_1 : 807884
1076.72/169.03	c (164,0) c Conflicts_2 : 785806
1076.72/169.03	c (164,0) c Conflicts_3 : 812532
1076.72/169.03	c (164,0) c Conflicts_4 : 810537
1076.72/169.03	c (164,0) c Conflicts_5 : 803232
1076.72/169.03	c (164,0) c Conflicts_6 : 802028
1076.72/169.03	c (164,0) c Conflicts_7 : 814551
1076.72/169.03	c (164,0) c Conflicts_total : 6445717
1076.72/169.03	c (164,0) c Conflicts_winner : 802028
1076.72/169.03	c (164,0) c Decisions_0 : 1532288
1076.72/169.03	c (164,0) c Decisions_1 : 1532156
1076.72/169.03	c (164,0) c Decisions_2 : 1479464
1076.72/169.03	c (164,0) c Decisions_3 : 1560585
1076.72/169.03	c (164,0) c Decisions_4 : 1561729
1076.72/169.03	c (164,0) c Decisions_5 : 1520117
1076.72/169.03	c (164,0) c Decisions_6 : 1527183
1076.72/169.03	c (164,0) c Decisions_7 : 1569669
1076.72/169.03	c (164,0) c Decisions_total : 12283191
1076.72/169.03	c (164,0) c Decisions_winner : 1527183
1076.72/169.03	c (164,0) c Propagations_0 : 59624925
1076.72/169.03	c (164,0) c Propagations_1 : 60153726
1076.72/169.03	c (164,0) c Propagations_2 : 58838977
1076.72/169.03	c (164,0) c Propagations_3 : 59817030
1076.72/169.03	c (164,0) c Propagations_4 : 60146026
1076.72/169.03	c (164,0) c Propagations_5 : 59395698
1076.72/169.03	c (164,0) c Propagations_6 : 59824506
1076.72/169.03	c (164,0) c Propagations_7 : 60757090
1076.72/169.04	c (164,0) c Propagations_total : 478557978
1076.72/169.04	c (164,0) c Propagations_winner : 59824506
1076.72/169.04	c (164,0) c ReduceDBs_0 : 24
1076.72/169.04	c (164,0) c ReduceDBs_1 : 24
1076.72/169.04	c (164,0) c ReduceDBs_2 : 24
1076.72/169.04	c (164,0) c ReduceDBs_3 : 24
1076.72/169.04	c (164,0) c ReduceDBs_4 : 24
1076.72/169.04	c (164,0) c ReduceDBs_5 : 24
1076.72/169.04	c (164,0) c ReduceDBs_6 : 24
1076.72/169.04	c (164,0) c ReduceDBs_7 : 24
1076.72/169.04	c (164,0) c ReduceDBs_total : 192
1076.72/169.04	c (164,0) c ReduceDBs_winner : 24
1076.72/169.04	c (164,0) c SimpDBs_0 : 9
1076.72/169.04	c (164,0) c SimpDBs_1 : 12
1076.72/169.04	c (164,0) c SimpDBs_2 : 7
1076.72/169.04	c (164,0) c SimpDBs_3 : 10
1076.72/169.04	c (164,0) c SimpDBs_4 : 10
1076.72/169.04	c (164,0) c SimpDBs_5 : 11
1076.72/169.04	c (164,0) c SimpDBs_6 : 11
1076.72/169.04	c (164,0) c SimpDBs_7 : 10
1076.72/169.04	c (164,0) c SimpDBs_total : 80
1076.72/169.04	c (164,0) c SimpDBs_winner : 11
1076.72/169.04	c (164,0) c Restarts_0 : 705
1076.72/169.04	c (164,0) c Restarts_1 : 745
1076.72/169.04	c (164,0) c Restarts_2 : 617
1076.72/169.04	c (164,0) c Restarts_3 : 813
1076.72/169.04	c (164,0) c Restarts_4 : 689
1076.72/169.04	c (164,0) c Restarts_5 : 821
1076.72/169.04	c (164,0) c Restarts_6 : 607
1076.72/169.04	c (164,0) c Restarts_7 : 690
1076.72/169.04	c (164,0) c Restarts_total : 5687
1076.72/169.04	c (164,0) c Restarts_winner : 607
1076.72/169.04	c (164,0) c ForcedImports_0 : 0
1076.72/169.04	c (164,0) c ForcedImports_1 : 0
1076.72/169.04	c (164,0) c ForcedImports_2 : 0
1076.72/169.04	c (164,0) c ForcedImports_3 : 0
1076.72/169.04	c (164,0) c ForcedImports_4 : 0
1076.72/169.04	c (164,0) c ForcedImports_5 : 0
1076.72/169.04	c (164,0) c ForcedImports_6 : 0
1076.72/169.04	c (164,0) c ForcedImports_7 : 0
1076.72/169.04	c (164,0) c ForcedImports_total : 0
1076.72/169.04	c (164,0) c ForcedImports_winner : 0
1076.72/169.04	c (164,0) c PropsBinClauses_0 : 132515229
1076.72/169.04	c (164,0) c PropsBinClauses_1 : 133084803
1076.72/169.04	c (164,0) c PropsBinClauses_2 : 133273223
1076.72/169.04	c (164,0) c PropsBinClauses_3 : 131982232
1076.72/169.04	c (164,0) c PropsBinClauses_4 : 134266780
1076.72/169.04	c (164,0) c PropsBinClauses_5 : 131965749
1076.72/169.04	c (164,0) c PropsBinClauses_6 : 134536380
1076.72/169.04	c (164,0) c PropsBinClauses_7 : 135542364
1076.72/169.04	c (164,0) c PropsBinClauses_total : 1067166760
1076.72/169.04	c (164,0) c PropsBinClauses_winner : 134536380
1076.72/169.04	c (164,0) c PropsPreBlocker_0 : 4550116709
1076.72/169.04	c (164,0) c PropsPreBlocker_1 : 4470500413
1076.72/169.04	c (164,0) c PropsPreBlocker_2 : 4450688103
1076.72/169.04	c (164,0) c PropsPreBlocker_3 : 4518674369
1076.72/169.04	c (164,0) c PropsPreBlocker_4 : 4493885201
1076.72/169.04	c (164,0) c PropsPreBlocker_5 : 4485177161
1076.72/169.04	c (164,0) c PropsPreBlocker_6 : 4476428604
1076.72/169.04	c (164,0) c PropsPreBlocker_7 : 4515808620
1076.72/169.04	c (164,0) c PropsPreBlocker_total : 35961279180
1076.72/169.04	c (164,0) c PropsPreBlocker_winner : 4476428604
1076.72/169.04	c (164,0) c PropsNotBlocker_0 : 744338802
1076.72/169.04	c (164,0) c PropsNotBlocker_1 : 754372898
1076.72/169.04	c (164,0) c PropsNotBlocker_2 : 753921096
1076.72/169.04	c (164,0) c PropsNotBlocker_3 : 746933700
1076.72/169.04	c (164,0) c PropsNotBlocker_4 : 748493550
1076.72/169.04	c (164,0) c PropsNotBlocker_5 : 749166986
1076.72/169.04	c (164,0) c PropsNotBlocker_6 : 747182125
1076.72/169.04	c (164,0) c PropsNotBlocker_7 : 743855594
1076.72/169.04	c (164,0) c PropsNotBlocker_total : 5988264751
1076.72/169.04	c (164,0) c PropsNotBlocker_winner : 747182125
1076.72/169.04	c (164,0) c PropsLitFullScans_0 : 8023195430
1076.72/169.04	c (164,0) c PropsLitFullScans_1 : 8023135801
1076.72/169.04	c (164,0) c PropsLitFullScans_2 : 8030044343
1076.72/169.04	c (164,0) c PropsLitFullScans_3 : 8023313994
1076.72/169.04	c (164,0) c PropsLitFullScans_4 : 8023279208
1076.72/169.04	c (164,0) c PropsLitFullScans_5 : 8029376672
1076.72/169.04	c (164,0) c PropsLitFullScans_6 : 8028337531
1076.72/169.04	c (164,0) c PropsLitFullScans_7 : 8023167372
1076.72/169.04	c (164,0) c PropsLitFullScans_total : 64203850351
1076.72/169.04	c (164,0) c PropsLitFullScans_winner : 8028337531
1076.72/169.04	c (164,0) c LitScanFractions_0 : 1183655
1076.72/169.04	c (164,0) c LitScanFractions_1 : 1128370
1076.72/169.04	c (164,0) c LitScanFractions_2 : 2033697
1076.72/169.04	c (164,0) c LitScanFractions_3 : 1305250
1076.72/169.04	c (164,0) c LitScanFractions_4 : 1272086
1076.72/169.04	c (164,0) c LitScanFractions_5 : 1370071
1076.72/169.04	c (164,0) c LitScanFractions_6 : 1331637
1076.72/169.04	c (164,0) c LitScanFractions_7 : 1146283
1076.72/169.04	c (164,0) c LitScanFractions_total : 10771049
1076.72/169.04	c (164,0) c LitScanFractions_winner : 1331637
1076.72/169.04	c (164,0) c DecisionLevel0_0 : 718
1076.72/169.04	c (164,0) c DecisionLevel0_1 : 759
1076.72/169.04	c (164,0) c DecisionLevel0_2 : 628
1076.72/169.04	c (164,0) c DecisionLevel0_3 : 826
1076.72/169.04	c (164,0) c DecisionLevel0_4 : 702
1076.72/169.04	c (164,0) c DecisionLevel0_5 : 831
1076.72/169.04	c (164,0) c DecisionLevel0_6 : 622
1076.72/169.04	c (164,0) c DecisionLevel0_7 : 701
1076.72/169.04	c (164,0) c DecisionLevel0_total : 5787
1076.72/169.04	c (164,0) c DecisionLevel0_winner : 622
1076.72/169.04	c (164,0) c Periods_0 : 1337
1076.72/169.04	c (164,0) c Periods_1 : 1337
1076.72/169.04	c (164,0) c Periods_2 : 1338
1076.72/169.04	c (164,0) c Periods_3 : 1337
1076.72/169.04	c (164,0) c Periods_4 : 1337
1076.72/169.04	c (164,0) c Periods_5 : 1338
1076.72/169.04	c (164,0) c Periods_6 : 1337
1076.72/169.04	c (164,0) c Periods_7 : 1337
1076.72/169.04	c (164,0) c Periods_total : 10698
1076.72/169.04	c (164,0) c Periods_winner : 1337
1076.72/169.04	c (164,0) c Margin_0 : 20
1076.72/169.04	c (164,0) c Margin_1 : 20
1076.72/169.04	c (164,0) c Margin_2 : 20
1076.72/169.04	c (164,0) c Margin_3 : 20
1076.72/169.04	c (164,0) c Margin_4 : 20
1076.72/169.04	c (164,0) c Margin_5 : 20
1076.72/169.04	c (164,0) c Margin_6 : 20
1076.72/169.04	c (164,0) c Margin_7 : 20
1076.72/169.04	c (164,0) c Margin_total : 160
1076.72/169.04	c (164,0) c Margin_winner : 20
1076.72/169.04	c (164,0) c Exported_0 : 93761
1076.72/169.04	c (164,0) c Exported_1 : 95017
1076.72/169.04	c (164,0) c Exported_2 : 88458
1076.72/169.04	c (164,0) c Exported_3 : 93772
1076.72/169.04	c (164,0) c Exported_4 : 90426
1076.72/169.04	c (164,0) c Exported_5 : 89560
1076.72/169.04	c (164,0) c Exported_6 : 87082
1076.72/169.04	c (164,0) c Exported_7 : 91854
1076.72/169.04	c (164,0) c Exported_total : 729930
1076.72/169.04	c (164,0) c Exported_winner : 87082
1076.72/169.04	c (164,0) c Imported_0 : 627404
1076.72/169.04	c (164,0) c Imported_1 : 629317
1076.72/169.04	c (164,0) c Imported_2 : 629100
1076.72/169.04	c (164,0) c Imported_3 : 627919
1076.72/169.04	c (164,0) c Imported_4 : 630448
1076.72/169.04	c (164,0) c Imported_5 : 635340
1076.72/169.04	c (164,0) c Imported_6 : 638066
1076.72/169.04	c (164,0) c Imported_7 : 630928
1076.72/169.04	c (164,0) c Imported_total : 5048522
1076.72/169.04	c (164,0) c Imported_winner : 638066
1076.72/169.04	c (164,0) c Good_0 : 1849
1076.72/169.04	c (164,0) c Good_1 : 1867
1076.72/169.04	c (164,0) c Good_2 : 1853
1076.72/169.04	c (164,0) c Good_3 : 1849
1076.72/169.04	c (164,0) c Good_4 : 1839
1076.72/169.04	c (164,0) c Good_5 : 1884
1076.72/169.04	c (164,0) c Good_6 : 1895
1076.72/169.04	c (164,0) c Good_7 : 1865
1076.72/169.04	c (164,0) c Good_total : 14901
1076.72/169.04	c (164,0) c Good_winner : 1895
1076.72/169.04	c (164,0) c Purge_0 : 625555
1076.72/169.04	c (164,0) c Purge_1 : 627450
1076.72/169.04	c (164,0) c Purge_2 : 627247
1076.72/169.04	c (164,0) c Purge_3 : 626070
1076.72/169.04	c (164,0) c Purge_4 : 628609
1076.72/169.04	c (164,0) c Purge_5 : 633456
1076.72/169.04	c (164,0) c Purge_6 : 636171
1076.72/169.04	c (164,0) c Purge_7 : 629063
1076.72/169.04	c (164,0) c Purge_total : 5033621
1076.72/169.04	c (164,0) c Purge_winner : 636171
1076.72/169.04	c (164,0) c Promoted_0 : 52521
1076.72/169.04	c (164,0) c Promoted_1 : 51456
1076.72/169.04	c (164,0) c Promoted_2 : 52289
1076.72/169.04	c (164,0) c Promoted_3 : 53261
1076.72/169.04	c (164,0) c Promoted_4 : 52981
1076.72/169.04	c (164,0) c Promoted_5 : 56211
1076.72/169.04	c (164,0) c Promoted_6 : 45466
1076.72/169.04	c (164,0) c Promoted_7 : 53904
1076.72/169.04	c (164,0) c Promoted_total : 418089
1076.72/169.04	c (164,0) c Promoted_winner : 45466
1076.72/169.04	c (164,0) c Remove_Imp_0 : 482391
1076.72/169.04	c (164,0) c Remove_Imp_1 : 478544
1076.72/169.04	c (164,0) c Remove_Imp_2 : 498497
1076.72/169.04	c (164,0) c Remove_Imp_3 : 478668
1076.72/169.04	c (164,0) c Remove_Imp_4 : 484708
1076.72/169.04	c (164,0) c Remove_Imp_5 : 489348
1076.72/169.04	c (164,0) c Remove_Imp_6 : 497120
1076.72/169.04	c (164,0) c Remove_Imp_7 : 480739
1076.72/169.04	c (164,0) c Remove_Imp_total : 3890015
1076.72/169.04	c (164,0) c Remove_Imp_winner : 497120
1076.72/169.04	c (164,0) c Blocked_Reuse_0 : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_1 : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_2 : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_3 : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_4 : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_5 : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_6 : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_7 : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_total : 0
1076.72/169.04	c (164,0) c Blocked_Reuse_winner : 0
1076.72/169.04	c (164,0) c Unaries_0 : 13
1076.72/169.04	c (164,0) c Unaries_1 : 14
1076.72/169.04	c (164,0) c Unaries_2 : 11
1076.72/169.04	c (164,0) c Unaries_3 : 13
1076.72/169.04	c (164,0) c Unaries_4 : 13
1076.72/169.04	c (164,0) c Unaries_5 : 10
1076.72/169.04	c (164,0) c Unaries_6 : 15
1076.72/169.04	c (164,0) c Unaries_7 : 11
1076.72/169.04	c (164,0) c Unaries_total : 100
1076.72/169.04	c (164,0) c Unaries_winner : 15
1076.72/169.04	c (164,0) c Binaries_0 : 272
1076.72/169.04	c (164,0) c Binaries_1 : 291
1076.72/169.04	c (164,0) c Binaries_2 : 251
1076.72/169.04	c (164,0) c Binaries_3 : 277
1076.72/169.04	c (164,0) c Binaries_4 : 280
1076.72/169.04	c (164,0) c Binaries_5 : 273
1076.72/169.04	c (164,0) c Binaries_6 : 276
1076.72/169.04	c (164,0) c Binaries_7 : 276
1076.72/169.04	c (164,0) c Binaries_total : 2196
1076.72/169.04	c (164,0) c Binaries_winner : 276
1076.72/169.04	c (164,0) c Glues_0 : 987
1076.72/169.04	c (164,0) c Glues_1 : 1064
1076.72/169.04	c (164,0) c Glues_2 : 1021
1076.72/169.04	c (164,0) c Glues_3 : 1055
1076.72/169.04	c (164,0) c Glues_4 : 984
1076.72/169.04	c (164,0) c Glues_5 : 1023
1076.72/169.04	c (164,0) c Glues_6 : 1001
1076.72/169.04	c (164,0) c Glues_7 : 982
1076.72/169.04	c (164,0) c Glues_total : 8117
1076.72/169.04	c (164,0) c Glues_winner : 1001
1076.72/169.04	c (164,0) c RunningTime_0 : 160.421672
1076.72/169.04	c (164,0) c RunningTime_1 : 158.651747
1076.72/169.04	c (164,0) c RunningTime_2 : 121.047728
1076.72/169.04	c (164,0) c RunningTime_3 : 127.906216
1076.72/169.04	c (164,0) c RunningTime_4 : 139.338210
1076.72/169.04	c (164,0) c RunningTime_5 : 106.115208
1076.72/169.04	c (164,0) c RunningTime_6 : 107.758515
1076.72/169.04	c (164,0) c RunningTime_7 : 141.381857
1076.72/169.04	c (164,0) c RunningTime_total : 1062.621153
1076.72/169.04	c (164,0) c RunningTime_winner : 107.758515
1076.72/169.04	c (164,0) c WaitingTime_0 : 3.020177
1076.72/169.04	c (164,0) c WaitingTime_1 : 4.243286
1076.72/169.04	c (164,0) c WaitingTime_2 : 40.486635
1076.72/169.04	c (164,0) c WaitingTime_3 : 33.631017
1076.72/169.04	c (164,0) c WaitingTime_4 : 22.857635
1076.72/169.04	c (164,0) c WaitingTime_5 : 55.385820
1076.72/169.04	c (164,0) c WaitingTime_6 : 53.672880
1076.72/169.04	c (164,0) c WaitingTime_7 : 20.087214
1076.72/169.04	c (164,0) c WaitingTime_total : 233.384664
1076.72/169.04	c (164,0) c WaitingTime_winner : 53.672880
1076.72/169.04	c (164,0) c ExchangingTime_0 : 0.340283
1076.72/169.04	c (164,0) c ExchangingTime_1 : 0.315152
1076.72/169.04	c (164,0) c ExchangingTime_2 : 0.326113
1076.72/169.04	c (164,0) c ExchangingTime_3 : 0.312364
1076.72/169.04	c (164,0) c ExchangingTime_4 : 0.350250
1076.72/169.04	c (164,0) c ExchangingTime_5 : 0.356571
1076.72/169.04	c (164,0) c ExchangingTime_6 : 0.361943
1076.72/169.04	c (164,0) c ExchangingTime_7 : 0.344923
1076.72/169.04	c (164,0) c ExchangingTime_total : 2.707599
1076.72/169.04	c (164,0) c ExchangingTime_winner : 0.361943
1076.72/169.04	c (164,0) c PeriodProcTime_0 : 0.017233
1076.72/169.04	c (164,0) c PeriodProcTime_1 : 0.011785
1076.72/169.04	c (164,0) c PeriodProcTime_2 : 0.011055
1076.72/169.04	c (164,0) c PeriodProcTime_3 : 0.010912
1076.72/169.04	c (164,0) c PeriodProcTime_4 : 0.011245
1076.72/169.04	c (164,0) c PeriodProcTime_5 : 0.011674
1076.72/169.04	c (164,0) c PeriodProcTime_6 : 0.011214
1076.72/169.04	c (164,0) c PeriodProcTime_7 : 0.012994
1076.72/169.04	c (164,0) c PeriodProcTime_total : 0.098112
1076.72/169.04	c (164,0) c PeriodProcTime_winner : 0.011214
1076.72/169.04	c (164,0) c SolvingTime_0 : 163.799366
1076.72/169.04	c (164,0) c SolvingTime_1 : 163.221970
1076.72/169.04	c (164,0) c SolvingTime_2 : 161.871531
1076.72/169.04	c (164,0) c SolvingTime_3 : 161.860509
1076.72/169.04	c (164,0) c SolvingTime_4 : 162.557341
1076.72/169.04	c (164,0) c SolvingTime_5 : 161.869272
1076.72/169.04	c (164,0) c SolvingTime_6 : 161.804552
1076.72/169.04	c (164,0) c SolvingTime_7 : 161.826987
1076.72/169.04	c (164,0) c SolvingTime_total : 1298.811528
1076.72/169.04	c (164,0) c SolvingTime_winner : 161.804552
1076.72/169.04	c (164,0) c PropagationTime_0 : 102.829770
1076.72/169.04	c (164,0) c PropagationTime_1 : 101.733769
1076.72/169.04	c (164,0) c PropagationTime_2 : 130.684259
1076.72/169.04	c (164,0) c PropagationTime_3 : 117.099054
1076.72/169.04	c (164,0) c PropagationTime_4 : 122.741699
1076.72/169.04	c (164,0) c PropagationTime_5 : 148.625803
1076.72/169.04	c (164,0) c PropagationTime_6 : 145.169287
1076.72/169.04	c (164,0) c PropagationTime_7 : 118.840200
1076.72/169.04	c (164,0) c PropagationTime_total : 987.723840
1076.72/169.04	c (164,0) c PropagationTime_winner : 145.169287
1076.72/169.04	c (164,0) c AnalysisTime_0 : 57.442885
1076.72/169.04	c (164,0) c AnalysisTime_1 : 58.067601
1076.72/169.04	c (164,0) c AnalysisTime_2 : 27.914403
1076.72/169.04	c (164,0) c AnalysisTime_3 : 41.620224
1076.72/169.04	c (164,0) c AnalysisTime_4 : 36.221286
1076.72/169.04	c (164,0) c AnalysisTime_5 : 9.830998
1076.72/169.04	c (164,0) c AnalysisTime_6 : 13.255777
1076.72/169.04	c (164,0) c AnalysisTime_7 : 39.336438
1076.72/169.04	c (164,0) c AnalysisTime_total : 283.689612
1076.72/169.04	c (164,0) c AnalysisTime_winner : 13.255777
1076.72/169.04	c (164,0) c ReductionTime_0 : 1.389670
1076.72/169.04	c (164,0) c ReductionTime_1 : 1.324275
1076.72/169.04	c (164,0) c ReductionTime_2 : 1.245227
1076.72/169.04	c (164,0) c ReductionTime_3 : 1.141834
1076.72/169.04	c (164,0) c ReductionTime_4 : 1.449246
1076.72/169.04	c (164,0) c ReductionTime_5 : 1.282223
1076.72/169.04	c (164,0) c ReductionTime_6 : 1.232889
1076.72/169.04	c (164,0) c ReductionTime_7 : 1.351825
1076.72/169.04	c (164,0) c ReductionTime_total : 10.417190
1076.72/169.04	c (164,0) c ReductionTime_winner : 1.232889
1076.72/169.04	c (164,0) c SimplifyTime_0 : 0.022476
1076.72/169.04	c (164,0) c SimplifyTime_1 : 0.028378
1076.72/169.04	c (164,0) c SimplifyTime_2 : 0.066645
1076.72/169.04	c (164,0) c SimplifyTime_3 : 0.027374
1076.72/169.04	c (164,0) c SimplifyTime_4 : 0.024729
1076.72/169.04	c (164,0) c SimplifyTime_5 : 0.077794
1076.72/169.04	c (164,0) c SimplifyTime_6 : 0.051062
1076.72/169.04	c (164,0) c SimplifyTime_7 : 0.136493
1076.72/169.04	c (164,0) c SimplifyTime_total : 0.434953
1076.72/169.04	c (164,0) c SimplifyTime_winner : 0.051062
1076.72/169.04	c (164,0) c UsedRateTime_0 : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_1 : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_2 : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_3 : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_4 : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_5 : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_6 : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_7 : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_total : 0.000000
1076.72/169.04	c (164,0) c UsedRateTime_winner : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_0 : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_1 : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_2 : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_3 : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_4 : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_5 : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_6 : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_7 : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_total : 0.000000
1076.72/169.04	c (164,0) c OverlapRateTime_winner : 0.000000
1076.72/169.04	c (164,0) c
1076.72/169.04	c (164,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1076.72/169.04	c (164,0) c
1076.72/169.04	c (164,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.04	c (164,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1076.72/169.04	c (164,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.04	c (164,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1076.72/169.04	c (164,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1076.72/169.04	c (164,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1076.72/169.04	c (164,0) c | Initial random_seed   |  373847951 | 1464426043 |  772104971 |  570472437 |  920522361 | 1003556816 | 2002078161 |  203313826 |
1076.72/169.04	c (164,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1076.72/169.04	c (164,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1076.72/169.04	c (164,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1076.72/169.04	c (164,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1076.72/169.04	c (164,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1076.72/169.04	c (164,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1076.72/169.04	c (164,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1076.72/169.04	c (164,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1076.72/169.04	c (164,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1076.72/169.04	c (164,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1076.72/169.04	c (164,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1076.72/169.04	c (164,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1076.72/169.04	c (164,0) 
1076.72/169.05	c (164,0) s UNSATISFIABLE
1076.72/169.06	c (164,0) SatSolver.solve End
1076.72/169.06	c (164,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1076.72/169.06	c (164,0) Show results Begin
1076.72/169.06	s UNSATISFIABLE
1076.72/169.06	c (164,0) Show results End
1076.72/169.06	c (164,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1076.72/169.06	c (164,0) 164,164,STOP-AFTER(ALL)
1076.72/169.06	c END-Prog: Sat Sep 14 06:51:18 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12411 MiB free)
  memory of node 1: 16384 MiB (11640 MiB free)
  node distances:
     10  21
     21  10

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

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26847, runsolver pid=26844
Current StackSize limit: 8192 KiB


[startup+0.102953 s]*
/proc/loadavg: 1.00 1.01 1.29 2/211 26869
/proc/meminfo: memFree=24532736/32770624 swapFree=66939852/67108860
[pid=26847] ppid=26844 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26847/stat : 26847 (scop.sh) S 26844 26847 25184 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419569801 115843072 349 33554432000 4194304 5098028 140732915574880 140732915572136 140712164721276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25092096 140732915581733 140732915582060 140732915582060 140732915584973 0
/proc/26847/statm: 28282 349 296 221 0 87 0
[pid=26850] ppid=26847 vsize=27314120 memory=107444 CPUtime=0.1 cores=0-7
/proc/26850/stat : 26850 (java) S 26847 26847 25184 0 -1 1077944320 6955 0 0 0 8 2 0 0 20 0 20 0 419569801 27969658880 26861 33554432000 4194304 4196468 140729941936576 140729941919120 140548646231799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
/proc/26850/statm: 6828530 26861 2804 1 0 6790935 0
[pid=26850/tid=26851] ppid=26847 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/26850/task/26851/stat : 26851 (java) R 26847 26847 25184 0 -1 4202560 5044 0 0 0 7 2 0 0 20 0 20 0 419569802 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548618058512 140548630275429 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26852] ppid=26847 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26850/task/26852/stat : 26852 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548650474384 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26853] ppid=26847 vsize=27314120 memory=140340490618496 CPUtime=0 cores=0-7
/proc/26850/task/26853/stat : 26853 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548464630544 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26854] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26854/stat : 26854 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548463578256 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26855] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26855/stat : 26855 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548462525456 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26856] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26856/stat : 26856 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548461472144 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26857] ppid=26847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26850/task/26857/stat : 26857 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548460419344 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26858] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26858/stat : 26858 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548459367056 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26859] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26859/stat : 26859 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 26861 33554432000 4194304 4196468 140729941936576 140548458314256 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26860] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26860/stat : 26860 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569806 27969658880 26861 33554432000 4194304 4196468 140729941936576 140546831014512 140548646242946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26861] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26861/stat : 26861 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419569806 27969658880 26861 33554432000 4194304 4196468 140729941936576 140546563630368 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26862] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26862/stat : 26862 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569807 27969658880 26861 33554432000 4194304 4196468 140729941936576 140546295195248 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26863] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26863/stat : 26863 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 26861 33554432000 4194304 4196468 140729941936576 140545920686672 140548646250395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26864] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26864/stat : 26864 (java) S 26847 26847 25184 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 26861 33554432000 4194304 4196468 140729941936576 140546829961328 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26865] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26865/stat : 26865 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 26861 33554432000 4194304 4196468 140729941936576 140546828908528 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26866] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26866/stat : 26866 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 26861 33554432000 4194304 4196468 140729941936576 140546827856240 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26867] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26867/stat : 26867 (java) S 26847 26847 25184 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 26861 33554432000 4194304 4196468 140729941936576 140546826803440 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26868] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26868/stat : 26868 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 26861 33554432000 4194304 4196468 140729941936576 140545422781280 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26869] ppid=26847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26850/task/26869/stat : 26869 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569810 27969658880 26861 33554432000 4194304 4196468 140729941936576 140546825751344 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108840 KiB

[startup+0.210442 s]*
/proc/loadavg: 1.00 1.01 1.29 5/211 26869
/proc/meminfo: memFree=24511860/32770624 swapFree=66939852/67108860
[pid=26847] ppid=26844 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26847/stat : 26847 (scop.sh) S 26844 26847 25184 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419569801 115843072 349 33554432000 4194304 5098028 140732915574880 140732915572136 140712164721276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25092096 140732915581733 140732915582060 140732915582060 140732915584973 0
/proc/26847/statm: 28282 349 296 221 0 87 0
[pid=26850] ppid=26847 vsize=27314120 memory=126740 CPUtime=0.25 cores=0-7
/proc/26850/stat : 26850 (java) S 26847 26847 25184 0 -1 1077944320 12555 0 0 0 21 4 0 0 20 0 20 0 419569801 27969658880 31685 33554432000 4194304 4196468 140729941936576 140729941919120 140548646231799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
/proc/26850/statm: 6828530 31685 2921 1 0 6790935 0
[pid=26850/tid=26851] ppid=26847 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26850/task/26851/stat : 26851 (java) R 26847 26847 25184 0 -1 4202560 10250 0 0 0 16 3 0 0 20 0 20 0 419569802 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548618054512 140548627605578 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26852] ppid=26847 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/26850/task/26852/stat : 26852 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548650474384 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26853] ppid=26847 vsize=27314120 memory=3978568358635980448 CPUtime=0 cores=0-7
/proc/26850/task/26853/stat : 26853 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548464630544 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26854] ppid=26847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26850/task/26854/stat : 26854 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548463578256 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26855] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26855/stat : 26855 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548462525456 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26856] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26856/stat : 26856 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548461472144 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26857] ppid=26847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26850/task/26857/stat : 26857 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548460419344 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26858] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26858/stat : 26858 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548459367056 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26859] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26859/stat : 26859 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 31685 33554432000 4194304 4196468 140729941936576 140548458314256 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26860] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26860/stat : 26860 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569806 27969658880 31685 33554432000 4194304 4196468 140729941936576 140546831014512 140548646242946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26861] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26861/stat : 26861 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419569806 27969658880 31685 33554432000 4194304 4196468 140729941936576 140546563630368 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26862] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26862/stat : 26862 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569807 27969658880 31685 33554432000 4194304 4196468 140729941936576 140546295195248 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26863] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26863/stat : 26863 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 31685 33554432000 4194304 4196468 140729941936576 140545920686672 140548646250395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26864] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26864/stat : 26864 (java) S 26847 26847 25184 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 31685 33554432000 4194304 4196468 140729941936576 140546829961328 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26865] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26865/stat : 26865 (java) S 26847 26847 25184 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 31685 33554432000 4194304 4196468 140729941936576 140546828908528 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26866] ppid=26847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26850/task/26866/stat : 26866 (java) S 26847 26847 25184 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 31685 33554432000 4194304 4196468 140729941936576 140546827856240 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26867] ppid=26847 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/26850/task/26867/stat : 26867 (java) S 26847 26847 25184 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 419569809 27969658880 31685 33554432000 4194304 4196468 140729941936576 140546826803440 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26868] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26868/stat : 26868 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 31685 33554432000 4194304 4196468 140729941936576 140545422781280 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26869] ppid=26847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26850/task/26869/stat : 26869 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569810 27969658880 31685 33554432000 4194304 4196468 140729941936576 140546825751344 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128136 KiB

[startup+0.310355 s]*
/proc/loadavg: 1.00 1.01 1.29 2/211 26869
/proc/meminfo: memFree=24508820/32770624 swapFree=66939852/67108860
[pid=26847] ppid=26844 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26847/stat : 26847 (scop.sh) S 26844 26847 25184 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419569801 115843072 349 33554432000 4194304 5098028 140732915574880 140732915572136 140712164721276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25092096 140732915581733 140732915582060 140732915582060 140732915584973 0
/proc/26847/statm: 28282 349 296 221 0 87 0
[pid=26850] ppid=26847 vsize=27314120 memory=130340 CPUtime=0.42 cores=0-7
/proc/26850/stat : 26850 (java) S 26847 26847 25184 0 -1 1077944320 12915 0 0 0 38 4 0 0 20 0 20 0 419569801 27969658880 32585 33554432000 4194304 4196468 140729941936576 140729941919120 140548646231799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
/proc/26850/statm: 6828530 32585 3048 1 0 6790935 0
[pid=26850/tid=26851] ppid=26847 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/26850/task/26851/stat : 26851 (java) R 26847 26847 25184 0 -1 4202560 10437 0 0 0 26 3 0 0 20 0 20 0 419569802 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548618016784 140548630312286 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26852] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26852/stat : 26852 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548650474384 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26853] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26853/stat : 26853 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548464630544 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26854] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26854/stat : 26854 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548463578256 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26855] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26855/stat : 26855 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548462525456 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26856] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26856/stat : 26856 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548461472144 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26857] ppid=26847 vsize=27314120 memory=140340338191023 CPUtime=0 cores=0-7
/proc/26850/task/26857/stat : 26857 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548460419344 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26858] ppid=26847 vsize=27314120 memory=140340338193328 CPUtime=0 cores=0-7
/proc/26850/task/26858/stat : 26858 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548459367056 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26859] ppid=26847 vsize=27314120 memory=140340338195632 CPUtime=0 cores=0-7
/proc/26850/task/26859/stat : 26859 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569804 27969658880 32585 33554432000 4194304 4196468 140729941936576 140548458314256 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26860] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26860/stat : 26860 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569806 27969658880 32585 33554432000 4194304 4196468 140729941936576 140546831014512 140548646242946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26861] ppid=26847 vsize=27314120 memory=280680676405136 CPUtime=0 cores=0-7
/proc/26850/task/26861/stat : 26861 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419569806 27969658880 32585 33554432000 4194304 4196468 140729941936576 140546563630368 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26862] ppid=26847 vsize=27314120 memory=280680676402832 CPUtime=0 cores=0-7
/proc/26850/task/26862/stat : 26862 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569807 27969658880 32585 33554432000 4194304 4196468 140729941936576 140546295195248 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26863] ppid=26847 vsize=27314120 memory=280680676409744 CPUtime=0 cores=0-7
/proc/26850/task/26863/stat : 26863 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 32585 33554432000 4194304 4196468 140729941936576 140545920686672 140548646250395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26864] ppid=26847 vsize=27314120 memory=280680676351024 CPUtime=0.01 cores=0-7
/proc/26850/task/26864/stat : 26864 (java) S 26847 26847 25184 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 20 0 419569809 27969658880 32585 33554432000 4194304 4196468 140729941936576 140546829961328 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26865] ppid=26847 vsize=27314120 memory=280680676423568 CPUtime=0.01 cores=0-7
/proc/26850/task/26865/stat : 26865 (java) S 26847 26847 25184 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 419569809 27969658880 32585 33554432000 4194304 4196468 140729941936576 140546828908528 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26866] ppid=26847 vsize=27314120 memory=280680676430480 CPUtime=0.01 cores=0-7
/proc/26850/task/26866/stat : 26866 (java) R 26847 26847 25184 0 -1 4202560 71 0 0 0 1 0 0 0 20 0 20 0 419569809 27969658880 32585 33554432000 4194304 4196468 140729941936576 140546827856240 140548626932096 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26867] ppid=26847 vsize=27314120 memory=280680676428176 CPUtime=0.07 cores=0-7
/proc/26850/task/26867/stat : 26867 (java) S 26847 26847 25184 0 -1 1077944384 484 0 0 0 7 0 0 0 20 0 20 0 419569809 27969658880 32585 33554432000 4194304 4196468 140729941936576 140546826803440 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26868] ppid=26847 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26868/stat : 26868 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569809 27969658880 32585 33554432000 4194304 4196468 140729941936576 140545422781280 140548646242005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26869] ppid=26847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26850/task/26869/stat : 26869 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419569810 27969658880 32585 33554432000 4194304 4196468 140729941936576 140546825751344 140548646242946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131736 KiB

[startup+0.700898 s]
/proc/loadavg: 1.00 1.01 1.29 2/211 26869
/proc/meminfo: memFree=24486888/32770624 swapFree=66939852/67108860
[pid=26847] ppid=26844 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26847/stat : 26847 (scop.sh) S 26844 26847 25184 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419569801 115843072 349 33554432000 4194304 5098028 140732915574880 140732915572136 140712164721276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25092096 140732915581733 140732915582060 140732915582060 140732915584973 0
/proc/26847/statm: 28282 349 296 221 0 87 0
[pid=26850] ppid=26847 vsize=27320392 memory=165164 CPUtime=1.01 cores=0-7
/proc/26850/stat : 26850 (java) S 26847 26847 25184 0 -1 1077944320 20508 0 0 0 94 7 0 0 20 0 20 0 419569801 27976081408 41291 33554432000 4194304 4196468 140729941936576 140729941919120 140548646231799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
/proc/26850/statm: 6830098 41291 3180 1 0 6791447 0
[pid=26850/tid=26851] ppid=26847 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/26850/task/26851/stat : 26851 (java) R 26847 26847 25184 0 -1 4202560 17397 0 0 0 62 6 0 0 20 0 20 0 419569802 27976081408 41291 33554432000 4194304 4196468 140729941936576 140548618069384 140548124068135 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26852] ppid=26847 vsize=27320392 memory=140340338402160 CPUtime=0 cores=0-7
/proc/26850/task/26852/stat : 26852 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27976081408 41291 33554432000 4194304 4196468 140729941936576 140548650474384 140548646242005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26853] ppid=26847 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/26850/task/26853/stat : 26853 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419569804 27976081408 41291 33554432000 4194304 4196468 140729941936576 140548464630544 140548646242005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0
[pid=26850/tid=26854] ppid=26847 vsize=27320392 memory=1256 CPUtime=0 cores=0-7
/proc/26850/task/26854/stat : 26854 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419569804 27976081408 41291 33554432000 4194304 4196468 140729941936576 140548463578256 140548646242005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12005376 140729941938923 140729941939350 140729941939350 140729941942223 0

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

[pid=26870/tid=26880] ppid=26847 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/26870/task/26880/stat : 26880 (java) S 26847 26847 25184 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419570243 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099002902640 140100177898114 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26881] ppid=26847 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/26870/task/26881/stat : 26881 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419570244 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098813289248 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26882] ppid=26847 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/26870/task/26882/stat : 26882 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570244 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098544854128 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26883] ppid=26847 vsize=8414124 memory=121652 CPUtime=0 cores=0-7
/proc/26870/task/26883/stat : 26883 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570246 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098170345552 140100177905563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26884] ppid=26847 vsize=8414124 memory=555128 CPUtime=0.06 cores=0-7
/proc/26870/task/26884/stat : 26884 (java) S 26847 26847 25184 0 -1 1077944384 621 0 0 0 6 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099001850480 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26885] ppid=26847 vsize=8414124 memory=4208 CPUtime=0.05 cores=0-7
/proc/26870/task/26885/stat : 26885 (java) S 26847 26847 25184 0 -1 1077944384 263 0 0 0 5 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099000797680 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26886] ppid=26847 vsize=8414124 memory=4096 CPUtime=0.09 cores=0-7
/proc/26870/task/26886/stat : 26886 (java) S 26847 26847 25184 0 -1 1077944384 332 0 0 0 9 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098999745392 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26887] ppid=26847 vsize=8414124 memory=1412 CPUtime=0.21 cores=0-7
/proc/26870/task/26887/stat : 26887 (java) S 26847 26847 25184 0 -1 1077944384 809 0 0 0 21 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098998692592 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26888] ppid=26847 vsize=8414124 memory=3476 CPUtime=0 cores=0-7
/proc/26870/task/26888/stat : 26888 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097672440160 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26889] ppid=26847 vsize=8414124 memory=1476 CPUtime=0.18 cores=0-7
/proc/26870/task/26889/stat : 26889 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 9 9 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098997639472 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26891] ppid=26847 vsize=8414124 memory=3504 CPUtime=0 cores=0-7
/proc/26870/task/26891/stat : 26891 (java) S 26847 26847 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098989606208 140100177911577 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26893] ppid=26847 vsize=8414124 memory=41124 CPUtime=0 cores=0-7
/proc/26870/task/26893/stat : 26893 (java) S 26847 26847 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097001340816 140100177908893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26894] ppid=26847 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/26870/task/26894/stat : 26894 (java) S 26847 26847 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097269776144 140100177908893 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26903] ppid=26847 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/26870/task/26903/stat : 26903 (java) S 26847 26847 25184 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419570317 8616062976 30413 33554432000 4194304 4196468 140724141579248 140096732913456 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
Current children cumulated CPU time: 1075.27 s
Current children cumulated vsize: 9239388 KiB
Current children cumulated memory: 678356 KiB

[startup+168.801 s]
/proc/loadavg: 6.37 3.26 2.10 3/219 26922
/proc/meminfo: memFree=23968508/32770624 swapFree=66939852/67108860
[pid=26847] ppid=26844 vsize=113128 memory=1476 CPUtime=12.04 cores=0-7
/proc/26847/stat : 26847 (scop.sh) S 26844 26847 25184 0 -1 4202496 583 31942 0 0 0 0 1176 28 20 0 1 0 419569801 115843072 369 33554432000 4194304 5098028 140732915574880 140732915571624 140712164721276 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25092096 140732915581733 140732915582060 140732915582060 140732915584973 0
/proc/26847/statm: 28282 369 311 221 0 87 0
[pid=26870] ppid=26847 vsize=8414124 memory=121652 CPUtime=1.34 cores=0-7
/proc/26870/stat : 26870 (java) S 26847 26847 25184 0 -1 1077944320 20887 0 0 0 126 8 0 0 20 0 24 0 419570240 8616062976 30413 33554432000 4194304 4196468 140724141579248 140724141561792 140100177886967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
/proc/26870/statm: 2103531 30413 3207 1 0 2064875 0
[pid=26890] ppid=26870 vsize=712136 memory=555328 CPUtime=1063.13 cores=0-7
/proc/26890/stat : 26890 (manyglucose-4.1) S 26870 26847 25184 0 -1 1077944320 429779 0 0 0 106206 107 0 0 20 0 2 0 419570315 729227264 138832 33554432000 4194304 4454172 140734311393728 140734311392112 140186421346039 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 11132928 140734311400297 140734311400496 140734311400496 140734311403450 0
/proc/26890/statm: 178034 138832 419 64 0 173702 0
[pid=26890/tid=26895] ppid=26870 vsize=712136 memory=6944656592455360569 CPUtime=160.59 cores=0-7
/proc/26890/task/26895/stat : 26895 (manyglucose-4.1) R 26870 26847 25184 0 -1 4202560 50166 0 0 0 16047 12 0 0 20 0 2 0 419570317 729227264 138832 33554432000 4194304 4454172 140734311393728 140186406128776 4350400 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 11132928 140734311400297 140734311400496 140734311400496 140734311403450 0
[pid=26870/tid=26871] ppid=26847 vsize=8414124 memory=-9181546050914066336 CPUtime=0.77 cores=0-7
/proc/26870/task/26871/stat : 26871 (java) S 26847 26847 25184 0 -1 1077944384 17316 0 0 0 72 5 0 0 20 0 24 0 419570241 8616062976 30413 33554432000 4194304 4196468 140724141579248 140100149727136 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26872] ppid=26847 vsize=8414124 memory=-9175629482860769682 CPUtime=0 cores=0-7
/proc/26870/task/26872/stat : 26872 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140100182129040 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26873] ppid=26847 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/26870/task/26873/stat : 26873 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099982297360 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26874] ppid=26847 vsize=8414124 memory=3688 CPUtime=0 cores=0-7
/proc/26870/task/26874/stat : 26874 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099981245072 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26875] ppid=26847 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/26870/task/26875/stat : 26875 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099980192272 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26876] ppid=26847 vsize=8414124 memory=-9175629482860769682 CPUtime=0 cores=0-7
/proc/26870/task/26876/stat : 26876 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099979139984 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26877] ppid=26847 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/26870/task/26877/stat : 26877 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099978087184 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26878] ppid=26847 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/26870/task/26878/stat : 26878 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099977034896 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26879] ppid=26847 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/26870/task/26879/stat : 26879 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099975982096 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26880] ppid=26847 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/26870/task/26880/stat : 26880 (java) S 26847 26847 25184 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419570243 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099002902640 140100177898114 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26881] ppid=26847 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/26870/task/26881/stat : 26881 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419570244 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098813289248 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26882] ppid=26847 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/26870/task/26882/stat : 26882 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570244 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098544854128 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26883] ppid=26847 vsize=8414124 memory=-9175629482860769682 CPUtime=0 cores=0-7
/proc/26870/task/26883/stat : 26883 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570246 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098170345552 140100177905563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26884] ppid=26847 vsize=8414124 memory=14008 CPUtime=0.06 cores=0-7
/proc/26870/task/26884/stat : 26884 (java) S 26847 26847 25184 0 -1 1077944384 621 0 0 0 6 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099001850480 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26885] ppid=26847 vsize=8414124 memory=22668 CPUtime=0.05 cores=0-7
/proc/26870/task/26885/stat : 26885 (java) S 26847 26847 25184 0 -1 1077944384 263 0 0 0 5 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099000797680 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26886] ppid=26847 vsize=8414124 memory=14056 CPUtime=0.09 cores=0-7
/proc/26870/task/26886/stat : 26886 (java) S 26847 26847 25184 0 -1 1077944384 332 0 0 0 9 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098999745392 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26887] ppid=26847 vsize=8414124 memory=2116 CPUtime=0.21 cores=0-7
/proc/26870/task/26887/stat : 26887 (java) S 26847 26847 25184 0 -1 1077944384 809 0 0 0 21 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098998692592 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26888] ppid=26847 vsize=8414124 memory=520 CPUtime=0 cores=0-7
/proc/26870/task/26888/stat : 26888 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097672440160 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26889] ppid=26847 vsize=8414124 memory=1560 CPUtime=0.18 cores=0-7
/proc/26870/task/26889/stat : 26889 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 9 9 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098997639472 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26891] ppid=26847 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/26870/task/26891/stat : 26891 (java) S 26847 26847 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098989606208 140100177911577 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26893] ppid=26847 vsize=8414124 memory=3688 CPUtime=0 cores=0-7
/proc/26870/task/26893/stat : 26893 (java) S 26847 26847 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097001340816 140100177908893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26894] ppid=26847 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/26870/task/26894/stat : 26894 (java) S 26847 26847 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097269776144 140100177908893 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26903] ppid=26847 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/26870/task/26903/stat : 26903 (java) S 26847 26847 25184 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419570317 8616062976 30413 33554432000 4194304 4196468 140724141579248 140096732913456 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
Current children cumulated CPU time: 1076.51 s
Current children cumulated vsize: 9239388 KiB
Current children cumulated memory: 678456 KiB

[startup+169.001 s]*
/proc/loadavg: 6.37 3.26 2.10 2/218 26922
/proc/meminfo: memFree=23968508/32770624 swapFree=66939852/67108860
[pid=26847] ppid=26844 vsize=113128 memory=1476 CPUtime=12.04 cores=0-7
/proc/26847/stat : 26847 (scop.sh) S 26844 26847 25184 0 -1 4202496 583 31942 0 0 0 0 1176 28 20 0 1 0 419569801 115843072 369 33554432000 4194304 5098028 140732915574880 140732915571624 140712164721276 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25092096 140732915581733 140732915582060 140732915582060 140732915584973 0
/proc/26847/statm: 28282 369 311 221 0 87 0
[pid=26870] ppid=26847 vsize=8414124 memory=121652 CPUtime=1.34 cores=0-7
/proc/26870/stat : 26870 (java) S 26847 26847 25184 0 -1 1077944320 20887 0 0 0 126 8 0 0 20 0 24 0 419570240 8616062976 30413 33554432000 4194304 4196468 140724141579248 140724141561792 140100177886967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
/proc/26870/statm: 2103531 30413 3207 1 0 2064875 0
[pid=26890] ppid=26870 vsize=712136 memory=555328 CPUtime=1063.34 cores=0-7
/proc/26890/stat : 26890 (manyglucose-4.1) S 26870 26847 25184 0 -1 1077944320 429788 0 0 0 106227 107 0 0 20 0 2 0 419570315 729227264 138832 33554432000 4194304 4454172 140734311393728 140734311392112 140186421346039 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 11132928 140734311400297 140734311400496 140734311400496 140734311403450 0
/proc/26890/statm: 178034 138832 419 64 0 173702 0
[pid=26890/tid=26895] ppid=26870 vsize=712136 memory=0 CPUtime=160.79 cores=0-7
/proc/26890/task/26895/stat : 26895 (manyglucose-4.1) R 26870 26847 25184 0 -1 4202560 50175 0 0 0 16067 12 0 0 20 0 2 0 419570317 729227264 138832 33554432000 4194304 4454172 140734311393728 140186406128776 4349976 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 11132928 140734311400297 140734311400496 140734311400496 140734311403450 0
[pid=26870/tid=26871] ppid=26847 vsize=8414124 memory=8317482817917895235 CPUtime=0.77 cores=0-7
/proc/26870/task/26871/stat : 26871 (java) S 26847 26847 25184 0 -1 1077944384 17316 0 0 0 72 5 0 0 20 0 24 0 419570241 8616062976 30413 33554432000 4194304 4196468 140724141579248 140100149727136 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26872] ppid=26847 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26870/task/26872/stat : 26872 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140100182129040 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26873] ppid=26847 vsize=8414124 memory=7666930213298787427 CPUtime=0 cores=0-7
/proc/26870/task/26873/stat : 26873 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099982297360 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26874] ppid=26847 vsize=8414124 memory=6935654753335332944 CPUtime=0 cores=0-7
/proc/26870/task/26874/stat : 26874 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099981245072 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26875] ppid=26847 vsize=8414124 memory=140340339619473 CPUtime=0 cores=0-7
/proc/26870/task/26875/stat : 26875 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099980192272 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26876] ppid=26847 vsize=8414124 memory=7521663845205895008 CPUtime=0 cores=0-7
/proc/26870/task/26876/stat : 26876 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099979139984 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26877] ppid=26847 vsize=8414124 memory=7521663845205895008 CPUtime=0 cores=0-7
/proc/26870/task/26877/stat : 26877 (java) S 26847 26847 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099978087184 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26878] ppid=26847 vsize=8414124 memory=7521663845205895008 CPUtime=0 cores=0-7
/proc/26870/task/26878/stat : 26878 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099977034896 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26879] ppid=26847 vsize=8414124 memory=7521663845205895008 CPUtime=0 cores=0-7
/proc/26870/task/26879/stat : 26879 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419570242 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099975982096 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26880] ppid=26847 vsize=8414124 memory=7521663845205895008 CPUtime=0 cores=0-7
/proc/26870/task/26880/stat : 26880 (java) S 26847 26847 25184 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419570243 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099002902640 140100177898114 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26881] ppid=26847 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/26870/task/26881/stat : 26881 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419570244 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098813289248 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26882] ppid=26847 vsize=8414124 memory=121652 CPUtime=0 cores=0-7
/proc/26870/task/26882/stat : 26882 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570244 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098544854128 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26883] ppid=26847 vsize=8414124 memory=554840 CPUtime=0 cores=0-7
/proc/26870/task/26883/stat : 26883 (java) S 26847 26847 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419570246 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098170345552 140100177905563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26884] ppid=26847 vsize=8414124 memory=16100364336236017 CPUtime=0.06 cores=0-7
/proc/26870/task/26884/stat : 26884 (java) S 26847 26847 25184 0 -1 1077944384 621 0 0 0 6 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099001850480 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26885] ppid=26847 vsize=8414124 memory=7230638415855317079 CPUtime=0.05 cores=0-7
/proc/26870/task/26885/stat : 26885 (java) S 26847 26847 25184 0 -1 1077944384 263 0 0 0 5 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140099000797680 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26886] ppid=26847 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7
/proc/26870/task/26886/stat : 26886 (java) S 26847 26847 25184 0 -1 1077944384 332 0 0 0 9 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098999745392 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26887] ppid=26847 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/26870/task/26887/stat : 26887 (java) S 26847 26847 25184 0 -1 1077944384 809 0 0 0 21 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098998692592 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26888] ppid=26847 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/26870/task/26888/stat : 26888 (java) S 26847 26847 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097672440160 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26889] ppid=26847 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/26870/task/26889/stat : 26889 (java) S 26847 26847 25184 0 -1 1077944384 13 0 0 0 9 9 0 0 20 0 24 0 419570247 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098997639472 140100177898114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26891] ppid=26847 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/26870/task/26891/stat : 26891 (java) S 26847 26847 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140098989606208 140100177911577 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26893] ppid=26847 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/26870/task/26893/stat : 26893 (java) S 26847 26847 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097001340816 140100177908893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26894] ppid=26847 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/26870/task/26894/stat : 26894 (java) S 26847 26847 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419570315 8616062976 30413 33554432000 4194304 4196468 140724141579248 140097269776144 140100177908893 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
[pid=26870/tid=26903] ppid=26847 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/26870/task/26903/stat : 26903 (java) S 26847 26847 25184 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 419570317 8616062976 30413 33554432000 4194304 4196468 140724141579248 140096732913456 140100177897173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13987840 140724141581303 140724141581462 140724141581462 140724141584335 0
Current children cumulated CPU time: 1076.72 s
Current children cumulated vsize: 9239388 KiB
Current children cumulated memory: 678456 KiB

Child status: 0
Real time (s): 169.073
CPU time (s): 1076.85
CPU user time (s): 1075.37
CPU system time (s): 1.47793
CPU usage (%): 636.915
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1049528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1075.37
system time used= 1.47793
maximum resident set size= 1053632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 483432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21007
involuntary context switches= 8631


# summary of solver processes directly reported to runsolver:
#   pid: 26847
#   total CPU time (s): 1076.85
#   total CPU user time (s): 1075.37
#   total CPU system time (s): 1.47793

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57781 second user time and 2.35322 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-14 06:48:29
IDJOB=4392500
IDBENCH=134580
IDSOLVER=2838
FILE ID=node119/4392500-1568436549
RUNJOBID= node119-1568428810-25211
PBS_JOBID= 21702306
Free space on /tmp= 61504 MiB

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

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

MD5SUM BENCH= a7efa7459c7ca72744d0a792626ba479
RANDOM SEED=2092489646

node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24628976 kB
MemAvailable:   31822628 kB
Buffers:          190040 kB
Cached:          7271676 kB
SwapCached:        61128 kB
Active:          2827468 kB
Inactive:        4699524 kB
Active(anon):       3548 kB
Inactive(anon):   103136 kB
Active(file):    2823920 kB
Inactive(file):  4596388 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66939852 kB
Dirty:             20336 kB
Writeback:            32 kB
AnonPages:        113812 kB
Mapped:            44856 kB
Shmem:             32816 kB
Slab:             208284 kB
SReclaimable:     178360 kB
SUnreclaim:        29924 kB
KernelStack:        3376 kB
PageTables:         5880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61484 MiB
End job on node119 at 2019-09-14 06:51:19