Trace number 4405360

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6752-serial-file.bin HOME/instance-4405360-1569342986.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:26:03 CEST 2019
0.65/0.57	c PID: 6755
0.65/0.57	c IP: 172.20.3.104
0.65/0.57	c HOST: node104.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.04/1.13	c (0,0) Parsing End
2.04/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.04/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.13	c (0,0) Constraint Name Generate Begin
2.04/1.15	c (0,0) Ctr:HOME/instance-4405360-1569342986.xml,ExtensionConflict:ExtensionSupport:Var
2.04/1.15	c (0,0) Constraint Name Generate End
2.04/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.15	c (0,0) CSP to CSPinCNF Begin
3.15/1.65	c (1,1) translated 127 (10%) constraints
3.54/1.76	c (1,1) translated 253 (20%) constraints
3.96/1.83	c (1,1) translated 379 (30%) constraints
3.96/1.90	c (1,1) translated 505 (40%) constraints
4.39/1.95	c (1,1) translated 631 (50%) constraints
4.39/2.00	c (1,1) translated 757 (60%) constraints
5.24/2.14	c (1,1) translated 883 (70%) constraints
5.87/2.38	c (1,1) translated 1009 (80%) constraints
6.15/2.60	c (2,2) translated 1135 (90%) constraints
7.03/2.91	c (2,2) translated 1261 (100%) constraints
7.03/2.91	c (2,2) ===========================================
7.03/2.91	c (2,2) Order
7.03/2.91	c (2,2) ===========================================
7.03/2.97	c (2,2) translated 1883 (10%) constraints
7.47/3.02	c (2,2) translated 3765 (20%) constraints
7.47/3.08	c (2,2) translated 5647 (30%) constraints
7.87/3.13	c (2,2) translated 7529 (40%) constraints
7.87/3.18	c (2,2) translated 9411 (50%) constraints
8.23/3.23	c (2,2) translated 11294 (60%) constraints
8.23/3.27	c (2,2) translated 13176 (70%) constraints
8.63/3.31	c (2,2) translated 15058 (80%) constraints
8.63/3.35	c (2,2) translated 16940 (90%) constraints
8.63/3.38	c (2,2) translated 18822 (100%) constraints
8.63/3.38	c (2,2) CSP to CSPinCNF End
8.63/3.38	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.63/3.38	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.63/3.39	c (2,2) CSPinCNF Propagation Begin
9.96/3.73	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.96/3.73	c (3,3) CSPinCNF Propagation End
9.96/3.73	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.96/3.73	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.96/3.73	c (3,3) Simplify CSPinCNF Begin
9.96/3.79	c (3,3) Simplify CSPinCNF End
9.96/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.96/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.96/3.79	c (3,3) Calculate Precise Domain Begin
9.96/3.79	c (3,3) 0 values are removed by re-calculation
9.96/3.79	c (3,3) Calculate Precise Domain End
9.96/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.96/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.96/3.79	c (3,3) CSPinCNF to SatSolver Begin
10.54/3.94	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.54/3.99	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.95/4.05	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
10.95/4.09	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.36/4.11	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.36/4.14	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.36/4.16	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.36/4.17	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.36/4.19	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.62/4.20	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.62/4.20	c (3,3) CSPinCNF to SatSolver End
11.62/4.20	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.62/4.20	c (3,3) 2482 bool, 15697 clause
11.62/4.20	c (3,3) Export Begin
11.82/4.30	c (3,3) Export to HOME/scop-6752-serial-file.bin
11.82/4.30	c (3,3) Export End
11.82/4.30	c (3,3) Export File Size: 0.02 MB
11.82/4.30	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.82/4.30	c END-Prog: Tue Sep 24 17:26:07 CEST 2019
11.82/4.32	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6752-serial-file.bin
11.85/4.79	c (0,0) Read Serial File Begin
11.85/4.79	c (0,0) HOME/scop-6752-serial-file.bin
12.79/5.01	c (0,0) Read Serial File End
12.79/5.02	
12.79/5.02	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.79/5.02	(Solving Process)
12.79/5.02	
12.79/5.05	c BEGIN-Prog: Tue Sep 24 17:26:08 CEST 2019
12.79/5.05	c PID: 6775
12.79/5.05	c IP: 172.20.3.104
12.79/5.05	c HOST: node104.alineos.net
12.79/5.05	c (0,0) SatSolver.solve Begin
12.79/5.05	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405360-1569342986.xml-scop-6755.cnf
12.79/5.08	c (0,0) c
12.79/5.08	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
12.79/5.08	c (0,0) c
12.79/5.08	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.79/5.08	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.79/5.08	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.79/5.08	c (0,0) c |                                                                                                       |
12.79/5.08	c (0,0) c |  Number of variables:          2480                                                                   |
12.79/5.08	c (0,0) c |  Number of clauses:           15697                                                                   |
12.79/5.08	c (0,0) c |  Parse time:                   0.01 s                                                                 |
12.79/5.08	c (0,0) c |                                                                                                       |
12.79/5.08	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.79/5.09	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.79/5.09	c (0,0) c |                                                                                                       |
12.79/5.09	c (0,0) c |  Generating clones                                                                                    |
12.79/5.10	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.79/5.10	c (0,0) c ========================================================================================================|
12.79/5.10	c (0,0) c
12.79/5.10	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.79/5.10	c (0,0) c
12.79/5.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.79/5.10	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.79/5.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.79/5.10	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.79/5.10	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.79/5.10	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.79/5.10	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.79/5.10	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.79/5.10	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.79/5.10	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.79/5.10	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.79/5.10	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.79/5.10	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.79/5.10	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.79/5.10	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.79/5.10	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.79/5.10	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.79/5.10	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.79/5.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
231.23/34.62	c (29,0) c
231.23/34.62	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
231.23/34.62	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
231.23/34.62	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
231.23/34.62	c (29,0) c |  0 |    333 |     542490 |     298430 |     9295 |    67051 |    46447 |   276282 |    14349 |      305 |  20 |  0.847 |
231.23/34.62	c (29,0) c |  1 |    466 |     518031 |     286753 |     9396 |    55361 |    42709 |   280062 |     9820 |      309 |  20 |  0.847 |
231.23/34.62	c (29,0) c |  2 |    378 |     507703 |     282854 |     8963 |    51468 |    40270 |   290289 |    13151 |      307 |  20 |  0.847 |
231.23/34.62	c (29,0) c |  3 |    556 |     582424 |     312341 |     9411 |    45150 |    44717 |   293354 |    15754 |      314 |  20 |  0.847 |
231.23/34.62	c (29,0) c |  4 |    354 |     543119 |     292319 |     9138 |    60931 |    45152 |   288984 |    12728 |      311 |  20 |  0.848 |
231.23/34.62	c (29,0) c |  5 |    488 |     544829 |     298959 |     9482 |    67567 |    41171 |   293030 |    18075 |      316 |  20 |  0.847 |
231.23/34.62	c (29,0) c |  6 |    372 |     543564 |     298944 |     9345 |    67567 |    41699 |   295668 |    11019 |      313 |  20 |  0.847 |
231.23/34.62	c (29,0) c |  7 |    355 |     543192 |     290659 |     9285 |    59283 |    45416 |   278876 |    12547 |      296 |  20 |  0.847 |
231.23/34.62	c (29,0) c 
231.23/34.62	c (29,0) c synthesis     2361259 conflicts   175701724 propagations    10837 conflicts/sec   806413 propagations/sec
231.23/34.62	c (29,0) c real: 29.5457 s, cpu: 217.881 s, memory: 629.50 Mb
439.02/63.62	c (58,0) c
439.02/63.62	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
439.02/63.62	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
439.02/63.62	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
439.02/63.62	c (58,0) c |  0 |    537 |     843958 |     456866 |     9383 |    66677 |    61847 |   402907 |    27349 |      562 |  20 |  0.848 |
439.02/63.62	c (58,0) c |  1 |    576 |     844016 |     457684 |     9518 |    67502 |    63353 |   408975 |    23993 |      579 |  20 |  0.847 |
439.02/63.62	c (58,0) c |  2 |    461 |     780357 |     430740 |     9264 |    84151 |    55342 |   397184 |    22508 |      582 |  20 |  0.847 |
439.02/63.62	c (58,0) c |  3 |    651 |     881223 |     468645 |     9438 |    78453 |    62213 |   408503 |    24961 |      576 |  20 |  0.847 |
439.02/63.62	c (58,0) c |  4 |    445 |     878686 |     465732 |     9350 |    75545 |    62377 |   409366 |    25028 |      581 |  20 |  0.847 |
439.02/63.62	c (58,0) c |  5 |    690 |     857687 |     462516 |     9518 |    72335 |    59033 |   400398 |    29357 |      582 |  20 |  0.848 |
439.02/63.62	c (58,0) c |  6 |    424 |     832807 |     450730 |     9356 |    60546 |    55608 |   414762 |    16786 |      582 |  20 |  0.847 |
439.02/63.62	c (58,0) c |  7 |    507 |     883530 |     467324 |     9425 |    77139 |    59454 |   411639 |    25141 |      582 |  20 |  0.847 |
439.02/63.62	c (58,0) c 
439.02/63.62	c (58,0) c synthesis     3660237 conflicts   270769957 propagations     8606 conflicts/sec   636652 propagations/sec
439.02/63.62	c (58,0) c real: 58.5457 s, cpu: 425.303 s, memory: 725.05 Mb
634.79/92.62	c (87,0) c
634.79/92.62	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
634.79/92.62	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
634.79/92.62	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
634.79/92.62	c (87,0) c |  0 |    621 |    1090047 |     582439 |     9399 |    97252 |    73753 |   474639 |    35414 |      806 |  20 |  0.847 |
634.79/92.62	c (87,0) c |  1 |    656 |    1087014 |     583628 |     9539 |    98449 |    74208 |   488832 |    33250 |      822 |  20 |  0.847 |
634.79/92.62	c (87,0) c |  2 |    519 |    1045553 |     567650 |     9387 |    82465 |    67964 |   495646 |    32667 |      826 |  20 |  0.847 |
634.79/92.62	c (87,0) c |  3 |    711 |    1141642 |     600782 |     9454 |    64189 |    75457 |   483355 |    33791 |      825 |  20 |  0.847 |
634.79/92.62	c (87,0) c |  4 |    568 |    1122102 |     589955 |     9364 |    53365 |    73123 |   489199 |    35409 |      826 |  20 |  0.847 |
634.79/92.62	c (87,0) c |  5 |    739 |    1093390 |     585970 |     9531 |   100787 |    69005 |   481314 |    37296 |      826 |  20 |  0.848 |
634.79/92.62	c (87,0) c |  6 |    488 |    1077262 |     576113 |     9467 |    90930 |    66434 |   498891 |    27685 |      826 |  20 |  0.847 |
634.79/92.62	c (87,0) c |  7 |    582 |    1129190 |     594347 |     9451 |    57760 |    70255 |   492093 |    35151 |      826 |  20 |  0.847 |
634.79/92.62	c (87,0) c 
634.79/92.62	c (87,0) c synthesis     4680884 conflicts   345558427 propagations     7541 conflicts/sec   556726 propagations/sec
634.79/92.62	c (87,0) c real: 87.5456 s, cpu: 620.697 s, memory: 725.05 Mb
825.49/121.62	c (116,0) c
825.49/121.62	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
825.49/121.62	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
825.49/121.62	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
825.49/121.62	c (116,0) c |  0 |    657 |    1302995 |     694065 |     9406 |   103477 |    85167 |   549792 |    42870 |     1045 |  20 |  0.848 |
825.49/121.62	c (116,0) c |  1 |    694 |    1310507 |     697073 |     9554 |   106490 |    86364 |   560514 |    41641 |     1063 |  20 |  0.847 |
825.49/121.62	c (116,0) c |  2 |    561 |    1263245 |     678513 |     9404 |    87928 |    78052 |   570751 |    42056 |     1065 |  20 |  0.847 |
825.49/121.62	c (116,0) c |  3 |    777 |    1343050 |     700966 |     9460 |   110381 |    82299 |   559824 |    43855 |     1054 |  20 |  0.848 |
825.49/121.62	c (116,0) c |  4 |    620 |    1336881 |     699760 |     9377 |   109172 |    82824 |   564722 |    43910 |     1065 |  20 |  0.847 |
825.49/121.62	c (116,0) c |  5 |    765 |    1308448 |     696915 |     9541 |   106323 |    81415 |   557442 |    46172 |     1065 |  20 |  0.847 |
825.49/121.62	c (116,0) c |  6 |    557 |    1297216 |     689054 |     9497 |    98463 |    75452 |   570114 |    37194 |     1065 |  20 |  0.847 |
825.49/121.62	c (116,0) c |  7 |    639 |    1344265 |     703177 |     9465 |   112593 |    80764 |   566811 |    44268 |     1065 |  20 |  0.847 |
825.49/121.62	c (116,0) c 
825.49/121.62	c (116,0) c synthesis     5559523 conflicts   410245655 propagations     6852 conflicts/sec   505649 propagations/sec
825.49/121.62	c (116,0) c real: 116.546 s, cpu: 811.326 s, memory: 818.69 Mb
1042.54/151.62	c (146,0) c
1042.54/151.62	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1042.54/151.62	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1042.54/151.62	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1042.54/151.62	c (146,0) c |  0 |    700 |    1506368 |     796271 |     9414 |    87982 |    92446 |   616595 |    51023 |     1296 |  20 |  0.929 |
1042.54/151.62	c (146,0) c |  1 |    738 |    1507413 |     795335 |     9564 |    87467 |    93581 |   615173 |    49966 |     1298 |  20 |  0.968 |
1042.54/151.62	c (146,0) c |  2 |    617 |    1462450 |     777232 |     9421 |    68360 |    87605 |   629100 |    51416 |     1314 |  20 |  1.089 |
1042.54/151.62	c (146,0) c |  3 |    808 |    1537488 |     800801 |     9470 |    91012 |    92237 |   617209 |    51830 |     1297 |  20 |  0.929 |
1042.54/151.62	c (146,0) c |  4 |    684 |    1546587 |     802411 |     9392 |    94614 |    89711 |   625008 |    51920 |     1308 |  20 |  1.089 |
1042.54/151.62	c (146,0) c |  5 |    819 |    1507575 |     796688 |     9553 |    88840 |    88546 |   627576 |    55424 |     1315 |  20 |  0.968 |
1042.54/151.62	c (146,0) c |  6 |    605 |    1512439 |     794604 |     9512 |    84849 |    86016 |   625808 |    44432 |     1315 |  20 |  0.929 |
1042.54/151.62	c (146,0) c |  7 |    683 |    1548485 |     804385 |     9476 |    94976 |    90799 |   620786 |    52376 |     1303 |  20 |  0.928 |
1042.54/151.62	c (146,0) c 
1042.54/151.62	c (146,0) c synthesis     6367727 conflicts   472257810 propagations     6196 conflicts/sec   459523 propagations/sec
1042.54/151.62	c (146,0) c real: 146.546 s, cpu: 1027.71 s, memory: 725.05 Mb
1072.14/156.37	c (151,0) c
1072.14/156.37	c (151,0) c real time : 151.296 s
1072.14/156.37	c (151,0) c cpu time  : 1057.18 s
1072.14/156.37	c (151,0) c
1072.14/156.37	c (151,0) c
1072.14/156.37	c (151,0) c
1072.14/156.37	c (151,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1072.14/156.37	c (151,0) c
1072.14/156.37	c (151,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.37	c (151,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1072.14/156.37	c (151,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.37	c (151,0) c | Conflicts     |         6445361 |     809147 |     807884 |     785450 |     812532 |     810537 |     803232 |     802028 |     814551 |
1072.14/156.37	c (151,0) c | Decisions     |        12282344 |    1532288 |    1532156 |    1478617 |    1560585 |    1561729 |    1520117 |    1527183 |    1569669 |
1072.14/156.37	c (151,0) c | Propagations  |       478528317 |   59624925 |   60153726 |   58809316 |   59817030 |   60146026 |   59395698 |   59824506 |   60757090 |
1072.14/156.37	c (151,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1072.14/156.37	c (151,0) c | SimpDBs       |              80 |          9 |         12 |          7 |         10 |         10 |         11 |         11 |         10 |
1072.14/156.37	c (151,0) c | Restarts      |            5687 |        705 |        745 |        617 |        813 |        689 |        821 |        607 |        690 |
1072.14/156.37	c (151,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1072.14/156.37	c (151,0) c | PropBinClauses|      1067101979 |  132515229 |  133084803 |  133208442 |  131982232 |  134266780 |  131965749 |  134536380 |  135542364 |
1072.14/156.37	c (151,0) c | PropPreBlocker|     35958262929 | 4550116709 | 4470500413 | 4447671852 | 4518674369 | 4493885201 | 4485177161 | 4476428604 | 4515808620 |
1072.14/156.37	c (151,0) c | PropNotBlocker|      5987484984 |  744338802 |  754372898 |  753141329 |  746933700 |  748493550 |  749166986 |  747182125 |  743855594 |
1072.14/156.37	c (151,0) c | LitFullScans  |     64197843771 | 8023195430 | 8023135801 | 8024037763 | 8023313994 | 8023279208 | 8029376672 | 8028337531 | 8023167372 |
1072.14/156.37	c (151,0) c | LitScanFracts |        10769892 |    1183655 |    1128370 |    2032540 |    1305250 |    1272086 |    1370071 |    1331637 |    1146283 |
1072.14/156.37	c (151,0) c | DecisionLevel0|            5787 |        718 |        759 |        628 |        826 |        702 |        831 |        622 |        701 |
1072.14/156.37	c (151,0) c | Periods       |           10697 |       1337 |       1337 |       1337 |       1337 |       1337 |       1338 |       1337 |       1337 |
1072.14/156.37	c (151,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1072.14/156.37	c (151,0) c | Avg_Trail     |                 |        633 |        632 |        620 |        637 |        630 |        630 |        636 |        633 |
1072.14/156.37	c (151,0) c | Avg_DL        |                 |         22 |         21 |         21 |         23 |         21 |         21 |         22 |         21 |
1072.14/156.37	c (151,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1072.14/156.37	c (151,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1072.14/156.37	c (151,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.37	c (151,0) c | Exported      |          729907 |      93761 |      95017 |      88435 |      93772 |      90426 |      89560 |      87082 |      91854 |
1072.14/156.37	c (151,0) c | Imported      |         5048522 |     627404 |     629317 |     629100 |     627919 |     630448 |     635340 |     638066 |     630928 |
1072.14/156.37	c (151,0) c | Good          |           14901 |       1849 |       1867 |       1853 |       1849 |       1839 |       1884 |       1895 |       1865 |
1072.14/156.37	c (151,0) c | Purge         |         5033621 |     625555 |     627450 |     627247 |     626070 |     628609 |     633456 |     636171 |     629063 |
1072.14/156.37	c (151,0) c | Promoted      |          418062 |      52521 |      51456 |      52262 |      53261 |      52981 |      56211 |      45466 |      53904 |
1072.14/156.37	c (151,0) c | Remove_Imp    |         3890015 |     482391 |     478544 |     498497 |     478668 |     484708 |     489348 |     497120 |     480739 |
1072.14/156.37	c (151,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1072.14/156.37	c (151,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.37	c (151,0) c | Unaries       |                 |         13 |         14 |         11 |         13 |         13 |         10 |         15 |         11 |
1072.14/156.37	c (151,0) c | Binaries      |                 |        272 |        291 |        251 |        277 |        280 |        273 |        276 |        276 |
1072.14/156.37	c (151,0) c | Glues         |                 |        987 |       1064 |       1020 |       1055 |        984 |       1023 |       1001 |        982 |
1072.14/156.37	c (151,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.37	c (151,0) c | Orig_Seen     |            87 % |       9415 |       9565 |       9423 |       9470 |       9393 |       9554 |       9515 |       9481 |
1072.14/156.37	c (151,0) c | Diff Orig seen|                 | -      100 |         50 | -       92 | -       45 | -      122 |         39 |      X     | -       34 |
1072.14/156.37	c (151,0) c | Hamming       |            10 % |        305 |        302 |        291 |        254 |        256 |        254 |      X     |        233 |
1072.14/156.37	c (151,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.37	c (151,0) c | RunningTime   |                 |  149.1  99%|  146.6  97%|  126.1  84%|  144.4  96%|  134.7  90%|  108.5  73%|  116.4  78%|  133.0  89%|
1072.14/156.37	c (151,0) c | WaitingTime   |                 |    1.8   1%|    4.0   3%|   23.0  15%|    6.1   4%|   14.7  10%|   40.5  27%|   32.5  22%|   16.9  11%|
1072.14/156.37	c (151,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.3   0%|
1072.14/156.37	c (151,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%|
1072.14/156.37	c (151,0) c | SolvingTime   |                 |  151.2     |  151.0     |  149.5     |  150.9     |  149.8     |  149.4     |  149.3     |  150.2     |
1072.14/156.37	c (151,0) c | PropagationTim|                 |   93.7  62%|   95.9  63%|  117.1  78%|   99.1  66%|  112.2  75%|  136.5  91%|  132.5  89%|  111.8  74%|
1072.14/156.37	c (151,0) c | AnalysisTime  |                 |   54.1  36%|   51.7  34%|   28.9  19%|   48.4  32%|   34.0  23%|    9.4   6%|   13.2   9%|   35.1  23%|
1072.14/156.37	c (151,0) c | ReductionTime |                 |    1.3   1%|    1.3   1%|    1.3   1%|    1.3   1%|    1.4   1%|    1.3   1%|    1.4   1%|    1.3   1%|
1072.14/156.37	c (151,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|
1072.14/156.37	c (151,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%|
1072.14/156.37	c (151,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%|
1072.14/156.37	c (151,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.37	c (151,0) c
1072.14/156.37	c (151,0) c
1072.14/156.37	c (151,0) c Threads : 8
1072.14/156.37	c (151,0) c Winner : 6
1072.14/156.37	c (151,0) c Conflicts_0 : 809147
1072.14/156.37	c (151,0) c Conflicts_1 : 807884
1072.14/156.37	c (151,0) c Conflicts_2 : 785450
1072.14/156.37	c (151,0) c Conflicts_3 : 812532
1072.14/156.37	c (151,0) c Conflicts_4 : 810537
1072.14/156.37	c (151,0) c Conflicts_5 : 803232
1072.14/156.37	c (151,0) c Conflicts_6 : 802028
1072.14/156.37	c (151,0) c Conflicts_7 : 814551
1072.14/156.37	c (151,0) c Conflicts_total : 6445361
1072.14/156.37	c (151,0) c Conflicts_winner : 802028
1072.14/156.37	c (151,0) c Decisions_0 : 1532288
1072.14/156.37	c (151,0) c Decisions_1 : 1532156
1072.14/156.37	c (151,0) c Decisions_2 : 1478617
1072.14/156.37	c (151,0) c Decisions_3 : 1560585
1072.14/156.37	c (151,0) c Decisions_4 : 1561729
1072.14/156.37	c (151,0) c Decisions_5 : 1520117
1072.14/156.38	c (151,0) c Decisions_6 : 1527183
1072.14/156.38	c (151,0) c Decisions_7 : 1569669
1072.14/156.38	c (151,0) c Decisions_total : 12282344
1072.14/156.38	c (151,0) c Decisions_winner : 1527183
1072.14/156.38	c (151,0) c Propagations_0 : 59624925
1072.14/156.38	c (151,0) c Propagations_1 : 60153726
1072.14/156.38	c (151,0) c Propagations_2 : 58809316
1072.14/156.38	c (151,0) c Propagations_3 : 59817030
1072.14/156.38	c (151,0) c Propagations_4 : 60146026
1072.14/156.38	c (151,0) c Propagations_5 : 59395698
1072.14/156.38	c (151,0) c Propagations_6 : 59824506
1072.14/156.38	c (151,0) c Propagations_7 : 60757090
1072.14/156.38	c (151,0) c Propagations_total : 478528317
1072.14/156.38	c (151,0) c Propagations_winner : 59824506
1072.14/156.38	c (151,0) c ReduceDBs_0 : 24
1072.14/156.38	c (151,0) c ReduceDBs_1 : 24
1072.14/156.38	c (151,0) c ReduceDBs_2 : 24
1072.14/156.38	c (151,0) c ReduceDBs_3 : 24
1072.14/156.38	c (151,0) c ReduceDBs_4 : 24
1072.14/156.38	c (151,0) c ReduceDBs_5 : 24
1072.14/156.38	c (151,0) c ReduceDBs_6 : 24
1072.14/156.38	c (151,0) c ReduceDBs_7 : 24
1072.14/156.38	c (151,0) c ReduceDBs_total : 192
1072.14/156.38	c (151,0) c ReduceDBs_winner : 24
1072.14/156.38	c (151,0) c SimpDBs_0 : 9
1072.14/156.38	c (151,0) c SimpDBs_1 : 12
1072.14/156.38	c (151,0) c SimpDBs_2 : 7
1072.14/156.38	c (151,0) c SimpDBs_3 : 10
1072.14/156.38	c (151,0) c SimpDBs_4 : 10
1072.14/156.38	c (151,0) c SimpDBs_5 : 11
1072.14/156.38	c (151,0) c SimpDBs_6 : 11
1072.14/156.38	c (151,0) c SimpDBs_7 : 10
1072.14/156.38	c (151,0) c SimpDBs_total : 80
1072.14/156.38	c (151,0) c SimpDBs_winner : 11
1072.14/156.38	c (151,0) c Restarts_0 : 705
1072.14/156.38	c (151,0) c Restarts_1 : 745
1072.14/156.38	c (151,0) c Restarts_2 : 617
1072.14/156.38	c (151,0) c Restarts_3 : 813
1072.14/156.38	c (151,0) c Restarts_4 : 689
1072.14/156.38	c (151,0) c Restarts_5 : 821
1072.14/156.38	c (151,0) c Restarts_6 : 607
1072.14/156.38	c (151,0) c Restarts_7 : 690
1072.14/156.38	c (151,0) c Restarts_total : 5687
1072.14/156.38	c (151,0) c Restarts_winner : 607
1072.14/156.38	c (151,0) c ForcedImports_0 : 0
1072.14/156.38	c (151,0) c ForcedImports_1 : 0
1072.14/156.38	c (151,0) c ForcedImports_2 : 0
1072.14/156.38	c (151,0) c ForcedImports_3 : 0
1072.14/156.38	c (151,0) c ForcedImports_4 : 0
1072.14/156.38	c (151,0) c ForcedImports_5 : 0
1072.14/156.38	c (151,0) c ForcedImports_6 : 0
1072.14/156.38	c (151,0) c ForcedImports_7 : 0
1072.14/156.38	c (151,0) c ForcedImports_total : 0
1072.14/156.38	c (151,0) c ForcedImports_winner : 0
1072.14/156.38	c (151,0) c PropsBinClauses_0 : 132515229
1072.14/156.38	c (151,0) c PropsBinClauses_1 : 133084803
1072.14/156.38	c (151,0) c PropsBinClauses_2 : 133208442
1072.14/156.38	c (151,0) c PropsBinClauses_3 : 131982232
1072.14/156.38	c (151,0) c PropsBinClauses_4 : 134266780
1072.14/156.38	c (151,0) c PropsBinClauses_5 : 131965749
1072.14/156.38	c (151,0) c PropsBinClauses_6 : 134536380
1072.14/156.38	c (151,0) c PropsBinClauses_7 : 135542364
1072.14/156.38	c (151,0) c PropsBinClauses_total : 1067101979
1072.14/156.38	c (151,0) c PropsBinClauses_winner : 134536380
1072.14/156.38	c (151,0) c PropsPreBlocker_0 : 4550116709
1072.14/156.38	c (151,0) c PropsPreBlocker_1 : 4470500413
1072.14/156.38	c (151,0) c PropsPreBlocker_2 : 4447671852
1072.14/156.38	c (151,0) c PropsPreBlocker_3 : 4518674369
1072.14/156.38	c (151,0) c PropsPreBlocker_4 : 4493885201
1072.14/156.38	c (151,0) c PropsPreBlocker_5 : 4485177161
1072.14/156.38	c (151,0) c PropsPreBlocker_6 : 4476428604
1072.14/156.38	c (151,0) c PropsPreBlocker_7 : 4515808620
1072.14/156.38	c (151,0) c PropsPreBlocker_total : 35958262929
1072.14/156.38	c (151,0) c PropsPreBlocker_winner : 4476428604
1072.14/156.38	c (151,0) c PropsNotBlocker_0 : 744338802
1072.14/156.38	c (151,0) c PropsNotBlocker_1 : 754372898
1072.14/156.38	c (151,0) c PropsNotBlocker_2 : 753141329
1072.14/156.38	c (151,0) c PropsNotBlocker_3 : 746933700
1072.14/156.38	c (151,0) c PropsNotBlocker_4 : 748493550
1072.14/156.38	c (151,0) c PropsNotBlocker_5 : 749166986
1072.14/156.38	c (151,0) c PropsNotBlocker_6 : 747182125
1072.14/156.38	c (151,0) c PropsNotBlocker_7 : 743855594
1072.14/156.38	c (151,0) c PropsNotBlocker_total : 5987484984
1072.14/156.38	c (151,0) c PropsNotBlocker_winner : 747182125
1072.14/156.38	c (151,0) c PropsLitFullScans_0 : 8023195430
1072.14/156.38	c (151,0) c PropsLitFullScans_1 : 8023135801
1072.14/156.38	c (151,0) c PropsLitFullScans_2 : 8024037763
1072.14/156.38	c (151,0) c PropsLitFullScans_3 : 8023313994
1072.14/156.38	c (151,0) c PropsLitFullScans_4 : 8023279208
1072.14/156.38	c (151,0) c PropsLitFullScans_5 : 8029376672
1072.14/156.38	c (151,0) c PropsLitFullScans_6 : 8028337531
1072.14/156.38	c (151,0) c PropsLitFullScans_7 : 8023167372
1072.14/156.38	c (151,0) c PropsLitFullScans_total : 64197843771
1072.14/156.38	c (151,0) c PropsLitFullScans_winner : 8028337531
1072.14/156.38	c (151,0) c LitScanFractions_0 : 1183655
1072.14/156.38	c (151,0) c LitScanFractions_1 : 1128370
1072.14/156.38	c (151,0) c LitScanFractions_2 : 2032540
1072.14/156.38	c (151,0) c LitScanFractions_3 : 1305250
1072.14/156.38	c (151,0) c LitScanFractions_4 : 1272086
1072.14/156.38	c (151,0) c LitScanFractions_5 : 1370071
1072.14/156.38	c (151,0) c LitScanFractions_6 : 1331637
1072.14/156.38	c (151,0) c LitScanFractions_7 : 1146283
1072.14/156.38	c (151,0) c LitScanFractions_total : 10769892
1072.14/156.38	c (151,0) c LitScanFractions_winner : 1331637
1072.14/156.38	c (151,0) c DecisionLevel0_0 : 718
1072.14/156.38	c (151,0) c DecisionLevel0_1 : 759
1072.14/156.38	c (151,0) c DecisionLevel0_2 : 628
1072.14/156.38	c (151,0) c DecisionLevel0_3 : 826
1072.14/156.38	c (151,0) c DecisionLevel0_4 : 702
1072.14/156.38	c (151,0) c DecisionLevel0_5 : 831
1072.14/156.38	c (151,0) c DecisionLevel0_6 : 622
1072.14/156.38	c (151,0) c DecisionLevel0_7 : 701
1072.14/156.38	c (151,0) c DecisionLevel0_total : 5787
1072.14/156.38	c (151,0) c DecisionLevel0_winner : 622
1072.14/156.38	c (151,0) c Periods_0 : 1337
1072.14/156.38	c (151,0) c Periods_1 : 1337
1072.14/156.38	c (151,0) c Periods_2 : 1337
1072.14/156.38	c (151,0) c Periods_3 : 1337
1072.14/156.38	c (151,0) c Periods_4 : 1337
1072.14/156.38	c (151,0) c Periods_5 : 1338
1072.14/156.38	c (151,0) c Periods_6 : 1337
1072.14/156.38	c (151,0) c Periods_7 : 1337
1072.14/156.38	c (151,0) c Periods_total : 10697
1072.14/156.38	c (151,0) c Periods_winner : 1337
1072.14/156.38	c (151,0) c Margin_0 : 20
1072.14/156.38	c (151,0) c Margin_1 : 20
1072.14/156.38	c (151,0) c Margin_2 : 20
1072.14/156.38	c (151,0) c Margin_3 : 20
1072.14/156.38	c (151,0) c Margin_4 : 20
1072.14/156.38	c (151,0) c Margin_5 : 20
1072.14/156.38	c (151,0) c Margin_6 : 20
1072.14/156.38	c (151,0) c Margin_7 : 20
1072.14/156.38	c (151,0) c Margin_total : 160
1072.14/156.38	c (151,0) c Margin_winner : 20
1072.14/156.38	c (151,0) c Exported_0 : 93761
1072.14/156.38	c (151,0) c Exported_1 : 95017
1072.14/156.38	c (151,0) c Exported_2 : 88435
1072.14/156.38	c (151,0) c Exported_3 : 93772
1072.14/156.38	c (151,0) c Exported_4 : 90426
1072.14/156.38	c (151,0) c Exported_5 : 89560
1072.14/156.38	c (151,0) c Exported_6 : 87082
1072.14/156.38	c (151,0) c Exported_7 : 91854
1072.14/156.38	c (151,0) c Exported_total : 729907
1072.14/156.38	c (151,0) c Exported_winner : 87082
1072.14/156.38	c (151,0) c Imported_0 : 627404
1072.14/156.38	c (151,0) c Imported_1 : 629317
1072.14/156.38	c (151,0) c Imported_2 : 629100
1072.14/156.38	c (151,0) c Imported_3 : 627919
1072.14/156.38	c (151,0) c Imported_4 : 630448
1072.14/156.38	c (151,0) c Imported_5 : 635340
1072.14/156.38	c (151,0) c Imported_6 : 638066
1072.14/156.38	c (151,0) c Imported_7 : 630928
1072.14/156.38	c (151,0) c Imported_total : 5048522
1072.14/156.38	c (151,0) c Imported_winner : 638066
1072.14/156.38	c (151,0) c Good_0 : 1849
1072.14/156.38	c (151,0) c Good_1 : 1867
1072.14/156.38	c (151,0) c Good_2 : 1853
1072.14/156.38	c (151,0) c Good_3 : 1849
1072.14/156.38	c (151,0) c Good_4 : 1839
1072.14/156.38	c (151,0) c Good_5 : 1884
1072.14/156.38	c (151,0) c Good_6 : 1895
1072.14/156.38	c (151,0) c Good_7 : 1865
1072.14/156.38	c (151,0) c Good_total : 14901
1072.14/156.38	c (151,0) c Good_winner : 1895
1072.14/156.38	c (151,0) c Purge_0 : 625555
1072.14/156.38	c (151,0) c Purge_1 : 627450
1072.14/156.38	c (151,0) c Purge_2 : 627247
1072.14/156.38	c (151,0) c Purge_3 : 626070
1072.14/156.38	c (151,0) c Purge_4 : 628609
1072.14/156.38	c (151,0) c Purge_5 : 633456
1072.14/156.38	c (151,0) c Purge_6 : 636171
1072.14/156.38	c (151,0) c Purge_7 : 629063
1072.14/156.38	c (151,0) c Purge_total : 5033621
1072.14/156.38	c (151,0) c Purge_winner : 636171
1072.14/156.38	c (151,0) c Promoted_0 : 52521
1072.14/156.38	c (151,0) c Promoted_1 : 51456
1072.14/156.38	c (151,0) c Promoted_2 : 52262
1072.14/156.38	c (151,0) c Promoted_3 : 53261
1072.14/156.38	c (151,0) c Promoted_4 : 52981
1072.14/156.38	c (151,0) c Promoted_5 : 56211
1072.14/156.38	c (151,0) c Promoted_6 : 45466
1072.14/156.38	c (151,0) c Promoted_7 : 53904
1072.14/156.38	c (151,0) c Promoted_total : 418062
1072.14/156.38	c (151,0) c Promoted_winner : 45466
1072.14/156.38	c (151,0) c Remove_Imp_0 : 482391
1072.14/156.38	c (151,0) c Remove_Imp_1 : 478544
1072.14/156.38	c (151,0) c Remove_Imp_2 : 498497
1072.14/156.38	c (151,0) c Remove_Imp_3 : 478668
1072.14/156.38	c (151,0) c Remove_Imp_4 : 484708
1072.14/156.38	c (151,0) c Remove_Imp_5 : 489348
1072.14/156.38	c (151,0) c Remove_Imp_6 : 497120
1072.14/156.38	c (151,0) c Remove_Imp_7 : 480739
1072.14/156.38	c (151,0) c Remove_Imp_total : 3890015
1072.14/156.38	c (151,0) c Remove_Imp_winner : 497120
1072.14/156.38	c (151,0) c Blocked_Reuse_0 : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_1 : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_2 : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_3 : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_4 : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_5 : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_6 : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_7 : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_total : 0
1072.14/156.38	c (151,0) c Blocked_Reuse_winner : 0
1072.14/156.38	c (151,0) c Unaries_0 : 13
1072.14/156.38	c (151,0) c Unaries_1 : 14
1072.14/156.38	c (151,0) c Unaries_2 : 11
1072.14/156.38	c (151,0) c Unaries_3 : 13
1072.14/156.38	c (151,0) c Unaries_4 : 13
1072.14/156.38	c (151,0) c Unaries_5 : 10
1072.14/156.38	c (151,0) c Unaries_6 : 15
1072.14/156.38	c (151,0) c Unaries_7 : 11
1072.14/156.38	c (151,0) c Unaries_total : 100
1072.14/156.38	c (151,0) c Unaries_winner : 15
1072.14/156.38	c (151,0) c Binaries_0 : 272
1072.14/156.38	c (151,0) c Binaries_1 : 291
1072.14/156.38	c (151,0) c Binaries_2 : 251
1072.14/156.38	c (151,0) c Binaries_3 : 277
1072.14/156.38	c (151,0) c Binaries_4 : 280
1072.14/156.38	c (151,0) c Binaries_5 : 273
1072.14/156.38	c (151,0) c Binaries_6 : 276
1072.14/156.38	c (151,0) c Binaries_7 : 276
1072.14/156.38	c (151,0) c Binaries_total : 2196
1072.14/156.38	c (151,0) c Binaries_winner : 276
1072.14/156.38	c (151,0) c Glues_0 : 987
1072.14/156.38	c (151,0) c Glues_1 : 1064
1072.14/156.38	c (151,0) c Glues_2 : 1020
1072.14/156.38	c (151,0) c Glues_3 : 1055
1072.14/156.38	c (151,0) c Glues_4 : 984
1072.14/156.38	c (151,0) c Glues_5 : 1023
1072.14/156.38	c (151,0) c Glues_6 : 1001
1072.14/156.38	c (151,0) c Glues_7 : 982
1072.14/156.38	c (151,0) c Glues_total : 8116
1072.14/156.38	c (151,0) c Glues_winner : 1001
1072.14/156.38	c (151,0) c RunningTime_0 : 149.079377
1072.14/156.38	c (151,0) c RunningTime_1 : 146.595635
1072.14/156.38	c (151,0) c RunningTime_2 : 126.146756
1072.14/156.38	c (151,0) c RunningTime_3 : 144.449099
1072.14/156.38	c (151,0) c RunningTime_4 : 134.689763
1072.14/156.38	c (151,0) c RunningTime_5 : 108.495563
1072.14/156.38	c (151,0) c RunningTime_6 : 116.352506
1072.14/156.38	c (151,0) c RunningTime_7 : 132.999662
1072.14/156.38	c (151,0) c RunningTime_total : 1058.808362
1072.14/156.38	c (151,0) c RunningTime_winner : 116.352506
1072.14/156.38	c (151,0) c WaitingTime_0 : 1.753851
1072.14/156.38	c (151,0) c WaitingTime_1 : 4.031090
1072.14/156.38	c (151,0) c WaitingTime_2 : 22.965820
1072.14/156.38	c (151,0) c WaitingTime_3 : 6.119804
1072.14/156.38	c (151,0) c WaitingTime_4 : 14.699108
1072.14/156.38	c (151,0) c WaitingTime_5 : 40.528553
1072.14/156.38	c (151,0) c WaitingTime_6 : 32.546427
1072.14/156.38	c (151,0) c WaitingTime_7 : 16.903750
1072.14/156.38	c (151,0) c WaitingTime_total : 139.548403
1072.14/156.38	c (151,0) c WaitingTime_winner : 32.546427
1072.14/156.38	c (151,0) c ExchangingTime_0 : 0.342956
1072.14/156.38	c (151,0) c ExchangingTime_1 : 0.336823
1072.14/156.38	c (151,0) c ExchangingTime_2 : 0.334147
1072.14/156.38	c (151,0) c ExchangingTime_3 : 0.331713
1072.14/156.38	c (151,0) c ExchangingTime_4 : 0.372786
1072.14/156.38	c (151,0) c ExchangingTime_5 : 0.335533
1072.14/156.38	c (151,0) c ExchangingTime_6 : 0.383535
1072.14/156.38	c (151,0) c ExchangingTime_7 : 0.325618
1072.14/156.38	c (151,0) c ExchangingTime_total : 2.763109
1072.14/156.38	c (151,0) c ExchangingTime_winner : 0.383535
1072.14/156.38	c (151,0) c PeriodProcTime_0 : 0.018189
1072.14/156.38	c (151,0) c PeriodProcTime_1 : 0.012888
1072.14/156.38	c (151,0) c PeriodProcTime_2 : 0.012007
1072.14/156.38	c (151,0) c PeriodProcTime_3 : 0.014575
1072.14/156.38	c (151,0) c PeriodProcTime_4 : 0.012800
1072.14/156.38	c (151,0) c PeriodProcTime_5 : 0.012804
1072.14/156.38	c (151,0) c PeriodProcTime_6 : 0.012895
1072.14/156.38	c (151,0) c PeriodProcTime_7 : 0.013694
1072.14/156.38	c (151,0) c PeriodProcTime_total : 0.109854
1072.14/156.38	c (151,0) c PeriodProcTime_winner : 0.012895
1072.14/156.38	c (151,0) c SolvingTime_0 : 151.194373
1072.14/156.38	c (151,0) c SolvingTime_1 : 150.976436
1072.14/156.38	c (151,0) c SolvingTime_2 : 149.458730
1072.14/156.38	c (151,0) c SolvingTime_3 : 150.915191
1072.14/156.38	c (151,0) c SolvingTime_4 : 149.774457
1072.14/156.38	c (151,0) c SolvingTime_5 : 149.372452
1072.14/156.38	c (151,0) c SolvingTime_6 : 149.295363
1072.14/156.38	c (151,0) c SolvingTime_7 : 150.242724
1072.14/156.38	c (151,0) c SolvingTime_total : 1201.229728
1072.14/156.38	c (151,0) c SolvingTime_winner : 149.295363
1072.14/156.38	c (151,0) c PropagationTime_0 : 93.674129
1072.14/156.38	c (151,0) c PropagationTime_1 : 95.867318
1072.14/156.38	c (151,0) c PropagationTime_2 : 117.121350
1072.14/156.38	c (151,0) c PropagationTime_3 : 99.072290
1072.14/156.38	c (151,0) c PropagationTime_4 : 112.162963
1072.14/156.38	c (151,0) c PropagationTime_5 : 136.506065
1072.14/156.38	c (151,0) c PropagationTime_6 : 132.538105
1072.14/156.38	c (151,0) c PropagationTime_7 : 111.761532
1072.14/156.38	c (151,0) c PropagationTime_total : 898.703752
1072.14/156.38	c (151,0) c PropagationTime_winner : 132.538105
1072.14/156.38	c (151,0) c AnalysisTime_0 : 54.121689
1072.14/156.38	c (151,0) c AnalysisTime_1 : 51.707131
1072.14/156.38	c (151,0) c AnalysisTime_2 : 28.947401
1072.14/156.38	c (151,0) c AnalysisTime_3 : 48.385245
1072.14/156.38	c (151,0) c AnalysisTime_4 : 34.005677
1072.14/156.38	c (151,0) c AnalysisTime_5 : 9.431792
1072.14/156.38	c (151,0) c AnalysisTime_6 : 13.190839
1072.14/156.38	c (151,0) c AnalysisTime_7 : 35.058781
1072.14/156.38	c (151,0) c AnalysisTime_total : 274.848555
1072.14/156.38	c (151,0) c AnalysisTime_winner : 13.190839
1072.14/156.38	c (151,0) c ReductionTime_0 : 1.323381
1072.14/156.38	c (151,0) c ReductionTime_1 : 1.299645
1072.14/156.38	c (151,0) c ReductionTime_2 : 1.299235
1072.14/156.38	c (151,0) c ReductionTime_3 : 1.326665
1072.14/156.38	c (151,0) c ReductionTime_4 : 1.400601
1072.14/156.38	c (151,0) c ReductionTime_5 : 1.335832
1072.14/156.38	c (151,0) c ReductionTime_6 : 1.380012
1072.14/156.38	c (151,0) c ReductionTime_7 : 1.331762
1072.14/156.38	c (151,0) c ReductionTime_total : 10.697132
1072.14/156.38	c (151,0) c ReductionTime_winner : 1.380012
1072.14/156.38	c (151,0) c SimplifyTime_0 : 0.018937
1072.14/156.38	c (151,0) c SimplifyTime_1 : 0.027498
1072.14/156.38	c (151,0) c SimplifyTime_2 : 0.035391
1072.14/156.38	c (151,0) c SimplifyTime_3 : 0.027107
1072.14/156.38	c (151,0) c SimplifyTime_4 : 0.024553
1072.14/156.38	c (151,0) c SimplifyTime_5 : 0.068079
1072.14/156.38	c (151,0) c SimplifyTime_6 : 0.061538
1072.14/156.38	c (151,0) c SimplifyTime_7 : 0.027294
1072.14/156.38	c (151,0) c SimplifyTime_total : 0.290397
1072.14/156.38	c (151,0) c SimplifyTime_winner : 0.061538
1072.14/156.38	c (151,0) c UsedRateTime_0 : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_1 : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_2 : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_3 : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_4 : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_5 : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_6 : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_7 : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_total : 0.000000
1072.14/156.38	c (151,0) c UsedRateTime_winner : 0.000000
1072.14/156.38	c (151,0) c OverlapRateTime_0 : 0.000000
1072.14/156.38	c (151,0) c OverlapRateTime_1 : 0.000000
1072.14/156.38	c (151,0) c OverlapRateTime_2 : 0.000000
1072.14/156.38	c (151,0) c OverlapRateTime_3 : 0.000000
1072.14/156.38	c (151,0) c OverlapRateTime_4 : 0.000000
1072.14/156.38	c (151,0) c OverlapRateTime_5 : 0.000000
1072.14/156.38	c (151,0) c OverlapRateTime_6 : 0.000000
1072.14/156.39	c (151,0) c OverlapRateTime_7 : 0.000000
1072.14/156.39	c (151,0) c OverlapRateTime_total : 0.000000
1072.14/156.39	c (151,0) c OverlapRateTime_winner : 0.000000
1072.14/156.39	c (151,0) c
1072.14/156.39	c (151,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1072.14/156.39	c (151,0) c
1072.14/156.39	c (151,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.39	c (151,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1072.14/156.39	c (151,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.39	c (151,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1072.14/156.39	c (151,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1072.14/156.39	c (151,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1072.14/156.39	c (151,0) c | Initial random_seed   |  373847951 | 1464426043 | 1971369320 |  570472437 |  920522361 | 1003556816 | 2002078161 |  203313826 |
1072.14/156.39	c (151,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1072.14/156.39	c (151,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1072.14/156.39	c (151,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1072.14/156.39	c (151,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1072.14/156.39	c (151,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1072.14/156.39	c (151,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1072.14/156.39	c (151,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1072.14/156.39	c (151,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1072.14/156.39	c (151,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1072.14/156.39	c (151,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1072.14/156.39	c (151,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1072.14/156.39	c (151,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1072.14/156.39	c (151,0) 
1072.14/156.39	c (151,0) s UNSATISFIABLE
1072.29/156.40	c (151,0) SatSolver.solve End
1072.29/156.40	c (151,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1072.29/156.40	c (151,0) Show results Begin
1072.29/156.40	s UNSATISFIABLE
1072.29/156.40	c (151,0) Show results End
1072.29/156.40	c (151,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1072.29/156.40	c (151,0) 151,151,STOP-AFTER(ALL)
1072.29/156.40	c END-Prog: Tue Sep 24 17:28:39 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 (13810 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-4405360-1569342986/watcher-4405360-1569342986 -o /tmp/evaluation-result-4405360-1569342986/solver-4405360-1569342986 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405360-1569342986.xml 

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

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

solver pid=6752, runsolver pid=6749

[startup+0.10011 s]*
/proc/loadavg: 7.12 7.38 7.16 2/210 6774
/proc/meminfo: memFree=26685828/32770624 swapFree=66986400/67108860
[pid=6752] ppid=6749 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6752/stat : 6752 (scop.sh) S 6749 6752 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510555252 115843072 349 33554432000 4194304 5098028 140722443580576 140722443577832 140662295372412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14180352 140722443584293 140722443584620 140722443584620 140722443587533 0
/proc/6752/statm: 28282 349 296 221 0 87 0
[pid=6755] ppid=6752 vsize=27314120 memory=107648 CPUtime=0.11 cores=0-7
/proc/6755/stat : 6755 (java) S 6752 6752 4774 0 -1 1077944320 6440 0 0 0 8 3 0 0 20 0 20 0 510555252 27969658880 26912 33554432000 4194304 4196468 140722614768576 140722614751120 139625612951287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
/proc/6755/statm: 6828530 26912 2800 1 0 6790935 0
[pid=6755/tid=6756] ppid=6752 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/6755/task/6756/stat : 6756 (java) R 6752 6752 4774 0 -1 4202560 4563 0 0 0 6 2 0 0 20 0 20 0 510555252 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625584778000 139625612973213 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6757] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6757/stat : 6757 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625617193744 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6758] ppid=6752 vsize=27314120 memory=15957614597535384 CPUtime=0 cores=0-7
/proc/6755/task/6758/stat : 6758 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625431350160 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6759] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6759/stat : 6759 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625430297616 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6760] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6760/stat : 6760 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625429245072 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6761] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6761/stat : 6761 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625031694608 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6762] ppid=6752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6755/task/6762/stat : 6762 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625030642064 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6763] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6763/stat : 6763 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625029589520 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6764] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6764/stat : 6764 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 26976 33554432000 4194304 4196468 140722614768576 139625028536976 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6765] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6765/stat : 6765 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 26976 33554432000 4194304 4196468 140722614768576 139623664757232 139625612962434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6766] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6766/stat : 6766 (java) S 6752 6752 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 26976 33554432000 4194304 4196468 140722614768576 139623548315040 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6767] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6767/stat : 6767 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 26976 33554432000 4194304 4196468 140722614768576 139623279879664 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6768] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6768/stat : 6768 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 26976 33554432000 4194304 4196468 140722614768576 139622905371344 139625612969883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6769] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6769/stat : 6769 (java) S 6752 6752 4774 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 26976 33554432000 4194304 4196468 140722614768576 139623663704048 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6770] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6770/stat : 6770 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 26976 33554432000 4194304 4196468 140722614768576 139623662651504 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6771] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6771/stat : 6771 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 26976 33554432000 4194304 4196468 140722614768576 139623661598960 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6772] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6772/stat : 6772 (java) S 6752 6752 4774 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 26976 33554432000 4194304 4196468 140722614768576 139623660546416 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6773] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6773/stat : 6773 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 26976 33554432000 4194304 4196468 140722614768576 139622407465696 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6774] ppid=6752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6755/task/6774/stat : 6774 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 26976 33554432000 4194304 4196468 140722614768576 139623659494320 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109044 KiB

[startup+0.210145 s]*
/proc/loadavg: 7.12 7.38 7.16 3/210 6774
/proc/meminfo: memFree=26663376/32770624 swapFree=66986400/67108860
[pid=6752] ppid=6749 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6752/stat : 6752 (scop.sh) S 6749 6752 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510555252 115843072 349 33554432000 4194304 5098028 140722443580576 140722443577832 140662295372412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14180352 140722443584293 140722443584620 140722443584620 140722443587533 0
/proc/6752/statm: 28282 349 296 221 0 87 0
[pid=6755] ppid=6752 vsize=27314120 memory=129192 CPUtime=0.24 cores=0-7
/proc/6755/stat : 6755 (java) S 6752 6752 4774 0 -1 1077944320 11954 0 0 0 19 5 0 0 20 0 20 0 510555252 27969658880 32298 33554432000 4194304 4196468 140722614768576 140722614751120 139625612951287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
/proc/6755/statm: 6828530 32298 2969 1 0 6790935 0
[pid=6755/tid=6756] ppid=6752 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6755/task/6756/stat : 6756 (java) R 6752 6752 4774 0 -1 4202560 9669 0 0 0 15 4 0 0 20 0 20 0 510555252 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625584764720 139625594516257 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6757] ppid=6752 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/6755/task/6757/stat : 6757 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625617193744 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6758] ppid=6752 vsize=27314120 memory=13711312341989016 CPUtime=0 cores=0-7
/proc/6755/task/6758/stat : 6758 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625431350160 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6759] ppid=6752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6755/task/6759/stat : 6759 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625430297616 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6760] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6760/stat : 6760 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625429245072 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6761] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6761/stat : 6761 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625031694608 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6762] ppid=6752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6755/task/6762/stat : 6762 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625030642064 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6763] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6763/stat : 6763 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625029589520 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6764] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6764/stat : 6764 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 32298 33554432000 4194304 4196468 140722614768576 139625028536976 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6765] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6765/stat : 6765 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 32298 33554432000 4194304 4196468 140722614768576 139623664757232 139625612962434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6766] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6766/stat : 6766 (java) S 6752 6752 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 32298 33554432000 4194304 4196468 140722614768576 139623548315040 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6767] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6767/stat : 6767 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 32298 33554432000 4194304 4196468 140722614768576 139623279879664 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6768] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6768/stat : 6768 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 32298 33554432000 4194304 4196468 140722614768576 139622905371344 139625612969883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6769] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6769/stat : 6769 (java) S 6752 6752 4774 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 32298 33554432000 4194304 4196468 140722614768576 139623663704048 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6770] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6770/stat : 6770 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 32298 33554432000 4194304 4196468 140722614768576 139623662651504 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6771] ppid=6752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6755/task/6771/stat : 6771 (java) S 6752 6752 4774 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 32298 33554432000 4194304 4196468 140722614768576 139623661598960 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6772] ppid=6752 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/6755/task/6772/stat : 6772 (java) S 6752 6752 4774 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 510555260 27969658880 32298 33554432000 4194304 4196468 140722614768576 139623660546416 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6773] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6773/stat : 6773 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 32298 33554432000 4194304 4196468 140722614768576 139622407465696 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6774] ppid=6752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6755/task/6774/stat : 6774 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 32298 33554432000 4194304 4196468 140722614768576 139623659494320 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130588 KiB

[startup+0.309617 s]*
/proc/loadavg: 7.12 7.38 7.16 2/210 6774
/proc/meminfo: memFree=26661024/32770624 swapFree=66986400/67108860
[pid=6752] ppid=6749 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6752/stat : 6752 (scop.sh) S 6749 6752 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510555252 115843072 349 33554432000 4194304 5098028 140722443580576 140722443577832 140662295372412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14180352 140722443584293 140722443584620 140722443584620 140722443587533 0
/proc/6752/statm: 28282 349 296 221 0 87 0
[pid=6755] ppid=6752 vsize=27314120 memory=132340 CPUtime=0.42 cores=0-7
/proc/6755/stat : 6755 (java) S 6752 6752 4774 0 -1 1077944320 12940 0 0 0 36 6 0 0 20 0 20 0 510555252 27969658880 33085 33554432000 4194304 4196468 140722614768576 140722614751120 139625612951287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
/proc/6755/statm: 6828530 33085 3006 1 0 6790935 0
[pid=6755/tid=6756] ppid=6752 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/6755/task/6756/stat : 6756 (java) R 6752 6752 4774 0 -1 4202560 10468 0 0 0 24 5 0 0 20 0 20 0 510555252 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625584781360 139625594514843 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6757] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6757/stat : 6757 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625617193744 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6758] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6758/stat : 6758 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625431350160 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6759] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6759/stat : 6759 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625430297616 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6760] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6760/stat : 6760 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625429245072 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6761] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6761/stat : 6761 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625031694608 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6762] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6762/stat : 6762 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625030642064 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6763] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6763/stat : 6763 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625029589520 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6764] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6764/stat : 6764 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555255 27969658880 33085 33554432000 4194304 4196468 140722614768576 139625028536976 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6765] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6765/stat : 6765 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 33085 33554432000 4194304 4196468 140722614768576 139623664757232 139625612962434 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6766] ppid=6752 vsize=27314120 memory=279631899073920 CPUtime=0 cores=0-7
/proc/6755/task/6766/stat : 6766 (java) S 6752 6752 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 33085 33554432000 4194304 4196468 140722614768576 139623548315040 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6767] ppid=6752 vsize=27314120 memory=279631899078528 CPUtime=0 cores=0-7
/proc/6755/task/6767/stat : 6767 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555257 27969658880 33085 33554432000 4194304 4196468 140722614768576 139623279879664 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6768] ppid=6752 vsize=27314120 memory=279631899083136 CPUtime=0 cores=0-7
/proc/6755/task/6768/stat : 6768 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 33085 33554432000 4194304 4196468 140722614768576 139622905371344 139625612969883 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6769] ppid=6752 vsize=27314120 memory=279631899087744 CPUtime=0.01 cores=0-7
/proc/6755/task/6769/stat : 6769 (java) S 6752 6752 4774 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 510555260 27969658880 33085 33554432000 4194304 4196468 140722614768576 139623663704048 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6770] ppid=6752 vsize=27314120 memory=279631899092352 CPUtime=0.01 cores=0-7
/proc/6755/task/6770/stat : 6770 (java) S 6752 6752 4774 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 510555260 27969658880 33085 33554432000 4194304 4196468 140722614768576 139623662651504 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6771] ppid=6752 vsize=27314120 memory=279631899096960 CPUtime=0.01 cores=0-7
/proc/6755/task/6771/stat : 6771 (java) S 6752 6752 4774 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 510555260 27969658880 33085 33554432000 4194304 4196468 140722614768576 139623661598960 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6772] ppid=6752 vsize=27314120 memory=279631899101568 CPUtime=0.07 cores=0-7
/proc/6755/task/6772/stat : 6772 (java) S 6752 6752 4774 0 -1 1077944384 485 0 0 0 7 0 0 0 20 0 20 0 510555260 27969658880 33085 33554432000 4194304 4196468 140722614768576 139623660546416 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6773] ppid=6752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6773/stat : 6773 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 33085 33554432000 4194304 4196468 140722614768576 139622407465696 139625612961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6774] ppid=6752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6755/task/6774/stat : 6774 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555260 27969658880 33085 33554432000 4194304 4196468 140722614768576 139623659494320 139625612962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133736 KiB

