Trace number 4405599

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6885-serial-file.bin HOME/instance-4405599-1569343143.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 17:28:41 CEST 2019
0.66/0.57	c PID: 6888
0.66/0.57	c IP: 172.20.3.104
0.66/0.57	c HOST: node104.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.03/1.13	c (0,0) Parsing End
2.03/1.14	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.03/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.14	c (0,0) Constraint Name Generate Begin
2.03/1.15	c (0,0) Ctr:HOME/instance-4405599-1569343143.xml,ExtensionConflict:ExtensionSupport:Var
2.03/1.15	c (0,0) Constraint Name Generate End
2.03/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.03/1.15	c (0,0) CSP to CSPinCNF Begin
3.12/1.65	c (1,1) translated 127 (10%) constraints
3.51/1.76	c (1,1) translated 253 (20%) constraints
3.92/1.84	c (1,1) translated 379 (30%) constraints
4.34/1.90	c (1,1) translated 505 (40%) constraints
4.34/1.95	c (1,1) translated 631 (50%) constraints
4.34/2.00	c (1,1) translated 757 (60%) constraints
5.19/2.14	c (1,1) translated 883 (70%) constraints
5.87/2.38	c (1,1) translated 1009 (80%) constraints
6.23/2.60	c (2,2) translated 1135 (90%) constraints
7.03/2.92	c (2,2) translated 1261 (100%) constraints
7.03/2.92	c (2,2) ===========================================
7.03/2.94	c (2,2) Hybrid: #OE=793, #LE=0
7.03/2.94	c (2,2) Hybrid
7.03/2.94	c (2,2) ===========================================
7.47/3.01	c (2,2) translated 1883 (10%) constraints
7.47/3.07	c (2,2) translated 3765 (20%) constraints
7.87/3.12	c (2,2) translated 5647 (30%) constraints
7.87/3.18	c (2,2) translated 7529 (40%) constraints
8.24/3.23	c (2,2) translated 9411 (50%) constraints
8.24/3.28	c (2,2) translated 11294 (60%) constraints
8.63/3.32	c (2,2) translated 13176 (70%) constraints
8.63/3.36	c (2,2) translated 15058 (80%) constraints
8.95/3.40	c (2,2) translated 16940 (90%) constraints
8.95/3.44	c (2,2) translated 18822 (100%) constraints
8.95/3.44	c (2,2) CSP to CSPinCNF End
8.95/3.44	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.95/3.44	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.95/3.44	c (2,2) CSPinCNF Propagation Begin
10.48/3.81	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.48/3.81	c (3,3) CSPinCNF Propagation End
10.48/3.81	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.48/3.81	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.48/3.83	c (3,3) Hybrid: #OE=793, #LE=0
10.48/3.83	c (3,3) Simplify CSPinCNF Begin
10.48/3.88	c (3,3) Simplify CSPinCNF End
10.48/3.88	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.48/3.88	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.48/3.88	c (3,3) Calculate Precise Domain Begin
10.48/3.89	c (3,3) 0 values are removed by re-calculation
10.48/3.89	c (3,3) Calculate Precise Domain End
10.48/3.89	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.48/3.89	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.48/3.89	c (3,3) CSPinCNF to SatSolver Begin
11.04/4.03	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
11.04/4.09	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.44/4.14	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.44/4.18	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.80/4.23	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.80/4.26	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.80/4.29	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
12.21/4.31	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
12.21/4.33	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
12.21/4.34	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
12.21/4.34	c (3,3) CSPinCNF to SatSolver End
12.21/4.34	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.21/4.34	c (3,3) 2482 bool, 15697 clause
12.21/4.34	c (3,3) Export Begin
12.45/4.44	c (3,3) Export to HOME/scop-6885-serial-file.bin
12.45/4.44	c (3,3) Export End
12.45/4.44	c (3,3) Export File Size: 0.02 MB
12.45/4.44	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
12.45/4.45	c END-Prog: Tue Sep 24 17:28:44 CEST 2019
12.45/4.47	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6885-serial-file.bin
12.58/4.93	c (0,0) Read Serial File Begin
12.58/4.93	c (0,0) HOME/scop-6885-serial-file.bin
13.42/5.17	c (0,0) Read Serial File End
13.42/5.18	
13.42/5.18	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.42/5.18	(Solving Process)
13.42/5.18	
13.58/5.20	c BEGIN-Prog: Tue Sep 24 17:28:45 CEST 2019
13.58/5.20	c PID: 6908
13.58/5.20	c IP: 172.20.3.104
13.58/5.20	c HOST: node104.alineos.net
13.58/5.21	c (0,0) SatSolver.solve Begin
13.58/5.21	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405599-1569343143.xml-scop-6888.cnf
13.58/5.24	c (0,0) c
13.58/5.24	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
13.58/5.24	c (0,0) c
13.58/5.24	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.58/5.24	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.58/5.24	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.58/5.24	c (0,0) c |                                                                                                       |
13.58/5.24	c (0,0) c |  Number of variables:          2480                                                                   |
13.58/5.24	c (0,0) c |  Number of clauses:           15697                                                                   |
13.58/5.24	c (0,0) c |  Parse time:                   0.00 s                                                                 |
13.58/5.24	c (0,0) c |                                                                                                       |
13.58/5.24	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.58/5.25	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.58/5.25	c (0,0) c |                                                                                                       |
13.58/5.25	c (0,0) c |  Generating clones                                                                                    |
13.58/5.25	c (0,0) c |  all clones generated. Memory =    32.05Mb.                                                           |
13.58/5.25	c (0,0) c ========================================================================================================|
13.58/5.25	c (0,0) c
13.58/5.25	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.58/5.25	c (0,0) c
13.58/5.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.58/5.25	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.58/5.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.58/5.25	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.58/5.25	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.58/5.25	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.58/5.25	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.58/5.25	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.58/5.25	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.58/5.25	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.58/5.25	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.58/5.25	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.58/5.25	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.58/5.25	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.58/5.25	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.58/5.25	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.58/5.25	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.58/5.25	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.58/5.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
229.43/34.47	c (29,0) c
229.43/34.47	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
229.43/34.47	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
229.43/34.47	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
229.43/34.47	c (29,0) c |  0 |    365 |     541336 |     296125 |     9297 |    64733 |    42139 |   289177 |    15144 |      299 |  20 |  0.847 |
229.43/34.47	c (29,0) c |  1 |    324 |     520515 |     285917 |     8841 |    54531 |    37532 |   294151 |    11255 |      299 |  20 |  0.847 |
229.43/34.47	c (29,0) c |  2 |    357 |     523817 |     285198 |     9239 |    53813 |    42089 |   288827 |    10854 |      301 |  20 |  0.847 |
229.43/34.47	c (29,0) c |  3 |    370 |     541508 |     289278 |     9404 |    57887 |    40999 |   290792 |    12514 |      301 |  20 |  0.847 |
229.43/34.47	c (29,0) c |  4 |    481 |     538756 |     286361 |     9378 |    54968 |    42239 |   276948 |    15163 |      282 |  20 |  0.847 |
229.43/34.47	c (29,0) c |  5 |    310 |     533276 |     296932 |     9302 |    65552 |    48612 |   281343 |    14275 |      301 |  20 |  0.847 |
229.43/34.47	c (29,0) c |  6 |    253 |     508254 |     280705 |     9033 |    49324 |    45694 |   283793 |    12021 |      301 |  20 |  0.847 |
229.43/34.47	c (29,0) c |  7 |    408 |     525742 |     291327 |     9270 |    59946 |    43390 |   289313 |    13577 |      300 |  20 |  0.847 |
229.43/34.47	c (29,0) c 
229.43/34.47	c (29,0) c synthesis     2311843 conflicts   173450341 propagations    10730 conflicts/sec   805040 propagations/sec
229.43/34.47	c (29,0) c real: 29.2336 s, cpu: 215.456 s, memory: 629.20 Mb
424.20/63.47	c (58,0) c
424.20/63.47	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
424.20/63.47	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
424.20/63.47	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
424.20/63.47	c (58,0) c |  0 |    476 |     842951 |     453323 |     9351 |    63133 |    57485 |   388404 |    24402 |      552 |  20 |  0.847 |
424.20/63.47	c (58,0) c |  1 |    395 |     805937 |     435995 |     9239 |    45804 |    51077 |   393884 |    19662 |      552 |  20 |  0.847 |
424.20/63.47	c (58,0) c |  2 |    514 |     806806 |     432900 |     9443 |    86311 |    54147 |   393353 |    22141 |      553 |  20 |  0.847 |
424.20/63.47	c (58,0) c |  3 |    415 |     814178 |     430186 |     9463 |    83597 |    54114 |   392763 |    20644 |      553 |  20 |  0.847 |
424.20/63.47	c (58,0) c |  4 |    708 |     860142 |     448991 |     9424 |    58800 |    56082 |   381801 |    25997 |      533 |  20 |  0.848 |
424.20/63.47	c (58,0) c |  5 |    373 |     837173 |     454479 |     9386 |    64299 |    63168 |   382689 |    23406 |      553 |  20 |  0.847 |
424.20/63.47	c (58,0) c |  6 |    364 |     816205 |     435262 |     9390 |    45075 |    59428 |   383720 |    23791 |      553 |  20 |  0.847 |
424.20/63.47	c (58,0) c |  7 |    488 |     820230 |     444088 |     9404 |    53903 |    58273 |   388273 |    24509 |      552 |  20 |  0.848 |
424.20/63.47	c (58,0) c 
424.20/63.47	c (58,0) c synthesis     3535225 conflicts   264136621 propagations     8626 conflicts/sec   644530 propagations/sec
424.20/63.47	c (58,0) c real: 58.2336 s, cpu: 409.813 s, memory: 692.08 Mb
621.12/92.47	c (87,0) c
621.12/92.47	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
621.12/92.47	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
621.12/92.47	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
621.12/92.47	c (87,0) c |  0 |    643 |    1099211 |     583101 |     9377 |    97911 |    69606 |   475779 |    33969 |      800 |  20 |  0.847 |
621.12/92.47	c (87,0) c |  1 |    479 |    1079395 |     576575 |     9452 |    91380 |    63011 |   486463 |    32408 |      808 |  20 |  0.847 |
621.12/92.47	c (87,0) c |  2 |    617 |    1088627 |     576036 |     9473 |    90846 |    68625 |   477773 |    30973 |      808 |  20 |  0.848 |
621.12/92.47	c (87,0) c |  3 |    579 |    1080775 |     563466 |     9516 |    78281 |    65433 |   477770 |    32369 |      793 |  20 |  0.848 |
621.12/92.47	c (87,0) c |  4 |    842 |    1120874 |     581887 |     9446 |    96696 |    67404 |   468829 |    34710 |      788 |  20 |  0.847 |
621.12/92.47	c (87,0) c |  5 |    471 |    1099020 |     588002 |     9412 |   102812 |    76853 |   470054 |    33086 |      807 |  20 |  0.847 |
621.12/92.47	c (87,0) c |  6 |    405 |    1067627 |     568196 |     9417 |    83011 |    70241 |   471866 |    31864 |      808 |  20 |  0.847 |
621.12/92.47	c (87,0) c |  7 |    523 |    1081944 |     578321 |     9436 |    93139 |    72453 |   472224 |    32565 |      807 |  20 |  0.848 |
621.12/92.47	c (87,0) c 
621.12/92.47	c (87,0) c synthesis     4615585 conflicts   343815792 propagations     7611 conflicts/sec   566956 propagations/sec
621.12/92.47	c (87,0) c real: 87.2336 s, cpu: 606.424 s, memory: 751.35 Mb
817.12/121.47	c (116,0) c
817.12/121.47	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
817.12/121.47	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
817.12/121.47	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
817.12/121.47	c (116,0) c |  0 |    738 |    1327230 |     700426 |     9391 |   109834 |    80688 |   550003 |    41153 |     1047 |  20 |  0.847 |
817.12/121.47	c (116,0) c |  1 |    518 |    1300302 |     688388 |     9473 |    97797 |    74618 |   541591 |    40284 |     1041 |  20 |  0.848 |
817.12/121.47	c (116,0) c |  2 |    677 |    1313084 |     689949 |     9497 |    99364 |    79542 |   550950 |    38780 |     1047 |  20 |  0.848 |
817.12/121.47	c (116,0) c |  3 |    684 |    1313964 |     682558 |     9528 |    91975 |    76112 |   553773 |    40613 |     1042 |  20 |  0.847 |
817.12/121.47	c (116,0) c |  4 |    930 |    1340147 |     693158 |     9465 |   102573 |    77610 |   547645 |    43226 |     1027 |  20 |  0.848 |
817.12/121.47	c (116,0) c |  5 |    564 |    1314522 |     699588 |     9424 |   109000 |    86722 |   545410 |    41317 |     1047 |  20 |  0.847 |
817.12/121.47	c (116,0) c |  6 |    472 |    1291707 |     682248 |     9432 |    91662 |    79689 |   552401 |    41163 |     1047 |  20 |  0.847 |
817.12/121.47	c (116,0) c |  7 |    564 |    1296981 |     689839 |     9449 |    99258 |    83458 |   549054 |    41348 |     1047 |  20 |  0.847 |
817.12/121.47	c (116,0) c 
817.12/121.47	c (116,0) c synthesis     5526154 conflicts   411847455 propagations     6889 conflicts/sec   513448 propagations/sec
817.12/121.47	c (116,0) c real: 116.234 s, cpu: 802.122 s, memory: 780.99 Mb
1019.24/150.47	c (145,0) c
1019.24/150.47	c (145,0) c |------------------------------------------------------------------------------------------------------------------------|
1019.24/150.47	c (145,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1019.24/150.47	c (145,0) c |------------------------------------------------------------------------------------------------------------------------|
1019.24/150.47	c (145,0) c |  0 |    799 |    1523680 |     800045 |     9399 |    92642 |    89071 |   611867 |    47842 |     1284 |  20 |  1.090 |
1019.24/150.47	c (145,0) c |  1 |    551 |    1512357 |     794651 |     9491 |    80347 |    82372 |   622234 |    48307 |     1282 |  20 |  1.089 |
1019.24/150.47	c (145,0) c |  2 |    703 |    1507880 |     788928 |     9510 |    71043 |    88203 |   615581 |    45859 |     1284 |  20 |  1.129 |
1019.24/150.47	c (145,0) c |  3 |    733 |    1513600 |     785567 |     9536 |    72443 |    85781 |   617872 |    48033 |     1280 |  20 |  1.089 |
1019.24/150.47	c (145,0) c |  4 |    983 |    1546105 |     794701 |     9471 |    86256 |    84776 |   614058 |    51075 |     1264 |  20 |  1.008 |
1019.24/150.47	c (145,0) c |  5 |    592 |    1511081 |     801181 |     9441 |    82865 |    97697 |   604492 |    47945 |     1284 |  20 |  1.089 |
1019.24/150.47	c (145,0) c |  6 |    509 |    1479064 |     777552 |     9441 |    69714 |    89813 |   606233 |    49001 |     1284 |  20 |  0.968 |
1019.24/150.47	c (145,0) c |  7 |    579 |    1490862 |     789646 |     9461 |    77152 |    91592 |   611835 |    49070 |     1283 |  20 |  1.090 |
1019.24/150.47	c (145,0) c 
1019.24/150.47	c (145,0) c synthesis     6332271 conflicts   473465881 propagations     6308 conflicts/sec   471622 propagations/sec
1019.24/150.47	c (145,0) c real: 145.234 s, cpu: 1003.91 s, memory: 722.30 Mb
1125.03/166.51	c (161,0) c
1125.03/166.51	c (161,0) c real time : 161.281 s
1125.03/166.51	c (161,0) c cpu time  : 1109.3 s
1125.03/166.51	c (161,0) c
1125.03/166.51	c (161,0) c
1125.03/166.51	c (161,0) c
1125.03/166.51	c (161,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1125.03/166.51	c (161,0) c
1125.03/166.51	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.51	c (161,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1125.03/166.51	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.51	c (161,0) c | Conflicts     |         6638644 |     831862 |     833162 |     828435 |     824753 |     837618 |     838348 |     817518 |     826948 |
1125.03/166.51	c (161,0) c | Decisions     |        12681199 |    1586650 |    1589095 |    1582186 |    1590920 |    1628918 |    1584049 |    1557280 |    1562101 |
1125.03/166.51	c (161,0) c | Propagations  |       497396835 |   61942442 |   61869693 |   62244801 |   62649123 |   62263032 |   62070243 |   61737659 |   62619842 |
1125.03/166.51	c (161,0) c | ReduceDBs     |             196 |         25 |         25 |         24 |         24 |         25 |         25 |         24 |         24 |
1125.03/166.51	c (161,0) c | SimpDBs       |              85 |          9 |         10 |         10 |         12 |         11 |         10 |         12 |         11 |
1125.03/166.51	c (161,0) c | Restarts      |            5537 |        809 |        562 |        709 |        743 |       1011 |        601 |        520 |        582 |
1125.03/166.51	c (161,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1125.03/166.51	c (161,0) c | PropBinClauses|      1064423738 |  131589202 |  132405126 |  132826228 |  136093378 |  130253372 |  132141534 |  135736650 |  133378248 |
1125.03/166.51	c (161,0) c | PropPreBlocker|     37594246181 | 4724519596 | 4678065771 | 4741585800 | 4686031301 | 4654890482 | 4711656712 | 4723303337 | 4674193182 |
1125.03/166.51	c (161,0) c | PropNotBlocker|      6331629091 |  788582920 |  787385505 |  783294895 |  798430351 |  800985381 |  791371595 |  788186650 |  793391794 |
1125.03/166.51	c (161,0) c | LitFullScans  |     66643261195 | 8329549172 | 8329462685 | 8329783881 | 8329261241 | 8329313684 | 8330811328 | 8335583195 | 8329496009 |
1125.03/166.51	c (161,0) c | LitScanFracts |        11761500 |    1529506 |    1441518 |    1779294 |    1254089 |    1309168 |    1376609 |    1579440 |    1491876 |
1125.03/166.51	c (161,0) c | DecisionLevel0|            5634 |        820 |        571 |        724 |        756 |       1024 |        618 |        530 |        591 |
1125.03/166.51	c (161,0) c | Periods       |           11105 |       1388 |       1388 |       1388 |       1388 |       1388 |       1388 |       1389 |       1388 |
1125.03/166.51	c (161,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1125.03/166.51	c (161,0) c | Avg_Trail     |                 |        629 |        627 |        629 |        629 |        629 |        627 |        624 |        631 |
1125.03/166.51	c (161,0) c | Avg_DL        |                 |         21 |         21 |         20 |         21 |         21 |         21 |         20 |         22 |
1125.03/166.51	c (161,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1125.03/166.51	c (161,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1125.03/166.51	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.51	c (161,0) c | Exported      |          734049 |      91642 |      84110 |      90284 |      89445 |      89453 |     100922 |      93349 |      94844 |
1125.03/166.51	c (161,0) c | Imported      |         5089443 |     637617 |     644850 |     639114 |     638253 |     640040 |     628778 |     626775 |     634016 |
1125.03/166.51	c (161,0) c | Good          |           14552 |       1824 |       1834 |       1815 |       1775 |       1814 |       1830 |       1824 |       1836 |
1125.03/166.51	c (161,0) c | Purge         |         5074891 |     635793 |     643016 |     637299 |     636478 |     638226 |     626948 |     624951 |     632180 |
1125.03/166.51	c (161,0) c | Promoted      |          416250 |      51409 |      52226 |      49386 |      51653 |      54815 |      52063 |      52147 |      52551 |
1125.03/166.51	c (161,0) c | Remove_Imp    |         3984752 |     502104 |     507089 |     499530 |     498305 |     507033 |     499180 |     486073 |     485438 |
1125.03/166.51	c (161,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1125.03/166.51	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.51	c (161,0) c | Unaries       |                 |         11 |          9 |         15 |         13 |         13 |         17 |         10 |          9 |
1125.03/166.51	c (161,0) c | Binaries      |                 |        274 |        253 |        292 |        310 |        279 |        271 |        228 |        248 |
1125.03/166.51	c (161,0) c | Glues         |                 |       1011 |        969 |        995 |       1051 |       1034 |        940 |        892 |        905 |
1125.03/166.51	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.51	c (161,0) c | Orig_Seen     |            87 % |       9401 |       9497 |       9517 |       9539 |       9474 |       9447 |       9444 |       9461 |
1125.03/166.51	c (161,0) c | Diff Orig seen|                 | -       46 |         50 |         70 |         92 |         27 |      X     | -        3 |         14 |
1125.03/166.51	c (161,0) c | Hamming       |            10 % |        291 |        262 |        263 |        291 |        277 |      X     |        216 |        265 |
1125.03/166.51	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.51	c (161,0) c | RunningTime   |                 |  144.4  90%|  145.1  91%|  120.5  75%|  153.3  96%|  160.8 100%|  120.7  76%|  127.1  80%|  139.2  87%|
1125.03/166.51	c (161,0) c | WaitingTime   |                 |   15.2  10%|   14.4   9%|   39.3  25%|    6.6   4%|    0.0   0%|   38.6  24%|   32.3  20%|   20.4  13%|
1125.03/166.51	c (161,0) c | ExchangingTime|                 |    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.3   0%|
1125.03/166.51	c (161,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%|
1125.03/166.51	c (161,0) c | SolvingTime   |                 |  159.9     |  159.8     |  160.2     |  160.2     |  161.2     |  159.7     |  159.8     |  159.9     |
1125.03/166.51	c (161,0) c | PropagationTim|                 |  116.8  73%|  113.8  71%|  139.3  87%|  107.2  67%|  101.1  63%|  142.0  89%|  137.3  86%|  117.0  73%|
1125.03/166.51	c (161,0) c | AnalysisTime  |                 |   39.5  25%|   42.3  26%|   17.3  11%|   49.4  31%|   56.4  35%|   13.8   9%|   18.8  12%|   39.4  25%|
1125.03/166.51	c (161,0) c | ReductionTime |                 |    1.4   1%|    1.4   1%|    1.3   1%|    1.3   1%|    1.3   1%|    1.6   1%|    1.4   1%|    1.3   1%|
1125.03/166.51	c (161,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1125.03/166.51	c (161,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%|
1125.03/166.51	c (161,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%|
1125.03/166.51	c (161,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.51	c (161,0) c
1125.03/166.51	c (161,0) c
1125.03/166.51	c (161,0) c Threads : 8
1125.03/166.51	c (161,0) c Winner : 5
1125.03/166.51	c (161,0) c Conflicts_0 : 831862
1125.03/166.52	c (161,0) c Conflicts_1 : 833162
1125.03/166.52	c (161,0) c Conflicts_2 : 828435
1125.03/166.52	c (161,0) c Conflicts_3 : 824753
1125.03/166.52	c (161,0) c Conflicts_4 : 837618
1125.03/166.52	c (161,0) c Conflicts_5 : 838348
1125.03/166.52	c (161,0) c Conflicts_6 : 817518
1125.03/166.52	c (161,0) c Conflicts_7 : 826948
1125.03/166.52	c (161,0) c Conflicts_total : 6638644
1125.03/166.52	c (161,0) c Conflicts_winner : 838348
1125.03/166.52	c (161,0) c Decisions_0 : 1586650
1125.03/166.52	c (161,0) c Decisions_1 : 1589095
1125.03/166.52	c (161,0) c Decisions_2 : 1582186
1125.03/166.52	c (161,0) c Decisions_3 : 1590920
1125.03/166.52	c (161,0) c Decisions_4 : 1628918
1125.03/166.52	c (161,0) c Decisions_5 : 1584049
1125.03/166.52	c (161,0) c Decisions_6 : 1557280
1125.03/166.52	c (161,0) c Decisions_7 : 1562101
1125.03/166.52	c (161,0) c Decisions_total : 12681199
1125.03/166.52	c (161,0) c Decisions_winner : 1584049
1125.03/166.52	c (161,0) c Propagations_0 : 61942442
1125.03/166.52	c (161,0) c Propagations_1 : 61869693
1125.03/166.52	c (161,0) c Propagations_2 : 62244801
1125.03/166.52	c (161,0) c Propagations_3 : 62649123
1125.03/166.52	c (161,0) c Propagations_4 : 62263032
1125.03/166.52	c (161,0) c Propagations_5 : 62070243
1125.03/166.52	c (161,0) c Propagations_6 : 61737659
1125.03/166.52	c (161,0) c Propagations_7 : 62619842
1125.03/166.52	c (161,0) c Propagations_total : 497396835
1125.03/166.52	c (161,0) c Propagations_winner : 62070243
1125.03/166.52	c (161,0) c ReduceDBs_0 : 25
1125.03/166.52	c (161,0) c ReduceDBs_1 : 25
1125.03/166.52	c (161,0) c ReduceDBs_2 : 24
1125.03/166.52	c (161,0) c ReduceDBs_3 : 24
1125.03/166.52	c (161,0) c ReduceDBs_4 : 25
1125.03/166.52	c (161,0) c ReduceDBs_5 : 25
1125.03/166.52	c (161,0) c ReduceDBs_6 : 24
1125.03/166.52	c (161,0) c ReduceDBs_7 : 24
1125.03/166.52	c (161,0) c ReduceDBs_total : 196
1125.03/166.52	c (161,0) c ReduceDBs_winner : 25
1125.03/166.52	c (161,0) c SimpDBs_0 : 9
1125.03/166.52	c (161,0) c SimpDBs_1 : 10
1125.03/166.52	c (161,0) c SimpDBs_2 : 10
1125.03/166.52	c (161,0) c SimpDBs_3 : 12
1125.03/166.52	c (161,0) c SimpDBs_4 : 11
1125.03/166.52	c (161,0) c SimpDBs_5 : 10
1125.03/166.52	c (161,0) c SimpDBs_6 : 12
1125.03/166.52	c (161,0) c SimpDBs_7 : 11
1125.03/166.52	c (161,0) c SimpDBs_total : 85
1125.03/166.52	c (161,0) c SimpDBs_winner : 10
1125.03/166.52	c (161,0) c Restarts_0 : 809
1125.03/166.52	c (161,0) c Restarts_1 : 562
1125.03/166.52	c (161,0) c Restarts_2 : 709
1125.03/166.52	c (161,0) c Restarts_3 : 743
1125.03/166.52	c (161,0) c Restarts_4 : 1011
1125.03/166.52	c (161,0) c Restarts_5 : 601
1125.03/166.52	c (161,0) c Restarts_6 : 520
1125.03/166.52	c (161,0) c Restarts_7 : 582
1125.03/166.52	c (161,0) c Restarts_total : 5537
1125.03/166.52	c (161,0) c Restarts_winner : 601
1125.03/166.52	c (161,0) c ForcedImports_0 : 0
1125.03/166.52	c (161,0) c ForcedImports_1 : 0
1125.03/166.52	c (161,0) c ForcedImports_2 : 0
1125.03/166.52	c (161,0) c ForcedImports_3 : 0
1125.03/166.52	c (161,0) c ForcedImports_4 : 0
1125.03/166.52	c (161,0) c ForcedImports_5 : 0
1125.03/166.52	c (161,0) c ForcedImports_6 : 0
1125.03/166.52	c (161,0) c ForcedImports_7 : 0
1125.03/166.52	c (161,0) c ForcedImports_total : 0
1125.03/166.52	c (161,0) c ForcedImports_winner : 0
1125.03/166.52	c (161,0) c PropsBinClauses_0 : 131589202
1125.03/166.52	c (161,0) c PropsBinClauses_1 : 132405126
1125.03/166.52	c (161,0) c PropsBinClauses_2 : 132826228
1125.03/166.52	c (161,0) c PropsBinClauses_3 : 136093378
1125.03/166.52	c (161,0) c PropsBinClauses_4 : 130253372
1125.03/166.52	c (161,0) c PropsBinClauses_5 : 132141534
1125.03/166.52	c (161,0) c PropsBinClauses_6 : 135736650
1125.03/166.52	c (161,0) c PropsBinClauses_7 : 133378248
1125.03/166.52	c (161,0) c PropsBinClauses_total : 1064423738
1125.03/166.52	c (161,0) c PropsBinClauses_winner : 132141534
1125.03/166.52	c (161,0) c PropsPreBlocker_0 : 4724519596
1125.03/166.52	c (161,0) c PropsPreBlocker_1 : 4678065771
1125.03/166.52	c (161,0) c PropsPreBlocker_2 : 4741585800
1125.03/166.52	c (161,0) c PropsPreBlocker_3 : 4686031301
1125.03/166.52	c (161,0) c PropsPreBlocker_4 : 4654890482
1125.03/166.52	c (161,0) c PropsPreBlocker_5 : 4711656712
1125.03/166.52	c (161,0) c PropsPreBlocker_6 : 4723303337
1125.03/166.52	c (161,0) c PropsPreBlocker_7 : 4674193182
1125.03/166.52	c (161,0) c PropsPreBlocker_total : 37594246181
1125.03/166.52	c (161,0) c PropsPreBlocker_winner : 4711656712
1125.03/166.52	c (161,0) c PropsNotBlocker_0 : 788582920
1125.03/166.52	c (161,0) c PropsNotBlocker_1 : 787385505
1125.03/166.52	c (161,0) c PropsNotBlocker_2 : 783294895
1125.03/166.52	c (161,0) c PropsNotBlocker_3 : 798430351
1125.03/166.52	c (161,0) c PropsNotBlocker_4 : 800985381
1125.03/166.52	c (161,0) c PropsNotBlocker_5 : 791371595
1125.03/166.52	c (161,0) c PropsNotBlocker_6 : 788186650
1125.03/166.52	c (161,0) c PropsNotBlocker_7 : 793391794
1125.03/166.52	c (161,0) c PropsNotBlocker_total : 6331629091
1125.03/166.52	c (161,0) c PropsNotBlocker_winner : 791371595
1125.03/166.52	c (161,0) c PropsLitFullScans_0 : 8329549172
1125.03/166.52	c (161,0) c PropsLitFullScans_1 : 8329462685
1125.03/166.52	c (161,0) c PropsLitFullScans_2 : 8329783881
1125.03/166.52	c (161,0) c PropsLitFullScans_3 : 8329261241
1125.03/166.52	c (161,0) c PropsLitFullScans_4 : 8329313684
1125.03/166.52	c (161,0) c PropsLitFullScans_5 : 8330811328
1125.03/166.52	c (161,0) c PropsLitFullScans_6 : 8335583195
1125.03/166.52	c (161,0) c PropsLitFullScans_7 : 8329496009
1125.03/166.52	c (161,0) c PropsLitFullScans_total : 66643261195
1125.03/166.52	c (161,0) c PropsLitFullScans_winner : 8330811328
1125.03/166.52	c (161,0) c LitScanFractions_0 : 1529506
1125.03/166.52	c (161,0) c LitScanFractions_1 : 1441518
1125.03/166.52	c (161,0) c LitScanFractions_2 : 1779294
1125.03/166.52	c (161,0) c LitScanFractions_3 : 1254089
1125.03/166.52	c (161,0) c LitScanFractions_4 : 1309168
1125.03/166.52	c (161,0) c LitScanFractions_5 : 1376609
1125.03/166.52	c (161,0) c LitScanFractions_6 : 1579440
1125.03/166.52	c (161,0) c LitScanFractions_7 : 1491876
1125.03/166.52	c (161,0) c LitScanFractions_total : 11761500
1125.03/166.52	c (161,0) c LitScanFractions_winner : 1376609
1125.03/166.52	c (161,0) c DecisionLevel0_0 : 820
1125.03/166.52	c (161,0) c DecisionLevel0_1 : 571
1125.03/166.52	c (161,0) c DecisionLevel0_2 : 724
1125.03/166.52	c (161,0) c DecisionLevel0_3 : 756
1125.03/166.52	c (161,0) c DecisionLevel0_4 : 1024
1125.03/166.52	c (161,0) c DecisionLevel0_5 : 618
1125.03/166.52	c (161,0) c DecisionLevel0_6 : 530
1125.03/166.52	c (161,0) c DecisionLevel0_7 : 591
1125.03/166.52	c (161,0) c DecisionLevel0_total : 5634
1125.03/166.52	c (161,0) c DecisionLevel0_winner : 618
1125.03/166.52	c (161,0) c Periods_0 : 1388
1125.03/166.52	c (161,0) c Periods_1 : 1388
1125.03/166.52	c (161,0) c Periods_2 : 1388
1125.03/166.52	c (161,0) c Periods_3 : 1388
1125.03/166.52	c (161,0) c Periods_4 : 1388
1125.03/166.52	c (161,0) c Periods_5 : 1388
1125.03/166.52	c (161,0) c Periods_6 : 1389
1125.03/166.52	c (161,0) c Periods_7 : 1388
1125.03/166.52	c (161,0) c Periods_total : 11105
1125.03/166.52	c (161,0) c Periods_winner : 1388
1125.03/166.52	c (161,0) c Margin_0 : 20
1125.03/166.52	c (161,0) c Margin_1 : 20
1125.03/166.52	c (161,0) c Margin_2 : 20
1125.03/166.52	c (161,0) c Margin_3 : 20
1125.03/166.52	c (161,0) c Margin_4 : 20
1125.03/166.52	c (161,0) c Margin_5 : 20
1125.03/166.52	c (161,0) c Margin_6 : 20
1125.03/166.52	c (161,0) c Margin_7 : 20
1125.03/166.52	c (161,0) c Margin_total : 160
1125.03/166.52	c (161,0) c Margin_winner : 20
1125.03/166.52	c (161,0) c Exported_0 : 91642
1125.03/166.52	c (161,0) c Exported_1 : 84110
1125.03/166.52	c (161,0) c Exported_2 : 90284
1125.03/166.52	c (161,0) c Exported_3 : 89445
1125.03/166.52	c (161,0) c Exported_4 : 89453
1125.03/166.52	c (161,0) c Exported_5 : 100922
1125.03/166.52	c (161,0) c Exported_6 : 93349
1125.03/166.52	c (161,0) c Exported_7 : 94844
1125.03/166.52	c (161,0) c Exported_total : 734049
1125.03/166.52	c (161,0) c Exported_winner : 100922
1125.03/166.52	c (161,0) c Imported_0 : 637617
1125.03/166.52	c (161,0) c Imported_1 : 644850
1125.03/166.52	c (161,0) c Imported_2 : 639114
1125.03/166.52	c (161,0) c Imported_3 : 638253
1125.03/166.52	c (161,0) c Imported_4 : 640040
1125.03/166.52	c (161,0) c Imported_5 : 628778
1125.03/166.52	c (161,0) c Imported_6 : 626775
1125.03/166.52	c (161,0) c Imported_7 : 634016
1125.03/166.52	c (161,0) c Imported_total : 5089443
1125.03/166.52	c (161,0) c Imported_winner : 628778
1125.03/166.52	c (161,0) c Good_0 : 1824
1125.03/166.52	c (161,0) c Good_1 : 1834
1125.03/166.52	c (161,0) c Good_2 : 1815
1125.03/166.52	c (161,0) c Good_3 : 1775
1125.03/166.52	c (161,0) c Good_4 : 1814
1125.03/166.52	c (161,0) c Good_5 : 1830
1125.03/166.52	c (161,0) c Good_6 : 1824
1125.03/166.52	c (161,0) c Good_7 : 1836
1125.03/166.52	c (161,0) c Good_total : 14552
1125.03/166.52	c (161,0) c Good_winner : 1830
1125.03/166.52	c (161,0) c Purge_0 : 635793
1125.03/166.52	c (161,0) c Purge_1 : 643016
1125.03/166.52	c (161,0) c Purge_2 : 637299
1125.03/166.52	c (161,0) c Purge_3 : 636478
1125.03/166.52	c (161,0) c Purge_4 : 638226
1125.03/166.52	c (161,0) c Purge_5 : 626948
1125.03/166.52	c (161,0) c Purge_6 : 624951
1125.03/166.52	c (161,0) c Purge_7 : 632180
1125.03/166.52	c (161,0) c Purge_total : 5074891
1125.03/166.52	c (161,0) c Purge_winner : 626948
1125.03/166.52	c (161,0) c Promoted_0 : 51409
1125.03/166.52	c (161,0) c Promoted_1 : 52226
1125.03/166.52	c (161,0) c Promoted_2 : 49386
1125.03/166.52	c (161,0) c Promoted_3 : 51653
1125.03/166.52	c (161,0) c Promoted_4 : 54815
1125.03/166.52	c (161,0) c Promoted_5 : 52063
1125.03/166.52	c (161,0) c Promoted_6 : 52147
1125.03/166.52	c (161,0) c Promoted_7 : 52551
1125.03/166.52	c (161,0) c Promoted_total : 416250
1125.03/166.52	c (161,0) c Promoted_winner : 52063
1125.03/166.52	c (161,0) c Remove_Imp_0 : 502104
1125.03/166.52	c (161,0) c Remove_Imp_1 : 507089
1125.03/166.52	c (161,0) c Remove_Imp_2 : 499530
1125.03/166.52	c (161,0) c Remove_Imp_3 : 498305
1125.03/166.52	c (161,0) c Remove_Imp_4 : 507033
1125.03/166.52	c (161,0) c Remove_Imp_5 : 499180
1125.03/166.52	c (161,0) c Remove_Imp_6 : 486073
1125.03/166.52	c (161,0) c Remove_Imp_7 : 485438
1125.03/166.52	c (161,0) c Remove_Imp_total : 3984752
1125.03/166.52	c (161,0) c Remove_Imp_winner : 499180
1125.03/166.52	c (161,0) c Blocked_Reuse_0 : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_1 : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_2 : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_3 : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_4 : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_5 : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_6 : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_7 : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_total : 0
1125.03/166.52	c (161,0) c Blocked_Reuse_winner : 0
1125.03/166.52	c (161,0) c Unaries_0 : 11
1125.03/166.52	c (161,0) c Unaries_1 : 9
1125.03/166.52	c (161,0) c Unaries_2 : 15
1125.03/166.52	c (161,0) c Unaries_3 : 13
1125.03/166.52	c (161,0) c Unaries_4 : 13
1125.03/166.52	c (161,0) c Unaries_5 : 17
1125.03/166.52	c (161,0) c Unaries_6 : 10
1125.03/166.52	c (161,0) c Unaries_7 : 9
1125.03/166.52	c (161,0) c Unaries_total : 97
1125.03/166.52	c (161,0) c Unaries_winner : 17
1125.03/166.52	c (161,0) c Binaries_0 : 274
1125.03/166.52	c (161,0) c Binaries_1 : 253
1125.03/166.52	c (161,0) c Binaries_2 : 292
1125.03/166.52	c (161,0) c Binaries_3 : 310
1125.03/166.52	c (161,0) c Binaries_4 : 279
1125.03/166.52	c (161,0) c Binaries_5 : 271
1125.03/166.52	c (161,0) c Binaries_6 : 228
1125.03/166.52	c (161,0) c Binaries_7 : 248
1125.03/166.52	c (161,0) c Binaries_total : 2155
1125.03/166.52	c (161,0) c Binaries_winner : 271
1125.03/166.52	c (161,0) c Glues_0 : 1011
1125.03/166.52	c (161,0) c Glues_1 : 969
1125.03/166.52	c (161,0) c Glues_2 : 995
1125.03/166.52	c (161,0) c Glues_3 : 1051
1125.03/166.52	c (161,0) c Glues_4 : 1034
1125.03/166.52	c (161,0) c Glues_5 : 940
1125.03/166.52	c (161,0) c Glues_6 : 892
1125.03/166.52	c (161,0) c Glues_7 : 905
1125.03/166.52	c (161,0) c Glues_total : 7797
1125.03/166.52	c (161,0) c Glues_winner : 940
1125.03/166.52	c (161,0) c RunningTime_0 : 144.373669
1125.03/166.52	c (161,0) c RunningTime_1 : 145.059162
1125.03/166.52	c (161,0) c RunningTime_2 : 120.530221
1125.03/166.52	c (161,0) c RunningTime_3 : 153.312686
1125.03/166.52	c (161,0) c RunningTime_4 : 160.771491
1125.03/166.52	c (161,0) c RunningTime_5 : 120.735865
1125.03/166.52	c (161,0) c RunningTime_6 : 127.119581
1125.03/166.52	c (161,0) c RunningTime_7 : 139.155734
1125.03/166.52	c (161,0) c RunningTime_total : 1111.058409
1125.03/166.52	c (161,0) c RunningTime_winner : 120.735865
1125.03/166.52	c (161,0) c WaitingTime_0 : 15.209017
1125.03/166.52	c (161,0) c WaitingTime_1 : 14.406479
1125.03/166.52	c (161,0) c WaitingTime_2 : 39.298930
1125.03/166.52	c (161,0) c WaitingTime_3 : 6.559815
1125.03/166.52	c (161,0) c WaitingTime_4 : 0.001742
1125.03/166.52	c (161,0) c WaitingTime_5 : 38.594376
1125.03/166.52	c (161,0) c WaitingTime_6 : 32.317521
1125.03/166.52	c (161,0) c WaitingTime_7 : 20.425586
1125.03/166.52	c (161,0) c WaitingTime_total : 166.813466
1125.03/166.52	c (161,0) c WaitingTime_winner : 38.594376
1125.03/166.52	c (161,0) c ExchangingTime_0 : 0.328957
1125.03/166.52	c (161,0) c ExchangingTime_1 : 0.361249
1125.03/166.54	c (161,0) c ExchangingTime_2 : 0.352599
1125.03/166.54	c (161,0) c ExchangingTime_3 : 0.345165
1125.03/166.54	c (161,0) c ExchangingTime_4 : 0.382421
1125.03/166.54	c (161,0) c ExchangingTime_5 : 0.379398
1125.03/166.54	c (161,0) c ExchangingTime_6 : 0.392385
1125.03/166.54	c (161,0) c ExchangingTime_7 : 0.323179
1125.03/166.54	c (161,0) c ExchangingTime_total : 2.865352
1125.03/166.54	c (161,0) c ExchangingTime_winner : 0.379398
1125.03/166.54	c (161,0) c PeriodProcTime_0 : 0.013117
1125.03/166.54	c (161,0) c PeriodProcTime_1 : 0.013207
1125.03/166.54	c (161,0) c PeriodProcTime_2 : 0.013035
1125.03/166.54	c (161,0) c PeriodProcTime_3 : 0.012985
1125.03/166.54	c (161,0) c PeriodProcTime_4 : 0.020386
1125.03/166.54	c (161,0) c PeriodProcTime_5 : 0.013602
1125.03/166.54	c (161,0) c PeriodProcTime_6 : 0.013650
1125.03/166.54	c (161,0) c PeriodProcTime_7 : 0.012906
1125.03/166.54	c (161,0) c PeriodProcTime_total : 0.112887
1125.03/166.54	c (161,0) c PeriodProcTime_winner : 0.013602
1125.03/166.54	c (161,0) c SolvingTime_0 : 159.924759
1125.03/166.54	c (161,0) c SolvingTime_1 : 159.840097
1125.03/166.54	c (161,0) c SolvingTime_2 : 160.194784
1125.03/166.54	c (161,0) c SolvingTime_3 : 160.230652
1125.03/166.54	c (161,0) c SolvingTime_4 : 161.176040
1125.03/166.54	c (161,0) c SolvingTime_5 : 159.723241
1125.03/166.54	c (161,0) c SolvingTime_6 : 159.843137
1125.03/166.54	c (161,0) c SolvingTime_7 : 159.917405
1125.03/166.54	c (161,0) c SolvingTime_total : 1280.850114
1125.03/166.54	c (161,0) c SolvingTime_winner : 159.723241
1125.03/166.54	c (161,0) c PropagationTime_0 : 116.776504
1125.03/166.54	c (161,0) c PropagationTime_1 : 113.836854
1125.03/166.54	c (161,0) c PropagationTime_2 : 139.255026
1125.03/166.54	c (161,0) c PropagationTime_3 : 107.200544
1125.03/166.54	c (161,0) c PropagationTime_4 : 101.086556
1125.03/166.54	c (161,0) c PropagationTime_5 : 141.996460
1125.03/166.54	c (161,0) c PropagationTime_6 : 137.322007
1125.03/166.54	c (161,0) c PropagationTime_7 : 117.028220
1125.03/166.54	c (161,0) c PropagationTime_total : 974.502171
1125.03/166.54	c (161,0) c PropagationTime_winner : 141.996460
1125.03/166.54	c (161,0) c AnalysisTime_0 : 39.506680
1125.03/166.54	c (161,0) c AnalysisTime_1 : 42.290241
1125.03/166.54	c (161,0) c AnalysisTime_2 : 17.346120
1125.03/166.54	c (161,0) c AnalysisTime_3 : 49.359757
1125.03/166.54	c (161,0) c AnalysisTime_4 : 56.421670
1125.03/166.54	c (161,0) c AnalysisTime_5 : 13.798331
1125.03/166.54	c (161,0) c AnalysisTime_6 : 18.824295
1125.03/166.54	c (161,0) c AnalysisTime_7 : 39.355803
1125.03/166.54	c (161,0) c AnalysisTime_total : 276.902897
1125.03/166.54	c (161,0) c AnalysisTime_winner : 13.798331
1125.03/166.54	c (161,0) c ReductionTime_0 : 1.445374
1125.03/166.54	c (161,0) c ReductionTime_1 : 1.423670
1125.03/166.54	c (161,0) c ReductionTime_2 : 1.299209
1125.03/166.54	c (161,0) c ReductionTime_3 : 1.345345
1125.03/166.54	c (161,0) c ReductionTime_4 : 1.327055
1125.03/166.54	c (161,0) c ReductionTime_5 : 1.607198
1125.03/166.54	c (161,0) c ReductionTime_6 : 1.376808
1125.03/166.54	c (161,0) c ReductionTime_7 : 1.329876
1125.03/166.54	c (161,0) c ReductionTime_total : 11.154534
1125.03/166.54	c (161,0) c ReductionTime_winner : 1.607198
1125.03/166.54	c (161,0) c SimplifyTime_0 : 0.058359
1125.03/166.54	c (161,0) c SimplifyTime_1 : 0.049148
1125.03/166.54	c (161,0) c SimplifyTime_2 : 0.115500
1125.03/166.54	c (161,0) c SimplifyTime_3 : 0.110801
1125.03/166.54	c (161,0) c SimplifyTime_4 : 0.051400
1125.03/166.54	c (161,0) c SimplifyTime_5 : 0.117326
1125.03/166.54	c (161,0) c SimplifyTime_6 : 0.117637
1125.03/166.54	c (161,0) c SimplifyTime_7 : 0.054928
1125.03/166.54	c (161,0) c SimplifyTime_total : 0.675099
1125.03/166.54	c (161,0) c SimplifyTime_winner : 0.117326
1125.03/166.54	c (161,0) c UsedRateTime_0 : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_1 : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_2 : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_3 : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_4 : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_5 : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_6 : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_7 : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_total : 0.000000
1125.03/166.54	c (161,0) c UsedRateTime_winner : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_0 : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_1 : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_2 : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_3 : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_4 : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_5 : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_6 : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_7 : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_total : 0.000000
1125.03/166.54	c (161,0) c OverlapRateTime_winner : 0.000000
1125.03/166.54	c (161,0) c
1125.03/166.54	c (161,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1125.03/166.54	c (161,0) c
1125.03/166.54	c (161,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.54	c (161,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1125.03/166.54	c (161,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.54	c (161,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1125.03/166.54	c (161,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1125.03/166.54	c (161,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1125.03/166.54	c (161,0) c | Initial random_seed   |  226624572 |  168317169 |  613179294 |   49476567 |  384444753 |  315233000 | 1260629364 |  473893524 |
1125.03/166.54	c (161,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1125.03/166.54	c (161,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1125.03/166.54	c (161,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1125.03/166.54	c (161,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1125.03/166.54	c (161,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1125.03/166.54	c (161,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1125.03/166.54	c (161,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1125.03/166.54	c (161,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1125.03/166.54	c (161,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1125.03/166.54	c (161,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1125.03/166.54	c (161,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1125.03/166.54	c (161,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1125.03/166.54	c (161,0) 
1125.03/166.54	c (161,0) s UNSATISFIABLE
1125.03/166.54	c (161,0) SatSolver.solve End
1125.03/166.54	c (161,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1125.03/166.54	c (161,0) Show results Begin
1125.03/166.54	s UNSATISFIABLE
1125.03/166.54	c (161,0) Show results End
1125.03/166.54	c (161,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1125.03/166.55	c (161,0) 161,161,STOP-AFTER(ALL)
1125.03/166.55	c END-Prog: Tue Sep 24 17:31:27 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 (13808 MiB free)
  memory of node 1: 16384 MiB (12344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405599-1569343143/watcher-4405599-1569343143 -o /tmp/evaluation-result-4405599-1569343143/solver-4405599-1569343143 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405599-1569343143.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=6885, runsolver pid=6882
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 6.73 7.05 7.06 2/210 6907
/proc/meminfo: memFree=26688132/32770624 swapFree=66986400/67108860
[pid=6885] ppid=6882 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6885/stat : 6885 (scop.sh) S 6882 6885 4774 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510570967 115843072 349 33554432000 4194304 5098028 140726272770704 140726272767960 139963291681404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27492352 140726272774948 140726272775276 140726272775276 140726272778189 0
/proc/6885/statm: 28282 349 296 221 0 87 0
[pid=6888] ppid=6885 vsize=27314120 memory=104536 CPUtime=0.11 cores=0-7
/proc/6888/stat : 6888 (java) S 6885 6885 4774 0 -1 1077944320 6661 0 0 0 8 3 0 0 20 0 20 0 510570968 27969658880 26134 33554432000 4194304 4196468 140726321837920 140726321820464 140625820491511 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
/proc/6888/statm: 6828530 26134 2815 1 0 6790935 0
[pid=6888/tid=6889] ppid=6885 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/6888/task/6889/stat : 6889 (java) R 6885 6885 4774 0 -1 4202560 4745 0 0 0 6 2 0 0 20 0 20 0 510570968 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625792317840 140625803475872 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6890] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6890/stat : 6890 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625824734352 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6891] ppid=6885 vsize=27314120 memory=15958058915206808 CPUtime=0 cores=0-7
/proc/6888/task/6891/stat : 6891 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625638890512 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6892] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6892/stat : 6892 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625637837712 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6893] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6893/stat : 6893 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625636784912 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6894] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6894/stat : 6894 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625635732112 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6895] ppid=6885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6888/task/6895/stat : 6895 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625634679312 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6896] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6896/stat : 6896 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625633626512 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6897] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6897/stat : 6897 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 26134 33554432000 4194304 4196468 140726321837920 140625632573712 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6898] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6898/stat : 6898 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570972 27969658880 26134 33554432000 4194304 4196468 140726321837920 140624273591152 140625820502658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6899] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6899/stat : 6899 (java) S 6885 6885 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510570973 27969658880 26134 33554432000 4194304 4196468 140726321837920 140623470388768 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6900] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6900/stat : 6900 (java) S 6885 6885 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510570973 27969658880 26134 33554432000 4194304 4196468 140726321837920 140623336166768 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6901] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6901/stat : 6901 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 26134 33554432000 4194304 4196468 140726321837920 140622961662288 140625820510107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6902] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6902/stat : 6902 (java) R 6885 6885 4774 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 26134 33554432000 4194304 4196468 140726321837920 140624272537968 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6903] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6903/stat : 6903 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 26134 33554432000 4194304 4196468 140726321837920 140624271485168 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6904] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6904/stat : 6904 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 26134 33554432000 4194304 4196468 140726321837920 140624270432368 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6905] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6905/stat : 6905 (java) R 6885 6885 4774 0 -1 4202560 266 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 26134 33554432000 4194304 4196468 140726321837920 140624269379568 140625820503446 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6906] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6906/stat : 6906 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570976 27969658880 26134 33554432000 4194304 4196468 140726321837920 140622463757408 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6907] ppid=6885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6888/task/6907/stat : 6907 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570976 27969658880 26134 33554432000 4194304 4196468 140726321837920 140624268327984 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105932 KiB

[startup+0.210221 s]*
/proc/loadavg: 6.73 7.05 7.06 4/210 6907
/proc/meminfo: memFree=26666692/32770624 swapFree=66986400/67108860
[pid=6885] ppid=6882 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6885/stat : 6885 (scop.sh) S 6882 6885 4774 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510570967 115843072 349 33554432000 4194304 5098028 140726272770704 140726272767960 139963291681404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27492352 140726272774948 140726272775276 140726272775276 140726272778189 0
/proc/6885/statm: 28282 349 296 221 0 87 0
[pid=6888] ppid=6885 vsize=27314120 memory=123392 CPUtime=0.25 cores=0-7
/proc/6888/stat : 6888 (java) S 6885 6885 4774 0 -1 1077944320 12284 0 0 0 20 5 0 0 20 0 20 0 510570968 27969658880 30848 33554432000 4194304 4196468 140726321837920 140726321820464 140625820491511 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
/proc/6888/statm: 6828530 30848 2943 1 0 6790935 0
[pid=6888/tid=6889] ppid=6885 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6888/task/6889/stat : 6889 (java) R 6885 6885 4774 0 -1 4202560 9990 0 0 0 16 4 0 0 20 0 20 0 510570968 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625792290896 140625803678320 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6890] ppid=6885 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/6888/task/6890/stat : 6890 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625824734352 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6891] ppid=6885 vsize=27314120 memory=13711756659660440 CPUtime=0 cores=0-7
/proc/6888/task/6891/stat : 6891 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625638890512 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6892] ppid=6885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6888/task/6892/stat : 6892 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625637837712 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6893] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6893/stat : 6893 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625636784912 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6894] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6894/stat : 6894 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625635732112 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6895] ppid=6885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6888/task/6895/stat : 6895 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625634679312 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6896] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6896/stat : 6896 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625633626512 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6897] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6897/stat : 6897 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 30848 33554432000 4194304 4196468 140726321837920 140625632573712 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6898] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6898/stat : 6898 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570972 27969658880 30848 33554432000 4194304 4196468 140726321837920 140624273591152 140625820502658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6899] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6899/stat : 6899 (java) S 6885 6885 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510570973 27969658880 30848 33554432000 4194304 4196468 140726321837920 140623470388768 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6900] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6900/stat : 6900 (java) S 6885 6885 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510570973 27969658880 30848 33554432000 4194304 4196468 140726321837920 140623336166768 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6901] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6901/stat : 6901 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 30848 33554432000 4194304 4196468 140726321837920 140622961662288 140625820510107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6902] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6902/stat : 6902 (java) S 6885 6885 4774 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 30848 33554432000 4194304 4196468 140726321837920 140624272537968 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6903] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6903/stat : 6903 (java) S 6885 6885 4774 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 30848 33554432000 4194304 4196468 140726321837920 140624271485168 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6904] ppid=6885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6888/task/6904/stat : 6904 (java) S 6885 6885 4774 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 30848 33554432000 4194304 4196468 140726321837920 140624270432368 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6905] ppid=6885 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/6888/task/6905/stat : 6905 (java) S 6885 6885 4774 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 510570975 27969658880 30848 33554432000 4194304 4196468 140726321837920 140624269379568 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6906] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6906/stat : 6906 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570976 27969658880 30848 33554432000 4194304 4196468 140726321837920 140622463757408 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6907] ppid=6885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6888/task/6907/stat : 6907 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570976 27969658880 30848 33554432000 4194304 4196468 140726321837920 140624268327984 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124788 KiB

