Trace number 4405627

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19856-serial-file.bin HOME/instance-4405627-1569342848.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 18:33:10 CEST 2019
0.66/0.57	c PID: 19859
0.66/0.57	c IP: 172.20.3.103
0.66/0.57	c HOST: node103.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.06/1.13	c (0,0) Parsing End
2.06/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.06/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.13	c (0,0) Constraint Name Generate Begin
2.06/1.15	c (0,0) Ctr:HOME/instance-4405627-1569342848.xml,ExtensionConflict:ExtensionSupport:Var
2.06/1.15	c (0,0) Constraint Name Generate End
2.06/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.15	c (0,0) CSP to CSPinCNF Begin
3.14/1.63	c (1,1) translated 127 (10%) constraints
3.56/1.74	c (1,1) translated 253 (20%) constraints
3.98/1.82	c (1,1) translated 379 (30%) constraints
3.98/1.89	c (1,1) translated 505 (40%) constraints
4.39/1.95	c (1,1) translated 631 (50%) constraints
4.39/2.00	c (1,1) translated 757 (60%) constraints
5.22/2.14	c (1,1) translated 883 (70%) constraints
5.89/2.38	c (1,1) translated 1009 (80%) constraints
6.25/2.61	c (2,2) translated 1135 (90%) constraints
6.98/2.92	c (2,2) translated 1261 (100%) constraints
6.98/2.92	c (2,2) ===========================================
6.98/2.94	c (2,2) Hybrid: #OE=793, #LE=0
6.98/2.94	c (2,2) Hybrid
6.98/2.94	c (2,2) ===========================================
7.41/3.01	c (2,2) translated 1883 (10%) constraints
7.41/3.07	c (2,2) translated 3765 (20%) constraints
7.80/3.12	c (2,2) translated 5647 (30%) constraints
7.80/3.17	c (2,2) translated 7529 (40%) constraints
8.17/3.22	c (2,2) translated 9411 (50%) constraints
8.17/3.27	c (2,2) translated 11294 (60%) constraints
8.56/3.32	c (2,2) translated 13176 (70%) constraints
8.56/3.36	c (2,2) translated 15058 (80%) constraints
8.90/3.40	c (2,2) translated 16940 (90%) constraints
8.90/3.44	c (2,2) translated 18822 (100%) constraints
8.90/3.44	c (2,2) CSP to CSPinCNF End
8.90/3.44	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.90/3.44	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.90/3.44	c (2,2) CSPinCNF Propagation Begin
9.92/3.79	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.92/3.79	c (3,3) CSPinCNF Propagation End
9.92/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.92/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.20/3.81	c (3,3) Hybrid: #OE=793, #LE=0
10.20/3.81	c (3,3) Simplify CSPinCNF Begin
10.20/3.86	c (3,3) Simplify CSPinCNF End
10.20/3.86	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.20/3.86	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.20/3.86	c (3,3) Calculate Precise Domain Begin
10.20/3.87	c (3,3) 0 values are removed by re-calculation
10.20/3.87	c (3,3) Calculate Precise Domain End
10.20/3.87	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.20/3.87	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.20/3.87	c (3,3) CSPinCNF to SatSolver Begin
10.80/4.01	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.80/4.07	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.19/4.12	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.19/4.17	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.56/4.21	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.56/4.23	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.56/4.25	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.80/4.51	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.80/4.52	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.80/4.53	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.80/4.53	c (3,3) CSPinCNF to SatSolver End
11.80/4.53	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.80/4.53	c (3,3) 2482 bool, 15697 clause
11.80/4.53	c (3,3) Export Begin
11.91/4.64	c (4,3) Export to HOME/scop-19856-serial-file.bin
11.91/4.64	c (4,3) Export End
11.91/4.64	c (4,3) Export File Size: 0.02 MB
11.91/4.64	c (4,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.91/4.64	c END-Prog: Tue Sep 24 18:33:14 CEST 2019
11.91/4.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19856-serial-file.bin
12.61/5.13	c (0,0) Read Serial File Begin
12.61/5.13	c (0,0) HOME/scop-19856-serial-file.bin
12.87/5.35	c (0,0) Read Serial File End
12.87/5.36	
12.87/5.36	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
12.87/5.36	(Solving Process)
12.87/5.36	
12.87/5.39	c BEGIN-Prog: Tue Sep 24 18:33:15 CEST 2019
12.87/5.39	c PID: 19879
12.87/5.39	c IP: 172.20.3.103
12.87/5.39	c HOST: node103.alineos.net
12.87/5.39	c (0,0) SatSolver.solve Begin
12.87/5.39	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405627-1569342848.xml-scop-19859.cnf
13.05/5.42	c (0,0) c
13.05/5.42	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
13.05/5.42	c (0,0) c
13.05/5.42	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.05/5.42	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.05/5.42	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.05/5.42	c (0,0) c |                                                                                                       |
13.05/5.42	c (0,0) c |  Number of variables:          2480                                                                   |
13.05/5.42	c (0,0) c |  Number of clauses:           15697                                                                   |
13.05/5.42	c (0,0) c |  Parse time:                   0.00 s                                                                 |
13.05/5.42	c (0,0) c |                                                                                                       |
13.05/5.42	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.05/5.43	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.05/5.43	c (0,0) c |                                                                                                       |
13.05/5.43	c (0,0) c |  Generating clones                                                                                    |
13.05/5.43	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.05/5.44	c (0,0) c ========================================================================================================|
13.05/5.44	c (0,0) c
13.05/5.44	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.05/5.44	c (0,0) c
13.05/5.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.05/5.44	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.05/5.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.05/5.44	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.05/5.44	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.05/5.44	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.05/5.44	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.05/5.44	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/5.44	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.05/5.44	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.05/5.44	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.05/5.44	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.05/5.44	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/5.44	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.05/5.44	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.05/5.44	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.05/5.44	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.05/5.44	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.05/5.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
233.33/35.19	c (30,0) c
233.33/35.19	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
233.33/35.19	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
233.33/35.19	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
233.33/35.19	c (30,0) c |  0 |    327 |     554735 |     302182 |     9096 |    70795 |    46582 |   305561 |     9965 |      327 |  20 |  0.847 |
233.33/35.19	c (30,0) c |  1 |    370 |     546009 |     292180 |     9293 |    60785 |    44576 |   295932 |    12233 |      307 |  20 |  0.847 |
233.33/35.19	c (30,0) c |  2 |    265 |     566602 |     297504 |     8620 |    66115 |    44169 |   305668 |     9670 |      327 |  20 |  0.847 |
233.33/35.19	c (30,0) c |  3 |    376 |     569238 |     302055 |     9247 |    70676 |    43679 |   307310 |    12599 |      326 |  20 |  0.847 |
233.33/35.19	c (30,0) c |  4 |    515 |     597318 |     324036 |     9469 |    56850 |    45905 |   297399 |    14885 |      327 |  20 |  0.848 |
233.33/35.19	c (30,0) c |  5 |    341 |     552088 |     294791 |     9325 |    63402 |    45256 |   306662 |    13150 |      327 |  20 |  0.847 |
233.33/35.19	c (30,0) c |  6 |    330 |     548866 |     301073 |     9137 |    69684 |    44344 |   306920 |    10945 |      327 |  20 |  0.847 |
233.33/35.19	c (30,0) c |  7 |    304 |     569765 |     301660 |     9066 |    70274 |    44237 |   308026 |    11359 |      327 |  20 |  0.847 |
233.33/35.19	c (30,0) c 
233.33/35.19	c (30,0) c synthesis     2415481 conflicts   183061686 propagations    10966 conflicts/sec   831107 propagations/sec
233.33/35.19	c (30,0) c real: 29.7752 s, cpu: 220.262 s, memory: 628.80 Mb
413.27/64.19	c (59,0) c
413.27/64.19	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
413.27/64.19	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
413.27/64.19	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
413.27/64.19	c (59,0) c |  0 |    375 |     800166 |     428762 |     9126 |    82178 |    59542 |   392946 |    13395 |      560 |  20 |  0.847 |
413.27/64.19	c (59,0) c |  1 |    416 |     802693 |     426291 |     9328 |    79706 |    58160 |   382738 |    15874 |      540 |  20 |  0.847 |
413.27/64.19	c (59,0) c |  2 |    330 |     832453 |     432586 |     9147 |    85997 |    56197 |   399113 |    17578 |      560 |  20 |  0.848 |
413.27/64.19	c (59,0) c |  3 |    416 |     810163 |     427899 |     9260 |    81314 |    54857 |   398312 |    16431 |      560 |  20 |  0.847 |
413.27/64.19	c (59,0) c |  4 |    671 |     875784 |     466487 |     9498 |    76297 |    60951 |   396520 |    22471 |      560 |  20 |  0.847 |
413.27/64.19	c (59,0) c |  5 |    544 |     825331 |     433125 |     9452 |    86533 |    57412 |   396803 |    23192 |      557 |  20 |  0.847 |
413.27/64.19	c (59,0) c |  6 |    377 |     806301 |     434573 |     9241 |    44385 |    56605 |   400626 |    16682 |      560 |  20 |  0.847 |
413.27/64.19	c (59,0) c |  7 |    431 |     865354 |     458087 |     9504 |    67902 |    61021 |   390569 |    20583 |      560 |  20 |  0.847 |
413.27/64.19	c (59,0) c 
413.27/64.19	c (59,0) c synthesis     3507811 conflicts   265712568 propagations     8777 conflicts/sec   664831 propagations/sec
413.27/64.19	c (59,0) c real: 58.7772 s, cpu: 399.669 s, memory: 664.67 Mb
600.13/94.20	c (89,0) c
600.13/94.20	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
600.13/94.20	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
600.13/94.20	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
600.13/94.20	c (89,0) c |  0 |    414 |    1066336 |     566389 |     9409 |    81199 |    74275 |   477345 |    25627 |      802 |  20 |  0.847 |
600.13/94.20	c (89,0) c |  1 |    516 |    1093646 |     576369 |     9411 |    91178 |    72028 |   477234 |    28053 |      802 |  20 |  0.847 |
600.13/94.20	c (89,0) c |  2 |    439 |    1104346 |     572550 |     9409 |    87362 |    70218 |   484169 |    27766 |      802 |  20 |  0.848 |
600.13/94.20	c (89,0) c |  3 |    477 |    1079609 |     565741 |     9459 |    80552 |    68583 |   486441 |    28351 |      802 |  20 |  0.848 |
600.13/94.20	c (89,0) c |  4 |    815 |    1131512 |     597363 |     9506 |    60775 |    71201 |   486810 |    30693 |      802 |  20 |  0.847 |
600.13/94.20	c (89,0) c |  5 |    756 |    1071465 |     556943 |     9482 |    71752 |    67106 |   482295 |    31274 |      782 |  20 |  0.847 |
600.13/94.20	c (89,0) c |  6 |    445 |    1047365 |     560686 |     9327 |    75498 |    68101 |   483224 |    24765 |      802 |  20 |  0.847 |
600.13/94.20	c (89,0) c |  7 |    508 |    1114352 |     588356 |     9562 |    51767 |    72039 |   485121 |    31223 |      802 |  20 |  0.847 |
600.13/94.20	c (89,0) c 
600.13/94.20	c (89,0) c synthesis     4584397 conflicts   345176257 propagations     7820 conflicts/sec   588826 propagations/sec
600.13/94.20	c (89,0) c real: 88.7752 s, cpu: 586.211 s, memory: 820.03 Mb
771.79/123.19	c (118,0) c
771.79/123.19	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
771.79/123.19	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
771.79/123.19	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
771.79/123.19	c (118,0) c |  0 |    483 |    1275032 |     671100 |     9429 |    80510 |    83765 |   546755 |    34204 |     1012 |  20 |  0.847 |
771.79/123.19	c (118,0) c |  1 |    582 |    1275058 |     671641 |     9432 |    81053 |    81796 |   544539 |    34205 |      992 |  20 |  0.847 |
771.79/123.19	c (118,0) c |  2 |    569 |    1310360 |     676678 |     9436 |    86089 |    79000 |   553976 |    35860 |     1012 |  20 |  0.847 |
771.79/123.19	c (118,0) c |  3 |    528 |    1290129 |     672816 |     9474 |    82229 |    76108 |   556390 |    37131 |     1012 |  20 |  0.848 |
771.79/123.19	c (118,0) c |  4 |    883 |    1323016 |     696145 |     9514 |   105561 |    80282 |   548336 |    37320 |     1012 |  20 |  0.847 |
771.79/123.19	c (118,0) c |  5 |    878 |    1288633 |     667100 |     9502 |    76510 |    77528 |   552692 |    39789 |     1012 |  20 |  0.848 |
771.79/123.19	c (118,0) c |  6 |    528 |    1247578 |     664369 |     9422 |    73786 |    78904 |   553095 |    33220 |     1012 |  20 |  0.847 |
771.79/123.19	c (118,0) c |  7 |    572 |    1312811 |     691833 |     9574 |   101243 |    81449 |   547117 |    39595 |     1012 |  20 |  0.848 |
771.79/123.19	c (118,0) c 
771.79/123.19	c (118,0) c synthesis     5411683 conflicts   407089012 propagations     7139 conflicts/sec   537061 propagations/sec
771.79/123.19	c (118,0) c real: 117.775 s, cpu: 757.993 s, memory: 726.39 Mb
949.64/152.19	c (147,0) c
949.64/152.19	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
949.64/152.19	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
949.64/152.19	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
949.64/152.19	c (147,0) c |  0 |    532 |    1462077 |     764189 |     9443 |   117003 |    89236 |   606946 |    41978 |     1232 |  20 |  0.847 |
949.64/152.19	c (147,0) c |  1 |    661 |    1465950 |     768687 |     9447 |    62305 |    88833 |   603739 |    41397 |     1212 |  20 |  0.848 |
949.64/152.19	c (147,0) c |  2 |    668 |    1503155 |     770865 |     9447 |    64473 |    88388 |   608042 |    43052 |     1232 |  20 |  0.847 |
949.64/152.19	c (147,0) c |  3 |    577 |    1471777 |     766914 |     9483 |    60527 |    81472 |   616074 |    43653 |     1232 |  20 |  0.847 |
949.64/152.19	c (147,0) c |  4 |    988 |    1508943 |     792757 |     9525 |    86368 |    88317 |   609118 |    44399 |     1232 |  20 |  0.847 |
949.64/152.19	c (147,0) c |  5 |    944 |    1478578 |     761144 |     9509 |   113951 |    86524 |   610156 |    46458 |     1230 |  20 |  0.848 |
949.64/152.19	c (147,0) c |  6 |    584 |    1440958 |     760515 |     9436 |   113331 |    88129 |   607610 |    42275 |     1232 |  20 |  0.847 |
949.64/152.19	c (147,0) c |  7 |    626 |    1496089 |     787766 |     9594 |    81380 |    90526 |   607304 |    46513 |     1232 |  20 |  0.848 |
949.64/152.19	c (147,0) c 
949.64/152.19	c (147,0) c synthesis     6172838 conflicts   464582513 propagations     6598 conflicts/sec   496560 propagations/sec
949.64/152.19	c (147,0) c real: 146.775 s, cpu: 935.601 s, memory: 879.30 Mb
1132.29/181.19	c (176,0) c
1132.29/181.19	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1132.29/181.19	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1132.29/181.19	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1132.29/181.19	c (176,0) c |  0 |    595 |    1652044 |     858714 |     9454 |    88804 |    95506 |   656093 |    48452 |     1455 |  20 |  1.008 |
1132.29/181.19	c (176,0) c |  1 |    709 |    1650421 |     861454 |     9458 |    90345 |    94911 |   652910 |    48440 |     1435 |  20 |  0.968 |
1132.29/181.19	c (176,0) c |  2 |    699 |    1680339 |     861062 |     9465 |    84614 |    97323 |   657126 |    49832 |     1455 |  20 |  1.048 |
1132.29/181.19	c (176,0) c |  3 |    617 |    1657239 |     861199 |     9491 |    90777 |    87209 |   667678 |    49808 |     1455 |  20 |  1.048 |
1132.29/181.19	c (176,0) c |  4 |   1023 |    1689063 |     883362 |     9529 |   112448 |    96487 |   654530 |    50962 |     1455 |  20 |  1.008 |
1132.29/181.19	c (176,0) c |  5 |    986 |    1661562 |     852788 |     9515 |    78593 |    95888 |   658266 |    53062 |     1453 |  20 |  1.048 |
1132.29/181.19	c (176,0) c |  6 |    629 |    1619935 |     850349 |     9446 |    73370 |    94489 |   660118 |    49820 |     1455 |  20 |  1.048 |
1132.29/181.19	c (176,0) c |  7 |    656 |    1670467 |     878106 |     9599 |    98186 |    96729 |   658026 |    53073 |     1455 |  20 |  1.050 |
1132.29/181.19	c (176,0) c 
1132.29/181.19	c (176,0) c synthesis     6907034 conflicts   521414989 propagations     6177 conflicts/sec   466325 propagations/sec
1132.29/181.19	c (176,0) c real: 175.775 s, cpu: 1118.14 s, memory: 820.03 Mb
1195.18/192.34	c (187,0) c
1195.18/192.34	c (187,0) c real time : 186.928 s
1195.18/192.34	c (187,0) c cpu time  : 1180.46 s
1195.18/192.34	c (187,0) c
1195.18/192.34	c (187,0) c
1195.18/192.34	c (187,0) c
1195.18/192.34	c (187,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1195.18/192.34	c (187,0) c
1195.18/192.34	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.34	c (187,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1195.18/192.34	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.34	c (187,0) c | Conflicts     |         7064433 |     877868 |     885634 |     878772 |     880795 |     900859 |     874862 |     869816 |     895827 |
1195.18/192.34	c (187,0) c | Decisions     |        13595405 |    1690354 |    1697543 |    1714971 |    1696631 |    1724103 |    1706510 |    1658601 |    1706692 |
1195.18/192.34	c (187,0) c | Propagations  |       533900550 |   66233808 |   67251729 |   66109570 |   66845822 |   67093194 |   66418151 |   66138025 |   67810251 |
1195.18/192.34	c (187,0) c | ReduceDBs     |             201 |         25 |         25 |         25 |         25 |         26 |         25 |         25 |         25 |
1195.18/192.34	c (187,0) c | SimpDBs       |              75 |         12 |         10 |         11 |          7 |          9 |          7 |          8 |         11 |
1195.18/192.34	c (187,0) c | Restarts      |            5961 |        599 |        714 |        707 |        620 |       1030 |        996 |        636 |        659 |
1195.18/192.34	c (187,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1195.18/192.34	c (187,0) c | PropBinClauses|      1155713618 |  143308765 |  146342446 |  143652006 |  146634506 |  143094427 |  140035999 |  144875213 |  147770256 |
1195.18/192.34	c (187,0) c | PropPreBlocker|     41763011921 | 5195910780 | 5264571174 | 5187593608 | 5130187538 | 5262364978 | 5256290201 | 5201101435 | 5264992207 |
1195.18/192.34	c (187,0) c | PropNotBlocker|      6689952508 |  826542254 |  832969273 |  833983276 |  853386393 |  845036168 |  839474367 |  829015164 |  829545613 |
1195.18/192.34	c (187,0) c | LitFullScans  |     72583275605 | 9074100435 | 9067358113 | 9073776922 | 9073867422 | 9073206191 | 9073638552 | 9073817486 | 9073510484 |
1195.18/192.34	c (187,0) c | LitScanFracts |        13872170 |    2825175 |    1338581 |    1753288 |    1862211 |    1198522 |    1581815 |    1813214 |    1499364 |
1195.18/192.34	c (187,0) c | DecisionLevel0|            6062 |        613 |        727 |        720 |        632 |       1042 |       1006 |        651 |        671 |
1195.18/192.34	c (187,0) c | Periods       |           12094 |       1511 |       1511 |       1512 |       1512 |       1512 |       1512 |       1512 |       1512 |
1195.18/192.34	c (187,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1195.18/192.34	c (187,0) c | Avg_Trail     |                 |        628 |        631 |        626 |        625 |        630 |        632 |        624 |        628 |
1195.18/192.34	c (187,0) c | Avg_DL        |                 |         21 |         21 |         21 |         21 |         21 |         21 |         20 |         21 |
1195.18/192.34	c (187,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1195.18/192.34	c (187,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1195.18/192.34	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.34	c (187,0) c | Exported      |          772548 |      97170 |      97066 |      98878 |      88998 |      98213 |      97344 |      96574 |      98305 |
1195.18/192.34	c (187,0) c | Imported      |         5344634 |     670971 |     668289 |     665642 |     676055 |     667956 |     661461 |     669090 |     665170 |
1195.18/192.34	c (187,0) c | Good          |           14220 |       1813 |       1830 |       1791 |       1776 |       1718 |       1758 |       1786 |       1748 |
1195.18/192.34	c (187,0) c | Purge         |         5330414 |     669158 |     666459 |     663851 |     674279 |     666238 |     659703 |     667304 |     663422 |
1195.18/192.34	c (187,0) c | Promoted      |          419350 |      50415 |      50945 |      51968 |      51576 |      52785 |      54814 |      52032 |      54815 |
1195.18/192.34	c (187,0) c | Remove_Imp    |         4147822 |     515017 |     508481 |     506096 |     526376 |     535290 |     529841 |     517968 |     508753 |
1195.18/192.34	c (187,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1195.18/192.34	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.34	c (187,0) c | Unaries       |                 |         14 |         13 |         13 |         12 |         12 |         10 |         15 |         12 |
1195.18/192.34	c (187,0) c | Binaries      |                 |        262 |        205 |        241 |        260 |        328 |        252 |        266 |        291 |
1195.18/192.34	c (187,0) c | Glues         |                 |        990 |        940 |        956 |       1030 |       1129 |       1011 |       1014 |       1030 |
1195.18/192.34	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.34	c (187,0) c | Orig_Seen     |            87 % |       9456 |       9462 |       9468 |       9493 |       9530 |       9518 |       9448 |       9600 |
1195.18/192.34	c (187,0) c | Diff Orig seen|                 |      X     |          6 |         12 |         37 |         74 |         62 | -        8 |        144 |
1195.18/192.34	c (187,0) c | Hamming       |            11 % |      X     |        274 |        338 |        232 |        266 |        313 |        271 |        277 |
1195.18/192.34	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.34	c (187,0) c | RunningTime   |                 |  134.5  73%|  185.6  99%|  166.3  90%|  127.0  69%|  151.8  82%|  175.3  95%|  125.6  68%|  115.5  62%|
1195.18/192.34	c (187,0) c | WaitingTime   |                 |   50.4  27%|    0.9   0%|   18.7  10%|   58.0  31%|   33.1  18%|    9.7   5%|   59.4  32%|   69.4  37%|
1195.18/192.34	c (187,0) c | ExchangingTime|                 |    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.4   0%|
1195.18/192.34	c (187,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%|
1195.18/192.34	c (187,0) c | SolvingTime   |                 |  185.3     |  186.8     |  185.3     |  185.3     |  185.3     |  185.3     |  185.3     |  185.3     |
1195.18/192.34	c (187,0) c | PropagationTim|                 |  153.6  83%|  104.5  56%|  129.6  70%|  160.6  87%|  145.5  79%|  119.2  64%|  160.9  87%|  167.2  90%|
1195.18/192.34	c (187,0) c | AnalysisTime  |                 |   27.8  15%|   78.6  42%|   51.7  28%|   21.2  11%|   35.7  19%|   62.3  34%|   20.9  11%|   14.4   8%|
1195.18/192.34	c (187,0) c | ReductionTime |                 |    1.4   1%|    1.4   1%|    1.5   1%|    1.3   1%|    1.7   1%|    1.5   1%|    1.3   1%|    1.4   1%|
1195.18/192.34	c (187,0) c | SimplifyTime  |                 |    0.2   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1195.18/192.34	c (187,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%|
1195.18/192.34	c (187,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%|
1195.18/192.34	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.34	c (187,0) c
1195.18/192.34	c (187,0) c
1195.18/192.34	c (187,0) c Threads : 8
1195.18/192.34	c (187,0) c Winner : 0
1195.18/192.34	c (187,0) c Conflicts_0 : 877868
1195.18/192.34	c (187,0) c Conflicts_1 : 885634
1195.18/192.34	c (187,0) c Conflicts_2 : 878772
1195.18/192.34	c (187,0) c Conflicts_3 : 880795
1195.18/192.34	c (187,0) c Conflicts_4 : 900859
1195.18/192.34	c (187,0) c Conflicts_5 : 874862
1195.18/192.34	c (187,0) c Conflicts_6 : 869816
1195.18/192.34	c (187,0) c Conflicts_7 : 895827
1195.18/192.34	c (187,0) c Conflicts_total : 7064433
1195.18/192.34	c (187,0) c Conflicts_winner : 877868
1195.18/192.34	c (187,0) c Decisions_0 : 1690354
1195.18/192.34	c (187,0) c Decisions_1 : 1697543
1195.18/192.34	c (187,0) c Decisions_2 : 1714971
1195.18/192.34	c (187,0) c Decisions_3 : 1696631
1195.18/192.34	c (187,0) c Decisions_4 : 1724103
1195.18/192.34	c (187,0) c Decisions_5 : 1706510
1195.18/192.35	c (187,0) c Decisions_6 : 1658601
1195.18/192.35	c (187,0) c Decisions_7 : 1706692
1195.18/192.35	c (187,0) c Decisions_total : 13595405
1195.18/192.35	c (187,0) c Decisions_winner : 1690354
1195.18/192.35	c (187,0) c Propagations_0 : 66233808
1195.18/192.35	c (187,0) c Propagations_1 : 67251729
1195.18/192.35	c (187,0) c Propagations_2 : 66109570
1195.18/192.35	c (187,0) c Propagations_3 : 66845822
1195.18/192.35	c (187,0) c Propagations_4 : 67093194
1195.18/192.35	c (187,0) c Propagations_5 : 66418151
1195.18/192.35	c (187,0) c Propagations_6 : 66138025
1195.18/192.35	c (187,0) c Propagations_7 : 67810251
1195.18/192.35	c (187,0) c Propagations_total : 533900550
1195.18/192.35	c (187,0) c Propagations_winner : 66233808
1195.18/192.35	c (187,0) c ReduceDBs_0 : 25
1195.18/192.35	c (187,0) c ReduceDBs_1 : 25
1195.18/192.35	c (187,0) c ReduceDBs_2 : 25
1195.18/192.35	c (187,0) c ReduceDBs_3 : 25
1195.18/192.35	c (187,0) c ReduceDBs_4 : 26
1195.18/192.35	c (187,0) c ReduceDBs_5 : 25
1195.18/192.35	c (187,0) c ReduceDBs_6 : 25
1195.18/192.35	c (187,0) c ReduceDBs_7 : 25
1195.18/192.35	c (187,0) c ReduceDBs_total : 201
1195.18/192.35	c (187,0) c ReduceDBs_winner : 25
1195.18/192.35	c (187,0) c SimpDBs_0 : 12
1195.18/192.35	c (187,0) c SimpDBs_1 : 10
1195.18/192.35	c (187,0) c SimpDBs_2 : 11
1195.18/192.35	c (187,0) c SimpDBs_3 : 7
1195.18/192.35	c (187,0) c SimpDBs_4 : 9
1195.18/192.35	c (187,0) c SimpDBs_5 : 7
1195.18/192.35	c (187,0) c SimpDBs_6 : 8
1195.18/192.35	c (187,0) c SimpDBs_7 : 11
1195.18/192.35	c (187,0) c SimpDBs_total : 75
1195.18/192.35	c (187,0) c SimpDBs_winner : 12
1195.18/192.35	c (187,0) c Restarts_0 : 599
1195.18/192.35	c (187,0) c Restarts_1 : 714
1195.18/192.35	c (187,0) c Restarts_2 : 707
1195.18/192.35	c (187,0) c Restarts_3 : 620
1195.18/192.35	c (187,0) c Restarts_4 : 1030
1195.18/192.35	c (187,0) c Restarts_5 : 996
1195.18/192.35	c (187,0) c Restarts_6 : 636
1195.18/192.35	c (187,0) c Restarts_7 : 659
1195.18/192.35	c (187,0) c Restarts_total : 5961
1195.18/192.35	c (187,0) c Restarts_winner : 599
1195.18/192.35	c (187,0) c ForcedImports_0 : 0
1195.18/192.35	c (187,0) c ForcedImports_1 : 0
1195.18/192.35	c (187,0) c ForcedImports_2 : 0
1195.18/192.35	c (187,0) c ForcedImports_3 : 0
1195.18/192.35	c (187,0) c ForcedImports_4 : 0
1195.18/192.35	c (187,0) c ForcedImports_5 : 0
1195.18/192.35	c (187,0) c ForcedImports_6 : 0
1195.18/192.35	c (187,0) c ForcedImports_7 : 0
1195.18/192.35	c (187,0) c ForcedImports_total : 0
1195.18/192.35	c (187,0) c ForcedImports_winner : 0
1195.18/192.35	c (187,0) c PropsBinClauses_0 : 143308765
1195.18/192.35	c (187,0) c PropsBinClauses_1 : 146342446
1195.18/192.35	c (187,0) c PropsBinClauses_2 : 143652006
1195.18/192.35	c (187,0) c PropsBinClauses_3 : 146634506
1195.18/192.35	c (187,0) c PropsBinClauses_4 : 143094427
1195.18/192.35	c (187,0) c PropsBinClauses_5 : 140035999
1195.18/192.35	c (187,0) c PropsBinClauses_6 : 144875213
1195.18/192.35	c (187,0) c PropsBinClauses_7 : 147770256
1195.18/192.35	c (187,0) c PropsBinClauses_total : 1155713618
1195.18/192.35	c (187,0) c PropsBinClauses_winner : 143308765
1195.18/192.35	c (187,0) c PropsPreBlocker_0 : 5195910780
1195.18/192.35	c (187,0) c PropsPreBlocker_1 : 5264571174
1195.18/192.35	c (187,0) c PropsPreBlocker_2 : 5187593608
1195.18/192.35	c (187,0) c PropsPreBlocker_3 : 5130187538
1195.18/192.35	c (187,0) c PropsPreBlocker_4 : 5262364978
1195.18/192.35	c (187,0) c PropsPreBlocker_5 : 5256290201
1195.18/192.35	c (187,0) c PropsPreBlocker_6 : 5201101435
1195.18/192.35	c (187,0) c PropsPreBlocker_7 : 5264992207
1195.18/192.35	c (187,0) c PropsPreBlocker_total : 41763011921
1195.18/192.35	c (187,0) c PropsPreBlocker_winner : 5195910780
1195.18/192.35	c (187,0) c PropsNotBlocker_0 : 826542254
1195.18/192.35	c (187,0) c PropsNotBlocker_1 : 832969273
1195.18/192.35	c (187,0) c PropsNotBlocker_2 : 833983276
1195.18/192.35	c (187,0) c PropsNotBlocker_3 : 853386393
1195.18/192.35	c (187,0) c PropsNotBlocker_4 : 845036168
1195.18/192.35	c (187,0) c PropsNotBlocker_5 : 839474367
1195.18/192.35	c (187,0) c PropsNotBlocker_6 : 829015164
1195.18/192.35	c (187,0) c PropsNotBlocker_7 : 829545613
1195.18/192.35	c (187,0) c PropsNotBlocker_total : 6689952508
1195.18/192.35	c (187,0) c PropsNotBlocker_winner : 826542254
1195.18/192.35	c (187,0) c PropsLitFullScans_0 : 9074100435
1195.18/192.35	c (187,0) c PropsLitFullScans_1 : 9067358113
1195.18/192.35	c (187,0) c PropsLitFullScans_2 : 9073776922
1195.18/192.35	c (187,0) c PropsLitFullScans_3 : 9073867422
1195.18/192.35	c (187,0) c PropsLitFullScans_4 : 9073206191
1195.18/192.35	c (187,0) c PropsLitFullScans_5 : 9073638552
1195.18/192.35	c (187,0) c PropsLitFullScans_6 : 9073817486
1195.18/192.35	c (187,0) c PropsLitFullScans_7 : 9073510484
1195.18/192.35	c (187,0) c PropsLitFullScans_total : 72583275605
1195.18/192.35	c (187,0) c PropsLitFullScans_winner : 9074100435
1195.18/192.35	c (187,0) c LitScanFractions_0 : 2825175
1195.18/192.35	c (187,0) c LitScanFractions_1 : 1338581
1195.18/192.35	c (187,0) c LitScanFractions_2 : 1753288
1195.18/192.35	c (187,0) c LitScanFractions_3 : 1862211
1195.18/192.35	c (187,0) c LitScanFractions_4 : 1198522
1195.18/192.35	c (187,0) c LitScanFractions_5 : 1581815
1195.18/192.35	c (187,0) c LitScanFractions_6 : 1813214
1195.18/192.35	c (187,0) c LitScanFractions_7 : 1499364
1195.18/192.35	c (187,0) c LitScanFractions_total : 13872170
1195.18/192.35	c (187,0) c LitScanFractions_winner : 2825175
1195.18/192.35	c (187,0) c DecisionLevel0_0 : 613
1195.18/192.35	c (187,0) c DecisionLevel0_1 : 727
1195.18/192.35	c (187,0) c DecisionLevel0_2 : 720
1195.18/192.35	c (187,0) c DecisionLevel0_3 : 632
1195.18/192.35	c (187,0) c DecisionLevel0_4 : 1042
1195.18/192.35	c (187,0) c DecisionLevel0_5 : 1006
1195.18/192.35	c (187,0) c DecisionLevel0_6 : 651
1195.18/192.35	c (187,0) c DecisionLevel0_7 : 671
1195.18/192.35	c (187,0) c DecisionLevel0_total : 6062
1195.18/192.35	c (187,0) c DecisionLevel0_winner : 613
1195.18/192.35	c (187,0) c Periods_0 : 1511
1195.18/192.35	c (187,0) c Periods_1 : 1511
1195.18/192.35	c (187,0) c Periods_2 : 1512
1195.18/192.35	c (187,0) c Periods_3 : 1512
1195.18/192.35	c (187,0) c Periods_4 : 1512
1195.18/192.35	c (187,0) c Periods_5 : 1512
1195.18/192.35	c (187,0) c Periods_6 : 1512
1195.18/192.35	c (187,0) c Periods_7 : 1512
1195.18/192.35	c (187,0) c Periods_total : 12094
1195.18/192.35	c (187,0) c Periods_winner : 1511
1195.18/192.35	c (187,0) c Margin_0 : 20
1195.18/192.35	c (187,0) c Margin_1 : 20
1195.18/192.35	c (187,0) c Margin_2 : 20
1195.18/192.35	c (187,0) c Margin_3 : 20
1195.18/192.35	c (187,0) c Margin_4 : 20
1195.18/192.35	c (187,0) c Margin_5 : 20
1195.18/192.35	c (187,0) c Margin_6 : 20
1195.18/192.35	c (187,0) c Margin_7 : 20
1195.18/192.35	c (187,0) c Margin_total : 160
1195.18/192.35	c (187,0) c Margin_winner : 20
1195.18/192.35	c (187,0) c Exported_0 : 97170
1195.18/192.35	c (187,0) c Exported_1 : 97066
1195.18/192.35	c (187,0) c Exported_2 : 98878
1195.18/192.35	c (187,0) c Exported_3 : 88998
1195.18/192.35	c (187,0) c Exported_4 : 98213
1195.18/192.35	c (187,0) c Exported_5 : 97344
1195.18/192.35	c (187,0) c Exported_6 : 96574
1195.18/192.35	c (187,0) c Exported_7 : 98305
1195.18/192.35	c (187,0) c Exported_total : 772548
1195.18/192.35	c (187,0) c Exported_winner : 97170
1195.18/192.35	c (187,0) c Imported_0 : 670971
1195.18/192.35	c (187,0) c Imported_1 : 668289
1195.18/192.35	c (187,0) c Imported_2 : 665642
1195.18/192.35	c (187,0) c Imported_3 : 676055
1195.18/192.35	c (187,0) c Imported_4 : 667956
1195.18/192.35	c (187,0) c Imported_5 : 661461
1195.18/192.35	c (187,0) c Imported_6 : 669090
1195.18/192.35	c (187,0) c Imported_7 : 665170
1195.18/192.35	c (187,0) c Imported_total : 5344634
1195.18/192.35	c (187,0) c Imported_winner : 670971
1195.18/192.35	c (187,0) c Good_0 : 1813
1195.18/192.35	c (187,0) c Good_1 : 1830
1195.18/192.35	c (187,0) c Good_2 : 1791
1195.18/192.35	c (187,0) c Good_3 : 1776
1195.18/192.35	c (187,0) c Good_4 : 1718
1195.18/192.35	c (187,0) c Good_5 : 1758
1195.18/192.35	c (187,0) c Good_6 : 1786
1195.18/192.35	c (187,0) c Good_7 : 1748
1195.18/192.35	c (187,0) c Good_total : 14220
1195.18/192.35	c (187,0) c Good_winner : 1813
1195.18/192.35	c (187,0) c Purge_0 : 669158
1195.18/192.35	c (187,0) c Purge_1 : 666459
1195.18/192.35	c (187,0) c Purge_2 : 663851
1195.18/192.35	c (187,0) c Purge_3 : 674279
1195.18/192.35	c (187,0) c Purge_4 : 666238
1195.18/192.35	c (187,0) c Purge_5 : 659703
1195.18/192.35	c (187,0) c Purge_6 : 667304
1195.18/192.35	c (187,0) c Purge_7 : 663422
1195.18/192.35	c (187,0) c Purge_total : 5330414
1195.18/192.35	c (187,0) c Purge_winner : 669158
1195.18/192.35	c (187,0) c Promoted_0 : 50415
1195.18/192.35	c (187,0) c Promoted_1 : 50945
1195.18/192.35	c (187,0) c Promoted_2 : 51968
1195.18/192.35	c (187,0) c Promoted_3 : 51576
1195.18/192.35	c (187,0) c Promoted_4 : 52785
1195.18/192.35	c (187,0) c Promoted_5 : 54814
1195.18/192.35	c (187,0) c Promoted_6 : 52032
1195.18/192.35	c (187,0) c Promoted_7 : 54815
1195.18/192.35	c (187,0) c Promoted_total : 419350
1195.18/192.35	c (187,0) c Promoted_winner : 50415
1195.18/192.35	c (187,0) c Remove_Imp_0 : 515017
1195.18/192.35	c (187,0) c Remove_Imp_1 : 508481
1195.18/192.35	c (187,0) c Remove_Imp_2 : 506096
1195.18/192.35	c (187,0) c Remove_Imp_3 : 526376
1195.18/192.35	c (187,0) c Remove_Imp_4 : 535290
1195.18/192.35	c (187,0) c Remove_Imp_5 : 529841
1195.18/192.35	c (187,0) c Remove_Imp_6 : 517968
1195.18/192.35	c (187,0) c Remove_Imp_7 : 508753
1195.18/192.35	c (187,0) c Remove_Imp_total : 4147822
1195.18/192.35	c (187,0) c Remove_Imp_winner : 515017
1195.18/192.35	c (187,0) c Blocked_Reuse_0 : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_1 : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_2 : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_3 : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_4 : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_5 : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_6 : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_7 : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_total : 0
1195.18/192.35	c (187,0) c Blocked_Reuse_winner : 0
1195.18/192.35	c (187,0) c Unaries_0 : 14
1195.18/192.35	c (187,0) c Unaries_1 : 13
1195.18/192.35	c (187,0) c Unaries_2 : 13
1195.18/192.35	c (187,0) c Unaries_3 : 12
1195.18/192.35	c (187,0) c Unaries_4 : 12
1195.18/192.35	c (187,0) c Unaries_5 : 10
1195.18/192.35	c (187,0) c Unaries_6 : 15
1195.18/192.35	c (187,0) c Unaries_7 : 12
1195.18/192.35	c (187,0) c Unaries_total : 101
1195.18/192.35	c (187,0) c Unaries_winner : 14
1195.18/192.35	c (187,0) c Binaries_0 : 262
1195.18/192.35	c (187,0) c Binaries_1 : 205
1195.18/192.35	c (187,0) c Binaries_2 : 241
1195.18/192.35	c (187,0) c Binaries_3 : 260
1195.18/192.35	c (187,0) c Binaries_4 : 328
1195.18/192.35	c (187,0) c Binaries_5 : 252
1195.18/192.35	c (187,0) c Binaries_6 : 266
1195.18/192.35	c (187,0) c Binaries_7 : 291
1195.18/192.35	c (187,0) c Binaries_total : 2105
1195.18/192.35	c (187,0) c Binaries_winner : 262
1195.18/192.35	c (187,0) c Glues_0 : 990
1195.18/192.35	c (187,0) c Glues_1 : 940
1195.18/192.35	c (187,0) c Glues_2 : 956
1195.18/192.35	c (187,0) c Glues_3 : 1030
1195.18/192.35	c (187,0) c Glues_4 : 1129
1195.18/192.35	c (187,0) c Glues_5 : 1011
1195.18/192.35	c (187,0) c Glues_6 : 1014
1195.18/192.35	c (187,0) c Glues_7 : 1030
1195.18/192.35	c (187,0) c Glues_total : 8100
1195.18/192.35	c (187,0) c Glues_winner : 990
1195.18/192.35	c (187,0) c RunningTime_0 : 134.466749
1195.18/192.35	c (187,0) c RunningTime_1 : 185.590141
1195.18/192.35	c (187,0) c RunningTime_2 : 166.261439
1195.18/192.35	c (187,0) c RunningTime_3 : 126.977017
1195.18/192.35	c (187,0) c RunningTime_4 : 151.800982
1195.18/192.35	c (187,0) c RunningTime_5 : 175.287310
1195.18/192.35	c (187,0) c RunningTime_6 : 125.557680
1195.18/192.35	c (187,0) c RunningTime_7 : 115.540974
1195.18/192.35	c (187,0) c RunningTime_total : 1181.482293
1195.18/192.35	c (187,0) c RunningTime_winner : 134.466749
1195.18/192.35	c (187,0) c WaitingTime_0 : 50.407815
1195.18/192.35	c (187,0) c WaitingTime_1 : 0.875893
1195.18/192.35	c (187,0) c WaitingTime_2 : 18.715213
1195.18/192.35	c (187,0) c WaitingTime_3 : 57.952132
1195.18/192.35	c (187,0) c WaitingTime_4 : 33.133909
1195.18/192.35	c (187,0) c WaitingTime_5 : 9.656844
1195.18/192.35	c (187,0) c WaitingTime_6 : 59.392040
1195.18/192.35	c (187,0) c WaitingTime_7 : 69.399140
1195.18/192.35	c (187,0) c WaitingTime_total : 299.532987
1195.18/192.35	c (187,0) c WaitingTime_winner : 50.407815
1195.18/192.35	c (187,0) c ExchangingTime_0 : 0.375765
1195.18/192.35	c (187,0) c ExchangingTime_1 : 0.334173
1195.18/192.35	c (187,0) c ExchangingTime_2 : 0.341306
1195.18/192.35	c (187,0) c ExchangingTime_3 : 0.368606
1195.18/192.35	c (187,0) c ExchangingTime_4 : 0.362942
1195.18/192.35	c (187,0) c ExchangingTime_5 : 0.353334
1195.18/192.35	c (187,0) c ExchangingTime_6 : 0.346384
1195.18/192.35	c (187,0) c ExchangingTime_7 : 0.354954
1195.18/192.35	c (187,0) c ExchangingTime_total : 2.837463
1195.18/192.35	c (187,0) c ExchangingTime_winner : 0.375765
1195.18/192.35	c (187,0) c PeriodProcTime_0 : 0.013193
1195.18/192.35	c (187,0) c PeriodProcTime_1 : 0.019481
1195.18/192.35	c (187,0) c PeriodProcTime_2 : 0.012804
1195.18/192.35	c (187,0) c PeriodProcTime_3 : 0.013338
1195.18/192.35	c (187,0) c PeriodProcTime_4 : 0.012762
1195.18/192.35	c (187,0) c PeriodProcTime_5 : 0.014766
1195.18/192.35	c (187,0) c PeriodProcTime_6 : 0.013446
1195.18/192.35	c (187,0) c PeriodProcTime_7 : 0.013730
1195.18/192.35	c (187,0) c PeriodProcTime_total : 0.113520
1195.18/192.35	c (187,0) c PeriodProcTime_winner : 0.013193
1195.18/192.35	c (187,0) c SolvingTime_0 : 185.263521
1195.18/192.35	c (187,0) c SolvingTime_1 : 186.819688
1195.18/192.35	c (187,0) c SolvingTime_2 : 185.330763
1195.18/192.35	c (187,0) c SolvingTime_3 : 185.311093
1195.18/192.35	c (187,0) c SolvingTime_4 : 185.310596
1195.18/192.35	c (187,0) c SolvingTime_5 : 185.312254
1195.18/192.35	c (187,0) c SolvingTime_6 : 185.309550
1195.18/192.35	c (187,0) c SolvingTime_7 : 185.308798
1195.18/192.35	c (187,0) c SolvingTime_total : 1483.966262
1195.18/192.35	c (187,0) c SolvingTime_winner : 185.263521
1195.18/192.35	c (187,0) c PropagationTime_0 : 153.629215
1195.18/192.35	c (187,0) c PropagationTime_1 : 104.483100
1195.18/192.35	c (187,0) c PropagationTime_2 : 129.641182
1195.18/192.35	c (187,0) c PropagationTime_3 : 160.591032
1195.18/192.35	c (187,0) c PropagationTime_4 : 145.480400
1195.18/192.35	c (187,0) c PropagationTime_5 : 119.185515
1195.18/192.35	c (187,0) c PropagationTime_6 : 160.933088
1195.18/192.35	c (187,0) c PropagationTime_7 : 167.221756
1195.18/192.35	c (187,0) c PropagationTime_total : 1141.165286
1195.18/192.35	c (187,0) c PropagationTime_winner : 153.629215
1195.18/192.35	c (187,0) c AnalysisTime_0 : 27.800820
1195.18/192.35	c (187,0) c AnalysisTime_1 : 78.620630
1195.18/192.35	c (187,0) c AnalysisTime_2 : 51.747618
1195.18/192.35	c (187,0) c AnalysisTime_3 : 21.161026
1195.18/192.35	c (187,0) c AnalysisTime_4 : 35.717475
1195.18/192.35	c (187,0) c AnalysisTime_5 : 62.256804
1195.18/192.35	c (187,0) c AnalysisTime_6 : 20.912436
1195.18/192.35	c (187,0) c AnalysisTime_7 : 14.423891
1195.18/192.35	c (187,0) c AnalysisTime_total : 312.640700
1195.18/192.35	c (187,0) c AnalysisTime_winner : 27.800820
1195.18/192.35	c (187,0) c ReductionTime_0 : 1.357193
1195.18/192.35	c (187,0) c ReductionTime_1 : 1.353194
1195.18/192.35	c (187,0) c ReductionTime_2 : 1.491548
1195.18/192.35	c (187,0) c ReductionTime_3 : 1.283646
1195.18/192.35	c (187,0) c ReductionTime_4 : 1.653535
1195.18/192.35	c (187,0) c ReductionTime_5 : 1.457919
1195.18/192.35	c (187,0) c ReductionTime_6 : 1.253696
1195.18/192.35	c (187,0) c ReductionTime_7 : 1.389105
1195.18/192.35	c (187,0) c ReductionTime_total : 11.239837
1195.18/192.35	c (187,0) c ReductionTime_winner : 1.357193
1195.18/192.35	c (187,0) c SimplifyTime_0 : 0.203565
1195.18/192.35	c (187,0) c SimplifyTime_1 : 0.041595
1195.18/192.35	c (187,0) c SimplifyTime_2 : 0.087363
1195.18/192.35	c (187,0) c SimplifyTime_3 : 0.051434
1195.18/192.35	c (187,0) c SimplifyTime_4 : 0.029230
1195.18/192.35	c (187,0) c SimplifyTime_5 : 0.026301
1195.18/192.35	c (187,0) c SimplifyTime_6 : 0.023442
1195.18/192.35	c (187,0) c SimplifyTime_7 : 0.042560
1195.18/192.35	c (187,0) c SimplifyTime_total : 0.505490
1195.18/192.35	c (187,0) c SimplifyTime_winner : 0.203565
1195.18/192.35	c (187,0) c UsedRateTime_0 : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_1 : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_2 : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_3 : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_4 : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_5 : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_6 : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_7 : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_total : 0.000000
1195.18/192.35	c (187,0) c UsedRateTime_winner : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_0 : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_1 : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_2 : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_3 : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_4 : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_5 : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_6 : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_7 : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_total : 0.000000
1195.18/192.35	c (187,0) c OverlapRateTime_winner : 0.000000
1195.18/192.35	c (187,0) c
1195.18/192.35	c (187,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1195.18/192.35	c (187,0) c
1195.18/192.35	c (187,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.35	c (187,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1195.18/192.35	c (187,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.35	c (187,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1195.18/192.35	c (187,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1195.18/192.35	c (187,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1195.18/192.35	c (187,0) c | Initial random_seed   |  961594455 |  687704032 | 1248382966 | 1794091094 | 1988373196 |  777790923 |  725777396 | 1774153959 |
1195.18/192.35	c (187,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1195.18/192.35	c (187,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1195.18/192.35	c (187,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1195.18/192.35	c (187,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1195.18/192.35	c (187,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1195.18/192.35	c (187,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1195.18/192.35	c (187,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1195.18/192.35	c (187,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1195.18/192.35	c (187,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1195.18/192.35	c (187,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1195.18/192.35	c (187,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1195.18/192.35	c (187,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1195.18/192.35	c (187,0) 
1195.18/192.36	c (187,0) s UNSATISFIABLE
1195.18/192.38	c (187,0) SatSolver.solve End
1195.18/192.38	c (187,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1195.18/192.38	c (187,0) Show results Begin
1195.18/192.38	s UNSATISFIABLE
1195.18/192.38	c (187,0) Show results End
1195.18/192.38	c (187,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1195.18/192.38	c (187,0) 187,187,STOP-AFTER(ALL)
1195.18/192.38	c END-Prog: Tue Sep 24 18:36:22 CEST 2019

Verifier Data


Watcher Data 

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

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

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

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

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

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


[startup+0.100118 s]*
/proc/loadavg: 6.41 6.24 6.52 3/211 19878
/proc/meminfo: memFree=28803840/32770624 swapFree=66999256/67108860
[pid=19856] ppid=19853 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19856/stat : 19856 (scop.sh) S 19853 19856 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510537896 115843072 349 33554432000 4194304 5098028 140728490928768 140728490926024 140486340268668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11706368 140728490930980 140728490931308 140728490931308 140728490934221 0
/proc/19856/statm: 28282 349 296 221 0 87 0
[pid=19859] ppid=19856 vsize=27314120 memory=106388 CPUtime=0.1 cores=0-7
/proc/19859/stat : 19859 (java) S 19856 19856 18413 0 -1 1077944320 6101 0 0 0 8 2 0 0 20 0 20 0 510537896 27969658880 26597 33554432000 4194304 4196468 140731586840736 140731586823280 140042465455863 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
/proc/19859/statm: 6828530 26597 2815 1 0 6790935 0
[pid=19859/tid=19860] ppid=19856 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/19859/task/19860/stat : 19860 (java) R 19856 19856 18413 0 -1 4202560 4206 0 0 0 6 2 0 0 20 0 20 0 510537896 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042437288064 140042449499493 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19861] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19861/stat : 19861 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042469698320 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19862] ppid=19856 vsize=27314120 memory=288370765267142272 CPUtime=0 cores=0-7
/proc/19859/task/19862/stat : 19862 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042253093776 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19863] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19863/stat : 19863 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042252041232 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19864] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19864/stat : 19864 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042250988688 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19865] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19865/stat : 19865 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042249935120 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19866] ppid=19856 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19859/task/19866/stat : 19866 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042248882576 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19867] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19867/stat : 19867 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042247830032 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19868] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19868/stat : 19868 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 26597 33554432000 4194304 4196468 140731586840736 140042246777488 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19869] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19869/stat : 19869 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510537900 27969658880 26597 33554432000 4194304 4196468 140731586840736 140041054194160 140042465467010 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19870] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19870/stat : 19870 (java) S 19856 19856 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510537901 27969658880 26597 33554432000 4194304 4196468 140731586840736 140040160142752 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19871] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19871/stat : 19871 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537901 27969658880 26597 33554432000 4194304 4196468 140731586840736 140039891707376 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19872] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19872/stat : 19872 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537903 27969658880 26597 33554432000 4194304 4196468 140731586840736 140039517199056 140042465474459 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19873] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19873/stat : 19873 (java) S 19856 19856 18413 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 510537903 27969658880 26597 33554432000 4194304 4196468 140731586840736 140041053140976 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19874] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19874/stat : 19874 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510537903 27969658880 26597 33554432000 4194304 4196468 140731586840736 140041052088432 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19875] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19875/stat : 19875 (java) S 19856 19856 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 26597 33554432000 4194304 4196468 140731586840736 140041051035888 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19876] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19876/stat : 19876 (java) S 19856 19856 18413 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 26597 33554432000 4194304 4196468 140731586840736 140041049983344 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19877] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19877/stat : 19877 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 26597 33554432000 4194304 4196468 140731586840736 140039019293408 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19878] ppid=19856 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19859/task/19878/stat : 19878 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 27109 33554432000 4194304 4196468 140731586840736 140041048931248 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107784 KiB

[startup+0.216983 s]*
/proc/loadavg: 6.41 6.24 6.52 2/211 19878
/proc/meminfo: memFree=28782972/32770624 swapFree=66999256/67108860
[pid=19856] ppid=19853 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19856/stat : 19856 (scop.sh) S 19853 19856 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510537896 115843072 349 33554432000 4194304 5098028 140728490928768 140728490926024 140486340268668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11706368 140728490930980 140728490931308 140728490931308 140728490934221 0
/proc/19856/statm: 28282 349 296 221 0 87 0
[pid=19859] ppid=19856 vsize=27314120 memory=125420 CPUtime=0.25 cores=0-7
/proc/19859/stat : 19859 (java) S 19856 19856 18413 0 -1 1077944320 11746 0 0 0 20 5 0 0 20 0 20 0 510537896 27969658880 31355 33554432000 4194304 4196468 140731586840736 140731586823280 140042465455863 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
/proc/19859/statm: 6828530 31355 2939 1 0 6790935 0
[pid=19859/tid=19860] ppid=19856 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19859/task/19860/stat : 19860 (java) R 19856 19856 18413 0 -1 4202560 9445 0 0 0 16 4 0 0 20 0 20 0 510537896 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042437262688 140042465477789 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19861] ppid=19856 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/19859/task/19861/stat : 19861 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042469698320 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19862] ppid=19856 vsize=27314120 memory=140389115450127 CPUtime=0 cores=0-7
/proc/19859/task/19862/stat : 19862 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042253093776 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19863] ppid=19856 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19859/task/19863/stat : 19863 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042252041232 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19864] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19864/stat : 19864 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042250988688 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19865] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19865/stat : 19865 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042249935120 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19866] ppid=19856 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19859/task/19866/stat : 19866 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042248882576 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19867] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19867/stat : 19867 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042247830032 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19868] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19868/stat : 19868 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 31355 33554432000 4194304 4196468 140731586840736 140042246777488 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19869] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19869/stat : 19869 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510537900 27969658880 31355 33554432000 4194304 4196468 140731586840736 140041054194160 140042465467010 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19870] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19870/stat : 19870 (java) S 19856 19856 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510537901 27969658880 31355 33554432000 4194304 4196468 140731586840736 140040160142752 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19871] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19871/stat : 19871 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537901 27969658880 31355 33554432000 4194304 4196468 140731586840736 140039891707376 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19872] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19872/stat : 19872 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537903 27969658880 31355 33554432000 4194304 4196468 140731586840736 140039517199056 140042465474459 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19873] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19873/stat : 19873 (java) S 19856 19856 18413 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 510537903 27969658880 31355 33554432000 4194304 4196468 140731586840736 140041053140976 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19874] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19874/stat : 19874 (java) R 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510537903 27969658880 31355 33554432000 4194304 4196468 140731586840736 140041052088432 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19875] ppid=19856 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19859/task/19875/stat : 19875 (java) S 19856 19856 18413 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 31355 33554432000 4194304 4196468 140731586840736 140041051035888 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19876] ppid=19856 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/19859/task/19876/stat : 19876 (java) S 19856 19856 18413 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 20 0 510537904 27969658880 31355 33554432000 4194304 4196468 140731586840736 140041049983344 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19877] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19877/stat : 19877 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 31355 33554432000 4194304 4196468 140731586840736 140039019293408 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19878] ppid=19856 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19859/task/19878/stat : 19878 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 31355 33554432000 4194304 4196468 140731586840736 140041048931248 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126816 KiB

