Trace number 4392440

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 1752.95 270.429

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-09.xml
MD5SUMe7714f1bdc5f54a36db8d66dbea9ce0a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark120.316
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree8
Maximum variable degree25
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":2},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":5},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":3},{"degree":22,"count":1},{"degree":25,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
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-7721-serial-file.bin HOME/instance-4392440-1568426017.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: Sat Sep 14 03:52:57 CEST 2019
0.65/0.57	c PID: 7724
0.65/0.57	c IP: 172.20.3.143
0.65/0.57	c HOST: node143.alineos.net
0.65/0.58	c (0,0) Parsing Begin
6.48/4.89	c (4,4) Parsing End
6.48/4.89	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.48/4.89	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.48/4.89	c (4,4) Constraint Name Generate Begin
6.59/4.90	c (4,4) Ctr:HOME/instance-4392440-1568426017.xml,ExtensionSupport:Var
6.59/4.90	c (4,4) Constraint Name Generate End
6.59/4.90	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.59/4.90	c (4,4) CSP to CSPinCNF Begin
18.62/10.17	c (9,9) translated 6 (10%) constraints
26.78/14.66	c (14,13) translated 12 (20%) constraints
30.77/18.53	c (17,17) translated 17 (30%) constraints
36.75/23.11	c (22,22) translated 23 (40%) constraints
41.48/26.79	c (26,25) translated 28 (50%) constraints
46.80/31.29	c (30,30) translated 34 (60%) constraints
51.48/35.70	c (35,34) translated 40 (70%) constraints
55.28/39.53	c (38,38) translated 45 (80%) constraints
61.09/44.40	c (43,43) translated 51 (90%) constraints
64.81/48.17	c (47,46) translated 56 (100%) constraints
65.61/48.91	c (48,47) ===========================================
65.61/48.91	c (48,47) Order
65.61/48.91	c (48,47) ===========================================
66.42/49.29	c (48,48) translated 12891 (10%) constraints
66.80/49.59	c (49,48) translated 25782 (20%) constraints
67.19/49.89	c (49,48) translated 38673 (30%) constraints
67.50/50.19	c (49,49) translated 51563 (40%) constraints
67.80/50.48	c (49,49) translated 64454 (50%) constraints
68.33/50.80	c (50,49) translated 77345 (60%) constraints
68.54/51.09	c (50,49) translated 90235 (70%) constraints
68.83/51.39	c (50,50) translated 103126 (80%) constraints
69.13/51.69	c (51,50) translated 116017 (90%) constraints
69.43/51.99	c (51,50) translated 128907 (100%) constraints
69.43/51.99	c (51,50) CSP to CSPinCNF End
69.43/52.00	c (51,50) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128907 ctr, max domain size 5
69.43/52.00	c (51,50) Heap : 5173 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
69.43/52.00	c (51,50) CSPinCNF Propagation Begin
71.11/52.95	c (52,51) 0 values, 69 unsatisfiable literals, and 19 valid clauses are removed
71.11/52.95	c (52,51) CSPinCNF Propagation End
71.11/52.95	c (52,51) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
71.11/52.95	c (52,51) Heap : 5839 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
71.11/52.96	c (52,51) Simplify CSPinCNF Begin
73.34/53.51	c (52,52) Simplify CSPinCNF End
73.34/53.51	c (52,52) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
73.34/53.51	c (52,52) Heap : 443 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
73.34/53.51	c (52,52) Calculate Precise Domain Begin
73.34/53.51	c (52,52) 0 values are removed by re-calculation
73.34/53.51	c (52,52) Calculate Precise Domain End
73.34/53.51	c (52,52) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
73.34/53.51	c (52,52) Heap : 443 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
73.34/53.51	c (52,52) CSPinCNF to SatSolver Begin
74.81/53.94	c (53,52) 12889 (10 %) CSP clauses are encoded (0 SAT variables, 12963 SAT clauses)
74.98/54.08	c (53,52) 25778 (20 %) CSP clauses are encoded (0 SAT variables, 25852 SAT clauses)
75.20/54.21	c (53,52) 38667 (30 %) CSP clauses are encoded (0 SAT variables, 38741 SAT clauses)
75.30/54.34	c (53,52) 51556 (40 %) CSP clauses are encoded (0 SAT variables, 51630 SAT clauses)
75.40/54.46	c (53,53) 64444 (50 %) CSP clauses are encoded (0 SAT variables, 64518 SAT clauses)
75.50/54.59	c (54,53) 77333 (60 %) CSP clauses are encoded (0 SAT variables, 77407 SAT clauses)
75.71/54.72	c (54,53) 90222 (70 %) CSP clauses are encoded (0 SAT variables, 90296 SAT clauses)
75.81/54.85	c (54,53) 103111 (80 %) CSP clauses are encoded (0 SAT variables, 103185 SAT clauses)
75.91/54.98	c (54,53) 116000 (90 %) CSP clauses are encoded (0 SAT variables, 116074 SAT clauses)
76.02/55.10	c (54,53) 128888 (100 %) CSP clauses are encoded (0 SAT variables, 128962 SAT clauses)
76.02/55.10	c (54,53) CSPinCNF to SatSolver End
76.02/55.10	c (54,53) Heap : 1679 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
76.02/55.11	c (54,53) 12589 bool, 128963 clause
76.02/55.11	c (54,53) Export Begin
76.12/55.20	c (54,53) Export to HOME/scop-7721-serial-file.bin
76.12/55.20	c (54,53) Export End
76.30/55.20	c (54,53) Export File Size: 0.01 MB
76.30/55.20	c (54,53) 4,4,51,52,52,52,54,STOP-AFTER(DIMACS)
76.30/55.20	c END-Prog: Sat Sep 14 03:53:52 CEST 2019
76.30/55.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7721-serial-file.bin
76.34/55.70	c (0,0) Read Serial File Begin
76.34/55.70	c (0,0) HOME/scop-7721-serial-file.bin
76.34/55.91	c (0,0) Read Serial File End
76.34/55.92	
76.34/55.92	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
76.34/55.92	(Solving Process)
76.34/55.92	
76.34/55.94	c BEGIN-Prog: Sat Sep 14 03:53:52 CEST 2019
76.34/55.94	c PID: 7747
76.34/55.94	c IP: 172.20.3.143
76.34/55.94	c HOST: node143.alineos.net
76.34/55.95	c (0,0) SatSolver.solve Begin
76.34/55.95	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392440-1568426017.xml-scop-7724.cnf
76.34/55.98	c (0,0) c
76.34/55.98	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)
76.34/55.98	c (0,0) c
76.34/55.98	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
76.34/55.98	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
76.34/55.98	c (0,0) c ========================================[ Problem Statistics ]===========================================
76.34/55.98	c (0,0) c |                                                                                                       |
77.48/56.03	c (0,0) c |  Number of variables:         12589                                                                   |
77.48/56.03	c (0,0) c |  Number of clauses:          128963                                                                   |
77.48/56.03	c (0,0) c |  Parse time:                   0.04 s                                                                 |
77.48/56.03	c (0,0) c |                                                                                                       |
77.48/56.10	c (0,0) c |  Simplification time:          0.07 s                                                                 |
77.48/56.10	c (0,0) c |                                                                                                       |
77.48/56.10	c (0,0) c |  Generating clones                                                                                    |
77.63/56.14	c (0,0) c |  all clones generated. Memory =    95.87Mb.                                                           |
77.63/56.14	c (0,0) c ========================================================================================================|
77.63/56.14	c (0,0) c
77.63/56.14	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
77.63/56.14	c (0,0) c
77.63/56.14	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
77.63/56.14	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
77.63/56.14	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
77.63/56.14	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
77.63/56.14	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
77.63/56.14	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
77.63/56.14	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
77.63/56.14	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
77.63/56.14	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
77.63/56.14	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
77.63/56.14	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
77.63/56.14	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
77.63/56.14	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
77.63/56.14	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
77.63/56.14	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
77.63/56.14	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
77.63/56.14	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
77.63/56.14	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
77.63/56.14	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
308.22/85.15	c (29,0) c
308.22/85.15	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
308.22/85.15	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
308.22/85.15	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
308.22/85.15	c (29,0) c |  0 |     40 |      60811 |      49438 |    38531 |    23350 |     8632 |    56634 |     3209 |      204 |  20 |  0.000 |
308.22/85.15	c (29,0) c |  1 |     35 |      57454 |      46473 |    40111 |    20381 |     8768 |    49724 |     2918 |      196 |  20 |  0.000 |
308.22/85.15	c (29,0) c |  2 |     21 |      60908 |      50112 |    36149 |    24021 |     9165 |    36357 |     2353 |      209 |  20 |  0.000 |
308.22/85.15	c (29,0) c |  3 |     32 |      61565 |      50207 |    38773 |    24120 |     8864 |    56770 |     3386 |      208 |  20 |  0.000 |
308.22/85.15	c (29,0) c |  4 |     34 |      61403 |      50034 |    40863 |    23941 |     8913 |    47048 |     3335 |      208 |  20 |  0.000 |
308.22/85.15	c (29,0) c |  5 |     41 |      60658 |      48894 |    40763 |    22805 |     8656 |    51339 |     3466 |      204 |  20 |  0.000 |
308.22/85.15	c (29,0) c |  6 |     35 |      59492 |      48748 |    35119 |    22658 |     8783 |    48401 |     2372 |      204 |  20 |  0.000 |
308.22/85.15	c (29,0) c |  7 |     16 |      59776 |      49525 |    36802 |    23437 |     9049 |    54727 |     2120 |      209 |  20 |  0.000 |
308.22/85.15	c (29,0) c 
308.22/85.15	c (29,0) c synthesis      393431 conflicts   625202468 propagations     1713 conflicts/sec  2721600 propagations/sec
308.22/85.15	c (29,0) c real: 29.1808 s, cpu: 229.719 s, memory: 682.17 Mb
546.85/115.15	c (59,0) c
546.85/115.15	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
546.85/115.15	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
546.85/115.15	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
546.85/115.15	c (59,0) c |  0 |     51 |     105229 |      88717 |    46598 |    35150 |    14028 |    88448 |     6644 |      404 |  20 |  0.000 |
546.85/115.15	c (59,0) c |  1 |     38 |     102388 |      86377 |    46685 |    32813 |    14568 |    72631 |     5927 |      395 |  20 |  0.000 |
546.85/115.15	c (59,0) c |  2 |     28 |     108108 |      91985 |    45069 |    20813 |    14664 |    96490 |     5896 |      415 |  20 |  0.000 |
546.85/115.15	c (59,0) c |  3 |     32 |     107261 |      91273 |    44202 |    20097 |    14622 |    56770 |     5744 |      415 |  20 |  0.000 |
546.85/115.15	c (59,0) c |  4 |     60 |     107926 |      90791 |    48986 |    19616 |    14513 |    87984 |     6868 |      413 |  20 |  0.000 |
546.85/115.15	c (59,0) c |  5 |     52 |     107089 |      90006 |    46828 |    18836 |    14049 |    98329 |     6400 |      411 |  20 |  0.000 |
546.85/115.15	c (59,0) c |  6 |     54 |     104965 |      88986 |    42859 |    17807 |    13812 |    97051 |     5748 |      406 |  20 |  0.000 |
546.85/115.15	c (59,0) c |  7 |     23 |     107462 |      91373 |    46170 |    20202 |    14983 |    87116 |     6068 |      415 |  20 |  0.000 |
546.85/115.15	c (59,0) c 
546.85/115.15	c (59,0) c synthesis      719509 conflicts  1175847718 propagations     1536 conflicts/sec  2510758 propagations/sec
546.85/115.15	c (59,0) c real: 59.1808 s, cpu: 468.324 s, memory: 682.17 Mb
774.17/144.15	c (88,0) c
774.17/144.15	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
774.17/144.15	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
774.17/144.15	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
774.17/144.15	c (88,0) c |  0 |     56 |     151432 |     129977 |    53001 |     3786 |    20034 |   123955 |     8057 |      605 |  20 |  0.000 |
774.17/144.15	c (88,0) c |  1 |     50 |     143347 |     123297 |    49980 |    31915 |    18561 |   131796 |     8426 |      587 |  20 |  0.000 |
774.17/144.15	c (88,0) c |  2 |     37 |     151624 |     131019 |    51850 |     2834 |    21863 |   129101 |     7009 |      600 |  20 |  0.000 |
774.17/144.15	c (88,0) c |  3 |     34 |     145257 |     125640 |    47549 |    34259 |    18236 |   109432 |     8155 |      606 |  20 |  0.000 |
774.17/144.15	c (88,0) c |  4 |     69 |     148049 |     126516 |    54750 |     2397 |    20071 |   128944 |     8173 |      588 |  20 |  0.000 |
774.17/144.15	c (88,0) c |  5 |     52 |     147215 |     126767 |    49660 |    35387 |    18455 |    98329 |     8971 |      604 |  20 |  0.000 |
774.17/144.15	c (88,0) c |  6 |     61 |     149531 |     129220 |    49112 |     3089 |    20357 |   108644 |     6745 |      596 |  20 |  0.000 |
774.17/144.15	c (88,0) c |  7 |     28 |     143500 |     123623 |    50038 |    32242 |    19105 |   111176 |     8153 |      586 |  20 |  0.000 |
774.17/144.15	c (88,0) c 
774.17/144.15	c (88,0) c synthesis     1016059 conflicts  1679451065 propagations     1461 conflicts/sec  2415178 propagations/sec
774.17/144.15	c (88,0) c real: 88.1808 s, cpu: 695.374 s, memory: 682.17 Mb
1003.69/173.15	c (117,0) c
1003.69/173.15	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
1003.69/173.15	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1003.69/173.15	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
1003.69/173.15	c (117,0) c |  0 |     59 |     195693 |     169892 |    59439 |     3698 |    25323 |   161194 |     8535 |      800 |  20 |  0.000 |
1003.69/173.15	c (117,0) c |  1 |     50 |     179395 |     156674 |    53545 |    42485 |    22304 |   131796 |    10550 |      784 |  20 |  0.000 |
1003.69/173.15	c (117,0) c |  2 |     37 |     196372 |     171711 |    56654 |     3561 |    26314 |   129101 |     7256 |      783 |  20 |  0.000 |
1003.69/173.15	c (117,0) c |  3 |     41 |     182268 |     159259 |    50316 |    45073 |    21677 |   163028 |    10270 |      801 |  20 |  0.000 |
1003.69/173.15	c (117,0) c |  4 |     71 |     191781 |     165818 |    60196 |     3615 |    25080 |   137836 |     8456 |      788 |  20 |  0.000 |
1003.69/173.15	c (117,0) c |  5 |     54 |     185685 |     161461 |    53398 |    47281 |    22311 |   154531 |    12262 |      794 |  20 |  0.000 |
1003.69/173.15	c (117,0) c |  6 |     62 |     196651 |     171793 |    53351 |     3676 |    25830 |   162198 |     6857 |      792 |  20 |  0.000 |
1003.69/173.15	c (117,0) c |  7 |     35 |     183032 |     159412 |    53358 |    45223 |    22474 |   161444 |    10979 |      785 |  20 |  0.000 |
1003.69/173.15	c (117,0) c 
1003.69/173.15	c (117,0) c synthesis     1316020 conflicts  2192919415 propagations     1423 conflicts/sec  2371296 propagations/sec
1003.69/173.15	c (117,0) c real: 117.181 s, cpu: 924.777 s, memory: 682.17 Mb
1234.40/202.15	c (146,0) c
1234.40/202.15	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1234.40/202.15	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1234.40/202.15	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1234.40/202.15	c (146,0) c |  0 |     65 |     238718 |     208764 |    64432 |     2631 |    29594 |   189695 |     8774 |      994 |  20 |  0.000 |
1234.40/202.15	c (146,0) c |  1 |     58 |     214236 |     188701 |    55579 |    49113 |    25486 |   191906 |    12760 |      977 |  20 |  0.000 |
1234.40/202.15	c (146,0) c |  2 |     46 |     240412 |     210820 |    61665 |     2692 |    30379 |   187397 |     7574 |      977 |  20 |  0.000 |
1234.40/202.15	c (146,0) c |  3 |     58 |     220230 |     193065 |    53987 |    53478 |    25102 |   193279 |    13565 |      991 |  20 |  0.000 |
1234.40/202.15	c (146,0) c |  4 |     73 |     236349 |     205985 |    64623 |     3798 |    29259 |   168984 |     8768 |      997 |  20 |  0.000 |
1234.40/202.15	c (146,0) c |  5 |     54 |     221186 |     193940 |    55159 |    54356 |    25577 |   154531 |    13546 |      990 |  20 |  0.000 |
1234.40/202.15	c (146,0) c |  6 |     85 |     240793 |     211125 |    58903 |     3010 |    30754 |   173376 |     7171 |      988 |  20 |  0.000 |
1234.40/202.15	c (146,0) c |  7 |     48 |     220781 |     193482 |    56540 |    53896 |    25524 |   189655 |    13985 |      984 |  20 |  0.000 |
1234.40/202.15	c (146,0) c 
1234.40/202.15	c (146,0) c synthesis     1605882 conflicts  2699858305 propagations     1390 conflicts/sec  2337007 propagations/sec
1234.40/202.15	c (146,0) c real: 146.181 s, cpu: 1155.26 s, memory: 682.17 Mb
1460.60/231.15	c (175,0) c
1460.60/231.15	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1460.60/231.15	c (175,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1460.60/231.15	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1460.60/231.15	c (175,0) c |  0 |     91 |     281887 |     247032 |    68954 |     2860 |    34433 |   212998 |     9113 |     1182 |  20 |  0.000 |
1460.60/231.15	c (175,0) c |  1 |     94 |     249619 |     220269 |    57883 |    52678 |    28427 |   214096 |    15749 |     1162 |  20 |  0.000 |
1460.60/231.15	c (175,0) c |  2 |     50 |     287402 |     253003 |    66894 |     2851 |    35699 |   189471 |     7811 |     1182 |  20 |  0.000 |
1460.60/231.15	c (175,0) c |  3 |     94 |     257238 |     225853 |    56632 |    58265 |    28059 |   218028 |    15978 |     1182 |  20 |  0.000 |
1460.60/231.15	c (175,0) c |  4 |     73 |     275227 |     241258 |    67929 |     3124 |    33865 |   168984 |     8884 |     1182 |  20 |  0.000 |
1460.60/231.15	c (175,0) c |  5 |     54 |     254322 |     224657 |    56647 |    57070 |    28415 |   154531 |    14431 |     1182 |  20 |  0.000 |
1460.60/231.15	c (175,0) c |  6 |     89 |     282609 |     248846 |    63354 |     2717 |    36035 |   212747 |     7467 |     1182 |  20 |  0.000 |
1460.60/231.15	c (175,0) c |  7 |     49 |     256351 |     226146 |    58701 |    58558 |    28677 |   214999 |    15832 |     1182 |  20 |  0.000 |
1460.60/231.15	c (175,0) c 
1460.60/231.15	c (175,0) c synthesis     1887065 conflicts  3186087459 propagations     1366 conflicts/sec  2306726 propagations/sec
1460.60/231.15	c (175,0) c real: 175.181 s, cpu: 1381.22 s, memory: 682.17 Mb
1693.79/261.15	c (205,0) c
1693.79/261.15	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1693.79/261.15	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1693.79/261.15	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1693.79/261.15	c (205,0) c |  0 |     93 |     325273 |     286446 |    72333 |     2351 |    39870 |   222934 |     9292 |     1380 |  20 |  0.000 |
1693.79/261.15	c (205,0) c |  1 |     94 |     284910 |     252833 |    59388 |    54639 |    31171 |   214096 |    17301 |     1360 |  20 |  0.000 |
1693.79/261.15	c (205,0) c |  2 |     61 |     330589 |     291573 |    71305 |     3407 |    40173 |   226541 |     8186 |     1380 |  20 |  0.000 |
1693.79/261.15	c (205,0) c |  3 |    101 |     292921 |     258561 |    58311 |    60374 |    30646 |   239491 |    18239 |     1380 |  20 |  0.000 |
1693.79/261.15	c (205,0) c |  4 |     79 |     318611 |     279950 |    72084 |     3777 |    38229 |   227323 |     9111 |     1380 |  20 |  0.000 |
1693.79/261.15	c (205,0) c |  5 |     55 |     288584 |     256304 |    58173 |    58116 |    30952 |   239582 |    16633 |     1377 |  20 |  0.000 |
1693.79/261.15	c (205,0) c |  6 |     89 |     325546 |     287902 |    67570 |     3735 |    39394 |   212747 |     7665 |     1380 |  20 |  0.000 |
1693.79/261.15	c (205,0) c |  7 |     54 |     291629 |     258715 |    60146 |    60526 |    31182 |   235647 |    17866 |     1380 |  20 |  0.000 |
1693.79/261.15	c (205,0) c 
1693.79/261.15	c (205,0) c synthesis     2172284 conflicts  3676760358 propagations     1346 conflicts/sec  2278040 propagations/sec
1693.79/261.15	c (205,0) c real: 205.181 s, cpu: 1614 s, memory: 682.17 Mb
1752.52/270.28	c (214,0) c
1752.52/270.28	c (214,0) c real time : 214.304 s
1752.52/270.28	c (214,0) c cpu time  : 1672.51 s
1752.52/270.28	c (214,0) c
1752.52/270.28	c (214,0) c
1752.52/270.28	c (214,0) c
1752.52/270.28	c (214,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1752.52/270.28	c (214,0) c
1752.52/270.28	c (214,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.28	c (214,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1752.52/270.28	c (214,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.28	c (214,0) c | Conflicts     |         2241609 |     295472 |     263025 |     300695 |     265931 |     289337 |     264485 |     296459 |     266205 |
1752.52/270.28	c (214,0) c | Decisions     |         2533959 |     335211 |     296113 |     340738 |     300721 |     329174 |     297441 |     334819 |     299742 |
1752.52/270.28	c (214,0) c | Propagations  |      3795208791 |  503884653 |  443593657 |  511938050 |  441606147 |  501723873 |  436125769 |  505824438 |  450512204 |
1752.52/270.28	c (214,0) c | ReduceDBs     |             475 |        105 |         13 |        108 |         14 |        102 |         13 |        106 |         14 |
1752.52/270.28	c (214,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1752.52/270.28	c (214,0) c | Restarts      |             632 |         93 |         98 |         62 |        101 |         79 |         56 |         89 |         54 |
1752.52/270.28	c (214,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1752.52/270.28	c (214,0) c | PropBinClauses|      1231369681 |  161007774 |  142912016 |  167467024 |  148091591 |  158914064 |  142098268 |  168382182 |  142496762 |
1752.52/270.28	c (214,0) c | PropPreBlocker|     40699714467 | 5105557200 | 5069805415 | 5116713501 | 5074886098 | 5097532985 | 5052790532 | 5098919884 | 5083508852 |
1752.52/270.28	c (214,0) c | PropNotBlocker|     14088580278 | 1819967879 | 1721488635 | 1794989956 | 1717732860 | 1828929882 | 1700923556 | 1817842386 | 1686705124 |
1752.52/270.28	c (214,0) c | LitFullScans  |     68522141318 | 8562505238 | 8562601149 | 8568517141 | 8566155604 | 8562595539 | 8562649767 | 8568490358 | 8568626522 |
1752.52/270.28	c (214,0) c | LitScanFracts |         4436376 |     479446 |     585511 |     501799 |     568077 |     573080 |     631793 |     474235 |     622435 |
1752.52/270.28	c (214,0) c | DecisionLevel0|             632 |         93 |         98 |         62 |        101 |         79 |         56 |         89 |         54 |
1752.52/270.28	c (214,0) c | Periods       |           11419 |       1427 |       1427 |       1428 |       1427 |       1427 |       1427 |       1428 |       1428 |
1752.52/270.28	c (214,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1752.52/270.28	c (214,0) c | Avg_Trail     |                 |       5256 |       5192 |       5283 |       5192 |       5317 |       5169 |       5185 |       5279 |
1752.52/270.28	c (214,0) c | Avg_DL        |                 |         16 |         15 |         16 |         16 |         16 |         15 |         15 |         16 |
1752.52/270.28	c (214,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1752.52/270.28	c (214,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1752.52/270.28	c (214,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.28	c (214,0) c | Exported      |          288049 |      40545 |      31895 |      41078 |      31302 |      39480 |      31759 |      40220 |      31770 |
1752.52/270.28	c (214,0) c | Imported      |         1887725 |     222934 |     253562 |     242342 |     239491 |     227323 |     253679 |     212747 |     235647 |
1752.52/270.28	c (214,0) c | Good          |            3451 |        403 |        443 |        434 |        419 |        425 |        442 |        436 |        449 |
1752.52/270.28	c (214,0) c | Purge         |         1884274 |     222531 |     253119 |     241908 |     239072 |     226898 |     253237 |     212311 |     235198 |
1752.52/270.28	c (214,0) c | Promoted      |          107614 |       9318 |      18276 |       8340 |      18569 |       9155 |      17969 |       7686 |      18301 |
1752.52/270.28	c (214,0) c | Remove_Imp    |         1461312 |     212053 |     152843 |     231947 |     172777 |     216554 |     103604 |     202462 |     169072 |
1752.52/270.28	c (214,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1752.52/270.28	c (214,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.28	c (214,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1752.52/270.28	c (214,0) c | Binaries      |                 |         88 |         57 |         65 |         74 |         65 |         58 |         51 |         43 |
1752.52/270.28	c (214,0) c | Glues         |                 |       1206 |        956 |       1135 |        935 |       1280 |        885 |       1038 |        915 |
1752.52/270.28	c (214,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.28	c (214,0) c | Orig_Seen     |            50 % |      73071 |      60040 |      72214 |      58530 |      72984 |      58674 |      68380 |      60333 |
1752.52/270.28	c (214,0) c | Diff Orig seen|                 |      14541 |       1510 |      13684 |      X     |      14454 |        144 |       9850 |       1803 |
1752.52/270.28	c (214,0) c | Hamming       |            46 % |       5731 |       6016 |       5800 |      X     |       6114 |       6019 |       6266 |       5324 |
1752.52/270.28	c (214,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.28	c (214,0) c | RunningTime   |                 |  208.9  98%|  214.0 100%|  209.8  99%|  208.3  98%|  208.1  98%|  211.4  99%|  209.6  99%|  210.2  99%|
1752.52/270.28	c (214,0) c | WaitingTime   |                 |    3.3   2%|    0.0   0%|    2.3   1%|    3.8   2%|    4.0   2%|    1.0   0%|    2.5   1%|    1.9   1%|
1752.52/270.28	c (214,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1752.52/270.28	c (214,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%|
1752.52/270.28	c (214,0) c | SolvingTime   |                 |  212.4     |  214.1     |  212.3     |  212.3     |  212.3     |  212.6     |  212.3     |  212.3     |
1752.52/270.28	c (214,0) c | PropagationTim|                 |  201.3  95%|  202.3  94%|  201.2  95%|  201.2  95%|  201.3  95%|  199.0  94%|  201.5  95%|  202.1  95%|
1752.52/270.28	c (214,0) c | AnalysisTime  |                 |    5.7   3%|    7.1   3%|    5.6   3%|    6.5   3%|    5.6   3%|    9.0   4%|    5.5   3%|    5.3   3%|
1752.52/270.28	c (214,0) c | ReductionTime |                 |    0.8   0%|    0.5   0%|    0.8   0%|    0.5   0%|    0.7   0%|    0.4   0%|    0.7   0%|    0.5   0%|
1752.52/270.28	c (214,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1752.52/270.28	c (214,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%|
1752.52/270.28	c (214,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%|
1752.52/270.28	c (214,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.28	c (214,0) c
1752.52/270.28	c (214,0) c
1752.52/270.28	c (214,0) c Threads : 8
1752.52/270.28	c (214,0) c Winner : 3
1752.52/270.28	c (214,0) c Conflicts_0 : 295472
1752.52/270.28	c (214,0) c Conflicts_1 : 263025
1752.52/270.28	c (214,0) c Conflicts_2 : 300695
1752.52/270.28	c (214,0) c Conflicts_3 : 265931
1752.52/270.28	c (214,0) c Conflicts_4 : 289337
1752.52/270.28	c (214,0) c Conflicts_5 : 264485
1752.52/270.28	c (214,0) c Conflicts_6 : 296459
1752.52/270.28	c (214,0) c Conflicts_7 : 266205
1752.52/270.28	c (214,0) c Conflicts_total : 2241609
1752.52/270.28	c (214,0) c Conflicts_winner : 265931
1752.52/270.28	c (214,0) c Decisions_0 : 335211
1752.52/270.28	c (214,0) c Decisions_1 : 296113
1752.52/270.28	c (214,0) c Decisions_2 : 340738
1752.52/270.28	c (214,0) c Decisions_3 : 300721
1752.52/270.28	c (214,0) c Decisions_4 : 329174
1752.52/270.28	c (214,0) c Decisions_5 : 297441
1752.52/270.28	c (214,0) c Decisions_6 : 334819
1752.52/270.28	c (214,0) c Decisions_7 : 299742
1752.52/270.28	c (214,0) c Decisions_total : 2533959
1752.52/270.28	c (214,0) c Decisions_winner : 300721
1752.52/270.28	c (214,0) c Propagations_0 : 503884653
1752.52/270.28	c (214,0) c Propagations_1 : 443593657
1752.52/270.28	c (214,0) c Propagations_2 : 511938050
1752.52/270.28	c (214,0) c Propagations_3 : 441606147
1752.52/270.28	c (214,0) c Propagations_4 : 501723873
1752.52/270.28	c (214,0) c Propagations_5 : 436125769
1752.52/270.28	c (214,0) c Propagations_6 : 505824438
1752.52/270.28	c (214,0) c Propagations_7 : 450512204
1752.52/270.28	c (214,0) c Propagations_total : 3795208791
1752.52/270.28	c (214,0) c Propagations_winner : 441606147
1752.52/270.28	c (214,0) c ReduceDBs_0 : 105
1752.52/270.28	c (214,0) c ReduceDBs_1 : 13
1752.52/270.28	c (214,0) c ReduceDBs_2 : 108
1752.52/270.28	c (214,0) c ReduceDBs_3 : 14
1752.52/270.28	c (214,0) c ReduceDBs_4 : 102
1752.52/270.28	c (214,0) c ReduceDBs_5 : 13
1752.52/270.28	c (214,0) c ReduceDBs_6 : 106
1752.52/270.28	c (214,0) c ReduceDBs_7 : 14
1752.52/270.28	c (214,0) c ReduceDBs_total : 475
1752.52/270.28	c (214,0) c ReduceDBs_winner : 14
1752.52/270.28	c (214,0) c SimpDBs_0 : 1
1752.52/270.28	c (214,0) c SimpDBs_1 : 1
1752.52/270.28	c (214,0) c SimpDBs_2 : 1
1752.52/270.28	c (214,0) c SimpDBs_3 : 1
1752.52/270.28	c (214,0) c SimpDBs_4 : 1
1752.52/270.28	c (214,0) c SimpDBs_5 : 1
1752.52/270.28	c (214,0) c SimpDBs_6 : 1
1752.52/270.28	c (214,0) c SimpDBs_7 : 1
1752.52/270.28	c (214,0) c SimpDBs_total : 8
1752.52/270.28	c (214,0) c SimpDBs_winner : 1
1752.52/270.28	c (214,0) c Restarts_0 : 93
1752.52/270.28	c (214,0) c Restarts_1 : 98
1752.52/270.28	c (214,0) c Restarts_2 : 62
1752.52/270.28	c (214,0) c Restarts_3 : 101
1752.52/270.28	c (214,0) c Restarts_4 : 79
1752.52/270.28	c (214,0) c Restarts_5 : 56
1752.52/270.28	c (214,0) c Restarts_6 : 89
1752.52/270.28	c (214,0) c Restarts_7 : 54
1752.52/270.28	c (214,0) c Restarts_total : 632
1752.52/270.28	c (214,0) c Restarts_winner : 101
1752.52/270.28	c (214,0) c ForcedImports_0 : 0
1752.52/270.28	c (214,0) c ForcedImports_1 : 0
1752.52/270.28	c (214,0) c ForcedImports_2 : 0
1752.52/270.28	c (214,0) c ForcedImports_3 : 0
1752.52/270.28	c (214,0) c ForcedImports_4 : 0
1752.52/270.28	c (214,0) c ForcedImports_5 : 0
1752.52/270.28	c (214,0) c ForcedImports_6 : 0
1752.52/270.28	c (214,0) c ForcedImports_7 : 0
1752.52/270.28	c (214,0) c ForcedImports_total : 0
1752.52/270.28	c (214,0) c ForcedImports_winner : 0
1752.52/270.28	c (214,0) c PropsBinClauses_0 : 161007774
1752.52/270.28	c (214,0) c PropsBinClauses_1 : 142912016
1752.52/270.28	c (214,0) c PropsBinClauses_2 : 167467024
1752.52/270.28	c (214,0) c PropsBinClauses_3 : 148091591
1752.52/270.28	c (214,0) c PropsBinClauses_4 : 158914064
1752.52/270.28	c (214,0) c PropsBinClauses_5 : 142098268
1752.52/270.28	c (214,0) c PropsBinClauses_6 : 168382182
1752.52/270.28	c (214,0) c PropsBinClauses_7 : 142496762
1752.52/270.28	c (214,0) c PropsBinClauses_total : 1231369681
1752.52/270.28	c (214,0) c PropsBinClauses_winner : 148091591
1752.52/270.28	c (214,0) c PropsPreBlocker_0 : 5105557200
1752.52/270.28	c (214,0) c PropsPreBlocker_1 : 5069805415
1752.52/270.28	c (214,0) c PropsPreBlocker_2 : 5116713501
1752.52/270.28	c (214,0) c PropsPreBlocker_3 : 5074886098
1752.52/270.28	c (214,0) c PropsPreBlocker_4 : 5097532985
1752.52/270.28	c (214,0) c PropsPreBlocker_5 : 5052790532
1752.52/270.28	c (214,0) c PropsPreBlocker_6 : 5098919884
1752.52/270.28	c (214,0) c PropsPreBlocker_7 : 5083508852
1752.52/270.28	c (214,0) c PropsPreBlocker_total : 40699714467
1752.52/270.28	c (214,0) c PropsPreBlocker_winner : 5074886098
1752.52/270.28	c (214,0) c PropsNotBlocker_0 : 1819967879
1752.52/270.28	c (214,0) c PropsNotBlocker_1 : 1721488635
1752.52/270.28	c (214,0) c PropsNotBlocker_2 : 1794989956
1752.52/270.28	c (214,0) c PropsNotBlocker_3 : 1717732860
1752.52/270.28	c (214,0) c PropsNotBlocker_4 : 1828929882
1752.52/270.28	c (214,0) c PropsNotBlocker_5 : 1700923556
1752.52/270.28	c (214,0) c PropsNotBlocker_6 : 1817842386
1752.52/270.28	c (214,0) c PropsNotBlocker_7 : 1686705124
1752.52/270.28	c (214,0) c PropsNotBlocker_total : 14088580278
1752.52/270.28	c (214,0) c PropsNotBlocker_winner : 1717732860
1752.52/270.28	c (214,0) c PropsLitFullScans_0 : 8562505238
1752.52/270.28	c (214,0) c PropsLitFullScans_1 : 8562601149
1752.52/270.28	c (214,0) c PropsLitFullScans_2 : 8568517141
1752.52/270.28	c (214,0) c PropsLitFullScans_3 : 8566155604
1752.52/270.28	c (214,0) c PropsLitFullScans_4 : 8562595539
1752.52/270.28	c (214,0) c PropsLitFullScans_5 : 8562649767
1752.52/270.28	c (214,0) c PropsLitFullScans_6 : 8568490358
1752.52/270.28	c (214,0) c PropsLitFullScans_7 : 8568626522
1752.52/270.28	c (214,0) c PropsLitFullScans_total : 68522141318
1752.52/270.28	c (214,0) c PropsLitFullScans_winner : 8566155604
1752.52/270.28	c (214,0) c LitScanFractions_0 : 479446
1752.52/270.28	c (214,0) c LitScanFractions_1 : 585511
1752.52/270.28	c (214,0) c LitScanFractions_2 : 501799
1752.52/270.28	c (214,0) c LitScanFractions_3 : 568077
1752.52/270.28	c (214,0) c LitScanFractions_4 : 573080
1752.52/270.28	c (214,0) c LitScanFractions_5 : 631793
1752.52/270.28	c (214,0) c LitScanFractions_6 : 474235
1752.52/270.28	c (214,0) c LitScanFractions_7 : 622435
1752.52/270.28	c (214,0) c LitScanFractions_total : 4436376
1752.52/270.28	c (214,0) c LitScanFractions_winner : 568077
1752.52/270.28	c (214,0) c DecisionLevel0_0 : 93
1752.52/270.28	c (214,0) c DecisionLevel0_1 : 98
1752.52/270.28	c (214,0) c DecisionLevel0_2 : 62
1752.52/270.28	c (214,0) c DecisionLevel0_3 : 101
1752.52/270.28	c (214,0) c DecisionLevel0_4 : 79
1752.52/270.28	c (214,0) c DecisionLevel0_5 : 56
1752.52/270.28	c (214,0) c DecisionLevel0_6 : 89
1752.52/270.28	c (214,0) c DecisionLevel0_7 : 54
1752.52/270.28	c (214,0) c DecisionLevel0_total : 632
1752.52/270.28	c (214,0) c DecisionLevel0_winner : 101
1752.52/270.28	c (214,0) c Periods_0 : 1427
1752.52/270.28	c (214,0) c Periods_1 : 1427
1752.52/270.28	c (214,0) c Periods_2 : 1428
1752.52/270.28	c (214,0) c Periods_3 : 1427
1752.52/270.28	c (214,0) c Periods_4 : 1427
1752.52/270.28	c (214,0) c Periods_5 : 1427
1752.52/270.28	c (214,0) c Periods_6 : 1428
1752.52/270.28	c (214,0) c Periods_7 : 1428
1752.52/270.28	c (214,0) c Periods_total : 11419
1752.52/270.28	c (214,0) c Periods_winner : 1427
1752.52/270.28	c (214,0) c Margin_0 : 20
1752.52/270.28	c (214,0) c Margin_1 : 20
1752.52/270.28	c (214,0) c Margin_2 : 20
1752.52/270.28	c (214,0) c Margin_3 : 20
1752.52/270.28	c (214,0) c Margin_4 : 20
1752.52/270.28	c (214,0) c Margin_5 : 20
1752.52/270.28	c (214,0) c Margin_6 : 20
1752.52/270.28	c (214,0) c Margin_7 : 20
1752.52/270.28	c (214,0) c Margin_total : 160
1752.52/270.28	c (214,0) c Margin_winner : 20
1752.52/270.28	c (214,0) c Exported_0 : 40545
1752.52/270.28	c (214,0) c Exported_1 : 31895
1752.52/270.28	c (214,0) c Exported_2 : 41078
1752.52/270.28	c (214,0) c Exported_3 : 31302
1752.52/270.28	c (214,0) c Exported_4 : 39480
1752.52/270.28	c (214,0) c Exported_5 : 31759
1752.52/270.28	c (214,0) c Exported_6 : 40220
1752.52/270.28	c (214,0) c Exported_7 : 31770
1752.52/270.28	c (214,0) c Exported_total : 288049
1752.52/270.28	c (214,0) c Exported_winner : 31302
1752.52/270.28	c (214,0) c Imported_0 : 222934
1752.52/270.28	c (214,0) c Imported_1 : 253562
1752.52/270.28	c (214,0) c Imported_2 : 242342
1752.52/270.28	c (214,0) c Imported_3 : 239491
1752.52/270.28	c (214,0) c Imported_4 : 227323
1752.52/270.28	c (214,0) c Imported_5 : 253679
1752.52/270.28	c (214,0) c Imported_6 : 212747
1752.52/270.28	c (214,0) c Imported_7 : 235647
1752.52/270.28	c (214,0) c Imported_total : 1887725
1752.52/270.28	c (214,0) c Imported_winner : 239491
1752.52/270.28	c (214,0) c Good_0 : 403
1752.52/270.28	c (214,0) c Good_1 : 443
1752.52/270.28	c (214,0) c Good_2 : 434
1752.52/270.28	c (214,0) c Good_3 : 419
1752.52/270.28	c (214,0) c Good_4 : 425
1752.52/270.28	c (214,0) c Good_5 : 442
1752.52/270.28	c (214,0) c Good_6 : 436
1752.52/270.28	c (214,0) c Good_7 : 449
1752.52/270.28	c (214,0) c Good_total : 3451
1752.52/270.28	c (214,0) c Good_winner : 419
1752.52/270.28	c (214,0) c Purge_0 : 222531
1752.52/270.28	c (214,0) c Purge_1 : 253119
1752.52/270.28	c (214,0) c Purge_2 : 241908
1752.52/270.28	c (214,0) c Purge_3 : 239072
1752.52/270.28	c (214,0) c Purge_4 : 226898
1752.52/270.28	c (214,0) c Purge_5 : 253237
1752.52/270.28	c (214,0) c Purge_6 : 212311
1752.52/270.28	c (214,0) c Purge_7 : 235198
1752.52/270.28	c (214,0) c Purge_total : 1884274
1752.52/270.28	c (214,0) c Purge_winner : 239072
1752.52/270.28	c (214,0) c Promoted_0 : 9318
1752.52/270.28	c (214,0) c Promoted_1 : 18276
1752.52/270.28	c (214,0) c Promoted_2 : 8340
1752.52/270.28	c (214,0) c Promoted_3 : 18569
1752.52/270.28	c (214,0) c Promoted_4 : 9155
1752.52/270.28	c (214,0) c Promoted_5 : 17969
1752.52/270.28	c (214,0) c Promoted_6 : 7686
1752.52/270.28	c (214,0) c Promoted_7 : 18301
1752.52/270.28	c (214,0) c Promoted_total : 107614
1752.52/270.28	c (214,0) c Promoted_winner : 18569
1752.52/270.28	c (214,0) c Remove_Imp_0 : 212053
1752.52/270.29	c (214,0) c Remove_Imp_1 : 152843
1752.52/270.29	c (214,0) c Remove_Imp_2 : 231947
1752.52/270.29	c (214,0) c Remove_Imp_3 : 172777
1752.52/270.29	c (214,0) c Remove_Imp_4 : 216554
1752.52/270.29	c (214,0) c Remove_Imp_5 : 103604
1752.52/270.29	c (214,0) c Remove_Imp_6 : 202462
1752.52/270.29	c (214,0) c Remove_Imp_7 : 169072
1752.52/270.29	c (214,0) c Remove_Imp_total : 1461312
1752.52/270.29	c (214,0) c Remove_Imp_winner : 172777
1752.52/270.29	c (214,0) c Blocked_Reuse_0 : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_1 : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_2 : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_3 : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_4 : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_5 : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_6 : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_7 : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_total : 0
1752.52/270.29	c (214,0) c Blocked_Reuse_winner : 0
1752.52/270.29	c (214,0) c Unaries_0 : 0
1752.52/270.29	c (214,0) c Unaries_1 : 0
1752.52/270.29	c (214,0) c Unaries_2 : 0
1752.52/270.29	c (214,0) c Unaries_3 : 0
1752.52/270.29	c (214,0) c Unaries_4 : 0
1752.52/270.29	c (214,0) c Unaries_5 : 0
1752.52/270.29	c (214,0) c Unaries_6 : 0
1752.52/270.29	c (214,0) c Unaries_7 : 0
1752.52/270.29	c (214,0) c Unaries_total : 0
1752.52/270.29	c (214,0) c Unaries_winner : 0
1752.52/270.29	c (214,0) c Binaries_0 : 88
1752.52/270.29	c (214,0) c Binaries_1 : 57
1752.52/270.29	c (214,0) c Binaries_2 : 65
1752.52/270.29	c (214,0) c Binaries_3 : 74
1752.52/270.29	c (214,0) c Binaries_4 : 65
1752.52/270.29	c (214,0) c Binaries_5 : 58
1752.52/270.29	c (214,0) c Binaries_6 : 51
1752.52/270.29	c (214,0) c Binaries_7 : 43
1752.52/270.29	c (214,0) c Binaries_total : 501
1752.52/270.29	c (214,0) c Binaries_winner : 74
1752.52/270.29	c (214,0) c Glues_0 : 1206
1752.52/270.29	c (214,0) c Glues_1 : 956
1752.52/270.29	c (214,0) c Glues_2 : 1135
1752.52/270.29	c (214,0) c Glues_3 : 935
1752.52/270.29	c (214,0) c Glues_4 : 1280
1752.52/270.29	c (214,0) c Glues_5 : 885
1752.52/270.29	c (214,0) c Glues_6 : 1038
1752.52/270.29	c (214,0) c Glues_7 : 915
1752.52/270.29	c (214,0) c Glues_total : 8350
1752.52/270.29	c (214,0) c Glues_winner : 935
1752.52/270.29	c (214,0) c RunningTime_0 : 208.893509
1752.52/270.29	c (214,0) c RunningTime_1 : 213.961426
1752.52/270.29	c (214,0) c RunningTime_2 : 209.818663
1752.52/270.29	c (214,0) c RunningTime_3 : 208.349001
1752.52/270.29	c (214,0) c RunningTime_4 : 208.090549
1752.52/270.29	c (214,0) c RunningTime_5 : 211.443494
1752.52/270.29	c (214,0) c RunningTime_6 : 209.623744
1752.52/270.29	c (214,0) c RunningTime_7 : 210.215578
1752.52/270.29	c (214,0) c RunningTime_total : 1680.395963
1752.52/270.29	c (214,0) c RunningTime_winner : 208.349001
1752.52/270.29	c (214,0) c WaitingTime_0 : 3.316873
1752.52/270.29	c (214,0) c WaitingTime_1 : 0.001748
1752.52/270.29	c (214,0) c WaitingTime_2 : 2.331353
1752.52/270.29	c (214,0) c WaitingTime_3 : 3.790559
1752.52/270.29	c (214,0) c WaitingTime_4 : 4.044016
1752.52/270.29	c (214,0) c WaitingTime_5 : 0.994872
1752.52/270.29	c (214,0) c WaitingTime_6 : 2.523265
1752.52/270.29	c (214,0) c WaitingTime_7 : 1.937871
1752.52/270.29	c (214,0) c WaitingTime_total : 18.940557
1752.52/270.29	c (214,0) c WaitingTime_winner : 3.790559
1752.52/270.29	c (214,0) c ExchangingTime_0 : 0.146059
1752.52/270.29	c (214,0) c ExchangingTime_1 : 0.111568
1752.52/270.29	c (214,0) c ExchangingTime_2 : 0.125819
1752.52/270.29	c (214,0) c ExchangingTime_3 : 0.109140
1752.52/270.29	c (214,0) c ExchangingTime_4 : 0.124757
1752.52/270.29	c (214,0) c ExchangingTime_5 : 0.119182
1752.52/270.29	c (214,0) c ExchangingTime_6 : 0.121402
1752.52/270.29	c (214,0) c ExchangingTime_7 : 0.115590
1752.52/270.29	c (214,0) c ExchangingTime_total : 0.973517
1752.52/270.29	c (214,0) c ExchangingTime_winner : 0.109140
1752.52/270.29	c (214,0) c PeriodProcTime_0 : 0.012918
1752.52/270.29	c (214,0) c PeriodProcTime_1 : 0.020796
1752.52/270.29	c (214,0) c PeriodProcTime_2 : 0.012295
1752.52/270.29	c (214,0) c PeriodProcTime_3 : 0.010897
1752.52/270.29	c (214,0) c PeriodProcTime_4 : 0.012244
1752.52/270.29	c (214,0) c PeriodProcTime_5 : 0.014083
1752.52/270.29	c (214,0) c PeriodProcTime_6 : 0.013221
1752.52/270.29	c (214,0) c PeriodProcTime_7 : 0.013676
1752.52/270.29	c (214,0) c PeriodProcTime_total : 0.110130
1752.52/270.29	c (214,0) c PeriodProcTime_winner : 0.010897
1752.52/270.29	c (214,0) c SolvingTime_0 : 212.369358
1752.52/270.29	c (214,0) c SolvingTime_1 : 214.095537
1752.52/270.29	c (214,0) c SolvingTime_2 : 212.288130
1752.52/270.29	c (214,0) c SolvingTime_3 : 212.259597
1752.52/270.29	c (214,0) c SolvingTime_4 : 212.271565
1752.52/270.29	c (214,0) c SolvingTime_5 : 212.571630
1752.52/270.29	c (214,0) c SolvingTime_6 : 212.281632
1752.52/270.29	c (214,0) c SolvingTime_7 : 212.282715
1752.52/270.29	c (214,0) c SolvingTime_total : 1700.420166
1752.52/270.29	c (214,0) c SolvingTime_winner : 212.259597
1752.52/270.29	c (214,0) c PropagationTime_0 : 201.333226
1752.52/270.29	c (214,0) c PropagationTime_1 : 202.282963
1752.52/270.29	c (214,0) c PropagationTime_2 : 201.189327
1752.52/270.29	c (214,0) c PropagationTime_3 : 201.152613
1752.52/270.29	c (214,0) c PropagationTime_4 : 201.349383
1752.52/270.29	c (214,0) c PropagationTime_5 : 198.974362
1752.52/270.29	c (214,0) c PropagationTime_6 : 201.453563
1752.52/270.29	c (214,0) c PropagationTime_7 : 202.088053
1752.52/270.29	c (214,0) c PropagationTime_total : 1609.823491
1752.52/270.29	c (214,0) c PropagationTime_winner : 201.152613
1752.52/270.29	c (214,0) c AnalysisTime_0 : 5.656258
1752.52/270.29	c (214,0) c AnalysisTime_1 : 7.056114
1752.52/270.29	c (214,0) c AnalysisTime_2 : 5.574993
1752.52/270.29	c (214,0) c AnalysisTime_3 : 6.468658
1752.52/270.29	c (214,0) c AnalysisTime_4 : 5.588926
1752.52/270.29	c (214,0) c AnalysisTime_5 : 8.981788
1752.52/270.29	c (214,0) c AnalysisTime_6 : 5.514214
1752.52/270.29	c (214,0) c AnalysisTime_7 : 5.309923
1752.52/270.29	c (214,0) c AnalysisTime_total : 50.150874
1752.52/270.29	c (214,0) c AnalysisTime_winner : 6.468658
1752.52/270.29	c (214,0) c ReductionTime_0 : 0.757284
1752.52/270.29	c (214,0) c ReductionTime_1 : 0.469811
1752.52/270.29	c (214,0) c ReductionTime_2 : 0.777280
1752.52/270.29	c (214,0) c ReductionTime_3 : 0.505933
1752.52/270.29	c (214,0) c ReductionTime_4 : 0.726377
1752.52/270.29	c (214,0) c ReductionTime_5 : 0.425561
1752.52/270.29	c (214,0) c ReductionTime_6 : 0.667424
1752.52/270.29	c (214,0) c ReductionTime_7 : 0.536277
1752.52/270.29	c (214,0) c ReductionTime_total : 4.865947
1752.52/270.29	c (214,0) c ReductionTime_winner : 0.505933
1752.52/270.29	c (214,0) c SimplifyTime_0 : 0.000013
1752.52/270.29	c (214,0) c SimplifyTime_1 : 0.000012
1752.52/270.29	c (214,0) c SimplifyTime_2 : 0.000006
1752.52/270.29	c (214,0) c SimplifyTime_3 : 0.000006
1752.52/270.29	c (214,0) c SimplifyTime_4 : 0.000008
1752.52/270.29	c (214,0) c SimplifyTime_5 : 0.000009
1752.52/270.29	c (214,0) c SimplifyTime_6 : 0.000007
1752.52/270.29	c (214,0) c SimplifyTime_7 : 0.000009
1752.52/270.29	c (214,0) c SimplifyTime_total : 0.000069
1752.52/270.29	c (214,0) c SimplifyTime_winner : 0.000006
1752.52/270.29	c (214,0) c UsedRateTime_0 : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_1 : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_2 : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_3 : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_4 : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_5 : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_6 : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_7 : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_total : 0.000000
1752.52/270.29	c (214,0) c UsedRateTime_winner : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_0 : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_1 : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_2 : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_3 : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_4 : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_5 : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_6 : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_7 : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_total : 0.000000
1752.52/270.29	c (214,0) c OverlapRateTime_winner : 0.000000
1752.52/270.29	c (214,0) c
1752.52/270.29	c (214,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1752.52/270.29	c (214,0) c
1752.52/270.29	c (214,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.29	c (214,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1752.52/270.29	c (214,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1752.52/270.29	c (214,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1752.52/270.29	c (214,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1752.52/270.29	c (214,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1752.52/270.29	c (214,0) c | Initial random_seed   | 1786259602 |  133802831 |    3960465 |  655359485 | 1133743958 |  361856796 |  208478537 | 1260729016 |
1752.52/270.29	c (214,0) c | chanseokStrategy      |       True |      False |       True |      False |       True |      False |       True |      False |
77.69/270.30	c (214,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
77.69/270.30	c (214,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
77.69/270.30	c (214,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
77.69/270.30	c (214,0) c | incReduceDB           |          0 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
77.69/270.30	c (214,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
77.69/270.30	c (214,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
77.69/270.30	c (214,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
77.69/270.30	c (214,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
77.69/270.30	c (214,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
77.69/270.30	c (214,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
77.69/270.30	c (214,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
77.69/270.30	c (214,0) 
77.69/270.30	c (214,0) s SATISFIABLE
77.69/270.34	c (214,0) SatSolver.solve End
77.69/270.34	c (214,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
77.69/270.34	c (214,0) Show results Begin
1752.90/270.40	c (214,0) x[0] = 4
1752.90/270.40	c (214,0) x[1] = 0
1752.90/270.40	c (214,0) x[2] = 0
1752.90/270.40	c (214,0) x[3] = 2
1752.90/270.40	c (214,0) x[4] = 0
1752.90/270.40	c (214,0) x[5] = 4
1752.90/270.40	c (214,0) x[6] = 0
1752.90/270.40	c (214,0) x[7] = 3
1752.90/270.40	c (214,0) x[8] = 0
1752.90/270.40	c (214,0) x[9] = 3
1752.90/270.40	c (214,0) x[10] = 3
1752.90/270.40	c (214,0) x[11] = 4
1752.90/270.40	c (214,0) x[12] = 0
1752.90/270.40	c (214,0) x[13] = 1
1752.90/270.40	c (214,0) x[14] = 1
1752.90/270.40	c (214,0) x[15] = 4
1752.90/270.40	c (214,0) x[16] = 0
1752.90/270.40	c (214,0) x[17] = 1
1752.90/270.40	c (214,0) x[18] = 0
1752.90/270.40	c (214,0) x[19] = 4
1752.90/270.40	c (214,0) x[20] = 1
1752.90/270.40	c (214,0) x[21] = 4
1752.90/270.40	c (214,0) x[22] = 4
1752.90/270.40	c (214,0) x[23] = 1
1752.90/270.40	c (214,0) x[24] = 3
1752.90/270.40	s SATISFIABLE
1752.90/270.40	v <instantiation>
1752.90/270.40	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24]</list>
1752.90/270.40	v     <values>4 0 0 2 0 4 0 3 0 3 3 4 0 1 1 4 0 1 0 4 1 4 4 1 3</values>
1752.90/270.40	v </instantiation>
1752.90/270.40	c (214,0) Show results End
1752.90/270.40	c (214,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1752.90/270.40	c (214,0) 214,214,STOP-AFTER(ALL)
1752.90/270.40	c END-Prog: Sat Sep 14 03:57:27 CEST 2019

Verifier Data 

OK

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 (10672 MiB free)
  memory of node 1: 16384 MiB (13031 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392440-1568426017/watcher-4392440-1568426017 -o /tmp/evaluation-result-4392440-1568426017/solver-4392440-1568426017 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --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-4392440-1568426017.xml 

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

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


[startup+0.100178 s]*
/proc/loadavg: 8.23 7.78 7.86 3/211 7743
/proc/meminfo: memFree=24178820/32770624 swapFree=67108848/67108860
[pid=7721] ppid=7718 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7721/stat : 7721 (scop.sh) S 7718 7721 7522 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418539100 115843072 349 33554432000 4194304 5098028 140727855928464 140727855925720 139995194528380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140727855936293 140727855936620 140727855936620 140727855939533 0
/proc/7721/statm: 28282 349 296 221 0 87 0
[pid=7724] ppid=7721 vsize=27314120 memory=104068 CPUtime=0.1 cores=0-7
/proc/7724/stat : 7724 (java) S 7721 7721 7522 0 -1 1077944320 6572 0 0 0 8 2 0 0 20 0 20 0 418539100 27969658880 26017 33554432000 4194304 4196468 140736887157296 140736887139840 140004491861751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
/proc/7724/statm: 6828530 26017 2815 1 0 6790935 0
[pid=7724/tid=7725] ppid=7721 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/7724/task/7725/stat : 7725 (java) R 7721 7721 7522 0 -1 4202560 4653 0 0 0 7 1 0 0 20 0 20 0 418539100 27969658880 26017 33554432000 4194304 4196468 140736887157296 140004463686608 140004477293733 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7726] ppid=7721 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7724/task/7726/stat : 7726 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539102 27969658880 26017 33554432000 4194304 4196468 140736887157296 140004496104080 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7727] ppid=7721 vsize=27314120 memory=139705146947200 CPUtime=0 cores=0-7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 26017 33554432000 4194304 4196468 140736887157296 140004325198352 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7728] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003913402768 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7729] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003912349968 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7730] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003911298192 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7731] ppid=7721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003910245392 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7732] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003909192592 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7733] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003908139792 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7734] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539104 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003013425520 140004491872898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7735] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7735/stat : 7735 (java) S 7721 7721 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418539105 27969658880 26017 33554432000 4194304 4196468 140736887157296 140002109416480 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7736] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7736/stat : 7736 (java) S 7721 7721 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418539105 27969658880 26017 33554432000 4194304 4196468 140736887157296 140001975194480 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7737] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 26017 33554432000 4194304 4196468 140736887157296 140001600690000 140004491880347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7738] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7721 7522 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003012373360 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7739] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003011320560 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7740] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7740/stat : 7740 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003010267760 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7741] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7741/stat : 7741 (java) S 7721 7721 7522 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003009214960 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7742] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7742/stat : 7742 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 26017 33554432000 4194304 4196468 140736887157296 140001102785120 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7743] ppid=7721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7724/task/7743/stat : 7743 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539108 27969658880 26017 33554432000 4194304 4196468 140736887157296 140003008162352 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105464 KiB

[startup+0.210396 s]*
/proc/loadavg: 8.23 7.78 7.86 2/211 7743
/proc/meminfo: memFree=24160420/32770624 swapFree=67108848/67108860
[pid=7721] ppid=7718 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7721/stat : 7721 (scop.sh) S 7718 7721 7522 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418539100 115843072 349 33554432000 4194304 5098028 140727855928464 140727855925720 139995194528380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140727855936293 140727855936620 140727855936620 140727855939533 0
/proc/7721/statm: 28282 349 296 221 0 87 0
[pid=7724] ppid=7721 vsize=27314120 memory=120672 CPUtime=0.25 cores=0-7
/proc/7724/stat : 7724 (java) S 7721 7721 7522 0 -1 1077944320 11625 0 0 0 21 4 0 0 20 0 20 0 418539100 27969658880 30168 33554432000 4194304 4196468 140736887157296 140736887139840 140004491861751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
/proc/7724/statm: 6828530 30168 2949 1 0 6790935 0
[pid=7724/tid=7725] ppid=7721 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7724/task/7725/stat : 7725 (java) R 7721 7721 7522 0 -1 4202560 9255 0 0 0 17 2 0 0 20 0 20 0 418539100 27969658880 30168 33554432000 4194304 4196468 140736887157296 140004463682656 140004472136903 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7726] ppid=7721 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/7724/task/7726/stat : 7726 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539102 27969658880 30168 33554432000 4194304 4196468 140736887157296 140004496104080 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7727] ppid=7721 vsize=27314120 memory=139705146957103 CPUtime=0 cores=0-7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 30168 33554432000 4194304 4196468 140736887157296 140004325198352 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7728] ppid=7721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003913402768 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7729] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003912349968 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7730] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003911298192 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7731] ppid=7721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003910245392 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7732] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003909192592 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7733] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003908139792 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7734] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539104 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003013425520 140004491872898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7735] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7735/stat : 7735 (java) S 7721 7721 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418539105 27969658880 30168 33554432000 4194304 4196468 140736887157296 140002109416480 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7736] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7736/stat : 7736 (java) S 7721 7721 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418539105 27969658880 30168 33554432000 4194304 4196468 140736887157296 140001975194480 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7737] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 30168 33554432000 4194304 4196468 140736887157296 140001600690000 140004491880347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7738] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7721 7522 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003012373360 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7739] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7721 7522 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003011320560 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7740] ppid=7721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7724/task/7740/stat : 7740 (java) S 7721 7721 7522 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003010267760 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7741] ppid=7721 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7724/task/7741/stat : 7741 (java) S 7721 7721 7522 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 20 0 418539107 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003009214960 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7742] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7742/stat : 7742 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 30168 33554432000 4194304 4196468 140736887157296 140001102785120 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7743] ppid=7721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7724/task/7743/stat : 7743 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539108 27969658880 30168 33554432000 4194304 4196468 140736887157296 140003008162352 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122068 KiB

[startup+0.309836 s]*
/proc/loadavg: 8.23 7.78 7.86 3/211 7743
/proc/meminfo: memFree=24156388/32770624 swapFree=67108848/67108860
[pid=7721] ppid=7718 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7721/stat : 7721 (scop.sh) S 7718 7721 7522 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418539100 115843072 349 33554432000 4194304 5098028 140727855928464 140727855925720 139995194528380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140727855936293 140727855936620 140727855936620 140727855939533 0
/proc/7721/statm: 28282 349 296 221 0 87 0
[pid=7724] ppid=7721 vsize=27314120 memory=124900 CPUtime=0.42 cores=0-7
/proc/7724/stat : 7724 (java) S 7721 7721 7522 0 -1 1077944320 12652 0 0 0 38 4 0 0 20 0 20 0 418539100 27969658880 31225 33554432000 4194304 4196468 140736887157296 140736887139840 140004491861751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
/proc/7724/statm: 6828530 31225 3018 1 0 6790935 0
[pid=7724/tid=7725] ppid=7721 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/7724/task/7725/stat : 7725 (java) R 7721 7721 7522 0 -1 4202560 10012 0 0 0 26 3 0 0 20 0 20 0 418539100 27969658880 31225 33554432000 4194304 4196468 140736887157296 140004463691824 140004472137538 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7726] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7726/stat : 7726 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539102 27969658880 31225 33554432000 4194304 4196468 140736887157296 140004496104080 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7727] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 31225 33554432000 4194304 4196468 140736887157296 140004325198352 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7728] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003913402768 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7729] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003912349968 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7730] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003911298192 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7731] ppid=7721 vsize=27314120 memory=139705018575535 CPUtime=0 cores=0-7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003910245392 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7732] ppid=7721 vsize=27314120 memory=139705018577840 CPUtime=0 cores=0-7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003909192592 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7733] ppid=7721 vsize=27314120 memory=139705018580144 CPUtime=0 cores=0-7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418539103 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003908139792 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7734] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539104 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003013425520 140004491872898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7735] ppid=7721 vsize=27314120 memory=279410037174160 CPUtime=0 cores=0-7
/proc/7724/task/7735/stat : 7735 (java) S 7721 7721 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418539105 27969658880 31225 33554432000 4194304 4196468 140736887157296 140002109416480 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7736] ppid=7721 vsize=27314120 memory=279410037171856 CPUtime=0 cores=0-7
/proc/7724/task/7736/stat : 7736 (java) S 7721 7721 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418539105 27969658880 31225 33554432000 4194304 4196468 140736887157296 140001975194480 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7737] ppid=7721 vsize=27314120 memory=279410037178768 CPUtime=0 cores=0-7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 31225 33554432000 4194304 4196468 140736887157296 140001600690000 140004491880347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7738] ppid=7721 vsize=27314120 memory=279410037120048 CPUtime=0.01 cores=0-7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7721 7522 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 20 0 418539107 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003012373360 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7739] ppid=7721 vsize=27314120 memory=279410037192592 CPUtime=0 cores=0-7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7721 7522 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003011320560 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7740] ppid=7721 vsize=27314120 memory=279410037199504 CPUtime=0.01 cores=0-7
/proc/7724/task/7740/stat : 7740 (java) S 7721 7721 7522 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 20 0 418539107 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003010267760 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7741] ppid=7721 vsize=27314120 memory=279410037197200 CPUtime=0.07 cores=0-7
/proc/7724/task/7741/stat : 7741 (java) S 7721 7721 7522 0 -1 1077944384 635 0 0 0 7 0 0 0 20 0 20 0 418539107 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003009214960 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7742] ppid=7721 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7742/stat : 7742 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418539107 27969658880 31225 33554432000 4194304 4196468 140736887157296 140001102785120 140004491871957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7743] ppid=7721 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7724/task/7743/stat : 7743 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539108 27969658880 31225 33554432000 4194304 4196468 140736887157296 140003008162352 140004491872898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126296 KiB

