Trace number 4405600

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 1775.28 271.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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-31525-serial-file.bin HOME/instance-4405600-1569335979.xml
0.65/0.55	
0.65/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 15:38:17 CEST 2019
0.65/0.57	c PID: 31528
0.65/0.57	c IP: 172.20.3.106
0.65/0.57	c HOST: node106.alineos.net
0.65/0.58	c (0,0) Parsing Begin
6.50/4.84	c (4,4) Parsing End
6.50/4.85	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.50/4.85	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.50/4.85	c (4,4) Constraint Name Generate Begin
6.50/4.86	c (4,4) Ctr:HOME/instance-4405600-1569335979.xml,ExtensionSupport:Var
6.50/4.86	c (4,4) Constraint Name Generate End
6.50/4.86	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.50/4.86	c (4,4) CSP to CSPinCNF Begin
18.10/9.76	c (9,9) translated 6 (10%) constraints
24.27/14.10	c (13,13) translated 12 (20%) constraints
29.18/17.74	c (17,16) translated 17 (30%) constraints
34.49/22.08	c (21,21) translated 23 (40%) constraints
38.11/25.57	c (25,24) translated 28 (50%) constraints
43.09/29.79	c (29,28) translated 34 (60%) constraints
47.61/34.04	c (33,33) translated 40 (70%) constraints
51.20/37.61	c (37,36) translated 45 (80%) constraints
56.62/42.24	c (41,41) translated 51 (90%) constraints
60.24/45.86	c (45,44) translated 56 (100%) constraints
60.95/46.55	c (45,45) ===========================================
61.09/46.62	c (46,45) Hybrid: #OE=12517, #LE=0
61.09/46.62	c (46,45) Hybrid
61.09/46.62	c (46,45) ===========================================
62.35/47.02	c (46,45) translated 12891 (10%) constraints
62.70/47.31	c (46,46) translated 25782 (20%) constraints
63.05/47.61	c (47,46) translated 38673 (30%) constraints
63.36/47.90	c (47,46) translated 51563 (40%) constraints
63.66/48.20	c (47,47) translated 64454 (50%) constraints
64.09/48.51	c (47,47) translated 77345 (60%) constraints
64.39/48.81	c (48,47) translated 90235 (70%) constraints
64.59/49.10	c (48,48) translated 103126 (80%) constraints
64.99/49.40	c (48,48) translated 116017 (90%) constraints
65.29/49.70	c (49,48) translated 128907 (100%) constraints
65.29/49.70	c (49,48) CSP to CSPinCNF End
65.29/49.71	c (49,48) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128907 ctr, max domain size 5
65.29/49.71	c (49,48) Heap : 5282 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
65.29/49.71	c (49,48) CSPinCNF Propagation Begin
68.09/50.69	c (50,49) 0 values, 69 unsatisfiable literals, and 19 valid clauses are removed
68.09/50.69	c (50,49) CSPinCNF Propagation End
68.09/50.70	c (50,49) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
68.09/50.70	c (50,49) Heap : 454 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
68.32/50.75	c (50,49) Hybrid: #OE=12517, #LE=0
68.32/50.75	c (50,49) Simplify CSPinCNF Begin
68.76/51.04	c (50,49) Simplify CSPinCNF End
68.76/51.04	c (50,49) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
68.76/51.04	c (50,49) Heap : 687 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
68.76/51.04	c (50,49) Calculate Precise Domain Begin
68.76/51.04	c (50,49) 0 values are removed by re-calculation
68.76/51.04	c (50,49) Calculate Precise Domain End
68.76/51.05	c (50,49) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
68.76/51.05	c (50,49) Heap : 687 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
68.76/51.05	c (50,49) CSPinCNF to SatSolver Begin
70.16/51.48	c (50,50) 12889 (10 %) CSP clauses are encoded (0 SAT variables, 12963 SAT clauses)
70.58/51.61	c (51,50) 25778 (20 %) CSP clauses are encoded (0 SAT variables, 25852 SAT clauses)
70.68/51.74	c (51,50) 38667 (30 %) CSP clauses are encoded (0 SAT variables, 38741 SAT clauses)
70.78/51.86	c (51,50) 51556 (40 %) CSP clauses are encoded (0 SAT variables, 51630 SAT clauses)
70.89/51.98	c (51,50) 64444 (50 %) CSP clauses are encoded (0 SAT variables, 64518 SAT clauses)
71.00/52.10	c (51,50) 77333 (60 %) CSP clauses are encoded (0 SAT variables, 77407 SAT clauses)
71.19/52.22	c (51,50) 90222 (70 %) CSP clauses are encoded (0 SAT variables, 90296 SAT clauses)
71.29/52.34	c (51,51) 103111 (80 %) CSP clauses are encoded (0 SAT variables, 103185 SAT clauses)
71.39/52.45	c (51,51) 116000 (90 %) CSP clauses are encoded (0 SAT variables, 116074 SAT clauses)
71.49/52.57	c (52,51) 128888 (100 %) CSP clauses are encoded (0 SAT variables, 128962 SAT clauses)
71.49/52.57	c (52,51) CSPinCNF to SatSolver End
71.49/52.57	c (52,51) Heap : 1913 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
71.49/52.57	c (52,51) 12589 bool, 128963 clause
71.49/52.57	c (52,51) Export Begin
71.61/52.66	c (52,51) Export to HOME/scop-31525-serial-file.bin
71.61/52.66	c (52,51) Export End
71.61/52.66	c (52,51) Export File Size: 0.01 MB
71.61/52.66	c (52,51) 4,4,49,50,50,50,52,STOP-AFTER(DIMACS)
71.61/52.66	c END-Prog: Tue Sep 24 15:39:09 CEST 2019
71.61/52.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-31525-serial-file.bin
72.31/53.16	c (0,0) Read Serial File Begin
72.31/53.16	c (0,0) HOME/scop-31525-serial-file.bin
72.59/53.36	c (0,0) Read Serial File End
72.59/53.38	
72.59/53.38	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
72.59/53.38	(Solving Process)
72.59/53.38	
72.73/53.40	c BEGIN-Prog: Tue Sep 24 15:39:09 CEST 2019
72.73/53.40	c PID: 31551
72.73/53.40	c IP: 172.20.3.106
72.73/53.40	c HOST: node106.alineos.net
72.73/53.40	c (0,0) SatSolver.solve Begin
72.73/53.40	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405600-1569335979.xml-scop-31528.cnf
72.73/53.43	c (0,0) c
72.73/53.43	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)
72.73/53.43	c (0,0) c
72.73/53.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
72.73/53.43	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
72.73/53.43	c (0,0) c ========================================[ Problem Statistics ]===========================================
72.73/53.43	c (0,0) c |                                                                                                       |
72.73/53.48	c (0,0) c |  Number of variables:         12589                                                                   |
72.73/53.48	c (0,0) c |  Number of clauses:          128963                                                                   |
72.73/53.48	c (0,0) c |  Parse time:                   0.05 s                                                                 |
72.73/53.48	c (0,0) c |                                                                                                       |
72.94/53.55	c (0,0) c |  Simplification time:          0.07 s                                                                 |
72.94/53.55	c (0,0) c |                                                                                                       |
72.94/53.55	c (0,0) c |  Generating clones                                                                                    |
72.94/53.60	c (0,0) c |  all clones generated. Memory =    95.86Mb.                                                           |
72.94/53.60	c (0,0) c ========================================================================================================|
72.94/53.60	c (0,0) c
72.94/53.60	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
72.94/53.60	c (0,0) c
72.94/53.60	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.94/53.60	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
72.94/53.60	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.94/53.60	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
72.94/53.60	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
72.94/53.60	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
72.94/53.60	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
72.94/53.60	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
72.94/53.60	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
72.94/53.60	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
72.94/53.60	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
72.94/53.60	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
72.94/53.60	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
72.94/53.60	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
72.95/53.60	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
72.95/53.60	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
72.95/53.60	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
72.95/53.60	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
72.95/53.60	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
309.15/83.48	c (30,0) c
309.15/83.48	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
309.15/83.48	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
309.15/83.48	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
309.15/83.48	c (30,0) c |  0 |     40 |      61649 |      50125 |    38788 |    24037 |     8754 |    56634 |     3293 |      207 |  20 |  0.000 |
309.15/83.48	c (30,0) c |  1 |     35 |      56557 |      45702 |    39954 |    19610 |     8663 |    49724 |     2861 |      192 |  20 |  0.000 |
309.15/83.48	c (30,0) c |  2 |     21 |      61651 |      50772 |    36289 |    24681 |     9281 |    36357 |     2382 |      212 |  20 |  0.000 |
309.15/83.48	c (30,0) c |  3 |     31 |      58067 |      47159 |    37794 |    21072 |     8429 |    53615 |     2896 |      194 |  20 |  0.000 |
309.15/83.48	c (30,0) c |  4 |     35 |      62361 |      50858 |    41078 |    24765 |     9044 |    58462 |     3406 |      212 |  20 |  0.000 |
309.15/83.48	c (30,0) c |  5 |     41 |      61998 |      50094 |    40955 |    24005 |     8841 |    51339 |     3565 |      209 |  20 |  0.000 |
309.15/83.48	c (30,0) c |  6 |     35 |      60992 |      50086 |    35457 |    23996 |     8995 |    48401 |     2468 |      211 |  20 |  0.000 |
309.15/83.48	c (30,0) c |  7 |     16 |      60611 |      50243 |    37050 |    24155 |     9179 |    54727 |     2222 |      212 |  20 |  0.000 |
309.15/83.48	c (30,0) c 
309.15/83.48	c (30,0) c synthesis      395039 conflicts   628226150 propagations     1677 conflicts/sec  2667160 propagations/sec
309.15/83.48	c (30,0) c real: 30.0463 s, cpu: 235.541 s, memory: 682.15 Mb
536.54/113.48	c (60,0) c
536.54/113.48	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
536.54/113.48	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
536.54/113.48	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
536.54/113.48	c (60,0) c |  0 |     51 |     104292 |      87836 |    46504 |    34269 |    13936 |    88448 |     6596 |      399 |  20 |  0.000 |
536.54/113.48	c (60,0) c |  1 |     38 |      99683 |      83934 |    46477 |    30370 |    14162 |    72631 |     5819 |      383 |  20 |  0.000 |
536.54/113.48	c (60,0) c |  2 |     27 |     104703 |      88944 |    44716 |    17773 |    14347 |    93581 |     5672 |      398 |  20 |  0.000 |
536.54/113.48	c (60,0) c |  3 |     32 |      99998 |      84667 |    43643 |    31104 |    13834 |    56770 |     5539 |      379 |  20 |  0.000 |
536.54/113.48	c (60,0) c |  4 |     60 |     105077 |      88163 |    48674 |    34598 |    14209 |    87984 |     6715 |      399 |  20 |  0.000 |
536.54/113.48	c (60,0) c |  5 |     48 |     104348 |      87629 |    46551 |    34064 |    13800 |    69840 |     6247 |      399 |  20 |  0.000 |
536.54/113.48	c (60,0) c |  6 |     52 |     103467 |      87686 |    42692 |    34120 |    13688 |    96578 |     5627 |      399 |  20 |  0.000 |
536.54/113.48	c (60,0) c |  7 |     23 |     102654 |      87129 |    45278 |    33570 |    14389 |    87116 |     5731 |      393 |  20 |  0.000 |
536.54/113.48	c (60,0) c 
536.54/113.48	c (60,0) c synthesis      695989 conflicts  1134431656 propagations     1504 conflicts/sec  2451808 propagations/sec
536.54/113.48	c (60,0) c real: 60.0413 s, cpu: 462.692 s, memory: 682.15 Mb
762.66/142.48	c (89,0) c
762.66/142.48	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
762.66/142.48	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
762.66/142.48	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
762.66/142.48	c (89,0) c |  0 |     56 |     147717 |     126598 |    52532 |     2473 |    19690 |   123955 |     8042 |      589 |  20 |  0.000 |
762.66/142.48	c (89,0) c |  1 |     48 |     140208 |     120470 |    49699 |    29088 |    18298 |   123444 |     8206 |      571 |  20 |  0.000 |
762.66/142.48	c (89,0) c |  2 |     37 |     148684 |     128415 |    51244 |     2276 |    21417 |   129101 |     6965 |      589 |  20 |  0.000 |
762.66/142.48	c (89,0) c |  3 |     34 |     137719 |     118832 |    47048 |    27451 |    17595 |   109432 |     7792 |      569 |  20 |  0.000 |
762.66/142.48	c (89,0) c |  4 |     69 |     148264 |     126695 |    54773 |     2567 |    20111 |   128944 |     8173 |      589 |  20 |  0.000 |
762.66/142.48	c (89,0) c |  5 |     52 |     144009 |     123841 |    49509 |    32461 |    18102 |    98329 |     8858 |      589 |  20 |  0.000 |
762.66/142.48	c (89,0) c |  6 |     61 |     147766 |     127605 |    48973 |     3439 |    20077 |   108644 |     6744 |      589 |  20 |  0.000 |
762.66/142.48	c (89,0) c |  7 |     28 |     143047 |     123214 |    49997 |    31832 |    19063 |   111176 |     8137 |      584 |  20 |  0.000 |
762.66/142.48	c (89,0) c 
762.66/142.48	c (89,0) c synthesis      995670 conflicts  1645423151 propagations     1446 conflicts/sec  2389480 propagations/sec
762.66/142.48	c (89,0) c real: 89.0413 s, cpu: 688.611 s, memory: 682.15 Mb
998.95/172.48	c (119,0) c
998.95/172.48	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
998.95/172.48	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
998.95/172.48	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
998.95/172.48	c (119,0) c |  0 |     59 |     193278 |     167730 |    59107 |     3540 |    24946 |   161194 |     8523 |      789 |  20 |  0.000 |
998.95/172.48	c (119,0) c |  1 |     50 |     177907 |     155266 |    53462 |    41077 |    22153 |   131796 |    10473 |      775 |  20 |  0.000 |
998.95/172.48	c (119,0) c |  2 |     37 |     194765 |     170217 |    56521 |     2129 |    26255 |   129101 |     7255 |      776 |  20 |  0.000 |
998.95/172.48	c (119,0) c |  3 |     41 |     176512 |     154044 |    49699 |    39858 |    21108 |   163028 |     9849 |      769 |  20 |  0.000 |
998.95/172.48	c (119,0) c |  4 |     71 |     192045 |     166061 |    60216 |     1956 |    25119 |   137836 |     8456 |      789 |  20 |  0.000 |
998.95/172.48	c (119,0) c |  5 |     54 |     184168 |     160096 |    53266 |    45915 |    22151 |   154531 |    12156 |      786 |  20 |  0.000 |
998.95/172.48	c (119,0) c |  6 |     61 |     193558 |     169056 |    53043 |     2985 |    25602 |   108644 |     6791 |      779 |  20 |  0.000 |
998.95/172.48	c (119,0) c |  7 |     35 |     183165 |     159528 |    53376 |    45339 |    22488 |   161444 |    10992 |      785 |  20 |  0.000 |
998.95/172.48	c (119,0) c 
998.95/172.48	c (119,0) c synthesis     1301998 conflicts  2168440922 propagations     1408 conflicts/sec  2345235 propagations/sec
998.95/172.48	c (119,0) c real: 119.041 s, cpu: 924.616 s, memory: 682.15 Mb
1233.38/202.47	c (149,0) c
1233.38/202.47	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1233.38/202.47	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1233.38/202.47	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1233.38/202.47	c (149,0) c |  0 |     60 |     233400 |     204116 |    63838 |     2013 |    29024 |   187583 |     8735 |      971 |  20 |  0.000 |
1233.38/202.47	c (149,0) c |  1 |     58 |     214502 |     188932 |    55589 |    49344 |    25510 |   191906 |    12790 |      979 |  20 |  0.000 |
1233.38/202.47	c (149,0) c |  2 |     46 |     240681 |     211046 |    61696 |     2913 |    30406 |   187397 |     7580 |      979 |  20 |  0.000 |
1233.38/202.47	c (149,0) c |  3 |     56 |     216664 |     189864 |    53774 |    50277 |    24792 |   189989 |    13251 |      973 |  20 |  0.000 |
1233.38/202.47	c (149,0) c |  4 |     73 |     228209 |     198599 |    63878 |     2495 |    28763 |   168984 |     8740 |      959 |  20 |  0.000 |
1233.38/202.47	c (149,0) c |  5 |     54 |     219317 |     192197 |    55049 |    52613 |    25394 |   154531 |    13507 |      979 |  20 |  0.000 |
1233.38/202.47	c (149,0) c |  6 |     85 |     238877 |     209380 |    58727 |     3278 |    30469 |   173376 |     7165 |      979 |  20 |  0.000 |
1233.38/202.47	c (149,0) c |  7 |     48 |     220005 |     192745 |    56472 |    53159 |    25454 |   189655 |    13936 |      979 |  20 |  0.000 |
1233.38/202.47	c (149,0) c 
1233.38/202.47	c (149,0) c synthesis     1586879 conflicts  2666561697 propagations     1369 conflicts/sec  2301216 propagations/sec
1233.38/202.47	c (149,0) c real: 149.046 s, cpu: 1158.76 s, memory: 682.15 Mb
1468.55/232.47	c (179,0) c
1468.55/232.47	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1468.55/232.47	c (179,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1468.55/232.47	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1468.55/232.47	c (179,0) c |  0 |     91 |     281149 |     246384 |    68863 |     2262 |    34311 |   212998 |     9107 |     1179 |  20 |  0.000 |
1468.55/232.47	c (179,0) c |  1 |     94 |     251581 |     222074 |    58017 |    54483 |    28623 |   214096 |    15892 |     1174 |  20 |  0.000 |
1468.55/232.47	c (179,0) c |  2 |     50 |     287128 |     252773 |    66873 |     2636 |    35667 |   189471 |     7811 |     1181 |  20 |  0.000 |
1468.55/232.47	c (179,0) c |  3 |     94 |     255318 |     224133 |    56566 |    56545 |    27899 |   218028 |    15859 |     1172 |  20 |  0.000 |
1468.55/232.47	c (179,0) c |  4 |     73 |     270898 |     237284 |    67554 |     3161 |    33519 |   168984 |     8869 |     1162 |  20 |  0.000 |
1468.55/232.47	c (179,0) c |  5 |     54 |     252683 |     223128 |    56576 |    55541 |    28287 |   154531 |    14402 |     1172 |  20 |  0.000 |
1468.55/232.47	c (179,0) c |  6 |     89 |     281755 |     248059 |    63272 |     1959 |    35940 |   212747 |     7460 |     1178 |  20 |  0.000 |
1468.55/232.47	c (179,0) c |  7 |     49 |     255738 |     225582 |    58675 |    57994 |    28623 |   214999 |    15796 |     1178 |  20 |  0.000 |
1468.55/232.47	c (179,0) c 
1468.55/232.47	c (179,0) c synthesis     1879417 conflicts  3172916969 propagations     1348 conflicts/sec  2276370 propagations/sec
1468.55/232.47	c (179,0) c real: 179.041 s, cpu: 1393.85 s, memory: 682.15 Mb
1707.56/262.47	c (209,0) c
1707.56/262.47	c (209,0) c |------------------------------------------------------------------------------------------------------------------------|
1707.56/262.47	c (209,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1707.56/262.47	c (209,0) c |------------------------------------------------------------------------------------------------------------------------|
1707.56/262.47	c (209,0) c |  0 |     93 |     327118 |     288105 |    72507 |     2026 |    39996 |   222934 |     9299 |     1388 |  20 |  0.000 |
1707.56/262.47	c (209,0) c |  1 |     95 |     287891 |     255570 |    59560 |    57376 |    31335 |   246965 |    17477 |     1378 |  20 |  0.000 |
1707.56/262.47	c (209,0) c |  2 |     61 |     332200 |     293038 |    71448 |     2912 |    40366 |   226541 |     8192 |     1388 |  20 |  0.000 |
1707.56/262.47	c (209,0) c |  3 |    101 |     291188 |     256951 |    58241 |    58764 |    30520 |   239491 |    18160 |     1370 |  20 |  0.000 |
1707.56/262.47	c (209,0) c |  4 |     79 |     317272 |     278740 |    71993 |     2619 |    38002 |   227323 |     9108 |     1374 |  20 |  0.000 |
1707.56/262.47	c (209,0) c |  5 |     55 |     287251 |     255062 |    58112 |    56875 |    30831 |   239582 |    16443 |     1368 |  20 |  0.000 |
1707.56/262.47	c (209,0) c |  6 |     89 |     327052 |     289278 |    67693 |     3150 |    39511 |   212747 |     7671 |     1387 |  20 |  0.000 |
1707.56/262.47	c (209,0) c |  7 |     54 |     291688 |     258763 |    60147 |    60574 |    31188 |   235647 |    17870 |     1380 |  20 |  0.000 |
1707.56/262.47	c (209,0) c 
1707.56/262.47	c (209,0) c synthesis     2175508 conflicts  3682880571 propagations     1332 conflicts/sec  2255584 propagations/sec
1707.56/262.47	c (209,0) c real: 209.041 s, cpu: 1632.78 s, memory: 682.15 Mb
1774.83/271.28	c (218,0) c
1774.83/271.28	c (218,0) c real time : 217.85 s
1774.83/271.28	c (218,0) c cpu time  : 1699.57 s
1774.83/271.28	c (218,0) c
1774.83/271.28	c (218,0) c
1774.83/271.28	c (218,0) c
1774.83/271.28	c (218,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1774.83/271.28	c (218,0) c
1774.83/271.28	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.28	c (218,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1774.83/271.28	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.28	c (218,0) c | Conflicts     |         2255226 |     298929 |     264046 |     303887 |     265931 |     290698 |     264485 |     299357 |     267893 |
1774.83/271.28	c (218,0) c | Decisions     |         2548854 |     339053 |     297219 |     344241 |     300721 |     330664 |     297441 |     337973 |     301542 |
1774.83/271.28	c (218,0) c | Propagations  |      3818569555 |  509558655 |  445160065 |  517439261 |  441606147 |  504098944 |  436125769 |  511343178 |  453237536 |
1774.83/271.28	c (218,0) c | ReduceDBs     |             480 |        107 |         13 |        109 |         14 |        103 |         13 |        107 |         14 |
1774.83/271.28	c (218,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1774.83/271.28	c (218,0) c | Restarts      |             632 |         93 |         98 |         62 |        101 |         79 |         56 |         89 |         54 |
1774.83/271.28	c (218,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1774.83/271.28	c (218,0) c | PropBinClauses|      1239377532 |  162969296 |  143428538 |  169399244 |  148091591 |  159600002 |  142098268 |  170237276 |  143553317 |
1774.83/271.28	c (218,0) c | PropPreBlocker|     40958920020 | 5167103873 | 5091772176 | 5174723851 | 5074886098 | 5122742745 | 5052790532 | 5156671726 | 5118229019 |
1774.83/271.28	c (218,0) c | PropNotBlocker|     14178032167 | 1841415995 | 1727888898 | 1815213604 | 1717732860 | 1837821399 | 1700923556 | 1838275043 | 1698760812 |
1774.83/271.28	c (218,0) c | LitFullScans  |     68954141669 | 8664517546 | 8598589828 | 8664515343 | 8566155604 | 8604579274 | 8562649767 | 8664492094 | 8628642213 |
1774.83/271.28	c (218,0) c | LitScanFracts |         4473030 |     492915 |     586632 |     510962 |     568077 |     575792 |     631793 |     480473 |     626386 |
1774.83/271.28	c (218,0) c | DecisionLevel0|             632 |         93 |         98 |         62 |        101 |         79 |         56 |         89 |         54 |
1774.83/271.28	c (218,0) c | Periods       |           11491 |       1444 |       1433 |       1444 |       1427 |       1434 |       1427 |       1444 |       1438 |
1774.83/271.28	c (218,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1774.83/271.28	c (218,0) c | Avg_Trail     |                 |       5254 |       5192 |       5281 |       5192 |       5318 |       5169 |       5187 |       5276 |
1774.83/271.28	c (218,0) c | Avg_DL        |                 |         16 |         15 |         16 |         16 |         16 |         15 |         15 |         16 |
1774.83/271.28	c (218,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1774.83/271.28	c (218,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1774.83/271.28	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.28	c (218,0) c | Exported      |          289478 |      40868 |      31957 |      41512 |      31302 |      39584 |      31759 |      40609 |      31887 |
1774.83/271.28	c (218,0) c | Imported      |         1887725 |     222934 |     253562 |     242342 |     239491 |     227323 |     253679 |     212747 |     235647 |
1774.83/271.28	c (218,0) c | Good          |            3451 |        403 |        443 |        434 |        419 |        425 |        442 |        436 |        449 |
1774.83/271.28	c (218,0) c | Purge         |         1884274 |     222531 |     253119 |     241908 |     239072 |     226898 |     253237 |     212311 |     235198 |
1774.83/271.28	c (218,0) c | Promoted      |          107842 |       9332 |      18394 |       8364 |      18569 |       9159 |      17969 |       7696 |      18359 |
1774.83/271.28	c (218,0) c | Remove_Imp    |         1461321 |     212053 |     152843 |     231956 |     172777 |     216554 |     103604 |     202462 |     169072 |
1774.83/271.28	c (218,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1774.83/271.28	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.28	c (218,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1774.83/271.28	c (218,0) c | Binaries      |                 |         88 |         57 |         65 |         74 |         65 |         58 |         52 |         43 |
1774.83/271.28	c (218,0) c | Glues         |                 |       1212 |        956 |       1141 |        935 |       1280 |        885 |       1047 |        916 |
1774.83/271.28	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.28	c (218,0) c | Orig_Seen     |            50 % |      73296 |      60113 |      72530 |      58530 |      73121 |      58674 |      68616 |      60393 |
1774.83/271.28	c (218,0) c | Diff Orig seen|                 |      14766 |       1583 |      14000 |      X     |      14591 |        144 |      10086 |       1863 |
1774.83/271.28	c (218,0) c | Hamming       |            47 % |       5918 |       6048 |       6071 |      X     |       5812 |       6019 |       5880 |       5918 |
1774.83/271.28	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.28	c (218,0) c | RunningTime   |                 |  212.4  98%|  215.8  99%|  212.0  98%|  217.1 100%|  213.0  98%|  212.1  97%|  210.8  97%|  213.1  98%|
1774.83/271.28	c (218,0) c | WaitingTime   |                 |    4.9   2%|    1.3   1%|    5.2   2%|    0.0   0%|    4.2   2%|    5.4   2%|    6.4   3%|    4.1   2%|
1774.83/271.28	c (218,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%|
1774.83/271.28	c (218,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%|
1774.83/271.28	c (218,0) c | SolvingTime   |                 |  217.4     |  217.3     |  217.4     |  217.3     |  217.3     |  217.6     |  217.4     |  217.3     |
1774.83/271.28	c (218,0) c | PropagationTim|                 |  206.3  95%|  205.4  95%|  206.2  95%|  205.8  95%|  206.2  95%|  204.0  94%|  206.5  95%|  207.0  95%|
1774.83/271.28	c (218,0) c | AnalysisTime  |                 |    5.7   3%|    7.1   3%|    5.7   3%|    6.7   3%|    5.8   3%|    9.1   4%|    5.5   3%|    5.4   2%|
1774.83/271.28	c (218,0) c | ReductionTime |                 |    0.7   0%|    0.5   0%|    0.8   0%|    0.5   0%|    0.7   0%|    0.4   0%|    0.7   0%|    0.5   0%|
1774.83/271.28	c (218,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%|
1774.83/271.28	c (218,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%|
1774.83/271.28	c (218,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%|
1774.83/271.28	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.28	c (218,0) c
1774.83/271.28	c (218,0) c
1774.83/271.28	c (218,0) c Threads : 8
1774.83/271.28	c (218,0) c Winner : 3
1774.83/271.28	c (218,0) c Conflicts_0 : 298929
1774.83/271.28	c (218,0) c Conflicts_1 : 264046
1774.83/271.28	c (218,0) c Conflicts_2 : 303887
1774.83/271.28	c (218,0) c Conflicts_3 : 265931
1774.83/271.28	c (218,0) c Conflicts_4 : 290698
1774.83/271.28	c (218,0) c Conflicts_5 : 264485
1774.83/271.28	c (218,0) c Conflicts_6 : 299357
1774.83/271.28	c (218,0) c Conflicts_7 : 267893
1774.83/271.28	c (218,0) c Conflicts_total : 2255226
1774.83/271.28	c (218,0) c Conflicts_winner : 265931
1774.83/271.28	c (218,0) c Decisions_0 : 339053
1774.83/271.28	c (218,0) c Decisions_1 : 297219
1774.83/271.28	c (218,0) c Decisions_2 : 344241
1774.83/271.28	c (218,0) c Decisions_3 : 300721
1774.83/271.28	c (218,0) c Decisions_4 : 330664
1774.83/271.28	c (218,0) c Decisions_5 : 297441
1774.83/271.28	c (218,0) c Decisions_6 : 337973
1774.83/271.28	c (218,0) c Decisions_7 : 301542
1774.83/271.28	c (218,0) c Decisions_total : 2548854
1774.83/271.28	c (218,0) c Decisions_winner : 300721
1774.83/271.28	c (218,0) c Propagations_0 : 509558655
1774.83/271.28	c (218,0) c Propagations_1 : 445160065
1774.83/271.28	c (218,0) c Propagations_2 : 517439261
1774.83/271.28	c (218,0) c Propagations_3 : 441606147
1774.83/271.28	c (218,0) c Propagations_4 : 504098944
1774.83/271.28	c (218,0) c Propagations_5 : 436125769
1774.83/271.28	c (218,0) c Propagations_6 : 511343178
1774.83/271.28	c (218,0) c Propagations_7 : 453237536
1774.83/271.28	c (218,0) c Propagations_total : 3818569555
1774.83/271.28	c (218,0) c Propagations_winner : 441606147
1774.83/271.28	c (218,0) c ReduceDBs_0 : 107
1774.83/271.28	c (218,0) c ReduceDBs_1 : 13
1774.83/271.28	c (218,0) c ReduceDBs_2 : 109
1774.83/271.28	c (218,0) c ReduceDBs_3 : 14
1774.83/271.28	c (218,0) c ReduceDBs_4 : 103
1774.83/271.28	c (218,0) c ReduceDBs_5 : 13
1774.83/271.28	c (218,0) c ReduceDBs_6 : 107
1774.83/271.28	c (218,0) c ReduceDBs_7 : 14
1774.83/271.28	c (218,0) c ReduceDBs_total : 480
1774.83/271.28	c (218,0) c ReduceDBs_winner : 14
1774.83/271.28	c (218,0) c SimpDBs_0 : 1
1774.83/271.28	c (218,0) c SimpDBs_1 : 1
1774.83/271.28	c (218,0) c SimpDBs_2 : 1
1774.83/271.28	c (218,0) c SimpDBs_3 : 1
1774.83/271.28	c (218,0) c SimpDBs_4 : 1
1774.83/271.28	c (218,0) c SimpDBs_5 : 1
1774.83/271.28	c (218,0) c SimpDBs_6 : 1
1774.83/271.28	c (218,0) c SimpDBs_7 : 1
1774.83/271.28	c (218,0) c SimpDBs_total : 8
1774.83/271.28	c (218,0) c SimpDBs_winner : 1
1774.83/271.28	c (218,0) c Restarts_0 : 93
1774.83/271.28	c (218,0) c Restarts_1 : 98
1774.83/271.28	c (218,0) c Restarts_2 : 62
1774.83/271.28	c (218,0) c Restarts_3 : 101
1774.83/271.28	c (218,0) c Restarts_4 : 79
1774.83/271.28	c (218,0) c Restarts_5 : 56
1774.83/271.28	c (218,0) c Restarts_6 : 89
1774.83/271.28	c (218,0) c Restarts_7 : 54
1774.83/271.28	c (218,0) c Restarts_total : 632
1774.83/271.28	c (218,0) c Restarts_winner : 101
1774.83/271.28	c (218,0) c ForcedImports_0 : 0
1774.83/271.28	c (218,0) c ForcedImports_1 : 0
1774.83/271.28	c (218,0) c ForcedImports_2 : 0
1774.83/271.28	c (218,0) c ForcedImports_3 : 0
1774.83/271.28	c (218,0) c ForcedImports_4 : 0
1774.83/271.28	c (218,0) c ForcedImports_5 : 0
1774.83/271.28	c (218,0) c ForcedImports_6 : 0
1774.83/271.28	c (218,0) c ForcedImports_7 : 0
1774.83/271.28	c (218,0) c ForcedImports_total : 0
1774.83/271.28	c (218,0) c ForcedImports_winner : 0
1774.83/271.28	c (218,0) c PropsBinClauses_0 : 162969296
1774.83/271.28	c (218,0) c PropsBinClauses_1 : 143428538
1774.83/271.28	c (218,0) c PropsBinClauses_2 : 169399244
1774.83/271.28	c (218,0) c PropsBinClauses_3 : 148091591
1774.83/271.28	c (218,0) c PropsBinClauses_4 : 159600002
1774.83/271.28	c (218,0) c PropsBinClauses_5 : 142098268
1774.83/271.28	c (218,0) c PropsBinClauses_6 : 170237276
1774.83/271.28	c (218,0) c PropsBinClauses_7 : 143553317
1774.83/271.28	c (218,0) c PropsBinClauses_total : 1239377532
1774.83/271.28	c (218,0) c PropsBinClauses_winner : 148091591
1774.83/271.28	c (218,0) c PropsPreBlocker_0 : 5167103873
1774.83/271.28	c (218,0) c PropsPreBlocker_1 : 5091772176
1774.83/271.28	c (218,0) c PropsPreBlocker_2 : 5174723851
1774.83/271.28	c (218,0) c PropsPreBlocker_3 : 5074886098
1774.83/271.28	c (218,0) c PropsPreBlocker_4 : 5122742745
1774.83/271.28	c (218,0) c PropsPreBlocker_5 : 5052790532
1774.83/271.28	c (218,0) c PropsPreBlocker_6 : 5156671726
1774.83/271.28	c (218,0) c PropsPreBlocker_7 : 5118229019
1774.83/271.28	c (218,0) c PropsPreBlocker_total : 40958920020
1774.83/271.28	c (218,0) c PropsPreBlocker_winner : 5074886098
1774.83/271.28	c (218,0) c PropsNotBlocker_0 : 1841415995
1774.83/271.28	c (218,0) c PropsNotBlocker_1 : 1727888898
1774.83/271.28	c (218,0) c PropsNotBlocker_2 : 1815213604
1774.83/271.28	c (218,0) c PropsNotBlocker_3 : 1717732860
1774.83/271.28	c (218,0) c PropsNotBlocker_4 : 1837821399
1774.83/271.28	c (218,0) c PropsNotBlocker_5 : 1700923556
1774.83/271.28	c (218,0) c PropsNotBlocker_6 : 1838275043
1774.83/271.28	c (218,0) c PropsNotBlocker_7 : 1698760812
1774.83/271.28	c (218,0) c PropsNotBlocker_total : 14178032167
1774.83/271.28	c (218,0) c PropsNotBlocker_winner : 1717732860
1774.83/271.28	c (218,0) c PropsLitFullScans_0 : 8664517546
1774.83/271.28	c (218,0) c PropsLitFullScans_1 : 8598589828
1774.83/271.28	c (218,0) c PropsLitFullScans_2 : 8664515343
1774.83/271.28	c (218,0) c PropsLitFullScans_3 : 8566155604
1774.83/271.28	c (218,0) c PropsLitFullScans_4 : 8604579274
1774.83/271.28	c (218,0) c PropsLitFullScans_5 : 8562649767
1774.83/271.28	c (218,0) c PropsLitFullScans_6 : 8664492094
1774.83/271.28	c (218,0) c PropsLitFullScans_7 : 8628642213
1774.83/271.28	c (218,0) c PropsLitFullScans_total : 68954141669
1774.83/271.28	c (218,0) c PropsLitFullScans_winner : 8566155604
1774.83/271.28	c (218,0) c LitScanFractions_0 : 492915
1774.83/271.28	c (218,0) c LitScanFractions_1 : 586632
1774.83/271.28	c (218,0) c LitScanFractions_2 : 510962
1774.83/271.28	c (218,0) c LitScanFractions_3 : 568077
1774.83/271.28	c (218,0) c LitScanFractions_4 : 575792
1774.83/271.28	c (218,0) c LitScanFractions_5 : 631793
1774.83/271.28	c (218,0) c LitScanFractions_6 : 480473
1774.83/271.28	c (218,0) c LitScanFractions_7 : 626386
1774.83/271.28	c (218,0) c LitScanFractions_total : 4473030
1774.83/271.28	c (218,0) c LitScanFractions_winner : 568077
1774.83/271.28	c (218,0) c DecisionLevel0_0 : 93
1774.83/271.28	c (218,0) c DecisionLevel0_1 : 98
1774.83/271.28	c (218,0) c DecisionLevel0_2 : 62
1774.83/271.28	c (218,0) c DecisionLevel0_3 : 101
1774.83/271.28	c (218,0) c DecisionLevel0_4 : 79
1774.83/271.28	c (218,0) c DecisionLevel0_5 : 56
1774.83/271.28	c (218,0) c DecisionLevel0_6 : 89
1774.83/271.28	c (218,0) c DecisionLevel0_7 : 54
1774.83/271.28	c (218,0) c DecisionLevel0_total : 632
1774.83/271.28	c (218,0) c DecisionLevel0_winner : 101
1774.83/271.28	c (218,0) c Periods_0 : 1444
1774.83/271.28	c (218,0) c Periods_1 : 1433
1774.83/271.28	c (218,0) c Periods_2 : 1444
1774.83/271.28	c (218,0) c Periods_3 : 1427
1774.83/271.28	c (218,0) c Periods_4 : 1434
1774.83/271.28	c (218,0) c Periods_5 : 1427
1774.83/271.28	c (218,0) c Periods_6 : 1444
1774.83/271.28	c (218,0) c Periods_7 : 1438
1774.83/271.28	c (218,0) c Periods_total : 11491
1774.83/271.28	c (218,0) c Periods_winner : 1427
1774.83/271.28	c (218,0) c Margin_0 : 20
1774.83/271.28	c (218,0) c Margin_1 : 20
1774.83/271.28	c (218,0) c Margin_2 : 20
1774.83/271.28	c (218,0) c Margin_3 : 20
1774.83/271.28	c (218,0) c Margin_4 : 20
1774.83/271.28	c (218,0) c Margin_5 : 20
1774.83/271.28	c (218,0) c Margin_6 : 20
1774.83/271.28	c (218,0) c Margin_7 : 20
1774.83/271.28	c (218,0) c Margin_total : 160
1774.83/271.28	c (218,0) c Margin_winner : 20
1774.83/271.28	c (218,0) c Exported_0 : 40868
1774.83/271.28	c (218,0) c Exported_1 : 31957
1774.83/271.28	c (218,0) c Exported_2 : 41512
1774.83/271.28	c (218,0) c Exported_3 : 31302
1774.83/271.28	c (218,0) c Exported_4 : 39584
1774.83/271.28	c (218,0) c Exported_5 : 31759
1774.83/271.28	c (218,0) c Exported_6 : 40609
1774.83/271.28	c (218,0) c Exported_7 : 31887
1774.83/271.28	c (218,0) c Exported_total : 289478
1774.83/271.28	c (218,0) c Exported_winner : 31302
1774.83/271.28	c (218,0) c Imported_0 : 222934
1774.83/271.28	c (218,0) c Imported_1 : 253562
1774.83/271.28	c (218,0) c Imported_2 : 242342
1774.83/271.28	c (218,0) c Imported_3 : 239491
1774.83/271.28	c (218,0) c Imported_4 : 227323
1774.83/271.28	c (218,0) c Imported_5 : 253679
1774.83/271.28	c (218,0) c Imported_6 : 212747
1774.83/271.28	c (218,0) c Imported_7 : 235647
1774.83/271.28	c (218,0) c Imported_total : 1887725
1774.83/271.28	c (218,0) c Imported_winner : 239491
1774.83/271.28	c (218,0) c Good_0 : 403
1774.83/271.28	c (218,0) c Good_1 : 443
1774.83/271.29	c (218,0) c Good_2 : 434
1774.83/271.29	c (218,0) c Good_3 : 419
1774.83/271.29	c (218,0) c Good_4 : 425
1774.83/271.29	c (218,0) c Good_5 : 442
1774.83/271.29	c (218,0) c Good_6 : 436
1774.83/271.29	c (218,0) c Good_7 : 449
1774.83/271.29	c (218,0) c Good_total : 3451
1774.83/271.29	c (218,0) c Good_winner : 419
1774.83/271.29	c (218,0) c Purge_0 : 222531
1774.83/271.29	c (218,0) c Purge_1 : 253119
1774.83/271.29	c (218,0) c Purge_2 : 241908
1774.83/271.29	c (218,0) c Purge_3 : 239072
1774.83/271.29	c (218,0) c Purge_4 : 226898
1774.83/271.29	c (218,0) c Purge_5 : 253237
1774.83/271.29	c (218,0) c Purge_6 : 212311
1774.83/271.29	c (218,0) c Purge_7 : 235198
1774.83/271.29	c (218,0) c Purge_total : 1884274
1774.83/271.29	c (218,0) c Purge_winner : 239072
1774.83/271.29	c (218,0) c Promoted_0 : 9332
1774.83/271.29	c (218,0) c Promoted_1 : 18394
1774.83/271.29	c (218,0) c Promoted_2 : 8364
1774.83/271.29	c (218,0) c Promoted_3 : 18569
1774.83/271.29	c (218,0) c Promoted_4 : 9159
1774.83/271.29	c (218,0) c Promoted_5 : 17969
1774.83/271.29	c (218,0) c Promoted_6 : 7696
1774.83/271.29	c (218,0) c Promoted_7 : 18359
1774.83/271.29	c (218,0) c Promoted_total : 107842
1774.83/271.29	c (218,0) c Promoted_winner : 18569
1774.83/271.29	c (218,0) c Remove_Imp_0 : 212053
1774.83/271.29	c (218,0) c Remove_Imp_1 : 152843
1774.83/271.29	c (218,0) c Remove_Imp_2 : 231956
1774.83/271.29	c (218,0) c Remove_Imp_3 : 172777
1774.83/271.29	c (218,0) c Remove_Imp_4 : 216554
1774.83/271.29	c (218,0) c Remove_Imp_5 : 103604
1774.83/271.29	c (218,0) c Remove_Imp_6 : 202462
1774.83/271.29	c (218,0) c Remove_Imp_7 : 169072
1774.83/271.29	c (218,0) c Remove_Imp_total : 1461321
1774.83/271.29	c (218,0) c Remove_Imp_winner : 172777
1774.83/271.29	c (218,0) c Blocked_Reuse_0 : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_1 : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_2 : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_3 : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_4 : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_5 : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_6 : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_7 : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_total : 0
1774.83/271.29	c (218,0) c Blocked_Reuse_winner : 0
1774.83/271.29	c (218,0) c Unaries_0 : 0
1774.83/271.29	c (218,0) c Unaries_1 : 0
1774.83/271.29	c (218,0) c Unaries_2 : 0
1774.83/271.29	c (218,0) c Unaries_3 : 0
1774.83/271.29	c (218,0) c Unaries_4 : 0
1774.83/271.29	c (218,0) c Unaries_5 : 0
1774.83/271.29	c (218,0) c Unaries_6 : 0
1774.83/271.29	c (218,0) c Unaries_7 : 0
1774.83/271.29	c (218,0) c Unaries_total : 0
1774.83/271.29	c (218,0) c Unaries_winner : 0
1774.83/271.29	c (218,0) c Binaries_0 : 88
1774.83/271.29	c (218,0) c Binaries_1 : 57
1774.83/271.29	c (218,0) c Binaries_2 : 65
1774.83/271.29	c (218,0) c Binaries_3 : 74
1774.83/271.29	c (218,0) c Binaries_4 : 65
1774.83/271.29	c (218,0) c Binaries_5 : 58
1774.83/271.29	c (218,0) c Binaries_6 : 52
1774.83/271.29	c (218,0) c Binaries_7 : 43
1774.83/271.29	c (218,0) c Binaries_total : 502
1774.83/271.29	c (218,0) c Binaries_winner : 74
1774.83/271.29	c (218,0) c Glues_0 : 1212
1774.83/271.29	c (218,0) c Glues_1 : 956
1774.83/271.29	c (218,0) c Glues_2 : 1141
1774.83/271.29	c (218,0) c Glues_3 : 935
1774.83/271.29	c (218,0) c Glues_4 : 1280
1774.83/271.29	c (218,0) c Glues_5 : 885
1774.83/271.29	c (218,0) c Glues_6 : 1047
1774.83/271.29	c (218,0) c Glues_7 : 916
1774.83/271.29	c (218,0) c Glues_total : 8372
1774.83/271.29	c (218,0) c Glues_winner : 935
1774.83/271.29	c (218,0) c RunningTime_0 : 212.357658
1774.83/271.29	c (218,0) c RunningTime_1 : 215.807383
1774.83/271.29	c (218,0) c RunningTime_2 : 212.009782
1774.83/271.29	c (218,0) c RunningTime_3 : 217.104156
1774.83/271.29	c (218,0) c RunningTime_4 : 212.976018
1774.83/271.29	c (218,0) c RunningTime_5 : 212.130510
1774.83/271.29	c (218,0) c RunningTime_6 : 210.847567
1774.83/271.29	c (218,0) c RunningTime_7 : 213.111635
1774.83/271.29	c (218,0) c RunningTime_total : 1706.344709
1774.83/271.29	c (218,0) c RunningTime_winner : 217.104156
1774.83/271.29	c (218,0) c WaitingTime_0 : 4.870511
1774.83/271.29	c (218,0) c WaitingTime_1 : 1.340130
1774.83/271.29	c (218,0) c WaitingTime_2 : 5.221802
1774.83/271.29	c (218,0) c WaitingTime_3 : 0.018194
1774.83/271.29	c (218,0) c WaitingTime_4 : 4.238548
1774.83/271.29	c (218,0) c WaitingTime_5 : 5.384666
1774.83/271.29	c (218,0) c WaitingTime_6 : 6.380262
1774.83/271.29	c (218,0) c WaitingTime_7 : 4.107126
1774.83/271.29	c (218,0) c WaitingTime_total : 31.561239
1774.83/271.29	c (218,0) c WaitingTime_winner : 0.018194
1774.83/271.29	c (218,0) c ExchangingTime_0 : 0.127390
1774.83/271.29	c (218,0) c ExchangingTime_1 : 0.114707
1774.83/271.29	c (218,0) c ExchangingTime_2 : 0.124624
1774.83/271.29	c (218,0) c ExchangingTime_3 : 0.112828
1774.83/271.29	c (218,0) c ExchangingTime_4 : 0.119948
1774.83/271.29	c (218,0) c ExchangingTime_5 : 0.116177
1774.83/271.29	c (218,0) c ExchangingTime_6 : 0.125619
1774.83/271.29	c (218,0) c ExchangingTime_7 : 0.109911
1774.83/271.29	c (218,0) c ExchangingTime_total : 0.951204
1774.83/271.29	c (218,0) c ExchangingTime_winner : 0.112828
1774.83/271.29	c (218,0) c PeriodProcTime_0 : 0.014380
1774.83/271.29	c (218,0) c PeriodProcTime_1 : 0.012589
1774.83/271.29	c (218,0) c PeriodProcTime_2 : 0.013787
1774.83/271.29	c (218,0) c PeriodProcTime_3 : 0.018513
1774.83/271.29	c (218,0) c PeriodProcTime_4 : 0.013165
1774.83/271.29	c (218,0) c PeriodProcTime_5 : 0.015156
1774.83/271.29	c (218,0) c PeriodProcTime_6 : 0.012931
1774.83/271.29	c (218,0) c PeriodProcTime_7 : 0.011187
1774.83/271.29	c (218,0) c PeriodProcTime_total : 0.111709
1774.83/271.29	c (218,0) c PeriodProcTime_winner : 0.018513
1774.83/271.29	c (218,0) c SolvingTime_0 : 217.369940
1774.83/271.29	c (218,0) c SolvingTime_1 : 217.274810
1774.83/271.29	c (218,0) c SolvingTime_2 : 217.369995
1774.83/271.29	c (218,0) c SolvingTime_3 : 217.253691
1774.83/271.29	c (218,0) c SolvingTime_4 : 217.347680
1774.83/271.29	c (218,0) c SolvingTime_5 : 217.646508
1774.83/271.29	c (218,0) c SolvingTime_6 : 217.366379
1774.83/271.29	c (218,0) c SolvingTime_7 : 217.339858
1774.83/271.29	c (218,0) c SolvingTime_total : 1738.968861
1774.83/271.29	c (218,0) c SolvingTime_winner : 217.253691
1774.83/271.29	c (218,0) c PropagationTime_0 : 206.288013
1774.83/271.29	c (218,0) c PropagationTime_1 : 205.399748
1774.83/271.29	c (218,0) c PropagationTime_2 : 206.162727
1774.83/271.29	c (218,0) c PropagationTime_3 : 205.779608
1774.83/271.29	c (218,0) c PropagationTime_4 : 206.205930
1774.83/271.29	c (218,0) c PropagationTime_5 : 203.968426
1774.83/271.29	c (218,0) c PropagationTime_6 : 206.547827
1774.83/271.29	c (218,0) c PropagationTime_7 : 207.046212
1774.83/271.29	c (218,0) c PropagationTime_total : 1647.398492
1774.83/271.29	c (218,0) c PropagationTime_winner : 205.779608
1774.83/271.29	c (218,0) c AnalysisTime_0 : 5.696100
1774.83/271.29	c (218,0) c AnalysisTime_1 : 7.086857
1774.83/271.29	c (218,0) c AnalysisTime_2 : 5.689795
1774.83/271.29	c (218,0) c AnalysisTime_3 : 6.687022
1774.83/271.29	c (218,0) c AnalysisTime_4 : 5.783931
1774.83/271.29	c (218,0) c AnalysisTime_5 : 9.079142
1774.83/271.29	c (218,0) c AnalysisTime_6 : 5.528010
1774.83/271.29	c (218,0) c AnalysisTime_7 : 5.432947
1774.83/271.29	c (218,0) c AnalysisTime_total : 50.983805
1774.83/271.29	c (218,0) c AnalysisTime_winner : 6.687022
1774.83/271.29	c (218,0) c ReductionTime_0 : 0.745769
1774.83/271.29	c (218,0) c ReductionTime_1 : 0.501065
1774.83/271.29	c (218,0) c ReductionTime_2 : 0.782329
1774.83/271.29	c (218,0) c ReductionTime_3 : 0.519647
1774.83/271.29	c (218,0) c ReductionTime_4 : 0.734333
1774.83/271.29	c (218,0) c ReductionTime_5 : 0.429832
1774.83/271.29	c (218,0) c ReductionTime_6 : 0.663930
1774.83/271.29	c (218,0) c ReductionTime_7 : 0.533457
1774.83/271.29	c (218,0) c ReductionTime_total : 4.910362
1774.83/271.29	c (218,0) c ReductionTime_winner : 0.519647
1774.83/271.29	c (218,0) c SimplifyTime_0 : 0.000004
1774.83/271.29	c (218,0) c SimplifyTime_1 : 0.000009
1774.83/271.29	c (218,0) c SimplifyTime_2 : 0.000011
1774.83/271.29	c (218,0) c SimplifyTime_3 : 0.000011
1774.83/271.29	c (218,0) c SimplifyTime_4 : 0.000010
1774.83/271.29	c (218,0) c SimplifyTime_5 : 0.000005
1774.83/271.29	c (218,0) c SimplifyTime_6 : 0.000013
1774.83/271.29	c (218,0) c SimplifyTime_7 : 0.000008
1774.83/271.29	c (218,0) c SimplifyTime_total : 0.000071
1774.83/271.29	c (218,0) c SimplifyTime_winner : 0.000011
1774.83/271.29	c (218,0) c UsedRateTime_0 : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_1 : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_2 : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_3 : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_4 : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_5 : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_6 : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_7 : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_total : 0.000000
1774.83/271.29	c (218,0) c UsedRateTime_winner : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_0 : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_1 : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_2 : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_3 : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_4 : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_5 : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_6 : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_7 : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_total : 0.000000
1774.83/271.29	c (218,0) c OverlapRateTime_winner : 0.000000
1774.83/271.29	c (218,0) c
1774.83/271.29	c (218,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1774.83/271.29	c (218,0) c
1774.83/271.29	c (218,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.29	c (218,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1774.83/271.29	c (218,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1774.83/271.29	c (218,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1774.83/271.29	c (218,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1774.83/271.29	c (218,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1774.83/271.29	c (218,0) c | Initial random_seed   | 1409393978 |  948811189 |  582474757 |  655359485 |  224919626 |  361856796 |  552364122 | 1919599233 |
1774.83/271.29	c (218,0) c | chanseokStrategy      |       True |      False |       True |      False |       True |      False |       True |      False |
73.15/271.30	c (218,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
73.15/271.30	c (218,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
73.15/271.30	c (218,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
73.15/271.30	c (218,0) c | incReduceDB           |          0 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
73.15/271.30	c (218,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
73.15/271.30	c (218,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
73.15/271.30	c (218,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
73.15/271.30	c (218,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
73.15/271.30	c (218,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
73.15/271.30	c (218,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
73.15/271.30	c (218,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.15/271.30	c (218,0) 
73.15/271.30	c (218,0) s SATISFIABLE
73.15/271.34	c (218,0) SatSolver.solve End
73.15/271.34	c (218,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
73.15/271.34	c (218,0) Show results Begin
1775.20/271.40	c (218,0) x[0] = 4
1775.20/271.40	c (218,0) x[1] = 0
1775.20/271.40	c (218,0) x[2] = 0
1775.20/271.40	c (218,0) x[3] = 2
1775.20/271.40	c (218,0) x[4] = 0
1775.20/271.40	c (218,0) x[5] = 4
1775.20/271.40	c (218,0) x[6] = 0
1775.20/271.40	c (218,0) x[7] = 3
1775.20/271.40	c (218,0) x[8] = 0
1775.20/271.40	c (218,0) x[9] = 3
1775.20/271.40	c (218,0) x[10] = 3
1775.20/271.40	c (218,0) x[11] = 4
1775.20/271.40	c (218,0) x[12] = 0
1775.20/271.40	c (218,0) x[13] = 1
1775.20/271.40	c (218,0) x[14] = 1
1775.20/271.40	c (218,0) x[15] = 4
1775.20/271.40	c (218,0) x[16] = 0
1775.20/271.40	c (218,0) x[17] = 1
1775.20/271.40	c (218,0) x[18] = 0
1775.20/271.40	c (218,0) x[19] = 4
1775.20/271.40	c (218,0) x[20] = 1
1775.20/271.40	c (218,0) x[21] = 4
1775.20/271.40	c (218,0) x[22] = 4
1775.20/271.40	c (218,0) x[23] = 1
1775.20/271.40	c (218,0) x[24] = 3
1775.20/271.40	s SATISFIABLE
1775.20/271.40	v <instantiation>
1775.20/271.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>
1775.20/271.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>
1775.20/271.40	v </instantiation>
1775.20/271.40	c (218,0) Show results End
1775.20/271.40	c (218,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1775.20/271.41	c (218,0) 218,218,STOP-AFTER(ALL)
1775.20/271.41	c END-Prog: Tue Sep 24 15:42:47 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 (9671 MiB free)
  memory of node 1: 16384 MiB (15004 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100136 s]*
/proc/loadavg: 0.08 0.03 0.05 2/210 31547
/proc/meminfo: memFree=25174964/32770624 swapFree=66999716/67108860
[pid=31525] ppid=31522 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31525/stat : 31525 (scop.sh) S 31522 31525 31481 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 509851967 115843072 349 33554432000 4194304 5098028 140723842360192 140723842357448 140241496666748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14856192 140723842364196 140723842364524 140723842364524 140723842367437 0
/proc/31525/statm: 28282 349 296 221 0 87 0
[pid=31528] ppid=31525 vsize=27314120 memory=103832 CPUtime=0.09 cores=0-7
/proc/31528/stat : 31528 (java) S 31525 31525 31481 0 -1 1077944320 6541 0 0 0 7 2 0 0 20 0 20 0 509851968 27969658880 25958 33554432000 4194304 4196468 140722804957440 140722804939984 140030636244727 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
/proc/31528/statm: 6828530 25958 2777 1 0 6790935 0
[pid=31528/tid=31529] ppid=31525 vsize=27314120 memory=576460756329955445 CPUtime=0.07 cores=0-7
/proc/31528/task/31529/stat : 31529 (java) R 31525 31525 31481 0 -1 4202560 4636 0 0 0 6 1 0 0 20 0 20 0 509851968 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030608070912 140030636266653 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31530] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31530/stat : 31530 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030640487568 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31531] ppid=31525 vsize=27314120 memory=288370223178253952 CPUtime=0 cores=0-7
/proc/31528/task/31531/stat : 31531 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030454643728 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31532] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31532/stat : 31532 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030453590928 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31533] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31533/stat : 31533 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030452538128 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31534] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31534/stat : 31534 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030451485328 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31535] ppid=31525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31528/task/31535/stat : 31535 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030450432528 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31536] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31536/stat : 31536 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030449379728 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31537] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31537/stat : 31537 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 25958 33554432000 4194304 4196468 140722804957440 140030448326928 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31538] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31538/stat : 31538 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 25958 33554432000 4194304 4196468 140722804957440 140029895940976 140030636255874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31539] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31539/stat : 31539 (java) S 31525 31525 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 25958 33554432000 4194304 4196468 140722804957440 140028416091680 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31540] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31540/stat : 31540 (java) S 31525 31525 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 25958 33554432000 4194304 4196468 140722804957440 140028281869680 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31541] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31541/stat : 31541 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 25958 33554432000 4194304 4196468 140722804957440 140027907365200 140030636263323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31542] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31542/stat : 31542 (java) S 31525 31525 31481 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 25958 33554432000 4194304 4196468 140722804957440 140029894887792 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31543] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31543/stat : 31543 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 25958 33554432000 4194304 4196468 140722804957440 140029893834992 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31544] ppid=31525 vsize=27313864 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31544/stat : 31544 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851976 27969396736 25958 33554432000 4194304 4196468 140722804957440 140029691160688 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31545] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31545/stat : 31545 (java) S 31525 31525 31481 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 25984 33554432000 4194304 4196468 140722804957440 140029690107888 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31546] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31546/stat : 31546 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 25984 33554432000 4194304 4196468 140722804957440 140027409460320 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31547] ppid=31525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31528/task/31547/stat : 31547 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851977 27969658880 25984 33554432000 4194304 4196468 140722804957440 140029689056304 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105228 KiB

[startup+0.210373 s]*
/proc/loadavg: 0.08 0.03 0.05 2/210 31547
/proc/meminfo: memFree=25156756/32770624 swapFree=66999716/67108860
[pid=31525] ppid=31522 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31525/stat : 31525 (scop.sh) S 31522 31525 31481 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 509851967 115843072 349 33554432000 4194304 5098028 140723842360192 140723842357448 140241496666748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14856192 140723842364196 140723842364524 140723842364524 140723842367437 0
/proc/31525/statm: 28282 349 296 221 0 87 0
[pid=31528] ppid=31525 vsize=27314120 memory=121292 CPUtime=0.24 cores=0-7
/proc/31528/stat : 31528 (java) S 31525 31525 31481 0 -1 1077944320 11649 0 0 0 20 4 0 0 20 0 20 0 509851968 27969658880 30323 33554432000 4194304 4196468 140722804957440 140722804939984 140030636244727 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
/proc/31528/statm: 6828530 30323 2981 1 0 6790935 0
[pid=31528/tid=31529] ppid=31525 vsize=27314120 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/31528/task/31529/stat : 31529 (java) R 31525 31525 31481 0 -1 4202560 9338 0 0 0 15 3 0 0 20 0 20 0 509851968 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030608044112 140030620325214 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31530] ppid=31525 vsize=27314120 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/31528/task/31530/stat : 31530 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030640487568 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31531] ppid=31525 vsize=27314120 memory=139847026571353 CPUtime=0 cores=0-7
/proc/31528/task/31531/stat : 31531 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030454643728 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31532] ppid=31525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31528/task/31532/stat : 31532 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030453590928 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31533] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31533/stat : 31533 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030452538128 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31534] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31534/stat : 31534 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030451485328 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31535] ppid=31525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31528/task/31535/stat : 31535 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030450432528 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31536] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31536/stat : 31536 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030449379728 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31537] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31537/stat : 31537 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 30323 33554432000 4194304 4196468 140722804957440 140030448326928 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31538] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31538/stat : 31538 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 30323 33554432000 4194304 4196468 140722804957440 140029895940976 140030636255874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31539] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31539/stat : 31539 (java) S 31525 31525 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 30323 33554432000 4194304 4196468 140722804957440 140028416091680 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31540] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31540/stat : 31540 (java) S 31525 31525 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 30323 33554432000 4194304 4196468 140722804957440 140028281869680 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31541] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31541/stat : 31541 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 30323 33554432000 4194304 4196468 140722804957440 140027907365200 140030636263323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31542] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31542/stat : 31542 (java) S 31525 31525 31481 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 30323 33554432000 4194304 4196468 140722804957440 140029894887792 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31543] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31543/stat : 31543 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 30323 33554432000 4194304 4196468 140722804957440 140029893834992 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31544] ppid=31525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31528/task/31544/stat : 31544 (java) S 31525 31525 31481 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 30323 33554432000 4194304 4196468 140722804957440 140029691160688 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31545] ppid=31525 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/31528/task/31545/stat : 31545 (java) S 31525 31525 31481 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 509851976 27969658880 30323 33554432000 4194304 4196468 140722804957440 140029690107888 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31546] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31546/stat : 31546 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 30323 33554432000 4194304 4196468 140722804957440 140027409460320 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31547] ppid=31525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31528/task/31547/stat : 31547 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851977 27969658880 30323 33554432000 4194304 4196468 140722804957440 140029689056304 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122688 KiB

