Trace number 4405626

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 1186.69 172.911

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19724-serial-file.bin HOME/instance-4405626-1569342675.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 18:30:16 CEST 2019
0.65/0.57	c PID: 19727
0.65/0.57	c IP: 172.20.3.103
0.65/0.57	c HOST: node103.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.05/1.14	c (0,0) Parsing End
2.05/1.14	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.05/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.14	c (0,0) Constraint Name Generate Begin
2.05/1.16	c (0,0) Ctr:HOME/instance-4405626-1569342675.xml,ExtensionConflict:ExtensionSupport:Var
2.05/1.16	c (0,0) Constraint Name Generate End
2.05/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.16	c (0,0) CSP to CSPinCNF Begin
3.14/1.65	c (1,1) translated 127 (10%) constraints
3.51/1.76	c (1,1) translated 253 (20%) constraints
3.93/1.84	c (1,1) translated 379 (30%) constraints
4.34/1.91	c (1,1) translated 505 (40%) constraints
4.34/1.97	c (1,1) translated 631 (50%) constraints
4.79/2.02	c (1,1) translated 757 (60%) constraints
5.20/2.16	c (1,1) translated 883 (70%) constraints
6.07/2.40	c (1,1) translated 1009 (80%) constraints
6.31/2.63	c (2,2) translated 1135 (90%) constraints
6.97/2.94	c (2,2) translated 1261 (100%) constraints
6.97/2.95	c (2,2) ===========================================
6.97/2.97	c (2,2) Hybrid: #OE=793, #LE=0
6.97/2.97	c (2,2) Hybrid
6.97/2.97	c (2,2) ===========================================
7.41/3.04	c (2,2) translated 1883 (10%) constraints
7.41/3.09	c (2,2) translated 3765 (20%) constraints
7.81/3.15	c (2,2) translated 5647 (30%) constraints
8.17/3.20	c (2,2) translated 7529 (40%) constraints
8.17/3.25	c (2,2) translated 9411 (50%) constraints
8.56/3.31	c (2,2) translated 11294 (60%) constraints
8.56/3.36	c (2,2) translated 13176 (70%) constraints
8.56/3.40	c (2,2) translated 15058 (80%) constraints
8.89/3.43	c (2,2) translated 16940 (90%) constraints
8.89/3.47	c (2,2) translated 18822 (100%) constraints
8.89/3.47	c (2,2) CSP to CSPinCNF End
8.89/3.47	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.89/3.47	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.89/3.47	c (2,2) CSPinCNF Propagation Begin
10.17/3.83	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.17/3.83	c (3,3) CSPinCNF Propagation End
10.17/3.83	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.17/3.83	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.17/3.84	c (3,3) Hybrid: #OE=793, #LE=0
10.17/3.84	c (3,3) Simplify CSPinCNF Begin
10.43/3.90	c (3,3) Simplify CSPinCNF End
10.43/3.90	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.43/3.90	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.43/3.90	c (3,3) Calculate Precise Domain Begin
10.43/3.90	c (3,3) 0 values are removed by re-calculation
10.43/3.90	c (3,3) Calculate Precise Domain End
10.43/3.90	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.43/3.90	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.43/3.90	c (3,3) CSPinCNF to SatSolver Begin
10.73/4.05	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.73/4.10	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.09/4.15	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.09/4.18	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.45/4.21	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.45/4.24	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.45/4.26	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.45/4.28	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.45/4.29	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.79/4.30	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.79/4.30	c (3,3) CSPinCNF to SatSolver End
11.79/4.30	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.79/4.30	c (3,3) 2482 bool, 15697 clause
11.79/4.30	c (3,3) Export Begin
11.98/4.42	c (3,3) Export to HOME/scop-19724-serial-file.bin
12.02/4.59	c (3,3) Export End
12.02/4.59	c (3,3) Export File Size: 0.02 MB
12.02/4.59	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
12.02/4.59	c END-Prog: Tue Sep 24 18:30:20 CEST 2019
0.00/4.78	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19724-serial-file.bin
12.58/5.24	c (0,0) Read Serial File Begin
12.58/5.24	c (0,0) HOME/scop-19724-serial-file.bin
12.85/5.46	c (0,0) Read Serial File End
12.85/5.48	
12.85/5.48	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.85/5.48	(Solving Process)
12.85/5.48	
13.03/5.50	c BEGIN-Prog: Tue Sep 24 18:30:21 CEST 2019
13.03/5.50	c PID: 19747
13.03/5.50	c IP: 172.20.3.103
13.03/5.50	c HOST: node103.alineos.net
13.03/5.50	c (0,0) SatSolver.solve Begin
13.03/5.50	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405626-1569342675.xml-scop-19727.cnf
13.03/5.53	c (0,0) c
13.03/5.53	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.53	c (0,0) c
13.03/5.53	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.03/5.53	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.03/5.53	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.03/5.53	c (0,0) c |                                                                                                       |
13.03/5.53	c (0,0) c |  Number of variables:          2480                                                                   |
13.03/5.53	c (0,0) c |  Number of clauses:           15697                                                                   |
13.03/5.53	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.03/5.53	c (0,0) c |                                                                                                       |
13.03/5.53	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.03/5.54	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.03/5.54	c (0,0) c |                                                                                                       |
13.03/5.54	c (0,0) c |  Generating clones                                                                                    |
13.03/5.55	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.03/5.55	c (0,0) c ========================================================================================================|
13.03/5.55	c (0,0) c
13.03/5.55	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.03/5.55	c (0,0) c
13.03/5.55	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.03/5.55	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.03/5.55	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.03/5.55	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.03/5.55	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.03/5.55	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.03/5.55	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.03/5.55	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.03/5.55	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.03/5.55	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.03/5.55	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.03/5.55	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.03/5.55	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.03/5.55	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.03/5.55	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.55	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.55	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.03/5.55	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.03/5.55	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
237.98/34.84	c (29,0) c
237.98/34.84	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
237.98/34.84	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
237.98/34.84	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
237.98/34.84	c (29,0) c |  0 |    295 |     505706 |     272317 |     9219 |    40926 |    38202 |   284127 |    13905 |      282 |  20 |  0.847 |
237.98/34.84	c (29,0) c |  1 |    271 |     494821 |     266850 |     9293 |    35459 |    42769 |   271378 |    10732 |      275 |  20 |  0.847 |
237.98/34.84	c (29,0) c |  2 |    479 |     528746 |     283149 |     9327 |    51765 |    41724 |   279268 |    16592 |      279 |  20 |  0.847 |
237.98/34.84	c (29,0) c |  3 |    409 |     502909 |     275730 |     9277 |    44343 |    41043 |   280255 |    14351 |      282 |  20 |  0.847 |
237.98/34.84	c (29,0) c |  4 |    473 |     519188 |     284389 |     9444 |    53005 |    42158 |   261877 |    15800 |      273 |  20 |  0.848 |
237.98/34.84	c (29,0) c |  5 |    434 |     523791 |     280565 |     9397 |    49174 |    43694 |   275461 |    16106 |      274 |  20 |  0.847 |
237.98/34.84	c (29,0) c |  6 |    420 |     516038 |     275911 |     9453 |    44522 |    43544 |   266599 |    14731 |      277 |  20 |  0.847 |
237.98/34.84	c (29,0) c |  7 |    394 |     506106 |     274280 |     9443 |    42889 |    39984 |   270736 |    13695 |      264 |  20 |  0.847 |
237.98/34.84	c (29,0) c 
237.98/34.84	c (29,0) c synthesis     2213191 conflicts   164422880 propagations     9878 conflicts/sec   733843 propagations/sec
237.98/34.84	c (29,0) c real: 29.3141 s, cpu: 224.057 s, memory: 628.36 Mb
467.23/64.84	c (59,0) c
467.23/64.84	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
467.23/64.84	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
467.23/64.84	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
467.23/64.84	c (59,0) c |  0 |    426 |     800138 |     424985 |     9377 |    78401 |    52429 |   398135 |    27193 |      508 |  20 |  0.847 |
467.23/64.84	c (59,0) c |  1 |    477 |     789905 |     418144 |     9539 |    71551 |    57704 |   382855 |    25454 |      493 |  20 |  0.847 |
467.23/64.84	c (59,0) c |  2 |    535 |     808659 |     433800 |     9368 |    87218 |    59965 |   384967 |    27561 |      511 |  20 |  0.847 |
467.23/64.84	c (59,0) c |  3 |    497 |     799861 |     426357 |     9322 |    79775 |    56264 |   391803 |    26820 |      513 |  20 |  0.848 |
467.23/64.84	c (59,0) c |  4 |    586 |     815185 |     436853 |     9495 |    46667 |    57653 |   392251 |    27691 |      511 |  20 |  0.847 |
467.23/64.84	c (59,0) c |  5 |    475 |     801188 |     426052 |     9427 |    79464 |    59239 |   392756 |    26251 |      512 |  20 |  0.848 |
467.23/64.84	c (59,0) c |  6 |    490 |     805737 |     425678 |     9490 |    79092 |    58010 |   389717 |    26270 |      500 |  20 |  0.848 |
467.23/64.84	c (59,0) c |  7 |    523 |     806342 |     433520 |     9496 |    86933 |    56197 |   393816 |    26485 |      513 |  20 |  0.847 |
467.23/64.84	c (59,0) c 
467.23/64.84	c (59,0) c synthesis     3425389 conflicts   251967799 propagations     7562 conflicts/sec   556230 propagations/sec
467.23/64.84	c (59,0) c real: 59.3141 s, cpu: 452.992 s, memory: 694.37 Mb
660.37/93.84	c (88,0) c
660.37/93.84	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
660.37/93.84	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
660.37/93.84	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
660.37/93.84	c (88,0) c |  0 |    574 |    1011951 |     535480 |     9400 |    50294 |    62526 |   471965 |    36679 |      713 |  20 |  0.847 |
660.37/93.84	c (88,0) c |  1 |    605 |    1014698 |     533663 |     9562 |    97271 |    68385 |   456607 |    34520 |      700 |  20 |  0.847 |
660.37/93.84	c (88,0) c |  2 |    582 |    1031019 |     550833 |     9387 |    65650 |    70151 |   467453 |    36108 |      720 |  20 |  0.847 |
660.37/93.84	c (88,0) c |  3 |    598 |    1036048 |     543105 |     9344 |    57922 |    66839 |   468963 |    35921 |      716 |  20 |  0.847 |
660.37/93.84	c (88,0) c |  4 |    612 |    1030196 |     547343 |     9515 |    62162 |    69015 |   461128 |    34208 |      705 |  20 |  0.848 |
660.37/93.84	c (88,0) c |  5 |    499 |    1023517 |     541694 |     9445 |    56504 |    71870 |   463937 |    34050 |      718 |  20 |  0.847 |
660.37/93.84	c (88,0) c |  6 |    553 |    1048588 |     547481 |     9501 |    62294 |    68143 |   462645 |    34821 |      714 |  20 |  0.848 |
660.37/93.84	c (88,0) c |  7 |    600 |    1030265 |     549304 |     9502 |    64117 |    65555 |   470622 |    34612 |      719 |  20 |  0.847 |
660.37/93.84	c (88,0) c 
660.37/93.84	c (88,0) c synthesis     4348905 conflicts   318896735 propagations     6733 conflicts/sec   493728 propagations/sec
660.37/93.84	c (88,0) c real: 88.3141 s, cpu: 645.895 s, memory: 694.37 Mb
867.15/123.84	c (118,0) c
867.15/123.84	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
867.15/123.84	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
867.15/123.84	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
867.15/123.84	c (118,0) c |  0 |    637 |    1208078 |     635675 |     9408 |    99092 |    72077 |   533661 |    44382 |      913 |  20 |  0.847 |
867.15/123.84	c (118,0) c |  1 |    715 |    1221685 |     638570 |     9570 |   101987 |    77811 |   528251 |    42338 |      911 |  20 |  0.847 |
867.15/123.84	c (118,0) c |  2 |    632 |    1236762 |     655058 |     9399 |    64472 |    79708 |   531721 |    43171 |      931 |  20 |  0.847 |
867.15/123.84	c (118,0) c |  3 |    678 |    1236439 |     644762 |     9352 |    54174 |    76913 |   537515 |    44084 |      929 |  20 |  0.847 |
867.15/123.84	c (118,0) c |  4 |    665 |    1253680 |     660627 |     9524 |    70041 |    80003 |   534152 |    42867 |      929 |  20 |  0.847 |
867.15/123.84	c (118,0) c |  5 |    567 |    1228813 |     645399 |     9459 |    54812 |    80159 |   532164 |    42409 |      928 |  20 |  0.848 |
867.15/123.84	c (118,0) c |  6 |    613 |    1262406 |     654280 |     9517 |    63690 |    78611 |   537416 |    43101 |      931 |  20 |  0.847 |
867.15/123.84	c (118,0) c |  7 |    646 |    1237350 |     651893 |     9511 |    61306 |    75673 |   539408 |    43543 |      931 |  20 |  0.847 |
867.15/123.84	c (118,0) c 
867.15/123.84	c (118,0) c synthesis     5186264 conflicts   380530874 propagations     6088 conflicts/sec   446669 propagations/sec
867.15/123.84	c (118,0) c real: 118.314 s, cpu: 851.931 s, memory: 758.37 Mb
1064.16/152.84	c (147,0) c
1064.16/152.84	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1064.16/152.84	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1064.16/152.84	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1064.16/152.84	c (147,0) c |  0 |    679 |    1395310 |     730398 |     9423 |    76865 |    81162 |   594982 |    51203 |     1125 |  20 |  0.888 |
1064.16/152.84	c (147,0) c |  1 |    771 |    1419724 |     735693 |     9578 |    86990 |    86656 |   590199 |    49889 |     1125 |  20 |  0.887 |
1064.16/152.84	c (147,0) c |  2 |    686 |    1420045 |     746421 |     9411 |    96609 |    88479 |   595743 |    51118 |     1144 |  20 |  0.887 |
1064.16/152.84	c (147,0) c |  3 |    734 |    1425125 |     738688 |     9368 |    91501 |    86899 |   586654 |    51253 |     1131 |  20 |  0.848 |
1064.16/152.84	c (147,0) c |  4 |    722 |    1428842 |     747238 |     9535 |    96060 |    87567 |   591940 |    50138 |     1130 |  20 |  0.887 |
1064.16/152.84	c (147,0) c |  5 |    614 |    1426375 |     744080 |     9469 |    93375 |    88145 |   595617 |    49774 |     1145 |  20 |  0.887 |
1064.16/152.84	c (147,0) c |  6 |    631 |    1440898 |     745839 |     9526 |    98647 |    87106 |   583967 |    50447 |     1140 |  20 |  0.848 |
1064.16/152.84	c (147,0) c |  7 |    725 |    1424721 |     744418 |     9516 |    94253 |    81953 |   599360 |    51025 |     1145 |  20 |  0.887 |
1064.16/152.84	c (147,0) c 
1064.16/152.84	c (147,0) c synthesis     5932776 conflicts   436725776 propagations     5657 conflicts/sec   416411 propagations/sec
1064.16/152.84	c (147,0) c real: 147.314 s, cpu: 1048.78 s, memory: 753.64 Mb
1186.51/172.87	c (167,0) c
1186.51/172.87	c (167,0) c real time : 167.343 s
1186.51/172.87	c (167,0) c cpu time  : 1170.88 s
1186.51/172.87	c (167,0) c
1186.51/172.87	c (167,0) c
1186.51/172.87	c (167,0) c
1186.51/172.87	c (167,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1186.51/172.87	c (167,0) c
1186.51/172.87	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.87	c (167,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1186.51/172.87	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.87	c (167,0) c | Conflicts     |         6300307 |     781738 |     784762 |     786690 |     784596 |     795811 |     787303 |     792942 |     786465 |
1186.51/172.87	c (167,0) c | Decisions     |        12112181 |    1498093 |    1517925 |    1500462 |    1512750 |    1528901 |    1512155 |    1536213 |    1505682 |
1186.51/172.87	c (167,0) c | Propagations  |       465595019 |   57881534 |   58024244 |   58011408 |   58581720 |   58281075 |   58431335 |   58752281 |   57631422 |
1186.51/172.87	c (167,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1186.51/172.87	c (167,0) c | SimpDBs       |              74 |          9 |         11 |          8 |          7 |         11 |          9 |          8 |         11 |
1186.51/172.87	c (167,0) c | Restarts      |            5708 |        699 |        781 |        703 |        755 |        735 |        641 |        657 |        737 |
1186.51/172.87	c (167,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1186.51/172.87	c (167,0) c | PropBinClauses|       985025874 |  124653474 |  122275169 |  123316247 |  123598241 |  121734693 |  123354588 |  124322299 |  121771163 |
1186.51/172.87	c (167,0) c | PropPreBlocker|     33899107495 | 4192721443 | 4225953396 | 4261471866 | 4241584150 | 4244184410 | 4245307400 | 4255127499 | 4232757331 |
1186.51/172.87	c (167,0) c | PropNotBlocker|      5755541499 |  735168159 |  721012054 |  725622287 |  721186962 |  713131724 |  710807573 |  713742040 |  714870700 |
1186.51/172.87	c (167,0) c | LitFullScans  |     60381519215 | 7548485374 | 7543188360 | 7555028518 | 7543041423 | 7542944452 | 7555161898 | 7543014557 | 7550654633 |
1186.51/172.87	c (167,0) c | LitScanFracts |         8659281 |    1277255 |    1171858 |    1018069 |    1035444 |     939049 |    1156912 |    1009945 |    1050749 |
1186.51/172.87	c (167,0) c | DecisionLevel0|            5806 |        720 |        793 |        712 |        765 |        749 |        651 |        668 |        748 |
1186.51/172.87	c (167,0) c | Periods       |           10061 |       1257 |       1257 |       1259 |       1257 |       1257 |       1259 |       1257 |       1258 |
1186.51/172.87	c (167,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1186.51/172.87	c (167,0) c | Avg_Trail     |                 |        626 |        627 |        633 |        631 |        629 |        625 |        628 |        633 |
1186.51/172.87	c (167,0) c | Avg_DL        |                 |         21 |         21 |         22 |         21 |         22 |         21 |         22 |         22 |
1186.51/172.87	c (167,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1186.51/172.87	c (167,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1186.51/172.87	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.87	c (167,0) c | Exported      |          721178 |      85799 |      90920 |      92393 |      91390 |      92085 |      92727 |      90378 |      85486 |
1186.51/172.87	c (167,0) c | Imported      |         4986101 |     630019 |     620691 |     621967 |     623183 |     619316 |     619617 |     621150 |     630158 |
1186.51/172.87	c (167,0) c | Good          |           13849 |       1770 |       1716 |       1761 |       1770 |       1700 |       1713 |       1704 |       1715 |
1186.51/172.87	c (167,0) c | Purge         |         4972252 |     628249 |     618975 |     620206 |     621413 |     617616 |     617904 |     619446 |     628443 |
1186.51/172.87	c (167,0) c | Promoted      |          439604 |      56034 |      54311 |      54990 |      55129 |      54902 |      53184 |      55344 |      55710 |
1186.51/172.87	c (167,0) c | Remove_Imp    |         3933714 |     504329 |     491649 |     487034 |     491316 |     486324 |     487473 |     496269 |     489320 |
1186.51/172.87	c (167,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1186.51/172.87	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.87	c (167,0) c | Unaries       |                 |         21 |         12 |          9 |         10 |         14 |         10 |         11 |         11 |
1186.51/172.87	c (167,0) c | Binaries      |                 |        240 |        254 |        228 |        213 |        287 |        267 |        268 |        277 |
1186.51/172.87	c (167,0) c | Glues         |                 |        912 |       1020 |        962 |        949 |       1051 |        979 |       1009 |       1003 |
1186.51/172.87	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.87	c (167,0) c | Orig_Seen     |            87 % |       9426 |       9581 |       9417 |       9374 |       9543 |       9473 |       9533 |       9519 |
1186.51/172.87	c (167,0) c | Diff Orig seen|                 |      X     |        155 | -        9 | -       52 |        117 |         47 |        107 |         93 |
1186.51/172.87	c (167,0) c | Hamming       |            10 % |      X     |        276 |        249 |        255 |        272 |        259 |        263 |        241 |
1186.51/172.87	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.87	c (167,0) c | RunningTime   |                 |  158.2  95%|  166.3  99%|  132.6  80%|  142.3  86%|  151.7  91%|  137.4  83%|  149.1  90%|  136.6  82%|
1186.51/172.87	c (167,0) c | WaitingTime   |                 |    7.2   4%|    0.6   0%|   32.7  20%|   23.1  14%|   14.5   9%|   28.0  17%|   16.2  10%|   28.7  17%|
1186.51/172.87	c (167,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|
1186.51/172.87	c (167,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%|
1186.51/172.87	c (167,0) c | SolvingTime   |                 |  165.6     |  167.2     |  165.7     |  165.8     |  166.6     |  165.7     |  165.7     |  165.7     |
1186.51/172.87	c (167,0) c | PropagationTim|                 |  102.9  62%|   93.6  56%|  129.3  78%|  120.7  73%|  104.7  63%|  119.5  72%|  109.5  66%|  121.3  73%|
1186.51/172.87	c (167,0) c | AnalysisTime  |                 |   59.3  36%|   70.2  42%|   32.7  20%|   41.4  25%|   58.4  35%|   42.7  26%|   52.5  32%|   40.7  25%|
1186.51/172.87	c (167,0) c | ReductionTime |                 |    1.3   1%|    1.3   1%|    1.5   1%|    1.4   1%|    1.4   1%|    1.4   1%|    1.4   1%|    1.4   1%|
1186.51/172.87	c (167,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|
1186.51/172.87	c (167,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%|
1186.51/172.87	c (167,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%|
1186.51/172.87	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.87	c (167,0) c
1186.51/172.87	c (167,0) c
1186.51/172.87	c (167,0) c Threads : 8
1186.51/172.87	c (167,0) c Winner : 0
1186.51/172.87	c (167,0) c Conflicts_0 : 781738
1186.51/172.87	c (167,0) c Conflicts_1 : 784762
1186.51/172.87	c (167,0) c Conflicts_2 : 786690
1186.51/172.87	c (167,0) c Conflicts_3 : 784596
1186.51/172.87	c (167,0) c Conflicts_4 : 795811
1186.51/172.87	c (167,0) c Conflicts_5 : 787303
1186.51/172.87	c (167,0) c Conflicts_6 : 792942
1186.51/172.87	c (167,0) c Conflicts_7 : 786465
1186.51/172.87	c (167,0) c Conflicts_total : 6300307
1186.51/172.87	c (167,0) c Conflicts_winner : 781738
1186.51/172.87	c (167,0) c Decisions_0 : 1498093
1186.51/172.87	c (167,0) c Decisions_1 : 1517925
1186.51/172.87	c (167,0) c Decisions_2 : 1500462
1186.51/172.87	c (167,0) c Decisions_3 : 1512750
1186.51/172.87	c (167,0) c Decisions_4 : 1528901
1186.51/172.87	c (167,0) c Decisions_5 : 1512155
1186.51/172.87	c (167,0) c Decisions_6 : 1536213
1186.51/172.87	c (167,0) c Decisions_7 : 1505682
1186.51/172.87	c (167,0) c Decisions_total : 12112181
1186.51/172.87	c (167,0) c Decisions_winner : 1498093
1186.51/172.87	c (167,0) c Propagations_0 : 57881534
1186.51/172.87	c (167,0) c Propagations_1 : 58024244
1186.51/172.87	c (167,0) c Propagations_2 : 58011408
1186.51/172.87	c (167,0) c Propagations_3 : 58581720
1186.51/172.87	c (167,0) c Propagations_4 : 58281075
1186.51/172.87	c (167,0) c Propagations_5 : 58431335
1186.51/172.87	c (167,0) c Propagations_6 : 58752281
1186.51/172.87	c (167,0) c Propagations_7 : 57631422
1186.51/172.87	c (167,0) c Propagations_total : 465595019
1186.51/172.87	c (167,0) c Propagations_winner : 57881534
1186.51/172.87	c (167,0) c ReduceDBs_0 : 24
1186.51/172.87	c (167,0) c ReduceDBs_1 : 24
1186.51/172.87	c (167,0) c ReduceDBs_2 : 24
1186.51/172.87	c (167,0) c ReduceDBs_3 : 24
1186.51/172.87	c (167,0) c ReduceDBs_4 : 24
1186.51/172.87	c (167,0) c ReduceDBs_5 : 24
1186.51/172.87	c (167,0) c ReduceDBs_6 : 24
1186.51/172.87	c (167,0) c ReduceDBs_7 : 24
1186.51/172.87	c (167,0) c ReduceDBs_total : 192
1186.51/172.87	c (167,0) c ReduceDBs_winner : 24
1186.51/172.87	c (167,0) c SimpDBs_0 : 9
1186.51/172.87	c (167,0) c SimpDBs_1 : 11
1186.51/172.87	c (167,0) c SimpDBs_2 : 8
1186.51/172.87	c (167,0) c SimpDBs_3 : 7
1186.51/172.87	c (167,0) c SimpDBs_4 : 11
1186.51/172.87	c (167,0) c SimpDBs_5 : 9
1186.51/172.87	c (167,0) c SimpDBs_6 : 8
1186.51/172.87	c (167,0) c SimpDBs_7 : 11
1186.51/172.87	c (167,0) c SimpDBs_total : 74
1186.51/172.87	c (167,0) c SimpDBs_winner : 9
1186.51/172.87	c (167,0) c Restarts_0 : 699
1186.51/172.87	c (167,0) c Restarts_1 : 781
1186.51/172.87	c (167,0) c Restarts_2 : 703
1186.51/172.87	c (167,0) c Restarts_3 : 755
1186.51/172.87	c (167,0) c Restarts_4 : 735
1186.51/172.87	c (167,0) c Restarts_5 : 641
1186.51/172.87	c (167,0) c Restarts_6 : 657
1186.51/172.87	c (167,0) c Restarts_7 : 737
1186.51/172.87	c (167,0) c Restarts_total : 5708
1186.51/172.87	c (167,0) c Restarts_winner : 699
1186.51/172.87	c (167,0) c ForcedImports_0 : 0
1186.51/172.87	c (167,0) c ForcedImports_1 : 0
1186.51/172.87	c (167,0) c ForcedImports_2 : 0
1186.51/172.87	c (167,0) c ForcedImports_3 : 0
1186.51/172.87	c (167,0) c ForcedImports_4 : 0
1186.51/172.87	c (167,0) c ForcedImports_5 : 0
1186.51/172.87	c (167,0) c ForcedImports_6 : 0
1186.51/172.87	c (167,0) c ForcedImports_7 : 0
1186.51/172.87	c (167,0) c ForcedImports_total : 0
1186.51/172.87	c (167,0) c ForcedImports_winner : 0
1186.51/172.87	c (167,0) c PropsBinClauses_0 : 124653474
1186.51/172.87	c (167,0) c PropsBinClauses_1 : 122275169
1186.51/172.87	c (167,0) c PropsBinClauses_2 : 123316247
1186.51/172.87	c (167,0) c PropsBinClauses_3 : 123598241
1186.51/172.87	c (167,0) c PropsBinClauses_4 : 121734693
1186.51/172.87	c (167,0) c PropsBinClauses_5 : 123354588
1186.51/172.87	c (167,0) c PropsBinClauses_6 : 124322299
1186.51/172.87	c (167,0) c PropsBinClauses_7 : 121771163
1186.51/172.87	c (167,0) c PropsBinClauses_total : 985025874
1186.51/172.87	c (167,0) c PropsBinClauses_winner : 124653474
1186.51/172.87	c (167,0) c PropsPreBlocker_0 : 4192721443
1186.51/172.87	c (167,0) c PropsPreBlocker_1 : 4225953396
1186.51/172.87	c (167,0) c PropsPreBlocker_2 : 4261471866
1186.51/172.87	c (167,0) c PropsPreBlocker_3 : 4241584150
1186.51/172.87	c (167,0) c PropsPreBlocker_4 : 4244184410
1186.51/172.87	c (167,0) c PropsPreBlocker_5 : 4245307400
1186.51/172.87	c (167,0) c PropsPreBlocker_6 : 4255127499
1186.51/172.87	c (167,0) c PropsPreBlocker_7 : 4232757331
1186.51/172.87	c (167,0) c PropsPreBlocker_total : 33899107495
1186.51/172.87	c (167,0) c PropsPreBlocker_winner : 4192721443
1186.51/172.87	c (167,0) c PropsNotBlocker_0 : 735168159
1186.51/172.87	c (167,0) c PropsNotBlocker_1 : 721012054
1186.51/172.87	c (167,0) c PropsNotBlocker_2 : 725622287
1186.51/172.87	c (167,0) c PropsNotBlocker_3 : 721186962
1186.51/172.87	c (167,0) c PropsNotBlocker_4 : 713131724
1186.51/172.87	c (167,0) c PropsNotBlocker_5 : 710807573
1186.51/172.87	c (167,0) c PropsNotBlocker_6 : 713742040
1186.51/172.87	c (167,0) c PropsNotBlocker_7 : 714870700
1186.51/172.87	c (167,0) c PropsNotBlocker_total : 5755541499
1186.51/172.87	c (167,0) c PropsNotBlocker_winner : 735168159
1186.51/172.87	c (167,0) c PropsLitFullScans_0 : 7548485374
1186.51/172.87	c (167,0) c PropsLitFullScans_1 : 7543188360
1186.51/172.87	c (167,0) c PropsLitFullScans_2 : 7555028518
1186.51/172.87	c (167,0) c PropsLitFullScans_3 : 7543041423
1186.51/172.87	c (167,0) c PropsLitFullScans_4 : 7542944452
1186.51/172.87	c (167,0) c PropsLitFullScans_5 : 7555161898
1186.51/172.87	c (167,0) c PropsLitFullScans_6 : 7543014557
1186.51/172.87	c (167,0) c PropsLitFullScans_7 : 7550654633
1186.51/172.87	c (167,0) c PropsLitFullScans_total : 60381519215
1186.51/172.87	c (167,0) c PropsLitFullScans_winner : 7548485374
1186.51/172.87	c (167,0) c LitScanFractions_0 : 1277255
1186.51/172.87	c (167,0) c LitScanFractions_1 : 1171858
1186.51/172.87	c (167,0) c LitScanFractions_2 : 1018069
1186.51/172.87	c (167,0) c LitScanFractions_3 : 1035444
1186.51/172.87	c (167,0) c LitScanFractions_4 : 939049
1186.51/172.87	c (167,0) c LitScanFractions_5 : 1156912
1186.51/172.87	c (167,0) c LitScanFractions_6 : 1009945
1186.51/172.87	c (167,0) c LitScanFractions_7 : 1050749
1186.51/172.87	c (167,0) c LitScanFractions_total : 8659281
1186.51/172.87	c (167,0) c LitScanFractions_winner : 1277255
1186.51/172.87	c (167,0) c DecisionLevel0_0 : 720
1186.51/172.87	c (167,0) c DecisionLevel0_1 : 793
1186.51/172.87	c (167,0) c DecisionLevel0_2 : 712
1186.51/172.87	c (167,0) c DecisionLevel0_3 : 765
1186.51/172.87	c (167,0) c DecisionLevel0_4 : 749
1186.51/172.87	c (167,0) c DecisionLevel0_5 : 651
1186.51/172.87	c (167,0) c DecisionLevel0_6 : 668
1186.51/172.87	c (167,0) c DecisionLevel0_7 : 748
1186.51/172.87	c (167,0) c DecisionLevel0_total : 5806
1186.51/172.87	c (167,0) c DecisionLevel0_winner : 720
1186.51/172.87	c (167,0) c Periods_0 : 1257
1186.51/172.87	c (167,0) c Periods_1 : 1257
1186.51/172.87	c (167,0) c Periods_2 : 1259
1186.51/172.87	c (167,0) c Periods_3 : 1257
1186.51/172.87	c (167,0) c Periods_4 : 1257
1186.51/172.87	c (167,0) c Periods_5 : 1259
1186.51/172.87	c (167,0) c Periods_6 : 1257
1186.51/172.87	c (167,0) c Periods_7 : 1258
1186.51/172.87	c (167,0) c Periods_total : 10061
1186.51/172.87	c (167,0) c Periods_winner : 1257
1186.51/172.87	c (167,0) c Margin_0 : 20
1186.51/172.87	c (167,0) c Margin_1 : 20
1186.51/172.87	c (167,0) c Margin_2 : 20
1186.51/172.87	c (167,0) c Margin_3 : 20
1186.51/172.87	c (167,0) c Margin_4 : 20
1186.51/172.87	c (167,0) c Margin_5 : 20
1186.51/172.87	c (167,0) c Margin_6 : 20
1186.51/172.87	c (167,0) c Margin_7 : 20
1186.51/172.87	c (167,0) c Margin_total : 160
1186.51/172.87	c (167,0) c Margin_winner : 20
1186.51/172.87	c (167,0) c Exported_0 : 85799
1186.51/172.87	c (167,0) c Exported_1 : 90920
1186.51/172.88	c (167,0) c Exported_2 : 92393
1186.51/172.88	c (167,0) c Exported_3 : 91390
1186.51/172.88	c (167,0) c Exported_4 : 92085
1186.51/172.88	c (167,0) c Exported_5 : 92727
1186.51/172.88	c (167,0) c Exported_6 : 90378
1186.51/172.88	c (167,0) c Exported_7 : 85486
1186.51/172.88	c (167,0) c Exported_total : 721178
1186.51/172.88	c (167,0) c Exported_winner : 85799
1186.51/172.88	c (167,0) c Imported_0 : 630019
1186.51/172.88	c (167,0) c Imported_1 : 620691
1186.51/172.88	c (167,0) c Imported_2 : 621967
1186.51/172.88	c (167,0) c Imported_3 : 623183
1186.51/172.88	c (167,0) c Imported_4 : 619316
1186.51/172.88	c (167,0) c Imported_5 : 619617
1186.51/172.88	c (167,0) c Imported_6 : 621150
1186.51/172.88	c (167,0) c Imported_7 : 630158
1186.51/172.88	c (167,0) c Imported_total : 4986101
1186.51/172.88	c (167,0) c Imported_winner : 630019
1186.51/172.88	c (167,0) c Good_0 : 1770
1186.51/172.88	c (167,0) c Good_1 : 1716
1186.51/172.88	c (167,0) c Good_2 : 1761
1186.51/172.88	c (167,0) c Good_3 : 1770
1186.51/172.88	c (167,0) c Good_4 : 1700
1186.51/172.88	c (167,0) c Good_5 : 1713
1186.51/172.88	c (167,0) c Good_6 : 1704
1186.51/172.88	c (167,0) c Good_7 : 1715
1186.51/172.88	c (167,0) c Good_total : 13849
1186.51/172.88	c (167,0) c Good_winner : 1770
1186.51/172.88	c (167,0) c Purge_0 : 628249
1186.51/172.88	c (167,0) c Purge_1 : 618975
1186.51/172.88	c (167,0) c Purge_2 : 620206
1186.51/172.88	c (167,0) c Purge_3 : 621413
1186.51/172.88	c (167,0) c Purge_4 : 617616
1186.51/172.88	c (167,0) c Purge_5 : 617904
1186.51/172.88	c (167,0) c Purge_6 : 619446
1186.51/172.88	c (167,0) c Purge_7 : 628443
1186.51/172.88	c (167,0) c Purge_total : 4972252
1186.51/172.88	c (167,0) c Purge_winner : 628249
1186.51/172.88	c (167,0) c Promoted_0 : 56034
1186.51/172.88	c (167,0) c Promoted_1 : 54311
1186.51/172.88	c (167,0) c Promoted_2 : 54990
1186.51/172.88	c (167,0) c Promoted_3 : 55129
1186.51/172.88	c (167,0) c Promoted_4 : 54902
1186.51/172.88	c (167,0) c Promoted_5 : 53184
1186.51/172.88	c (167,0) c Promoted_6 : 55344
1186.51/172.88	c (167,0) c Promoted_7 : 55710
1186.51/172.88	c (167,0) c Promoted_total : 439604
1186.51/172.88	c (167,0) c Promoted_winner : 56034
1186.51/172.88	c (167,0) c Remove_Imp_0 : 504329
1186.51/172.88	c (167,0) c Remove_Imp_1 : 491649
1186.51/172.88	c (167,0) c Remove_Imp_2 : 487034
1186.51/172.88	c (167,0) c Remove_Imp_3 : 491316
1186.51/172.88	c (167,0) c Remove_Imp_4 : 486324
1186.51/172.88	c (167,0) c Remove_Imp_5 : 487473
1186.51/172.88	c (167,0) c Remove_Imp_6 : 496269
1186.51/172.88	c (167,0) c Remove_Imp_7 : 489320
1186.51/172.88	c (167,0) c Remove_Imp_total : 3933714
1186.51/172.88	c (167,0) c Remove_Imp_winner : 504329
1186.51/172.88	c (167,0) c Blocked_Reuse_0 : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_1 : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_2 : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_3 : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_4 : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_5 : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_6 : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_7 : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_total : 0
1186.51/172.88	c (167,0) c Blocked_Reuse_winner : 0
1186.51/172.88	c (167,0) c Unaries_0 : 21
1186.51/172.88	c (167,0) c Unaries_1 : 12
1186.51/172.88	c (167,0) c Unaries_2 : 9
1186.51/172.88	c (167,0) c Unaries_3 : 10
1186.51/172.88	c (167,0) c Unaries_4 : 14
1186.51/172.88	c (167,0) c Unaries_5 : 10
1186.51/172.88	c (167,0) c Unaries_6 : 11
1186.51/172.88	c (167,0) c Unaries_7 : 11
1186.51/172.88	c (167,0) c Unaries_total : 98
1186.51/172.88	c (167,0) c Unaries_winner : 21
1186.51/172.88	c (167,0) c Binaries_0 : 240
1186.51/172.88	c (167,0) c Binaries_1 : 254
1186.51/172.88	c (167,0) c Binaries_2 : 228
1186.51/172.88	c (167,0) c Binaries_3 : 213
1186.51/172.88	c (167,0) c Binaries_4 : 287
1186.51/172.88	c (167,0) c Binaries_5 : 267
1186.51/172.88	c (167,0) c Binaries_6 : 268
1186.51/172.88	c (167,0) c Binaries_7 : 277
1186.51/172.88	c (167,0) c Binaries_total : 2034
1186.51/172.88	c (167,0) c Binaries_winner : 240
1186.51/172.88	c (167,0) c Glues_0 : 912
1186.51/172.88	c (167,0) c Glues_1 : 1020
1186.51/172.88	c (167,0) c Glues_2 : 962
1186.51/172.88	c (167,0) c Glues_3 : 949
1186.51/172.88	c (167,0) c Glues_4 : 1051
1186.51/172.88	c (167,0) c Glues_5 : 979
1186.51/172.88	c (167,0) c Glues_6 : 1009
1186.51/172.88	c (167,0) c Glues_7 : 1003
1186.51/172.88	c (167,0) c Glues_total : 7885
1186.51/172.88	c (167,0) c Glues_winner : 912
1186.51/172.88	c (167,0) c RunningTime_0 : 158.155137
1186.51/172.88	c (167,0) c RunningTime_1 : 166.257238
1186.51/172.88	c (167,0) c RunningTime_2 : 132.597048
1186.51/172.88	c (167,0) c RunningTime_3 : 142.304282
1186.51/172.88	c (167,0) c RunningTime_4 : 151.719321
1186.51/172.88	c (167,0) c RunningTime_5 : 137.404629
1186.51/172.88	c (167,0) c RunningTime_6 : 149.119121
1186.51/172.88	c (167,0) c RunningTime_7 : 136.580765
1186.51/172.88	c (167,0) c RunningTime_total : 1174.137541
1186.51/172.88	c (167,0) c RunningTime_winner : 158.155137
1186.51/172.88	c (167,0) c WaitingTime_0 : 7.152575
1186.51/172.88	c (167,0) c WaitingTime_1 : 0.644864
1186.51/172.88	c (167,0) c WaitingTime_2 : 32.740551
1186.51/172.88	c (167,0) c WaitingTime_3 : 23.078814
1186.51/172.88	c (167,0) c WaitingTime_4 : 14.518756
1186.51/172.88	c (167,0) c WaitingTime_5 : 27.970361
1186.51/172.88	c (167,0) c WaitingTime_6 : 16.186588
1186.51/172.88	c (167,0) c WaitingTime_7 : 28.673512
1186.51/172.88	c (167,0) c WaitingTime_total : 150.966020
1186.51/172.88	c (167,0) c WaitingTime_winner : 7.152575
1186.51/172.88	c (167,0) c ExchangingTime_0 : 0.323538
1186.51/172.88	c (167,0) c ExchangingTime_1 : 0.326149
1186.51/172.88	c (167,0) c ExchangingTime_2 : 0.393173
1186.51/172.88	c (167,0) c ExchangingTime_3 : 0.402339
1186.51/172.88	c (167,0) c ExchangingTime_4 : 0.308842
1186.51/172.88	c (167,0) c ExchangingTime_5 : 0.356752
1186.51/172.88	c (167,0) c ExchangingTime_6 : 0.412390
1186.51/172.88	c (167,0) c ExchangingTime_7 : 0.383355
1186.51/172.88	c (167,0) c ExchangingTime_total : 2.906536
1186.51/172.88	c (167,0) c ExchangingTime_winner : 0.323538
1186.51/172.88	c (167,0) c PeriodProcTime_0 : 0.011670
1186.51/172.88	c (167,0) c PeriodProcTime_1 : 0.016742
1186.51/172.88	c (167,0) c PeriodProcTime_2 : 0.012410
1186.51/172.88	c (167,0) c PeriodProcTime_3 : 0.013337
1186.51/172.88	c (167,0) c PeriodProcTime_4 : 0.012218
1186.51/172.88	c (167,0) c PeriodProcTime_5 : 0.012643
1186.51/172.88	c (167,0) c PeriodProcTime_6 : 0.012726
1186.51/172.88	c (167,0) c PeriodProcTime_7 : 0.013451
1186.51/172.88	c (167,0) c PeriodProcTime_total : 0.105197
1186.51/172.88	c (167,0) c PeriodProcTime_winner : 0.011670
1186.51/172.88	c (167,0) c SolvingTime_0 : 165.642920
1186.51/172.88	c (167,0) c SolvingTime_1 : 167.244993
1186.51/172.88	c (167,0) c SolvingTime_2 : 165.743181
1186.51/172.88	c (167,0) c SolvingTime_3 : 165.798772
1186.51/172.88	c (167,0) c SolvingTime_4 : 166.559136
1186.51/172.88	c (167,0) c SolvingTime_5 : 165.744384
1186.51/172.88	c (167,0) c SolvingTime_6 : 165.730825
1186.51/172.88	c (167,0) c SolvingTime_7 : 165.651083
1186.51/172.88	c (167,0) c SolvingTime_total : 1328.115294
1186.51/172.88	c (167,0) c SolvingTime_winner : 165.642920
1186.51/172.88	c (167,0) c PropagationTime_0 : 102.942136
1186.51/172.88	c (167,0) c PropagationTime_1 : 93.589763
1186.51/172.88	c (167,0) c PropagationTime_2 : 129.250036
1186.51/172.88	c (167,0) c PropagationTime_3 : 120.706768
1186.51/172.88	c (167,0) c PropagationTime_4 : 104.658024
1186.51/172.88	c (167,0) c PropagationTime_5 : 119.523179
1186.51/172.88	c (167,0) c PropagationTime_6 : 109.547754
1186.51/172.88	c (167,0) c PropagationTime_7 : 121.305240
1186.51/172.88	c (167,0) c PropagationTime_total : 901.522900
1186.51/172.88	c (167,0) c PropagationTime_winner : 102.942136
1186.51/172.88	c (167,0) c AnalysisTime_0 : 59.276466
1186.51/172.88	c (167,0) c AnalysisTime_1 : 70.179771
1186.51/172.88	c (167,0) c AnalysisTime_2 : 32.717796
1186.51/172.88	c (167,0) c AnalysisTime_3 : 41.421756
1186.51/172.88	c (167,0) c AnalysisTime_4 : 58.404929
1186.51/172.88	c (167,0) c AnalysisTime_5 : 42.651026
1186.51/172.88	c (167,0) c AnalysisTime_6 : 52.547221
1186.51/172.88	c (167,0) c AnalysisTime_7 : 40.746996
1186.51/172.88	c (167,0) c AnalysisTime_total : 397.945960
1186.51/172.88	c (167,0) c AnalysisTime_winner : 59.276466
1186.51/172.88	c (167,0) c ReductionTime_0 : 1.315740
1186.51/172.88	c (167,0) c ReductionTime_1 : 1.307211
1186.51/172.88	c (167,0) c ReductionTime_2 : 1.472929
1186.51/172.88	c (167,0) c ReductionTime_3 : 1.429665
1186.51/172.88	c (167,0) c ReductionTime_4 : 1.402664
1186.51/172.88	c (167,0) c ReductionTime_5 : 1.446647
1186.51/172.88	c (167,0) c ReductionTime_6 : 1.408973
1186.51/172.88	c (167,0) c ReductionTime_7 : 1.412349
1186.51/172.88	c (167,0) c ReductionTime_total : 11.196180
1186.51/172.88	c (167,0) c ReductionTime_winner : 1.315740
1186.51/172.88	c (167,0) c SimplifyTime_0 : 0.041617
1186.51/172.88	c (167,0) c SimplifyTime_1 : 0.043463
1186.51/172.88	c (167,0) c SimplifyTime_2 : 0.086156
1186.51/172.88	c (167,0) c SimplifyTime_3 : 0.025989
1186.51/172.88	c (167,0) c SimplifyTime_4 : 0.026023
1186.51/172.88	c (167,0) c SimplifyTime_5 : 0.024390
1186.51/172.88	c (167,0) c SimplifyTime_6 : 0.019687
1186.51/172.88	c (167,0) c SimplifyTime_7 : 0.061791
1186.51/172.88	c (167,0) c SimplifyTime_total : 0.329114
1186.51/172.88	c (167,0) c SimplifyTime_winner : 0.041617
1186.51/172.88	c (167,0) c UsedRateTime_0 : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_1 : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_2 : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_3 : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_4 : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_5 : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_6 : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_7 : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_total : 0.000000
1186.51/172.88	c (167,0) c UsedRateTime_winner : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_0 : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_1 : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_2 : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_3 : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_4 : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_5 : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_6 : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_7 : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_total : 0.000000
1186.51/172.88	c (167,0) c OverlapRateTime_winner : 0.000000
1186.51/172.88	c (167,0) c
1186.51/172.88	c (167,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1186.51/172.88	c (167,0) c
1186.51/172.88	c (167,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.88	c (167,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1186.51/172.88	c (167,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.88	c (167,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1186.51/172.88	c (167,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1186.51/172.88	c (167,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1186.51/172.88	c (167,0) c | Initial random_seed   |   86308644 | 1279651148 | 1171258071 | 1202076748 |  116390518 |  910711794 | 1513399442 | 1114231165 |
1186.51/172.88	c (167,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1186.51/172.88	c (167,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1186.51/172.88	c (167,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1186.51/172.88	c (167,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1186.51/172.88	c (167,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1186.51/172.88	c (167,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1186.51/172.88	c (167,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1186.51/172.88	c (167,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1186.51/172.88	c (167,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1186.51/172.88	c (167,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1186.51/172.88	c (167,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1186.51/172.88	c (167,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1186.51/172.88	c (167,0) 
1186.51/172.88	c (167,0) s UNSATISFIABLE
1186.51/172.89	c (167,0) SatSolver.solve End
1186.51/172.89	c (167,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1186.51/172.89	c (167,0) Show results Begin
1186.51/172.89	s UNSATISFIABLE
1186.51/172.89	c (167,0) Show results End
1186.51/172.89	c (167,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1186.51/172.90	c (167,0) 167,167,STOP-AFTER(ALL)
1186.51/172.90	c END-Prog: Tue Sep 24 18:33:09 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 (13738 MiB free)
  memory of node 1: 16384 MiB (14483 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405626-1569342675/watcher-4405626-1569342675 -o /tmp/evaluation-result-4405626-1569342675/solver-4405626-1569342675 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405626-1569342675.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
solver pid=19724, runsolver pid=19721
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100184 s]*
/proc/loadavg: 5.39 5.87 6.47 4/211 19746
/proc/meminfo: memFree=28803948/32770624 swapFree=66999256/67108860
[pid=19724] ppid=19721 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19724/stat : 19724 (scop.sh) S 19721 19724 18413 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510520531 115843072 349 33554432000 4194304 5098028 140728313496960 140728313494216 139960035910268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8953856 140728313504548 140728313504876 140728313504876 140728313507789 0
/proc/19724/statm: 28282 349 296 221 0 87 0
[pid=19727] ppid=19724 vsize=27314120 memory=106252 CPUtime=0.11 cores=0-7
/proc/19727/stat : 19727 (java) S 19724 19724 18413 0 -1 1077944320 6128 0 0 0 8 3 0 0 20 0 20 0 510520531 27969658880 26563 33554432000 4194304 4196468 140723448159616 140723448142160 140662969868023 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
/proc/19727/statm: 6828530 26563 2805 1 0 6790935 0
[pid=19727/tid=19728] ppid=19724 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/19727/task/19728/stat : 19728 (java) R 19724 19724 18413 0 -1 4202560 4240 0 0 0 6 2 0 0 20 0 20 0 510520531 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662941698088 140662955563850 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19729] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19729/stat : 19729 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662974109968 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19730] ppid=19724 vsize=27314120 memory=288370876747941504 CPUtime=0 cores=0-7
/proc/19727/task/19730/stat : 19730 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662392174992 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19731] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19731/stat : 19731 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662391122448 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19732] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19732/stat : 19732 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662390069904 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19733] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19733/stat : 19733 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662389017360 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19734] ppid=19724 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19727/task/19734/stat : 19734 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662387964816 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19735] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19735/stat : 19735 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662386912272 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19736] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19736/stat : 19736 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662385859728 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19737] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19737/stat : 19737 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520535 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662028273648 140662969879170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19738] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19738/stat : 19738 (java) S 19724 19724 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510520536 27969658880 26563 33554432000 4194304 4196468 140723448159616 140660917134240 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19739] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19739/stat : 19739 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520536 27969658880 26563 33554432000 4194304 4196468 140723448159616 140660648698864 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19740] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19740/stat : 19740 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520538 27969658880 26563 33554432000 4194304 4196468 140723448159616 140660274190544 140662969886619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19741] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19741/stat : 19741 (java) S 19724 19724 18413 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 510520538 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662027221488 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19742] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19742/stat : 19742 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662026168944 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19743] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19743/stat : 19743 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662025116400 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19744] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19744/stat : 19744 (java) S 19724 19724 18413 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662024063856 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19745] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19745/stat : 19745 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 26563 33554432000 4194304 4196468 140723448159616 140659776284896 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19746] ppid=19724 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19727/task/19746/stat : 19746 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 26563 33554432000 4194304 4196468 140723448159616 140662023010736 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107648 KiB

[startup+0.210544 s]*
/proc/loadavg: 5.39 5.87 6.47 2/211 19746
/proc/meminfo: memFree=28785980/32770624 swapFree=66999256/67108860
[pid=19724] ppid=19721 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19724/stat : 19724 (scop.sh) S 19721 19724 18413 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510520531 115843072 349 33554432000 4194304 5098028 140728313496960 140728313494216 139960035910268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8953856 140728313504548 140728313504876 140728313504876 140728313507789 0
/proc/19724/statm: 28282 349 296 221 0 87 0
[pid=19727] ppid=19724 vsize=27314120 memory=122864 CPUtime=0.24 cores=0-7
/proc/19727/stat : 19727 (java) S 19724 19724 18413 0 -1 1077944320 11151 0 0 0 20 4 0 0 20 0 20 0 510520531 27969658880 30716 33554432000 4194304 4196468 140723448159616 140723448142160 140662969868023 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
/proc/19727/statm: 6828530 30716 2893 1 0 6790935 0
[pid=19727/tid=19728] ppid=19724 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19727/task/19728/stat : 19728 (java) R 19724 19724 18413 0 -1 4202560 8847 0 0 0 16 4 0 0 20 0 20 0 510520531 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662941687440 140662951431556 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19729] ppid=19724 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/19727/task/19729/stat : 19729 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662974109968 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19730] ppid=19724 vsize=27314120 memory=140500596249359 CPUtime=0 cores=0-7
/proc/19727/task/19730/stat : 19730 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662392174992 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19731] ppid=19724 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19727/task/19731/stat : 19731 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662391122448 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19732] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19732/stat : 19732 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662390069904 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19733] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19733/stat : 19733 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662389017360 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19734] ppid=19724 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19727/task/19734/stat : 19734 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662387964816 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19735] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19735/stat : 19735 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662386912272 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19736] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19736/stat : 19736 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662385859728 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19737] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19737/stat : 19737 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520535 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662028273648 140662969879170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19738] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19738/stat : 19738 (java) S 19724 19724 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510520536 27969658880 30716 33554432000 4194304 4196468 140723448159616 140660917134240 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19739] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19739/stat : 19739 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520536 27969658880 30716 33554432000 4194304 4196468 140723448159616 140660648698864 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19740] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19740/stat : 19740 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520538 27969658880 30716 33554432000 4194304 4196468 140723448159616 140660274190544 140662969886619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19741] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19741/stat : 19741 (java) S 19724 19724 18413 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 510520538 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662027221488 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19742] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19742/stat : 19742 (java) S 19724 19724 18413 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662026168944 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19743] ppid=19724 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19727/task/19743/stat : 19743 (java) S 19724 19724 18413 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662025116400 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19744] ppid=19724 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/19727/task/19744/stat : 19744 (java) S 19724 19724 18413 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 510520539 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662024063856 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19745] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19745/stat : 19745 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 30716 33554432000 4194304 4196468 140723448159616 140659776284896 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19746] ppid=19724 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19727/task/19746/stat : 19746 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 30716 33554432000 4194304 4196468 140723448159616 140662023010736 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124260 KiB