[startup+0.700912 s]
/proc/loadavg: 8.23 7.78 7.86 2/211 7743
/proc/meminfo: memFree=24133376/32770624 swapFree=67108848/67108860
[pid=7721] ppid=7718 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7721/stat : 7721 (scop.sh) S 7718 7721 7522 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418539100 115843072 349 33554432000 4194304 5098028 140727855928464 140727855925720 139995194528380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40271872 140727855936293 140727855936620 140727855936620 140727855939533 0
/proc/7721/statm: 28282 349 296 221 0 87 0
[pid=7724] ppid=7721 vsize=27320392 memory=162212 CPUtime=0.99 cores=0-7
/proc/7724/stat : 7724 (java) S 7721 7721 7522 0 -1 1077944320 20202 0 0 0 93 6 0 0 20 0 20 0 418539100 27976081408 40553 33554432000 4194304 4196468 140736887157296 140736887139840 140004491861751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
/proc/7724/statm: 6830098 40553 3183 1 0 6791447 0
[pid=7724/tid=7725] ppid=7721 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/7724/task/7725/stat : 7725 (java) R 7721 7721 7522 0 -1 4202560 16967 0 0 0 62 5 0 0 20 0 20 0 418539100 27976081408 40553 33554432000 4194304 4196468 140736887157296 140004463696656 140004491883677 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7726] ppid=7721 vsize=27320392 memory=139705018786672 CPUtime=0 cores=0-7
/proc/7724/task/7726/stat : 7726 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539102 27976081408 40553 33554432000 4194304 4196468 140736887157296 140004496104080 140004491871957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7727] ppid=7721 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418539103 27976081408 40553 33554432000 4194304 4196468 140736887157296 140004325198352 140004491871957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0
[pid=7724/tid=7728] ppid=7721 vsize=27320392 memory=7180 CPUtime=0 cores=0-7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418539103 27976081408 40553 33554432000 4194304 4196468 140736887157296 140003913402768 140004491871957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140736887161580 140736887162006 140736887162006 140736887164879 0

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