[startup+0.310388 s]*
/proc/loadavg: 6.41 6.24 6.52 2/211 19878
/proc/meminfo: memFree=28779272/32770624 swapFree=66999256/67108860
[pid=19856] ppid=19853 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19856/stat : 19856 (scop.sh) S 19853 19856 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510537896 115843072 349 33554432000 4194304 5098028 140728490928768 140728490926024 140486340268668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11706368 140728490930980 140728490931308 140728490931308 140728490934221 0
/proc/19856/statm: 28282 349 296 221 0 87 0
[pid=19859] ppid=19856 vsize=27314120 memory=129724 CPUtime=0.42 cores=0-7
/proc/19859/stat : 19859 (java) S 19856 19856 18413 0 -1 1077944320 12282 0 0 0 37 5 0 0 20 0 20 0 510537896 27969658880 32431 33554432000 4194304 4196468 140731586840736 140731586823280 140042465455863 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
/proc/19859/statm: 6828530 32431 3051 1 0 6790935 0
[pid=19859/tid=19860] ppid=19856 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/19859/task/19860/stat : 19860 (java) R 19856 19856 18413 0 -1 4202560 9776 0 0 0 25 4 0 0 20 0 20 0 510537896 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042437268208 140042449536350 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19861] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19861/stat : 19861 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042469698320 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19862] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19862/stat : 19862 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042253093776 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19863] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19863/stat : 19863 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042252041232 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19864] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19864/stat : 19864 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042250988688 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19865] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19865/stat : 19865 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042249935120 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19866] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19866/stat : 19866 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042248882576 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19867] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19867/stat : 19867 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042247830032 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19868] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19868/stat : 19868 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510537899 27969658880 32431 33554432000 4194304 4196468 140731586840736 140042246777488 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19869] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19869/stat : 19869 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510537900 27969658880 32431 33554432000 4194304 4196468 140731586840736 140041054194160 140042465467010 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19870] ppid=19856 vsize=27314120 memory=280777984253312 CPUtime=0 cores=0-7
/proc/19859/task/19870/stat : 19870 (java) S 19856 19856 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510537901 27969658880 32431 33554432000 4194304 4196468 140731586840736 140040160142752 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19871] ppid=19856 vsize=27314120 memory=280777984257920 CPUtime=0 cores=0-7
/proc/19859/task/19871/stat : 19871 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537901 27969658880 32431 33554432000 4194304 4196468 140731586840736 140039891707376 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19872] ppid=19856 vsize=27314120 memory=280777984262528 CPUtime=0 cores=0-7
/proc/19859/task/19872/stat : 19872 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537903 27969658880 32431 33554432000 4194304 4196468 140731586840736 140039517199056 140042465474459 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19873] ppid=19856 vsize=27314120 memory=280777984267136 CPUtime=0.01 cores=0-7
/proc/19859/task/19873/stat : 19873 (java) S 19856 19856 18413 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 510537903 27969658880 32431 33554432000 4194304 4196468 140731586840736 140041053140976 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19874] ppid=19856 vsize=27314120 memory=280777984271744 CPUtime=0 cores=0-7
/proc/19859/task/19874/stat : 19874 (java) R 19856 19856 18413 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 20 0 510537903 27969658880 32431 33554432000 4194304 4196468 140731586840736 140041052088432 140042443090512 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19875] ppid=19856 vsize=27314120 memory=280777984276352 CPUtime=0.02 cores=0-7
/proc/19859/task/19875/stat : 19875 (java) S 19856 19856 18413 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 20 0 510537904 27969658880 32431 33554432000 4194304 4196468 140731586840736 140041051035888 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19876] ppid=19856 vsize=27314120 memory=280777984280960 CPUtime=0.07 cores=0-7
/proc/19859/task/19876/stat : 19876 (java) S 19856 19856 18413 0 -1 1077944384 538 0 0 0 7 0 0 0 20 0 20 0 510537904 27969658880 32431 33554432000 4194304 4196468 140731586840736 140041049983344 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19877] ppid=19856 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19877/stat : 19877 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 32431 33554432000 4194304 4196468 140731586840736 140039019293408 140042465466069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19878] ppid=19856 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19859/task/19878/stat : 19878 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537904 27969658880 32431 33554432000 4194304 4196468 140731586840736 140041048931248 140042465467010 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131120 KiB