[startup+0.31276 s]*
/proc/loadavg: 5.39 5.87 6.47 2/211 19746
/proc/meminfo: memFree=28781948/32770624 swapFree=66999256/67108860
[pid=19724] ppid=19721 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19724/stat : 19724 (scop.sh) S 19721 19724 18413 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510520531 115843072 349 33554432000 4194304 5098028 140728313496960 140728313494216 139960035910268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8953856 140728313504548 140728313504876 140728313504876 140728313507789 0
/proc/19724/statm: 28282 349 296 221 0 87 0
[pid=19727] ppid=19724 vsize=27314120 memory=127748 CPUtime=0.42 cores=0-7
/proc/19727/stat : 19727 (java) S 19724 19724 18413 0 -1 1077944320 12281 0 0 0 37 5 0 0 20 0 20 0 510520531 27969658880 31937 33554432000 4194304 4196468 140723448159616 140723448142160 140662969868023 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
/proc/19727/statm: 6828530 31937 3020 1 0 6790935 0
[pid=19727/tid=19728] ppid=19724 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/19727/task/19728/stat : 19728 (java) R 19724 19724 18413 0 -1 4202560 9787 0 0 0 26 4 0 0 20 0 20 0 510520531 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662941662696 140662953948510 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19729] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19729/stat : 19729 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662974109968 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19730] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19730/stat : 19730 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662392174992 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19731] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19731/stat : 19731 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662391122448 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19732] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19732/stat : 19732 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662390069904 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19733] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19733/stat : 19733 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662389017360 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19734] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19734/stat : 19734 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662387964816 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19735] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19735/stat : 19735 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662386912272 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19736] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19736/stat : 19736 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662385859728 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19737] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19737/stat : 19737 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520535 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662028273648 140662969879170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19738] ppid=19724 vsize=27314120 memory=281000919899520 CPUtime=0 cores=0-7
/proc/19727/task/19738/stat : 19738 (java) S 19724 19724 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510520536 27969658880 31937 33554432000 4194304 4196468 140723448159616 140660917134240 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19739] ppid=19724 vsize=27314120 memory=281000919904128 CPUtime=0 cores=0-7
/proc/19727/task/19739/stat : 19739 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520536 27969658880 31937 33554432000 4194304 4196468 140723448159616 140660648698864 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19740] ppid=19724 vsize=27314120 memory=281000919908736 CPUtime=0 cores=0-7
/proc/19727/task/19740/stat : 19740 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520538 27969658880 31937 33554432000 4194304 4196468 140723448159616 140660274190544 140662969886619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19741] ppid=19724 vsize=27314120 memory=281000919913344 CPUtime=0 cores=0-7
/proc/19727/task/19741/stat : 19741 (java) S 19724 19724 18413 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 20 0 510520538 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662027221488 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19742] ppid=19724 vsize=27314120 memory=281000919917952 CPUtime=0 cores=0-7
/proc/19727/task/19742/stat : 19742 (java) S 19724 19724 18413 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662026168944 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19743] ppid=19724 vsize=27314120 memory=281000919922560 CPUtime=0.02 cores=0-7
/proc/19727/task/19743/stat : 19743 (java) R 19724 19724 18413 0 -1 4202560 218 0 0 0 2 0 0 0 20 0 20 0 510520539 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662025116400 140662953399680 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19744] ppid=19724 vsize=27314120 memory=281000919927168 CPUtime=0.07 cores=0-7
/proc/19727/task/19744/stat : 19744 (java) S 19724 19724 18413 0 -1 1077944384 530 0 0 0 7 0 0 0 20 0 20 0 510520539 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662024063856 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19745] ppid=19724 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19745/stat : 19745 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 31937 33554432000 4194304 4196468 140723448159616 140659776284896 140662969878229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19746] ppid=19724 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19727/task/19746/stat : 19746 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520539 27969658880 31937 33554432000 4194304 4196468 140723448159616 140662023010736 140662969879170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129144 KiB

