Trace number 4405327

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 1170.31 175.3

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7208-serial-file.bin HOME/instance-4405327-1569342825.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 18:33:09 CEST 2019
0.66/0.57	c PID: 7211
0.66/0.57	c IP: 172.20.3.148
0.66/0.57	c HOST: node148.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.02/1.14	c (0,0) Parsing End
2.02/1.14	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.02/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.14	c (0,0) Constraint Name Generate Begin
2.02/1.15	c (0,0) Ctr:HOME/instance-4405327-1569342825.xml,ExtensionConflict:ExtensionSupport:Var
2.02/1.15	c (0,0) Constraint Name Generate End
2.02/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.02/1.15	c (0,0) CSP to CSPinCNF Begin
3.12/1.66	c (1,1) translated 127 (10%) constraints
3.48/1.77	c (1,1) translated 253 (20%) constraints
3.91/1.85	c (1,1) translated 379 (30%) constraints
4.33/1.91	c (1,1) translated 505 (40%) constraints
4.33/1.97	c (1,1) translated 631 (50%) constraints
4.76/2.02	c (1,1) translated 757 (60%) constraints
5.16/2.15	c (1,1) translated 883 (70%) constraints
5.89/2.38	c (1,1) translated 1009 (80%) constraints
6.29/2.60	c (2,2) translated 1135 (90%) constraints
7.00/2.91	c (2,2) translated 1261 (100%) constraints
7.00/2.91	c (2,2) ===========================================
7.00/2.91	c (2,2) Order
7.00/2.91	c (2,2) ===========================================
7.00/2.97	c (2,2) translated 1883 (10%) constraints
7.41/3.02	c (2,2) translated 3765 (20%) constraints
7.41/3.08	c (2,2) translated 5647 (30%) constraints
7.81/3.13	c (2,2) translated 7529 (40%) constraints
7.81/3.18	c (2,2) translated 9411 (50%) constraints
8.18/3.22	c (2,2) translated 11294 (60%) constraints
8.18/3.27	c (2,2) translated 13176 (70%) constraints
8.55/3.31	c (2,2) translated 15058 (80%) constraints
8.55/3.34	c (2,2) translated 16940 (90%) constraints
8.55/3.38	c (2,2) translated 18822 (100%) constraints
8.55/3.38	c (2,2) CSP to CSPinCNF End
8.55/3.38	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.55/3.38	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.55/3.38	c (2,2) CSPinCNF Propagation Begin
9.98/3.73	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.98/3.73	c (3,3) CSPinCNF Propagation End
9.98/3.73	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.98/3.73	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.98/3.73	c (3,3) Simplify CSPinCNF Begin
9.98/3.79	c (3,3) Simplify CSPinCNF End
9.98/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.98/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.98/3.79	c (3,3) Calculate Precise Domain Begin
9.98/3.79	c (3,3) 0 values are removed by re-calculation
9.98/3.79	c (3,3) Calculate Precise Domain End
9.98/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.98/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.98/3.79	c (3,3) CSPinCNF to SatSolver Begin
10.55/3.94	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.55/3.99	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.97/4.04	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
10.97/4.07	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
10.97/4.09	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.36/4.11	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.36/4.13	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.36/4.14	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.36/4.16	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.36/4.17	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.36/4.17	c (3,3) CSPinCNF to SatSolver End
11.36/4.17	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.36/4.17	c (3,3) 2482 bool, 15697 clause
11.36/4.17	c (3,3) Export Begin
11.51/4.28	c (3,3) Export to HOME/scop-7208-serial-file.bin
11.51/4.28	c (3,3) Export End
11.51/4.28	c (3,3) Export File Size: 0.02 MB
11.51/4.28	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.51/4.28	c END-Prog: Tue Sep 24 18:33:12 CEST 2019
0.00/4.31	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7208-serial-file.bin
11.70/4.76	c (0,0) Read Serial File Begin
11.70/4.76	c (0,0) HOME/scop-7208-serial-file.bin
11.70/4.98	c (0,0) Read Serial File End
11.70/5.00	
11.70/5.00	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
11.70/5.00	(Solving Process)
11.70/5.00	
12.67/5.02	c BEGIN-Prog: Tue Sep 24 18:33:13 CEST 2019
12.67/5.02	c PID: 7233
12.67/5.02	c IP: 172.20.3.148
12.67/5.02	c HOST: node148.alineos.net
12.67/5.02	c (0,0) SatSolver.solve Begin
12.67/5.02	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405327-1569342825.xml-scop-7211.cnf
12.67/5.05	c (0,0) c
12.67/5.05	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.67/5.05	c (0,0) c
12.67/5.05	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.67/5.05	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.67/5.05	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.67/5.05	c (0,0) c |                                                                                                       |
12.67/5.05	c (0,0) c |  Number of variables:          2480                                                                   |
12.67/5.05	c (0,0) c |  Number of clauses:           15697                                                                   |
12.67/5.05	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.67/5.05	c (0,0) c |                                                                                                       |
12.67/5.05	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.67/5.06	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.67/5.06	c (0,0) c |                                                                                                       |
12.67/5.06	c (0,0) c |  Generating clones                                                                                    |
12.67/5.07	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.67/5.07	c (0,0) c ========================================================================================================|
12.67/5.07	c (0,0) c
12.67/5.07	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.67/5.07	c (0,0) c
12.67/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.67/5.07	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.67/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.67/5.07	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.67/5.07	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.67/5.07	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.67/5.07	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.67/5.07	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.67/5.07	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.67/5.07	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.67/5.07	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.67/5.07	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.67/5.07	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.67/5.07	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.67/5.07	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.67/5.07	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.67/5.07	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.67/5.07	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.67/5.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
235.15/34.55	c (29,0) c
235.15/34.55	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
235.15/34.55	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
235.15/34.55	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
235.15/34.55	c (29,0) c |  0 |    329 |     555297 |     302454 |     9096 |    71067 |    46598 |   305561 |     9980 |      328 |  20 |  0.847 |
235.15/34.55	c (29,0) c |  1 |    370 |     546790 |     292643 |     9293 |    61249 |    44634 |   295932 |    12252 |      308 |  20 |  0.847 |
235.15/34.55	c (29,0) c |  2 |    265 |     567541 |     297993 |     8620 |    66604 |    44212 |   305668 |     9681 |      328 |  20 |  0.847 |
235.15/34.55	c (29,0) c |  3 |    376 |     570107 |     302493 |     9247 |    71114 |    43737 |   307310 |    12619 |      327 |  20 |  0.847 |
235.15/34.55	c (29,0) c |  4 |    515 |     597794 |     324327 |     9469 |    57141 |    45942 |   297399 |    14886 |      328 |  20 |  0.848 |
235.15/34.55	c (29,0) c |  5 |    341 |     552397 |     294999 |     9325 |    63610 |    45291 |   306662 |    13164 |      328 |  20 |  0.847 |
235.15/34.55	c (29,0) c |  6 |    330 |     549835 |     301538 |     9138 |    70149 |    44362 |   306920 |    10954 |      328 |  20 |  0.847 |
235.15/34.55	c (29,0) c |  7 |    304 |     570184 |     301929 |     9067 |    70543 |    44290 |   308026 |    11419 |      328 |  20 |  0.847 |
235.15/34.55	c (29,0) c 
235.15/34.55	c (29,0) c synthesis     2418377 conflicts   183271945 propagations    10898 conflicts/sec   825880 propagations/sec
235.15/34.55	c (29,0) c real: 29.5046 s, cpu: 221.911 s, memory: 628.71 Mb
425.31/64.54	c (59,0) c
425.31/64.54	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
425.31/64.54	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
425.31/64.54	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
425.31/64.54	c (59,0) c |  0 |    375 |     806920 |     432274 |     9126 |    85691 |    60033 |   392946 |    13467 |      570 |  20 |  0.847 |
425.31/64.54	c (59,0) c |  1 |    418 |     816128 |     433801 |     9352 |    43613 |    58778 |   397226 |    16667 |      550 |  20 |  0.847 |
425.31/64.54	c (59,0) c |  2 |    330 |     845209 |     439334 |     9178 |    49142 |    57030 |   399113 |    17958 |      570 |  20 |  0.848 |
425.31/64.54	c (59,0) c |  3 |    416 |     818759 |     432010 |     9261 |    85425 |    55251 |   398312 |    16582 |      570 |  20 |  0.847 |
425.31/64.54	c (59,0) c |  4 |    688 |     887359 |     472434 |     9499 |    82244 |    61422 |   401780 |    22870 |      570 |  20 |  0.847 |
425.31/64.54	c (59,0) c |  5 |    553 |     842892 |     442079 |     9458 |    51893 |    58189 |   404977 |    23601 |      570 |  20 |  0.847 |
425.31/64.54	c (59,0) c |  6 |    382 |     821069 |     442406 |     9252 |    52218 |    57161 |   406227 |    17052 |      570 |  20 |  0.847 |
425.31/64.54	c (59,0) c |  7 |    431 |     877241 |     464766 |     9508 |    74581 |    61887 |   390569 |    20933 |      570 |  20 |  0.847 |
425.31/64.54	c (59,0) c 
425.31/64.54	c (59,0) c synthesis     3559106 conflicts   269522940 propagations     8644 conflicts/sec   654594 propagations/sec
425.31/64.54	c (59,0) c real: 59.4974 s, cpu: 411.74 s, memory: 635.29 Mb
629.21/94.54	c (89,0) c
629.21/94.54	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
629.21/94.54	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
629.21/94.54	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
629.21/94.54	c (89,0) c |  0 |    432 |    1107929 |     586778 |     9413 |   101588 |    76120 |   498351 |    27913 |      847 |  20 |  0.847 |
629.21/94.54	c (89,0) c |  1 |    538 |    1125322 |     593284 |     9412 |    56695 |    73642 |   497458 |    29347 |      836 |  20 |  0.847 |
629.21/94.54	c (89,0) c |  2 |    445 |    1128240 |     584425 |     9411 |    99237 |    71426 |   493288 |    28663 |      828 |  20 |  0.847 |
629.21/94.54	c (89,0) c |  3 |    483 |    1121462 |     586284 |     9463 |   101095 |    70316 |   499378 |    30148 |      847 |  20 |  0.847 |
629.21/94.54	c (89,0) c |  4 |    835 |    1171858 |     618671 |     9509 |    82084 |    73020 |   499546 |    31931 |      841 |  20 |  0.848 |
629.21/94.54	c (89,0) c |  5 |    765 |    1113254 |     577768 |     9487 |    92577 |    69559 |   496404 |    33000 |      827 |  20 |  0.847 |
629.21/94.54	c (89,0) c |  6 |    462 |    1088707 |     581855 |     9390 |    96666 |    69903 |   504368 |    27380 |      846 |  20 |  0.847 |
629.21/94.54	c (89,0) c |  7 |    517 |    1163009 |     614283 |     9564 |    77694 |    73974 |   497970 |    32613 |      847 |  20 |  0.848 |
629.21/94.54	c (89,0) c 
629.21/94.54	c (89,0) c synthesis     4743350 conflicts   357063598 propagations     7709 conflicts/sec   580333 propagations/sec
629.21/94.54	c (89,0) c real: 89.4976 s, cpu: 615.274 s, memory: 820.32 Mb
826.84/123.54	c (118,0) c
826.84/123.54	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
826.84/123.54	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
826.84/123.54	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
826.84/123.54	c (118,0) c |  0 |    498 |    1342312 |     703800 |     9436 |    56614 |    85504 |   571341 |    37231 |     1091 |  20 |  0.847 |
826.84/123.54	c (118,0) c |  1 |    605 |    1342003 |     706394 |     9437 |    59209 |    85234 |   565044 |    37066 |     1072 |  20 |  0.848 |
826.84/123.54	c (118,0) c |  2 |    574 |    1378740 |     710182 |     9441 |    62992 |    83145 |   575014 |    37981 |     1091 |  20 |  0.847 |
826.84/123.54	c (118,0) c |  3 |    545 |    1347233 |     703271 |     9474 |   112684 |    77946 |   578056 |    39322 |     1091 |  20 |  0.847 |
826.84/123.54	c (118,0) c |  4 |    948 |    1395206 |     733359 |     9522 |    86173 |    82938 |   573223 |    39954 |     1090 |  20 |  0.847 |
826.84/123.54	c (118,0) c |  5 |    897 |    1349051 |     696678 |     9503 |   106088 |    80935 |   569061 |    41863 |     1080 |  20 |  0.847 |
826.84/123.54	c (118,0) c |  6 |    553 |    1315773 |     698836 |     9426 |   108253 |    81633 |   571627 |    36525 |     1091 |  20 |  0.847 |
826.84/123.54	c (118,0) c |  7 |    603 |    1386977 |     729693 |     9587 |    82503 |    84712 |   568840 |    42641 |     1092 |  20 |  0.848 |
826.84/123.54	c (118,0) c 
826.84/123.54	c (118,0) c synthesis     5682213 conflicts   427420258 propagations     6992 conflicts/sec   525954 propagations/sec
826.84/123.54	c (118,0) c real: 118.498 s, cpu: 812.657 s, memory: 913.96 Mb
1027.88/152.54	c (147,0) c
1027.88/152.54	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1027.88/152.54	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1027.88/152.54	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1027.88/152.54	c (147,0) c |  0 |    586 |    1562872 |     813269 |     9450 |   106881 |    92373 |   624986 |    45563 |     1343 |  20 |  0.847 |
1027.88/152.54	c (147,0) c |  1 |    694 |    1560867 |     817338 |     9451 |   110956 |    91941 |   629301 |    44751 |     1323 |  20 |  0.848 |
1027.88/152.54	c (147,0) c |  2 |    686 |    1598363 |     818656 |     9454 |   112264 |    93658 |   629767 |    46357 |     1343 |  20 |  0.848 |
1027.88/152.54	c (147,0) c |  3 |    597 |    1565632 |     814993 |     9487 |   108606 |    84203 |   638763 |    46664 |     1343 |  20 |  0.847 |
1027.88/152.54	c (147,0) c |  4 |   1008 |    1597712 |     836958 |     9527 |    68770 |    93139 |   633916 |    47036 |     1342 |  20 |  0.847 |
1027.88/152.54	c (147,0) c |  5 |    971 |    1563742 |     803881 |     9511 |    97491 |    91059 |   630891 |    49346 |     1333 |  20 |  0.848 |
1027.88/152.54	c (147,0) c |  6 |    609 |    1533465 |     807313 |     9442 |   100926 |    90961 |   634936 |    45953 |     1343 |  20 |  0.847 |
1027.88/152.54	c (147,0) c |  7 |    635 |    1576544 |     830100 |     9594 |    61911 |    93022 |   632454 |    49780 |     1342 |  20 |  0.847 |
1027.88/152.54	c (147,0) c 
1027.88/152.54	c (147,0) c synthesis     6542508 conflicts   493000061 propagations     6454 conflicts/sec   486365 propagations/sec
1027.88/152.54	c (147,0) c real: 147.498 s, cpu: 1013.64 s, memory: 849.96 Mb
1170.14/175.26	c (170,0) c
1170.14/175.26	c (170,0) c real time : 170.213 s
1170.14/175.26	c (170,0) c cpu time  : 1155.54 s
1170.14/175.26	c (170,0) c
1170.14/175.26	c (170,0) c
1170.14/175.26	c (170,0) c
1170.14/175.26	c (170,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1170.14/175.26	c (170,0) c
1170.14/175.26	c (170,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.26	c (170,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1170.14/175.26	c (170,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.26	c (170,0) c | Conflicts     |         7064187 |     877868 |     885634 |     878526 |     880795 |     900859 |     874862 |     869816 |     895827 |
1170.14/175.26	c (170,0) c | Decisions     |        13594931 |    1690354 |    1697543 |    1714497 |    1696631 |    1724103 |    1706510 |    1658601 |    1706692 |
1170.14/175.26	c (170,0) c | Propagations  |       533880488 |   66233808 |   67251729 |   66089508 |   66845822 |   67093194 |   66418151 |   66138025 |   67810251 |
1170.14/175.26	c (170,0) c | ReduceDBs     |             201 |         25 |         25 |         25 |         25 |         26 |         25 |         25 |         25 |
1170.14/175.26	c (170,0) c | SimpDBs       |              75 |         12 |         10 |         11 |          7 |          9 |          7 |          8 |         11 |
1170.14/175.26	c (170,0) c | Restarts      |            5961 |        599 |        714 |        707 |        620 |       1030 |        996 |        636 |        659 |
1170.14/175.26	c (170,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1170.14/175.26	c (170,0) c | PropBinClauses|      1155659087 |  143308765 |  146342446 |  143597475 |  146634506 |  143094427 |  140035999 |  144875213 |  147770256 |
1170.14/175.26	c (170,0) c | PropPreBlocker|     41760468251 | 5195910780 | 5264571174 | 5185049938 | 5130187538 | 5262364978 | 5256290201 | 5201101435 | 5264992207 |
1170.14/175.26	c (170,0) c | PropNotBlocker|      6688989544 |  826542254 |  832969273 |  833020312 |  853386393 |  845036168 |  839474367 |  829015164 |  829545613 |
1170.14/175.26	c (170,0) c | LitFullScans  |     72577278870 | 9074100435 | 9067358113 | 9067780187 | 9073867422 | 9073206191 | 9073638552 | 9073817486 | 9073510484 |
1170.14/175.26	c (170,0) c | LitScanFracts |        13872164 |    2825175 |    1338581 |    1753282 |    1862211 |    1198522 |    1581815 |    1813214 |    1499364 |
1170.14/175.26	c (170,0) c | DecisionLevel0|            6062 |        613 |        727 |        720 |        632 |       1042 |       1006 |        651 |        671 |
1170.14/175.26	c (170,0) c | Periods       |           12093 |       1511 |       1511 |       1511 |       1512 |       1512 |       1512 |       1512 |       1512 |
1170.14/175.26	c (170,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1170.14/175.26	c (170,0) c | Avg_Trail     |                 |        628 |        631 |        626 |        625 |        630 |        632 |        624 |        628 |
1170.14/175.26	c (170,0) c | Avg_DL        |                 |         21 |         21 |         21 |         21 |         21 |         21 |         20 |         21 |
1170.14/175.26	c (170,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1170.14/175.26	c (170,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1170.14/175.26	c (170,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.26	c (170,0) c | Exported      |          772514 |      97170 |      97066 |      98844 |      88998 |      98213 |      97344 |      96574 |      98305 |
1170.14/175.26	c (170,0) c | Imported      |         5344634 |     670971 |     668289 |     665642 |     676055 |     667956 |     661461 |     669090 |     665170 |
1170.14/175.26	c (170,0) c | Good          |           14220 |       1813 |       1830 |       1791 |       1776 |       1718 |       1758 |       1786 |       1748 |
1170.14/175.26	c (170,0) c | Purge         |         5330414 |     669158 |     666459 |     663851 |     674279 |     666238 |     659703 |     667304 |     663422 |
1170.14/175.26	c (170,0) c | Promoted      |          419320 |      50415 |      50945 |      51938 |      51576 |      52785 |      54814 |      52032 |      54815 |
1170.14/175.26	c (170,0) c | Remove_Imp    |         4147822 |     515017 |     508481 |     506096 |     526376 |     535290 |     529841 |     517968 |     508753 |
1170.14/175.26	c (170,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1170.14/175.26	c (170,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.26	c (170,0) c | Unaries       |                 |         14 |         13 |         13 |         12 |         12 |         10 |         15 |         12 |
1170.14/175.26	c (170,0) c | Binaries      |                 |        262 |        205 |        241 |        260 |        328 |        252 |        266 |        291 |
1170.14/175.26	c (170,0) c | Glues         |                 |        990 |        940 |        956 |       1030 |       1129 |       1011 |       1014 |       1030 |
1170.14/175.26	c (170,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.26	c (170,0) c | Orig_Seen     |            87 % |       9456 |       9462 |       9468 |       9493 |       9530 |       9518 |       9448 |       9600 |
1170.14/175.26	c (170,0) c | Diff Orig seen|                 |      X     |          6 |         12 |         37 |         74 |         62 | -        8 |        144 |
1170.14/175.26	c (170,0) c | Hamming       |            10 % |      X     |        274 |        258 |        232 |        266 |        313 |        271 |        277 |
1170.14/175.26	c (170,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.26	c (170,0) c | RunningTime   |                 |  142.9  85%|  166.1  98%|  154.4  92%|  133.2  79%|  144.7  86%|  159.6  95%|  131.9  78%|  124.6  74%|
1170.14/175.26	c (170,0) c | WaitingTime   |                 |   25.2  15%|    3.6   2%|   13.8   8%|   35.0  21%|   23.5  14%|    8.6   5%|   36.2  21%|   43.6  26%|
1170.14/175.26	c (170,0) c | ExchangingTime|                 |    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|
1170.14/175.26	c (170,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%|
1170.14/175.26	c (170,0) c | SolvingTime   |                 |  168.5     |  170.1     |  168.6     |  168.6     |  168.6     |  168.6     |  168.6     |  168.6     |
1170.14/175.26	c (170,0) c | PropagationTim|                 |  132.9  79%|   98.1  58%|  117.4  70%|  142.3  84%|  130.7  78%|  110.2  65%|  142.1  84%|  150.8  89%|
1170.14/175.26	c (170,0) c | AnalysisTime  |                 |   31.7  19%|   68.5  40%|   47.3  28%|   22.5  13%|   34.0  20%|   54.6  32%|   22.6  13%|   13.9   8%|
1170.14/175.26	c (170,0) c | ReductionTime |                 |    1.5   1%|    1.2   1%|    1.4   1%|    1.4   1%|    1.5   1%|    1.4   1%|    1.5   1%|    1.5   1%|
1170.14/175.26	c (170,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1170.14/175.26	c (170,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%|
1170.14/175.26	c (170,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%|
1170.14/175.26	c (170,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.26	c (170,0) c
1170.14/175.26	c (170,0) c
1170.14/175.26	c (170,0) c Threads : 8
1170.14/175.26	c (170,0) c Winner : 0
1170.14/175.26	c (170,0) c Conflicts_0 : 877868
1170.14/175.26	c (170,0) c Conflicts_1 : 885634
1170.14/175.26	c (170,0) c Conflicts_2 : 878526
1170.14/175.26	c (170,0) c Conflicts_3 : 880795
1170.14/175.26	c (170,0) c Conflicts_4 : 900859
1170.14/175.26	c (170,0) c Conflicts_5 : 874862
1170.14/175.26	c (170,0) c Conflicts_6 : 869816
1170.14/175.26	c (170,0) c Conflicts_7 : 895827
1170.14/175.26	c (170,0) c Conflicts_total : 7064187
1170.14/175.26	c (170,0) c Conflicts_winner : 877868
1170.14/175.26	c (170,0) c Decisions_0 : 1690354
1170.14/175.26	c (170,0) c Decisions_1 : 1697543
1170.14/175.26	c (170,0) c Decisions_2 : 1714497
1170.14/175.26	c (170,0) c Decisions_3 : 1696631
1170.14/175.26	c (170,0) c Decisions_4 : 1724103
1170.14/175.26	c (170,0) c Decisions_5 : 1706510
1170.14/175.26	c (170,0) c Decisions_6 : 1658601
1170.14/175.26	c (170,0) c Decisions_7 : 1706692
1170.14/175.26	c (170,0) c Decisions_total : 13594931
1170.14/175.26	c (170,0) c Decisions_winner : 1690354
1170.14/175.26	c (170,0) c Propagations_0 : 66233808
1170.14/175.26	c (170,0) c Propagations_1 : 67251729
1170.14/175.26	c (170,0) c Propagations_2 : 66089508
1170.14/175.26	c (170,0) c Propagations_3 : 66845822
1170.14/175.26	c (170,0) c Propagations_4 : 67093194
1170.14/175.26	c (170,0) c Propagations_5 : 66418151
1170.14/175.26	c (170,0) c Propagations_6 : 66138025
1170.14/175.26	c (170,0) c Propagations_7 : 67810251
1170.14/175.26	c (170,0) c Propagations_total : 533880488
1170.14/175.26	c (170,0) c Propagations_winner : 66233808
1170.14/175.26	c (170,0) c ReduceDBs_0 : 25
1170.14/175.26	c (170,0) c ReduceDBs_1 : 25
1170.14/175.26	c (170,0) c ReduceDBs_2 : 25
1170.14/175.26	c (170,0) c ReduceDBs_3 : 25
1170.14/175.26	c (170,0) c ReduceDBs_4 : 26
1170.14/175.26	c (170,0) c ReduceDBs_5 : 25
1170.14/175.26	c (170,0) c ReduceDBs_6 : 25
1170.14/175.26	c (170,0) c ReduceDBs_7 : 25
1170.14/175.26	c (170,0) c ReduceDBs_total : 201
1170.14/175.26	c (170,0) c ReduceDBs_winner : 25
1170.14/175.26	c (170,0) c SimpDBs_0 : 12
1170.14/175.26	c (170,0) c SimpDBs_1 : 10
1170.14/175.26	c (170,0) c SimpDBs_2 : 11
1170.14/175.26	c (170,0) c SimpDBs_3 : 7
1170.14/175.26	c (170,0) c SimpDBs_4 : 9
1170.14/175.26	c (170,0) c SimpDBs_5 : 7
1170.14/175.26	c (170,0) c SimpDBs_6 : 8
1170.14/175.26	c (170,0) c SimpDBs_7 : 11
1170.14/175.26	c (170,0) c SimpDBs_total : 75
1170.14/175.26	c (170,0) c SimpDBs_winner : 12
1170.14/175.26	c (170,0) c Restarts_0 : 599
1170.14/175.26	c (170,0) c Restarts_1 : 714
1170.14/175.26	c (170,0) c Restarts_2 : 707
1170.14/175.26	c (170,0) c Restarts_3 : 620
1170.14/175.26	c (170,0) c Restarts_4 : 1030
1170.14/175.26	c (170,0) c Restarts_5 : 996
1170.14/175.26	c (170,0) c Restarts_6 : 636
1170.14/175.26	c (170,0) c Restarts_7 : 659
1170.14/175.26	c (170,0) c Restarts_total : 5961
1170.14/175.26	c (170,0) c Restarts_winner : 599
1170.14/175.26	c (170,0) c ForcedImports_0 : 0
1170.14/175.26	c (170,0) c ForcedImports_1 : 0
1170.14/175.26	c (170,0) c ForcedImports_2 : 0
1170.14/175.26	c (170,0) c ForcedImports_3 : 0
1170.14/175.26	c (170,0) c ForcedImports_4 : 0
1170.14/175.26	c (170,0) c ForcedImports_5 : 0
1170.14/175.26	c (170,0) c ForcedImports_6 : 0
1170.14/175.26	c (170,0) c ForcedImports_7 : 0
1170.14/175.26	c (170,0) c ForcedImports_total : 0
1170.14/175.26	c (170,0) c ForcedImports_winner : 0
1170.14/175.26	c (170,0) c PropsBinClauses_0 : 143308765
1170.14/175.26	c (170,0) c PropsBinClauses_1 : 146342446
1170.14/175.26	c (170,0) c PropsBinClauses_2 : 143597475
1170.14/175.26	c (170,0) c PropsBinClauses_3 : 146634506
1170.14/175.26	c (170,0) c PropsBinClauses_4 : 143094427
1170.14/175.26	c (170,0) c PropsBinClauses_5 : 140035999
1170.14/175.26	c (170,0) c PropsBinClauses_6 : 144875213
1170.14/175.26	c (170,0) c PropsBinClauses_7 : 147770256
1170.14/175.26	c (170,0) c PropsBinClauses_total : 1155659087
1170.14/175.26	c (170,0) c PropsBinClauses_winner : 143308765
1170.14/175.26	c (170,0) c PropsPreBlocker_0 : 5195910780
1170.14/175.26	c (170,0) c PropsPreBlocker_1 : 5264571174
1170.14/175.26	c (170,0) c PropsPreBlocker_2 : 5185049938
1170.14/175.26	c (170,0) c PropsPreBlocker_3 : 5130187538
1170.14/175.26	c (170,0) c PropsPreBlocker_4 : 5262364978
1170.14/175.26	c (170,0) c PropsPreBlocker_5 : 5256290201
1170.14/175.26	c (170,0) c PropsPreBlocker_6 : 5201101435
1170.14/175.26	c (170,0) c PropsPreBlocker_7 : 5264992207
1170.14/175.26	c (170,0) c PropsPreBlocker_total : 41760468251
1170.14/175.26	c (170,0) c PropsPreBlocker_winner : 5195910780
1170.14/175.26	c (170,0) c PropsNotBlocker_0 : 826542254
1170.14/175.26	c (170,0) c PropsNotBlocker_1 : 832969273
1170.14/175.26	c (170,0) c PropsNotBlocker_2 : 833020312
1170.14/175.26	c (170,0) c PropsNotBlocker_3 : 853386393
1170.14/175.26	c (170,0) c PropsNotBlocker_4 : 845036168
1170.14/175.26	c (170,0) c PropsNotBlocker_5 : 839474367
1170.14/175.26	c (170,0) c PropsNotBlocker_6 : 829015164
1170.14/175.26	c (170,0) c PropsNotBlocker_7 : 829545613
1170.14/175.26	c (170,0) c PropsNotBlocker_total : 6688989544
1170.14/175.26	c (170,0) c PropsNotBlocker_winner : 826542254
1170.14/175.26	c (170,0) c PropsLitFullScans_0 : 9074100435
1170.14/175.27	c (170,0) c PropsLitFullScans_1 : 9067358113
1170.14/175.27	c (170,0) c PropsLitFullScans_2 : 9067780187
1170.14/175.27	c (170,0) c PropsLitFullScans_3 : 9073867422
1170.14/175.27	c (170,0) c PropsLitFullScans_4 : 9073206191
1170.14/175.27	c (170,0) c PropsLitFullScans_5 : 9073638552
1170.14/175.27	c (170,0) c PropsLitFullScans_6 : 9073817486
1170.14/175.27	c (170,0) c PropsLitFullScans_7 : 9073510484
1170.14/175.27	c (170,0) c PropsLitFullScans_total : 72577278870
1170.14/175.27	c (170,0) c PropsLitFullScans_winner : 9074100435
1170.14/175.27	c (170,0) c LitScanFractions_0 : 2825175
1170.14/175.27	c (170,0) c LitScanFractions_1 : 1338581
1170.14/175.27	c (170,0) c LitScanFractions_2 : 1753282
1170.14/175.27	c (170,0) c LitScanFractions_3 : 1862211
1170.14/175.27	c (170,0) c LitScanFractions_4 : 1198522
1170.14/175.27	c (170,0) c LitScanFractions_5 : 1581815
1170.14/175.27	c (170,0) c LitScanFractions_6 : 1813214
1170.14/175.27	c (170,0) c LitScanFractions_7 : 1499364
1170.14/175.27	c (170,0) c LitScanFractions_total : 13872164
1170.14/175.27	c (170,0) c LitScanFractions_winner : 2825175
1170.14/175.27	c (170,0) c DecisionLevel0_0 : 613
1170.14/175.27	c (170,0) c DecisionLevel0_1 : 727
1170.14/175.27	c (170,0) c DecisionLevel0_2 : 720
1170.14/175.27	c (170,0) c DecisionLevel0_3 : 632
1170.14/175.27	c (170,0) c DecisionLevel0_4 : 1042
1170.14/175.27	c (170,0) c DecisionLevel0_5 : 1006
1170.14/175.27	c (170,0) c DecisionLevel0_6 : 651
1170.14/175.27	c (170,0) c DecisionLevel0_7 : 671
1170.14/175.27	c (170,0) c DecisionLevel0_total : 6062
1170.14/175.27	c (170,0) c DecisionLevel0_winner : 613
1170.14/175.27	c (170,0) c Periods_0 : 1511
1170.14/175.27	c (170,0) c Periods_1 : 1511
1170.14/175.27	c (170,0) c Periods_2 : 1511
1170.14/175.27	c (170,0) c Periods_3 : 1512
1170.14/175.27	c (170,0) c Periods_4 : 1512
1170.14/175.27	c (170,0) c Periods_5 : 1512
1170.14/175.27	c (170,0) c Periods_6 : 1512
1170.14/175.27	c (170,0) c Periods_7 : 1512
1170.14/175.27	c (170,0) c Periods_total : 12093
1170.14/175.27	c (170,0) c Periods_winner : 1511
1170.14/175.27	c (170,0) c Margin_0 : 20
1170.14/175.27	c (170,0) c Margin_1 : 20
1170.14/175.27	c (170,0) c Margin_2 : 20
1170.14/175.27	c (170,0) c Margin_3 : 20
1170.14/175.27	c (170,0) c Margin_4 : 20
1170.14/175.27	c (170,0) c Margin_5 : 20
1170.14/175.27	c (170,0) c Margin_6 : 20
1170.14/175.27	c (170,0) c Margin_7 : 20
1170.14/175.27	c (170,0) c Margin_total : 160
1170.14/175.27	c (170,0) c Margin_winner : 20
1170.14/175.27	c (170,0) c Exported_0 : 97170
1170.14/175.27	c (170,0) c Exported_1 : 97066
1170.14/175.27	c (170,0) c Exported_2 : 98844
1170.14/175.27	c (170,0) c Exported_3 : 88998
1170.14/175.27	c (170,0) c Exported_4 : 98213
1170.14/175.27	c (170,0) c Exported_5 : 97344
1170.14/175.27	c (170,0) c Exported_6 : 96574
1170.14/175.27	c (170,0) c Exported_7 : 98305
1170.14/175.27	c (170,0) c Exported_total : 772514
1170.14/175.27	c (170,0) c Exported_winner : 97170
1170.14/175.27	c (170,0) c Imported_0 : 670971
1170.14/175.27	c (170,0) c Imported_1 : 668289
1170.14/175.27	c (170,0) c Imported_2 : 665642
1170.14/175.27	c (170,0) c Imported_3 : 676055
1170.14/175.27	c (170,0) c Imported_4 : 667956
1170.14/175.27	c (170,0) c Imported_5 : 661461
1170.14/175.27	c (170,0) c Imported_6 : 669090
1170.14/175.27	c (170,0) c Imported_7 : 665170
1170.14/175.27	c (170,0) c Imported_total : 5344634
1170.14/175.27	c (170,0) c Imported_winner : 670971
1170.14/175.27	c (170,0) c Good_0 : 1813
1170.14/175.27	c (170,0) c Good_1 : 1830
1170.14/175.27	c (170,0) c Good_2 : 1791
1170.14/175.27	c (170,0) c Good_3 : 1776
1170.14/175.27	c (170,0) c Good_4 : 1718
1170.14/175.27	c (170,0) c Good_5 : 1758
1170.14/175.27	c (170,0) c Good_6 : 1786
1170.14/175.27	c (170,0) c Good_7 : 1748
1170.14/175.27	c (170,0) c Good_total : 14220
1170.14/175.27	c (170,0) c Good_winner : 1813
1170.14/175.27	c (170,0) c Purge_0 : 669158
1170.14/175.27	c (170,0) c Purge_1 : 666459
1170.14/175.27	c (170,0) c Purge_2 : 663851
1170.14/175.27	c (170,0) c Purge_3 : 674279
1170.14/175.27	c (170,0) c Purge_4 : 666238
1170.14/175.27	c (170,0) c Purge_5 : 659703
1170.14/175.27	c (170,0) c Purge_6 : 667304
1170.14/175.27	c (170,0) c Purge_7 : 663422
1170.14/175.27	c (170,0) c Purge_total : 5330414
1170.14/175.27	c (170,0) c Purge_winner : 669158
1170.14/175.27	c (170,0) c Promoted_0 : 50415
1170.14/175.27	c (170,0) c Promoted_1 : 50945
1170.14/175.27	c (170,0) c Promoted_2 : 51938
1170.14/175.27	c (170,0) c Promoted_3 : 51576
1170.14/175.27	c (170,0) c Promoted_4 : 52785
1170.14/175.27	c (170,0) c Promoted_5 : 54814
1170.14/175.27	c (170,0) c Promoted_6 : 52032
1170.14/175.27	c (170,0) c Promoted_7 : 54815
1170.14/175.27	c (170,0) c Promoted_total : 419320
1170.14/175.27	c (170,0) c Promoted_winner : 50415
1170.14/175.27	c (170,0) c Remove_Imp_0 : 515017
1170.14/175.27	c (170,0) c Remove_Imp_1 : 508481
1170.14/175.27	c (170,0) c Remove_Imp_2 : 506096
1170.14/175.27	c (170,0) c Remove_Imp_3 : 526376
1170.14/175.27	c (170,0) c Remove_Imp_4 : 535290
1170.14/175.27	c (170,0) c Remove_Imp_5 : 529841
1170.14/175.27	c (170,0) c Remove_Imp_6 : 517968
1170.14/175.27	c (170,0) c Remove_Imp_7 : 508753
1170.14/175.27	c (170,0) c Remove_Imp_total : 4147822
1170.14/175.27	c (170,0) c Remove_Imp_winner : 515017
1170.14/175.27	c (170,0) c Blocked_Reuse_0 : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_1 : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_2 : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_3 : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_4 : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_5 : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_6 : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_7 : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_total : 0
1170.14/175.27	c (170,0) c Blocked_Reuse_winner : 0
1170.14/175.27	c (170,0) c Unaries_0 : 14
1170.14/175.27	c (170,0) c Unaries_1 : 13
1170.14/175.27	c (170,0) c Unaries_2 : 13
1170.14/175.27	c (170,0) c Unaries_3 : 12
1170.14/175.27	c (170,0) c Unaries_4 : 12
1170.14/175.27	c (170,0) c Unaries_5 : 10
1170.14/175.27	c (170,0) c Unaries_6 : 15
1170.14/175.27	c (170,0) c Unaries_7 : 12
1170.14/175.27	c (170,0) c Unaries_total : 101
1170.14/175.27	c (170,0) c Unaries_winner : 14
1170.14/175.27	c (170,0) c Binaries_0 : 262
1170.14/175.27	c (170,0) c Binaries_1 : 205
1170.14/175.27	c (170,0) c Binaries_2 : 241
1170.14/175.27	c (170,0) c Binaries_3 : 260
1170.14/175.27	c (170,0) c Binaries_4 : 328
1170.14/175.27	c (170,0) c Binaries_5 : 252
1170.14/175.27	c (170,0) c Binaries_6 : 266
1170.14/175.27	c (170,0) c Binaries_7 : 291
1170.14/175.27	c (170,0) c Binaries_total : 2105
1170.14/175.27	c (170,0) c Binaries_winner : 262
1170.14/175.27	c (170,0) c Glues_0 : 990
1170.14/175.27	c (170,0) c Glues_1 : 940
1170.14/175.27	c (170,0) c Glues_2 : 956
1170.14/175.27	c (170,0) c Glues_3 : 1030
1170.14/175.27	c (170,0) c Glues_4 : 1129
1170.14/175.27	c (170,0) c Glues_5 : 1011
1170.14/175.27	c (170,0) c Glues_6 : 1014
1170.14/175.27	c (170,0) c Glues_7 : 1030
1170.14/175.27	c (170,0) c Glues_total : 8100
1170.14/175.27	c (170,0) c Glues_winner : 990
1170.14/175.27	c (170,0) c RunningTime_0 : 142.948077
1170.14/175.27	c (170,0) c RunningTime_1 : 166.104606
1170.14/175.27	c (170,0) c RunningTime_2 : 154.371218
1170.14/175.27	c (170,0) c RunningTime_3 : 133.153758
1170.14/175.27	c (170,0) c RunningTime_4 : 144.725541
1170.14/175.27	c (170,0) c RunningTime_5 : 159.561097
1170.14/175.27	c (170,0) c RunningTime_6 : 131.938381
1170.14/175.27	c (170,0) c RunningTime_7 : 124.582608
1170.14/175.27	c (170,0) c RunningTime_total : 1157.385286
1170.14/175.27	c (170,0) c RunningTime_winner : 142.948077
1170.14/175.27	c (170,0) c WaitingTime_0 : 25.202955
1170.14/175.27	c (170,0) c WaitingTime_1 : 3.646969
1170.14/175.27	c (170,0) c WaitingTime_2 : 13.843173
1170.14/175.27	c (170,0) c WaitingTime_3 : 34.991307
1170.14/175.27	c (170,0) c WaitingTime_4 : 23.506200
1170.14/175.27	c (170,0) c WaitingTime_5 : 8.630877
1170.14/175.27	c (170,0) c WaitingTime_6 : 36.194168
1170.14/175.27	c (170,0) c WaitingTime_7 : 43.582250
1170.14/175.27	c (170,0) c WaitingTime_total : 189.597899
1170.14/175.27	c (170,0) c WaitingTime_winner : 25.202955
1170.14/175.27	c (170,0) c ExchangingTime_0 : 0.375276
1170.14/175.27	c (170,0) c ExchangingTime_1 : 0.335426
1170.14/175.27	c (170,0) c ExchangingTime_2 : 0.342250
1170.14/175.27	c (170,0) c ExchangingTime_3 : 0.408019
1170.14/175.27	c (170,0) c ExchangingTime_4 : 0.356467
1170.14/175.27	c (170,0) c ExchangingTime_5 : 0.351850
1170.14/175.27	c (170,0) c ExchangingTime_6 : 0.418469
1170.14/175.27	c (170,0) c ExchangingTime_7 : 0.385979
1170.14/175.27	c (170,0) c ExchangingTime_total : 2.973735
1170.14/175.27	c (170,0) c ExchangingTime_winner : 0.375276
1170.14/175.27	c (170,0) c PeriodProcTime_0 : 0.013155
1170.14/175.27	c (170,0) c PeriodProcTime_1 : 0.019471
1170.14/175.27	c (170,0) c PeriodProcTime_2 : 0.015178
1170.14/175.27	c (170,0) c PeriodProcTime_3 : 0.013507
1170.14/175.27	c (170,0) c PeriodProcTime_4 : 0.014232
1170.14/175.27	c (170,0) c PeriodProcTime_5 : 0.016070
1170.14/175.27	c (170,0) c PeriodProcTime_6 : 0.014050
1170.14/175.27	c (170,0) c PeriodProcTime_7 : 0.013652
1170.14/175.27	c (170,0) c PeriodProcTime_total : 0.119315
1170.14/175.27	c (170,0) c PeriodProcTime_winner : 0.013155
1170.14/175.27	c (170,0) c SolvingTime_0 : 168.539463
1170.14/175.27	c (170,0) c SolvingTime_1 : 170.106472
1170.14/175.27	c (170,0) c SolvingTime_2 : 168.571819
1170.14/175.27	c (170,0) c SolvingTime_3 : 168.566591
1170.14/175.27	c (170,0) c SolvingTime_4 : 168.602441
1170.14/175.27	c (170,0) c SolvingTime_5 : 168.559895
1170.14/175.27	c (170,0) c SolvingTime_6 : 168.565068
1170.14/175.27	c (170,0) c SolvingTime_7 : 168.564488
1170.14/175.27	c (170,0) c SolvingTime_total : 1350.076236
1170.14/175.27	c (170,0) c SolvingTime_winner : 168.539463
1170.14/175.27	c (170,0) c PropagationTime_0 : 132.946342
1170.14/175.27	c (170,0) c PropagationTime_1 : 98.135385
1170.14/175.27	c (170,0) c PropagationTime_2 : 117.414630
1170.14/175.27	c (170,0) c PropagationTime_3 : 142.282022
1170.14/175.27	c (170,0) c PropagationTime_4 : 130.684568
1170.14/175.27	c (170,0) c PropagationTime_5 : 110.243711
1170.14/175.27	c (170,0) c PropagationTime_6 : 142.070263
1170.14/175.27	c (170,0) c PropagationTime_7 : 150.758469
1170.14/175.27	c (170,0) c PropagationTime_total : 1024.535389
1170.14/175.27	c (170,0) c PropagationTime_winner : 132.946342
1170.14/175.27	c (170,0) c AnalysisTime_0 : 31.697740
1170.14/175.27	c (170,0) c AnalysisTime_1 : 68.451667
1170.14/175.27	c (170,0) c AnalysisTime_2 : 47.320515
1170.14/175.27	c (170,0) c AnalysisTime_3 : 22.452453
1170.14/175.27	c (170,0) c AnalysisTime_4 : 33.977353
1170.14/175.27	c (170,0) c AnalysisTime_5 : 54.597831
1170.14/175.27	c (170,0) c AnalysisTime_6 : 22.627098
1170.14/175.27	c (170,0) c AnalysisTime_7 : 13.904306
1170.14/175.27	c (170,0) c AnalysisTime_total : 295.028964
1170.14/175.27	c (170,0) c AnalysisTime_winner : 31.697740
1170.14/175.27	c (170,0) c ReductionTime_0 : 1.450819
1170.14/175.27	c (170,0) c ReductionTime_1 : 1.244187
1170.14/175.27	c (170,0) c ReductionTime_2 : 1.367667
1170.14/175.27	c (170,0) c ReductionTime_3 : 1.438533
1170.14/175.27	c (170,0) c ReductionTime_4 : 1.538622
1170.14/175.27	c (170,0) c ReductionTime_5 : 1.371226
1170.14/175.27	c (170,0) c ReductionTime_6 : 1.516809
1170.14/175.27	c (170,0) c ReductionTime_7 : 1.505258
1170.14/175.27	c (170,0) c ReductionTime_total : 11.433121
1170.14/175.27	c (170,0) c ReductionTime_winner : 1.450819
1170.14/175.27	c (170,0) c SimplifyTime_0 : 0.125172
1170.14/175.27	c (170,0) c SimplifyTime_1 : 0.040886
1170.14/175.27	c (170,0) c SimplifyTime_2 : 0.080751
1170.14/175.27	c (170,0) c SimplifyTime_3 : 0.040307
1170.14/175.27	c (170,0) c SimplifyTime_4 : 0.029007
1170.14/175.27	c (170,0) c SimplifyTime_5 : 0.026456
1170.14/175.27	c (170,0) c SimplifyTime_6 : 0.026534
1170.14/175.27	c (170,0) c SimplifyTime_7 : 0.041647
1170.14/175.27	c (170,0) c SimplifyTime_total : 0.410761
1170.14/175.27	c (170,0) c SimplifyTime_winner : 0.125172
1170.14/175.27	c (170,0) c UsedRateTime_0 : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_1 : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_2 : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_3 : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_4 : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_5 : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_6 : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_7 : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_total : 0.000000
1170.14/175.27	c (170,0) c UsedRateTime_winner : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_0 : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_1 : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_2 : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_3 : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_4 : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_5 : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_6 : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_7 : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_total : 0.000000
1170.14/175.27	c (170,0) c OverlapRateTime_winner : 0.000000
1170.14/175.27	c (170,0) c
1170.14/175.27	c (170,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1170.14/175.27	c (170,0) c
1170.14/175.27	c (170,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.27	c (170,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1170.14/175.27	c (170,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.27	c (170,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1170.14/175.27	c (170,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1170.14/175.27	c (170,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1170.14/175.27	c (170,0) c | Initial random_seed   |  961594455 |  687704032 |  772584803 | 1794091094 | 1988373196 |  777790923 |  725777396 | 1774153959 |
1170.14/175.27	c (170,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1170.14/175.27	c (170,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1170.14/175.27	c (170,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1170.14/175.27	c (170,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1170.14/175.27	c (170,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1170.14/175.27	c (170,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1170.14/175.27	c (170,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1170.14/175.27	c (170,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1170.14/175.27	c (170,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1170.14/175.27	c (170,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1170.14/175.27	c (170,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1170.14/175.27	c (170,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1170.14/175.27	c (170,0) 
1170.14/175.27	c (170,0) s UNSATISFIABLE
1170.14/175.28	c (170,0) SatSolver.solve End
1170.14/175.28	c (170,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1170.14/175.28	c (170,0) Show results Begin
1170.14/175.28	s UNSATISFIABLE
1170.14/175.28	c (170,0) Show results End
1170.14/175.28	c (170,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1170.14/175.29	c (170,0) 170,170,STOP-AFTER(ALL)
1170.14/175.29	c END-Prog: Tue Sep 24 18:36:03 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 (10817 MiB free)
  memory of node 1: 16384 MiB (14139 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405327-1569342825/watcher-4405327-1569342825 -o /tmp/evaluation-result-4405327-1569342825/solver-4405327-1569342825 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405327-1569342825.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
Current StackSize limit: 8192 KiB

solver pid=7208, runsolver pid=7205

[startup+0.100143 s]*
/proc/loadavg: 7.21 7.21 6.97 2/212 7230
/proc/meminfo: memFree=25463984/32770624 swapFree=67002552/67108860
[pid=7208] ppid=7205 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7208/stat : 7208 (scop.sh) S 7205 7208 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510444060 115843072 349 33554432000 4194304 5098028 140734375289152 140734375286408 140678303986300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140734375297829 140734375298156 140734375298156 140734375301069 0
/proc/7208/statm: 28282 349 296 221 0 87 0
[pid=7211] ppid=7208 vsize=27314120 memory=104072 CPUtime=0.11 cores=0-7
/proc/7211/stat : 7211 (java) S 7208 7208 5615 0 -1 1077944320 6580 0 0 0 9 2 0 0 20 0 20 0 510444061 27969658880 26018 33554432000 4194304 4196468 140721025950528 140721025933072 139761822805751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
/proc/7211/statm: 6828530 26018 2815 1 0 6790935 0
[pid=7211/tid=7212] ppid=7208 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/7211/task/7212/stat : 7212 (java) R 7208 7208 5615 0 -1 4202560 4650 0 0 0 7 1 0 0 20 0 20 0 510444061 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761794630048 139761806849381 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7213] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7213/stat : 7213 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761827048208 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7214] ppid=7208 vsize=27314120 memory=14829515796919960 CPUtime=0 cores=0-7
/proc/7211/task/7214/stat : 7214 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761660427152 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7215] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7215/stat : 7215 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761243466768 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7216] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7216/stat : 7216 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761242414224 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7217] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7217/stat : 7217 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761241360656 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7218] ppid=7208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7211/task/7218/stat : 7218 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761240308112 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7219] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7219/stat : 7219 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761239255568 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7220] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7220/stat : 7220 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761238203024 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7221] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7221/stat : 7221 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444065 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761082468848 139761822816898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7222] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7222/stat : 7222 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510444065 27969658880 26018 33554432000 4194304 4196468 140721025950528 139759577982368 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7223] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7223/stat : 7223 (java) S 7208 7208 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510444066 27969658880 26018 33554432000 4194304 4196468 140721025950528 139759443760624 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7224] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7224/stat : 7224 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 26018 33554432000 4194304 4196468 140721025950528 139759069256400 139761822824347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7225] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7225/stat : 7225 (java) S 7208 7208 5615 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761081415664 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7226] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7226/stat : 7226 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761080363120 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7227] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7227/stat : 7227 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761079310576 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7228] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7228/stat : 7228 (java) S 7208 7208 5615 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761078258032 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7229] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7229/stat : 7229 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 26018 33554432000 4194304 4196468 140721025950528 139758571350752 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7230] ppid=7208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7211/task/7230/stat : 7230 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444069 27969658880 26018 33554432000 4194304 4196468 140721025950528 139761077205936 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105468 KiB

[startup+0.210228 s]*
/proc/loadavg: 7.21 7.21 6.97 2/212 7230
/proc/meminfo: memFree=25443436/32770624 swapFree=67002552/67108860
[pid=7208] ppid=7205 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7208/stat : 7208 (scop.sh) S 7205 7208 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510444060 115843072 349 33554432000 4194304 5098028 140734375289152 140734375286408 140678303986300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140734375297829 140734375298156 140734375298156 140734375301069 0
/proc/7208/statm: 28282 349 296 221 0 87 0
[pid=7211] ppid=7208 vsize=27314120 memory=123208 CPUtime=0.25 cores=0-7
/proc/7211/stat : 7211 (java) S 7208 7208 5615 0 -1 1077944320 12232 0 0 0 21 4 0 0 20 0 20 0 510444061 27969658880 30802 33554432000 4194304 4196468 140721025950528 140721025933072 139761822805751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
/proc/7211/statm: 6828530 30802 2941 1 0 6790935 0
[pid=7211/tid=7212] ppid=7208 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/7211/task/7212/stat : 7212 (java) R 7208 7208 5615 0 -1 4202560 9882 0 0 0 16 3 0 0 20 0 20 0 510444061 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761794620816 139761803081147 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7213] ppid=7208 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/7211/task/7213/stat : 7213 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761827048208 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7214] ppid=7208 vsize=27314120 memory=139824778466217 CPUtime=0 cores=0-7
/proc/7211/task/7214/stat : 7214 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761660427152 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7215] ppid=7208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7211/task/7215/stat : 7215 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761243466768 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7216] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7216/stat : 7216 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761242414224 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7217] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7217/stat : 7217 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761241360656 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7218] ppid=7208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7211/task/7218/stat : 7218 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761240308112 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7219] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7219/stat : 7219 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761239255568 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7220] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7220/stat : 7220 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761238203024 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7221] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7221/stat : 7221 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444065 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761082468848 139761822816898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7222] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7222/stat : 7222 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510444065 27969658880 30802 33554432000 4194304 4196468 140721025950528 139759577982368 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7223] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7223/stat : 7223 (java) S 7208 7208 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510444066 27969658880 30802 33554432000 4194304 4196468 140721025950528 139759443760624 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7224] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7224/stat : 7224 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 30802 33554432000 4194304 4196468 140721025950528 139759069256400 139761822824347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7225] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7225/stat : 7225 (java) S 7208 7208 5615 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761081415664 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7226] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7226/stat : 7226 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761080363120 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7227] ppid=7208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7211/task/7227/stat : 7227 (java) S 7208 7208 5615 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761079310576 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7228] ppid=7208 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7211/task/7228/stat : 7228 (java) S 7208 7208 5615 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 20 0 510444068 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761078258032 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7229] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7229/stat : 7229 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 30802 33554432000 4194304 4196468 140721025950528 139758571350752 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7230] ppid=7208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7211/task/7230/stat : 7230 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444069 27969658880 30802 33554432000 4194304 4196468 140721025950528 139761077205936 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124604 KiB

[startup+0.309449 s]*
/proc/loadavg: 7.21 7.21 6.97 3/212 7230
/proc/meminfo: memFree=25440620/32770624 swapFree=67002552/67108860
[pid=7208] ppid=7205 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7208/stat : 7208 (scop.sh) S 7205 7208 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510444060 115843072 349 33554432000 4194304 5098028 140734375289152 140734375286408 140678303986300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140734375297829 140734375298156 140734375298156 140734375301069 0
/proc/7208/statm: 28282 349 296 221 0 87 0
[pid=7211] ppid=7208 vsize=27314120 memory=127112 CPUtime=0.43 cores=0-7
/proc/7211/stat : 7211 (java) S 7208 7208 5615 0 -1 1077944320 13199 0 0 0 38 5 0 0 20 0 20 0 510444061 27969658880 31778 33554432000 4194304 4196468 140721025950528 140721025933072 139761822805751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
/proc/7211/statm: 6828530 31778 2999 1 0 6790935 0
[pid=7211/tid=7212] ppid=7208 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/7211/task/7212/stat : 7212 (java) R 7208 7208 5615 0 -1 4202560 10562 0 0 0 26 3 0 0 20 0 20 0 510444061 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761794588768 139761807971296 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7213] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7213/stat : 7213 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761827048208 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7214] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7214/stat : 7214 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761660427152 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7215] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7215/stat : 7215 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761243466768 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7216] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7216/stat : 7216 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761242414224 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7217] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7217/stat : 7217 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761241360656 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7218] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7218/stat : 7218 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761240308112 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7219] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7219/stat : 7219 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761239255568 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7220] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7220/stat : 7220 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761238203024 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7221] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7221/stat : 7221 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444065 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761082468848 139761822816898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7222] ppid=7208 vsize=27314120 memory=279649347378560 CPUtime=0 cores=0-7
/proc/7211/task/7222/stat : 7222 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510444065 27969658880 31778 33554432000 4194304 4196468 140721025950528 139759577982368 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7223] ppid=7208 vsize=27314120 memory=279649347383168 CPUtime=0 cores=0-7
/proc/7211/task/7223/stat : 7223 (java) S 7208 7208 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510444066 27969658880 31778 33554432000 4194304 4196468 140721025950528 139759443760624 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7224] ppid=7208 vsize=27314120 memory=279649347387776 CPUtime=0 cores=0-7
/proc/7211/task/7224/stat : 7224 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 31778 33554432000 4194304 4196468 140721025950528 139759069256400 139761822824347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7225] ppid=7208 vsize=27314120 memory=279649347392384 CPUtime=0.01 cores=0-7
/proc/7211/task/7225/stat : 7225 (java) S 7208 7208 5615 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 20 0 510444068 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761081415664 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7226] ppid=7208 vsize=27314120 memory=279649347396992 CPUtime=0 cores=0-7
/proc/7211/task/7226/stat : 7226 (java) S 7208 7208 5615 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761080363120 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7227] ppid=7208 vsize=27314120 memory=279649347401600 CPUtime=0.01 cores=0-7
/proc/7211/task/7227/stat : 7227 (java) S 7208 7208 5615 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 510444068 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761079310576 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7228] ppid=7208 vsize=27314120 memory=279649347406208 CPUtime=0.07 cores=0-7
/proc/7211/task/7228/stat : 7228 (java) S 7208 7208 5615 0 -1 1077944384 594 0 0 0 7 0 0 0 20 0 20 0 510444068 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761078258032 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7229] ppid=7208 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7229/stat : 7229 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510444068 27969658880 31778 33554432000 4194304 4196468 140721025950528 139758571350752 139761822815957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7230] ppid=7208 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7211/task/7230/stat : 7230 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444069 27969658880 31778 33554432000 4194304 4196468 140721025950528 139761077205936 139761822816898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128508 KiB

