Trace number 4392448

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15962-serial-file.bin HOME/instance-4392448-1568436370.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 06:45:33 CEST 2019
0.66/0.56	c PID: 15965
0.66/0.56	c IP: 172.20.3.149
0.66/0.56	c HOST: node149.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.07/1.12	c (0,0) Parsing End
2.07/1.12	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.07/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.12	c (0,0) Constraint Name Generate Begin
2.07/1.14	c (0,0) Ctr:HOME/instance-4392448-1568436370.xml,ExtensionConflict:ExtensionSupport:Var
2.07/1.14	c (0,0) Constraint Name Generate End
2.07/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.14	c (0,0) CSP to CSPinCNF Begin
3.18/1.63	c (1,1) translated 127 (10%) constraints
3.58/1.74	c (1,1) translated 253 (20%) constraints
3.99/1.81	c (1,1) translated 379 (30%) constraints
3.99/1.88	c (1,1) translated 505 (40%) constraints
4.42/1.94	c (1,1) translated 631 (50%) constraints
4.42/1.99	c (1,1) translated 757 (60%) constraints
5.24/2.13	c (1,1) translated 883 (70%) constraints
5.88/2.37	c (1,1) translated 1009 (80%) constraints
6.13/2.59	c (2,2) translated 1135 (90%) constraints
6.99/2.90	c (2,2) translated 1261 (100%) constraints
6.99/2.91	c (2,2) ===========================================
6.99/2.91	c (2,2) Order
6.99/2.91	c (2,2) ===========================================
6.99/2.97	c (2,2) translated 1883 (10%) constraints
7.44/3.02	c (2,2) translated 3765 (20%) constraints
7.44/3.07	c (2,2) translated 5647 (30%) constraints
7.85/3.13	c (2,2) translated 7529 (40%) constraints
7.85/3.18	c (2,2) translated 9411 (50%) constraints
8.21/3.22	c (2,2) translated 11294 (60%) constraints
8.21/3.27	c (2,2) translated 13176 (70%) constraints
8.61/3.31	c (2,2) translated 15058 (80%) constraints
8.61/3.35	c (2,2) translated 16940 (90%) constraints
8.61/3.38	c (2,2) translated 18822 (100%) constraints
8.61/3.38	c (2,2) CSP to CSPinCNF End
8.61/3.38	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.61/3.38	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.61/3.38	c (2,2) CSPinCNF Propagation Begin
10.03/3.74	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.03/3.74	c (3,3) CSPinCNF Propagation End
10.03/3.74	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.03/3.74	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.03/3.74	c (3,3) Simplify CSPinCNF Begin
10.03/3.79	c (3,3) Simplify CSPinCNF End
10.03/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.03/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.03/3.79	c (3,3) Calculate Precise Domain Begin
10.03/3.79	c (3,3) 0 values are removed by re-calculation
10.03/3.79	c (3,3) Calculate Precise Domain End
10.03/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.03/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.03/3.79	c (3,3) CSPinCNF to SatSolver Begin
10.72/4.31	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.72/4.36	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.12/4.41	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.12/4.46	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.12/4.49	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.53/4.52	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.53/4.54	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.53/4.55	c (4,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.53/4.56	c (4,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.53/4.58	c (4,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.53/4.58	c (4,3) CSPinCNF to SatSolver End
11.53/4.58	c (4,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.53/4.58	c (4,3) 2482 bool, 15697 clause
11.53/4.58	c (4,3) Export Begin
11.76/4.68	c (4,3) Export to HOME/scop-15962-serial-file.bin
11.76/4.68	c (4,3) Export End
11.76/4.68	c (4,3) Export File Size: 0.02 MB
11.76/4.68	c (4,3) 0,0,2,3,3,3,4,STOP-AFTER(DIMACS)
11.76/4.68	c END-Prog: Sat Sep 14 06:45:37 CEST 2019
0.00/4.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15962-serial-file.bin
12.46/5.16	c (0,0) Read Serial File Begin
12.46/5.16	c (0,0) HOME/scop-15962-serial-file.bin
12.72/5.38	c (0,0) Read Serial File End
12.72/5.39	
12.72/5.39	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.72/5.39	(Solving Process)
12.72/5.39	
12.90/5.42	c BEGIN-Prog: Sat Sep 14 06:45:38 CEST 2019
12.90/5.42	c PID: 15987
12.90/5.42	c IP: 172.20.3.149
12.90/5.42	c HOST: node149.alineos.net
12.90/5.42	c (0,0) SatSolver.solve Begin
12.90/5.42	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392448-1568436370.xml-scop-15965.cnf
12.90/5.45	c (0,0) c
12.90/5.45	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
12.90/5.45	c (0,0) c
12.90/5.45	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.90/5.45	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.90/5.45	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.90/5.45	c (0,0) c |                                                                                                       |
12.90/5.45	c (0,0) c |  Number of variables:          2480                                                                   |
12.90/5.45	c (0,0) c |  Number of clauses:           15697                                                                   |
12.90/5.45	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.90/5.45	c (0,0) c |                                                                                                       |
12.90/5.45	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.90/5.46	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.90/5.46	c (0,0) c |                                                                                                       |
12.90/5.46	c (0,0) c |  Generating clones                                                                                    |
12.90/5.46	c (0,0) c |  all clones generated. Memory =    32.07Mb.                                                           |
12.90/5.46	c (0,0) c ========================================================================================================|
12.90/5.46	c (0,0) c
12.90/5.47	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.90/5.47	c (0,0) c
12.90/5.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.90/5.47	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.90/5.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.90/5.47	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.90/5.47	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.90/5.47	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.90/5.47	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.90/5.47	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.90/5.47	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.90/5.47	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.90/5.47	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.90/5.47	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.90/5.47	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.90/5.47	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.90/5.47	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.90/5.47	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.90/5.47	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.90/5.47	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.90/5.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
219.13/35.20	c (30,0) c
219.13/35.20	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
219.13/35.20	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
219.13/35.20	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
219.13/35.20	c (30,0) c |  0 |    228 |     511916 |     277931 |     8944 |    46545 |    44351 |   268720 |    11563 |      286 |  20 |  0.847 |
219.13/35.20	c (30,0) c |  1 |    409 |     537979 |     291032 |     9352 |    59650 |    44281 |   289884 |    15719 |      301 |  20 |  0.847 |
219.13/35.20	c (30,0) c |  2 |    356 |     524916 |     281785 |     8836 |    50397 |    41134 |   290894 |     9563 |      301 |  20 |  0.847 |
219.13/35.20	c (30,0) c |  3 |    357 |     541218 |     293914 |     9223 |    62535 |    45307 |   288709 |    14620 |      301 |  20 |  0.847 |
219.13/35.20	c (30,0) c |  4 |    384 |     537796 |     291107 |     9317 |    59715 |    41133 |   283748 |    10485 |      301 |  20 |  0.847 |
219.13/35.20	c (30,0) c |  5 |    286 |     508563 |     264320 |     8910 |    66141 |    38934 |   275917 |     9568 |      281 |  20 |  0.847 |
219.13/35.20	c (30,0) c |  6 |    390 |     550567 |     293532 |     9426 |    62144 |    43510 |   259534 |    13207 |      301 |  20 |  0.847 |
219.13/35.20	c (30,0) c |  7 |    323 |     519636 |     285388 |     9254 |    54002 |    44519 |   276803 |    10799 |      301 |  20 |  0.847 |
219.13/35.20	c (30,0) c 
219.13/35.20	c (30,0) c synthesis     2279011 conflicts   172144127 propagations    11086 conflicts/sec   837405 propagations/sec
219.13/35.20	c (30,0) c real: 29.7582 s, cpu: 205.569 s, memory: 628.88 Mb
404.41/64.20	c (59,0) c
404.41/64.20	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
404.41/64.20	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
404.41/64.20	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
404.41/64.20	c (59,0) c |  0 |    284 |     809577 |     430777 |     9208 |    84183 |    59629 |   387384 |    20514 |      536 |  20 |  0.847 |
404.41/64.20	c (59,0) c |  1 |    506 |     809001 |     430040 |     9410 |    83463 |    55645 |   398225 |    26227 |      550 |  20 |  0.847 |
404.41/64.20	c (59,0) c |  2 |    427 |     804208 |     428029 |     9253 |    81441 |    56185 |   398225 |    19562 |      550 |  20 |  0.848 |
404.41/64.20	c (59,0) c |  3 |    518 |     852250 |     455949 |     9344 |    65757 |    60668 |   388173 |    23585 |      550 |  20 |  0.847 |
404.41/64.20	c (59,0) c |  4 |    479 |     825519 |     441615 |     9469 |    51436 |    54629 |   399582 |    21073 |      550 |  20 |  0.847 |
404.41/64.20	c (59,0) c |  5 |    409 |     804444 |     411946 |     8993 |    65359 |    54674 |   375849 |    15146 |      530 |  20 |  0.847 |
404.41/64.20	c (59,0) c |  6 |    482 |     869171 |     459250 |     9520 |    69065 |    59770 |   394758 |    24079 |      550 |  20 |  0.848 |
404.41/64.20	c (59,0) c |  7 |    411 |     814354 |     440515 |     9431 |    50324 |    59097 |   395069 |    22122 |      548 |  20 |  0.848 |
404.41/64.20	c (59,0) c 
404.41/64.20	c (59,0) c synthesis     3498121 conflicts   262636337 propagations     8958 conflicts/sec   672570 propagations/sec
404.41/64.20	c (59,0) c real: 58.758 s, cpu: 390.497 s, memory: 636.87 Mb
591.23/93.20	c (88,0) c
591.23/93.20	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
591.23/93.20	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
591.23/93.20	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
591.23/93.20	c (88,0) c |  0 |    375 |    1064760 |     563046 |     9285 |    77861 |    72480 |   470925 |    29941 |      766 |  20 |  0.847 |
591.23/93.20	c (88,0) c |  1 |    542 |    1051565 |     554834 |     9443 |    69653 |    68072 |   472728 |    33839 |      786 |  20 |  0.848 |
591.23/93.20	c (88,0) c |  2 |    551 |    1062389 |     557789 |     9378 |    72606 |    69111 |   480854 |    31104 |      785 |  20 |  0.847 |
591.23/93.20	c (88,0) c |  3 |    578 |    1096500 |     579673 |     9352 |    94477 |    71323 |   478052 |    31553 |      785 |  20 |  0.847 |
591.23/93.20	c (88,0) c |  4 |    570 |    1084036 |     571823 |     9502 |    86633 |    67502 |   475198 |    29970 |      786 |  20 |  0.847 |
591.23/93.20	c (88,0) c |  5 |    446 |    1069807 |     543487 |     9273 |    58296 |    69094 |   476713 |    25099 |      786 |  20 |  0.847 |
591.23/93.20	c (88,0) c |  6 |    548 |    1115080 |     585289 |     9532 |   100100 |    71078 |   476670 |    32812 |      786 |  20 |  0.847 |
591.23/93.20	c (88,0) c |  7 |    525 |    1065206 |     568768 |     9468 |    83581 |    69964 |   475018 |    30545 |      785 |  20 |  0.847 |
591.23/93.20	c (88,0) c 
591.23/93.20	c (88,0) c synthesis     4524710 conflicts   338976714 propagations     7844 conflicts/sec   587636 propagations/sec
591.23/93.20	c (88,0) c real: 87.758 s, cpu: 576.848 s, memory: 756.49 Mb
789.84/122.20	c (117,0) c
789.84/122.20	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
789.84/122.20	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
789.84/122.20	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
789.84/122.20	c (117,0) c |  0 |    460 |    1305229 |     684677 |     9311 |    94087 |    85063 |   551050 |    38621 |     1014 |  20 |  0.847 |
789.84/122.20	c (117,0) c |  1 |    594 |    1281596 |     671321 |     9457 |    80742 |    77692 |   566737 |    42328 |     1030 |  20 |  0.847 |
789.84/122.20	c (117,0) c |  2 |    636 |    1305305 |     676409 |     9396 |    85828 |    80587 |   563254 |    38924 |     1029 |  20 |  0.847 |
789.84/122.20	c (117,0) c |  3 |    635 |    1333748 |     697616 |     9371 |   107029 |    82043 |   564253 |    40006 |     1033 |  20 |  0.847 |
789.84/122.20	c (117,0) c |  4 |    635 |    1313248 |     687561 |     9514 |    96971 |    77189 |   561247 |    38541 |     1033 |  20 |  0.848 |
789.84/122.20	c (117,0) c |  5 |    545 |    1301291 |     658824 |     9350 |    68233 |    79768 |   559952 |    35473 |     1027 |  20 |  0.847 |
789.84/122.20	c (117,0) c |  6 |    584 |    1347256 |     701740 |     9536 |   111153 |    82944 |   562715 |    40329 |     1033 |  20 |  0.847 |
789.84/122.20	c (117,0) c |  7 |    590 |    1300764 |     686744 |     9490 |    96150 |    84493 |   558983 |    39459 |     1028 |  20 |  0.847 |
789.84/122.20	c (117,0) c 
789.84/122.20	c (117,0) c synthesis     5464892 conflicts   409929343 propagations     7050 conflicts/sec   528831 propagations/sec
789.84/122.20	c (117,0) c real: 116.758 s, cpu: 775.162 s, memory: 756.49 Mb
985.61/151.20	c (146,0) c
985.61/151.20	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
985.61/151.20	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
985.61/151.20	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
985.61/151.20	c (146,0) c |  0 |    521 |    1497722 |     778679 |     9330 |    72297 |    93054 |   610349 |    45901 |     1243 |  20 |  0.847 |
985.61/151.20	c (146,0) c |  1 |    645 |    1463747 |     764764 |     9468 |   117581 |    86593 |   620390 |    51108 |     1263 |  20 |  0.847 |
985.61/151.20	c (146,0) c |  2 |    688 |    1499869 |     771691 |     9410 |    65296 |    88567 |   620427 |    47892 |     1261 |  20 |  0.848 |
985.61/151.20	c (146,0) c |  3 |    685 |    1530616 |     795627 |     9383 |    89236 |    91058 |   617966 |    47851 |     1262 |  20 |  0.848 |
985.61/151.20	c (146,0) c |  4 |    657 |    1515138 |     785138 |     9521 |    78747 |    83211 |   620107 |    46076 |     1263 |  20 |  0.847 |
985.61/151.20	c (146,0) c |  5 |    595 |    1497834 |     756475 |     9364 |   109289 |    88139 |   620682 |    43396 |     1262 |  20 |  0.847 |
985.61/151.20	c (146,0) c |  6 |    692 |    1546062 |     799971 |     9549 |    93582 |    91204 |   615299 |    48077 |     1263 |  20 |  0.848 |
985.61/151.20	c (146,0) c |  7 |    639 |    1500603 |     786053 |     9502 |    79660 |    91685 |   616806 |    47635 |     1262 |  20 |  0.847 |
985.61/151.20	c (146,0) c 
985.61/151.20	c (146,0) c synthesis     6238399 conflicts   469696138 propagations     6423 conflicts/sec   483574 propagations/sec
985.61/151.20	c (146,0) c real: 145.759 s, cpu: 971.301 s, memory: 786.12 Mb
1111.57/170.73	c (165,0) c
1111.57/170.73	c (165,0) c real time : 165.29 s
1111.57/170.73	c (165,0) c cpu time  : 1096.31 s
1111.57/170.73	c (165,0) c
1111.57/170.73	c (165,0) c
1111.57/170.73	c (165,0) c
1111.57/170.73	c (165,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1111.57/170.73	c (165,0) c
1111.57/170.73	c (165,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.74	c (165,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1111.57/170.74	c (165,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.74	c (165,0) c | Conflicts     |         6640681 |     834464 |     815635 |     820346 |     845511 |     830231 |     809178 |     849468 |     835848 |
1111.57/170.74	c (165,0) c | Decisions     |        12858920 |    1609910 |    1564793 |    1594995 |    1631883 |    1605180 |    1604843 |    1646509 |    1600807 |
1111.57/170.74	c (165,0) c | Propagations  |       501798375 |   62944959 |   61601949 |   62115046 |   63453946 |   62629781 |   61534000 |   63915330 |   63603364 |
1111.57/170.74	c (165,0) c | ReduceDBs     |             197 |         25 |         24 |         24 |         25 |         25 |         24 |         25 |         25 |
1111.57/170.74	c (165,0) c | SimpDBs       |              74 |         11 |          9 |         10 |          9 |          8 |         10 |          9 |          8 |
1111.57/170.74	c (165,0) c | Restarts      |            5243 |        531 |        676 |        704 |        700 |        669 |        610 |        706 |        647 |
1111.57/170.74	c (165,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1111.57/170.74	c (165,0) c | PropBinClauses|      1018478007 |  126117474 |  126870823 |  125898460 |  129126673 |  127739646 |  125738385 |  127239346 |  129747200 |
1111.57/170.74	c (165,0) c | PropPreBlocker|     38557268703 | 4774734112 | 4823670834 | 4808208658 | 4800588740 | 4846270493 | 4798603646 | 4833280347 | 4871911873 |
1111.57/170.74	c (165,0) c | PropNotBlocker|      6182112658 |  793220059 |  778704737 |  767797647 |  774744685 |  764561386 |  763028570 |  773982325 |  766073249 |
1111.57/170.74	c (165,0) c | LitFullScans  |     67285247939 | 8407144032 | 8413435323 | 8407728920 | 8413428558 | 8407953965 | 8413642056 | 8408449139 | 8413465946 |
1111.57/170.74	c (165,0) c | LitScanFracts |        12535396 |    1136774 |    1406090 |    1718487 |    1418535 |    1943506 |    1621816 |    1831514 |    1458674 |
1111.57/170.74	c (165,0) c | DecisionLevel0|            5340 |        543 |        687 |        712 |        717 |        676 |        623 |        724 |        658 |
1111.57/170.74	c (165,0) c | Periods       |           11212 |       1401 |       1402 |       1401 |       1402 |       1401 |       1402 |       1401 |       1402 |
1111.57/170.74	c (165,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1111.57/170.74	c (165,0) c | Avg_Trail     |                 |        626 |        631 |        630 |        632 |        630 |        632 |        630 |        633 |
1111.57/170.74	c (165,0) c | Avg_DL        |                 |         21 |         22 |         21 |         22 |         21 |         21 |         22 |         21 |
1111.57/170.74	c (165,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1111.57/170.74	c (165,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1111.57/170.74	c (165,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.74	c (165,0) c | Exported      |          751034 |      97861 |      92656 |      92497 |      96852 |      87077 |      92683 |      95381 |      96027 |
1111.57/170.74	c (165,0) c | Imported      |         5207003 |     647605 |     651979 |     651265 |     649447 |     656754 |     653233 |     650679 |     646041 |
1111.57/170.74	c (165,0) c | Good          |           12690 |       1667 |       1563 |       1612 |       1643 |       1531 |       1600 |       1514 |       1560 |
1111.57/170.74	c (165,0) c | Purge         |         5194313 |     645938 |     650416 |     649653 |     647804 |     655223 |     651633 |     649165 |     644481 |
1111.57/170.74	c (165,0) c | Promoted      |          414934 |      50713 |      55003 |      52123 |      52591 |      51451 |      48594 |      52541 |      51918 |
1111.57/170.74	c (165,0) c | Remove_Imp    |         4104140 |     518002 |     505315 |     495572 |     512048 |     533138 |     502176 |     515974 |     521915 |
1111.57/170.74	c (165,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1111.57/170.74	c (165,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.74	c (165,0) c | Unaries       |                 |         12 |         11 |          8 |         17 |          7 |         13 |         18 |         11 |
1111.57/170.74	c (165,0) c | Binaries      |                 |        156 |        250 |        201 |        206 |        281 |        234 |        320 |        242 |
1111.57/170.74	c (165,0) c | Glues         |                 |        791 |        976 |        882 |        845 |        956 |        922 |       1087 |        948 |
1111.57/170.74	c (165,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.74	c (165,0) c | Orig_Seen     |            86 % |       9337 |       9475 |       9420 |       9388 |       9525 |       9371 |       9553 |       9510 |
1111.57/170.74	c (165,0) c | Diff Orig seen|                 | -      216 | -       78 | -      133 | -      165 | -       28 | -      182 |      X     | -       43 |
1111.57/170.74	c (165,0) c | Hamming       |            11 % |        304 |        323 |        292 |        241 |        252 |        289 |      X     |        280 |
1111.57/170.74	c (165,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.74	c (165,0) c | RunningTime   |                 |  164.8 100%|  135.6  83%|  151.6  93%|  131.3  80%|  114.5  70%|  159.2  97%|  114.9  70%|  131.3  80%|
1111.57/170.74	c (165,0) c | WaitingTime   |                 |    0.0   0%|   27.8  17%|   11.7   7%|   32.0  20%|   48.7  30%|    4.1   3%|   48.4  30%|   32.0  20%|
1111.57/170.74	c (165,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
1111.57/170.74	c (165,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%|
1111.57/170.74	c (165,0) c | SolvingTime   |                 |  165.2     |  163.7     |  163.7     |  163.7     |  163.6     |  163.7     |  163.6     |  163.7     |
1111.57/170.74	c (165,0) c | PropagationTim|                 |  102.1  62%|  120.6  74%|  112.3  69%|  138.0  84%|  147.0  90%|  102.0  62%|  143.7  88%|  125.2  76%|
1111.57/170.74	c (165,0) c | AnalysisTime  |                 |   59.4  36%|   39.7  24%|   47.8  29%|   21.7  13%|   13.0   8%|   58.1  36%|   16.3  10%|   35.0  21%|
1111.57/170.74	c (165,0) c | ReductionTime |                 |    1.4   1%|    1.3   1%|    1.3   1%|    1.6   1%|    1.4   1%|    1.3   1%|    1.4   1%|    1.3   1%|
1111.57/170.74	c (165,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1111.57/170.74	c (165,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%|
1111.57/170.74	c (165,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%|
1111.57/170.74	c (165,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.74	c (165,0) c
1111.57/170.74	c (165,0) c
1111.57/170.74	c (165,0) c Threads : 8
1111.57/170.74	c (165,0) c Winner : 6
1111.57/170.74	c (165,0) c Conflicts_0 : 834464
1111.57/170.74	c (165,0) c Conflicts_1 : 815635
1111.57/170.74	c (165,0) c Conflicts_2 : 820346
1111.57/170.74	c (165,0) c Conflicts_3 : 845511
1111.57/170.74	c (165,0) c Conflicts_4 : 830231
1111.57/170.74	c (165,0) c Conflicts_5 : 809178
1111.57/170.74	c (165,0) c Conflicts_6 : 849468
1111.57/170.74	c (165,0) c Conflicts_7 : 835848
1111.57/170.74	c (165,0) c Conflicts_total : 6640681
1111.57/170.74	c (165,0) c Conflicts_winner : 849468
1111.57/170.74	c (165,0) c Decisions_0 : 1609910
1111.57/170.74	c (165,0) c Decisions_1 : 1564793
1111.57/170.74	c (165,0) c Decisions_2 : 1594995
1111.57/170.74	c (165,0) c Decisions_3 : 1631883
1111.57/170.74	c (165,0) c Decisions_4 : 1605180
1111.57/170.74	c (165,0) c Decisions_5 : 1604843
1111.57/170.74	c (165,0) c Decisions_6 : 1646509
1111.57/170.74	c (165,0) c Decisions_7 : 1600807
1111.57/170.74	c (165,0) c Decisions_total : 12858920
1111.57/170.74	c (165,0) c Decisions_winner : 1646509
1111.57/170.74	c (165,0) c Propagations_0 : 62944959
1111.57/170.74	c (165,0) c Propagations_1 : 61601949
1111.57/170.74	c (165,0) c Propagations_2 : 62115046
1111.57/170.74	c (165,0) c Propagations_3 : 63453946
1111.57/170.74	c (165,0) c Propagations_4 : 62629781
1111.57/170.74	c (165,0) c Propagations_5 : 61534000
1111.57/170.74	c (165,0) c Propagations_6 : 63915330
1111.57/170.74	c (165,0) c Propagations_7 : 63603364
1111.57/170.74	c (165,0) c Propagations_total : 501798375
1111.57/170.74	c (165,0) c Propagations_winner : 63915330
1111.57/170.74	c (165,0) c ReduceDBs_0 : 25
1111.57/170.74	c (165,0) c ReduceDBs_1 : 24
1111.57/170.74	c (165,0) c ReduceDBs_2 : 24
1111.57/170.74	c (165,0) c ReduceDBs_3 : 25
1111.57/170.74	c (165,0) c ReduceDBs_4 : 25
1111.57/170.74	c (165,0) c ReduceDBs_5 : 24
1111.57/170.74	c (165,0) c ReduceDBs_6 : 25
1111.57/170.74	c (165,0) c ReduceDBs_7 : 25
1111.57/170.74	c (165,0) c ReduceDBs_total : 197
1111.57/170.74	c (165,0) c ReduceDBs_winner : 25
1111.57/170.74	c (165,0) c SimpDBs_0 : 11
1111.57/170.74	c (165,0) c SimpDBs_1 : 9
1111.57/170.74	c (165,0) c SimpDBs_2 : 10
1111.57/170.74	c (165,0) c SimpDBs_3 : 9
1111.57/170.74	c (165,0) c SimpDBs_4 : 8
1111.57/170.74	c (165,0) c SimpDBs_5 : 10
1111.57/170.74	c (165,0) c SimpDBs_6 : 9
1111.57/170.74	c (165,0) c SimpDBs_7 : 8
1111.57/170.74	c (165,0) c SimpDBs_total : 74
1111.57/170.74	c (165,0) c SimpDBs_winner : 9
1111.57/170.74	c (165,0) c Restarts_0 : 531
1111.57/170.74	c (165,0) c Restarts_1 : 676
1111.57/170.74	c (165,0) c Restarts_2 : 704
1111.57/170.74	c (165,0) c Restarts_3 : 700
1111.57/170.74	c (165,0) c Restarts_4 : 669
1111.57/170.74	c (165,0) c Restarts_5 : 610
1111.57/170.74	c (165,0) c Restarts_6 : 706
1111.57/170.74	c (165,0) c Restarts_7 : 647
1111.57/170.74	c (165,0) c Restarts_total : 5243
1111.57/170.74	c (165,0) c Restarts_winner : 706
1111.57/170.74	c (165,0) c ForcedImports_0 : 0
1111.57/170.74	c (165,0) c ForcedImports_1 : 0
1111.57/170.74	c (165,0) c ForcedImports_2 : 0
1111.57/170.74	c (165,0) c ForcedImports_3 : 0
1111.57/170.74	c (165,0) c ForcedImports_4 : 0
1111.57/170.74	c (165,0) c ForcedImports_5 : 0
1111.57/170.74	c (165,0) c ForcedImports_6 : 0
1111.57/170.74	c (165,0) c ForcedImports_7 : 0
1111.57/170.74	c (165,0) c ForcedImports_total : 0
1111.57/170.74	c (165,0) c ForcedImports_winner : 0
1111.57/170.74	c (165,0) c PropsBinClauses_0 : 126117474
1111.57/170.74	c (165,0) c PropsBinClauses_1 : 126870823
1111.57/170.74	c (165,0) c PropsBinClauses_2 : 125898460
1111.57/170.74	c (165,0) c PropsBinClauses_3 : 129126673
1111.57/170.74	c (165,0) c PropsBinClauses_4 : 127739646
1111.57/170.74	c (165,0) c PropsBinClauses_5 : 125738385
1111.57/170.74	c (165,0) c PropsBinClauses_6 : 127239346
1111.57/170.74	c (165,0) c PropsBinClauses_7 : 129747200
1111.57/170.74	c (165,0) c PropsBinClauses_total : 1018478007
1111.57/170.74	c (165,0) c PropsBinClauses_winner : 127239346
1111.57/170.74	c (165,0) c PropsPreBlocker_0 : 4774734112
1111.57/170.74	c (165,0) c PropsPreBlocker_1 : 4823670834
1111.57/170.74	c (165,0) c PropsPreBlocker_2 : 4808208658
1111.57/170.74	c (165,0) c PropsPreBlocker_3 : 4800588740
1111.57/170.74	c (165,0) c PropsPreBlocker_4 : 4846270493
1111.57/170.74	c (165,0) c PropsPreBlocker_5 : 4798603646
1111.57/170.74	c (165,0) c PropsPreBlocker_6 : 4833280347
1111.57/170.74	c (165,0) c PropsPreBlocker_7 : 4871911873
1111.57/170.74	c (165,0) c PropsPreBlocker_total : 38557268703
1111.57/170.74	c (165,0) c PropsPreBlocker_winner : 4833280347
1111.57/170.74	c (165,0) c PropsNotBlocker_0 : 793220059
1111.57/170.74	c (165,0) c PropsNotBlocker_1 : 778704737
1111.57/170.74	c (165,0) c PropsNotBlocker_2 : 767797647
1111.57/170.74	c (165,0) c PropsNotBlocker_3 : 774744685
1111.57/170.74	c (165,0) c PropsNotBlocker_4 : 764561386
1111.57/170.74	c (165,0) c PropsNotBlocker_5 : 763028570
1111.57/170.74	c (165,0) c PropsNotBlocker_6 : 773982325
1111.57/170.74	c (165,0) c PropsNotBlocker_7 : 766073249
1111.57/170.74	c (165,0) c PropsNotBlocker_total : 6182112658
1111.57/170.74	c (165,0) c PropsNotBlocker_winner : 773982325
1111.57/170.74	c (165,0) c PropsLitFullScans_0 : 8407144032
1111.57/170.74	c (165,0) c PropsLitFullScans_1 : 8413435323
1111.57/170.74	c (165,0) c PropsLitFullScans_2 : 8407728920
1111.57/170.74	c (165,0) c PropsLitFullScans_3 : 8413428558
1111.57/170.74	c (165,0) c PropsLitFullScans_4 : 8407953965
1111.57/170.74	c (165,0) c PropsLitFullScans_5 : 8413642056
1111.57/170.74	c (165,0) c PropsLitFullScans_6 : 8408449139
1111.57/170.74	c (165,0) c PropsLitFullScans_7 : 8413465946
1111.57/170.74	c (165,0) c PropsLitFullScans_total : 67285247939
1111.57/170.74	c (165,0) c PropsLitFullScans_winner : 8408449139
1111.57/170.74	c (165,0) c LitScanFractions_0 : 1136774
1111.57/170.74	c (165,0) c LitScanFractions_1 : 1406090
1111.57/170.74	c (165,0) c LitScanFractions_2 : 1718487
1111.57/170.74	c (165,0) c LitScanFractions_3 : 1418535
1111.57/170.74	c (165,0) c LitScanFractions_4 : 1943506
1111.57/170.74	c (165,0) c LitScanFractions_5 : 1621816
1111.57/170.74	c (165,0) c LitScanFractions_6 : 1831514
1111.57/170.74	c (165,0) c LitScanFractions_7 : 1458674
1111.57/170.74	c (165,0) c LitScanFractions_total : 12535396
1111.57/170.74	c (165,0) c LitScanFractions_winner : 1831514
1111.57/170.74	c (165,0) c DecisionLevel0_0 : 543
1111.57/170.74	c (165,0) c DecisionLevel0_1 : 687
1111.57/170.74	c (165,0) c DecisionLevel0_2 : 712
1111.57/170.74	c (165,0) c DecisionLevel0_3 : 717
1111.57/170.74	c (165,0) c DecisionLevel0_4 : 676
1111.57/170.74	c (165,0) c DecisionLevel0_5 : 623
1111.57/170.74	c (165,0) c DecisionLevel0_6 : 724
1111.57/170.74	c (165,0) c DecisionLevel0_7 : 658
1111.57/170.74	c (165,0) c DecisionLevel0_total : 5340
1111.57/170.74	c (165,0) c DecisionLevel0_winner : 724
1111.57/170.74	c (165,0) c Periods_0 : 1401
1111.57/170.74	c (165,0) c Periods_1 : 1402
1111.57/170.74	c (165,0) c Periods_2 : 1401
1111.57/170.74	c (165,0) c Periods_3 : 1402
1111.57/170.74	c (165,0) c Periods_4 : 1401
1111.57/170.74	c (165,0) c Periods_5 : 1402
1111.57/170.74	c (165,0) c Periods_6 : 1401
1111.57/170.74	c (165,0) c Periods_7 : 1402
1111.57/170.74	c (165,0) c Periods_total : 11212
1111.57/170.74	c (165,0) c Periods_winner : 1401
1111.57/170.74	c (165,0) c Margin_0 : 20
1111.57/170.74	c (165,0) c Margin_1 : 20
1111.57/170.74	c (165,0) c Margin_2 : 20
1111.57/170.74	c (165,0) c Margin_3 : 20
1111.57/170.74	c (165,0) c Margin_4 : 20
1111.57/170.74	c (165,0) c Margin_5 : 20
1111.57/170.74	c (165,0) c Margin_6 : 20
1111.57/170.74	c (165,0) c Margin_7 : 20
1111.57/170.74	c (165,0) c Margin_total : 160
1111.57/170.74	c (165,0) c Margin_winner : 20
1111.57/170.74	c (165,0) c Exported_0 : 97861
1111.57/170.74	c (165,0) c Exported_1 : 92656
1111.57/170.74	c (165,0) c Exported_2 : 92497
1111.57/170.74	c (165,0) c Exported_3 : 96852
1111.57/170.74	c (165,0) c Exported_4 : 87077
1111.57/170.74	c (165,0) c Exported_5 : 92683
1111.57/170.74	c (165,0) c Exported_6 : 95381
1111.57/170.74	c (165,0) c Exported_7 : 96027
1111.57/170.74	c (165,0) c Exported_total : 751034
1111.57/170.74	c (165,0) c Exported_winner : 95381
1111.57/170.74	c (165,0) c Imported_0 : 647605
1111.57/170.74	c (165,0) c Imported_1 : 651979
1111.57/170.74	c (165,0) c Imported_2 : 651265
1111.57/170.74	c (165,0) c Imported_3 : 649447
1111.57/170.74	c (165,0) c Imported_4 : 656754
1111.57/170.74	c (165,0) c Imported_5 : 653233
1111.57/170.74	c (165,0) c Imported_6 : 650679
1111.57/170.74	c (165,0) c Imported_7 : 646041
1111.57/170.74	c (165,0) c Imported_total : 5207003
1111.57/170.74	c (165,0) c Imported_winner : 650679
1111.57/170.74	c (165,0) c Good_0 : 1667
1111.57/170.74	c (165,0) c Good_1 : 1563
1111.57/170.74	c (165,0) c Good_2 : 1612
1111.57/170.74	c (165,0) c Good_3 : 1643
1111.57/170.74	c (165,0) c Good_4 : 1531
1111.57/170.74	c (165,0) c Good_5 : 1600
1111.57/170.74	c (165,0) c Good_6 : 1514
1111.57/170.74	c (165,0) c Good_7 : 1560
1111.57/170.74	c (165,0) c Good_total : 12690
1111.57/170.74	c (165,0) c Good_winner : 1514
1111.57/170.74	c (165,0) c Purge_0 : 645938
1111.57/170.74	c (165,0) c Purge_1 : 650416
1111.57/170.74	c (165,0) c Purge_2 : 649653
1111.57/170.74	c (165,0) c Purge_3 : 647804
1111.57/170.74	c (165,0) c Purge_4 : 655223
1111.57/170.74	c (165,0) c Purge_5 : 651633
1111.57/170.74	c (165,0) c Purge_6 : 649165
1111.57/170.74	c (165,0) c Purge_7 : 644481
1111.57/170.74	c (165,0) c Purge_total : 5194313
1111.57/170.74	c (165,0) c Purge_winner : 649165
1111.57/170.74	c (165,0) c Promoted_0 : 50713
1111.57/170.74	c (165,0) c Promoted_1 : 55003
1111.57/170.74	c (165,0) c Promoted_2 : 52123
1111.57/170.74	c (165,0) c Promoted_3 : 52591
1111.57/170.74	c (165,0) c Promoted_4 : 51451
1111.57/170.74	c (165,0) c Promoted_5 : 48594
1111.57/170.74	c (165,0) c Promoted_6 : 52541
1111.57/170.74	c (165,0) c Promoted_7 : 51918
1111.57/170.74	c (165,0) c Promoted_total : 414934
1111.57/170.74	c (165,0) c Promoted_winner : 52541
1111.57/170.74	c (165,0) c Remove_Imp_0 : 518002
1111.57/170.75	c (165,0) c Remove_Imp_1 : 505315
1111.57/170.75	c (165,0) c Remove_Imp_2 : 495572
1111.57/170.75	c (165,0) c Remove_Imp_3 : 512048
1111.57/170.75	c (165,0) c Remove_Imp_4 : 533138
1111.57/170.75	c (165,0) c Remove_Imp_5 : 502176
1111.57/170.75	c (165,0) c Remove_Imp_6 : 515974
1111.57/170.75	c (165,0) c Remove_Imp_7 : 521915
1111.57/170.75	c (165,0) c Remove_Imp_total : 4104140
1111.57/170.75	c (165,0) c Remove_Imp_winner : 515974
1111.57/170.75	c (165,0) c Blocked_Reuse_0 : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_1 : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_2 : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_3 : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_4 : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_5 : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_6 : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_7 : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_total : 0
1111.57/170.75	c (165,0) c Blocked_Reuse_winner : 0
1111.57/170.75	c (165,0) c Unaries_0 : 12
1111.57/170.75	c (165,0) c Unaries_1 : 11
1111.57/170.75	c (165,0) c Unaries_2 : 8
1111.57/170.75	c (165,0) c Unaries_3 : 17
1111.57/170.75	c (165,0) c Unaries_4 : 7
1111.57/170.75	c (165,0) c Unaries_5 : 13
1111.57/170.75	c (165,0) c Unaries_6 : 18
1111.57/170.75	c (165,0) c Unaries_7 : 11
1111.57/170.75	c (165,0) c Unaries_total : 97
1111.57/170.75	c (165,0) c Unaries_winner : 18
1111.57/170.75	c (165,0) c Binaries_0 : 156
1111.57/170.75	c (165,0) c Binaries_1 : 250
1111.57/170.75	c (165,0) c Binaries_2 : 201
1111.57/170.75	c (165,0) c Binaries_3 : 206
1111.57/170.75	c (165,0) c Binaries_4 : 281
1111.57/170.75	c (165,0) c Binaries_5 : 234
1111.57/170.75	c (165,0) c Binaries_6 : 320
1111.57/170.75	c (165,0) c Binaries_7 : 242
1111.57/170.75	c (165,0) c Binaries_total : 1890
1111.57/170.75	c (165,0) c Binaries_winner : 320
1111.57/170.75	c (165,0) c Glues_0 : 791
1111.57/170.75	c (165,0) c Glues_1 : 976
1111.57/170.75	c (165,0) c Glues_2 : 882
1111.57/170.75	c (165,0) c Glues_3 : 845
1111.57/170.75	c (165,0) c Glues_4 : 956
1111.57/170.75	c (165,0) c Glues_5 : 922
1111.57/170.75	c (165,0) c Glues_6 : 1087
1111.57/170.75	c (165,0) c Glues_7 : 948
1111.57/170.75	c (165,0) c Glues_total : 7407
1111.57/170.75	c (165,0) c Glues_winner : 1087
1111.57/170.75	c (165,0) c RunningTime_0 : 164.830235
1111.57/170.75	c (165,0) c RunningTime_1 : 135.580793
1111.57/170.75	c (165,0) c RunningTime_2 : 151.615284
1111.57/170.75	c (165,0) c RunningTime_3 : 131.302662
1111.57/170.75	c (165,0) c RunningTime_4 : 114.514175
1111.57/170.75	c (165,0) c RunningTime_5 : 159.242782
1111.57/170.75	c (165,0) c RunningTime_6 : 114.858990
1111.57/170.75	c (165,0) c RunningTime_7 : 131.332072
1111.57/170.75	c (165,0) c RunningTime_total : 1103.276993
1111.57/170.75	c (165,0) c RunningTime_winner : 114.858990
1111.57/170.75	c (165,0) c WaitingTime_0 : 0.001964
1111.57/170.75	c (165,0) c WaitingTime_1 : 27.778018
1111.57/170.75	c (165,0) c WaitingTime_2 : 11.683099
1111.57/170.75	c (165,0) c WaitingTime_3 : 32.006361
1111.57/170.75	c (165,0) c WaitingTime_4 : 48.722813
1111.57/170.75	c (165,0) c WaitingTime_5 : 4.132326
1111.57/170.75	c (165,0) c WaitingTime_6 : 48.395675
1111.57/170.75	c (165,0) c WaitingTime_7 : 32.038761
1111.57/170.75	c (165,0) c WaitingTime_total : 204.759018
1111.57/170.75	c (165,0) c WaitingTime_winner : 48.395675
1111.57/170.75	c (165,0) c ExchangingTime_0 : 0.335565
1111.57/170.75	c (165,0) c ExchangingTime_1 : 0.359941
1111.57/170.75	c (165,0) c ExchangingTime_2 : 0.358856
1111.57/170.75	c (165,0) c ExchangingTime_3 : 0.400154
1111.57/170.75	c (165,0) c ExchangingTime_4 : 0.366483
1111.57/170.75	c (165,0) c ExchangingTime_5 : 0.332811
1111.57/170.75	c (165,0) c ExchangingTime_6 : 0.342453
1111.57/170.75	c (165,0) c ExchangingTime_7 : 0.343847
1111.57/170.75	c (165,0) c ExchangingTime_total : 2.840109
1111.57/170.75	c (165,0) c ExchangingTime_winner : 0.342453
1111.57/170.75	c (165,0) c PeriodProcTime_0 : 0.018538
1111.57/170.75	c (165,0) c PeriodProcTime_1 : 0.011119
1111.57/170.75	c (165,0) c PeriodProcTime_2 : 0.013118
1111.57/170.75	c (165,0) c PeriodProcTime_3 : 0.014435
1111.57/170.75	c (165,0) c PeriodProcTime_4 : 0.011981
1111.57/170.75	c (165,0) c PeriodProcTime_5 : 0.018192
1111.57/170.75	c (165,0) c PeriodProcTime_6 : 0.012407
1111.57/170.75	c (165,0) c PeriodProcTime_7 : 0.011763
1111.57/170.75	c (165,0) c PeriodProcTime_total : 0.111552
1111.57/170.75	c (165,0) c PeriodProcTime_winner : 0.012407
1111.57/170.75	c (165,0) c SolvingTime_0 : 165.186303
1111.57/170.75	c (165,0) c SolvingTime_1 : 163.729870
1111.57/170.75	c (165,0) c SolvingTime_2 : 163.670357
1111.57/170.75	c (165,0) c SolvingTime_3 : 163.723612
1111.57/170.75	c (165,0) c SolvingTime_4 : 163.615452
1111.57/170.75	c (165,0) c SolvingTime_5 : 163.726111
1111.57/170.75	c (165,0) c SolvingTime_6 : 163.609524
1111.57/170.75	c (165,0) c SolvingTime_7 : 163.726443
1111.57/170.75	c (165,0) c SolvingTime_total : 1310.987673
1111.57/170.75	c (165,0) c SolvingTime_winner : 163.609524
1111.57/170.75	c (165,0) c PropagationTime_0 : 102.084593
1111.57/170.75	c (165,0) c PropagationTime_1 : 120.623759
1111.57/170.75	c (165,0) c PropagationTime_2 : 112.346321
1111.57/170.75	c (165,0) c PropagationTime_3 : 137.953696
1111.57/170.75	c (165,0) c PropagationTime_4 : 146.959043
1111.57/170.75	c (165,0) c PropagationTime_5 : 102.008177
1111.57/170.75	c (165,0) c PropagationTime_6 : 143.730763
1111.57/170.75	c (165,0) c PropagationTime_7 : 125.219545
1111.57/170.75	c (165,0) c PropagationTime_total : 990.925898
1111.57/170.75	c (165,0) c PropagationTime_winner : 143.730763
1111.57/170.75	c (165,0) c AnalysisTime_0 : 59.446096
1111.57/170.75	c (165,0) c AnalysisTime_1 : 39.661766
1111.57/170.75	c (165,0) c AnalysisTime_2 : 47.798560
1111.57/170.75	c (165,0) c AnalysisTime_3 : 21.726760
1111.57/170.75	c (165,0) c AnalysisTime_4 : 13.027095
1111.57/170.75	c (165,0) c AnalysisTime_5 : 58.134675
1111.57/170.75	c (165,0) c AnalysisTime_6 : 16.269449
1111.57/170.75	c (165,0) c AnalysisTime_7 : 35.020672
1111.57/170.75	c (165,0) c AnalysisTime_total : 291.085073
1111.57/170.75	c (165,0) c AnalysisTime_winner : 16.269449
1111.57/170.75	c (165,0) c ReductionTime_0 : 1.368731
1111.57/170.75	c (165,0) c ReductionTime_1 : 1.262710
1111.57/170.75	c (165,0) c ReductionTime_2 : 1.316299
1111.57/170.75	c (165,0) c ReductionTime_3 : 1.593146
1111.57/170.75	c (165,0) c ReductionTime_4 : 1.395079
1111.57/170.75	c (165,0) c ReductionTime_5 : 1.299469
1111.57/170.75	c (165,0) c ReductionTime_6 : 1.385081
1111.57/170.75	c (165,0) c ReductionTime_7 : 1.347666
1111.57/170.75	c (165,0) c ReductionTime_total : 10.968181
1111.57/170.75	c (165,0) c ReductionTime_winner : 1.385081
1111.57/170.75	c (165,0) c SimplifyTime_0 : 0.030249
1111.57/170.75	c (165,0) c SimplifyTime_1 : 0.023745
1111.57/170.75	c (165,0) c SimplifyTime_2 : 0.027237
1111.57/170.75	c (165,0) c SimplifyTime_3 : 0.073023
1111.57/170.75	c (165,0) c SimplifyTime_4 : 0.074654
1111.57/170.75	c (165,0) c SimplifyTime_5 : 0.027241
1111.57/170.75	c (165,0) c SimplifyTime_6 : 0.029189
1111.57/170.75	c (165,0) c SimplifyTime_7 : 0.025464
1111.57/170.75	c (165,0) c SimplifyTime_total : 0.310802
1111.57/170.75	c (165,0) c SimplifyTime_winner : 0.029189
1111.57/170.75	c (165,0) c UsedRateTime_0 : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_1 : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_2 : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_3 : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_4 : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_5 : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_6 : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_7 : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_total : 0.000000
1111.57/170.75	c (165,0) c UsedRateTime_winner : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_0 : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_1 : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_2 : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_3 : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_4 : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_5 : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_6 : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_7 : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_total : 0.000000
1111.57/170.75	c (165,0) c OverlapRateTime_winner : 0.000000
1111.57/170.75	c (165,0) c
1111.57/170.75	c (165,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1111.57/170.75	c (165,0) c
1111.57/170.75	c (165,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.75	c (165,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1111.57/170.75	c (165,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.75	c (165,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1111.57/170.75	c (165,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1111.57/170.75	c (165,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1111.57/170.75	c (165,0) c | Initial random_seed   | 2069390902 |  982619340 |   19405756 |  677195428 |  764027826 | 2137934120 |  791548428 | 1960291293 |
1111.57/170.75	c (165,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1111.57/170.75	c (165,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1111.57/170.75	c (165,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1111.57/170.75	c (165,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1111.57/170.75	c (165,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1111.57/170.75	c (165,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1111.57/170.75	c (165,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1111.57/170.75	c (165,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1111.57/170.75	c (165,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1111.57/170.75	c (165,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1111.57/170.75	c (165,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1111.57/170.75	c (165,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1111.57/170.75	c (165,0) 
1111.57/170.75	c (165,0) s UNSATISFIABLE
1111.57/170.76	c (165,0) SatSolver.solve End
1111.57/170.76	c (165,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1111.57/170.76	c (165,0) Show results Begin
1111.57/170.76	s UNSATISFIABLE
1111.57/170.76	c (165,0) Show results End
1111.57/170.76	c (165,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1111.57/170.76	c (165,0) 165,165,STOP-AFTER(ALL)
1111.57/170.76	c END-Prog: Sat Sep 14 06:48:23 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 (14844 MiB free)
  memory of node 1: 16384 MiB (15306 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100111 s]*
/proc/loadavg: 7.50 7.79 7.73 2/211 15984
/proc/meminfo: memFree=30779228/32770624 swapFree=66940952/67108860
[pid=15962] ppid=15959 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15962/stat : 15962 (scop.sh) S 15959 15962 11963 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419875694 115843072 349 33554432000 4194304 5098028 140728564578320 140728564575576 139626859721340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34324480 140728564585253 140728564585580 140728564585580 140728564588493 0
/proc/15962/statm: 28282 349 296 221 0 87 0
[pid=15965] ppid=15962 vsize=27314120 memory=107668 CPUtime=0.11 cores=0-7
/proc/15965/stat : 15965 (java) S 15962 15962 11963 0 -1 1077944320 6493 0 0 0 8 3 0 0 20 0 20 0 419875695 27969658880 26917 33554432000 4194304 4196468 140724968293856 140724968276400 140142557601527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
/proc/15965/statm: 6828530 26917 2805 1 0 6790935 0
[pid=15965/tid=15966] ppid=15962 vsize=27314120 memory=8329858793914408605 CPUtime=0.09 cores=0-7
/proc/15965/task/15966/stat : 15966 (java) R 15962 15962 11963 0 -1 4202560 4590 0 0 0 7 2 0 0 20 0 20 0 419875695 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142529405728 140142550698411 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15967] ppid=15962 vsize=27314120 memory=732370634740071397 CPUtime=0 cores=0-7
/proc/15965/task/15967/stat : 15967 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142561843728 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15968] ppid=15962 vsize=27314120 memory=140496402617984 CPUtime=0 cores=0-7
/proc/15965/task/15968/stat : 15968 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142376000144 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15969] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15969/stat : 15969 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142374947088 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15970] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15970/stat : 15970 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142373894544 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15971] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15971/stat : 15971 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142372842512 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15972] ppid=15962 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15965/task/15972/stat : 15972 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142371789968 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15973] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15973/stat : 15973 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142370736912 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15974] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15974/stat : 15974 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 27429 33554432000 4194304 4196468 140724968293856 140142369684368 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15975] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15975/stat : 15975 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875699 27969658880 27429 33554432000 4194304 4196468 140724968293856 140140609345776 140142557612674 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15976] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15976/stat : 15976 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419875699 27969658880 27429 33554432000 4194304 4196468 140724968293856 140140487894176 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15977] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15977/stat : 15977 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875700 27969658880 27429 33554432000 4194304 4196468 140724968293856 140140219458288 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15978] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15978/stat : 15978 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 27429 33554432000 4194304 4196468 140724968293856 140139844949968 140142557620123 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15979] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15979/stat : 15979 (java) S 15962 15962 11963 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 27429 33554432000 4194304 4196468 140724968293856 140140608293616 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15980] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15980/stat : 15980 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 27429 33554432000 4194304 4196468 140724968293856 140140607241072 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15981] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15981/stat : 15981 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 27429 33554432000 4194304 4196468 140724968293856 140140606188016 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15982] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15982/stat : 15982 (java) S 15962 15962 11963 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 27429 33554432000 4194304 4196468 140724968293856 140140605135472 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15983] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15983/stat : 15983 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 27429 33554432000 4194304 4196468 140724968293856 140139347044832 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15984] ppid=15962 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15965/task/15984/stat : 15984 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 27429 33554432000 4194304 4196468 140724968293856 140140604082864 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109064 KiB

[startup+0.210137 s]*
/proc/loadavg: 7.50 7.79 7.73 2/211 15984
/proc/meminfo: memFree=30757072/32770624 swapFree=66940952/67108860
[pid=15962] ppid=15959 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15962/stat : 15962 (scop.sh) S 15959 15962 11963 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419875694 115843072 349 33554432000 4194304 5098028 140728564578320 140728564575576 139626859721340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34324480 140728564585253 140728564585580 140728564585580 140728564588493 0
/proc/15962/statm: 28282 349 296 221 0 87 0
[pid=15965] ppid=15962 vsize=27314120 memory=126728 CPUtime=0.24 cores=0-7
/proc/15965/stat : 15965 (java) S 15962 15962 11963 0 -1 1077944320 12085 0 0 0 20 4 0 0 20 0 20 0 419875695 27969658880 31682 33554432000 4194304 4196468 140724968293856 140724968276400 140142557601527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
/proc/15965/statm: 6828530 31682 2941 1 0 6790935 0
[pid=15965/tid=15966] ppid=15962 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/15965/task/15966/stat : 15966 (java) R 15962 15962 11963 0 -1 4202560 9803 0 0 0 16 3 0 0 20 0 20 0 419875695 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142529400912 140142537877408 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15967] ppid=15962 vsize=27314120 memory=732370634740071397 CPUtime=0 cores=0-7
/proc/15965/task/15967/stat : 15967 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142561843728 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15968] ppid=15962 vsize=27314120 memory=140496402617984 CPUtime=0 cores=0-7
/proc/15965/task/15968/stat : 15968 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142376000144 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15969] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15969/stat : 15969 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142374947088 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15970] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15970/stat : 15970 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142373894544 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15971] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15971/stat : 15971 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142372842512 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15972] ppid=15962 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15965/task/15972/stat : 15972 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142371789968 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15973] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15973/stat : 15973 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142370736912 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15974] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15974/stat : 15974 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 31682 33554432000 4194304 4196468 140724968293856 140142369684368 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15975] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15975/stat : 15975 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875699 27969658880 31682 33554432000 4194304 4196468 140724968293856 140140609345776 140142557612674 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15976] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15976/stat : 15976 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419875699 27969658880 31682 33554432000 4194304 4196468 140724968293856 140140487894176 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15977] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15977/stat : 15977 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875700 27969658880 31682 33554432000 4194304 4196468 140724968293856 140140219458288 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15978] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15978/stat : 15978 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 31682 33554432000 4194304 4196468 140724968293856 140139844949968 140142557620123 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15979] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15979/stat : 15979 (java) S 15962 15962 11963 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 31682 33554432000 4194304 4196468 140724968293856 140140608293616 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15980] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15980/stat : 15980 (java) S 15962 15962 11963 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 31682 33554432000 4194304 4196468 140724968293856 140140607241072 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15981] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15981/stat : 15981 (java) S 15962 15962 11963 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 31682 33554432000 4194304 4196468 140724968293856 140140606188016 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15982] ppid=15962 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/15965/task/15982/stat : 15982 (java) S 15962 15962 11963 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 419875702 27969658880 31682 33554432000 4194304 4196468 140724968293856 140140605135472 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15983] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15983/stat : 15983 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 31682 33554432000 4194304 4196468 140724968293856 140139347044832 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15984] ppid=15962 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15965/task/15984/stat : 15984 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 31682 33554432000 4194304 4196468 140724968293856 140140604082864 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128124 KiB

[startup+0.309363 s]*
/proc/loadavg: 7.50 7.79 7.73 2/211 15984
/proc/meminfo: memFree=30754404/32770624 swapFree=66940952/67108860
[pid=15962] ppid=15959 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15962/stat : 15962 (scop.sh) S 15959 15962 11963 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419875694 115843072 349 33554432000 4194304 5098028 140728564578320 140728564575576 139626859721340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34324480 140728564585253 140728564585580 140728564585580 140728564588493 0
/proc/15962/statm: 28282 349 296 221 0 87 0
[pid=15965] ppid=15962 vsize=27314120 memory=130332 CPUtime=0.42 cores=0-7
/proc/15965/stat : 15965 (java) S 15962 15962 11963 0 -1 1077944320 12456 0 0 0 37 5 0 0 20 0 20 0 419875695 27969658880 32583 33554432000 4194304 4196468 140724968293856 140724968276400 140142557601527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
/proc/15965/statm: 6828530 32583 3021 1 0 6790935 0
[pid=15965/tid=15966] ppid=15962 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/15965/task/15966/stat : 15966 (java) R 15962 15962 11963 0 -1 4202560 9990 0 0 0 26 4 0 0 20 0 20 0 419875695 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142529431600 140142540788357 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15967] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15967/stat : 15967 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142561843728 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15968] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15968/stat : 15968 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142376000144 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15969] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15969/stat : 15969 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142374947088 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15970] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15970/stat : 15970 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142373894544 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15971] ppid=15962 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/15965/task/15971/stat : 15971 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142372842512 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15972] ppid=15962 vsize=27314120 memory=140496299193263 CPUtime=0 cores=0-7
/proc/15965/task/15972/stat : 15972 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142371789968 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15973] ppid=15962 vsize=27314120 memory=140496299195568 CPUtime=0 cores=0-7
/proc/15965/task/15973/stat : 15973 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142370736912 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15974] ppid=15962 vsize=27314120 memory=140496299197872 CPUtime=0 cores=0-7
/proc/15965/task/15974/stat : 15974 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27969658880 32583 33554432000 4194304 4196468 140724968293856 140142369684368 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15975] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15975/stat : 15975 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875699 27969658880 32583 33554432000 4194304 4196468 140724968293856 140140609345776 140142557612674 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15976] ppid=15962 vsize=27314120 memory=280992598402704 CPUtime=0 cores=0-7
/proc/15965/task/15976/stat : 15976 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419875699 27969658880 32583 33554432000 4194304 4196468 140724968293856 140140487894176 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15977] ppid=15962 vsize=27314120 memory=280992598409616 CPUtime=0 cores=0-7
/proc/15965/task/15977/stat : 15977 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875700 27969658880 32583 33554432000 4194304 4196468 140724968293856 140140219458288 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15978] ppid=15962 vsize=27314120 memory=280992598350768 CPUtime=0 cores=0-7
/proc/15965/task/15978/stat : 15978 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 32583 33554432000 4194304 4196468 140724968293856 140139844949968 140142557620123 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15979] ppid=15962 vsize=27314120 memory=280992598423440 CPUtime=0.01 cores=0-7
/proc/15965/task/15979/stat : 15979 (java) R 15962 15962 11963 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 20 0 419875702 27969658880 32583 33554432000 4194304 4196468 140724968293856 140140608293616 140142557622874 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15980] ppid=15962 vsize=27314120 memory=280992598430352 CPUtime=0.01 cores=0-7
/proc/15965/task/15980/stat : 15980 (java) S 15962 15962 11963 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 20 0 419875702 27969658880 32583 33554432000 4194304 4196468 140724968293856 140140607241072 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15981] ppid=15962 vsize=27314120 memory=280992598428048 CPUtime=0 cores=0-7
/proc/15965/task/15981/stat : 15981 (java) S 15962 15962 11963 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 32583 33554432000 4194304 4196468 140724968293856 140140606188016 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15982] ppid=15962 vsize=27314120 memory=280992598444208 CPUtime=0.07 cores=0-7
/proc/15965/task/15982/stat : 15982 (java) S 15962 15962 11963 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 20 0 419875702 27969658880 32583 33554432000 4194304 4196468 140724968293856 140140605135472 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15983] ppid=15962 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15965/task/15983/stat : 15983 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 32583 33554432000 4194304 4196468 140724968293856 140139347044832 140142557611733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15984] ppid=15962 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15965/task/15984/stat : 15984 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875702 27969658880 32583 33554432000 4194304 4196468 140724968293856 140140604082864 140142557612674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131728 KiB