[startup+0.702437 s]
/proc/loadavg: 5.39 5.87 6.47 2/211 19746
/proc/meminfo: memFree=28759208/32770624 swapFree=66999256/67108860
[pid=19724] ppid=19721 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19724/stat : 19724 (scop.sh) S 19721 19724 18413 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510520531 115843072 349 33554432000 4194304 5098028 140728313496960 140728313494216 139960035910268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8953856 140728313504548 140728313504876 140728313504876 140728313507789 0
/proc/19724/statm: 28282 349 296 221 0 87 0
[pid=19727] ppid=19724 vsize=27320392 memory=165352 CPUtime=1 cores=0-7
/proc/19727/stat : 19727 (java) S 19724 19724 18413 0 -1 1077944320 19896 0 0 0 93 7 0 0 20 0 20 0 510520531 27976081408 41338 33554432000 4194304 4196468 140723448159616 140723448142160 140662969868023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
/proc/19727/statm: 6830098 41338 3182 1 0 6791447 0
[pid=19727/tid=19728] ppid=19724 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/19727/task/19728/stat : 19728 (java) R 19724 19724 18413 0 -1 4202560 16872 0 0 0 61 6 0 0 20 0 20 0 510520531 27976081408 41338 33554432000 4194304 4196468 140723448159616 140662941705008 140662969879958 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19729] ppid=19724 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19729/stat : 19729 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510520534 27976081408 41338 33554432000 4194304 4196468 140723448159616 140662974109968 140662969878229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19730] ppid=19724 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19727/task/19730/stat : 19730 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510520534 27976081408 41338 33554432000 4194304 4196468 140723448159616 140662392174992 140662969878229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0
[pid=19727/tid=19731] ppid=19724 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/19727/task/19731/stat : 19731 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510520534 27976081408 41338 33554432000 4194304 4196468 140723448159616 140662391122448 140662969878229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140723448161002 140723448161430 140723448161430 140723448164303 0

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