[startup+0.700888 s]
/proc/loadavg: 7.21 7.21 6.97 2/212 7230
/proc/meminfo: memFree=25419652/32770624 swapFree=67002552/67108860
[pid=7208] ppid=7205 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7208/stat : 7208 (scop.sh) S 7205 7208 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510444060 115843072 349 33554432000 4194304 5098028 140734375289152 140734375286408 140678303986300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140734375297829 140734375298156 140734375298156 140734375301069 0
/proc/7208/statm: 28282 349 296 221 0 87 0
[pid=7211] ppid=7208 vsize=27320392 memory=162548 CPUtime=0.99 cores=0-7
/proc/7211/stat : 7211 (java) S 7208 7208 5615 0 -1 1077944320 20266 0 0 0 93 6 0 0 20 0 20 0 510444061 27976081408 40637 33554432000 4194304 4196468 140721025950528 140721025933072 139761822805751 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
/proc/7211/statm: 6830098 40637 3160 1 0 6791447 0
[pid=7211/tid=7212] ppid=7208 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/7211/task/7212/stat : 7212 (java) R 7208 7208 5615 0 -1 4202560 16992 0 0 0 63 5 0 0 20 0 20 0 510444061 27976081408 40637 33554432000 4194304 4196468 140721025950528 139761794644032 139761806886238 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7213] ppid=7208 vsize=27320392 memory=139824673891200 CPUtime=0 cores=0-7
/proc/7211/task/7213/stat : 7213 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27976081408 40637 33554432000 4194304 4196468 140721025950528 139761827048208 139761822815957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7214] ppid=7208 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7211/task/7214/stat : 7214 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510444063 27976081408 40637 33554432000 4194304 4196468 140721025950528 139761660427152 139761822815957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0
[pid=7211/tid=7215] ppid=7208 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/7211/task/7215/stat : 7215 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510444063 27976081408 40637 33554432000 4194304 4196468 140721025950528 139761243466768 139761822815957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15159296 140721025954540 140721025954966 140721025954966 140721025957839 0

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