[startup+0.701983 s]
/proc/loadavg: 6.41 6.24 6.52 2/211 19878
/proc/meminfo: memFree=28757444/32770624 swapFree=66999256/67108860
[pid=19856] ppid=19853 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19856/stat : 19856 (scop.sh) S 19853 19856 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510537896 115843072 349 33554432000 4194304 5098028 140728490928768 140728490926024 140486340268668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11706368 140728490930980 140728490931308 140728490931308 140728490934221 0
/proc/19856/statm: 28282 349 296 221 0 87 0
[pid=19859] ppid=19856 vsize=27320392 memory=165452 CPUtime=1 cores=0-7
/proc/19859/stat : 19859 (java) S 19856 19856 18413 0 -1 1077944320 19996 0 0 0 92 8 0 0 20 0 20 0 510537896 27976081408 41363 33554432000 4194304 4196468 140731586840736 140731586823280 140042465455863 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
/proc/19859/statm: 6830098 41363 3183 1 0 6791447 0
[pid=19859/tid=19860] ppid=19856 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/19859/task/19860/stat : 19860 (java) R 19856 19856 18413 0 -1 4202560 16835 0 0 0 60 7 0 0 20 0 20 0 510537896 27976081408 41363 33554432000 4194304 4196468 140731586840736 140042437293240 140041922120416 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19861] ppid=19856 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19861/stat : 19861 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27976081408 41363 33554432000 4194304 4196468 140731586840736 140042469698320 140042465466069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19862] ppid=19856 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19859/task/19862/stat : 19862 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27976081408 41363 33554432000 4194304 4196468 140731586840736 140042253093776 140042465466069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0
[pid=19859/tid=19863] ppid=19856 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/19859/task/19863/stat : 19863 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510537899 27976081408 41363 33554432000 4194304 4196468 140731586840736 140042252041232 140042465466069 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14401536 140731586843370 140731586843798 140731586843798 140731586846671 0

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