[startup+0.700893 s]
/proc/loadavg: 7.50 7.79 7.73 3/211 15984
/proc/meminfo: memFree=30733372/32770624 swapFree=66940952/67108860
[pid=15962] ppid=15959 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15962/stat : 15962 (scop.sh) S 15959 15962 11963 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419875694 115843072 349 33554432000 4194304 5098028 140728564578320 140728564575576 139626859721340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34324480 140728564585253 140728564585580 140728564585580 140728564588493 0
/proc/15962/statm: 28282 349 296 221 0 87 0
[pid=15965] ppid=15962 vsize=27320392 memory=165244 CPUtime=1 cores=0-7
/proc/15965/stat : 15965 (java) S 15962 15962 11963 0 -1 1077944320 19942 0 0 0 93 7 0 0 20 0 20 0 419875695 27976081408 41311 33554432000 4194304 4196468 140724968293856 140724968276400 140142557601527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
/proc/15965/statm: 6830098 41311 3186 1 0 6791447 0
[pid=15965/tid=15966] ppid=15962 vsize=27320392 memory=280992598739136 CPUtime=0.68 cores=0-7
/proc/15965/task/15966/stat : 15966 (java) R 15962 15962 11963 0 -1 4202560 16910 0 0 0 62 6 0 0 20 0 20 0 419875695 27976081408 41311 33554432000 4194304 4196468 140724968293856 140142529438944 140142050536256 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15967] ppid=15962 vsize=27320392 memory=1772 CPUtime=0 cores=0-7
/proc/15965/task/15967/stat : 15967 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419875697 27976081408 41311 33554432000 4194304 4196468 140724968293856 140142561843728 140142557611733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15968] ppid=15962 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/15965/task/15968/stat : 15968 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27976081408 41311 33554432000 4194304 4196468 140724968293856 140142376000144 140142557611733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0
[pid=15965/tid=15969] ppid=15962 vsize=27320392 memory=1556 CPUtime=0 cores=0-7
/proc/15965/task/15969/stat : 15969 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419875697 27976081408 41311 33554432000 4194304 4196468 140724968293856 140142374947088 140142557611733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724968297195 140724968297622 140724968297622 140724968300495 0

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