[startup+0.318191 s]*
/proc/loadavg: 0.08 0.03 0.05 2/210 31547
/proc/meminfo: memFree=25152848/32770624 swapFree=66999716/67108860
[pid=31525] ppid=31522 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31525/stat : 31525 (scop.sh) S 31522 31525 31481 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 509851967 115843072 349 33554432000 4194304 5098028 140723842360192 140723842357448 140241496666748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14856192 140723842364196 140723842364524 140723842364524 140723842367437 0
/proc/31525/statm: 28282 349 296 221 0 87 0
[pid=31528] ppid=31525 vsize=27314120 memory=125360 CPUtime=0.43 cores=0-7
/proc/31528/stat : 31528 (java) S 31525 31525 31481 0 -1 1077944320 12775 0 0 0 38 5 0 0 20 0 20 0 509851968 27969658880 31340 33554432000 4194304 4196468 140722804957440 140722804939984 140030636244727 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
/proc/31528/statm: 6828530 31340 3033 1 0 6790935 0
[pid=31528/tid=31529] ppid=31525 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/31528/task/31529/stat : 31529 (java) R 31525 31525 31481 0 -1 4202560 10271 0 0 0 25 4 0 0 20 0 20 0 509851968 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030608040216 140030636258591 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31530] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31530/stat : 31530 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030640487568 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31531] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31531/stat : 31531 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030454643728 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31532] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31532/stat : 31532 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030453590928 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31533] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31533/stat : 31533 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030452538128 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31534] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31534/stat : 31534 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030451485328 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31535] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31535/stat : 31535 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030450432528 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31536] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31536/stat : 31536 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030449379728 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31537] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31537/stat : 31537 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851971 27969658880 31340 33554432000 4194304 4196468 140722804957440 140030448326928 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31538] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31538/stat : 31538 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 31340 33554432000 4194304 4196468 140722804957440 140029895940976 140030636255874 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31539] ppid=31525 vsize=27314120 memory=279693773446528 CPUtime=0 cores=0-7
/proc/31528/task/31539/stat : 31539 (java) S 31525 31525 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 31340 33554432000 4194304 4196468 140722804957440 140028416091680 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31540] ppid=31525 vsize=27314120 memory=279693773451136 CPUtime=0 cores=0-7
/proc/31528/task/31540/stat : 31540 (java) S 31525 31525 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509851973 27969658880 31340 33554432000 4194304 4196468 140722804957440 140028281869680 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31541] ppid=31525 vsize=27314120 memory=279693773455744 CPUtime=0 cores=0-7
/proc/31528/task/31541/stat : 31541 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 31340 33554432000 4194304 4196468 140722804957440 140027907365200 140030636263323 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31542] ppid=31525 vsize=27314120 memory=279693773460352 CPUtime=0 cores=0-7
/proc/31528/task/31542/stat : 31542 (java) S 31525 31525 31481 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 31340 33554432000 4194304 4196468 140722804957440 140029894887792 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31543] ppid=31525 vsize=27314120 memory=279693773464960 CPUtime=0.01 cores=0-7
/proc/31528/task/31543/stat : 31543 (java) S 31525 31525 31481 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 509851976 27969658880 31340 33554432000 4194304 4196468 140722804957440 140029893834992 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31544] ppid=31525 vsize=27314120 memory=279693773469568 CPUtime=0.02 cores=0-7
/proc/31528/task/31544/stat : 31544 (java) R 31525 31525 31481 0 -1 4202560 245 0 0 0 2 0 0 0 20 0 20 0 509851976 27969658880 31340 33554432000 4194304 4196468 140722804957440 140029691160688 140030621672848 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31545] ppid=31525 vsize=27314120 memory=279693773474176 CPUtime=0.07 cores=0-7
/proc/31528/task/31545/stat : 31545 (java) S 31525 31525 31481 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 20 0 509851976 27969658880 31340 33554432000 4194304 4196468 140722804957440 140029690107888 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31546] ppid=31525 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31546/stat : 31546 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851976 27969658880 31340 33554432000 4194304 4196468 140722804957440 140027409460320 140030636254933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31547] ppid=31525 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31528/task/31547/stat : 31547 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851977 27969658880 31340 33554432000 4194304 4196468 140722804957440 140029689056304 140030636255874 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126756 KiB