[pid=19879/tid=19889] ppid=19856 vsize=8414124 memory=54 CPUtime=0 cores=0-7
/proc/19879/task/19889/stat : 19889 (java) S 19856 19856 18413 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510538366 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989498599408 139990069578370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19890] ppid=19856 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19890/stat : 19890 (java) S 19856 19856 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510538366 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988620534688 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19891] ppid=19856 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19891/stat : 19891 (java) S 19856 19856 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510538367 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988486312944 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19892] ppid=19856 vsize=8414124 memory=143 CPUtime=0 cores=0-7
/proc/19879/task/19892/stat : 19892 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988111800528 139990069585819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19893] ppid=19856 vsize=8414124 memory=2 CPUtime=0.07 cores=0-7
/proc/19879/task/19893/stat : 19893 (java) S 19856 19856 18413 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989497547248 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19894] ppid=19856 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/19879/task/19894/stat : 19894 (java) S 19856 19856 18413 0 -1 1077944384 404 0 0 0 6 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989496494704 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19895] ppid=19856 vsize=8414124 memory=280777986141360 CPUtime=0.07 cores=0-7
/proc/19879/task/19895/stat : 19895 (java) S 19856 19856 18413 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989495442160 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19896] ppid=19856 vsize=8414124 memory=1476 CPUtime=0.21 cores=0-7
/proc/19879/task/19896/stat : 19896 (java) S 19856 19856 18413 0 -1 1077944384 653 0 0 0 21 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989494389616 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19897] ppid=19856 vsize=8414124 memory=118784 CPUtime=0 cores=0-7
/proc/19879/task/19897/stat : 19897 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139987613903072 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19898] ppid=19856 vsize=8414124 memory=591804 CPUtime=0.12 cores=0-7
/proc/19879/task/19898/stat : 19898 (java) S 19856 19856 18413 0 -1 1077944384 15 0 0 0 6 6 0 0 20 0 24 0 510538370 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989425842608 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19900] ppid=19856 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/19879/task/19900/stat : 19900 (java) S 19856 19856 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989493335232 139990069591833 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19902] ppid=19856 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/19879/task/19902/stat : 19902 (java) S 19856 19856 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139987211239184 139990069589149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19903] ppid=19856 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19879/task/19903/stat : 19903 (java) S 19856 19856 18413 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139986942803856 139990069589149 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19912] ppid=19856 vsize=8414124 memory=118784 CPUtime=0 cores=0-7
/proc/19879/task/19912/stat : 19912 (java) S 19856 19856 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510538440 8616062976 29696 33554432000 4194304 4196468 140727309116720 139986674376368 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
Current children cumulated CPU time: 1194.89 s
Current children cumulated vsize: 9397304 KiB
Current children cumulated memory: 766496 KiB