/proc/19724/statm: 28282 369 311 221 0 87 0
[pid=19747] ppid=19724 vsize=8414124 memory=121464 CPUtime=1.35 cores=0-7
/proc/19747/stat : 19747 (java) S 19724 19724 18413 0 -1 1077944320 20349 0 0 0 126 9 0 0 20 0 24 0 510521009 8616062976 30366 33554432000 4194304 4196468 140724018868400 140724018850944 139620939517687 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
/proc/19747/statm: 2103531 30366 3203 1 0 2064875 0
[pid=19768] ppid=19747 vsize=776568 memory=543756 CPUtime=1172.72 cores=0-7
/proc/19768/stat : 19768 (manyglucose-4.1) S 19747 19724 18413 0 -1 1077944320 953724 0 0 0 117041 231 0 0 20 0 2 0 510521083 795205632 135939 33554432000 4194304 4454172 140730960653360 140730960651744 140659799162615 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 20873216 140730960659305 140730960659504 140730960659504 140730960662458 0
/proc/19768/statm: 194142 135939 419 64 0 189810 0
[pid=19768/tid=19774] ppid=19747 vsize=776568 memory=6946919326987872363 CPUtime=165.96 cores=0-7
/proc/19768/task/19774/stat : 19774 (manyglucose-4.1) R 19747 19724 18413 0 -1 4202560 131271 0 0 0 16574 22 0 0 20 0 2 0 510521086 795205632 135939 33554432000 4194304 4454172 140730960653360 140659775552648 4333329 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 20873216 140730960659305 140730960659504 140730960659504 140730960662458 0
[pid=19747/tid=19748] ppid=19724 vsize=8414124 memory=7810491213138252368 CPUtime=0.77 cores=0-7
/proc/19747/task/19748/stat : 19748 (java) S 19724 19724 18413 0 -1 1077944384 16851 0 0 0 72 5 0 0 20 0 24 0 510521010 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620911357856 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19749] ppid=19724 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19747/task/19749/stat : 19749 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620943760144 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19750] ppid=19724 vsize=8414124 memory=121464 CPUtime=0 cores=0-7
/proc/19747/task/19750/stat : 19750 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620743928720 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19751] ppid=19724 vsize=8414124 memory=543504 CPUtime=0 cores=0-7
/proc/19747/task/19751/stat : 19751 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620742876176 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19752] ppid=19724 vsize=8414124 memory=-7595718147998060693 CPUtime=0 cores=0-7
/proc/19747/task/19752/stat : 19752 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620741823632 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19753] ppid=19724 vsize=8414124 memory=8028674168966910323 CPUtime=0 cores=0-7
/proc/19747/task/19753/stat : 19753 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620740770064 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19754] ppid=19724 vsize=8414124 memory=-7523660553960122769 CPUtime=0 cores=0-7
/proc/19747/task/19754/stat : 19754 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620739717520 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19755] ppid=19724 vsize=8414124 memory=8475934422144292502 CPUtime=0 cores=0-7
/proc/19747/task/19755/stat : 19755 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620738664976 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19756] ppid=19724 vsize=8414124 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/19747/task/19756/stat : 19756 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620737612432 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19757] ppid=19724 vsize=8414124 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/19747/task/19757/stat : 19757 (java) S 19724 19724 18413 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510521012 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619764550128 139620939528834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19758] ppid=19724 vsize=8414124 memory=-7965959130280075168 CPUtime=0 cores=0-7
/proc/19747/task/19758/stat : 19758 (java) S 19724 19724 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510521013 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619588892064 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19759] ppid=19724 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19747/task/19759/stat : 19759 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521013 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619320456688 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19760] ppid=19724 vsize=8414124 memory=121464 CPUtime=0 cores=0-7
/proc/19747/task/19760/stat : 19760 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521015 8616062976 30366 33554432000 4194304 4196468 140724018868400 139618945948368 139620939536283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19761] ppid=19724 vsize=8414124 memory=599332 CPUtime=0.06 cores=0-7
/proc/19747/task/19761/stat : 19761 (java) S 19724 19724 18413 0 -1 1077944384 605 0 0 0 6 0 0 0 20 0 24 0 510521015 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619763496944 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19762] ppid=19724 vsize=8414124 memory=3504 CPUtime=0.08 cores=0-7
/proc/19747/task/19762/stat : 19762 (java) S 19724 19724 18413 0 -1 1077944384 391 0 0 0 8 0 0 0 20 0 24 0 510521015 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619762444400 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19763] ppid=19724 vsize=8414124 memory=64964 CPUtime=0.05 cores=0-7
/proc/19747/task/19763/stat : 19763 (java) S 19724 19724 18413 0 -1 1077944384 224 0 0 0 5 0 0 0 20 0 24 0 510521016 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619761391856 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19764] ppid=19724 vsize=8414124 memory=3028 CPUtime=0.21 cores=0-7
/proc/19747/task/19764/stat : 19764 (java) S 19724 19724 18413 0 -1 1077944384 736 0 0 0 21 0 0 0 20 0 24 0 510521016 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619760339312 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19765] ppid=19724 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19747/task/19765/stat : 19765 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510521016 8616062976 30366 33554432000 4194304 4196468 140724018868400 139618448042720 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19766] ppid=19724 vsize=8414124 memory=8996 CPUtime=0.11 cores=0-7
/proc/19747/task/19766/stat : 19766 (java) S 19724 19724 18413 0 -1 1077944384 13 0 0 0 3 8 0 0 20 0 24 0 510521016 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619759287216 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19769] ppid=19724 vsize=8414124 memory=6081357454143279440 CPUtime=0 cores=0-7
/proc/19747/task/19769/stat : 19769 (java) S 19724 19724 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510521084 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619751253696 139620939542297 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19771] ppid=19724 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/19747/task/19771/stat : 19771 (java) S 19724 19724 18413 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 510521084 8616062976 30366 33554432000 4194304 4196468 140724018868400 139617776942352 139620939539613 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19772] ppid=19724 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/19747/task/19772/stat : 19772 (java) S 19724 19724 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510521084 8616062976 30366 33554432000 4194304 4196468 140724018868400 139618045377936 139620939539613 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19781] ppid=19724 vsize=8414124 memory=2209 CPUtime=0 cores=0-7
/proc/19747/task/19781/stat : 19781 (java) S 19724 19724 18413 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 510521086 8616062976 30366 33554432000 4194304 4196468 140724018868400 139617508514992 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
Current children cumulated CPU time: 1186.11 s
Current children cumulated vsize: 9303820 KiB
Current children cumulated memory: 666696 KiB