[pid=7233/tid=7243] ppid=7208 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/7233/task/7243/stat : 7243 (java) S 7208 7208 5615 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510444494 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216430107376 140217202416258 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7244] ppid=7208 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/7233/task/7244/stat : 7244 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510444495 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215649822368 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7245] ppid=7208 vsize=8414124 memory=7686721470284011418 CPUtime=0 cores=0-7
/proc/7233/task/7245/stat : 7245 (java) S 7208 7208 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510444495 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215515600112 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7246] ppid=7208 vsize=8414124 memory=1940 CPUtime=0 cores=0-7
/proc/7233/task/7246/stat : 7246 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215141095888 140217202423707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7247] ppid=7208 vsize=8414124 memory=62371515087023 CPUtime=0.06 cores=0-7
/proc/7233/task/7247/stat : 7247 (java) S 7208 7208 5615 0 -1 1077944384 561 0 0 0 6 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216429054192 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7248] ppid=7208 vsize=8414124 memory=-7384994778349281184 CPUtime=0.05 cores=0-7
/proc/7233/task/7248/stat : 7248 (java) S 7208 7208 5615 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216428001648 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7249] ppid=7208 vsize=8414124 memory=-7531822216213012384 CPUtime=0.08 cores=0-7
/proc/7233/task/7249/stat : 7249 (java) S 7208 7208 5615 0 -1 1077944384 363 0 0 0 8 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216426948592 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7250] ppid=7208 vsize=8414124 memory=6944656592455350634 CPUtime=0.22 cores=0-7
/proc/7233/task/7250/stat : 7250 (java) S 7208 7208 5615 0 -1 1077944384 710 0 0 0 22 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216425896048 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7251] ppid=7208 vsize=8414124 memory=-9108631837564312949 CPUtime=0 cores=0-7
/proc/7233/task/7251/stat : 7251 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510444498 8616062976 29859 33554432000 4194304 4196468 140721232670128 140214643190752 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7252] ppid=7208 vsize=8414124 memory=7375038463443757161 CPUtime=0.13 cores=0-7
/proc/7233/task/7252/stat : 7252 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 4 9 0 0 20 0 24 0 510444498 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216424844464 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7254] ppid=7208 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7233/task/7254/stat : 7254 (java) S 7208 7208 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510444565 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216416810432 140217202429721 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7256] ppid=7208 vsize=8414124 memory=1940 CPUtime=0 cores=0-7
/proc/7233/task/7256/stat : 7256 (java) S 7208 7208 5615 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510444566 8616062976 29859 33554432000 4194304 4196468 140721232670128 140213972090384 140217202427037 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7257] ppid=7208 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/7233/task/7257/stat : 7257 (java) S 7208 7208 5615 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510444566 8616062976 29859 33554432000 4194304 4196468 140721232670128 140214240525968 140217202427037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7266] ppid=7208 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/7233/task/7266/stat : 7266 (java) S 7208 7208 5615 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510444568 8616062976 29859 33554432000 4194304 4196468 140721232670128 140213703662512 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
Current children cumulated CPU time: 1169.34 s
Current children cumulated vsize: 9397604 KiB
Current children cumulated memory: 754528 KiB