[startup+0.701225 s]
/proc/loadavg: 0.08 0.03 0.05 2/210 31547
/proc/meminfo: memFree=25129992/32770624 swapFree=66999716/67108860
[pid=31525] ppid=31522 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31525/stat : 31525 (scop.sh) S 31522 31525 31481 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 509851967 115843072 349 33554432000 4194304 5098028 140723842360192 140723842357448 140241496666748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14856192 140723842364196 140723842364524 140723842364524 140723842367437 0
/proc/31525/statm: 28282 349 296 221 0 87 0
[pid=31528] ppid=31525 vsize=27320392 memory=163248 CPUtime=0.98 cores=0-7
/proc/31528/stat : 31528 (java) S 31525 31525 31481 0 -1 1077944320 20411 0 0 0 91 7 0 0 20 0 20 0 509851968 27976081408 40812 33554432000 4194304 4196468 140722804957440 140722804939984 140030636244727 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
/proc/31528/statm: 6830098 40812 3182 1 0 6791447 0
[pid=31528/tid=31529] ppid=31525 vsize=27320392 memory=4580 CPUtime=0.66 cores=0-7
/proc/31528/task/31529/stat : 31529 (java) R 31525 31525 31481 0 -1 4202560 17359 0 0 0 60 6 0 0 20 0 20 0 509851968 27976081408 40812 33554432000 4194304 4196468 140722804957440 140030608082136 140030110628508 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31530] ppid=31525 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31530/stat : 31530 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27976081408 40812 33554432000 4194304 4196468 140722804957440 140030640487568 140030636254933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31531] ppid=31525 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/31528/task/31531/stat : 31531 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851971 27976081408 40812 33554432000 4194304 4196468 140722804957440 140030454643728 140030636254933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0
[pid=31528/tid=31532] ppid=31525 vsize=27320392 memory=3648 CPUtime=0 cores=0-7
/proc/31528/task/31532/stat : 31532 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851971 27976081408 40812 33554432000 4194304 4196468 140722804957440 140030453590928 140030636254933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140722804966122 140722804966550 140722804966550 140722804969423 0

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