[pid=15987/tid=15997] ppid=15962 vsize=8414124 memory=40636 CPUtime=0 cores=0-7
/proc/15987/task/15997/stat : 15997 (java) S 15962 15962 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211439679984 140212144904834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15998] ppid=15962 vsize=8414124 memory=1988 CPUtime=0 cores=0-7
/proc/15987/task/15998/stat : 15998 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140210415330720 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15999] ppid=15962 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/15987/task/15999/stat : 15999 (java) S 15962 15962 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140210281108976 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16000] ppid=15962 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/15987/task/16000/stat : 16000 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209906604752 140212144912283 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16001] ppid=15962 vsize=8414124 memory=1772 CPUtime=0.08 cores=0-7
/proc/15987/task/16001/stat : 16001 (java) S 15962 15962 11963 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211438626800 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16002] ppid=15962 vsize=8414124 memory=1056 CPUtime=0.06 cores=0-7
/proc/15987/task/16002/stat : 16002 (java) S 15962 15962 11963 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211437574256 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16003] ppid=15962 vsize=8414124 memory=1556 CPUtime=0.05 cores=0-7
/proc/15987/task/16003/stat : 16003 (java) S 15962 15962 11963 0 -1 1077944384 167 0 0 0 5 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211436521712 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16004] ppid=15962 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/15987/task/16004/stat : 16004 (java) S 15962 15962 11963 0 -1 1077944384 799 0 0 0 22 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211435469168 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16005] ppid=15962 vsize=8414124 memory=119392 CPUtime=0 cores=0-7
/proc/15987/task/16005/stat : 16005 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209408699104 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16006] ppid=15962 vsize=8414124 memory=578288 CPUtime=0.1 cores=0-7
/proc/15987/task/16006/stat : 16006 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 3 7 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211434417072 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16008] ppid=15962 vsize=8414124 memory=119392 CPUtime=0 cores=0-7
/proc/15987/task/16008/stat : 16008 (java) S 15962 15962 11963 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211426383552 140212144918297 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16010] ppid=15962 vsize=8414124 memory=578288 CPUtime=0 cores=0-7
/proc/15987/task/16010/stat : 16010 (java) S 15962 15962 11963 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140208737598736 140212144915613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16011] ppid=15962 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15987/task/16011/stat : 16011 (java) S 15962 15962 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209006034320 140212144915613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16018] ppid=15962 vsize=8414124 memory=119392 CPUtime=0 cores=0-7
/proc/15987/task/16018/stat : 16018 (java) S 15962 15962 11963 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419876241 8616062976 29848 33554432000 4194304 4196468 140722763519696 140208469171376 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
Current children cumulated CPU time: 1111.27 s
Current children cumulated vsize: 9271544 KiB
Current children cumulated memory: 699236 KiB