[startup+0.70092 s]
/proc/loadavg: 7.12 7.38 7.16 3/210 6774
/proc/meminfo: memFree=26640312/32770624 swapFree=66986400/67108860
[pid=6752] ppid=6749 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6752/stat : 6752 (scop.sh) S 6749 6752 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510555252 115843072 349 33554432000 4194304 5098028 140722443580576 140722443577832 140662295372412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14180352 140722443584293 140722443584620 140722443584620 140722443587533 0
/proc/6752/statm: 28282 349 296 221 0 87 0
[pid=6755] ppid=6752 vsize=27320392 memory=167508 CPUtime=0.98 cores=0-7
/proc/6755/stat : 6755 (java) S 6752 6752 4774 0 -1 1077944320 19902 0 0 0 90 8 0 0 20 0 20 0 510555252 27976081408 41877 33554432000 4194304 4196468 140722614768576 140722614751120 139625612951287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
/proc/6755/statm: 6830098 41877 3195 1 0 6791447 0
[pid=6755/tid=6756] ppid=6752 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/6755/task/6756/stat : 6756 (java) R 6752 6752 4774 0 -1 4202560 16892 0 0 0 61 7 0 0 20 0 20 0 510555252 27976081408 41877 33554432000 4194304 4196468 140722614768576 139625584788624 139625108748647 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6757] ppid=6752 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6757/stat : 6757 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27976081408 41877 33554432000 4194304 4196468 140722614768576 139625617193744 139625612961493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6758] ppid=6752 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6755/task/6758/stat : 6758 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510555255 27976081408 41877 33554432000 4194304 4196468 140722614768576 139625431350160 139625612961493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0
[pid=6755/tid=6759] ppid=6752 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/6755/task/6759/stat : 6759 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510555255 27976081408 41877 33554432000 4194304 4196468 140722614768576 139625430297616 139625612961493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37842944 140722614776556 140722614776982 140722614776982 140722614779855 0

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