[startup+0.309332 s]*
/proc/loadavg: 6.73 7.05 7.06 2/210 6907
/proc/meminfo: memFree=26662784/32770624 swapFree=66986400/67108860
[pid=6885] ppid=6882 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6885/stat : 6885 (scop.sh) S 6882 6885 4774 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510570967 115843072 349 33554432000 4194304 5098028 140726272770704 140726272767960 139963291681404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27492352 140726272774948 140726272775276 140726272775276 140726272778189 0
/proc/6885/statm: 28282 349 296 221 0 87 0
[pid=6888] ppid=6885 vsize=27314120 memory=127592 CPUtime=0.42 cores=0-7
/proc/6888/stat : 6888 (java) S 6885 6885 4774 0 -1 1077944320 13299 0 0 0 37 5 0 0 20 0 20 0 510570968 27969658880 31898 33554432000 4194304 4196468 140726321837920 140726321820464 140625820491511 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
/proc/6888/statm: 6828530 31898 3029 1 0 6790935 0
[pid=6888/tid=6889] ppid=6885 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/6888/task/6889/stat : 6889 (java) R 6885 6885 4774 0 -1 4202560 10816 0 0 0 25 4 0 0 20 0 20 0 510570968 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625792321584 140625800766898 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6890] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6890/stat : 6890 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625824734352 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6891] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6891/stat : 6891 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625638890512 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6892] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6892/stat : 6892 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625637837712 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6893] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6893/stat : 6893 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625636784912 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6894] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6894/stat : 6894 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625635732112 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6895] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6895/stat : 6895 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625634679312 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6896] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6896/stat : 6896 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625633626512 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6897] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6897/stat : 6897 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27969658880 31898 33554432000 4194304 4196468 140726321837920 140625632573712 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6898] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6898/stat : 6898 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510570972 27969658880 31898 33554432000 4194304 4196468 140726321837920 140624273591152 140625820502658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6899] ppid=6885 vsize=27314120 memory=280520554651008 CPUtime=0 cores=0-7
/proc/6888/task/6899/stat : 6899 (java) S 6885 6885 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510570973 27969658880 31898 33554432000 4194304 4196468 140726321837920 140623470388768 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6900] ppid=6885 vsize=27314120 memory=280520554655616 CPUtime=0 cores=0-7
/proc/6888/task/6900/stat : 6900 (java) S 6885 6885 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510570973 27969658880 31898 33554432000 4194304 4196468 140726321837920 140623336166768 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6901] ppid=6885 vsize=27314120 memory=280520554660224 CPUtime=0 cores=0-7
/proc/6888/task/6901/stat : 6901 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 31898 33554432000 4194304 4196468 140726321837920 140622961662288 140625820510107 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6902] ppid=6885 vsize=27314120 memory=280520554664832 CPUtime=0 cores=0-7
/proc/6888/task/6902/stat : 6902 (java) S 6885 6885 4774 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510570975 27969658880 31898 33554432000 4194304 4196468 140726321837920 140624272537968 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6903] ppid=6885 vsize=27314120 memory=280520554669440 CPUtime=0.01 cores=0-7
/proc/6888/task/6903/stat : 6903 (java) S 6885 6885 4774 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 510570975 27969658880 31898 33554432000 4194304 4196468 140726321837920 140624271485168 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6904] ppid=6885 vsize=27314120 memory=280520554674048 CPUtime=0.01 cores=0-7
/proc/6888/task/6904/stat : 6904 (java) S 6885 6885 4774 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 510570975 27969658880 31898 33554432000 4194304 4196468 140726321837920 140624270432368 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6905] ppid=6885 vsize=27314120 memory=280520554678656 CPUtime=0.07 cores=0-7
/proc/6888/task/6905/stat : 6905 (java) S 6885 6885 4774 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 510570975 27969658880 31898 33554432000 4194304 4196468 140726321837920 140624269379568 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6906] ppid=6885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6906/stat : 6906 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570976 27969658880 31898 33554432000 4194304 4196468 140726321837920 140622463757408 140625820501717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6907] ppid=6885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6888/task/6907/stat : 6907 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570976 27969658880 31898 33554432000 4194304 4196468 140726321837920 140624268327984 140625820502658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128988 KiB

