Trace number 4392748

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 1114.2 172.757

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23647-serial-file.bin HOME/instance-4392748-1568436412.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.56	c BEGIN-Prog: Sat Sep 14 06:46:13 CEST 2019
0.65/0.56	c PID: 23650
0.65/0.56	c IP: 172.20.3.135
0.65/0.56	c HOST: node135.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.06/1.12	c (0,0) Parsing End
2.06/1.12	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.06/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.12	c (0,0) Constraint Name Generate Begin
2.06/1.14	c (0,0) Ctr:HOME/instance-4392748-1568436412.xml,ExtensionConflict:ExtensionSupport:Var
2.06/1.14	c (0,0) Constraint Name Generate End
2.06/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.14	c (0,0) CSP to CSPinCNF Begin
3.16/1.63	c (1,1) translated 127 (10%) constraints
3.58/1.73	c (1,1) translated 253 (20%) constraints
3.99/1.80	c (1,1) translated 379 (30%) constraints
3.99/1.87	c (1,1) translated 505 (40%) constraints
4.42/1.92	c (1,1) translated 631 (50%) constraints
4.42/1.98	c (1,1) translated 757 (60%) constraints
5.26/2.11	c (1,1) translated 883 (70%) constraints
5.90/2.35	c (1,1) translated 1009 (80%) constraints
6.15/2.57	c (2,2) translated 1135 (90%) constraints
6.71/2.88	c (2,2) translated 1261 (100%) constraints
6.71/2.88	c (2,2) ===========================================
7.11/2.90	c (2,2) Hybrid: #OE=793, #LE=0
7.11/2.90	c (2,2) Hybrid
7.11/2.90	c (2,2) ===========================================
7.11/2.97	c (2,2) translated 1883 (10%) constraints
7.55/3.02	c (2,2) translated 3765 (20%) constraints
7.55/3.08	c (2,2) translated 5647 (30%) constraints
7.95/3.13	c (2,2) translated 7529 (40%) constraints
7.95/3.18	c (2,2) translated 9411 (50%) constraints
8.31/3.23	c (2,2) translated 11294 (60%) constraints
8.31/3.28	c (2,2) translated 13176 (70%) constraints
8.71/3.32	c (2,2) translated 15058 (80%) constraints
8.71/3.36	c (2,2) translated 16940 (90%) constraints
8.71/3.39	c (2,2) translated 18822 (100%) constraints
8.71/3.39	c (2,2) CSP to CSPinCNF End
8.71/3.39	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.71/3.39	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.71/3.39	c (2,2) CSPinCNF Propagation Begin
10.04/3.73	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.04/3.73	c (3,3) CSPinCNF Propagation End
10.04/3.73	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.04/3.73	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.04/3.74	c (3,3) Hybrid: #OE=793, #LE=0
10.04/3.74	c (3,3) Simplify CSPinCNF Begin
10.04/3.80	c (3,3) Simplify CSPinCNF End
10.04/3.80	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.04/3.80	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.04/3.80	c (3,3) Calculate Precise Domain Begin
10.30/3.80	c (3,3) 0 values are removed by re-calculation
10.30/3.80	c (3,3) Calculate Precise Domain End
10.30/3.80	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.30/3.80	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.30/3.80	c (3,3) CSPinCNF to SatSolver Begin
10.59/3.95	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.59/4.00	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.97/4.05	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
10.97/4.09	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.38/4.13	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.38/4.15	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.38/4.17	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.38/4.18	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.38/4.20	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.67/4.21	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.67/4.21	c (3,3) CSPinCNF to SatSolver End
11.67/4.21	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.67/4.21	c (3,3) 2482 bool, 15697 clause
11.67/4.21	c (3,3) Export Begin
11.85/4.31	c (3,3) Export to HOME/scop-23647-serial-file.bin
11.85/4.31	c (3,3) Export End
11.85/4.32	c (3,3) Export File Size: 0.02 MB
11.85/4.32	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.85/4.32	c END-Prog: Sat Sep 14 06:46:16 CEST 2019
11.85/4.33	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23647-serial-file.bin
12.42/5.06	c (0,0) Read Serial File Begin
12.42/5.06	c (0,0) HOME/scop-23647-serial-file.bin
12.67/5.28	c (0,0) Read Serial File End
12.67/5.29	
12.67/5.29	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.67/5.29	(Solving Process)
12.67/5.29	
12.84/5.31	c BEGIN-Prog: Sat Sep 14 06:46:17 CEST 2019
12.84/5.31	c PID: 23670
12.84/5.31	c IP: 172.20.3.135
12.84/5.31	c HOST: node135.alineos.net
12.84/5.32	c (0,0) SatSolver.solve Begin
12.84/5.32	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392748-1568436412.xml-scop-23650.cnf
12.84/5.34	c (0,0) c
12.84/5.34	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
12.84/5.34	c (0,0) c
12.84/5.34	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.84/5.34	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.84/5.34	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.84/5.34	c (0,0) c |                                                                                                       |
12.84/5.35	c (0,0) c |  Number of variables:          2480                                                                   |
12.84/5.35	c (0,0) c |  Number of clauses:           15697                                                                   |
12.84/5.35	c (0,0) c |  Parse time:                   0.00 s                                                                 |
12.84/5.35	c (0,0) c |                                                                                                       |
12.84/5.35	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.84/5.36	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.84/5.36	c (0,0) c |                                                                                                       |
12.84/5.36	c (0,0) c |  Generating clones                                                                                    |
12.84/5.36	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.84/5.36	c (0,0) c ========================================================================================================|
12.84/5.36	c (0,0) c
12.84/5.36	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.84/5.36	c (0,0) c
12.84/5.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.84/5.36	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.84/5.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.84/5.36	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.84/5.36	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.84/5.36	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.84/5.36	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.84/5.36	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.84/5.36	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.84/5.36	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.84/5.36	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.84/5.36	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.84/5.36	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.84/5.36	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.84/5.36	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.84/5.36	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.84/5.36	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.84/5.36	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.84/5.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.78/34.48	c (29,0) c
212.78/34.48	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
212.78/34.48	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
212.78/34.48	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
212.78/34.48	c (29,0) c |  0 |    236 |     521304 |     282781 |     8986 |    51395 |    45002 |   283028 |    11990 |      292 |  20 |  0.847 |
212.78/34.48	c (29,0) c |  1 |    405 |     530206 |     287289 |     9350 |    55907 |    43890 |   280302 |    15355 |      294 |  20 |  0.847 |
212.78/34.48	c (29,0) c |  2 |    352 |     517083 |     277652 |     8835 |    46264 |    40962 |   288144 |     9225 |      294 |  20 |  0.847 |
212.78/34.48	c (29,0) c |  3 |    343 |     532024 |     289186 |     9211 |    57808 |    44986 |   284169 |    14207 |      294 |  20 |  0.847 |
212.78/34.48	c (29,0) c |  4 |    384 |     531600 |     287687 |     9317 |    56295 |    40793 |   283748 |    10350 |      294 |  20 |  0.847 |
212.78/34.48	c (29,0) c |  5 |    286 |     502199 |     261276 |     8909 |    63097 |    38566 |   275917 |     9460 |      274 |  20 |  0.847 |
212.78/34.48	c (29,0) c |  6 |    390 |     541900 |     289231 |     9422 |    57843 |    42608 |   259534 |    13116 |      294 |  20 |  0.847 |
212.78/34.48	c (29,0) c |  7 |    323 |     512993 |     281557 |     9252 |    50172 |    43732 |   276803 |    10727 |      294 |  20 |  0.847 |
212.78/34.48	c (29,0) c 
212.78/34.48	c (29,0) c synthesis     2256660 conflicts   170431842 propagations    11297 conflicts/sec   853188 propagations/sec
212.78/34.48	c (29,0) c real: 29.1396 s, cpu: 199.759 s, memory: 628.78 Mb
392.27/63.49	c (58,0) c
392.27/63.49	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
392.27/63.49	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
392.27/63.49	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
392.27/63.49	c (58,0) c |  0 |    278 |     803077 |     427456 |     9204 |    80863 |    59389 |   384766 |    20235 |      530 |  20 |  0.848 |
392.27/63.49	c (58,0) c |  1 |    500 |     792315 |     421813 |     9407 |    75236 |    54928 |   391532 |    25441 |      535 |  20 |  0.847 |
392.27/63.49	c (58,0) c |  2 |    425 |     788854 |     420214 |     9248 |    73627 |    55312 |   389321 |    19167 |      535 |  20 |  0.847 |
392.27/63.49	c (58,0) c |  3 |    517 |     831577 |     445584 |     9342 |    55392 |    59719 |   388173 |    22920 |      535 |  20 |  0.847 |
392.27/63.49	c (58,0) c |  4 |    463 |     805172 |     430831 |     9459 |    84249 |    53705 |   393341 |    20122 |      535 |  20 |  0.847 |
392.27/63.49	c (58,0) c |  5 |    409 |     788319 |     403907 |     8990 |    57321 |    53613 |   375849 |    15012 |      515 |  20 |  0.847 |
392.27/63.49	c (58,0) c |  6 |    456 |     849475 |     449602 |     9519 |    59417 |    59267 |   385367 |    23080 |      535 |  20 |  0.847 |
392.27/63.49	c (58,0) c |  7 |    402 |     795650 |     430459 |     9427 |    83869 |    58238 |   386778 |    21374 |      534 |  20 |  0.847 |
392.27/63.49	c (58,0) c 
392.27/63.49	c (58,0) c synthesis     3429866 conflicts   257710873 propagations     9050 conflicts/sec   679981 propagations/sec
392.27/63.49	c (58,0) c real: 58.1397 s, cpu: 378.997 s, memory: 636.49 Mb
590.34/93.49	c (88,0) c
590.34/93.49	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
590.34/93.49	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
590.34/93.49	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
590.34/93.49	c (88,0) c |  0 |    379 |    1066186 |     563774 |     9285 |    78589 |    72500 |   471592 |    29998 |      767 |  20 |  0.847 |
590.34/93.49	c (88,0) c |  1 |    542 |    1049821 |     553795 |     9443 |    68614 |    67896 |   472728 |    33797 |      783 |  20 |  0.848 |
590.34/93.49	c (88,0) c |  2 |    546 |    1053905 |     553811 |     9374 |    68628 |    68632 |   480558 |    30730 |      778 |  20 |  0.847 |
590.34/93.49	c (88,0) c |  3 |    578 |    1097268 |     579992 |     9352 |    94796 |    71335 |   478052 |    31588 |      786 |  20 |  0.847 |
590.34/93.49	c (88,0) c |  4 |    570 |    1085241 |     572394 |     9502 |    87204 |    67541 |   475198 |    29994 |      787 |  20 |  0.847 |
590.34/93.49	c (88,0) c |  5 |    446 |    1051884 |     533845 |     9270 |    97456 |    68000 |   476713 |    24835 |      768 |  20 |  0.847 |
590.34/93.49	c (88,0) c |  6 |    548 |    1114329 |     584860 |     9532 |    99671 |    71011 |   476670 |    32772 |      784 |  20 |  0.847 |
590.34/93.49	c (88,0) c |  7 |    525 |    1065284 |     568816 |     9468 |    83628 |    69975 |   475018 |    30546 |      786 |  20 |  0.847 |
590.34/93.49	c (88,0) c 
590.34/93.49	c (88,0) c synthesis     4511288 conflicts   337946371 propagations     7820 conflicts/sec   585784 propagations/sec
590.34/93.49	c (88,0) c real: 88.1397 s, cpu: 576.913 s, memory: 727.12 Mb
783.38/123.49	c (118,0) c
783.38/123.49	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
783.38/123.49	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
783.38/123.49	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
783.38/123.49	c (118,0) c |  0 |    460 |    1297631 |     680709 |     9309 |    90119 |    84403 |   551050 |    38328 |     1005 |  20 |  0.847 |
783.38/123.49	c (118,0) c |  1 |    590 |    1275877 |     668569 |     9457 |    77990 |    77529 |   565400 |    42036 |     1024 |  20 |  0.847 |
783.38/123.49	c (118,0) c |  2 |    635 |    1299867 |     673781 |     9396 |    83201 |    80474 |   560386 |    38771 |     1024 |  20 |  0.847 |
783.38/123.49	c (118,0) c |  3 |    634 |    1327259 |     694358 |     9371 |   103771 |    81733 |   552976 |    39804 |     1025 |  20 |  0.848 |
783.38/123.49	c (118,0) c |  4 |    635 |    1305287 |     683918 |     9513 |    93328 |    76945 |   561247 |    38288 |     1025 |  20 |  0.848 |
783.38/123.49	c (118,0) c |  5 |    545 |    1297206 |     656954 |     9350 |    66364 |    79633 |   559952 |    35349 |     1023 |  20 |  0.847 |
783.38/123.49	c (118,0) c |  6 |    583 |    1341626 |     698895 |     9536 |   108307 |    82680 |   557415 |    40069 |     1025 |  20 |  0.847 |
783.38/123.49	c (118,0) c |  7 |    589 |    1297666 |     685205 |     9489 |    94612 |    84377 |   558306 |    39270 |     1024 |  20 |  0.847 |
783.38/123.49	c (118,0) c 
783.38/123.49	c (118,0) c synthesis     5442390 conflicts   408221000 propagations     7070 conflicts/sec   530325 propagations/sec
783.38/123.49	c (118,0) c real: 118.14 s, cpu: 769.756 s, memory: 855.12 Mb
979.18/152.48	c (147,0) c
979.18/152.48	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
979.18/152.48	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
979.18/152.48	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
979.18/152.48	c (147,0) c |  0 |    515 |    1488120 |     774088 |     9329 |    67706 |    92899 |   609485 |    45634 |     1233 |  20 |  0.848 |
979.18/152.48	c (147,0) c |  1 |    645 |    1457940 |     761662 |     9467 |   114479 |    86168 |   620390 |    50835 |     1253 |  20 |  0.847 |
979.18/152.48	c (147,0) c |  2 |    682 |    1492013 |     767910 |     9410 |    61516 |    88428 |   614168 |    47626 |     1253 |  20 |  0.848 |
979.18/152.48	c (147,0) c |  3 |    683 |    1523740 |     792280 |     9382 |    85889 |    90666 |   616133 |    47584 |     1253 |  20 |  0.848 |
979.18/152.48	c (147,0) c |  4 |    657 |    1506940 |     781239 |     9521 |    74848 |    82915 |   620107 |    45836 |     1253 |  20 |  0.847 |
979.18/152.48	c (147,0) c |  5 |    590 |    1492121 |     753544 |     9363 |   106359 |    87986 |   613583 |    42982 |     1253 |  20 |  0.847 |
979.18/152.48	c (147,0) c |  6 |    692 |    1538460 |     796465 |     9548 |    90076 |    90854 |   615299 |    47844 |     1253 |  20 |  0.848 |
979.18/152.48	c (147,0) c |  7 |    635 |    1492961 |     782373 |     9501 |    75980 |    91498 |   612273 |    47382 |     1253 |  20 |  0.848 |
979.18/152.48	c (147,0) c 
979.18/152.48	c (147,0) c synthesis     6209561 conflicts   467430097 propagations     6433 conflicts/sec   484284 propagations/sec
979.18/152.48	c (147,0) c real: 147.14 s, cpu: 965.199 s, memory: 761.48 Mb
1114.05/172.72	c (167,0) c
1114.05/172.72	c (167,0) c real time : 167.379 s
1114.05/172.72	c (167,0) c cpu time  : 1099.44 s
1114.05/172.72	c (167,0) c
1114.05/172.72	c (167,0) c
1114.05/172.72	c (167,0) c
1114.05/172.72	c (167,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1114.05/172.72	c (167,0) c
1114.05/172.72	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.72	c (167,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1114.05/172.72	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.72	c (167,0) c | Conflicts     |         6640001 |     834464 |     815635 |     820346 |     845511 |     830231 |     808924 |     849468 |     835422 |
1114.05/172.72	c (167,0) c | Decisions     |        12857662 |    1609910 |    1564793 |    1594995 |    1631883 |    1605180 |    1604393 |    1646509 |    1599999 |
1114.05/172.72	c (167,0) c | Propagations  |       501742465 |   62944959 |   61601949 |   62115046 |   63453946 |   62629781 |   61514602 |   63915330 |   63566852 |
1114.05/172.72	c (167,0) c | ReduceDBs     |             197 |         25 |         24 |         24 |         25 |         25 |         24 |         25 |         25 |
1114.05/172.72	c (167,0) c | SimpDBs       |              74 |         11 |          9 |         10 |          9 |          8 |         10 |          9 |          8 |
1114.05/172.72	c (167,0) c | Restarts      |            5243 |        531 |        676 |        704 |        700 |        669 |        610 |        706 |        647 |
1114.05/172.72	c (167,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1114.05/172.72	c (167,0) c | PropBinClauses|      1018349416 |  126117474 |  126870823 |  125898460 |  129126673 |  127739646 |  125686890 |  127239346 |  129670104 |
1114.05/172.72	c (167,0) c | PropPreBlocker|     38551454535 | 4774734112 | 4823670834 | 4808208658 | 4800588740 | 4846270493 | 4796075020 | 4833280347 | 4868626331 |
1114.05/172.72	c (167,0) c | PropNotBlocker|      6180445273 |  793220059 |  778704737 |  767797647 |  774744685 |  764561386 |  762081071 |  773982325 |  765353363 |
1114.05/172.72	c (167,0) c | LitFullScans  |     67273237661 | 8407144032 | 8413435323 | 8407728920 | 8413428558 | 8407953965 | 8407629778 | 8408449139 | 8407467946 |
1114.05/172.72	c (167,0) c | LitScanFracts |        12535211 |    1136774 |    1406090 |    1718487 |    1418535 |    1943506 |    1621636 |    1831514 |    1458669 |
1114.05/172.72	c (167,0) c | DecisionLevel0|            5336 |        543 |        687 |        712 |        717 |        676 |        619 |        724 |        658 |
1114.05/172.72	c (167,0) c | Periods       |           11210 |       1401 |       1402 |       1401 |       1402 |       1401 |       1401 |       1401 |       1401 |
1114.05/172.72	c (167,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1114.05/172.72	c (167,0) c | Avg_Trail     |                 |        626 |        631 |        630 |        632 |        630 |        632 |        630 |        633 |
1114.05/172.72	c (167,0) c | Avg_DL        |                 |         21 |         22 |         21 |         22 |         21 |         21 |         22 |         21 |
1114.05/172.72	c (167,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1114.05/172.72	c (167,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1114.05/172.72	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.72	c (167,0) c | Exported      |          750916 |      97861 |      92656 |      92497 |      96852 |      87077 |      92630 |      95381 |      95962 |
1114.05/172.72	c (167,0) c | Imported      |         5202292 |     647605 |     651979 |     651265 |     649447 |     656754 |     648522 |     650679 |     646041 |
1114.05/172.72	c (167,0) c | Good          |           12663 |       1667 |       1563 |       1612 |       1643 |       1531 |       1573 |       1514 |       1560 |
1114.05/172.72	c (167,0) c | Purge         |         5189629 |     645938 |     650416 |     649653 |     647804 |     655223 |     646949 |     649165 |     644481 |
1114.05/172.72	c (167,0) c | Promoted      |          414882 |      50713 |      55003 |      52123 |      52591 |      51451 |      48554 |      52541 |      51906 |
1114.05/172.72	c (167,0) c | Remove_Imp    |         4104140 |     518002 |     505315 |     495572 |     512048 |     533138 |     502176 |     515974 |     521915 |
1114.05/172.72	c (167,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1114.05/172.72	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.72	c (167,0) c | Unaries       |                 |         12 |         11 |          8 |         17 |          7 |          9 |         18 |         11 |
1114.05/172.72	c (167,0) c | Binaries      |                 |        156 |        250 |        201 |        206 |        281 |        226 |        320 |        242 |
1114.05/172.72	c (167,0) c | Glues         |                 |        791 |        976 |        882 |        845 |        956 |        912 |       1087 |        948 |
1114.05/172.72	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.72	c (167,0) c | Orig_Seen     |            86 % |       9337 |       9475 |       9420 |       9388 |       9525 |       9371 |       9553 |       9510 |
1114.05/172.72	c (167,0) c | Diff Orig seen|                 | -      216 | -       78 | -      133 | -      165 | -       28 | -      182 |      X     | -       43 |
1114.05/172.72	c (167,0) c | Hamming       |            11 % |        304 |        323 |        292 |        241 |        252 |        299 |      X     |        260 |
1114.05/172.72	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.72	c (167,0) c | RunningTime   |                 |  164.5  98%|  148.1  89%|  137.9  83%|  118.4  72%|  122.6  74%|  160.8  97%|  116.4  70%|  131.8  79%|
1114.05/172.72	c (167,0) c | WaitingTime   |                 |    2.4   1%|   17.1  10%|   27.5  17%|   46.7  28%|   42.5  26%|    4.4   3%|   48.7  29%|   34.9  21%|
1114.05/172.72	c (167,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
1114.05/172.72	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%|
1114.05/172.72	c (167,0) c | SolvingTime   |                 |  167.3     |  165.5     |  165.8     |  165.5     |  165.5     |  165.5     |  165.4     |  167.1     |
1114.05/172.72	c (167,0) c | PropagationTim|                 |  104.9  63%|  117.6  71%|  119.3  72%|  142.3  86%|  148.1  89%|  102.1  62%|  145.5  88%|  129.1  77%|
1114.05/172.72	c (167,0) c | AnalysisTime  |                 |   58.8  35%|   44.3  27%|   43.2  26%|   19.5  12%|   13.5   8%|   59.8  36%|   16.3  10%|   34.4  21%|
1114.05/172.72	c (167,0) c | ReductionTime |                 |    1.4   1%|    1.4   1%|    1.2   1%|    1.5   1%|    1.6   1%|    1.3   1%|    1.4   1%|    1.4   1%|
1114.05/172.72	c (167,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1114.05/172.72	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%|
1114.05/172.72	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%|
1114.05/172.72	c (167,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.72	c (167,0) c
1114.05/172.72	c (167,0) c
1114.05/172.72	c (167,0) c Threads : 8
1114.05/172.72	c (167,0) c Winner : 6
1114.05/172.72	c (167,0) c Conflicts_0 : 834464
1114.05/172.72	c (167,0) c Conflicts_1 : 815635
1114.05/172.72	c (167,0) c Conflicts_2 : 820346
1114.05/172.72	c (167,0) c Conflicts_3 : 845511
1114.05/172.72	c (167,0) c Conflicts_4 : 830231
1114.05/172.72	c (167,0) c Conflicts_5 : 808924
1114.05/172.72	c (167,0) c Conflicts_6 : 849468
1114.05/172.72	c (167,0) c Conflicts_7 : 835422
1114.05/172.72	c (167,0) c Conflicts_total : 6640001
1114.05/172.72	c (167,0) c Conflicts_winner : 849468
1114.05/172.72	c (167,0) c Decisions_0 : 1609910
1114.05/172.72	c (167,0) c Decisions_1 : 1564793
1114.05/172.72	c (167,0) c Decisions_2 : 1594995
1114.05/172.72	c (167,0) c Decisions_3 : 1631883
1114.05/172.72	c (167,0) c Decisions_4 : 1605180
1114.05/172.72	c (167,0) c Decisions_5 : 1604393
1114.05/172.72	c (167,0) c Decisions_6 : 1646509
1114.05/172.72	c (167,0) c Decisions_7 : 1599999
1114.05/172.72	c (167,0) c Decisions_total : 12857662
1114.05/172.72	c (167,0) c Decisions_winner : 1646509
1114.05/172.72	c (167,0) c Propagations_0 : 62944959
1114.05/172.72	c (167,0) c Propagations_1 : 61601949
1114.05/172.72	c (167,0) c Propagations_2 : 62115046
1114.05/172.72	c (167,0) c Propagations_3 : 63453946
1114.05/172.72	c (167,0) c Propagations_4 : 62629781
1114.05/172.72	c (167,0) c Propagations_5 : 61514602
1114.05/172.72	c (167,0) c Propagations_6 : 63915330
1114.05/172.72	c (167,0) c Propagations_7 : 63566852
1114.05/172.72	c (167,0) c Propagations_total : 501742465
1114.05/172.72	c (167,0) c Propagations_winner : 63915330
1114.05/172.72	c (167,0) c ReduceDBs_0 : 25
1114.05/172.72	c (167,0) c ReduceDBs_1 : 24
1114.05/172.72	c (167,0) c ReduceDBs_2 : 24
1114.05/172.72	c (167,0) c ReduceDBs_3 : 25
1114.05/172.72	c (167,0) c ReduceDBs_4 : 25
1114.05/172.72	c (167,0) c ReduceDBs_5 : 24
1114.05/172.72	c (167,0) c ReduceDBs_6 : 25
1114.05/172.72	c (167,0) c ReduceDBs_7 : 25
1114.05/172.72	c (167,0) c ReduceDBs_total : 197
1114.05/172.72	c (167,0) c ReduceDBs_winner : 25
1114.05/172.72	c (167,0) c SimpDBs_0 : 11
1114.05/172.72	c (167,0) c SimpDBs_1 : 9
1114.05/172.72	c (167,0) c SimpDBs_2 : 10
1114.05/172.72	c (167,0) c SimpDBs_3 : 9
1114.05/172.72	c (167,0) c SimpDBs_4 : 8
1114.05/172.72	c (167,0) c SimpDBs_5 : 10
1114.05/172.72	c (167,0) c SimpDBs_6 : 9
1114.05/172.72	c (167,0) c SimpDBs_7 : 8
1114.05/172.72	c (167,0) c SimpDBs_total : 74
1114.05/172.72	c (167,0) c SimpDBs_winner : 9
1114.05/172.72	c (167,0) c Restarts_0 : 531
1114.05/172.72	c (167,0) c Restarts_1 : 676
1114.05/172.72	c (167,0) c Restarts_2 : 704
1114.05/172.72	c (167,0) c Restarts_3 : 700
1114.05/172.72	c (167,0) c Restarts_4 : 669
1114.05/172.72	c (167,0) c Restarts_5 : 610
1114.05/172.72	c (167,0) c Restarts_6 : 706
1114.05/172.72	c (167,0) c Restarts_7 : 647
1114.05/172.72	c (167,0) c Restarts_total : 5243
1114.05/172.72	c (167,0) c Restarts_winner : 706
1114.05/172.72	c (167,0) c ForcedImports_0 : 0
1114.05/172.72	c (167,0) c ForcedImports_1 : 0
1114.05/172.72	c (167,0) c ForcedImports_2 : 0
1114.05/172.72	c (167,0) c ForcedImports_3 : 0
1114.05/172.72	c (167,0) c ForcedImports_4 : 0
1114.05/172.72	c (167,0) c ForcedImports_5 : 0
1114.05/172.72	c (167,0) c ForcedImports_6 : 0
1114.05/172.73	c (167,0) c ForcedImports_7 : 0
1114.05/172.73	c (167,0) c ForcedImports_total : 0
1114.05/172.73	c (167,0) c ForcedImports_winner : 0
1114.05/172.73	c (167,0) c PropsBinClauses_0 : 126117474
1114.05/172.73	c (167,0) c PropsBinClauses_1 : 126870823
1114.05/172.73	c (167,0) c PropsBinClauses_2 : 125898460
1114.05/172.73	c (167,0) c PropsBinClauses_3 : 129126673
1114.05/172.73	c (167,0) c PropsBinClauses_4 : 127739646
1114.05/172.73	c (167,0) c PropsBinClauses_5 : 125686890
1114.05/172.73	c (167,0) c PropsBinClauses_6 : 127239346
1114.05/172.73	c (167,0) c PropsBinClauses_7 : 129670104
1114.05/172.73	c (167,0) c PropsBinClauses_total : 1018349416
1114.05/172.73	c (167,0) c PropsBinClauses_winner : 127239346
1114.05/172.73	c (167,0) c PropsPreBlocker_0 : 4774734112
1114.05/172.73	c (167,0) c PropsPreBlocker_1 : 4823670834
1114.05/172.73	c (167,0) c PropsPreBlocker_2 : 4808208658
1114.05/172.73	c (167,0) c PropsPreBlocker_3 : 4800588740
1114.05/172.73	c (167,0) c PropsPreBlocker_4 : 4846270493
1114.05/172.73	c (167,0) c PropsPreBlocker_5 : 4796075020
1114.05/172.73	c (167,0) c PropsPreBlocker_6 : 4833280347
1114.05/172.73	c (167,0) c PropsPreBlocker_7 : 4868626331
1114.05/172.73	c (167,0) c PropsPreBlocker_total : 38551454535
1114.05/172.73	c (167,0) c PropsPreBlocker_winner : 4833280347
1114.05/172.73	c (167,0) c PropsNotBlocker_0 : 793220059
1114.05/172.73	c (167,0) c PropsNotBlocker_1 : 778704737
1114.05/172.73	c (167,0) c PropsNotBlocker_2 : 767797647
1114.05/172.73	c (167,0) c PropsNotBlocker_3 : 774744685
1114.05/172.73	c (167,0) c PropsNotBlocker_4 : 764561386
1114.05/172.73	c (167,0) c PropsNotBlocker_5 : 762081071
1114.05/172.73	c (167,0) c PropsNotBlocker_6 : 773982325
1114.05/172.73	c (167,0) c PropsNotBlocker_7 : 765353363
1114.05/172.73	c (167,0) c PropsNotBlocker_total : 6180445273
1114.05/172.73	c (167,0) c PropsNotBlocker_winner : 773982325
1114.05/172.73	c (167,0) c PropsLitFullScans_0 : 8407144032
1114.05/172.73	c (167,0) c PropsLitFullScans_1 : 8413435323
1114.05/172.73	c (167,0) c PropsLitFullScans_2 : 8407728920
1114.05/172.73	c (167,0) c PropsLitFullScans_3 : 8413428558
1114.05/172.73	c (167,0) c PropsLitFullScans_4 : 8407953965
1114.05/172.73	c (167,0) c PropsLitFullScans_5 : 8407629778
1114.05/172.73	c (167,0) c PropsLitFullScans_6 : 8408449139
1114.05/172.73	c (167,0) c PropsLitFullScans_7 : 8407467946
1114.05/172.73	c (167,0) c PropsLitFullScans_total : 67273237661
1114.05/172.73	c (167,0) c PropsLitFullScans_winner : 8408449139
1114.05/172.73	c (167,0) c LitScanFractions_0 : 1136774
1114.05/172.73	c (167,0) c LitScanFractions_1 : 1406090
1114.05/172.73	c (167,0) c LitScanFractions_2 : 1718487
1114.05/172.73	c (167,0) c LitScanFractions_3 : 1418535
1114.05/172.73	c (167,0) c LitScanFractions_4 : 1943506
1114.05/172.73	c (167,0) c LitScanFractions_5 : 1621636
1114.05/172.73	c (167,0) c LitScanFractions_6 : 1831514
1114.05/172.73	c (167,0) c LitScanFractions_7 : 1458669
1114.05/172.73	c (167,0) c LitScanFractions_total : 12535211
1114.05/172.73	c (167,0) c LitScanFractions_winner : 1831514
1114.05/172.73	c (167,0) c DecisionLevel0_0 : 543
1114.05/172.73	c (167,0) c DecisionLevel0_1 : 687
1114.05/172.73	c (167,0) c DecisionLevel0_2 : 712
1114.05/172.73	c (167,0) c DecisionLevel0_3 : 717
1114.05/172.73	c (167,0) c DecisionLevel0_4 : 676
1114.05/172.73	c (167,0) c DecisionLevel0_5 : 619
1114.05/172.73	c (167,0) c DecisionLevel0_6 : 724
1114.05/172.73	c (167,0) c DecisionLevel0_7 : 658
1114.05/172.73	c (167,0) c DecisionLevel0_total : 5336
1114.05/172.73	c (167,0) c DecisionLevel0_winner : 724
1114.05/172.73	c (167,0) c Periods_0 : 1401
1114.05/172.73	c (167,0) c Periods_1 : 1402
1114.05/172.73	c (167,0) c Periods_2 : 1401
1114.05/172.73	c (167,0) c Periods_3 : 1402
1114.05/172.73	c (167,0) c Periods_4 : 1401
1114.05/172.73	c (167,0) c Periods_5 : 1401
1114.05/172.73	c (167,0) c Periods_6 : 1401
1114.05/172.73	c (167,0) c Periods_7 : 1401
1114.05/172.73	c (167,0) c Periods_total : 11210
1114.05/172.73	c (167,0) c Periods_winner : 1401
1114.05/172.73	c (167,0) c Margin_0 : 20
1114.05/172.73	c (167,0) c Margin_1 : 20
1114.05/172.73	c (167,0) c Margin_2 : 20
1114.05/172.73	c (167,0) c Margin_3 : 20
1114.05/172.73	c (167,0) c Margin_4 : 20
1114.05/172.73	c (167,0) c Margin_5 : 20
1114.05/172.73	c (167,0) c Margin_6 : 20
1114.05/172.73	c (167,0) c Margin_7 : 20
1114.05/172.73	c (167,0) c Margin_total : 160
1114.05/172.73	c (167,0) c Margin_winner : 20
1114.05/172.73	c (167,0) c Exported_0 : 97861
1114.05/172.73	c (167,0) c Exported_1 : 92656
1114.05/172.73	c (167,0) c Exported_2 : 92497
1114.05/172.73	c (167,0) c Exported_3 : 96852
1114.05/172.73	c (167,0) c Exported_4 : 87077
1114.05/172.73	c (167,0) c Exported_5 : 92630
1114.05/172.73	c (167,0) c Exported_6 : 95381
1114.05/172.73	c (167,0) c Exported_7 : 95962
1114.05/172.73	c (167,0) c Exported_total : 750916
1114.05/172.73	c (167,0) c Exported_winner : 95381
1114.05/172.73	c (167,0) c Imported_0 : 647605
1114.05/172.73	c (167,0) c Imported_1 : 651979
1114.05/172.73	c (167,0) c Imported_2 : 651265
1114.05/172.73	c (167,0) c Imported_3 : 649447
1114.05/172.73	c (167,0) c Imported_4 : 656754
1114.05/172.73	c (167,0) c Imported_5 : 648522
1114.05/172.73	c (167,0) c Imported_6 : 650679
1114.05/172.73	c (167,0) c Imported_7 : 646041
1114.05/172.73	c (167,0) c Imported_total : 5202292
1114.05/172.73	c (167,0) c Imported_winner : 650679
1114.05/172.73	c (167,0) c Good_0 : 1667
1114.05/172.73	c (167,0) c Good_1 : 1563
1114.05/172.73	c (167,0) c Good_2 : 1612
1114.05/172.73	c (167,0) c Good_3 : 1643
1114.05/172.73	c (167,0) c Good_4 : 1531
1114.05/172.73	c (167,0) c Good_5 : 1573
1114.05/172.73	c (167,0) c Good_6 : 1514
1114.05/172.73	c (167,0) c Good_7 : 1560
1114.05/172.73	c (167,0) c Good_total : 12663
1114.05/172.73	c (167,0) c Good_winner : 1514
1114.05/172.73	c (167,0) c Purge_0 : 645938
1114.05/172.73	c (167,0) c Purge_1 : 650416
1114.05/172.73	c (167,0) c Purge_2 : 649653
1114.05/172.73	c (167,0) c Purge_3 : 647804
1114.05/172.73	c (167,0) c Purge_4 : 655223
1114.05/172.73	c (167,0) c Purge_5 : 646949
1114.05/172.73	c (167,0) c Purge_6 : 649165
1114.05/172.73	c (167,0) c Purge_7 : 644481
1114.05/172.73	c (167,0) c Purge_total : 5189629
1114.05/172.73	c (167,0) c Purge_winner : 649165
1114.05/172.73	c (167,0) c Promoted_0 : 50713
1114.05/172.73	c (167,0) c Promoted_1 : 55003
1114.05/172.73	c (167,0) c Promoted_2 : 52123
1114.05/172.73	c (167,0) c Promoted_3 : 52591
1114.05/172.73	c (167,0) c Promoted_4 : 51451
1114.05/172.73	c (167,0) c Promoted_5 : 48554
1114.05/172.73	c (167,0) c Promoted_6 : 52541
1114.05/172.73	c (167,0) c Promoted_7 : 51906
1114.05/172.73	c (167,0) c Promoted_total : 414882
1114.05/172.73	c (167,0) c Promoted_winner : 52541
1114.05/172.73	c (167,0) c Remove_Imp_0 : 518002
1114.05/172.73	c (167,0) c Remove_Imp_1 : 505315
1114.05/172.73	c (167,0) c Remove_Imp_2 : 495572
1114.05/172.73	c (167,0) c Remove_Imp_3 : 512048
1114.05/172.73	c (167,0) c Remove_Imp_4 : 533138
1114.05/172.73	c (167,0) c Remove_Imp_5 : 502176
1114.05/172.73	c (167,0) c Remove_Imp_6 : 515974
1114.05/172.73	c (167,0) c Remove_Imp_7 : 521915
1114.05/172.73	c (167,0) c Remove_Imp_total : 4104140
1114.05/172.73	c (167,0) c Remove_Imp_winner : 515974
1114.05/172.73	c (167,0) c Blocked_Reuse_0 : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_1 : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_2 : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_3 : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_4 : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_5 : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_6 : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_7 : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_total : 0
1114.05/172.73	c (167,0) c Blocked_Reuse_winner : 0
1114.05/172.73	c (167,0) c Unaries_0 : 12
1114.05/172.73	c (167,0) c Unaries_1 : 11
1114.05/172.73	c (167,0) c Unaries_2 : 8
1114.05/172.73	c (167,0) c Unaries_3 : 17
1114.05/172.73	c (167,0) c Unaries_4 : 7
1114.05/172.73	c (167,0) c Unaries_5 : 9
1114.05/172.73	c (167,0) c Unaries_6 : 18
1114.05/172.73	c (167,0) c Unaries_7 : 11
1114.05/172.73	c (167,0) c Unaries_total : 93
1114.05/172.73	c (167,0) c Unaries_winner : 18
1114.05/172.73	c (167,0) c Binaries_0 : 156
1114.05/172.73	c (167,0) c Binaries_1 : 250
1114.05/172.73	c (167,0) c Binaries_2 : 201
1114.05/172.73	c (167,0) c Binaries_3 : 206
1114.05/172.73	c (167,0) c Binaries_4 : 281
1114.05/172.73	c (167,0) c Binaries_5 : 226
1114.05/172.73	c (167,0) c Binaries_6 : 320
1114.05/172.73	c (167,0) c Binaries_7 : 242
1114.05/172.73	c (167,0) c Binaries_total : 1882
1114.05/172.73	c (167,0) c Binaries_winner : 320
1114.05/172.73	c (167,0) c Glues_0 : 791
1114.05/172.73	c (167,0) c Glues_1 : 976
1114.05/172.73	c (167,0) c Glues_2 : 882
1114.05/172.73	c (167,0) c Glues_3 : 845
1114.05/172.73	c (167,0) c Glues_4 : 956
1114.05/172.73	c (167,0) c Glues_5 : 912
1114.05/172.73	c (167,0) c Glues_6 : 1087
1114.05/172.73	c (167,0) c Glues_7 : 948
1114.05/172.73	c (167,0) c Glues_total : 7397
1114.05/172.73	c (167,0) c Glues_winner : 1087
1114.05/172.73	c (167,0) c RunningTime_0 : 164.507000
1114.05/172.73	c (167,0) c RunningTime_1 : 148.059550
1114.05/172.73	c (167,0) c RunningTime_2 : 137.900035
1114.05/172.73	c (167,0) c RunningTime_3 : 118.419136
1114.05/172.73	c (167,0) c RunningTime_4 : 122.572628
1114.05/172.73	c (167,0) c RunningTime_5 : 160.768021
1114.05/172.73	c (167,0) c RunningTime_6 : 116.388867
1114.05/172.73	c (167,0) c RunningTime_7 : 131.817539
1114.05/172.73	c (167,0) c RunningTime_total : 1100.432776
1114.05/172.73	c (167,0) c RunningTime_winner : 116.388867
1114.05/172.73	c (167,0) c WaitingTime_0 : 2.436823
1114.05/172.73	c (167,0) c WaitingTime_1 : 17.092974
1114.05/172.73	c (167,0) c WaitingTime_2 : 27.518906
1114.05/172.73	c (167,0) c WaitingTime_3 : 46.722379
1114.05/172.73	c (167,0) c WaitingTime_4 : 42.510021
1114.05/172.73	c (167,0) c WaitingTime_5 : 4.387690
1114.05/172.73	c (167,0) c WaitingTime_6 : 48.652288
1114.05/172.73	c (167,0) c WaitingTime_7 : 34.887160
1114.05/172.73	c (167,0) c WaitingTime_total : 224.208243
1114.05/172.73	c (167,0) c WaitingTime_winner : 48.652288
1114.05/172.73	c (167,0) c ExchangingTime_0 : 0.316391
1114.05/172.73	c (167,0) c ExchangingTime_1 : 0.358713
1114.05/172.73	c (167,0) c ExchangingTime_2 : 0.344329
1114.05/172.73	c (167,0) c ExchangingTime_3 : 0.364320
1114.05/172.73	c (167,0) c ExchangingTime_4 : 0.363853
1114.05/172.73	c (167,0) c ExchangingTime_5 : 0.318717
1114.05/172.73	c (167,0) c ExchangingTime_6 : 0.342485
1114.05/172.73	c (167,0) c ExchangingTime_7 : 0.347869
1114.05/172.73	c (167,0) c ExchangingTime_total : 2.756678
1114.05/172.73	c (167,0) c ExchangingTime_winner : 0.342485
1114.05/172.73	c (167,0) c PeriodProcTime_0 : 0.015880
1114.05/172.73	c (167,0) c PeriodProcTime_1 : 0.011206
1114.05/172.73	c (167,0) c PeriodProcTime_2 : 0.012800
1114.05/172.73	c (167,0) c PeriodProcTime_3 : 0.013636
1114.05/172.73	c (167,0) c PeriodProcTime_4 : 0.012450
1114.05/172.73	c (167,0) c PeriodProcTime_5 : 0.015738
1114.05/172.73	c (167,0) c PeriodProcTime_6 : 0.013710
1114.05/172.73	c (167,0) c PeriodProcTime_7 : 0.013487
1114.05/172.73	c (167,0) c PeriodProcTime_total : 0.108907
1114.05/172.73	c (167,0) c PeriodProcTime_winner : 0.013710
1114.05/172.73	c (167,0) c SolvingTime_0 : 167.276093
1114.05/172.73	c (167,0) c SolvingTime_1 : 165.522443
1114.05/172.73	c (167,0) c SolvingTime_2 : 165.776071
1114.05/172.73	c (167,0) c SolvingTime_3 : 165.519470
1114.05/172.73	c (167,0) c SolvingTime_4 : 165.458953
1114.05/172.73	c (167,0) c SolvingTime_5 : 165.490166
1114.05/172.73	c (167,0) c SolvingTime_6 : 165.397351
1114.05/172.73	c (167,0) c SolvingTime_7 : 167.066056
1114.05/172.73	c (167,0) c SolvingTime_total : 1327.506605
1114.05/172.73	c (167,0) c SolvingTime_winner : 165.397351
1114.05/172.73	c (167,0) c PropagationTime_0 : 104.881544
1114.05/172.73	c (167,0) c PropagationTime_1 : 117.625835
1114.05/172.73	c (167,0) c PropagationTime_2 : 119.281407
1114.05/172.73	c (167,0) c PropagationTime_3 : 142.279109
1114.05/172.73	c (167,0) c PropagationTime_4 : 148.057852
1114.05/172.73	c (167,0) c PropagationTime_5 : 102.134909
1114.05/172.73	c (167,0) c PropagationTime_6 : 145.499273
1114.05/172.73	c (167,0) c PropagationTime_7 : 129.124067
1114.05/172.73	c (167,0) c PropagationTime_total : 1008.883996
1114.05/172.73	c (167,0) c PropagationTime_winner : 145.499273
1114.05/172.73	c (167,0) c AnalysisTime_0 : 58.783955
1114.05/172.73	c (167,0) c AnalysisTime_1 : 44.306204
1114.05/172.73	c (167,0) c AnalysisTime_2 : 43.244521
1114.05/172.73	c (167,0) c AnalysisTime_3 : 19.470643
1114.05/172.73	c (167,0) c AnalysisTime_4 : 13.518341
1114.05/172.73	c (167,0) c AnalysisTime_5 : 59.791190
1114.05/172.73	c (167,0) c AnalysisTime_6 : 16.276561
1114.05/172.73	c (167,0) c AnalysisTime_7 : 34.383061
1114.05/172.73	c (167,0) c AnalysisTime_total : 289.774477
1114.05/172.73	c (167,0) c AnalysisTime_winner : 16.276561
1114.05/172.73	c (167,0) c ReductionTime_0 : 1.381040
1114.05/172.73	c (167,0) c ReductionTime_1 : 1.389794
1114.05/172.73	c (167,0) c ReductionTime_2 : 1.166049
1114.05/172.73	c (167,0) c ReductionTime_3 : 1.479169
1114.05/172.73	c (167,0) c ReductionTime_4 : 1.607446
1114.05/172.73	c (167,0) c ReductionTime_5 : 1.311621
1114.05/172.73	c (167,0) c ReductionTime_6 : 1.402756
1114.05/172.73	c (167,0) c ReductionTime_7 : 1.394072
1114.05/172.73	c (167,0) c ReductionTime_total : 11.131948
1114.05/172.73	c (167,0) c ReductionTime_winner : 1.402756
1114.05/172.73	c (167,0) c SimplifyTime_0 : 0.029446
1114.05/172.73	c (167,0) c SimplifyTime_1 : 0.026128
1114.05/172.73	c (167,0) c SimplifyTime_2 : 0.027588
1114.05/172.73	c (167,0) c SimplifyTime_3 : 0.069317
1114.05/172.73	c (167,0) c SimplifyTime_4 : 0.060077
1114.05/172.73	c (167,0) c SimplifyTime_5 : 0.023227
1114.05/172.73	c (167,0) c SimplifyTime_6 : 0.037590
1114.05/172.73	c (167,0) c SimplifyTime_7 : 0.035155
1114.05/172.73	c (167,0) c SimplifyTime_total : 0.308528
1114.05/172.73	c (167,0) c SimplifyTime_winner : 0.037590
1114.05/172.73	c (167,0) c UsedRateTime_0 : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_1 : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_2 : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_3 : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_4 : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_5 : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_6 : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_7 : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_total : 0.000000
1114.05/172.73	c (167,0) c UsedRateTime_winner : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_0 : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_1 : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_2 : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_3 : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_4 : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_5 : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_6 : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_7 : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_total : 0.000000
1114.05/172.73	c (167,0) c OverlapRateTime_winner : 0.000000
1114.05/172.73	c (167,0) c
1114.05/172.73	c (167,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1114.05/172.73	c (167,0) c
1114.05/172.73	c (167,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.73	c (167,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1114.05/172.73	c (167,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.73	c (167,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1114.05/172.73	c (167,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1114.05/172.73	c (167,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1114.05/172.73	c (167,0) c | Initial random_seed   | 2069390902 |  982619340 |   19405756 |  677195428 |  764027826 | 1095286425 |  791548428 | 1731204463 |
1114.05/172.73	c (167,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1114.05/172.73	c (167,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1114.05/172.73	c (167,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1114.05/172.73	c (167,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1114.05/172.73	c (167,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1114.05/172.73	c (167,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1114.05/172.73	c (167,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1114.05/172.73	c (167,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1114.05/172.73	c (167,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1114.05/172.73	c (167,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1114.05/172.73	c (167,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1114.05/172.73	c (167,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1114.05/172.73	c (167,0) 
1114.05/172.73	c (167,0) s UNSATISFIABLE
1114.05/172.74	c (167,0) SatSolver.solve End
1114.05/172.74	c (167,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1114.05/172.74	c (167,0) Show results Begin
1114.05/172.74	s UNSATISFIABLE
1114.05/172.74	c (167,0) Show results End
1114.05/172.74	c (167,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1114.05/172.74	c (167,0) 167,167,STOP-AFTER(ALL)
1114.05/172.74	c END-Prog: Sat Sep 14 06:49:05 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 (15104 MiB free)
  memory of node 1: 16384 MiB (14986 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392748-1568436412/watcher-4392748-1568436412 -o /tmp/evaluation-result-4392748-1568436412/solver-4392748-1568436412 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568428312-22143 --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-4392748-1568436412.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 6.32 5.54 6.13 4/216 23669
/proc/meminfo: memFree=30717516/32770624 swapFree=66968420/67108860
[pid=23647] ppid=23644 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23647/stat : 23647 (scop.sh) S 23644 23647 22116 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419890766 115843072 349 33554432000 4194304 5098028 140729756484784 140729756482040 139722327523964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36020224 140729756488484 140729756488812 140729756488812 140729756491725 0
/proc/23647/statm: 28282 349 296 221 0 87 0
[pid=23650] ppid=23647 vsize=27314120 memory=107648 CPUtime=0.1 cores=0-7
/proc/23650/stat : 23650 (java) S 23647 23647 22116 0 -1 1077944320 6478 0 0 0 8 2 0 0 20 0 20 0 419890767 27969658880 26912 33554432000 4194304 4196468 140722469699184 140722469681728 139946472681207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
/proc/23650/statm: 6828530 26912 2801 1 0 6790935 0
[pid=23650/tid=23651] ppid=23647 vsize=27314120 memory=8113124161358829980 CPUtime=0.09 cores=0-7
/proc/23650/task/23651/stat : 23651 (java) R 23647 23647 22116 0 -1 4202560 4579 0 0 0 7 2 0 0 20 0 20 0 419890767 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946444494720 139946472703133 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23652] ppid=23647 vsize=27314120 memory=732370575648091109 CPUtime=0 cores=0-7
/proc/23650/task/23652/stat : 23652 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946476923792 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23653] ppid=23647 vsize=27314120 memory=140437310637696 CPUtime=0 cores=0-7
/proc/23650/task/23653/stat : 23653 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946291079952 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23654] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23654/stat : 23654 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946290027664 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23655] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23655/stat : 23655 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946288974864 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23656] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23656/stat : 23656 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946287921552 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23657] ppid=23647 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23650/task/23657/stat : 23657 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946286868752 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23658] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23658/stat : 23658 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946285816464 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23659] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23659/stat : 23659 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 26912 33554432000 4194304 4196468 140722469699184 139946284763664 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23660] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23660/stat : 23660 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890771 27969658880 26912 33554432000 4194304 4196468 140722469699184 139944590805616 139946472692354 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23661] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23661/stat : 23661 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419890771 27969658880 26912 33554432000 4194304 4196468 140722469699184 139944395793696 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23662] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23662/stat : 23662 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890772 27969658880 26912 33554432000 4194304 4196468 140722469699184 139944127358576 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23663] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23663/stat : 23663 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 26912 33554432000 4194304 4196468 140722469699184 139943752850000 139946472699803 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23664] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23664/stat : 23664 (java) S 23647 23647 22116 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 26912 33554432000 4194304 4196468 140722469699184 139944589752432 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23665] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23665/stat : 23665 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 26912 33554432000 4194304 4196468 140722469699184 139944588699632 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23666] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23666/stat : 23666 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 26912 33554432000 4194304 4196468 140722469699184 139944587647344 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23667] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23667/stat : 23667 (java) S 23647 23647 22116 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 26912 33554432000 4194304 4196468 140722469699184 139944586594544 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23668] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23668/stat : 23668 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 26912 33554432000 4194304 4196468 140722469699184 139943254944608 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23669] ppid=23647 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23650/task/23669/stat : 23669 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890775 27969658880 26912 33554432000 4194304 4196468 140722469699184 139944585542448 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109044 KiB

[startup+0.210839 s]*
/proc/loadavg: 6.32 5.54 6.13 3/216 23669
/proc/meminfo: memFree=30699080/32770624 swapFree=66968420/67108860
[pid=23647] ppid=23644 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23647/stat : 23647 (scop.sh) S 23644 23647 22116 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419890766 115843072 349 33554432000 4194304 5098028 140729756484784 140729756482040 139722327523964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36020224 140729756488484 140729756488812 140729756488812 140729756491725 0
/proc/23647/statm: 28282 349 296 221 0 87 0
[pid=23650] ppid=23647 vsize=27314120 memory=124524 CPUtime=0.24 cores=0-7
/proc/23650/stat : 23650 (java) S 23647 23647 22116 0 -1 1077944320 11480 0 0 0 20 4 0 0 20 0 20 0 419890767 27969658880 31131 33554432000 4194304 4196468 140722469699184 140722469681728 139946472681207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
/proc/23650/statm: 6828530 31131 2952 1 0 6790935 0
[pid=23650/tid=23651] ppid=23647 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/23650/task/23651/stat : 23651 (java) R 23647 23647 22116 0 -1 4202560 9195 0 0 0 16 3 0 0 20 0 20 0 419890767 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946444480592 139946452956579 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23652] ppid=23647 vsize=27314120 memory=280874486826744 CPUtime=0 cores=0-7
/proc/23650/task/23652/stat : 23652 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946476923792 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23653] ppid=23647 vsize=27314120 memory=140437310637696 CPUtime=0 cores=0-7
/proc/23650/task/23653/stat : 23653 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946291079952 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23654] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23654/stat : 23654 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946290027664 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23655] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23655/stat : 23655 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946288974864 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23656] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23656/stat : 23656 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946287921552 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23657] ppid=23647 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23650/task/23657/stat : 23657 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946286868752 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23658] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23658/stat : 23658 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946285816464 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23659] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23659/stat : 23659 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 31131 33554432000 4194304 4196468 140722469699184 139946284763664 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23660] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23660/stat : 23660 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890771 27969658880 31131 33554432000 4194304 4196468 140722469699184 139944590805616 139946472692354 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23661] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23661/stat : 23661 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419890771 27969658880 31131 33554432000 4194304 4196468 140722469699184 139944395793696 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23662] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23662/stat : 23662 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890772 27969658880 31131 33554432000 4194304 4196468 140722469699184 139944127358576 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23663] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23663/stat : 23663 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 31131 33554432000 4194304 4196468 140722469699184 139943752850000 139946472699803 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23664] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23664/stat : 23664 (java) S 23647 23647 22116 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 31131 33554432000 4194304 4196468 140722469699184 139944589752432 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23665] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23665/stat : 23665 (java) S 23647 23647 22116 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 31131 33554432000 4194304 4196468 140722469699184 139944588699632 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23666] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23666/stat : 23666 (java) S 23647 23647 22116 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 31131 33554432000 4194304 4196468 140722469699184 139944587647344 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23667] ppid=23647 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/23650/task/23667/stat : 23667 (java) S 23647 23647 22116 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 419890774 27969658880 31131 33554432000 4194304 4196468 140722469699184 139944586594544 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23668] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23668/stat : 23668 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 31131 33554432000 4194304 4196468 140722469699184 139943254944608 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23669] ppid=23647 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23650/task/23669/stat : 23669 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890775 27969658880 31131 33554432000 4194304 4196468 140722469699184 139944585542448 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125920 KiB