[startup+192.201 s]
/proc/loadavg: 5.31 5.92 6.35 2/217 19923
/proc/meminfo: memFree=28147016/32770624 swapFree=66999256/67108860
[pid=19856] ppid=19853 vsize=113128 memory=1476 CPUtime=12.03 cores=0-7
/proc/19856/stat : 19856 (scop.sh) S 19853 19856 18413 0 -1 4202496 583 32326 0 0 0 0 1174 29 20 0 1 0 510537896 115843072 369 33554432000 4194304 5098028 140728490928768 140728490925512 140486340268668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11706368 140728490930980 140728490931308 140728490931308 140728490934221 0
/proc/19856/statm: 28282 369 311 221 0 87 0
[pid=19879] ppid=19856 vsize=8414124 memory=118784 CPUtime=1.36 cores=0-7
/proc/19879/stat : 19879 (java) S 19856 19856 18413 0 -1 1077944320 20754 0 0 0 129 7 0 0 20 0 24 0 510538363 8616062976 29696 33554432000 4194304 4196468 140727309116720 140727309099264 139990069567223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
/proc/19879/statm: 2103531 29696 3203 1 0 2064875 0
[pid=19899] ppid=19879 vsize=870052 memory=646236 CPUtime=1181.69 cores=0-7
/proc/19899/stat : 19899 (manyglucose-4.1) S 19879 19856 18413 0 -1 1077944320 699370 0 0 0 118031 138 0 0 20 0 2 0 510538437 890933248 161559 33554432000 4194304 4454172 140728732868592 140728732866976 139714559348471 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 26554368 140728732873577 140728732873776 140728732873776 140728732876730 0
/proc/19899/statm: 217513 161559 419 64 0 213181 0
[pid=19899/tid=19905] ppid=19879 vsize=870052 memory=1712 CPUtime=185.8 cores=0-7
/proc/19899/task/19905/stat : 19905 (manyglucose-4.1) R 19879 19856 18413 0 -1 4202560 84368 0 0 0 18564 16 0 0 20 0 2 0 510538440 890933248 161559 33554432000 4194304 4454172 140728732868592 139714535738504 4350054 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26554368 140728732873577 140728732873776 140728732873776 140728732876730 0
[pid=19879/tid=19880] ppid=19856 vsize=8414124 memory=1112 CPUtime=0.78 cores=0-7
/proc/19879/task/19880/stat : 19880 (java) S 19856 19856 18413 0 -1 1077944384 17474 0 0 0 73 5 0 0 20 0 24 0 510538363 8616062976 29696 33554432000 4194304 4196468 140727309116720 139990041407392 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19881] ppid=19856 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/19879/task/19881/stat : 19881 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139990073809168 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19882] ppid=19856 vsize=8414124 memory=6084 CPUtime=0 cores=0-7
/proc/19879/task/19882/stat : 19882 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989554510224 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19883] ppid=19856 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/19879/task/19883/stat : 19883 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989553457680 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19884] ppid=19856 vsize=8414124 memory=3768 CPUtime=0 cores=0-7
/proc/19879/task/19884/stat : 19884 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989552405136 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19885] ppid=19856 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/19879/task/19885/stat : 19885 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989551352592 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19886] ppid=19856 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/19879/task/19886/stat : 19886 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989550300048 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19887] ppid=19856 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/19879/task/19887/stat : 19887 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989549247504 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19888] ppid=19856 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/19879/task/19888/stat : 19888 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989548194960 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19889] ppid=19856 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/19879/task/19889/stat : 19889 (java) S 19856 19856 18413 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510538366 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989498599408 139990069578370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19890] ppid=19856 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/19879/task/19890/stat : 19890 (java) S 19856 19856 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510538366 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988620534688 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19891] ppid=19856 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/19879/task/19891/stat : 19891 (java) S 19856 19856 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510538367 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988486312944 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19892] ppid=19856 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/19879/task/19892/stat : 19892 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988111800528 139990069585819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19893] ppid=19856 vsize=8414124 memory=776 CPUtime=0.07 cores=0-7
/proc/19879/task/19893/stat : 19893 (java) S 19856 19856 18413 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989497547248 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19894] ppid=19856 vsize=8414124 memory=3604 CPUtime=0.06 cores=0-7
/proc/19879/task/19894/stat : 19894 (java) S 19856 19856 18413 0 -1 1077944384 404 0 0 0 6 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989496494704 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19895] ppid=19856 vsize=8414124 memory=2828 CPUtime=0.07 cores=0-7
/proc/19879/task/19895/stat : 19895 (java) S 19856 19856 18413 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989495442160 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19896] ppid=19856 vsize=8414124 memory=676 CPUtime=0.21 cores=0-7
/proc/19879/task/19896/stat : 19896 (java) S 19856 19856 18413 0 -1 1077944384 653 0 0 0 21 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989494389616 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19897] ppid=19856 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/19879/task/19897/stat : 19897 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139987613903072 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19898] ppid=19856 vsize=8414124 memory=1548 CPUtime=0.12 cores=0-7
/proc/19879/task/19898/stat : 19898 (java) S 19856 19856 18413 0 -1 1077944384 15 0 0 0 6 6 0 0 20 0 24 0 510538370 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989425842608 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19900] ppid=19856 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/19879/task/19900/stat : 19900 (java) S 19856 19856 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989493335232 139990069591833 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19902] ppid=19856 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/19879/task/19902/stat : 19902 (java) S 19856 19856 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139987211239184 139990069589149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19903] ppid=19856 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/19879/task/19903/stat : 19903 (java) S 19856 19856 18413 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139986942803856 139990069589149 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19912] ppid=19856 vsize=8414124 memory=-8527111123651293586 CPUtime=0 cores=0-7
/proc/19879/task/19912/stat : 19912 (java) S 19856 19856 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510538440 8616062976 29696 33554432000 4194304 4196468 140727309116720 139986674376368 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
Current children cumulated CPU time: 1195.08 s
Current children cumulated vsize: 9397304 KiB
Current children cumulated memory: 766496 KiB