/proc/7747/task/7752/stat : 7752 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830049623184 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7753] ppid=7721 vsize=8414124 memory=4276 CPUtime=0 cores=0-7
/proc/7747/task/7753/stat : 7753 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830048569616 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7754] ppid=7721 vsize=8414124 memory=1536 CPUtime=0 cores=0-7
/proc/7747/task/7754/stat : 7754 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830047517072 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7755] ppid=7721 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/7747/task/7755/stat : 7755 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830046464528 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7756] ppid=7721 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/7747/task/7756/stat : 7756 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830045411984 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7757] ppid=7721 vsize=8414124 memory=4540 CPUtime=0 cores=0-7
/proc/7747/task/7757/stat : 7757 (java) S 7721 7721 7522 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418544627 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829391145456 139830566218370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7758] ppid=7721 vsize=8414124 memory=752 CPUtime=0 cores=0-7
/proc/7747/task/7758/stat : 7758 (java) S 7721 7721 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418544628 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829236983200 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7759] ppid=7721 vsize=8414124 memory=1636 CPUtime=0 cores=0-7
/proc/7747/task/7759/stat : 7759 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544628 8616062976 30231 33554432000 4194304 4196468 140723175788192 139828968547824 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7760] ppid=7721 vsize=8414124 memory=812 CPUtime=0 cores=0-7
/proc/7747/task/7760/stat : 7760 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139828594039504 139830566225819 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7761] ppid=7721 vsize=8414124 memory=1840 CPUtime=0.05 cores=0-7
/proc/7747/task/7761/stat : 7761 (java) S 7721 7721 7522 0 -1 1077944384 657 0 0 0 5 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829390092272 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7762] ppid=7721 vsize=8414124 memory=1384 CPUtime=0.07 cores=0-7
/proc/7747/task/7762/stat : 7762 (java) S 7721 7721 7522 0 -1 1077944384 280 0 0 0 7 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829389039728 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7763] ppid=7721 vsize=8414124 memory=7180 CPUtime=0.06 cores=0-7
/proc/7747/task/7763/stat : 7763 (java) S 7721 7721 7522 0 -1 1077944384 213 0 0 0 6 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829387987184 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7764] ppid=7721 vsize=8414124 memory=111636 CPUtime=0.2 cores=0-7
/proc/7747/task/7764/stat : 7764 (java) S 7721 7721 7522 0 -1 1077944384 713 0 0 0 20 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829386934640 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7765] ppid=7721 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/7747/task/7765/stat : 7765 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139828096133856 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7766] ppid=7721 vsize=8414124 memory=1804 CPUtime=0.11 cores=0-7
/proc/7747/task/7766/stat : 7766 (java) S 7721 7721 7522 0 -1 1077944384 17 0 0 0 0 11 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829385882544 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7768] ppid=7721 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/7747/task/7768/stat : 7768 (java) S 7721 7721 7522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418544697 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829377849024 139830566231833 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7770] ppid=7721 vsize=8414124 memory=4136 CPUtime=0.01 cores=0-7
/proc/7747/task/7770/stat : 7770 (java) S 7721 7721 7522 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 418544697 8616062976 30231 33554432000 4194304 4196468 140723175788192 139827425033488 139830566229149 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7771] ppid=7721 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/7747/task/7771/stat : 7771 (java) S 7721 7721 7522 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418544697 8616062976 30231 33554432000 4194304 4196468 140723175788192 139827693469072 139830566229149 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7772] ppid=7721 vsize=8414124 memory=3840 CPUtime=0 cores=0-7
/proc/7747/task/7772/stat : 7772 (java) S 7721 7721 7522 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418544699 8616062976 30231 33554432000 4194304 4196468 140723175788192 139827156606128 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
Current children cumulated CPU time: 1751.92 s
Current children cumulated vsize: 9225788 KiB
Current children cumulated memory: 511584 KiB