[startup+0.310529 s]*
/proc/loadavg: 6.32 5.54 6.13 2/216 23669
/proc/meminfo: memFree=30696040/32770624 swapFree=66968420/67108860
[pid=23647] ppid=23644 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23647/stat : 23647 (scop.sh) S 23644 23647 22116 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419890766 115843072 349 33554432000 4194304 5098028 140729756484784 140729756482040 139722327523964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36020224 140729756488484 140729756488812 140729756488812 140729756491725 0
/proc/23647/statm: 28282 349 296 221 0 87 0
[pid=23650] ppid=23647 vsize=27314120 memory=128200 CPUtime=0.43 cores=0-7
/proc/23650/stat : 23650 (java) S 23647 23647 22116 0 -1 1077944320 12421 0 0 0 38 5 0 0 20 0 20 0 419890767 27969658880 32050 33554432000 4194304 4196468 140722469699184 140722469681728 139946472681207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
/proc/23650/statm: 6828530 32050 3007 1 0 6790935 0
[pid=23650/tid=23651] ppid=23647 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23650/task/23651/stat : 23651 (java) R 23647 23647 22116 0 -1 4202560 9963 0 0 0 26 4 0 0 20 0 20 0 419890767 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946444464224 139946452957082 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23652] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23652/stat : 23652 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946476923792 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23653] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23653/stat : 23653 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946291079952 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23654] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23654/stat : 23654 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946290027664 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23655] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23655/stat : 23655 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890769 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946288974864 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23656] ppid=23647 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/23650/task/23656/stat : 23656 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946287921552 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23657] ppid=23647 vsize=27314120 memory=140437176284079 CPUtime=0 cores=0-7
/proc/23650/task/23657/stat : 23657 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946286868752 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23658] ppid=23647 vsize=27314120 memory=140437176286384 CPUtime=0 cores=0-7
/proc/23650/task/23658/stat : 23658 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946285816464 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23659] ppid=23647 vsize=27314120 memory=140437176288688 CPUtime=0 cores=0-7
/proc/23650/task/23659/stat : 23659 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890770 27969658880 32050 33554432000 4194304 4196468 140722469699184 139946284763664 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23660] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23660/stat : 23660 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890771 27969658880 32050 33554432000 4194304 4196468 140722469699184 139944590805616 139946472692354 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23661] ppid=23647 vsize=27314120 memory=280874352584336 CPUtime=0 cores=0-7
/proc/23650/task/23661/stat : 23661 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419890771 27969658880 32050 33554432000 4194304 4196468 140722469699184 139944395793696 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23662] ppid=23647 vsize=27314120 memory=280874352591248 CPUtime=0 cores=0-7
/proc/23650/task/23662/stat : 23662 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890772 27969658880 32050 33554432000 4194304 4196468 140722469699184 139944127358576 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23663] ppid=23647 vsize=27314120 memory=280874352532528 CPUtime=0 cores=0-7
/proc/23650/task/23663/stat : 23663 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 32050 33554432000 4194304 4196468 140722469699184 139943752850000 139946472699803 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23664] ppid=23647 vsize=27314120 memory=280874352605072 CPUtime=0.01 cores=0-7
/proc/23650/task/23664/stat : 23664 (java) R 23647 23647 22116 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 20 0 419890774 27969658880 32050 33554432000 4194304 4196468 140722469699184 139944589752432 139946464970656 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23665] ppid=23647 vsize=27314120 memory=280874352611984 CPUtime=0.01 cores=0-7
/proc/23650/task/23665/stat : 23665 (java) S 23647 23647 22116 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 419890774 27969658880 32050 33554432000 4194304 4196468 140722469699184 139944588699632 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23666] ppid=23647 vsize=27314120 memory=280874352609680 CPUtime=0 cores=0-7
/proc/23650/task/23666/stat : 23666 (java) S 23647 23647 22116 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 32050 33554432000 4194304 4196468 140722469699184 139944587647344 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23667] ppid=23647 vsize=27314120 memory=280874352625840 CPUtime=0.07 cores=0-7
/proc/23650/task/23667/stat : 23667 (java) S 23647 23647 22116 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 20 0 419890774 27969658880 32050 33554432000 4194304 4196468 140722469699184 139944586594544 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23668] ppid=23647 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23650/task/23668/stat : 23668 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890774 27969658880 32050 33554432000 4194304 4196468 140722469699184 139943254944608 139946472691413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23669] ppid=23647 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23650/task/23669/stat : 23669 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419890775 27969658880 32050 33554432000 4194304 4196468 140722469699184 139944585542448 139946472692354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129596 KiB