[startup+0.700873 s]
/proc/loadavg: 6.73 7.05 7.06 3/210 6907
/proc/meminfo: memFree=26642068/32770624 swapFree=66986400/67108860
[pid=6885] ppid=6882 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6885/stat : 6885 (scop.sh) S 6882 6885 4774 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510570967 115843072 349 33554432000 4194304 5098028 140726272770704 140726272767960 139963291681404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27492352 140726272774948 140726272775276 140726272775276 140726272778189 0
/proc/6885/statm: 28282 349 296 221 0 87 0
[pid=6888] ppid=6885 vsize=27320392 memory=162556 CPUtime=0.98 cores=0-7
/proc/6888/stat : 6888 (java) S 6885 6885 4774 0 -1 1077944320 20349 0 0 0 90 8 0 0 20 0 20 0 510570968 27976081408 40639 33554432000 4194304 4196468 140726321837920 140726321820464 140625820491511 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
/proc/6888/statm: 6830098 40639 3183 1 0 6791447 0
[pid=6888/tid=6889] ppid=6885 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/6888/task/6889/stat : 6889 (java) R 6885 6885 4774 0 -1 4202560 17388 0 0 0 61 7 0 0 20 0 20 0 510570968 27976081408 40639 33554432000 4194304 4196468 140726321837920 140625792329040 140625820503446 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6890] ppid=6885 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6890/stat : 6890 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27976081408 40639 33554432000 4194304 4196468 140726321837920 140625824734352 140625820501717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6891] ppid=6885 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6888/task/6891/stat : 6891 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510570971 27976081408 40639 33554432000 4194304 4196468 140726321837920 140625638890512 140625820501717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0
[pid=6888/tid=6892] ppid=6885 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/6888/task/6892/stat : 6892 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510570971 27976081408 40639 33554432000 4194304 4196468 140726321837920 140625637837712 140625820501717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140726321844971 140726321845398 140726321845398 140726321848271 0

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