[startup+170.601 s]
/proc/loadavg: 6.58 7.17 7.49 2/217 16029
/proc/meminfo: memFree=30187772/32770624 swapFree=66940952/67108860
[pid=15962] ppid=15959 vsize=113128 memory=1476 CPUtime=11.93 cores=0-7
/proc/15962/stat : 15962 (scop.sh) S 15959 15962 11963 0 -1 4202496 582 32229 0 0 0 0 1162 31 20 0 1 0 419875694 115843072 369 33554432000 4194304 5098028 140728564578320 140728564575064 139626859721340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34324480 140728564585253 140728564585580 140728564585580 140728564588493 0
/proc/15962/statm: 28282 369 311 221 0 87 0
[pid=15987] ppid=15962 vsize=8414124 memory=119392 CPUtime=1.35 cores=0-7
/proc/15987/stat : 15987 (java) S 15962 15962 11963 0 -1 1077944320 21394 0 0 0 127 8 0 0 20 0 24 0 419876164 8616062976 29848 33554432000 4194304 4196468 140722763519696 140722763502240 140212144893687 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
/proc/15987/statm: 2103531 29848 3212 1 0 2064875 0
[pid=16007] ppid=15987 vsize=744292 memory=578368 CPUtime=1098.19 cores=0-7
/proc/16007/stat : 16007 (manyglucose-4.1) S 15987 15962 11963 0 -1 1077944320 1248841 0 0 0 109617 202 0 0 20 0 2 0 419876239 762155008 144592 33554432000 4194304 4454172 140733837025952 140733837024336 139965467950839 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 12279808 140733837034345 140733837034544 140733837034544 140733837037498 0
/proc/16007/statm: 186073 144592 419 64 0 181741 0
[pid=16007/tid=16012] ppid=15987 vsize=744292 memory=988 CPUtime=164.9 cores=0-7
/proc/16007/task/16012/stat : 16012 (manyglucose-4.1) R 15987 15962 11963 0 -1 4202560 183631 0 0 0 16465 25 0 0 20 0 2 0 419876241 762155008 144592 33554432000 4194304 4454172 140733837025952 139965452733576 4332738 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 12279808 140733837034345 140733837034544 140733837034544 140733837037498 0
[pid=15987/tid=15988] ppid=15962 vsize=8414124 memory=1428 CPUtime=0.77 cores=0-7
/proc/15987/task/15988/stat : 15988 (java) S 15962 15962 11963 0 -1 1077944384 17840 0 0 0 72 5 0 0 20 0 24 0 419876165 8616062976 29848 33554432000 4194304 4196468 140722763519696 140212116733856 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15989] ppid=15962 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/15987/task/15989/stat : 15989 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140212149136144 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15990] ppid=15962 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/15987/task/15990/stat : 15990 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211963292560 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15991] ppid=15962 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/15987/task/15991/stat : 15991 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211962240016 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15992] ppid=15962 vsize=8414124 memory=-8670943754418680210 CPUtime=0 cores=0-7
/proc/15987/task/15992/stat : 15992 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211961187472 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15993] ppid=15962 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/15987/task/15993/stat : 15993 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211960133904 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15994] ppid=15962 vsize=8414124 memory=14698482732632482 CPUtime=0 cores=0-7
/proc/15987/task/15994/stat : 15994 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211626080656 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15995] ppid=15962 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/15987/task/15995/stat : 15995 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211625028112 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15996] ppid=15962 vsize=8414124 memory=2432 CPUtime=0 cores=0-7
/proc/15987/task/15996/stat : 15996 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211623975568 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15997] ppid=15962 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/15987/task/15997/stat : 15997 (java) S 15962 15962 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211439679984 140212144904834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15998] ppid=15962 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/15987/task/15998/stat : 15998 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140210415330720 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15999] ppid=15962 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/15987/task/15999/stat : 15999 (java) S 15962 15962 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140210281108976 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16000] ppid=15962 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/15987/task/16000/stat : 16000 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209906604752 140212144912283 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16001] ppid=15962 vsize=8414124 memory=800 CPUtime=0.08 cores=0-7
/proc/15987/task/16001/stat : 16001 (java) S 15962 15962 11963 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211438626800 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16002] ppid=15962 vsize=8414124 memory=1808 CPUtime=0.06 cores=0-7
/proc/15987/task/16002/stat : 16002 (java) S 15962 15962 11963 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211437574256 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16003] ppid=15962 vsize=8414124 memory=924 CPUtime=0.05 cores=0-7
/proc/15987/task/16003/stat : 16003 (java) S 15962 15962 11963 0 -1 1077944384 167 0 0 0 5 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211436521712 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16004] ppid=15962 vsize=8414124 memory=4960 CPUtime=0.22 cores=0-7
/proc/15987/task/16004/stat : 16004 (java) S 15962 15962 11963 0 -1 1077944384 799 0 0 0 22 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211435469168 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16005] ppid=15962 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/15987/task/16005/stat : 16005 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209408699104 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16006] ppid=15962 vsize=8414124 memory=1476 CPUtime=0.1 cores=0-7
/proc/15987/task/16006/stat : 16006 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 3 7 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211434417072 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16008] ppid=15962 vsize=8414124 memory=119392 CPUtime=0 cores=0-7
/proc/15987/task/16008/stat : 16008 (java) S 15962 15962 11963 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211426383552 140212144918297 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16010] ppid=15962 vsize=8414124 memory=578288 CPUtime=0 cores=0-7
/proc/15987/task/16010/stat : 16010 (java) S 15962 15962 11963 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140208737598736 140212144915613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16011] ppid=15962 vsize=8414124 memory=578280 CPUtime=0 cores=0-7
/proc/15987/task/16011/stat : 16011 (java) S 15962 15962 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209006034320 140212144915613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16018] ppid=15962 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/15987/task/16018/stat : 16018 (java) S 15962 15962 11963 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419876241 8616062976 29848 33554432000 4194304 4196468 140722763519696 140208469171376 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
Current children cumulated CPU time: 1111.47 s
Current children cumulated vsize: 9271544 KiB
Current children cumulated memory: 699236 KiB