[startup+174.801 s]
/proc/loadavg: 6.53 7.07 6.97 2/217 7275
/proc/meminfo: memFree=24818044/32770624 swapFree=67002552/67108860
[pid=7208] ppid=7205 vsize=113128 memory=1476 CPUtime=11.7 cores=0-7
/proc/7208/stat : 7208 (scop.sh) S 7205 7208 5615 0 -1 4202496 582 32595 0 0 0 0 1140 30 20 0 1 0 510444060 115843072 369 33554432000 4194304 5098028 140734375289152 140734375285896 140678303986300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140734375297829 140734375298156 140734375298156 140734375301069 0
/proc/7208/statm: 28282 369 311 221 0 87 0
[pid=7233] ppid=7208 vsize=8414124 memory=119436 CPUtime=1.34 cores=0-7
/proc/7233/stat : 7233 (java) S 7208 7208 5615 0 -1 1077944320 20852 0 0 0 126 8 0 0 20 0 24 0 510444491 8616062976 29859 33554432000 4194304 4196468 140721232670128 140721232652672 140217202405111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
/proc/7233/statm: 2103531 29859 3207 1 0 2064875 0
[pid=7253] ppid=7233 vsize=870352 memory=633616 CPUtime=1156.7 cores=0-7
/proc/7253/stat : 7253 (manyglucose-4.1) S 7233 7208 5615 0 -1 1077944320 813740 0 0 0 115507 163 0 0 20 0 2 0 510444565 891240448 158404 33554432000 4194304 4454172 140734295579152 140734295577536 140621772660471 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 38682624 140734295581546 140734295581744 140734295581744 140734295584698 0
/proc/7253/statm: 217588 158404 419 64 0 213256 0
[pid=7253/tid=7259] ppid=7233 vsize=870352 memory=6160 CPUtime=166.04 cores=0-7
/proc/7253/task/7259/stat : 7259 (manyglucose-4.1) R 7233 7208 5615 0 -1 4202560 94571 0 0 0 16587 17 0 0 20 0 2 0 510444568 891240448 158404 33554432000 4194304 4454172 140734295579152 140621749050504 4349939 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38682624 140734295581546 140734295581744 140734295581744 140734295584698 0
[pid=7233/tid=7234] ppid=7208 vsize=8414124 memory=14012 CPUtime=0.77 cores=0-7
/proc/7233/task/7234/stat : 7234 (java) S 7208 7208 5615 0 -1 1077944384 17380 0 0 0 72 5 0 0 20 0 24 0 510444492 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217174245280 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7235] ppid=7208 vsize=8414124 memory=32812 CPUtime=0 cores=0-7
/proc/7233/task/7235/stat : 7235 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217206647824 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7236] ppid=7208 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/7233/task/7236/stat : 7236 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217006816400 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7237] ppid=7208 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/7233/task/7237/stat : 7237 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217005763344 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7238] ppid=7208 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/7233/task/7238/stat : 7238 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217004710800 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7239] ppid=7208 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/7233/task/7239/stat : 7239 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217003657744 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7240] ppid=7208 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/7233/task/7240/stat : 7240 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217002605200 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7241] ppid=7208 vsize=8414124 memory=633616 CPUtime=0 cores=0-7
/proc/7233/task/7241/stat : 7241 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217001552144 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7242] ppid=7208 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7233/task/7242/stat : 7242 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217000499600 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7243] ppid=7208 vsize=8414124 memory=119436 CPUtime=0 cores=0-7
/proc/7233/task/7243/stat : 7243 (java) S 7208 7208 5615 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510444494 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216430107376 140217202416258 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7244] ppid=7208 vsize=8414124 memory=631444 CPUtime=0 cores=0-7
/proc/7233/task/7244/stat : 7244 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510444495 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215649822368 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7245] ppid=7208 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/7233/task/7245/stat : 7245 (java) S 7208 7208 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510444495 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215515600112 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7246] ppid=7208 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/7233/task/7246/stat : 7246 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215141095888 140217202423707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7247] ppid=7208 vsize=8414124 memory=1560 CPUtime=0.06 cores=0-7
/proc/7233/task/7247/stat : 7247 (java) S 7208 7208 5615 0 -1 1077944384 561 0 0 0 6 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216429054192 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7248] ppid=7208 vsize=8414124 memory=924 CPUtime=0.05 cores=0-7
/proc/7233/task/7248/stat : 7248 (java) S 7208 7208 5615 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216428001648 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7249] ppid=7208 vsize=8414124 memory=1692 CPUtime=0.08 cores=0-7
/proc/7233/task/7249/stat : 7249 (java) S 7208 7208 5615 0 -1 1077944384 363 0 0 0 8 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216426948592 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7250] ppid=7208 vsize=8414124 memory=912 CPUtime=0.22 cores=0-7
/proc/7233/task/7250/stat : 7250 (java) S 7208 7208 5615 0 -1 1077944384 710 0 0 0 22 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216425896048 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7251] ppid=7208 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/7233/task/7251/stat : 7251 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510444498 8616062976 29859 33554432000 4194304 4196468 140721232670128 140214643190752 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7252] ppid=7208 vsize=8414124 memory=1964 CPUtime=0.13 cores=0-7
/proc/7233/task/7252/stat : 7252 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 4 9 0 0 20 0 24 0 510444498 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216424844464 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7254] ppid=7208 vsize=8414124 memory=2456 CPUtime=0 cores=0-7
/proc/7233/task/7254/stat : 7254 (java) S 7208 7208 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510444565 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216416810432 140217202429721 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7256] ppid=7208 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/7233/task/7256/stat : 7256 (java) S 7208 7208 5615 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510444566 8616062976 29859 33554432000 4194304 4196468 140721232670128 140213972090384 140217202427037 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7257] ppid=7208 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/7233/task/7257/stat : 7257 (java) S 7208 7208 5615 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510444566 8616062976 29859 33554432000 4194304 4196468 140721232670128 140214240525968 140217202427037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7266] ppid=7208 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/7233/task/7266/stat : 7266 (java) S 7208 7208 5615 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510444568 8616062976 29859 33554432000 4194304 4196468 140721232670128 140213703662512 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
Current children cumulated CPU time: 1169.74 s
Current children cumulated vsize: 9397604 KiB
Current children cumulated memory: 754528 KiB