[startup+0.706443 s]
/proc/loadavg: 6.32 5.54 6.13 2/216 23669
/proc/meminfo: memFree=30673184/32770624 swapFree=66968420/67108860
[pid=23647] ppid=23644 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23647/stat : 23647 (scop.sh) S 23644 23647 22116 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419890766 115843072 349 33554432000 4194304 5098028 140729756484784 140729756482040 139722327523964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36020224 140729756488484 140729756488812 140729756488812 140729756491725 0
/proc/23647/statm: 28282 349 296 221 0 87 0
[pid=23650] ppid=23647 vsize=27320392 memory=165484 CPUtime=1.04 cores=0-7
/proc/23650/stat : 23650 (java) S 23647 23647 22116 0 -1 1077944320 20065 0 0 0 98 6 0 0 20 0 20 0 419890767 27976081408 41371 33554432000 4194304 4196468 140722469699184 140722469681728 139946472681207 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
/proc/23650/statm: 6830098 41371 3181 1 0 6791447 0
[pid=23650/tid=23651] ppid=23647 vsize=27320392 memory=280874352920704 CPUtime=0.68 cores=0-7
/proc/23650/task/23651/stat : 23651 (java) R 23647 23647 22116 0 -1 4202560 16935 0 0 0 63 5 0 0 20 0 20 0 419890767 27976081408 41371 33554432000 4194304 4196468 140722469699184 139946444511056 139945957844139 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23652] ppid=23647 vsize=27320392 memory=3928 CPUtime=0 cores=0-7
/proc/23650/task/23652/stat : 23652 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890769 27976081408 41371 33554432000 4194304 4196468 140722469699184 139946476923792 139946472691413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23653] ppid=23647 vsize=27320392 memory=716 CPUtime=0 cores=0-7
/proc/23650/task/23653/stat : 23653 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419890769 27976081408 41371 33554432000 4194304 4196468 140722469699184 139946291079952 139946472691413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0
[pid=23650/tid=23654] ppid=23647 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/23650/task/23654/stat : 23654 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419890769 27976081408 41371 33554432000 4194304 4196468 140722469699184 139946290027664 139946472691413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21901312 140722469704426 140722469704854 140722469704854 140722469707727 0

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