/proc/6775/task/6782/stat : 6782 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574663732112 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6783] ppid=6752 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/6775/task/6783/stat : 6783 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574662679568 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6784] ppid=6752 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/6775/task/6784/stat : 6784 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574661627024 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6785] ppid=6752 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/6775/task/6785/stat : 6785 (java) S 6752 6752 4774 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510555687 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574275381232 140575182506626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6786] ppid=6752 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/6775/task/6786/stat : 6786 (java) S 6752 6752 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510555688 8616062976 30190 33554432000 4194304 4196468 140726794823984 140573742719904 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6787] ppid=6752 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/6775/task/6787/stat : 6787 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555688 8616062976 30190 33554432000 4194304 4196468 140726794823984 140573474284528 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6788] ppid=6752 vsize=8414124 memory=34820 CPUtime=0 cores=0-7
/proc/6775/task/6788/stat : 6788 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140573099776208 140575182514075 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6789] ppid=6752 vsize=8414124 memory=2120 CPUtime=0.06 cores=0-7
/proc/6775/task/6789/stat : 6789 (java) S 6752 6752 4774 0 -1 1077944384 730 0 0 0 6 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574274329072 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6790] ppid=6752 vsize=8414124 memory=532 CPUtime=0.06 cores=0-7
/proc/6775/task/6790/stat : 6790 (java) S 6752 6752 4774 0 -1 1077944384 196 0 0 0 6 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574273276528 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6791] ppid=6752 vsize=8414124 memory=1564 CPUtime=0.06 cores=0-7
/proc/6775/task/6791/stat : 6791 (java) S 6752 6752 4774 0 -1 1077944384 288 0 0 0 6 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574272223984 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6792] ppid=6752 vsize=8414124 memory=924 CPUtime=0.21 cores=0-7
/proc/6775/task/6792/stat : 6792 (java) S 6752 6752 4774 0 -1 1077944384 1024 0 0 0 21 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574271171440 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6793] ppid=6752 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/6775/task/6793/stat : 6793 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140572601870560 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6794] ppid=6752 vsize=8414124 memory=1440 CPUtime=0.09 cores=0-7
/proc/6775/task/6794/stat : 6794 (java) S 6752 6752 4774 0 -1 1077944384 11 0 0 0 7 2 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574270118320 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6796] ppid=6752 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/6775/task/6796/stat : 6796 (java) S 6752 6752 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510555760 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574262641856 140575182520089 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6798] ppid=6752 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/6775/task/6798/stat : 6798 (java) S 6752 6752 4774 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510555760 8616062976 30190 33554432000 4194304 4196468 140726794823984 140571930771216 140575182517405 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6799] ppid=6752 vsize=8414124 memory=2480 CPUtime=0 cores=0-7
/proc/6775/task/6799/stat : 6799 (java) S 6752 6752 4774 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510555760 8616062976 30190 33554432000 4194304 4196468 140726794823984 140572199206800 140575182517405 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6806] ppid=6752 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/6775/task/6806/stat : 6806 (java) S 6752 6752 4774 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510555762 8616062976 30190 33554432000 4194304 4196468 140726794823984 140571662343856 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
Current children cumulated CPU time: 1068.96 s
Current children cumulated vsize: 9269704 KiB
Current children cumulated memory: 706984 KiB