[startup+172.801 s]
/proc/loadavg: 6.41 6.24 6.52 3/218 19791
/proc/meminfo: memFree=28249528/32770624 swapFree=66999256/67108860
[pid=19724] ppid=19721 vsize=113128 memory=1476 CPUtime=12.04 cores=0-7
/proc/19724/stat : 19724 (scop.sh) S 19721 19724 18413 0 -1 4202496 582 31991 0 0 0 0 1174 30 20 0 1 0 510520531 115843072 369 33554432000 4194304 5098028 140728313496960 140728313493704 139960035910268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8953856 140728313504548 140728313504876 140728313504876 140728313507789 0
/proc/19724/statm: 28282 369 311 221 0 87 0
[pid=19747] ppid=19724 vsize=8414124 memory=121464 CPUtime=1.35 cores=0-7
/proc/19747/stat : 19747 (java) S 19724 19724 18413 0 -1 1077944320 20349 0 0 0 126 9 0 0 20 0 24 0 510521009 8616062976 30366 33554432000 4194304 4196468 140724018868400 140724018850944 139620939517687 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
/proc/19747/statm: 2103531 30366 3203 1 0 2064875 0
[pid=19768] ppid=19747 vsize=776568 memory=543756 CPUtime=1173.12 cores=0-7
/proc/19768/stat : 19768 (manyglucose-4.1) S 19747 19724 18413 0 -1 1077944320 953781 0 0 0 117081 231 0 0 20 0 2 0 510521083 795205632 135939 33554432000 4194304 4454172 140730960653360 140730960651744 140659799162615 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 20873216 140730960659305 140730960659504 140730960659504 140730960662458 0
/proc/19768/statm: 194142 135939 419 64 0 189810 0
[pid=19768/tid=19774] ppid=19747 vsize=776568 memory=1476 CPUtime=166.36 cores=0-7
/proc/19768/task/19774/stat : 19774 (manyglucose-4.1) R 19747 19724 18413 0 -1 4202560 131328 0 0 0 16614 22 0 0 20 0 2 0 510521086 795205632 135939 33554432000 4194304 4454172 140730960653360 140659775552648 4333337 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 20873216 140730960659305 140730960659504 140730960659504 140730960662458 0
[pid=19747/tid=19748] ppid=19724 vsize=8414124 memory=121464 CPUtime=0.77 cores=0-7
/proc/19747/task/19748/stat : 19748 (java) S 19724 19724 18413 0 -1 1077944384 16851 0 0 0 72 5 0 0 20 0 24 0 510521010 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620911357856 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19749] ppid=19724 vsize=8414124 memory=543504 CPUtime=0 cores=0-7
/proc/19747/task/19749/stat : 19749 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620943760144 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19750] ppid=19724 vsize=8414124 memory=281000922497248 CPUtime=0 cores=0-7
/proc/19747/task/19750/stat : 19750 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620743928720 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19751] ppid=19724 vsize=8414124 memory=-2026666227646606628 CPUtime=0 cores=0-7
/proc/19747/task/19751/stat : 19751 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620742876176 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19752] ppid=19724 vsize=8414124 memory=16758962392322 CPUtime=0 cores=0-7
/proc/19747/task/19752/stat : 19752 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620741823632 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19753] ppid=19724 vsize=8414124 memory=3504 CPUtime=0 cores=0-7
/proc/19747/task/19753/stat : 19753 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620740770064 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19754] ppid=19724 vsize=8414124 memory=64964 CPUtime=0 cores=0-7
/proc/19747/task/19754/stat : 19754 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620739717520 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19755] ppid=19724 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/19747/task/19755/stat : 19755 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620738664976 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19756] ppid=19724 vsize=8414124 memory=-8672071836168909202 CPUtime=0 cores=0-7
/proc/19747/task/19756/stat : 19756 (java) S 19724 19724 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510521011 8616062976 30366 33554432000 4194304 4196468 140724018868400 139620737612432 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19757] ppid=19724 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19747/task/19757/stat : 19757 (java) S 19724 19724 18413 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510521012 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619764550128 139620939528834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19758] ppid=19724 vsize=8414124 memory=121464 CPUtime=0 cores=0-7
/proc/19747/task/19758/stat : 19758 (java) S 19724 19724 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510521013 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619588892064 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19759] ppid=19724 vsize=8414124 memory=601384 CPUtime=0 cores=0-7
/proc/19747/task/19759/stat : 19759 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521013 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619320456688 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19760] ppid=19724 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19747/task/19760/stat : 19760 (java) S 19724 19724 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510521015 8616062976 30366 33554432000 4194304 4196468 140724018868400 139618945948368 139620939536283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19761] ppid=19724 vsize=8414124 memory=121464 CPUtime=0.06 cores=0-7
/proc/19747/task/19761/stat : 19761 (java) S 19724 19724 18413 0 -1 1077944384 605 0 0 0 6 0 0 0 20 0 24 0 510521015 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619763496944 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19762] ppid=19724 vsize=8414124 memory=281000921140336 CPUtime=0.08 cores=0-7
/proc/19747/task/19762/stat : 19762 (java) S 19724 19724 18413 0 -1 1077944384 391 0 0 0 8 0 0 0 20 0 24 0 510521015 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619762444400 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19763] ppid=19724 vsize=8414124 memory=932 CPUtime=0.05 cores=0-7
/proc/19747/task/19763/stat : 19763 (java) S 19724 19724 18413 0 -1 1077944384 224 0 0 0 5 0 0 0 20 0 24 0 510521016 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619761391856 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19764] ppid=19724 vsize=8414124 memory=121464 CPUtime=0.21 cores=0-7
/proc/19747/task/19764/stat : 19764 (java) S 19724 19724 18413 0 -1 1077944384 736 0 0 0 21 0 0 0 20 0 24 0 510521016 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619760339312 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19765] ppid=19724 vsize=8414124 memory=539196 CPUtime=0 cores=0-7
/proc/19747/task/19765/stat : 19765 (java) S 19724 19724 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510521016 8616062976 30366 33554432000 4194304 4196468 140724018868400 139618448042720 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19766] ppid=19724 vsize=8414124 memory=13848573129264102 CPUtime=0.11 cores=0-7
/proc/19747/task/19766/stat : 19766 (java) S 19724 19724 18413 0 -1 1077944384 13 0 0 0 3 8 0 0 20 0 24 0 510521016 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619759287216 139620939528834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19769] ppid=19724 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19747/task/19769/stat : 19769 (java) S 19724 19724 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510521084 8616062976 30366 33554432000 4194304 4196468 140724018868400 139619751253696 139620939542297 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19771] ppid=19724 vsize=8414124 memory=121464 CPUtime=0 cores=0-7
/proc/19747/task/19771/stat : 19771 (java) S 19724 19724 18413 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 510521084 8616062976 30366 33554432000 4194304 4196468 140724018868400 139617776942352 139620939539613 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19772] ppid=19724 vsize=8414124 memory=-8672071836168909202 CPUtime=0 cores=0-7
/proc/19747/task/19772/stat : 19772 (java) S 19724 19724 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510521084 8616062976 30366 33554432000 4194304 4196468 140724018868400 139618045377936 139620939539613 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19781] ppid=19724 vsize=8414124 memory=121464 CPUtime=0 cores=0-7
/proc/19747/task/19781/stat : 19781 (java) S 19724 19724 18413 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 510521086 8616062976 30366 33554432000 4194304 4196468 140724018868400 139617508514992 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
Current children cumulated CPU time: 1186.51 s
Current children cumulated vsize: 9303820 KiB
Current children cumulated memory: 666696 KiB