/proc/31551/task/31556/stat : 31556 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427501582992 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31557] ppid=31525 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/31551/task/31557/stat : 31557 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427500530448 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31558] ppid=31525 vsize=8414124 memory=53256 CPUtime=0 cores=0-7
/proc/31551/task/31558/stat : 31558 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427499477904 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31559] ppid=31525 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/31551/task/31559/stat : 31559 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427498425360 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31560] ppid=31525 vsize=8414124 memory=119000 CPUtime=0 cores=0-7
/proc/31551/task/31560/stat : 31560 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427497372816 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31561] ppid=31525 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/31551/task/31561/stat : 31561 (java) S 31525 31525 31481 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509857241 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427447482352 140428018494082 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31562] ppid=31525 vsize=8414124 memory=53256 CPUtime=0 cores=0-7
/proc/31551/task/31562/stat : 31562 (java) S 31525 31525 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509857241 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426640090016 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31563] ppid=31525 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/31551/task/31563/stat : 31563 (java) S 31525 31525 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509857241 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426505868272 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31564] ppid=31525 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/31551/task/31564/stat : 31564 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426131364048 140428018501531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31565] ppid=31525 vsize=8414124 memory=1376 CPUtime=0.05 cores=0-7
/proc/31551/task/31565/stat : 31565 (java) S 31525 31525 31481 0 -1 1077944384 542 0 0 0 5 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426371647984 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31566] ppid=31525 vsize=8414124 memory=1128 CPUtime=0.04 cores=0-7
/proc/31551/task/31566/stat : 31566 (java) S 31525 31525 31481 0 -1 1077944384 246 0 0 0 4 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426370595440 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31567] ppid=31525 vsize=8414124 memory=772 CPUtime=0.08 cores=0-7
/proc/31551/task/31567/stat : 31567 (java) S 31525 31525 31481 0 -1 1077944384 373 0 0 0 8 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426369542896 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31568] ppid=31525 vsize=8414124 memory=3648 CPUtime=0.21 cores=0-7
/proc/31551/task/31568/stat : 31568 (java) S 31525 31525 31481 0 -1 1077944384 702 0 0 0 21 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426368490352 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31569] ppid=31525 vsize=8414124 memory=119000 CPUtime=0 cores=0-7
/proc/31551/task/31569/stat : 31569 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140425633458400 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31570] ppid=31525 vsize=8414124 memory=390412 CPUtime=0.12 cores=0-7
/proc/31551/task/31570/stat : 31570 (java) S 31525 31525 31481 0 -1 1077944384 17 0 0 0 6 6 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426367437232 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31572] ppid=31525 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/31551/task/31572/stat : 31572 (java) S 31525 31525 31481 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509857311 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427445871808 140428018507545 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31574] ppid=31525 vsize=8414124 memory=8317482817917895235 CPUtime=0.01 cores=0-7
/proc/31551/task/31574/stat : 31574 (java) S 31525 31525 31481 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 509857311 8616062976 29750 33554432000 4194304 4196468 140730971095616 140424962359056 140428018504861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31575] ppid=31525 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/31551/task/31575/stat : 31575 (java) S 31525 31525 31481 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509857311 8616062976 29750 33554432000 4194304 4196468 140730971095616 140425230794640 140428018504861 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31576] ppid=31525 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/31551/task/31576/stat : 31576 (java) S 31525 31525 31481 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509857313 8616062976 29750 33554432000 4194304 4196468 140730971095616 140424693931696 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
Current children cumulated CPU time: 1770.23 s
Current children cumulated vsize: 9225768 KiB
Current children cumulated memory: 511120 KiB