[startup+175.201 s]
/proc/loadavg: 6.53 7.07 6.97 2/217 7275
/proc/meminfo: memFree=24818216/32770624 swapFree=67002552/67108860
[pid=7208] ppid=7205 vsize=113128 memory=1476 CPUtime=11.7 cores=0-7
/proc/7208/stat : 7208 (scop.sh) S 7205 7208 5615 0 -1 4202496 582 32595 0 0 0 0 1140 30 20 0 1 0 510444060 115843072 369 33554432000 4194304 5098028 140734375289152 140734375285896 140678303986300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140734375297829 140734375298156 140734375298156 140734375301069 0
/proc/7208/statm: 28282 369 311 221 0 87 0
[pid=7233] ppid=7208 vsize=8414124 memory=119436 CPUtime=1.34 cores=0-7
/proc/7233/stat : 7233 (java) S 7208 7208 5615 0 -1 1077944320 20852 0 0 0 126 8 0 0 20 0 24 0 510444491 8616062976 29859 33554432000 4194304 4196468 140721232670128 140721232652672 140217202405111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
/proc/7233/statm: 2103531 29859 3207 1 0 2064875 0
[pid=7253] ppid=7233 vsize=870352 memory=633616 CPUtime=1157.1 cores=0-7
/proc/7253/stat : 7253 (manyglucose-4.1) S 7233 7208 5615 0 -1 1077944320 813742 0 0 0 115547 163 0 0 20 0 2 0 510444565 891240448 158404 33554432000 4194304 4454172 140734295579152 140734295577536 140621772660471 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 38682624 140734295581546 140734295581744 140734295581744 140734295584698 0
/proc/7253/statm: 217588 158404 419 64 0 213256 0
[pid=7253/tid=7259] ppid=7233 vsize=870352 memory=1416 CPUtime=166.44 cores=0-7
/proc/7253/task/7259/stat : 7259 (manyglucose-4.1) R 7233 7208 5615 0 -1 4202560 94573 0 0 0 16627 17 0 0 20 0 2 0 510444568 891240448 158404 33554432000 4194304 4454172 140734295579152 140621749050504 4350035 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38682624 140734295581546 140734295581744 140734295581744 140734295584698 0
[pid=7233/tid=7234] ppid=7208 vsize=8414124 memory=1556 CPUtime=0.77 cores=0-7
/proc/7233/task/7234/stat : 7234 (java) S 7208 7208 5615 0 -1 1077944384 17380 0 0 0 72 5 0 0 20 0 24 0 510444492 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217174245280 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7235] ppid=7208 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7233/task/7235/stat : 7235 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217206647824 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7236] ppid=7208 vsize=8414124 memory=119436 CPUtime=0 cores=0-7
/proc/7233/task/7236/stat : 7236 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217006816400 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7237] ppid=7208 vsize=8414124 memory=633616 CPUtime=0 cores=0-7
/proc/7233/task/7237/stat : 7237 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217005763344 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7238] ppid=7208 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/7233/task/7238/stat : 7238 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217004710800 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7239] ppid=7208 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/7233/task/7239/stat : 7239 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217003657744 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7240] ppid=7208 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/7233/task/7240/stat : 7240 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217002605200 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7241] ppid=7208 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/7233/task/7241/stat : 7241 (java) S 7208 7208 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217001552144 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7242] ppid=7208 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/7233/task/7242/stat : 7242 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510444493 8616062976 29859 33554432000 4194304 4196468 140721232670128 140217000499600 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7243] ppid=7208 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/7233/task/7243/stat : 7243 (java) S 7208 7208 5615 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510444494 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216430107376 140217202416258 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7244] ppid=7208 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/7233/task/7244/stat : 7244 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510444495 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215649822368 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7245] ppid=7208 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/7233/task/7245/stat : 7245 (java) S 7208 7208 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510444495 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215515600112 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7246] ppid=7208 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/7233/task/7246/stat : 7246 (java) S 7208 7208 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140215141095888 140217202423707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7247] ppid=7208 vsize=8414124 memory=1096 CPUtime=0.06 cores=0-7
/proc/7233/task/7247/stat : 7247 (java) S 7208 7208 5615 0 -1 1077944384 561 0 0 0 6 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216429054192 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7248] ppid=7208 vsize=8414124 memory=6160 CPUtime=0.05 cores=0-7
/proc/7233/task/7248/stat : 7248 (java) S 7208 7208 5615 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216428001648 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7249] ppid=7208 vsize=8414124 memory=14012 CPUtime=0.08 cores=0-7
/proc/7233/task/7249/stat : 7249 (java) S 7208 7208 5615 0 -1 1077944384 363 0 0 0 8 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216426948592 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7250] ppid=7208 vsize=8414124 memory=32812 CPUtime=0.22 cores=0-7
/proc/7233/task/7250/stat : 7250 (java) S 7208 7208 5615 0 -1 1077944384 710 0 0 0 22 0 0 0 20 0 24 0 510444497 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216425896048 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7251] ppid=7208 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/7233/task/7251/stat : 7251 (java) S 7208 7208 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510444498 8616062976 29859 33554432000 4194304 4196468 140721232670128 140214643190752 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7252] ppid=7208 vsize=8414124 memory=2120 CPUtime=0.13 cores=0-7
/proc/7233/task/7252/stat : 7252 (java) S 7208 7208 5615 0 -1 1077944384 13 0 0 0 4 9 0 0 20 0 24 0 510444498 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216424844464 140217202416258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7254] ppid=7208 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/7233/task/7254/stat : 7254 (java) S 7208 7208 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510444565 8616062976 29859 33554432000 4194304 4196468 140721232670128 140216416810432 140217202429721 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7256] ppid=7208 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/7233/task/7256/stat : 7256 (java) S 7208 7208 5615 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510444566 8616062976 29859 33554432000 4194304 4196468 140721232670128 140213972090384 140217202427037 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7257] ppid=7208 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/7233/task/7257/stat : 7257 (java) S 7208 7208 5615 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510444566 8616062976 29859 33554432000 4194304 4196468 140721232670128 140214240525968 140217202427037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
[pid=7233/tid=7266] ppid=7208 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/7233/task/7266/stat : 7266 (java) S 7208 7208 5615 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 24 0 510444568 8616062976 29859 33554432000 4194304 4196468 140721232670128 140213703662512 140217202415317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22573056 140721232671736 140721232671894 140721232671894 140721232674767 0
Current children cumulated CPU time: 1170.14 s
Current children cumulated vsize: 9397604 KiB
Current children cumulated memory: 754528 KiB