[startup+170.701 s]
/proc/loadavg: 6.58 7.17 7.49 2/217 16029
/proc/meminfo: memFree=30187772/32770624 swapFree=66940952/67108860
[pid=15962] ppid=15959 vsize=113128 memory=1476 CPUtime=11.93 cores=0-7
/proc/15962/stat : 15962 (scop.sh) S 15959 15962 11963 0 -1 4202496 582 32229 0 0 0 0 1162 31 20 0 1 0 419875694 115843072 369 33554432000 4194304 5098028 140728564578320 140728564575064 139626859721340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34324480 140728564585253 140728564585580 140728564585580 140728564588493 0
/proc/15962/statm: 28282 369 311 221 0 87 0
[pid=15987] ppid=15962 vsize=8414124 memory=119392 CPUtime=1.35 cores=0-7
/proc/15987/stat : 15987 (java) S 15962 15962 11963 0 -1 1077944320 21394 0 0 0 127 8 0 0 20 0 24 0 419876164 8616062976 29848 33554432000 4194304 4196468 140722763519696 140722763502240 140212144893687 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
/proc/15987/statm: 2103531 29848 3212 1 0 2064875 0
[pid=16007] ppid=15987 vsize=744292 memory=578368 CPUtime=1098.29 cores=0-7
/proc/16007/stat : 16007 (manyglucose-4.1) S 15987 15962 11963 0 -1 1077944320 1248844 0 0 0 109627 202 0 0 20 0 2 0 419876239 762155008 144592 33554432000 4194304 4454172 140733837025952 140733837024336 139965467950839 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 12279808 140733837034345 140733837034544 140733837034544 140733837037498 0
/proc/16007/statm: 186073 144592 419 64 0 181741 0
[pid=16007/tid=16012] ppid=15987 vsize=744292 memory=119392 CPUtime=165 cores=0-7
/proc/16007/task/16012/stat : 16012 (manyglucose-4.1) R 15987 15962 11963 0 -1 4202560 183634 0 0 0 16475 25 0 0 20 0 2 0 419876241 762155008 144592 33554432000 4194304 4454172 140733837025952 139965452733576 4349967 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 12279808 140733837034345 140733837034544 140733837034544 140733837037498 0
[pid=15987/tid=15988] ppid=15962 vsize=8414124 memory=119392 CPUtime=0.77 cores=0-7
/proc/15987/task/15988/stat : 15988 (java) S 15962 15962 11963 0 -1 1077944384 17840 0 0 0 72 5 0 0 20 0 24 0 419876165 8616062976 29848 33554432000 4194304 4196468 140722763519696 140212116733856 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15989] ppid=15962 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15987/task/15989/stat : 15989 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140212149136144 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15990] ppid=15962 vsize=8414124 memory=119392 CPUtime=0 cores=0-7
/proc/15987/task/15990/stat : 15990 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211963292560 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15991] ppid=15962 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15987/task/15991/stat : 15991 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211962240016 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15992] ppid=15962 vsize=8414124 memory=642864 CPUtime=0 cores=0-7
/proc/15987/task/15992/stat : 15992 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211961187472 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15993] ppid=15962 vsize=8414124 memory=280992599913024 CPUtime=0 cores=0-7
/proc/15987/task/15993/stat : 15993 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211960133904 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15994] ppid=15962 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15987/task/15994/stat : 15994 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211626080656 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15995] ppid=15962 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/15987/task/15995/stat : 15995 (java) S 15962 15962 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211625028112 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15996] ppid=15962 vsize=8414124 memory=119392 CPUtime=0 cores=0-7
/proc/15987/task/15996/stat : 15996 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876166 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211623975568 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15997] ppid=15962 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15987/task/15997/stat : 15997 (java) S 15962 15962 11963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211439679984 140212144904834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15998] ppid=15962 vsize=8414124 memory=-8670943754418680210 CPUtime=0 cores=0-7
/proc/15987/task/15998/stat : 15998 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140210415330720 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=15999] ppid=15962 vsize=8414124 memory=119392 CPUtime=0 cores=0-7
/proc/15987/task/15999/stat : 15999 (java) S 15962 15962 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419876168 8616062976 29848 33554432000 4194304 4196468 140722763519696 140210281108976 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16000] ppid=15962 vsize=8414124 memory=280988974813029 CPUtime=0 cores=0-7
/proc/15987/task/16000/stat : 16000 (java) S 15962 15962 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209906604752 140212144912283 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16001] ppid=15962 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/15987/task/16001/stat : 16001 (java) S 15962 15962 11963 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211438626800 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16002] ppid=15962 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/15987/task/16002/stat : 16002 (java) S 15962 15962 11963 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211437574256 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16003] ppid=15962 vsize=8414124 memory=6945782492362334265 CPUtime=0.05 cores=0-7
/proc/15987/task/16003/stat : 16003 (java) S 15962 15962 11963 0 -1 1077944384 167 0 0 0 5 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211436521712 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16004] ppid=15962 vsize=8414124 memory=119392 CPUtime=0.22 cores=0-7
/proc/15987/task/16004/stat : 16004 (java) S 15962 15962 11963 0 -1 1077944384 799 0 0 0 22 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211435469168 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16005] ppid=15962 vsize=8414124 memory=578288 CPUtime=0 cores=0-7
/proc/15987/task/16005/stat : 16005 (java) S 15962 15962 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209408699104 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16006] ppid=15962 vsize=8414124 memory=1988 CPUtime=0.1 cores=0-7
/proc/15987/task/16006/stat : 16006 (java) S 15962 15962 11963 0 -1 1077944384 13 0 0 0 3 7 0 0 20 0 24 0 419876171 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211434417072 140212144904834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16008] ppid=15962 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/15987/task/16008/stat : 16008 (java) S 15962 15962 11963 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140211426383552 140212144918297 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16010] ppid=15962 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15987/task/16010/stat : 16010 (java) S 15962 15962 11963 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140208737598736 140212144915613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16011] ppid=15962 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15987/task/16011/stat : 16011 (java) S 15962 15962 11963 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419876239 8616062976 29848 33554432000 4194304 4196468 140722763519696 140209006034320 140212144915613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
[pid=15987/tid=16018] ppid=15962 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/15987/task/16018/stat : 16018 (java) S 15962 15962 11963 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419876241 8616062976 29848 33554432000 4194304 4196468 140722763519696 140208469171376 140212144903893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722763527159 140722763527318 140722763527318 140722763530191 0
Current children cumulated CPU time: 1111.57 s
Current children cumulated vsize: 9271544 KiB
Current children cumulated memory: 699236 KiB