[startup+271.201 s]
/proc/loadavg: 7.81 4.27 1.77 3/220 31606
/proc/meminfo: memFree=24767248/32770624 swapFree=66999716/67108860
[pid=31525] ppid=31522 vsize=113128 memory=1476 CPUtime=71.78 cores=0-7
/proc/31525/stat : 31525 (scop.sh) S 31522 31525 31481 0 -1 4202496 583 80153 0 0 0 0 6874 304 20 0 1 0 509851967 115843072 369 33554432000 4194304 5098028 140723842360192 140723842356936 140241496666748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14856192 140723842364196 140723842364524 140723842364524 140723842367437 0
/proc/31525/statm: 28282 369 311 221 0 87 0
[pid=31551] ppid=31525 vsize=8414124 memory=119000 CPUtime=1.31 cores=0-7
/proc/31551/stat : 31551 (java) S 31525 31525 31481 0 -1 1077944320 21284 0 0 0 123 8 0 0 20 0 24 0 509857237 8616062976 29750 33554432000 4194304 4196468 140730971095616 140730971078160 140428018482935 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
/proc/31551/statm: 2103531 29750 3202 1 0 2064875 0
[pid=31571] ppid=31551 vsize=690320 memory=391268 CPUtime=1701.74 cores=0-7
/proc/31571/stat : 31571 (manyglucose-4.1) S 31551 31525 31481 0 -1 1077944320 760914 0 0 0 169948 226 0 0 20 0 2 0 509857310 706887680 97817 33554432000 4194304 4454172 140735973875712 140735973874096 140062634381047 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 11436032 140735973880681 140735973880880 140735973880880 140735973883834 0
/proc/31571/statm: 172580 97817 417 64 0 168248 0
[pid=31571/tid=31582] ppid=31551 vsize=690320 memory=-9104138158769205650 CPUtime=210.85 cores=0-7
/proc/31571/task/31582/stat : 31582 (manyglucose-4.1) R 31551 31525 31481 0 -1 4202560 85059 0 0 0 21057 28 0 0 20 0 2 0 509857328 706887680 97817 33554432000 4194304 4454172 140735973875712 140062565682312 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 11436032 140735973880681 140735973880880 140735973880880 140735973883834 0
[pid=31551/tid=31552] ppid=31525 vsize=8414124 memory=119000 CPUtime=0.75 cores=0-7
/proc/31551/task/31552/stat : 31552 (java) S 31525 31525 31481 0 -1 1077944384 17989 0 0 0 70 5 0 0 20 0 24 0 509857238 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427990323104 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31553] ppid=31525 vsize=8414124 memory=390644 CPUtime=0 cores=0-7
/proc/31551/task/31553/stat : 31553 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140428022724880 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31554] ppid=31525 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/31551/task/31554/stat : 31554 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427849542032 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31555] ppid=31525 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/31551/task/31555/stat : 31555 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427502635536 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31556] ppid=31525 vsize=8414124 memory=53256 CPUtime=0 cores=0-7
/proc/31551/task/31556/stat : 31556 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427501582992 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31557] ppid=31525 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/31551/task/31557/stat : 31557 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427500530448 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31558] ppid=31525 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/31551/task/31558/stat : 31558 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427499477904 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31559] ppid=31525 vsize=8414124 memory=1376 CPUtime=0 cores=0-7
/proc/31551/task/31559/stat : 31559 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427498425360 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31560] ppid=31525 vsize=8414124 memory=6935054825532540783 CPUtime=0 cores=0-7
/proc/31551/task/31560/stat : 31560 (java) S 31525 31525 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509857239 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427497372816 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31561] ppid=31525 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/31551/task/31561/stat : 31561 (java) S 31525 31525 31481 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509857241 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427447482352 140428018494082 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31562] ppid=31525 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/31551/task/31562/stat : 31562 (java) S 31525 31525 31481 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509857241 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426640090016 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31563] ppid=31525 vsize=8414124 memory=23860 CPUtime=0 cores=0-7
/proc/31551/task/31563/stat : 31563 (java) S 31525 31525 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509857241 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426505868272 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31564] ppid=31525 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/31551/task/31564/stat : 31564 (java) S 31525 31525 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426131364048 140428018501531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31565] ppid=31525 vsize=8414124 memory=1556 CPUtime=0.05 cores=0-7
/proc/31551/task/31565/stat : 31565 (java) S 31525 31525 31481 0 -1 1077944384 542 0 0 0 5 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426371647984 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31566] ppid=31525 vsize=8414124 memory=500 CPUtime=0.04 cores=0-7
/proc/31551/task/31566/stat : 31566 (java) S 31525 31525 31481 0 -1 1077944384 246 0 0 0 4 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426370595440 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31567] ppid=31525 vsize=8414124 memory=928 CPUtime=0.08 cores=0-7
/proc/31551/task/31567/stat : 31567 (java) S 31525 31525 31481 0 -1 1077944384 373 0 0 0 8 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426369542896 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31568] ppid=31525 vsize=8414124 memory=1728 CPUtime=0.21 cores=0-7
/proc/31551/task/31568/stat : 31568 (java) S 31525 31525 31481 0 -1 1077944384 702 0 0 0 21 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426368490352 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31569] ppid=31525 vsize=8414124 memory=119000 CPUtime=0 cores=0-7
/proc/31551/task/31569/stat : 31569 (java) S 31525 31525 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140425633458400 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31570] ppid=31525 vsize=8414124 memory=390176 CPUtime=0.14 cores=0-7
/proc/31551/task/31570/stat : 31570 (java) S 31525 31525 31481 0 -1 1077944384 17 0 0 0 6 8 0 0 20 0 24 0 509857244 8616062976 29750 33554432000 4194304 4196468 140730971095616 140426367437232 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31572] ppid=31525 vsize=8414124 memory=119000 CPUtime=0 cores=0-7
/proc/31551/task/31572/stat : 31572 (java) S 31525 31525 31481 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509857311 8616062976 29750 33554432000 4194304 4196468 140730971095616 140427445871808 140428018507545 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31574] ppid=31525 vsize=8414124 memory=387764 CPUtime=0.01 cores=0-7
/proc/31551/task/31574/stat : 31574 (java) S 31525 31525 31481 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 509857311 8616062976 29750 33554432000 4194304 4196468 140730971095616 140424962359056 140428018504861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31575] ppid=31525 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/31551/task/31575/stat : 31575 (java) S 31525 31525 31481 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509857311 8616062976 29750 33554432000 4194304 4196468 140730971095616 140425230794640 140428018504861 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31576] ppid=31525 vsize=8414124 memory=9588 CPUtime=0 cores=0-7
/proc/31551/task/31576/stat : 31576 (java) S 31525 31525 31481 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509857313 8616062976 29750 33554432000 4194304 4196468 140730971095616 140424693931696 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
Current children cumulated CPU time: 1774.83 s
Current children cumulated vsize: 9217572 KiB
Current children cumulated memory: 511744 KiB