[startup+172.901 s]
/proc/loadavg: 6.41 6.24 6.52 3/218 19791
/proc/meminfo: memFree=28249528/32770624 swapFree=66999256/67108860
[pid=19724] ppid=19721 vsize=113128 memory=1476 CPUtime=12.04 cores=0-7
/proc/19724/stat : 19724 (scop.sh) S 19721 19724 18413 0 -1 4202496 582 31991 0 0 0 0 1174 30 20 0 1 0 510520531 115843072 369 33554432000 4194304 5098028 140728313496960 140728313493704 139960035910268 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8953856 140728313504548 140728313504876 140728313504876 140728313507789 0
/proc/19724/statm: 28282 369 311 221 0 87 0
[pid=19747] ppid=19724 vsize=8150944 memory=123716 CPUtime=1174.61 cores=0-7
/proc/19747/stat : 19747 (java) S 19724 19724 18413 0 -1 1077944320 20442 953809 0 0 131 9 117088 233 20 0 20 0 510521009 8346566656 30930 33554432000 4194304 4196468 140724018868400 140724018850944 139620939517687 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
/proc/19747/statm: 2037736 30930 3208 1 0 1999080 0
[pid=19747/tid=19748] ppid=19724 vsize=8019868 memory=541244 CPUtime=1173.98 cores=0-7
/proc/19747/task/19748/stat : 19748 (java) R 19724 19724 18413 0 -1 4202560 16865 953809 0 0 72 5 117088 233 20 0 19 0 510521010 8212344832 30929 33554432000 4194304 4196468 140724018868400 139620911361168 139620939531978 0 0 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19749] ppid=19724 vsize=8019868 memory=1476 CPUtime=1173.21 cores=0-7
/proc/19747/task/19749/stat : 19749 (java) S 19724 19724 18413 0 -1 1077944384 2 953809 0 0 0 0 117088 233 20 0 19 0 510521011 8212344832 30929 33554432000 4194304 4196468 140724018868400 139620943760144 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19750] ppid=19724 vsize=8019868 memory=8560 CPUtime=1173.21 cores=0-7
/proc/19747/task/19750/stat : 19750 (java) S 19724 19724 18413 0 -1 1077944384 3 953809 0 0 0 0 117088 233 20 0 18 0 510521011 8212344832 30895 33554432000 4194304 4196468 140724018868400 139620743928720 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19751] ppid=19724 vsize=8019868 memory=1712 CPUtime=1173.21 cores=0-7
/proc/19747/task/19751/stat : 19751 (java) S 19724 19724 18413 0 -1 1077944384 1 953809 0 0 0 0 117088 233 20 0 18 0 510521011 8212344832 30895 33554432000 4194304 4196468 140724018868400 139620742876176 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19752] ppid=19724 vsize=8019868 memory=1476 CPUtime=1173.21 cores=0-7
/proc/19747/task/19752/stat : 19752 (java) S 19724 19724 18413 0 -1 1077944384 1 953809 0 0 0 0 117088 233 20 0 18 0 510521011 8212344832 30895 33554432000 4194304 4196468 140724018868400 139620741823632 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19753] ppid=19724 vsize=8018840 memory=121464 CPUtime=1173.21 cores=0-7
/proc/19747/task/19753/stat : 19753 (java) S 19724 19724 18413 0 -1 1077944384 2 953809 0 0 0 0 117088 233 20 0 18 0 510521011 8211292160 30909 33554432000 4194304 4196468 140724018868400 139620740770064 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19754] ppid=19724 vsize=7887764 memory=512960 CPUtime=1173.21 cores=0-7
/proc/19747/task/19754/stat : 19754 (java) S 19724 19724 18413 0 -1 1077944384 2 953809 0 0 0 0 117088 233 20 0 18 0 510521011 8077070336 30909 33554432000 4194304 4196468 140724018868400 139620739717520 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19755] ppid=19724 vsize=7887764 memory=618544 CPUtime=1173.21 cores=0-7
/proc/19747/task/19755/stat : 19755 (java) S 19724 19724 18413 0 -1 1077944384 1 953809 0 0 0 0 117088 233 20 0 18 0 510521011 8077070336 30909 33554432000 4194304 4196468 140724018868400 139620738664976 139620939527893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19756] ppid=19724 vsize=7887764 memory=1476 CPUtime=1173.21 cores=0-7
/proc/19747/task/19756/stat : 19756 (java) R 19724 19724 18413 0 -1 1077944384 2 953809 0 0 0 0 117088 233 20 0 18 0 510521011 8077070336 30913 33554432000 4194304 4196468 140724018868400 139620737612432 139620939527893 256 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19758] ppid=19724 vsize=7887764 memory=1476 CPUtime=1173.21 cores=0-7
/proc/19747/task/19758/stat : 19758 (java) R 19724 19724 18413 0 -1 1077944384 13 953809 0 0 0 0 117088 233 20 0 18 0 510521013 8077070336 30936 33554432000 4194304 4196468 140724018868400 139619588892064 139620939527893 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19761] ppid=19724 vsize=7887764 memory=3480 CPUtime=1173.28 cores=0-7
/proc/19747/task/19761/stat : 19761 (java) R 19724 19724 18413 0 -1 4195396 614 953809 0 0 7 0 117088 233 20 0 14 0 510521015 8077070336 31052 33554432000 4194304 4196468 140724018868400 139619763488224 139620939527893 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
[pid=19747/tid=19769] ppid=19724 vsize=7887764 memory=6075978497398305125 CPUtime=1173.21 cores=0-7
/proc/19747/task/19769/stat : 19769 (java) R 19724 19724 18413 0 -1 4203584 23 953809 0 0 0 0 117088 233 20 0 7 0 510521084 8077070336 31060 33554432000 4194304 4196468 140724018868400 139619751252880 139620939528834 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29409280 140724018877431 140724018877590 140724018877590 140724018880463 0
Current children cumulated CPU time: 1186.65 s
Current children cumulated vsize: 8264072 KiB
Current children cumulated memory: 125192 KiB