[pid=23670/tid=23680] ppid=23647 vsize=8414124 memory=7686721470233942934 CPUtime=0 cores=0-7
/proc/23670/task/23680/stat : 23680 (java) S 23647 23647 22116 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419891230 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398755854448 140399930874498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23681] ppid=23647 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/23670/task/23681/stat : 23681 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419891231 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398588584736 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23682] ppid=23647 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/23670/task/23682/stat : 23682 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891231 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398320149616 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23683] ppid=23647 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/23670/task/23683/stat : 23683 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397945641040 140399930881947 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23684] ppid=23647 vsize=8414124 memory=1448 CPUtime=0.08 cores=0-7
/proc/23670/task/23684/stat : 23684 (java) S 23647 23647 22116 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398754802288 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23685] ppid=23647 vsize=8414124 memory=916 CPUtime=0.06 cores=0-7
/proc/23670/task/23685/stat : 23685 (java) S 23647 23647 22116 0 -1 1077944384 190 0 0 0 6 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398753749488 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23686] ppid=23647 vsize=8414124 memory=1980 CPUtime=0.04 cores=0-7
/proc/23670/task/23686/stat : 23686 (java) S 23647 23647 22116 0 -1 1077944384 250 0 0 0 4 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398752697200 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23687] ppid=23647 vsize=8414124 memory=2404 CPUtime=0.21 cores=0-7
/proc/23670/task/23687/stat : 23687 (java) S 23647 23647 22116 0 -1 1077944384 754 0 0 0 21 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398751644400 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23688] ppid=23647 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/23670/task/23688/stat : 23688 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397447735648 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23689] ppid=23647 vsize=8414124 memory=111632 CPUtime=0.13 cores=0-7
/proc/23670/task/23689/stat : 23689 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 9 4 0 0 20 0 24 0 419891234 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398750591280 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23691] ppid=23647 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/23670/task/23691/stat : 23691 (java) S 23647 23647 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398742558016 140399930887961 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23693] ppid=23647 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23670/task/23693/stat : 23693 (java) S 23647 23647 22116 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140396776636304 140399930885277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23694] ppid=23647 vsize=8414124 memory=121556 CPUtime=0 cores=0-7
/proc/23670/task/23694/stat : 23694 (java) S 23647 23647 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397045071632 140399930885277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23702] ppid=23647 vsize=8414124 memory=280874355321600 CPUtime=0 cores=0-7
/proc/23670/task/23702/stat : 23702 (java) S 23647 23647 22116 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419891303 8616062976 30389 33554432000 4194304 4196468 140727846624368 140396508208944 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
Current children cumulated CPU time: 1113.64 s
Current children cumulated vsize: 9271820 KiB
Current children cumulated memory: 709036 KiB