[startup+192.301 s]
/proc/loadavg: 5.31 5.92 6.35 2/217 19923
/proc/meminfo: memFree=28147016/32770624 swapFree=66999256/67108860
[pid=19856] ppid=19853 vsize=113128 memory=1476 CPUtime=12.03 cores=0-7
/proc/19856/stat : 19856 (scop.sh) S 19853 19856 18413 0 -1 4202496 583 32326 0 0 0 0 1174 29 20 0 1 0 510537896 115843072 369 33554432000 4194304 5098028 140728490928768 140728490925512 140486340268668 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11706368 140728490930980 140728490931308 140728490931308 140728490934221 0
/proc/19856/statm: 28282 369 311 221 0 87 0
[pid=19879] ppid=19856 vsize=8414124 memory=118784 CPUtime=1.36 cores=0-7
/proc/19879/stat : 19879 (java) S 19856 19856 18413 0 -1 1077944320 20754 0 0 0 129 7 0 0 20 0 24 0 510538363 8616062976 29696 33554432000 4194304 4196468 140727309116720 140727309099264 139990069567223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
/proc/19879/statm: 2103531 29696 3203 1 0 2064875 0
[pid=19899] ppid=19879 vsize=870052 memory=646236 CPUtime=1181.79 cores=0-7
/proc/19899/stat : 19899 (manyglucose-4.1) S 19879 19856 18413 0 -1 1077944320 699373 0 0 0 118041 138 0 0 20 0 2 0 510538437 890933248 161559 33554432000 4194304 4454172 140728732868592 140728732866976 139714559348471 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 26554368 140728732873577 140728732873776 140728732873776 140728732876730 0
/proc/19899/statm: 217513 161559 419 64 0 213181 0
[pid=19899/tid=19905] ppid=19879 vsize=870052 memory=0 CPUtime=185.9 cores=0-7
/proc/19899/task/19905/stat : 19905 (manyglucose-4.1) R 19879 19856 18413 0 -1 4202560 84371 0 0 0 18574 16 0 0 20 0 2 0 510538440 890933248 161559 33554432000 4194304 4454172 140728732868592 139714535738504 4351184 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26554368 140728732873577 140728732873776 140728732873776 140728732876730 0
[pid=19879/tid=19880] ppid=19856 vsize=8414124 memory=-8458152057954233740 CPUtime=0.78 cores=0-7
/proc/19879/task/19880/stat : 19880 (java) S 19856 19856 18413 0 -1 1077944384 17474 0 0 0 73 5 0 0 20 0 24 0 510538363 8616062976 29696 33554432000 4194304 4196468 140727309116720 139990041407392 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19881] ppid=19856 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19879/task/19881/stat : 19881 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139990073809168 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19882] ppid=19856 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19879/task/19882/stat : 19882 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989554510224 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19883] ppid=19856 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19879/task/19883/stat : 19883 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989553457680 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19884] ppid=19856 vsize=8414124 memory=118784 CPUtime=0 cores=0-7
/proc/19879/task/19884/stat : 19884 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989552405136 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19885] ppid=19856 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19879/task/19885/stat : 19885 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989551352592 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19886] ppid=19856 vsize=8414124 memory=118784 CPUtime=0 cores=0-7
/proc/19879/task/19886/stat : 19886 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989550300048 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19887] ppid=19856 vsize=8414124 memory=280777985408192 CPUtime=0 cores=0-7
/proc/19879/task/19887/stat : 19887 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989549247504 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19888] ppid=19856 vsize=8414124 memory=7594598815162848080 CPUtime=0 cores=0-7
/proc/19879/task/19888/stat : 19888 (java) S 19856 19856 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510538364 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989548194960 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19889] ppid=19856 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/19879/task/19889/stat : 19889 (java) S 19856 19856 18413 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510538366 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989498599408 139990069578370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19890] ppid=19856 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/19879/task/19890/stat : 19890 (java) S 19856 19856 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510538366 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988620534688 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19891] ppid=19856 vsize=8414124 memory=280777986288256 CPUtime=0 cores=0-7
/proc/19879/task/19891/stat : 19891 (java) S 19856 19856 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510538367 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988486312944 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19892] ppid=19856 vsize=8414124 memory=7594598815162848080 CPUtime=0 cores=0-7
/proc/19879/task/19892/stat : 19892 (java) S 19856 19856 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139988111800528 139990069585819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19893] ppid=19856 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/19879/task/19893/stat : 19893 (java) S 19856 19856 18413 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989497547248 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19894] ppid=19856 vsize=8414124 memory=118784 CPUtime=0.06 cores=0-7
/proc/19879/task/19894/stat : 19894 (java) S 19856 19856 18413 0 -1 1077944384 404 0 0 0 6 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989496494704 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19895] ppid=19856 vsize=8414124 memory=796 CPUtime=0.07 cores=0-7
/proc/19879/task/19895/stat : 19895 (java) S 19856 19856 18413 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989495442160 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19896] ppid=19856 vsize=8414124 memory=1980 CPUtime=0.21 cores=0-7
/proc/19879/task/19896/stat : 19896 (java) S 19856 19856 18413 0 -1 1077944384 653 0 0 0 21 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989494389616 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19897] ppid=19856 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/19879/task/19897/stat : 19897 (java) S 19856 19856 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510538369 8616062976 29696 33554432000 4194304 4196468 140727309116720 139987613903072 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19898] ppid=19856 vsize=8414124 memory=1436 CPUtime=0.12 cores=0-7
/proc/19879/task/19898/stat : 19898 (java) S 19856 19856 18413 0 -1 1077944384 15 0 0 0 6 6 0 0 20 0 24 0 510538370 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989425842608 139990069578370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19900] ppid=19856 vsize=8414124 memory=614644 CPUtime=0 cores=0-7
/proc/19879/task/19900/stat : 19900 (java) S 19856 19856 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139989493335232 139990069591833 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19902] ppid=19856 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19879/task/19902/stat : 19902 (java) S 19856 19856 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139987211239184 139990069589149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19903] ppid=19856 vsize=8414124 memory=118784 CPUtime=0 cores=0-7
/proc/19879/task/19903/stat : 19903 (java) S 19856 19856 18413 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 510538438 8616062976 29696 33554432000 4194304 4196468 140727309116720 139986942803856 139990069589149 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
[pid=19879/tid=19912] ppid=19856 vsize=8414124 memory=591804 CPUtime=0 cores=0-7
/proc/19879/task/19912/stat : 19912 (java) S 19856 19856 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510538440 8616062976 29696 33554432000 4194304 4196468 140727309116720 139986674376368 139990069577429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31928320 140727309120503 140727309120662 140727309120662 140727309123535 0
Current children cumulated CPU time: 1195.18 s
Current children cumulated vsize: 9397304 KiB
Current children cumulated memory: 766496 KiB