[startup+156.001 s]*
/proc/loadavg: 6.73 7.05 7.06 4/218 6820
/proc/meminfo: memFree=26085108/32770624 swapFree=66986400/67108860
[pid=6752] ppid=6749 vsize=113128 memory=1476 CPUtime=11.85 cores=0-7
/proc/6752/stat : 6752 (scop.sh) S 6749 6752 4774 0 -1 4202496 583 32154 0 0 0 0 1155 30 20 0 1 0 510555252 115843072 369 33554432000 4194304 5098028 140722443580576 140722443577320 140662295372412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14180352 140722443584293 140722443584620 140722443584620 140722443587533 0
/proc/6752/statm: 28282 369 311 221 0 87 0
[pid=6775] ppid=6752 vsize=8414124 memory=120760 CPUtime=1.35 cores=0-7
/proc/6775/stat : 6775 (java) S 6752 6752 4774 0 -1 1077944320 21693 0 0 0 127 8 0 0 20 0 24 0 510555684 8616062976 30190 33554432000 4194304 4196468 140726794823984 140726794806528 140575182495479 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
/proc/6775/statm: 2103531 30190 3209 1 0 2064875 0
[pid=6795] ppid=6775 vsize=742452 memory=586824 CPUtime=1058.41 cores=0-7
/proc/6795/stat : 6795 (manyglucose-4.1) S 6775 6752 4774 0 -1 1077944320 958998 0 0 0 105657 184 0 0 20 0 4 0 510555760 760270848 146706 33554432000 4194304 4454172 140737035845136 140737035843520 140088781197047 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 8060928 140737035850602 140737035850800 140737035850800 140737035853754 0
/proc/6795/statm: 185613 146706 419 64 0 181281 0
[pid=6795/tid=6800] ppid=6775 vsize=742452 memory=7552 CPUtime=149.06 cores=0-7
/proc/6795/task/6800/stat : 6800 (manyglucose-4.1) R 6775 6752 4774 0 -1 4202560 119295 0 0 0 14885 21 0 0 20 0 4 0 510555762 760270848 146706 33554432000 4194304 4454172 140737035845136 140088765979784 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 8060928 140737035850602 140737035850800 140737035850800 140737035853754 0
[pid=6795/tid=6801] ppid=6775 vsize=742452 memory=2832 CPUtime=146.8 cores=0-7
/proc/6795/task/6801/stat : 6801 (manyglucose-4.1) R 6775 6752 4774 0 -1 4202560 120883 0 0 0 14659 21 0 0 20 0 4 0 510555762 760270848 146706 33554432000 4194304 4454172 140737035845136 140088757586792 4333329 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 8060928 140737035850602 140737035850800 140737035850800 140737035853754 0
[pid=6795/tid=6803] ppid=6775 vsize=742452 memory=1084 CPUtime=144.55 cores=0-7
/proc/6795/task/6803/stat : 6803 (manyglucose-4.1) R 6775 6752 4774 0 -1 4202560 118878 0 0 0 14440 15 0 0 20 0 4 0 510555762 760270848 146706 33554432000 4194304 4454172 140737035845136 140088740801672 4351539 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 8060928 140737035850602 140737035850800 140737035850800 140737035853754 0
[pid=6775/tid=6776] ppid=6752 vsize=8414124 memory=8317482817917895235 CPUtime=0.78 cores=0-7
/proc/6775/task/6776/stat : 6776 (java) S 6752 6752 4774 0 -1 1077944384 18043 0 0 0 73 5 0 0 20 0 24 0 510555685 8616062976 30190 33554432000 4194304 4196468 140726794823984 140575154335648 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6777] ppid=6752 vsize=8414124 memory=584716 CPUtime=0 cores=0-7
/proc/6775/task/6777/stat : 6777 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140575186737424 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6778] ppid=6752 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/6775/task/6778/stat : 6778 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574667942288 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6779] ppid=6752 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/6775/task/6779/stat : 6779 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574666889744 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6780] ppid=6752 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/6775/task/6780/stat : 6780 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574665837200 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6781] ppid=6752 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/6775/task/6781/stat : 6781 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574664784656 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6782] ppid=6752 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6775/task/6782/stat : 6782 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574663732112 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6783] ppid=6752 vsize=8414124 memory=120508 CPUtime=0 cores=0-7
/proc/6775/task/6783/stat : 6783 (java) S 6752 6752 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574662679568 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6784] ppid=6752 vsize=8414124 memory=640952 CPUtime=0 cores=0-7
/proc/6775/task/6784/stat : 6784 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555686 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574661627024 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6785] ppid=6752 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/6775/task/6785/stat : 6785 (java) S 6752 6752 4774 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510555687 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574275381232 140575182506626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6786] ppid=6752 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/6775/task/6786/stat : 6786 (java) S 6752 6752 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510555688 8616062976 30190 33554432000 4194304 4196468 140726794823984 140573742719904 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6787] ppid=6752 vsize=8414124 memory=3708 CPUtime=0 cores=0-7
/proc/6775/task/6787/stat : 6787 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555688 8616062976 30190 33554432000 4194304 4196468 140726794823984 140573474284528 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6788] ppid=6752 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6775/task/6788/stat : 6788 (java) S 6752 6752 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140573099776208 140575182514075 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6789] ppid=6752 vsize=8414124 memory=120508 CPUtime=0.06 cores=0-7
/proc/6775/task/6789/stat : 6789 (java) S 6752 6752 4774 0 -1 1077944384 730 0 0 0 6 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574274329072 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6790] ppid=6752 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/6775/task/6790/stat : 6790 (java) S 6752 6752 4774 0 -1 1077944384 196 0 0 0 6 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574273276528 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6791] ppid=6752 vsize=8414124 memory=1728 CPUtime=0.06 cores=0-7
/proc/6775/task/6791/stat : 6791 (java) S 6752 6752 4774 0 -1 1077944384 288 0 0 0 6 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574272223984 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6792] ppid=6752 vsize=8414124 memory=692 CPUtime=0.21 cores=0-7
/proc/6775/task/6792/stat : 6792 (java) S 6752 6752 4774 0 -1 1077944384 1024 0 0 0 21 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574271171440 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6793] ppid=6752 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/6775/task/6793/stat : 6793 (java) S 6752 6752 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140572601870560 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6794] ppid=6752 vsize=8414124 memory=1556 CPUtime=0.12 cores=0-7
/proc/6775/task/6794/stat : 6794 (java) S 6752 6752 4774 0 -1 1077944384 11 0 0 0 7 5 0 0 20 0 24 0 510555691 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574270118320 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6796] ppid=6752 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/6775/task/6796/stat : 6796 (java) S 6752 6752 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510555760 8616062976 30190 33554432000 4194304 4196468 140726794823984 140574262641856 140575182520089 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6798] ppid=6752 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/6775/task/6798/stat : 6798 (java) S 6752 6752 4774 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510555760 8616062976 30190 33554432000 4194304 4196468 140726794823984 140571930771216 140575182517405 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6799] ppid=6752 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/6775/task/6799/stat : 6799 (java) S 6752 6752 4774 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510555760 8616062976 30190 33554432000 4194304 4196468 140726794823984 140572199206800 140575182517405 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6806] ppid=6752 vsize=8414124 memory=6184 CPUtime=0 cores=0-7
/proc/6775/task/6806/stat : 6806 (java) S 6752 6752 4774 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510555762 8616062976 30190 33554432000 4194304 4196468 140726794823984 140571662343856 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
Current children cumulated CPU time: 1071.61 s
Current children cumulated vsize: 9269704 KiB
Current children cumulated memory: 709060 KiB