[pid=6908/tid=6918] ppid=6885 vsize=8414124 memory=169827301864934 CPUtime=0 cores=0-7
/proc/6908/task/6918/stat : 6918 (java) S 6885 6885 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510571418 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255208024432 140255980300930 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6919] ppid=6885 vsize=8414124 memory=5450909908396308010 CPUtime=0 cores=0-7
/proc/6908/task/6919/stat : 6919 (java) S 6885 6885 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510571419 8616062976 29835 33554432000 4194304 4196468 140724523681328 140254304527392 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6920] ppid=6885 vsize=8414124 memory=7813011349555015021 CPUtime=0 cores=0-7
/proc/6908/task/6920/stat : 6920 (java) S 6885 6885 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510571419 8616062976 29835 33554432000 4194304 4196468 140724523681328 140254170305392 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6921] ppid=6885 vsize=8414124 memory=7234303074992221802 CPUtime=0 cores=0-7
/proc/6908/task/6921/stat : 6921 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140253795800912 140255980308379 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6922] ppid=6885 vsize=8414124 memory=5931919551970895721 CPUtime=0.06 cores=0-7
/proc/6908/task/6922/stat : 6922 (java) S 6885 6885 4774 0 -1 1077944384 569 0 0 0 6 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255206972272 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6923] ppid=6885 vsize=8414124 memory=7451595159875709291 CPUtime=0.07 cores=0-7
/proc/6908/task/6923/stat : 6923 (java) S 6885 6885 4774 0 -1 1077944384 201 0 0 0 7 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255205919472 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6924] ppid=6885 vsize=8414124 memory=7164213714477662306 CPUtime=0.04 cores=0-7
/proc/6908/task/6924/stat : 6924 (java) S 6885 6885 4774 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255204866672 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6925] ppid=6885 vsize=8414124 memory=4570480331761481258 CPUtime=0.22 cores=0-7
/proc/6908/task/6925/stat : 6925 (java) S 6885 6885 4774 0 -1 1077944384 737 0 0 0 22 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255203813872 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6926] ppid=6885 vsize=8414124 memory=7309455897541038697 CPUtime=0 cores=0-7
/proc/6908/task/6926/stat : 6926 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140253297896032 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6927] ppid=6885 vsize=8414124 memory=7666343069861900391 CPUtime=0.11 cores=0-7
/proc/6908/task/6927/stat : 6927 (java) S 6885 6885 4774 0 -1 1077944384 12 0 0 0 0 11 0 0 20 0 24 0 510571422 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255202761264 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6929] ppid=6885 vsize=8414124 memory=7666343069861900391 CPUtime=0 cores=0-7
/proc/6908/task/6929/stat : 6929 (java) S 6885 6885 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255194727488 140255980314393 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6931] ppid=6885 vsize=8414124 memory=7666343069861900391 CPUtime=0 cores=0-7
/proc/6908/task/6931/stat : 6931 (java) S 6885 6885 4774 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252626796688 140255980311709 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6932] ppid=6885 vsize=8414124 memory=7666343069861900391 CPUtime=0 cores=0-7
/proc/6908/task/6932/stat : 6932 (java) S 6885 6885 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252895232016 140255980311709 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6941] ppid=6885 vsize=8414124 memory=7666343069861900391 CPUtime=0 cores=0-7
/proc/6908/task/6941/stat : 6941 (java) S 6885 6885 4774 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510571493 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252358368816 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
Current children cumulated CPU time: 1124.54 s
Current children cumulated vsize: 9236532 KiB
Current children cumulated memory: 657252 KiB