[startup+172.601 s]
/proc/loadavg: 6.60 6.04 6.22 3/223 23715
/proc/meminfo: memFree=30118996/32770624 swapFree=66968420/67108860
[pid=23647] ppid=23644 vsize=113128 memory=1476 CPUtime=11.89 cores=0-7
/proc/23647/stat : 23647 (scop.sh) S 23644 23647 22116 0 -1 4202496 583 32246 0 0 0 0 1161 28 20 0 1 0 419890766 115843072 369 33554432000 4194304 5098028 140729756484784 140729756481528 139722327523964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36020224 140729756488484 140729756488812 140729756488812 140729756491725 0
/proc/23647/statm: 28282 369 311 221 0 87 0
[pid=23670] ppid=23647 vsize=8414124 memory=121556 CPUtime=1.34 cores=0-7
/proc/23670/stat : 23670 (java) S 23647 23647 22116 0 -1 1077944320 20343 0 0 0 125 9 0 0 20 0 24 0 419891200 8616062976 30389 33554432000 4194304 4196468 140727846624368 140727846606912 140399930863351 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
/proc/23670/statm: 2103531 30389 3208 1 0 2064875 0
[pid=23690] ppid=23670 vsize=744568 memory=586004 CPUtime=1100.72 cores=0-7
/proc/23690/stat : 23690 (manyglucose-4.1) S 23670 23647 22116 0 -1 1077944320 689897 0 0 0 109931 141 0 0 20 0 2 0 419891301 762437632 146501 33554432000 4194304 4454172 140731519992784 140731519991168 140030702333687 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 28155904 140731519996777 140731519996976 140731519996976 140731519999930 0
/proc/23690/statm: 186142 146501 419 64 0 181810 0
[pid=23690/tid=23695] ppid=23670 vsize=744568 memory=1716 CPUtime=164.65 cores=0-7
/proc/23690/task/23695/stat : 23695 (manyglucose-4.1) R 23670 23647 22116 0 -1 4202560 91985 0 0 0 16448 17 0 0 20 0 2 0 419891303 762437632 146501 33554432000 4194304 4454172 140731519992784 140030687116136 4351747 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28155904 140731519996777 140731519996976 140731519996976 140731519999930 0
[pid=23670/tid=23671] ppid=23647 vsize=8414124 memory=1000 CPUtime=0.77 cores=0-7
/proc/23670/task/23671/stat : 23671 (java) S 23647 23647 22116 0 -1 1077944384 16864 0 0 0 71 6 0 0 20 0 24 0 419891200 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399902703520 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23672] ppid=23647 vsize=8414124 memory=7996 CPUtime=0 cores=0-7
/proc/23670/task/23672/stat : 23672 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399935105424 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23673] ppid=23647 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/23670/task/23673/stat : 23673 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399735273744 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23674] ppid=23647 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/23670/task/23674/stat : 23674 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399734221456 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23675] ppid=23647 vsize=8414124 memory=8096 CPUtime=0 cores=0-7
/proc/23670/task/23675/stat : 23675 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399733168656 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23676] ppid=23647 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/23670/task/23676/stat : 23676 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399732116368 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23677] ppid=23647 vsize=8414124 memory=13948 CPUtime=0 cores=0-7
/proc/23670/task/23677/stat : 23677 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399731063568 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23678] ppid=23647 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/23670/task/23678/stat : 23678 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399410670736 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23679] ppid=23647 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/23670/task/23679/stat : 23679 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419891229 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399409617936 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23680] ppid=23647 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/23670/task/23680/stat : 23680 (java) S 23647 23647 22116 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419891230 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398755854448 140399930874498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23681] ppid=23647 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/23670/task/23681/stat : 23681 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419891231 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398588584736 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23682] ppid=23647 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/23670/task/23682/stat : 23682 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891231 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398320149616 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23683] ppid=23647 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/23670/task/23683/stat : 23683 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397945641040 140399930881947 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23684] ppid=23647 vsize=8414124 memory=1980 CPUtime=0.08 cores=0-7
/proc/23670/task/23684/stat : 23684 (java) S 23647 23647 22116 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398754802288 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23685] ppid=23647 vsize=8414124 memory=2404 CPUtime=0.06 cores=0-7
/proc/23670/task/23685/stat : 23685 (java) S 23647 23647 22116 0 -1 1077944384 190 0 0 0 6 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398753749488 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23686] ppid=23647 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/23670/task/23686/stat : 23686 (java) S 23647 23647 22116 0 -1 1077944384 250 0 0 0 4 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398752697200 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23687] ppid=23647 vsize=8414124 memory=50948 CPUtime=0.21 cores=0-7
/proc/23670/task/23687/stat : 23687 (java) S 23647 23647 22116 0 -1 1077944384 754 0 0 0 21 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398751644400 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23688] ppid=23647 vsize=8414124 memory=7884516941612929368 CPUtime=0 cores=0-7
/proc/23670/task/23688/stat : 23688 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397447735648 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23689] ppid=23647 vsize=8414124 memory=280874355622016 CPUtime=0.13 cores=0-7
/proc/23670/task/23689/stat : 23689 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 9 4 0 0 20 0 24 0 419891234 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398750591280 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23691] ppid=23647 vsize=8414124 memory=280874355626464 CPUtime=0 cores=0-7
/proc/23670/task/23691/stat : 23691 (java) S 23647 23647 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398742558016 140399930887961 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23693] ppid=23647 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23670/task/23693/stat : 23693 (java) S 23647 23647 22116 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140396776636304 140399930885277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23694] ppid=23647 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23670/task/23694/stat : 23694 (java) S 23647 23647 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397045071632 140399930885277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23702] ppid=23647 vsize=8414124 memory=3907355277695599706 CPUtime=0 cores=0-7
/proc/23670/task/23702/stat : 23702 (java) S 23647 23647 22116 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419891303 8616062976 30389 33554432000 4194304 4196468 140727846624368 140396508208944 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
Current children cumulated CPU time: 1113.95 s
Current children cumulated vsize: 9271820 KiB
Current children cumulated memory: 709036 KiB