[startup+270.001 s]*
/proc/loadavg: 7.89 7.36 7.59 2/217 7795
/proc/meminfo: memFree=23771428/32770624 swapFree=67108848/67108860
[pid=7721] ppid=7718 vsize=113128 memory=1476 CPUtime=76.34 cores=0-7
/proc/7721/stat : 7721 (scop.sh) S 7718 7721 7522 0 -1 4202496 583 77142 0 0 0 0 7260 374 20 0 1 0 418539100 115843072 369 33554432000 4194304 5098028 140727855928464 140727855925208 139995194528380 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40271872 140727855936293 140727855936620 140727855936620 140727855939533 0
/proc/7721/statm: 28282 369 311 221 0 87 0
[pid=7747] ppid=7721 vsize=8414124 memory=120924 CPUtime=1.31 cores=0-7
/proc/7747/stat : 7747 (java) S 7721 7721 7522 0 -1 1077944320 20226 0 0 0 122 9 0 0 20 0 24 0 418544623 8616062976 30231 33554432000 4194304 4196468 140723175788192 140723175770736 139830566207223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
/proc/7747/statm: 2103531 30231 3201 1 0 2064875 0
[pid=7767] ppid=7747 vsize=698536 memory=389184 CPUtime=1674.68 cores=0-7
/proc/7767/stat : 7767 (manyglucose-4.1) S 7747 7721 7522 0 -1 1077944320 909893 0 0 0 167223 245 0 0 20 0 2 0 418544697 715300864 97296 33554432000 4194304 4454172 140734692922864 140734692921248 139821578125047 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 21037056 140734692930410 140734692930608 140734692930608 140734692933562 0
/proc/7767/statm: 174634 97296 417 64 0 170302 0
[pid=7767/tid=7774] ppid=7747 vsize=698536 memory=1636 CPUtime=211.87 cores=0-7
/proc/7767/task/7774/stat : 7774 (manyglucose-4.1) R 7747 7721 7522 0 -1 4202560 119610 0 0 0 21155 32 0 0 20 0 2 0 418544714 715300864 97296 33554432000 4194304 4454172 140734692922864 139821542997128 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 21037056 140734692930410 140734692930608 140734692930608 140734692933562 0
[pid=7747/tid=7748] ppid=7721 vsize=8414124 memory=1398722017469774279 CPUtime=0.75 cores=0-7
/proc/7747/task/7748/stat : 7748 (java) S 7721 7721 7522 0 -1 1077944384 16949 0 0 0 70 5 0 0 20 0 24 0 418544624 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830538047392 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7749] ppid=7721 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7747/task/7749/stat : 7749 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830570449680 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7750] ppid=7721 vsize=8414124 memory=2352 CPUtime=0 cores=0-7
/proc/7747/task/7750/stat : 7750 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830379010960 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7751] ppid=7721 vsize=8414124 memory=1792 CPUtime=0 cores=0-7
/proc/7747/task/7751/stat : 7751 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830050675728 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7752] ppid=7721 vsize=8414124 memory=120924 CPUtime=0 cores=0-7
/proc/7747/task/7752/stat : 7752 (java) S 7721 7721 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830049623184 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7753] ppid=7721 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7747/task/7753/stat : 7753 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830048569616 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7754] ppid=7721 vsize=8414124 memory=120924 CPUtime=0 cores=0-7
/proc/7747/task/7754/stat : 7754 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830047517072 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7755] ppid=7721 vsize=8414124 memory=389132 CPUtime=0 cores=0-7
/proc/7747/task/7755/stat : 7755 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830046464528 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7756] ppid=7721 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7747/task/7756/stat : 7756 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544626 8616062976 30231 33554432000 4194304 4196468 140723175788192 139830045411984 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7757] ppid=7721 vsize=8414124 memory=752 CPUtime=0 cores=0-7
/proc/7747/task/7757/stat : 7757 (java) S 7721 7721 7522 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418544627 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829391145456 139830566218370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7758] ppid=7721 vsize=8414124 memory=1636 CPUtime=0 cores=0-7
/proc/7747/task/7758/stat : 7758 (java) S 7721 7721 7522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418544628 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829236983200 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7759] ppid=7721 vsize=8414124 memory=812 CPUtime=0 cores=0-7
/proc/7747/task/7759/stat : 7759 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544628 8616062976 30231 33554432000 4194304 4196468 140723175788192 139828968547824 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7760] ppid=7721 vsize=8414124 memory=1840 CPUtime=0 cores=0-7
/proc/7747/task/7760/stat : 7760 (java) S 7721 7721 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139828594039504 139830566225819 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7761] ppid=7721 vsize=8414124 memory=3924 CPUtime=0.05 cores=0-7
/proc/7747/task/7761/stat : 7761 (java) S 7721 7721 7522 0 -1 1077944384 657 0 0 0 5 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829390092272 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7762] ppid=7721 vsize=8414124 memory=41120 CPUtime=0.07 cores=0-7
/proc/7747/task/7762/stat : 7762 (java) S 7721 7721 7522 0 -1 1077944384 280 0 0 0 7 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829389039728 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7763] ppid=7721 vsize=8414124 memory=4872558044660077418 CPUtime=0.06 cores=0-7
/proc/7747/task/7763/stat : 7763 (java) S 7721 7721 7522 0 -1 1077944384 213 0 0 0 6 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829387987184 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7764] ppid=7721 vsize=8414124 memory=120924 CPUtime=0.2 cores=0-7
/proc/7747/task/7764/stat : 7764 (java) S 7721 7721 7522 0 -1 1077944384 713 0 0 0 20 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829386934640 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7765] ppid=7721 vsize=8414124 memory=389132 CPUtime=0 cores=0-7
/proc/7747/task/7765/stat : 7765 (java) S 7721 7721 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139828096133856 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7766] ppid=7721 vsize=8414124 memory=8612 CPUtime=0.11 cores=0-7
/proc/7747/task/7766/stat : 7766 (java) S 7721 7721 7522 0 -1 1077944384 17 0 0 0 0 11 0 0 20 0 24 0 418544631 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829385882544 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7768] ppid=7721 vsize=8414124 memory=1192 CPUtime=0 cores=0-7
/proc/7747/task/7768/stat : 7768 (java) S 7721 7721 7522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418544697 8616062976 30231 33554432000 4194304 4196468 140723175788192 139829377849024 139830566231833 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7770] ppid=7721 vsize=8414124 memory=5536 CPUtime=0.01 cores=0-7
/proc/7747/task/7770/stat : 7770 (java) S 7721 7721 7522 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 418544697 8616062976 30231 33554432000 4194304 4196468 140723175788192 139827425033488 139830566229149 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7771] ppid=7721 vsize=8414124 memory=4540 CPUtime=0 cores=0-7
/proc/7747/task/7771/stat : 7771 (java) S 7721 7721 7522 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418544697 8616062976 30231 33554432000 4194304 4196468 140723175788192 139827693469072 139830566229149 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7772] ppid=7721 vsize=8414124 memory=752 CPUtime=0 cores=0-7
/proc/7747/task/7772/stat : 7772 (java) S 7721 7721 7522 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418544699 8616062976 30231 33554432000 4194304 4196468 140723175788192 139827156606128 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
Current children cumulated CPU time: 1752.33 s
Current children cumulated vsize: 9225788 KiB
Current children cumulated memory: 511584 KiB