Child status: 0
Real time (s): 192.394
CPU time (s): 1195.35
CPU user time (s): 1193.54
CPU system time (s): 1.80588
CPU usage (%): 621.304
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1059388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.54
system time used= 1.80588
maximum resident set size= 1063076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 754861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22619
involuntary context switches= 9559


# summary of solver processes directly reported to runsolver:
#   pid: 19856
#   total CPU time (s): 1195.35
#   total CPU user time (s): 1193.54
#   total CPU system time (s): 1.80588

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.79451 second user time and 2.74489 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 18:33:09
IDJOB=4405627
IDBENCH=134574
IDSOLVER=2868
FILE ID=node103/4405627-1569342848
RUNJOBID= node103-1569335920-18440
PBS_JOBID= 21705072
Free space on /tmp= 20860 MiB

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

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

MD5SUM BENCH= f5121aa225c6127ab5abec7ec5104cc1
RANDOM SEED=1193125568

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28898292 kB
MemAvailable:   31850444 kB
Buffers:           49784 kB
Cached:          3179136 kB
SwapCached:         7000 kB
Active:          3133560 kB
Inactive:         110424 kB
Active(anon):       3280 kB
Inactive(anon):    69352 kB
Active(file):    3130280 kB
Inactive(file):    41072 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             20556 kB
Writeback:             0 kB
AnonPages:        116092 kB
Mapped:            57524 kB
Shmem:             49080 kB
Slab:             221844 kB
SReclaimable:     193268 kB
SUnreclaim:        28576 kB
KernelStack:        3424 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

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