[startup+172.701 s]
/proc/loadavg: 6.60 6.04 6.22 3/223 23715
/proc/meminfo: memFree=30118996/32770624 swapFree=66968420/67108860
[pid=23647] ppid=23644 vsize=113128 memory=1476 CPUtime=11.89 cores=0-7
/proc/23647/stat : 23647 (scop.sh) S 23644 23647 22116 0 -1 4202496 583 32246 0 0 0 0 1161 28 20 0 1 0 419890766 115843072 369 33554432000 4194304 5098028 140729756484784 140729756481528 139722327523964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36020224 140729756488484 140729756488812 140729756488812 140729756491725 0
/proc/23647/statm: 28282 369 311 221 0 87 0
[pid=23670] ppid=23647 vsize=8414124 memory=121556 CPUtime=1.34 cores=0-7
/proc/23670/stat : 23670 (java) S 23647 23647 22116 0 -1 1077944320 20343 0 0 0 125 9 0 0 20 0 24 0 419891200 8616062976 30389 33554432000 4194304 4196468 140727846624368 140727846606912 140399930863351 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
/proc/23670/statm: 2103531 30389 3208 1 0 2064875 0
[pid=23690] ppid=23670 vsize=744568 memory=586004 CPUtime=1100.82 cores=0-7
/proc/23690/stat : 23690 (manyglucose-4.1) S 23670 23647 22116 0 -1 1077944320 689901 0 0 0 109941 141 0 0 20 0 2 0 419891301 762437632 146501 33554432000 4194304 4454172 140731519992784 140731519991168 140030702333687 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 28155904 140731519996777 140731519996976 140731519996976 140731519999930 0
/proc/23690/statm: 186142 146501 419 64 0 181810 0
[pid=23690/tid=23695] ppid=23670 vsize=744568 memory=614624 CPUtime=164.75 cores=0-7
/proc/23690/task/23695/stat : 23695 (manyglucose-4.1) R 23670 23647 22116 0 -1 4202560 91989 0 0 0 16458 17 0 0 20 0 2 0 419891303 762437632 146501 33554432000 4194304 4454172 140731519992784 140030687116136 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28155904 140731519996777 140731519996976 140731519996976 140731519999930 0
[pid=23670/tid=23671] ppid=23647 vsize=8414124 memory=121556 CPUtime=0.77 cores=0-7
/proc/23670/task/23671/stat : 23671 (java) S 23647 23647 22116 0 -1 1077944384 16864 0 0 0 71 6 0 0 20 0 24 0 419891200 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399902703520 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23672] ppid=23647 vsize=8414124 memory=1000 CPUtime=0 cores=0-7
/proc/23670/task/23672/stat : 23672 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399935105424 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23673] ppid=23647 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23670/task/23673/stat : 23673 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399735273744 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23674] ppid=23647 vsize=8414124 memory=511604 CPUtime=0 cores=0-7
/proc/23670/task/23674/stat : 23674 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399734221456 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23675] ppid=23647 vsize=8414124 memory=494888 CPUtime=0 cores=0-7
/proc/23670/task/23675/stat : 23675 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399733168656 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23676] ppid=23647 vsize=8414124 memory=614624 CPUtime=0 cores=0-7
/proc/23670/task/23676/stat : 23676 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399732116368 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23677] ppid=23647 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23670/task/23677/stat : 23677 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399731063568 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23678] ppid=23647 vsize=8414124 memory=614624 CPUtime=0 cores=0-7
/proc/23670/task/23678/stat : 23678 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891228 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399410670736 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23679] ppid=23647 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23670/task/23679/stat : 23679 (java) S 23647 23647 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419891229 8616062976 30389 33554432000 4194304 4196468 140727846624368 140399409617936 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23680] ppid=23647 vsize=8414124 memory=121556 CPUtime=0 cores=0-7
/proc/23670/task/23680/stat : 23680 (java) S 23647 23647 22116 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419891230 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398755854448 140399930874498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23681] ppid=23647 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23670/task/23681/stat : 23681 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419891231 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398588584736 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23682] ppid=23647 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23670/task/23682/stat : 23682 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891231 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398320149616 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23683] ppid=23647 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23670/task/23683/stat : 23683 (java) S 23647 23647 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397945641040 140399930881947 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23684] ppid=23647 vsize=8414124 memory=1476 CPUtime=0.08 cores=0-7
/proc/23670/task/23684/stat : 23684 (java) S 23647 23647 22116 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398754802288 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23685] ppid=23647 vsize=8414124 memory=121556 CPUtime=0.06 cores=0-7
/proc/23670/task/23685/stat : 23685 (java) S 23647 23647 22116 0 -1 1077944384 190 0 0 0 6 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398753749488 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23686] ppid=23647 vsize=8414124 memory=614624 CPUtime=0.04 cores=0-7
/proc/23670/task/23686/stat : 23686 (java) S 23647 23647 22116 0 -1 1077944384 250 0 0 0 4 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398752697200 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23687] ppid=23647 vsize=8414124 memory=161 CPUtime=0.21 cores=0-7
/proc/23670/task/23687/stat : 23687 (java) S 23647 23647 22116 0 -1 1077944384 754 0 0 0 21 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398751644400 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23688] ppid=23647 vsize=8414124 memory=140437310686897 CPUtime=0 cores=0-7
/proc/23670/task/23688/stat : 23688 (java) S 23647 23647 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419891233 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397447735648 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23689] ppid=23647 vsize=8414124 memory=140437310684689 CPUtime=0.13 cores=0-7
/proc/23670/task/23689/stat : 23689 (java) S 23647 23647 22116 0 -1 1077944384 13 0 0 0 9 4 0 0 20 0 24 0 419891234 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398750591280 140399930874498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23691] ppid=23647 vsize=8414124 memory=604376 CPUtime=0 cores=0-7
/proc/23670/task/23691/stat : 23691 (java) S 23647 23647 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140398742558016 140399930887961 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23693] ppid=23647 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23670/task/23693/stat : 23693 (java) S 23647 23647 22116 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140396776636304 140399930885277 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23694] ppid=23647 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23670/task/23694/stat : 23694 (java) S 23647 23647 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419891301 8616062976 30389 33554432000 4194304 4196468 140727846624368 140397045071632 140399930885277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
[pid=23670/tid=23702] ppid=23647 vsize=8414124 memory=121556 CPUtime=0 cores=0-7
/proc/23670/task/23702/stat : 23702 (java) S 23647 23647 22116 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419891303 8616062976 30389 33554432000 4194304 4196468 140727846624368 140396508208944 140399930873557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140727846626295 140727846626454 140727846626454 140727846629327 0
Current children cumulated CPU time: 1114.05 s
Current children cumulated vsize: 9271820 KiB
Current children cumulated memory: 709036 KiB