[startup+156.401 s]
/proc/loadavg: 6.73 7.05 7.06 4/218 6820
/proc/meminfo: memFree=26085108/32770624 swapFree=66986400/67108860
[pid=6752] ppid=6749 vsize=113128 memory=1476 CPUtime=11.85 cores=0-7
/proc/6752/stat : 6752 (scop.sh) S 6749 6752 4774 0 -1 4202496 583 32154 0 0 0 0 1155 30 20 0 1 0 510555252 115843072 369 33554432000 4194304 5098028 140722443580576 140722443577320 140662295372412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14180352 140722443584293 140722443584620 140722443584620 140722443587533 0
/proc/6752/statm: 28282 369 311 221 0 87 0
[pid=6775] ppid=6752 vsize=8283048 memory=120932 CPUtime=1060.44 cores=0-7
/proc/6775/stat : 6775 (java) S 6752 6752 4774 0 -1 1077944320 21750 959038 0 0 132 8 105717 187 20 0 22 0 510555684 8481841152 30233 33554432000 4194304 4196468 140726794823984 140726794806528 140575182495479 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
/proc/6775/statm: 2070762 30233 3210 1 0 2032106 0
[pid=6775/tid=6776] ppid=6752 vsize=8283048 memory=1476 CPUtime=1059.82 cores=0-7
/proc/6775/task/6776/stat : 6776 (java) S 6752 6752 4774 0 -1 1077944384 18043 959038 0 0 73 5 105717 187 20 0 22 0 510555685 8481841152 30233 33554432000 4194304 4196468 140726794823984 140575154335648 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6777] ppid=6752 vsize=8283048 memory=120760 CPUtime=1059.04 cores=0-7
/proc/6775/task/6777/stat : 6777 (java) S 6752 6752 4774 0 -1 1077944384 2 959038 0 0 0 0 105717 187 20 0 22 0 510555686 8481841152 30233 33554432000 4194304 4196468 140726794823984 140575186737424 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6778] ppid=6752 vsize=8283048 memory=586824 CPUtime=1059.04 cores=0-7
/proc/6775/task/6778/stat : 6778 (java) S 6752 6752 4774 0 -1 1077944384 1 959038 0 0 0 0 105717 187 20 0 22 0 510555686 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574667942288 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6779] ppid=6752 vsize=8283048 memory=14012 CPUtime=1059.04 cores=0-7
/proc/6775/task/6779/stat : 6779 (java) S 6752 6752 4774 0 -1 1077944384 3 959038 0 0 0 0 105717 187 20 0 22 0 510555686 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574666889744 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6780] ppid=6752 vsize=8283048 memory=279631900322144 CPUtime=1059.04 cores=0-7
/proc/6775/task/6780/stat : 6780 (java) S 6752 6752 4774 0 -1 1077944384 1 959038 0 0 0 0 105717 187 20 0 22 0 510555686 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574665837200 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6781] ppid=6752 vsize=8283048 memory=288289982599198434 CPUtime=1059.04 cores=0-7
/proc/6775/task/6781/stat : 6781 (java) S 6752 6752 4774 0 -1 1077944384 2 959038 0 0 0 0 105717 187 20 0 22 0 510555686 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574664784656 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6782] ppid=6752 vsize=8283048 memory=6442232576846620261 CPUtime=1059.04 cores=0-7
/proc/6775/task/6782/stat : 6782 (java) S 6752 6752 4774 0 -1 1077944384 1 959038 0 0 0 0 105717 187 20 0 22 0 510555686 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574663732112 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6783] ppid=6752 vsize=8283048 memory=6369617577540478563 CPUtime=1059.04 cores=0-7
/proc/6775/task/6783/stat : 6783 (java) S 6752 6752 4774 0 -1 1077944384 2 959038 0 0 0 0 105717 187 20 0 22 0 510555686 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574662679568 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6784] ppid=6752 vsize=8283048 memory=20 CPUtime=1059.04 cores=0-7
/proc/6775/task/6784/stat : 6784 (java) S 6752 6752 4774 0 -1 1077944384 1 959038 0 0 0 0 105717 187 20 0 22 0 510555686 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574661627024 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6785] ppid=6752 vsize=8283048 memory=139815950194120 CPUtime=1059.04 cores=0-7
/proc/6775/task/6785/stat : 6785 (java) S 6752 6752 4774 0 -1 1077944384 10 959038 0 0 0 0 105717 187 20 0 22 0 510555687 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574275381232 140575182506626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6786] ppid=6752 vsize=8283048 memory=7686721470317829273 CPUtime=1059.04 cores=0-7
/proc/6775/task/6786/stat : 6786 (java) S 6752 6752 4774 0 -1 1077944384 13 959038 0 0 0 0 105717 187 20 0 22 0 510555688 8481841152 30233 33554432000 4194304 4196468 140726794823984 140573742719904 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6787] ppid=6752 vsize=8283048 memory=796 CPUtime=1059.04 cores=0-7
/proc/6775/task/6787/stat : 6787 (java) S 6752 6752 4774 0 -1 1077944384 1 959038 0 0 0 0 105717 187 20 0 22 0 510555688 8481841152 30233 33554432000 4194304 4196468 140726794823984 140573474284528 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6788] ppid=6752 vsize=8283048 memory=1808 CPUtime=1059.04 cores=0-7
/proc/6775/task/6788/stat : 6788 (java) S 6752 6752 4774 0 -1 1077944384 1 959038 0 0 0 0 105717 187 20 0 22 0 510555691 8481841152 30233 33554432000 4194304 4196468 140726794823984 140573099776208 140575182514075 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6789] ppid=6752 vsize=8283048 memory=920 CPUtime=1059.11 cores=0-7
/proc/6775/task/6789/stat : 6789 (java) R 6752 6752 4774 0 -1 1077944384 734 959038 0 0 7 0 105717 187 20 0 22 0 510555691 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574274329072 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6790] ppid=6752 vsize=8283048 memory=4480 CPUtime=1059.11 cores=0-7
/proc/6775/task/6790/stat : 6790 (java) S 6752 6752 4774 0 -1 1077944384 199 959038 0 0 7 0 105717 187 20 0 22 0 510555691 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574273276528 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6791] ppid=6752 vsize=8283048 memory=4104 CPUtime=1059.1 cores=0-7
/proc/6775/task/6791/stat : 6791 (java) S 6752 6752 4774 0 -1 1077944384 291 959038 0 0 6 0 105717 187 20 0 22 0 510555691 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574272223984 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6792] ppid=6752 vsize=8283048 memory=1412 CPUtime=1059.27 cores=0-7
/proc/6775/task/6792/stat : 6792 (java) R 6752 6752 4774 0 -1 4202560 1051 959038 0 0 23 0 105717 187 20 0 22 0 510555691 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574271171440 140575166575966 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6793] ppid=6752 vsize=8283048 memory=3736 CPUtime=1059.04 cores=0-7
/proc/6775/task/6793/stat : 6793 (java) S 6752 6752 4774 0 -1 1077944384 3 959038 0 0 0 0 105717 187 20 0 22 0 510555691 8481841152 30233 33554432000 4194304 4196468 140726794823984 140572601870560 140575182505685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6794] ppid=6752 vsize=8283048 memory=1476 CPUtime=1059.16 cores=0-7
/proc/6775/task/6794/stat : 6794 (java) S 6752 6752 4774 0 -1 1077944384 11 959038 0 0 7 5 105717 187 20 0 22 0 510555691 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574270118320 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6796] ppid=6752 vsize=8283048 memory=0 CPUtime=1059.04 cores=0-7
/proc/6775/task/6796/stat : 6796 (java) S 6752 6752 4774 0 -1 1077944384 23 959038 0 0 0 0 105717 187 20 0 22 0 510555760 8481841152 30233 33554432000 4194304 4196468 140726794823984 140574262641040 140575182506626 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
[pid=6775/tid=6806] ppid=6752 vsize=8283048 memory=6 CPUtime=1059.04 cores=0-7
/proc/6775/task/6806/stat : 6806 (java) R 6752 6752 4774 0 -1 4202560 12 959038 0 0 0 0 105717 187 20 0 22 0 510555762 8481841152 30233 33554432000 4194304 4196468 140726794823984 140571662327712 140575166539109 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24248320 140726794826744 140726794826902 140726794826902 140726794829775 0
Current children cumulated CPU time: 1072.29 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 122408 KiB