Child status: 0
Real time (s): 175.3
CPU time (s): 1170.31
CPU user time (s): 1168.26
CPU system time (s): 2.0504
CPU usage (%): 667.608
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1042080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1168.26
system time used= 2.0504
maximum resident set size= 1048732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 867909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20832
involuntary context switches= 10119


# summary of solver processes directly reported to runsolver:
#   pid: 7208
#   total CPU time (s): 1170.31
#   total CPU user time (s): 1168.26
#   total CPU system time (s): 2.0504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.73088 second user time and 2.39627 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 18:33:08
IDJOB=4405327
IDBENCH=134574
IDSOLVER=2867
FILE ID=node148/4405327-1569342825
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22084 MiB

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

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

MD5SUM BENCH= f5121aa225c6127ab5abec7ec5104cc1
RANDOM SEED=2009945970

node148.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.13
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.13
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.13
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.13
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:        25556732 kB
MemAvailable:   31855532 kB
Buffers:           51960 kB
Cached:          6518036 kB
SwapCached:         3352 kB
Active:          4352460 kB
Inactive:        2223892 kB
Active(anon):       3556 kB
Inactive(anon):    57964 kB
Active(file):    4348904 kB
Inactive(file):  2165928 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       67002552 kB
Dirty:             20624 kB
Writeback:             0 kB
AnonPages:        180348 kB
Mapped:            56564 kB
Shmem:             47060 kB
Slab:             228160 kB
SReclaimable:     199604 kB
SUnreclaim:        28556 kB
KernelStack:        3872 kB
PageTables:         6588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22064 MiB
End job on node148 at 2019-09-24 18:36:03