[startup+270.401 s]
/proc/loadavg: 7.89 7.36 7.59 2/217 7795
/proc/meminfo: memFree=23771428/32770624 swapFree=67108848/67108860
[pid=7721] ppid=7718 vsize=113128 memory=1476 CPUtime=76.34 cores=0-7
/proc/7721/stat : 7721 (scop.sh) S 7718 7721 7522 0 -1 4202496 583 77142 0 0 0 0 7260 374 20 0 1 0 418539100 115843072 369 33554432000 4194304 5098028 140727855928464 140727855925208 139995194528380 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40271872 140727855936293 140727855936620 140727855936620 140727855939533 0
/proc/7721/statm: 28282 369 311 221 0 87 0
[pid=7747] ppid=7721 vsize=8283048 memory=132928 CPUtime=1676.56 cores=0-7
/proc/7747/stat : 7747 (java) S 7721 7721 7522 0 -1 1077944320 22676 909913 0 0 147 11 167251 247 20 0 22 0 418544623 8481841152 33232 33554432000 4194304 4196468 140723175788192 140723175770736 139830566207223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
/proc/7747/statm: 2070762 33232 3222 1 0 2032106 0
[pid=7747/tid=7748] ppid=7721 vsize=8283048 memory=1228 CPUtime=1675.79 cores=0-7
/proc/7747/task/7748/stat : 7748 (java) R 7721 7721 7522 0 -1 4202560 17186 909913 0 0 76 5 167251 247 20 0 22 0 418544624 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830538037696 139830550250853 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7749] ppid=7721 vsize=8283048 memory=1476 CPUtime=1674.98 cores=0-7
/proc/7747/task/7749/stat : 7749 (java) S 7721 7721 7522 0 -1 1077944384 1 909913 0 0 0 0 167251 247 20 0 22 0 418544626 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830570449680 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7750] ppid=7721 vsize=8283048 memory=3924 CPUtime=1674.98 cores=0-7
/proc/7747/task/7750/stat : 7750 (java) S 7721 7721 7522 0 -1 1077944384 1 909913 0 0 0 0 167251 247 20 0 22 0 418544626 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830379010960 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7751] ppid=7721 vsize=8283048 memory=1476 CPUtime=1674.98 cores=0-7
/proc/7747/task/7751/stat : 7751 (java) S 7721 7721 7522 0 -1 1077944384 1 909913 0 0 0 0 167251 247 20 0 22 0 418544626 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830050675728 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7752] ppid=7721 vsize=8283048 memory=-7824251494390585700 CPUtime=1674.98 cores=0-7
/proc/7747/task/7752/stat : 7752 (java) S 7721 7721 7522 0 -1 1077944384 2 909913 0 0 0 0 167251 247 20 0 22 0 418544626 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830049623184 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7753] ppid=7721 vsize=8283048 memory=6011023941900198994 CPUtime=1674.98 cores=0-7
/proc/7747/task/7753/stat : 7753 (java) S 7721 7721 7522 0 -1 1077944384 3 909913 0 0 0 0 167251 247 20 0 22 0 418544626 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830048569616 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7754] ppid=7721 vsize=8283048 memory=8099279071866868841 CPUtime=1674.98 cores=0-7
/proc/7747/task/7754/stat : 7754 (java) S 7721 7721 7522 0 -1 1077944384 1 909913 0 0 0 0 167251 247 20 0 22 0 418544626 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830047517072 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7755] ppid=7721 vsize=8283048 memory=6082220498109361512 CPUtime=1674.98 cores=0-7
/proc/7747/task/7755/stat : 7755 (java) S 7721 7721 7522 0 -1 1077944384 1 909913 0 0 0 0 167251 247 20 0 22 0 418544626 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830046464528 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7756] ppid=7721 vsize=8283048 memory=6082787944875453034 CPUtime=1674.98 cores=0-7
/proc/7747/task/7756/stat : 7756 (java) S 7721 7721 7522 0 -1 1077944384 1 909913 0 0 0 0 167251 247 20 0 22 0 418544626 8481841152 33232 33554432000 4194304 4196468 140723175788192 139830045411984 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7757] ppid=7721 vsize=8283048 memory=7013343118303253608 CPUtime=1674.98 cores=0-7
/proc/7747/task/7757/stat : 7757 (java) S 7721 7721 7522 0 -1 1077944384 9 909913 0 0 0 0 167251 247 20 0 22 0 418544627 8481841152 33232 33554432000 4194304 4196468 140723175788192 139829391145456 139830566218370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7758] ppid=7721 vsize=8283048 memory=7739247292013111146 CPUtime=1674.98 cores=0-7
/proc/7747/task/7758/stat : 7758 (java) S 7721 7721 7522 0 -1 1077944384 13 909913 0 0 0 0 167251 247 20 0 22 0 418544628 8481841152 33232 33554432000 4194304 4196468 140723175788192 139829236983200 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7759] ppid=7721 vsize=8283048 memory=120924 CPUtime=1674.98 cores=0-7
/proc/7747/task/7759/stat : 7759 (java) S 7721 7721 7522 0 -1 1077944384 1 909913 0 0 0 0 167251 247 20 0 22 0 418544628 8481841152 33232 33554432000 4194304 4196468 140723175788192 139828968547824 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7760] ppid=7721 vsize=8283048 memory=389184 CPUtime=1674.98 cores=0-7
/proc/7747/task/7760/stat : 7760 (java) S 7721 7721 7522 0 -1 1077944384 1 909913 0 0 0 0 167251 247 20 0 22 0 418544631 8481841152 33232 33554432000 4194304 4196468 140723175788192 139828594039504 139830566225819 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7761] ppid=7721 vsize=8283048 memory=4096 CPUtime=1675.06 cores=0-7
/proc/7747/task/7761/stat : 7761 (java) S 7721 7721 7522 0 -1 1077944384 676 909913 0 0 8 0 167251 247 20 0 22 0 418544631 8481841152 33232 33554432000 4194304 4196468 140723175788192 139829390092272 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7762] ppid=7721 vsize=8283048 memory=1964 CPUtime=1675.07 cores=0-7
/proc/7747/task/7762/stat : 7762 (java) S 7721 7721 7522 0 -1 1077944384 296 909913 0 0 9 0 167251 247 20 0 22 0 418544631 8481841152 33232 33554432000 4194304 4196468 140723175788192 139829389039728 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7763] ppid=7721 vsize=8283048 memory=1398722017469774279 CPUtime=1675.08 cores=0-7
/proc/7747/task/7763/stat : 7763 (java) S 7721 7721 7522 0 -1 1077944384 455 909913 0 0 10 0 167251 247 20 0 22 0 418544631 8481841152 33232 33554432000 4194304 4196468 140723175788192 139829387987184 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7764] ppid=7721 vsize=8283048 memory=4872558044660077418 CPUtime=1675.23 cores=0-7
/proc/7747/task/7764/stat : 7764 (java) R 7721 7721 7522 0 -1 4202560 931 909913 0 0 25 0 167251 247 20 0 22 0 418544631 8481841152 33232 33554432000 4194304 4196468 140723175788192 139829386934640 139830544890863 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7765] ppid=7721 vsize=8283048 memory=4096 CPUtime=1674.98 cores=0-7
/proc/7747/task/7765/stat : 7765 (java) S 7721 7721 7522 0 -1 1077944384 3 909913 0 0 0 0 167251 247 20 0 22 0 418544631 8481841152 33232 33554432000 4194304 4196468 140723175788192 139828096133856 139830566217429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7766] ppid=7721 vsize=8283048 memory=1964 CPUtime=1675.09 cores=0-7
/proc/7747/task/7766/stat : 7766 (java) S 7721 7721 7522 0 -1 1077944384 17 909913 0 0 0 11 167251 247 20 0 22 0 418544631 8481841152 33232 33554432000 4194304 4196468 140723175788192 139829385882544 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7768] ppid=7721 vsize=8283048 memory=1804 CPUtime=1674.98 cores=0-7
/proc/7747/task/7768/stat : 7768 (java) S 7721 7721 7522 0 -1 1077944384 23 909913 0 0 0 0 167251 247 20 0 22 0 418544697 8481841152 33232 33554432000 4194304 4196468 140723175788192 139829377848208 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
[pid=7747/tid=7772] ppid=7721 vsize=8283048 memory=120924 CPUtime=1674.98 cores=0-7
/proc/7747/task/7772/stat : 7772 (java) S 7721 7721 7522 0 -1 1077944384 13 909913 0 0 0 0 167251 247 20 0 22 0 418544699 8481841152 33232 33554432000 4194304 4196468 140723175788192 139827156607920 139830566218370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140723175793656 140723175793814 140723175793814 140723175796687 0
Current children cumulated CPU time: 1752.9 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 134404 KiB