Child status: 0
Real time (s): 156.415
CPU time (s): 1072.34
CPU user time (s): 1070.06
CPU system time (s): 2.28188
CPU usage (%): 685.575
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1049008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1070.06
system time used= 2.28188
maximum resident set size= 1050000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1013578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19335
involuntary context switches= 8727


# summary of solver processes directly reported to runsolver:
#   pid: 6752
#   total CPU time (s): 1072.34
#   total CPU user time (s): 1070.06
#   total CPU system time (s): 2.28188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57295 second user time and 2.14869 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 17:26:03
IDJOB=4405360
IDBENCH=134580
IDSOLVER=2867
FILE ID=node104/4405360-1569342986
RUNJOBID= node104-1569331756-4801
PBS_JOBID= 21705071
Free space on /tmp= 9836 MiB

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

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

MD5SUM BENCH= a7efa7459c7ca72744d0a792626ba479
RANDOM SEED=1201978005

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:        26781668 kB
MemAvailable:   31819308 kB
Buffers:           92520 kB
Cached:          5035616 kB
SwapCached:        22640 kB
Active:          3163600 kB
Inactive:        1992320 kB
Active(anon):       3624 kB
Inactive(anon):    81584 kB
Active(file):    3159976 kB
Inactive(file):  1910736 kB
Unevictable:      109716 kB
Mlocked:          109716 kB
SwapTotal:      67108860 kB
SwapFree:       66986400 kB
Dirty:             20608 kB
Writeback:             0 kB
AnonPages:        313680 kB
Mapped:            57436 kB
Shmem:             49032 kB
Slab:             424980 kB
SReclaimable:     395388 kB
SUnreclaim:        29592 kB
KernelStack:        3824 kB
PageTables:         6200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 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:28:39