[startup+166.401 s]
/proc/loadavg: 6.48 6.71 6.93 2/217 6958
/proc/meminfo: memFree=26140264/32770624 swapFree=66986400/67108860
[pid=6885] ppid=6882 vsize=113128 memory=1476 CPUtime=12.58 cores=0-7
/proc/6885/stat : 6885 (scop.sh) S 6882 6885 4774 0 -1 4202496 584 33251 0 0 0 0 1226 32 20 0 1 0 510570967 115843072 369 33554432000 4194304 5098028 140726272770704 140726272767448 139963291681404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27492352 140726272774948 140726272775276 140726272775276 140726272778189 0
/proc/6885/statm: 28282 369 311 221 0 87 0
[pid=6908] ppid=6885 vsize=8414124 memory=119340 CPUtime=1.36 cores=0-7
/proc/6908/stat : 6908 (java) S 6885 6885 4774 0 -1 1077944320 20336 0 0 0 126 10 0 0 20 0 24 0 510571415 8616062976 29835 33554432000 4194304 4196468 140724523681328 140724523663872 140255980289783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
/proc/6908/statm: 2103531 29835 3201 1 0 2064875 0
[pid=6928] ppid=6908 vsize=709280 memory=536436 CPUtime=1110.99 cores=0-7
/proc/6928/stat : 6928 (manyglucose-4.1) S 6908 6885 4774 0 -1 1077944320 867680 0 0 0 110918 181 0 0 20 0 2 0 510571491 726302720 134109 33554432000 4194304 4454172 140722603698880 140722603697264 139961410686711 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 13877248 140722603701098 140722603701296 140722603701296 140722603704250 0
/proc/6928/statm: 177320 134109 419 64 0 172988 0
[pid=6928/tid=6937] ppid=6908 vsize=709280 memory=664692 CPUtime=161.05 cores=0-7
/proc/6928/task/6937/stat : 6937 (manyglucose-4.1) R 6908 6885 4774 0 -1 4202560 120791 0 0 0 16082 23 0 0 20 0 2 0 510571493 726302720 134109 33554432000 4194304 4454172 140722603698880 139961361898632 4318929 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 13877248 140722603701098 140722603701296 140722603701296 140722603704250 0
[pid=6908/tid=6909] ppid=6885 vsize=8414124 memory=664692 CPUtime=0.79 cores=0-7
/proc/6908/task/6909/stat : 6909 (java) S 6885 6885 4774 0 -1 1077944384 16984 0 0 0 72 7 0 0 20 0 24 0 510571415 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255952129952 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6910] ppid=6885 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/6908/task/6910/stat : 6910 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255984532112 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6911] ppid=6885 vsize=8414124 memory=7686721470367702681 CPUtime=0 cores=0-7
/proc/6908/task/6911/stat : 6911 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255784700432 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6912] ppid=6885 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/6908/task/6912/stat : 6912 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255783647632 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6913] ppid=6885 vsize=8414124 memory=34832 CPUtime=0 cores=0-7
/proc/6908/task/6913/stat : 6913 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255782594832 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6914] ppid=6885 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/6908/task/6914/stat : 6914 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255462157456 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6915] ppid=6885 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/6908/task/6915/stat : 6915 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255461104656 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6916] ppid=6885 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6908/task/6916/stat : 6916 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255460051856 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6917] ppid=6885 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6908/task/6917/stat : 6917 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255458999056 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6918] ppid=6885 vsize=8414124 memory=119340 CPUtime=0 cores=0-7
/proc/6908/task/6918/stat : 6918 (java) S 6885 6885 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510571418 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255208024432 140255980300930 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6919] ppid=6885 vsize=8414124 memory=667112 CPUtime=0 cores=0-7
/proc/6908/task/6919/stat : 6919 (java) S 6885 6885 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510571419 8616062976 29835 33554432000 4194304 4196468 140724523681328 140254304527392 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6920] ppid=6885 vsize=8414124 memory=119340 CPUtime=0 cores=0-7
/proc/6908/task/6920/stat : 6920 (java) S 6885 6885 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510571419 8616062976 29835 33554432000 4194304 4196468 140724523681328 140254170305392 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6921] ppid=6885 vsize=8414124 memory=119340 CPUtime=0 cores=0-7
/proc/6908/task/6921/stat : 6921 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140253795800912 140255980308379 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6922] ppid=6885 vsize=8414124 memory=605856 CPUtime=0.06 cores=0-7
/proc/6908/task/6922/stat : 6922 (java) S 6885 6885 4774 0 -1 1077944384 569 0 0 0 6 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255206972272 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6923] ppid=6885 vsize=8414124 memory=1440 CPUtime=0.07 cores=0-7
/proc/6908/task/6923/stat : 6923 (java) S 6885 6885 4774 0 -1 1077944384 201 0 0 0 7 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255205919472 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6924] ppid=6885 vsize=8414124 memory=912 CPUtime=0.04 cores=0-7
/proc/6908/task/6924/stat : 6924 (java) S 6885 6885 4774 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255204866672 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6925] ppid=6885 vsize=8414124 memory=1984 CPUtime=0.22 cores=0-7
/proc/6908/task/6925/stat : 6925 (java) S 6885 6885 4774 0 -1 1077944384 737 0 0 0 22 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255203813872 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6926] ppid=6885 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/6908/task/6926/stat : 6926 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140253297896032 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6927] ppid=6885 vsize=8414124 memory=64916 CPUtime=0.11 cores=0-7
/proc/6908/task/6927/stat : 6927 (java) S 6885 6885 4774 0 -1 1077944384 12 0 0 0 0 11 0 0 20 0 24 0 510571422 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255202761264 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6929] ppid=6885 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/6908/task/6929/stat : 6929 (java) S 6885 6885 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255194727488 140255980314393 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6931] ppid=6885 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/6908/task/6931/stat : 6931 (java) S 6885 6885 4774 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252626796688 140255980311709 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6932] ppid=6885 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/6908/task/6932/stat : 6932 (java) S 6885 6885 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252895232016 140255980311709 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6941] ppid=6885 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/6908/task/6941/stat : 6941 (java) S 6885 6885 4774 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510571493 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252358368816 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
Current children cumulated CPU time: 1124.93 s
Current children cumulated vsize: 9236532 KiB
Current children cumulated memory: 657252 KiB