Child status: 0
Real time (s): 172.757
CPU time (s): 1114.2
CPU user time (s): 1112.36
CPU system time (s): 1.83385
CPU usage (%): 644.949
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1062268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1112.36
system time used= 1.83385
maximum resident set size= 1063564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 743197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21228
involuntary context switches= 10004


# summary of solver processes directly reported to runsolver:
#   pid: 23647
#   total CPU time (s): 1114.2
#   total CPU user time (s): 1112.36
#   total CPU system time (s): 1.83385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.7174 second user time and 2.36722 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-14 06:46:12
IDJOB=4392748
IDBENCH=134572
IDSOLVER=2839
FILE ID=node135/4392748-1568436412
RUNJOBID= node135-1568428312-22143
PBS_JOBID= 21702304
Free space on /tmp= 61376 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-5_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-4392748-1568436412/watcher-4392748-1568436412 -o /tmp/evaluation-result-4392748-1568436412/solver-4392748-1568436412 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568428312-22143 --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-4392748-1568436412.xml

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

MD5SUM BENCH= 0d344e361328211ed16699cc315bd3d7
RANDOM SEED=415864547

node135.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.76
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.76
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.76
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.76
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:        30814900 kB
MemAvailable:   31863156 kB
Buffers:          169524 kB
Cached:          1147048 kB
SwapCached:        34624 kB
Active:           560368 kB
Inactive:         795480 kB
Active(anon):      11452 kB
Inactive(anon):    60388 kB
Active(file):     548916 kB
Inactive(file):   735092 kB
Unevictable:      110024 kB
Mlocked:          110024 kB
SwapTotal:      67108860 kB
SwapFree:       66968420 kB
Dirty:             20420 kB
Writeback:             0 kB
AnonPages:        340920 kB
Mapped:            36352 kB
Shmem:             24352 kB
Slab:             191112 kB
SReclaimable:     160164 kB
SUnreclaim:        30948 kB
KernelStack:        3904 kB
PageTables:         6300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61356 MiB
End job on node135 at 2019-09-14 06:49:05