Child status: 0
Real time (s): 170.772
CPU time (s): 1111.72
CPU user time (s): 1109.25
CPU system time (s): 2.46697
CPU usage (%): 650.996
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1046224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1109.25
system time used= 2.46697
maximum resident set size= 1052892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1303178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21198
involuntary context switches= 10784


# summary of solver processes directly reported to runsolver:
#   pid: 15962
#   total CPU time (s): 1111.72
#   total CPU user time (s): 1109.25
#   total CPU system time (s): 2.46697

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64654 second user time and 2.43301 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 06:45:32
IDJOB=4392448
IDBENCH=134572
IDSOLVER=2838
FILE ID=node149/4392448-1568436370
RUNJOBID= node149-1568429993-11990
PBS_JOBID= 21702308
Free space on /tmp= 61424 MiB

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

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

MD5SUM BENCH= 0d344e361328211ed16699cc315bd3d7
RANDOM SEED=640583937

node149.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.81
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.81
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.81
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.81
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:        30874152 kB
MemAvailable:   31852020 kB
Buffers:          192664 kB
Cached:          1080540 kB
SwapCached:        61328 kB
Active:           616980 kB
Inactive:         718472 kB
Active(anon):      29600 kB
Inactive(anon):    72512 kB
Active(file):     587380 kB
Inactive(file):   645960 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66940952 kB
Dirty:             20584 kB
Writeback:             0 kB
AnonPages:        113744 kB
Mapped:            44408 kB
Shmem:             31376 kB
Slab:             149748 kB
SReclaimable:     120728 kB
SUnreclaim:        29020 kB
KernelStack:        3408 kB
PageTables:         5860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 06:48:23