[startup+166.501 s]
/proc/loadavg: 6.48 6.71 6.93 2/217 6958
/proc/meminfo: memFree=26140264/32770624 swapFree=66986400/67108860
[pid=6885] ppid=6882 vsize=113128 memory=1476 CPUtime=12.58 cores=0-7
/proc/6885/stat : 6885 (scop.sh) S 6882 6885 4774 0 -1 4202496 584 33251 0 0 0 0 1226 32 20 0 1 0 510570967 115843072 369 33554432000 4194304 5098028 140726272770704 140726272767448 139963291681404 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27492352 140726272774948 140726272775276 140726272775276 140726272778189 0
/proc/6885/statm: 28282 369 311 221 0 87 0
[pid=6908] ppid=6885 vsize=8414124 memory=119340 CPUtime=1.36 cores=0-7
/proc/6908/stat : 6908 (java) S 6885 6885 4774 0 -1 1077944320 20336 0 0 0 126 10 0 0 20 0 24 0 510571415 8616062976 29835 33554432000 4194304 4196468 140724523681328 140724523663872 140255980289783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
/proc/6908/statm: 2103531 29835 3201 1 0 2064875 0
[pid=6928] ppid=6908 vsize=709280 memory=536436 CPUtime=1111.09 cores=0-7
/proc/6928/stat : 6928 (manyglucose-4.1) S 6908 6885 4774 0 -1 1077944320 867680 0 0 0 110928 181 0 0 20 0 2 0 510571491 726302720 134109 33554432000 4194304 4454172 140722603698880 140722603697264 139961410686711 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 13877248 140722603701098 140722603701296 140722603701296 140722603704250 0
/proc/6928/statm: 177320 134109 419 64 0 172988 0
[pid=6928/tid=6937] ppid=6908 vsize=709280 memory=1476 CPUtime=161.15 cores=0-7
/proc/6928/task/6937/stat : 6937 (manyglucose-4.1) R 6908 6885 4774 0 -1 4202560 120791 0 0 0 16092 23 0 0 20 0 2 0 510571493 726302720 134109 33554432000 4194304 4454172 140722603698880 139961361898504 4351797 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 13877248 140722603701098 140722603701296 140722603701296 140722603704250 0
[pid=6908/tid=6909] ppid=6885 vsize=8414124 memory=280520554590928 CPUtime=0.79 cores=0-7
/proc/6908/task/6909/stat : 6909 (java) S 6885 6885 4774 0 -1 1077944384 16984 0 0 0 72 7 0 0 20 0 24 0 510571415 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255952129952 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6910] ppid=6885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6908/task/6910/stat : 6910 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255984532112 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6911] ppid=6885 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/6908/task/6911/stat : 6911 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255784700432 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6912] ppid=6885 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/6908/task/6912/stat : 6912 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255783647632 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6913] ppid=6885 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6908/task/6913/stat : 6913 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255782594832 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6914] ppid=6885 vsize=8414124 memory=119340 CPUtime=0 cores=0-7
/proc/6908/task/6914/stat : 6914 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255462157456 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6915] ppid=6885 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6908/task/6915/stat : 6915 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255461104656 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6916] ppid=6885 vsize=8414124 memory=119340 CPUtime=0 cores=0-7
/proc/6908/task/6916/stat : 6916 (java) S 6885 6885 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255460051856 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6917] ppid=6885 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/6908/task/6917/stat : 6917 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571417 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255458999056 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6918] ppid=6885 vsize=8414124 memory=13849668345924206 CPUtime=0 cores=0-7
/proc/6908/task/6918/stat : 6918 (java) S 6885 6885 4774 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510571418 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255208024432 140255980300930 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6919] ppid=6885 vsize=8414124 memory=576500 CPUtime=0 cores=0-7
/proc/6908/task/6919/stat : 6919 (java) S 6885 6885 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510571419 8616062976 29835 33554432000 4194304 4196468 140724523681328 140254304527392 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6920] ppid=6885 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6908/task/6920/stat : 6920 (java) S 6885 6885 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510571419 8616062976 29835 33554432000 4194304 4196468 140724523681328 140254170305392 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6921] ppid=6885 vsize=8414124 memory=119340 CPUtime=0 cores=0-7
/proc/6908/task/6921/stat : 6921 (java) S 6885 6885 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140253795800912 140255980308379 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6922] ppid=6885 vsize=8414124 memory=668000 CPUtime=0.06 cores=0-7
/proc/6908/task/6922/stat : 6922 (java) S 6885 6885 4774 0 -1 1077944384 569 0 0 0 6 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255206972272 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6923] ppid=6885 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/6908/task/6923/stat : 6923 (java) S 6885 6885 4774 0 -1 1077944384 201 0 0 0 7 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255205919472 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6924] ppid=6885 vsize=8414124 memory=119340 CPUtime=0.04 cores=0-7
/proc/6908/task/6924/stat : 6924 (java) S 6885 6885 4774 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255204866672 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6925] ppid=6885 vsize=8414124 memory=612016 CPUtime=0.22 cores=0-7
/proc/6908/task/6925/stat : 6925 (java) S 6885 6885 4774 0 -1 1077944384 737 0 0 0 22 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255203813872 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6926] ppid=6885 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6908/task/6926/stat : 6926 (java) S 6885 6885 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510571421 8616062976 29835 33554432000 4194304 4196468 140724523681328 140253297896032 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6927] ppid=6885 vsize=8414124 memory=33 CPUtime=0.11 cores=0-7
/proc/6908/task/6927/stat : 6927 (java) S 6885 6885 4774 0 -1 1077944384 12 0 0 0 0 11 0 0 20 0 24 0 510571422 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255202761264 140255980300930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6929] ppid=6885 vsize=8414124 memory=7896318971486248851 CPUtime=0 cores=0-7
/proc/6908/task/6929/stat : 6929 (java) S 6885 6885 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140255194727488 140255980314393 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6931] ppid=6885 vsize=8414124 memory=280520555004672 CPUtime=0 cores=0-7
/proc/6908/task/6931/stat : 6931 (java) S 6885 6885 4774 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252626796688 140255980311709 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6932] ppid=6885 vsize=8414124 memory=280520556179216 CPUtime=0 cores=0-7
/proc/6908/task/6932/stat : 6932 (java) S 6885 6885 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510571491 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252895232016 140255980311709 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
[pid=6908/tid=6941] ppid=6885 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/6908/task/6941/stat : 6941 (java) S 6885 6885 4774 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510571493 8616062976 29835 33554432000 4194304 4196468 140724523681328 140252358368816 140255980299989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11579392 140724523688952 140724523689110 140724523689110 140724523691983 0
Current children cumulated CPU time: 1125.03 s
Current children cumulated vsize: 9236532 KiB
Current children cumulated memory: 657252 KiB