[startup+271.401 s]
/proc/loadavg: 7.81 4.27 1.77 3/220 31606
/proc/meminfo: memFree=24767248/32770624 swapFree=66999716/67108860
[pid=31525] ppid=31522 vsize=113128 memory=1476 CPUtime=71.78 cores=0-7
/proc/31525/stat : 31525 (scop.sh) S 31522 31525 31481 0 -1 4202496 583 80153 0 0 0 0 6874 304 20 0 1 0 509851967 115843072 369 33554432000 4194304 5098028 140723842360192 140723842356936 140241496666748 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14856192 140723842364196 140723842364524 140723842364524 140723842367437 0
/proc/31525/statm: 28282 369 311 221 0 87 0
[pid=31551] ppid=31525 vsize=8283048 memory=130848 CPUtime=1703.42 cores=0-7
/proc/31551/stat : 31551 (java) S 31525 31525 31481 0 -1 1077944320 23702 760926 0 0 148 10 169956 228 20 0 22 0 509857237 8481841152 32712 33554432000 4194304 4196468 140730971095616 140730971078160 140428018482935 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
/proc/31551/statm: 2070762 32712 3222 1 0 2032106 0
[pid=31551/tid=31552] ppid=31525 vsize=8283048 memory=1056 CPUtime=1702.65 cores=0-7
/proc/31551/task/31552/stat : 31552 (java) R 31525 31525 31481 0 -1 4202560 18223 760926 0 0 76 5 169956 228 20 0 22 0 509857238 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427990320912 140427520661863 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31553] ppid=31525 vsize=8283048 memory=1716 CPUtime=1701.84 cores=0-7
/proc/31551/task/31553/stat : 31553 (java) S 31525 31525 31481 0 -1 1077944384 1 760926 0 0 0 0 169956 228 20 0 22 0 509857239 8481841152 32712 33554432000 4194304 4196468 140730971095616 140428022724880 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31554] ppid=31525 vsize=8283048 memory=16050292788396 CPUtime=1701.84 cores=0-7
/proc/31551/task/31554/stat : 31554 (java) S 31525 31525 31481 0 -1 1077944384 3 760926 0 0 0 0 169956 228 20 0 22 0 509857239 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427849542032 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31555] ppid=31525 vsize=8283048 memory=-6941573621761790877 CPUtime=1701.84 cores=0-7
/proc/31551/task/31555/stat : 31555 (java) S 31525 31525 31481 0 -1 1077944384 1 760926 0 0 0 0 169956 228 20 0 22 0 509857239 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427502635536 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31556] ppid=31525 vsize=8283048 memory=5792019882882785801 CPUtime=1701.84 cores=0-7
/proc/31551/task/31556/stat : 31556 (java) S 31525 31525 31481 0 -1 1077944384 2 760926 0 0 0 0 169956 228 20 0 22 0 509857239 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427501582992 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31557] ppid=31525 vsize=8283048 memory=8328174522778296439 CPUtime=1701.84 cores=0-7
/proc/31551/task/31557/stat : 31557 (java) S 31525 31525 31481 0 -1 1077944384 2 760926 0 0 0 0 169956 228 20 0 22 0 509857239 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427500530448 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31558] ppid=31525 vsize=8283048 memory=-6515421572208875410 CPUtime=1701.84 cores=0-7
/proc/31551/task/31558/stat : 31558 (java) S 31525 31525 31481 0 -1 1077944384 1 760926 0 0 0 0 169956 228 20 0 22 0 509857239 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427499477904 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31559] ppid=31525 vsize=8283048 memory=-6081100125891549068 CPUtime=1701.84 cores=0-7
/proc/31551/task/31559/stat : 31559 (java) S 31525 31525 31481 0 -1 1077944384 1 760926 0 0 0 0 169956 228 20 0 22 0 509857239 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427498425360 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31560] ppid=31525 vsize=8283048 memory=-7162548950725252513 CPUtime=1701.84 cores=0-7
/proc/31551/task/31560/stat : 31560 (java) S 31525 31525 31481 0 -1 1077944384 2 760926 0 0 0 0 169956 228 20 0 22 0 509857239 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427497372816 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31561] ppid=31525 vsize=8283048 memory=3472732025956164873 CPUtime=1701.84 cores=0-7
/proc/31551/task/31561/stat : 31561 (java) S 31525 31525 31481 0 -1 1077944384 9 760926 0 0 0 0 169956 228 20 0 22 0 509857241 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427447482352 140428018494082 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31562] ppid=31525 vsize=8283048 memory=3833864434029045264 CPUtime=1701.84 cores=0-7
/proc/31551/task/31562/stat : 31562 (java) S 31525 31525 31481 0 -1 1077944384 13 760926 0 0 0 0 169956 228 20 0 22 0 509857241 8481841152 32712 33554432000 4194304 4196468 140730971095616 140426640090016 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31563] ppid=31525 vsize=8283048 memory=7301024747861159777 CPUtime=1701.84 cores=0-7
/proc/31551/task/31563/stat : 31563 (java) S 31525 31525 31481 0 -1 1077944384 21 760926 0 0 0 0 169956 228 20 0 22 0 509857241 8481841152 32712 33554432000 4194304 4196468 140730971095616 140426505868272 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31564] ppid=31525 vsize=8283048 memory=1476 CPUtime=1701.84 cores=0-7
/proc/31551/task/31564/stat : 31564 (java) S 31525 31525 31481 0 -1 1077944384 1 760926 0 0 0 0 169956 228 20 0 22 0 509857244 8481841152 32712 33554432000 4194304 4196468 140730971095616 140426131364048 140428018501531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31565] ppid=31525 vsize=8283048 memory=119000 CPUtime=1701.93 cores=0-7
/proc/31551/task/31565/stat : 31565 (java) S 31525 31525 31481 0 -1 1077944384 751 760926 0 0 9 0 169956 228 20 0 22 0 509857244 8481841152 32712 33554432000 4194304 4196468 140730971095616 140426371647984 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31566] ppid=31525 vsize=8283048 memory=390412 CPUtime=1701.92 cores=0-7
/proc/31551/task/31566/stat : 31566 (java) S 31525 31525 31481 0 -1 1077944384 269 760926 0 0 8 0 169956 228 20 0 22 0 509857244 8481841152 32712 33554432000 4194304 4196468 140730971095616 140426370595440 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31567] ppid=31525 vsize=8283048 memory=6944656575208382560 CPUtime=1701.94 cores=0-7
/proc/31551/task/31567/stat : 31567 (java) S 31525 31525 31481 0 -1 1077944384 388 760926 0 0 10 0 169956 228 20 0 22 0 509857244 8481841152 32712 33554432000 4194304 4196468 140730971095616 140426369542896 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31568] ppid=31525 vsize=8283048 memory=6944656592455359580 CPUtime=1702.1 cores=0-7
/proc/31551/task/31568/stat : 31568 (java) R 31525 31525 31481 0 -1 4202560 919 760926 0 0 26 0 169956 228 20 0 22 0 509857244 8481841152 32712 33554432000 4194304 4196468 140730971095616 140426368490352 140428018494870 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31569] ppid=31525 vsize=8283048 memory=8755063897152777890 CPUtime=1701.84 cores=0-7
/proc/31551/task/31569/stat : 31569 (java) S 31525 31525 31481 0 -1 1077944384 3 760926 0 0 0 0 169956 228 20 0 22 0 509857244 8481841152 32712 33554432000 4194304 4196468 140730971095616 140425633458400 140428018493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31570] ppid=31525 vsize=8283048 memory=279693774841416 CPUtime=1701.98 cores=0-7
/proc/31551/task/31570/stat : 31570 (java) R 31525 31525 31481 0 -1 1077944384 17 760926 0 0 6 8 169956 228 20 0 22 0 509857244 8481841152 32712 33554432000 4194304 4196468 140730971095616 140426367437232 140428018494082 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31572] ppid=31525 vsize=8283048 memory=-3040564339240289162 CPUtime=1701.84 cores=0-7
/proc/31551/task/31572/stat : 31572 (java) S 31525 31525 31481 0 -1 1077944384 26 760926 0 0 0 0 169956 228 20 0 22 0 509857311 8481841152 32712 33554432000 4194304 4196468 140730971095616 140427445870992 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
[pid=31551/tid=31576] ppid=31525 vsize=8283048 memory=119000 CPUtime=1701.84 cores=0-7
/proc/31551/task/31576/stat : 31576 (java) S 31525 31525 31481 0 -1 1077944384 10 760926 0 0 0 0 169956 228 20 0 22 0 509857313 8481841152 32712 33554432000 4194304 4196468 140730971095616 140424693933488 140428018494082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33460224 140730971100151 140730971100310 140730971100310 140730971103183 0
Current children cumulated CPU time: 1775.2 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 132324 KiB