Child status: 0
Real time (s): 270.429
CPU time (s): 1752.95
CPU user time (s): 1746.61
CPU system time (s): 6.33973
CPU usage (%): 648.212
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6601216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.61
system time used= 6.33973
maximum resident set size= 6600160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1010385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88595
involuntary context switches= 17853


# summary of solver processes directly reported to runsolver:
#   pid: 7721
#   total CPU time (s): 1752.95
#   total CPU user time (s): 1746.61
#   total CPU system time (s): 6.33973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.51912 second user time and 3.4496 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 03:52:56
IDJOB=4392440
IDBENCH=126097
IDSOLVER=2838
FILE ID=node143/4392440-1568426017
RUNJOBID= node143-1568425676-7549
PBS_JOBID= 21702285
Free space on /tmp= 59240 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-09.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-4392440-1568426017/watcher-4392440-1568426017 -o /tmp/evaluation-result-4392440-1568426017/solver-4392440-1568426017 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --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-4392440-1568426017.xml

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

MD5SUM BENCH= e7714f1bdc5f54a36db8d66dbea9ce0a
RANDOM SEED=1756450272

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
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:        24272304 kB
MemAvailable:   31757860 kB
Buffers:          202984 kB
Cached:          7572300 kB
SwapCached:            8 kB
Active:          2172168 kB
Inactive:        5652976 kB
Active(anon):       4388 kB
Inactive(anon):   144860 kB
Active(file):    2167780 kB
Inactive(file):  5508116 kB
Unevictable:      107440 kB
Mlocked:          107440 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             53356 kB
Writeback:             0 kB
AnonPages:        349772 kB
Mapped:            48828 kB
Shmem:             90756 kB
Slab:             266600 kB
SReclaimable:     238120 kB
SUnreclaim:        28480 kB
KernelStack:        3424 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59220 MiB
End job on node143 at 2019-09-14 03:57:27