Child status: 0
Real time (s): 166.561
CPU time (s): 1125.17
CPU user time (s): 1122.88
CPU system time (s): 2.28893
CPU usage (%): 675.53
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1058196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1122.88
system time used= 2.28893
maximum resident set size= 1062176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 923680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20648
involuntary context switches= 8970


# summary of solver processes directly reported to runsolver:
#   pid: 6885
#   total CPU time (s): 1125.17
#   total CPU user time (s): 1122.88
#   total CPU system time (s): 2.28893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57506 second user time and 2.40175 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 17:28:40
IDJOB=4405599
IDBENCH=134583
IDSOLVER=2868
FILE ID=node104/4405599-1569343143
RUNJOBID= node104-1569331756-4801
PBS_JOBID= 21705071
Free space on /tmp= 9836 MiB

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

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

MD5SUM BENCH= 43dd96c97b3ff33ff7a4c42b6a5606ab
RANDOM SEED=377153510

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26779160 kB
MemAvailable:   31816876 kB
Buffers:           92648 kB
Cached:          5035628 kB
SwapCached:        22640 kB
Active:          3163648 kB
Inactive:        1992476 kB
Active(anon):       3688 kB
Inactive(anon):    81584 kB
Active(file):    3159960 kB
Inactive(file):  1910892 kB
Unevictable:      109716 kB
Mlocked:          109716 kB
SwapTotal:      67108860 kB
SwapFree:       66986400 kB
Dirty:             20592 kB
Writeback:             0 kB
AnonPages:        131580 kB
Mapped:            57444 kB
Shmem:             49032 kB
Slab:             425036 kB
SReclaimable:     395324 kB
SUnreclaim:        29712 kB
KernelStack:        3824 kB
PageTables:         5452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-24 17:31:27