Child status: 0
Real time (s): 271.429
CPU time (s): 1775.28
CPU user time (s): 1769.83
CPU system time (s): 5.44898
CPU usage (%): 654.049
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6612596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.83
system time used= 5.44898
maximum resident set size= 6612388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 865433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93383
involuntary context switches= 16693


# summary of solver processes directly reported to runsolver:
#   pid: 31525
#   total CPU time (s): 1775.28
#   total CPU user time (s): 1769.83
#   total CPU system time (s): 5.44898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37404 second user time and 3.65306 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-24 15:38:16
IDJOB=4405600
IDBENCH=126097
IDSOLVER=2868
FILE ID=node106/4405600-1569335979
RUNJOBID= node106-1569332296-31508
PBS_JOBID= 21705069
Free space on /tmp= 23456 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405600-1569335979/watcher-4405600-1569335979 -o /tmp/evaluation-result-4405600-1569335979/solver-4405600-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405600-1569335979.xml

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

MD5SUM BENCH= e7714f1bdc5f54a36db8d66dbea9ce0a
RANDOM SEED=2101077985

node106.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.79
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.79
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.79
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.79
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:        25268664 kB
MemAvailable:   31848564 kB
Buffers:           85648 kB
Cached:          6666276 kB
SwapCached:         4584 kB
Active:          3393956 kB
Inactive:        3367372 kB
Active(anon):       4104 kB
Inactive(anon):    57984 kB
Active(file):    3389852 kB
Inactive(file):  3309388 kB
Unevictable:      107968 kB
Mlocked:          107968 kB
SwapTotal:      67108860 kB
SwapFree:       66999716 kB
Dirty:             53272 kB
Writeback:             0 kB
AnonPages:        112472 kB
Mapped:            53964 kB
Shmem:             43672 kB
Slab:             337368 kB
SReclaimable:     309120 kB
SUnreclaim:        28248 kB
KernelStack:        3264 kB
PageTables:         6056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 23436 MiB
End job on node106 at 2019-09-24 15:42:48