Child status: 0
Real time (s): 172.911
CPU time (s): 1186.69
CPU user time (s): 1183.94
CPU system time (s): 2.75203
CPU usage (%): 686.304
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1063908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1183.94
system time used= 2.75203
maximum resident set size= 1062824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1006840
page faults= 0
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18786
involuntary context switches= 10258


# summary of solver processes directly reported to runsolver:
#   pid: 19724
#   total CPU time (s): 1186.69
#   total CPU user time (s): 1183.94
#   total CPU system time (s): 2.75203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.72118 second user time and 2.39507 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 18:30:16
IDJOB=4405626
IDBENCH=134571
IDSOLVER=2868
FILE ID=node103/4405626-1569342675
RUNJOBID= node103-1569335920-18440
PBS_JOBID= 21705072
Free space on /tmp= 20860 MiB

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

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

MD5SUM BENCH= e5c3d43a301dadc2ad5fa4651c286aba
RANDOM SEED=1091812113

node103.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.74
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.74
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.74
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.74
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:        28899536 kB
MemAvailable:   31851456 kB
Buffers:           49664 kB
Cached:          3178980 kB
SwapCached:         7000 kB
Active:          3132752 kB
Inactive:         110284 kB
Active(anon):       2576 kB
Inactive(anon):    69352 kB
Active(file):    3130176 kB
Inactive(file):    40932 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             20556 kB
Writeback:             0 kB
AnonPages:        115128 kB
Mapped:            57880 kB
Shmem:             49080 kB
Slab:             222176 kB
SReclaimable:     193296 kB
SUnreclaim:        28880 kB
KernelStack:        3392 kB
PageTables:         4444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20840 MiB
End job on node103 at 2019-09-24 18:33:09