Trace number 4392496

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-35.xml
MD5SUMd39bc1ef1e07e502cfee7f2819d89a2a
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 benchmark46.1491
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints71
Number of domains1
Minimum domain size105
Maximum domain size105
Distribution of domain sizes[{"size":105,"count":105}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":70},{"degree":3,"count":35}]
Minimum constraint arity2
Maximum constraint arity105
Distribution of constraint arities[{"arity":2,"count":70},{"arity":105,"count":1}]
Number of extensional constraints0
Number of intensional constraints70
Distribution of constraint types[{"type":"intension","count":70},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-2665-serial-file.bin HOME/instance-4392496-1568424212.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 03:22:33 CEST 2019
0.65/0.56	c PID: 2668
0.65/0.56	c IP: 172.20.3.103
0.65/0.56	c HOST: node103.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.40/0.93	c (0,0) Parsing End
1.40/0.94	c (0,0) CSP: 105 int (0 aux), 0 bool (0 aux), 71 ctr, max domain size 105
1.40/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.94	c (0,0) Constraint Name Generate Begin
1.40/0.94	c (0,0) Ctr:HOME/instance-4392496-1568424212.xml,Add:AllDifferent:Eq:Num:Var
1.40/0.94	c (0,0) Constraint Name Generate End
1.40/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.94	c (0,0) CSP to CSPinCNF Begin
3.73/1.66	c (1,1) translated 8 (10%) constraints
3.73/1.66	c (1,1) translated 15 (20%) constraints
3.73/1.66	c (1,1) translated 22 (30%) constraints
3.73/1.66	c (1,1) translated 29 (40%) constraints
3.73/1.66	c (1,1) translated 36 (50%) constraints
3.73/1.66	c (1,1) translated 43 (60%) constraints
3.73/1.67	c (1,1) translated 50 (70%) constraints
3.73/1.67	c (1,1) translated 57 (80%) constraints
3.73/1.67	c (1,1) translated 64 (90%) constraints
3.73/1.67	c (1,1) translated 71 (100%) constraints
3.73/1.67	c (1,1) ===========================================
3.73/1.67	c (1,1) Order
3.73/1.67	c (1,1) ===========================================
4.11/1.73	c (1,1) translated 564 (10%) constraints
4.11/1.76	c (1,1) translated 1128 (20%) constraints
4.11/1.79	c (1,1) translated 1692 (30%) constraints
4.50/1.81	c (1,1) translated 2255 (40%) constraints
4.50/1.84	c (1,1) translated 2819 (50%) constraints
4.50/1.86	c (1,1) translated 3383 (60%) constraints
4.50/1.88	c (1,1) translated 3946 (70%) constraints
4.89/1.90	c (1,1) translated 4510 (80%) constraints
4.89/1.92	c (1,1) translated 5074 (90%) constraints
7.01/2.57	c (2,2) translated 5637 (100%) constraints
7.01/2.57	c (2,2) CSP to CSPinCNF End
7.01/2.58	c (2,2) CSP: 105 int (0 aux), 11025 bool (11025 aux), 27757 ctr, max domain size 101
7.01/2.58	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.01/2.58	c (2,2) CSPinCNF Propagation Begin
9.20/3.15	c (2,2) 3990 values, 8369 unsatisfiable literals, and 8412 valid clauses are removed
9.20/3.15	c (2,2) CSPinCNF Propagation End
9.20/3.15	c (2,2) CSP: 105 int (0 aux), 11025 bool (11025 aux), 19345 ctr, max domain size 101
9.20/3.15	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.20/3.15	c (2,2) Simplify CSPinCNF Begin
9.85/3.38	c (2,2) Simplify CSPinCNF End
9.85/3.39	c (2,2) CSP: 105 int (0 aux), 21447 bool (21447 aux), 29767 ctr, max domain size 101
9.85/3.39	c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.85/3.39	c (2,2) Calculate Precise Domain Begin
9.85/3.39	c (2,2) 0 values are removed by re-calculation
9.85/3.39	c (2,2) Calculate Precise Domain End
9.85/3.39	c (2,2) CSP: 105 int (0 aux), 21447 bool (21447 aux), 29767 ctr, max domain size 101
9.85/3.39	c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.85/3.39	c (2,2) CSPinCNF to SatSolver Begin
13.07/4.28	c (3,3) 2977 (10 %) CSP clauses are encoded (0 SAT variables, 127239 SAT clauses)
13.49/4.69	c (4,4) 5954 (20 %) CSP clauses are encoded (0 SAT variables, 218350 SAT clauses)
13.91/5.00	c (4,4) 8931 (30 %) CSP clauses are encoded (0 SAT variables, 284859 SAT clauses)
14.62/5.46	c (4,4) 11907 (40 %) CSP clauses are encoded (0 SAT variables, 394715 SAT clauses)
15.02/5.83	c (5,5) 14884 (50 %) CSP clauses are encoded (0 SAT variables, 483368 SAT clauses)
15.13/5.95	c (5,5) 17861 (60 %) CSP clauses are encoded (0 SAT variables, 510065 SAT clauses)
15.13/5.97	c (5,5) 20837 (70 %) CSP clauses are encoded (0 SAT variables, 513041 SAT clauses)
15.13/6.00	c (5,5) 23814 (80 %) CSP clauses are encoded (0 SAT variables, 516018 SAT clauses)
15.23/6.03	c (5,5) 26791 (90 %) CSP clauses are encoded (0 SAT variables, 518995 SAT clauses)
15.23/6.07	c (5,5) 29767 (100 %) CSP clauses are encoded (0 SAT variables, 531040 SAT clauses)
15.23/6.07	c (5,5) CSPinCNF to SatSolver End
15.23/6.07	c (5,5) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.23/6.07	c (5,5) 24387 bool, 531072 clause
15.23/6.07	c (5,5) Export Begin
15.36/6.16	c (5,5) Export to HOME/scop-2665-serial-file.bin
15.36/6.16	c (5,5) Export End
15.36/6.16	c (5,5) Export File Size: 0.02 MB
15.36/6.16	c (5,5) 0,0,2,2,2,2,5,STOP-AFTER(DIMACS)
15.36/6.16	c END-Prog: Sat Sep 14 03:22:39 CEST 2019
15.36/6.19	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2665-serial-file.bin
15.50/6.65	c (0,0) Read Serial File Begin
15.50/6.65	c (0,0) HOME/scop-2665-serial-file.bin
15.50/6.86	c (0,0) Read Serial File End
15.50/6.87	
15.50/6.87	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
15.50/6.87	(Solving Process)
15.50/6.87	
15.50/6.89	c BEGIN-Prog: Sat Sep 14 03:22:40 CEST 2019
15.50/6.89	c PID: 2689
15.50/6.89	c IP: 172.20.3.103
15.50/6.89	c HOST: node103.alineos.net
15.50/6.90	c (0,0) SatSolver.solve Begin
15.50/6.90	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392496-1568424212.xml-scop-2668.cnf
15.50/6.92	c (0,0) c
15.50/6.92	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)
15.50/6.92	c (0,0) c
15.50/6.92	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.50/6.92	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
15.50/6.92	c (0,0) c ========================================[ Problem Statistics ]===========================================
15.50/6.92	c (0,0) c |                                                                                                       |
16.72/7.09	c (0,0) c |  Number of variables:         24387                                                                   |
16.72/7.09	c (0,0) c |  Number of clauses:          531072                                                                   |
16.72/7.09	c (0,0) c |  Parse time:                   0.16 s                                                                 |
16.72/7.09	c (0,0) c |                                                                                                       |
17.53/7.84	c (1,0) c |  Simplification time:          0.75 s                                                                 |
17.53/7.84	c (1,0) c |                                                                                                       |
17.53/7.84	c (1,0) c |  Generating clones                                                                                    |
17.63/7.99	c (1,0) c |  all clones generated. Memory =   350.16Mb.                                                           |
17.63/7.99	c (1,0) c ========================================================================================================|
17.63/7.99	c (1,0) c
17.63/7.99	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.63/7.99	c (1,0) c
17.63/7.99	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.63/7.99	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.63/7.99	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.63/7.99	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.63/7.99	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.63/7.99	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.63/7.99	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.63/7.99	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.63/7.99	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.63/7.99	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.63/7.99	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.63/7.99	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.63/7.99	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.63/7.99	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.63/7.99	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.63/7.99	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.63/7.99	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.63/7.99	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.63/7.99	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
249.90/37.84	c (31,0) c
249.90/37.84	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
249.90/37.84	c (31,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
249.90/37.84	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
249.90/37.84	c (31,0) c |  0 |     63 |     190867 |      18834 |   327013 |    10037 |     1320 |    17860 |       61 |      219 |  20 |  0.000 |
249.90/37.84	c (31,0) c |  1 |     26 |     117787 |      30506 |   237435 |    14317 |     3152 |    15839 |       41 |      239 |  20 |  0.000 |
249.90/37.84	c (31,0) c |  2 |     68 |     201443 |      22533 |   309262 |    13739 |     1765 |    18905 |       63 |      239 |  20 |  0.000 |
249.90/37.84	c (31,0) c |  3 |    120 |     205935 |      23113 |   323572 |    14322 |     2336 |    17890 |       79 |      236 |  20 |  0.000 |
249.90/37.84	c (31,0) c |  4 |     80 |     189552 |      21776 |   308587 |    12978 |     2312 |    16941 |       86 |      220 |  20 |  0.000 |
249.90/37.84	c (31,0) c |  5 |    146 |     163519 |      42236 |   247605 |    16144 |     7299 |    12527 |       96 |      225 |  20 |  0.000 |
249.90/37.84	c (31,0) c |  6 |     64 |     216342 |      20651 |   334729 |    11853 |     1712 |    18996 |       99 |      239 |  20 |  0.000 |
249.90/37.84	c (31,0) c |  7 |     51 |     211013 |      21109 |   333677 |    12314 |     1605 |    18939 |       92 |      239 |  20 |  0.000 |
249.90/37.84	c (31,0) c 
249.90/37.84	c (31,0) c synthesis      200760 conflicts   348513061 propagations      863 conflicts/sec  1497980 propagations/sec
249.90/37.84	c (31,0) c real: 30.9193 s, cpu: 232.655 s, memory: 908.99 Mb
467.79/66.84	c (60,0) c
467.79/66.84	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
467.79/66.84	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
467.79/66.84	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
467.79/66.84	c (60,0) c |  0 |    197 |     333534 |      45717 |   397584 |    19623 |     6078 |    36646 |      317 |      452 |  20 |  0.000 |
467.79/66.84	c (60,0) c |  1 |     37 |     212523 |      59501 |   306986 |    20963 |     6391 |    36027 |      192 |      461 |  20 |  0.000 |
467.79/66.84	c (60,0) c |  2 |    124 |     345528 |      55235 |   372322 |    16701 |     7126 |    36074 |      258 |      461 |  20 |  0.000 |
467.79/66.84	c (60,0) c |  3 |    239 |     371385 |      45391 |   404235 |    19296 |     3858 |    38171 |      296 |      463 |  20 |  0.000 |
467.79/66.84	c (60,0) c |  4 |    222 |     368591 |      47788 |   394119 |    21693 |     5822 |    37391 |      309 |      462 |  20 |  0.000 |
467.79/66.84	c (60,0) c |  5 |    412 |     371365 |      58158 |   382664 |    19613 |     8295 |    34006 |      311 |      443 |  20 |  0.000 |
467.79/66.84	c (60,0) c |  6 |    125 |     414409 |      38922 |   423354 |    12827 |     3292 |    39828 |      330 |      462 |  20 |  0.000 |
467.79/66.84	c (60,0) c |  7 |    101 |     400270 |      39602 |   418169 |    13504 |     3167 |    40112 |      338 |      463 |  20 |  0.000 |
467.79/66.84	c (60,0) c 
467.79/66.84	c (60,0) c synthesis      390314 conflicts   695281887 propagations      867 conflicts/sec  1544736 propagations/sec
467.79/66.84	c (60,0) c real: 59.9193 s, cpu: 450.098 s, memory: 1100.99 Mb
696.35/95.84	c (89,0) c
696.35/95.84	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
696.35/95.84	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
696.35/95.84	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
696.35/95.84	c (89,0) c |  0 |    321 |     520570 |      65603 |   441324 |    27062 |     7800 |    46386 |      698 |      674 |  20 |  0.000 |
696.35/95.84	c (89,0) c |  1 |     59 |     390937 |      77416 |   389035 |    23850 |     8379 |    46441 |      576 |      680 |  20 |  0.000 |
696.35/95.84	c (89,0) c |  2 |    349 |     510444 |      73349 |   427011 |    19783 |     8273 |    47378 |      649 |      694 |  20 |  0.000 |
696.35/95.84	c (89,0) c |  3 |    239 |     410421 |      79553 |   406598 |    25988 |     6054 |    38171 |      348 |      694 |  20 |  0.000 |
696.35/95.84	c (89,0) c |  4 |    370 |     568155 |      65414 |   443910 |    26866 |     7194 |    48533 |      721 |      694 |  20 |  0.000 |
696.35/95.84	c (89,0) c |  5 |    638 |     592543 |      74846 |   437519 |    21278 |     9450 |    44802 |      727 |      674 |  20 |  0.000 |
696.35/95.84	c (89,0) c |  6 |    189 |     636664 |      56220 |   459426 |    17675 |     4837 |    50590 |      745 |      694 |  20 |  0.000 |
696.35/95.84	c (89,0) c |  7 |    143 |     547503 |      62528 |   445222 |    23980 |     4558 |    49815 |      706 |      693 |  20 |  0.000 |
696.35/95.84	c (89,0) c 
696.35/95.84	c (89,0) c synthesis      554929 conflicts  1051996765 propagations      818 conflicts/sec  1550507 propagations/sec
696.35/95.84	c (89,0) c real: 88.9193 s, cpu: 678.486 s, memory: 1130.75 Mb
756.76/103.80	c (97,0) c
756.76/103.80	c (97,0) c real time : 96.8769 s
756.76/103.80	c (97,0) c cpu time  : 739.071 s
756.76/103.80	c (97,0) c
756.76/103.80	c (97,0) c
756.76/103.80	c (97,0) c
756.76/103.80	c (97,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
756.76/103.80	c (97,0) c
756.76/103.80	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
756.76/103.80	c (97,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
756.76/103.80	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
756.76/103.80	c (97,0) c | Conflicts     |          594329 |      69929 |      81915 |      77338 |      88121 |      69606 |      79326 |      60870 |      67224 |
756.76/103.80	c (97,0) c | Decisions     |         4542828 |     575949 |     438380 |     566230 |     420222 |     619388 |     644153 |     682701 |     595805 |
756.76/103.80	c (97,0) c | Propagations  |      1149615270 |  136235488 |  149829195 |  146617550 |  146515419 |  142851715 |  146004579 |  139561222 |  142000102 |
756.76/103.80	c (97,0) c | ReduceDBs     |              54 |          7 |          7 |          7 |          7 |          7 |          7 |          6 |          6 |
756.76/103.80	c (97,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
756.76/103.80	c (97,0) c | Restarts      |            2499 |        355 |         72 |        378 |        240 |        396 |        688 |        215 |        155 |
756.76/103.80	c (97,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
756.76/103.80	c (97,0) c | PropBinClauses|      2098484975 |  251621273 |  271404788 |  267114285 |  263133347 |  263003948 |  264409231 |  257324767 |  260473336 |
756.76/103.80	c (97,0) c | PropPreBlocker|     27606688242 | 3408979400 | 3434661796 | 3509020309 | 3445488527 | 3489742917 | 3423640406 | 3446045037 | 3449109850 |
756.76/103.80	c (97,0) c | PropNotBlocker|      3756566443 |  450476555 |  444578674 |  457720892 |  510826066 |  455845518 |  442389032 |  491558639 |  503171067 |
756.76/103.80	c (97,0) c | LitFullScans  |     35976462203 | 4409461878 | 4476157081 | 4530178160 | 4530197214 | 4529826874 | 4440144782 | 4530180416 | 4530315798 |
756.76/103.80	c (97,0) c | LitScanFracts |         1221080 |     165030 |     155394 |     151196 |     153131 |     139310 |     141998 |     167477 |     147544 |
756.76/103.80	c (97,0) c | DecisionLevel0|            2499 |        355 |         72 |        378 |        240 |        396 |        688 |        215 |        155 |
756.76/103.80	c (97,0) c | Periods       |            5994 |        734 |        746 |        755 |        755 |        754 |        740 |        755 |        755 |
756.76/103.80	c (97,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
757.34/103.80	c (97,0) c | Avg_Trail     |                 |      14447 |      12889 |      12885 |      12571 |      14224 |      12156 |      14531 |      13775 |
757.34/103.80	c (97,0) c | Avg_DL        |                 |         80 |         60 |         72 |         72 |         85 |         61 |        103 |         88 |
757.34/103.80	c (97,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
757.34/103.80	c (97,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
757.34/103.80	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
757.34/103.80	c (97,0) c | Exported      |           59943 |       8222 |       8831 |       8593 |       6811 |       7554 |       9818 |       5175 |       4939 |
757.34/103.80	c (97,0) c | Imported      |          409875 |      49827 |      49889 |      50612 |      51835 |      51649 |      48441 |      53748 |      53874 |
757.34/103.80	c (97,0) c | Good          |           24337 |       2980 |       3097 |       3088 |       3176 |       3082 |       2931 |       3015 |       2968 |
757.34/103.80	c (97,0) c | Purge         |          385538 |      46847 |      46792 |      47524 |      48659 |      48567 |      45510 |      50733 |      50906 |
757.34/103.80	c (97,0) c | Promoted      |            6131 |        835 |        727 |        751 |        370 |        869 |        874 |        883 |        822 |
757.34/103.80	c (97,0) c | Remove_Imp    |          136809 |      18879 |      11924 |      14031 |      15712 |      20851 |      10928 |      22532 |      21952 |
757.34/103.80	c (97,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
757.34/103.80	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
757.34/103.80	c (97,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
757.34/103.80	c (97,0) c | Binaries      |                 |        455 |        398 |        469 |        270 |        462 |        524 |        504 |        536 |
757.34/103.80	c (97,0) c | Glues         |                 |       1560 |       1079 |       1493 |       1055 |       1618 |       1737 |       1824 |       1660 |
757.34/103.80	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
757.34/103.80	c (97,0) c | Orig_Seen     |            83 % |     449510 |     403499 |     436238 |     407353 |     451869 |     446349 |     464788 |     452358 |
757.34/103.80	c (97,0) c | Diff Orig seen|                 |      X     | -    46011 | -    13272 | -    42157 |       2359 | -     3161 |      15278 |       2848 |
757.34/103.80	c (97,0) c | Hamming       |            20 % |      X     |       4872 |       5224 |       4152 |       4372 |       5068 |       5521 |       5545 |
757.34/103.80	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
757.34/103.80	c (97,0) c | RunningTime   |                 |   94.8  99%|   93.5  98%|   90.3  94%|   91.5  96%|   94.3  98%|   93.4  98%|   92.5  97%|   92.3  96%|
757.34/103.80	c (97,0) c | WaitingTime   |                 |    0.9   1%|    2.3   2%|    5.4   6%|    4.2   4%|    1.4   1%|    2.3   2%|    3.2   3%|    3.4   4%|
757.34/103.80	c (97,0) c | ExchangingTime|                 |    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
757.34/103.80	c (97,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%|
757.34/103.80	c (97,0) c | SolvingTime   |                 |   95.8     |   95.8     |   95.8     |   95.8     |   95.8     |   95.8     |   95.8     |   95.8     |
757.34/103.80	c (97,0) c | PropagationTim|                 |   87.4  91%|   87.2  91%|   87.8  92%|   86.9  91%|   86.9  91%|   87.4  91%|   87.0  91%|   87.0  91%|
757.34/103.80	c (97,0) c | AnalysisTime  |                 |    5.3   6%|    5.8   6%|    5.2   5%|    6.0   6%|    5.6   6%|    5.2   5%|    5.7   6%|    5.8   6%|
757.34/103.80	c (97,0) c | ReductionTime |                 |    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
757.34/103.80	c (97,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%|
757.34/103.80	c (97,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%|
757.34/103.80	c (97,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%|
757.34/103.80	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
757.34/103.80	c (97,0) c
757.34/103.80	c (97,0) c
757.34/103.80	c (97,0) c Threads : 8
757.34/103.80	c (97,0) c Winner : 0
757.34/103.80	c (97,0) c Conflicts_0 : 69929
757.34/103.80	c (97,0) c Conflicts_1 : 81915
757.34/103.80	c (97,0) c Conflicts_2 : 77338
757.34/103.80	c (97,0) c Conflicts_3 : 88121
757.34/103.80	c (97,0) c Conflicts_4 : 69606
757.34/103.80	c (97,0) c Conflicts_5 : 79326
757.34/103.80	c (97,0) c Conflicts_6 : 60870
757.34/103.80	c (97,0) c Conflicts_7 : 67224
757.34/103.80	c (97,0) c Conflicts_total : 594329
757.34/103.80	c (97,0) c Conflicts_winner : 69929
757.34/103.80	c (97,0) c Decisions_0 : 575949
757.34/103.80	c (97,0) c Decisions_1 : 438380
757.34/103.80	c (97,0) c Decisions_2 : 566230
757.34/103.80	c (97,0) c Decisions_3 : 420222
757.34/103.80	c (97,0) c Decisions_4 : 619388
757.34/103.80	c (97,0) c Decisions_5 : 644153
757.34/103.80	c (97,0) c Decisions_6 : 682701
757.34/103.80	c (97,0) c Decisions_7 : 595805
757.34/103.80	c (97,0) c Decisions_total : 4542828
757.34/103.80	c (97,0) c Decisions_winner : 575949
757.34/103.80	c (97,0) c Propagations_0 : 136235488
757.34/103.80	c (97,0) c Propagations_1 : 149829195
757.34/103.80	c (97,0) c Propagations_2 : 146617550
757.34/103.80	c (97,0) c Propagations_3 : 146515419
757.34/103.80	c (97,0) c Propagations_4 : 142851715
757.34/103.80	c (97,0) c Propagations_5 : 146004579
757.34/103.80	c (97,0) c Propagations_6 : 139561222
757.34/103.80	c (97,0) c Propagations_7 : 142000102
757.34/103.80	c (97,0) c Propagations_total : 1149615270
757.34/103.80	c (97,0) c Propagations_winner : 136235488
757.34/103.80	c (97,0) c ReduceDBs_0 : 7
757.34/103.80	c (97,0) c ReduceDBs_1 : 7
757.34/103.80	c (97,0) c ReduceDBs_2 : 7
757.34/103.80	c (97,0) c ReduceDBs_3 : 7
757.34/103.80	c (97,0) c ReduceDBs_4 : 7
757.34/103.80	c (97,0) c ReduceDBs_5 : 7
757.34/103.80	c (97,0) c ReduceDBs_6 : 6
757.34/103.80	c (97,0) c ReduceDBs_7 : 6
757.34/103.80	c (97,0) c ReduceDBs_total : 54
757.34/103.80	c (97,0) c ReduceDBs_winner : 7
757.34/103.80	c (97,0) c SimpDBs_0 : 1
757.34/103.80	c (97,0) c SimpDBs_1 : 1
757.34/103.80	c (97,0) c SimpDBs_2 : 1
757.34/103.80	c (97,0) c SimpDBs_3 : 1
757.34/103.80	c (97,0) c SimpDBs_4 : 1
757.34/103.80	c (97,0) c SimpDBs_5 : 1
757.34/103.80	c (97,0) c SimpDBs_6 : 1
757.34/103.80	c (97,0) c SimpDBs_7 : 1
757.34/103.80	c (97,0) c SimpDBs_total : 8
757.34/103.80	c (97,0) c SimpDBs_winner : 1
757.34/103.80	c (97,0) c Restarts_0 : 355
757.34/103.80	c (97,0) c Restarts_1 : 72
757.34/103.80	c (97,0) c Restarts_2 : 378
757.34/103.80	c (97,0) c Restarts_3 : 240
757.34/103.80	c (97,0) c Restarts_4 : 396
757.34/103.80	c (97,0) c Restarts_5 : 688
757.34/103.80	c (97,0) c Restarts_6 : 215
757.34/103.80	c (97,0) c Restarts_7 : 155
757.34/103.80	c (97,0) c Restarts_total : 2499
757.34/103.80	c (97,0) c Restarts_winner : 355
757.34/103.80	c (97,0) c ForcedImports_0 : 0
757.34/103.80	c (97,0) c ForcedImports_1 : 0
757.34/103.80	c (97,0) c ForcedImports_2 : 0
757.34/103.80	c (97,0) c ForcedImports_3 : 0
757.34/103.80	c (97,0) c ForcedImports_4 : 0
757.34/103.80	c (97,0) c ForcedImports_5 : 0
757.34/103.80	c (97,0) c ForcedImports_6 : 0
757.34/103.80	c (97,0) c ForcedImports_7 : 0
757.34/103.80	c (97,0) c ForcedImports_total : 0
757.34/103.80	c (97,0) c ForcedImports_winner : 0
757.34/103.80	c (97,0) c PropsBinClauses_0 : 251621273
757.34/103.80	c (97,0) c PropsBinClauses_1 : 271404788
757.34/103.80	c (97,0) c PropsBinClauses_2 : 267114285
757.34/103.80	c (97,0) c PropsBinClauses_3 : 263133347
757.34/103.80	c (97,0) c PropsBinClauses_4 : 263003948
757.34/103.80	c (97,0) c PropsBinClauses_5 : 264409231
757.34/103.80	c (97,0) c PropsBinClauses_6 : 257324767
757.34/103.80	c (97,0) c PropsBinClauses_7 : 260473336
757.34/103.80	c (97,0) c PropsBinClauses_total : 2098484975
757.34/103.80	c (97,0) c PropsBinClauses_winner : 251621273
757.34/103.80	c (97,0) c PropsPreBlocker_0 : 3408979400
757.34/103.80	c (97,0) c PropsPreBlocker_1 : 3434661796
757.34/103.80	c (97,0) c PropsPreBlocker_2 : 3509020309
757.34/103.80	c (97,0) c PropsPreBlocker_3 : 3445488527
757.34/103.80	c (97,0) c PropsPreBlocker_4 : 3489742917
757.34/103.80	c (97,0) c PropsPreBlocker_5 : 3423640406
757.34/103.80	c (97,0) c PropsPreBlocker_6 : 3446045037
757.34/103.80	c (97,0) c PropsPreBlocker_7 : 3449109850
757.34/103.80	c (97,0) c PropsPreBlocker_total : 27606688242
757.34/103.80	c (97,0) c PropsPreBlocker_winner : 3408979400
757.34/103.80	c (97,0) c PropsNotBlocker_0 : 450476555
757.34/103.80	c (97,0) c PropsNotBlocker_1 : 444578674
757.34/103.80	c (97,0) c PropsNotBlocker_2 : 457720892
757.34/103.80	c (97,0) c PropsNotBlocker_3 : 510826066
757.34/103.80	c (97,0) c PropsNotBlocker_4 : 455845518
757.34/103.80	c (97,0) c PropsNotBlocker_5 : 442389032
757.34/103.80	c (97,0) c PropsNotBlocker_6 : 491558639
757.34/103.80	c (97,0) c PropsNotBlocker_7 : 503171067
757.34/103.80	c (97,0) c PropsNotBlocker_total : 3756566443
757.34/103.80	c (97,0) c PropsNotBlocker_winner : 450476555
757.34/103.80	c (97,0) c PropsLitFullScans_0 : 4409461878
757.34/103.80	c (97,0) c PropsLitFullScans_1 : 4476157081
757.34/103.80	c (97,0) c PropsLitFullScans_2 : 4530178160
757.34/103.80	c (97,0) c PropsLitFullScans_3 : 4530197214
757.34/103.80	c (97,0) c PropsLitFullScans_4 : 4529826874
757.34/103.80	c (97,0) c PropsLitFullScans_5 : 4440144782
757.34/103.80	c (97,0) c PropsLitFullScans_6 : 4530180416
757.34/103.80	c (97,0) c PropsLitFullScans_7 : 4530315798
757.34/103.80	c (97,0) c PropsLitFullScans_total : 35976462203
757.34/103.80	c (97,0) c PropsLitFullScans_winner : 4409461878
757.34/103.80	c (97,0) c LitScanFractions_0 : 165030
757.34/103.80	c (97,0) c LitScanFractions_1 : 155394
757.34/103.80	c (97,0) c LitScanFractions_2 : 151196
757.34/103.80	c (97,0) c LitScanFractions_3 : 153131
757.34/103.80	c (97,0) c LitScanFractions_4 : 139310
757.34/103.80	c (97,0) c LitScanFractions_5 : 141998
757.34/103.80	c (97,0) c LitScanFractions_6 : 167477
757.34/103.80	c (97,0) c LitScanFractions_7 : 147544
757.34/103.80	c (97,0) c LitScanFractions_total : 1221080
757.34/103.80	c (97,0) c LitScanFractions_winner : 165030
757.34/103.80	c (97,0) c DecisionLevel0_0 : 355
757.34/103.80	c (97,0) c DecisionLevel0_1 : 72
757.34/103.80	c (97,0) c DecisionLevel0_2 : 378
757.34/103.80	c (97,0) c DecisionLevel0_3 : 240
757.34/103.80	c (97,0) c DecisionLevel0_4 : 396
757.34/103.80	c (97,0) c DecisionLevel0_5 : 688
757.34/103.80	c (97,0) c DecisionLevel0_6 : 215
757.34/103.80	c (97,0) c DecisionLevel0_7 : 155
757.34/103.80	c (97,0) c DecisionLevel0_total : 2499
757.34/103.80	c (97,0) c DecisionLevel0_winner : 355
757.34/103.80	c (97,0) c Periods_0 : 734
757.34/103.80	c (97,0) c Periods_1 : 746
757.34/103.80	c (97,0) c Periods_2 : 755
757.34/103.80	c (97,0) c Periods_3 : 755
757.34/103.80	c (97,0) c Periods_4 : 754
757.34/103.80	c (97,0) c Periods_5 : 740
757.34/103.80	c (97,0) c Periods_6 : 755
757.34/103.80	c (97,0) c Periods_7 : 755
757.34/103.80	c (97,0) c Periods_total : 5994
757.34/103.80	c (97,0) c Periods_winner : 734
757.34/103.80	c (97,0) c Margin_0 : 20
757.34/103.80	c (97,0) c Margin_1 : 20
757.34/103.80	c (97,0) c Margin_2 : 20
757.34/103.80	c (97,0) c Margin_3 : 20
757.34/103.80	c (97,0) c Margin_4 : 20
757.34/103.80	c (97,0) c Margin_5 : 20
757.34/103.80	c (97,0) c Margin_6 : 20
757.34/103.80	c (97,0) c Margin_7 : 20
757.34/103.80	c (97,0) c Margin_total : 160
757.34/103.81	c (97,0) c Margin_winner : 20
757.34/103.81	c (97,0) c Exported_0 : 8222
757.34/103.81	c (97,0) c Exported_1 : 8831
757.34/103.81	c (97,0) c Exported_2 : 8593
757.34/103.81	c (97,0) c Exported_3 : 6811
757.34/103.81	c (97,0) c Exported_4 : 7554
757.34/103.81	c (97,0) c Exported_5 : 9818
757.34/103.81	c (97,0) c Exported_6 : 5175
757.34/103.81	c (97,0) c Exported_7 : 4939
757.34/103.81	c (97,0) c Exported_total : 59943
757.34/103.81	c (97,0) c Exported_winner : 8222
757.34/103.81	c (97,0) c Imported_0 : 49827
757.34/103.81	c (97,0) c Imported_1 : 49889
757.34/103.81	c (97,0) c Imported_2 : 50612
757.34/103.81	c (97,0) c Imported_3 : 51835
757.34/103.81	c (97,0) c Imported_4 : 51649
757.34/103.81	c (97,0) c Imported_5 : 48441
757.34/103.81	c (97,0) c Imported_6 : 53748
757.34/103.81	c (97,0) c Imported_7 : 53874
757.34/103.81	c (97,0) c Imported_total : 409875
757.34/103.81	c (97,0) c Imported_winner : 49827
757.34/103.81	c (97,0) c Good_0 : 2980
757.34/103.81	c (97,0) c Good_1 : 3097
757.34/103.81	c (97,0) c Good_2 : 3088
757.34/103.81	c (97,0) c Good_3 : 3176
757.34/103.81	c (97,0) c Good_4 : 3082
757.34/103.81	c (97,0) c Good_5 : 2931
757.34/103.81	c (97,0) c Good_6 : 3015
757.34/103.81	c (97,0) c Good_7 : 2968
757.34/103.81	c (97,0) c Good_total : 24337
757.34/103.81	c (97,0) c Good_winner : 2980
757.34/103.81	c (97,0) c Purge_0 : 46847
757.34/103.81	c (97,0) c Purge_1 : 46792
757.34/103.81	c (97,0) c Purge_2 : 47524
757.34/103.81	c (97,0) c Purge_3 : 48659
757.34/103.81	c (97,0) c Purge_4 : 48567
757.34/103.81	c (97,0) c Purge_5 : 45510
757.34/103.81	c (97,0) c Purge_6 : 50733
757.34/103.81	c (97,0) c Purge_7 : 50906
757.34/103.81	c (97,0) c Purge_total : 385538
757.34/103.81	c (97,0) c Purge_winner : 46847
757.34/103.81	c (97,0) c Promoted_0 : 835
757.34/103.81	c (97,0) c Promoted_1 : 727
757.34/103.81	c (97,0) c Promoted_2 : 751
757.34/103.81	c (97,0) c Promoted_3 : 370
757.34/103.81	c (97,0) c Promoted_4 : 869
757.34/103.81	c (97,0) c Promoted_5 : 874
757.34/103.81	c (97,0) c Promoted_6 : 883
757.34/103.81	c (97,0) c Promoted_7 : 822
757.34/103.81	c (97,0) c Promoted_total : 6131
757.34/103.81	c (97,0) c Promoted_winner : 835
757.34/103.81	c (97,0) c Remove_Imp_0 : 18879
757.34/103.81	c (97,0) c Remove_Imp_1 : 11924
757.34/103.81	c (97,0) c Remove_Imp_2 : 14031
757.34/103.81	c (97,0) c Remove_Imp_3 : 15712
757.34/103.81	c (97,0) c Remove_Imp_4 : 20851
757.34/103.81	c (97,0) c Remove_Imp_5 : 10928
757.34/103.81	c (97,0) c Remove_Imp_6 : 22532
757.34/103.81	c (97,0) c Remove_Imp_7 : 21952
757.34/103.81	c (97,0) c Remove_Imp_total : 136809
757.34/103.81	c (97,0) c Remove_Imp_winner : 18879
757.34/103.81	c (97,0) c Blocked_Reuse_0 : 0
757.34/103.81	c (97,0) c Blocked_Reuse_1 : 0
757.34/103.81	c (97,0) c Blocked_Reuse_2 : 0
757.34/103.81	c (97,0) c Blocked_Reuse_3 : 0
757.34/103.81	c (97,0) c Blocked_Reuse_4 : 0
757.34/103.81	c (97,0) c Blocked_Reuse_5 : 0
757.34/103.81	c (97,0) c Blocked_Reuse_6 : 0
757.34/103.81	c (97,0) c Blocked_Reuse_7 : 0
757.34/103.81	c (97,0) c Blocked_Reuse_total : 0
757.34/103.81	c (97,0) c Blocked_Reuse_winner : 0
757.34/103.81	c (97,0) c Unaries_0 : 0
757.34/103.81	c (97,0) c Unaries_1 : 0
757.34/103.81	c (97,0) c Unaries_2 : 0
757.34/103.81	c (97,0) c Unaries_3 : 0
757.34/103.81	c (97,0) c Unaries_4 : 0
757.34/103.81	c (97,0) c Unaries_5 : 0
757.34/103.81	c (97,0) c Unaries_6 : 0
757.34/103.81	c (97,0) c Unaries_7 : 0
757.34/103.81	c (97,0) c Unaries_total : 0
757.34/103.81	c (97,0) c Unaries_winner : 0
757.34/103.81	c (97,0) c Binaries_0 : 455
757.34/103.81	c (97,0) c Binaries_1 : 398
757.34/103.81	c (97,0) c Binaries_2 : 469
757.34/103.81	c (97,0) c Binaries_3 : 270
757.34/103.81	c (97,0) c Binaries_4 : 462
757.34/103.81	c (97,0) c Binaries_5 : 524
757.34/103.81	c (97,0) c Binaries_6 : 504
757.34/103.81	c (97,0) c Binaries_7 : 536
757.34/103.81	c (97,0) c Binaries_total : 3618
757.34/103.81	c (97,0) c Binaries_winner : 455
757.34/103.81	c (97,0) c Glues_0 : 1560
757.34/103.81	c (97,0) c Glues_1 : 1079
757.34/103.81	c (97,0) c Glues_2 : 1493
757.34/103.81	c (97,0) c Glues_3 : 1055
757.34/103.81	c (97,0) c Glues_4 : 1618
757.34/103.81	c (97,0) c Glues_5 : 1737
757.34/103.81	c (97,0) c Glues_6 : 1824
757.34/103.81	c (97,0) c Glues_7 : 1660
757.34/103.81	c (97,0) c Glues_total : 12026
757.34/103.81	c (97,0) c Glues_winner : 1560
757.34/103.81	c (97,0) c RunningTime_0 : 94.801807
757.34/103.81	c (97,0) c RunningTime_1 : 93.459133
757.34/103.81	c (97,0) c RunningTime_2 : 90.299193
757.34/103.81	c (97,0) c RunningTime_3 : 91.506107
757.34/103.81	c (97,0) c RunningTime_4 : 94.317111
757.34/103.81	c (97,0) c RunningTime_5 : 93.446477
757.34/103.81	c (97,0) c RunningTime_6 : 92.480495
757.34/103.81	c (97,0) c RunningTime_7 : 92.289297
757.34/103.81	c (97,0) c RunningTime_total : 742.599622
757.34/103.81	c (97,0) c RunningTime_winner : 94.801807
757.34/103.81	c (97,0) c WaitingTime_0 : 0.894216
757.34/103.81	c (97,0) c WaitingTime_1 : 2.292914
757.34/103.81	c (97,0) c WaitingTime_2 : 5.425061
757.34/103.81	c (97,0) c WaitingTime_3 : 4.211222
757.34/103.81	c (97,0) c WaitingTime_4 : 1.390350
757.34/103.81	c (97,0) c WaitingTime_5 : 2.268471
757.34/103.81	c (97,0) c WaitingTime_6 : 3.241846
757.34/103.81	c (97,0) c WaitingTime_7 : 3.430980
757.34/103.81	c (97,0) c WaitingTime_total : 23.155061
757.34/103.81	c (97,0) c WaitingTime_winner : 0.894216
757.34/103.81	c (97,0) c ExchangingTime_0 : 0.060931
757.34/103.81	c (97,0) c ExchangingTime_1 : 0.037687
757.34/103.81	c (97,0) c ExchangingTime_2 : 0.041080
757.34/103.81	c (97,0) c ExchangingTime_3 : 0.041870
757.34/103.81	c (97,0) c ExchangingTime_4 : 0.052371
757.34/103.81	c (97,0) c ExchangingTime_5 : 0.048182
757.34/103.81	c (97,0) c ExchangingTime_6 : 0.041142
757.34/103.81	c (97,0) c ExchangingTime_7 : 0.039159
757.34/103.81	c (97,0) c ExchangingTime_total : 0.362421
757.34/103.81	c (97,0) c ExchangingTime_winner : 0.060931
757.34/103.81	c (97,0) c PeriodProcTime_0 : 0.009087
757.34/103.81	c (97,0) c PeriodProcTime_1 : 0.006675
757.34/103.81	c (97,0) c PeriodProcTime_2 : 0.006679
757.34/103.81	c (97,0) c PeriodProcTime_3 : 0.006593
757.34/103.81	c (97,0) c PeriodProcTime_4 : 0.006965
757.34/103.81	c (97,0) c PeriodProcTime_5 : 0.009253
757.34/103.81	c (97,0) c PeriodProcTime_6 : 0.007077
757.34/103.81	c (97,0) c PeriodProcTime_7 : 0.006945
757.34/103.81	c (97,0) c PeriodProcTime_total : 0.059274
757.34/103.81	c (97,0) c PeriodProcTime_winner : 0.009087
757.34/103.81	c (97,0) c SolvingTime_0 : 95.766042
757.34/103.81	c (97,0) c SolvingTime_1 : 95.796409
757.34/103.81	c (97,0) c SolvingTime_2 : 95.772012
757.34/103.81	c (97,0) c SolvingTime_3 : 95.765791
757.34/103.81	c (97,0) c SolvingTime_4 : 95.766797
757.34/103.81	c (97,0) c SolvingTime_5 : 95.772382
757.34/103.81	c (97,0) c SolvingTime_6 : 95.770562
757.34/103.81	c (97,0) c SolvingTime_7 : 95.766382
757.34/103.81	c (97,0) c SolvingTime_total : 766.176377
757.34/103.81	c (97,0) c SolvingTime_winner : 95.766042
757.34/103.81	c (97,0) c PropagationTime_0 : 87.415850
757.34/103.81	c (97,0) c PropagationTime_1 : 87.204429
757.34/103.81	c (97,0) c PropagationTime_2 : 87.761122
757.34/103.81	c (97,0) c PropagationTime_3 : 86.934063
757.34/103.81	c (97,0) c PropagationTime_4 : 86.907488
757.34/103.81	c (97,0) c PropagationTime_5 : 87.446234
757.34/103.81	c (97,0) c PropagationTime_6 : 87.020428
757.34/103.81	c (97,0) c PropagationTime_7 : 87.033021
757.34/103.81	c (97,0) c PropagationTime_total : 697.722635
757.34/103.81	c (97,0) c PropagationTime_winner : 87.415850
757.34/103.81	c (97,0) c AnalysisTime_0 : 5.340636
757.34/103.81	c (97,0) c AnalysisTime_1 : 5.830795
757.34/103.81	c (97,0) c AnalysisTime_2 : 5.183842
757.34/103.81	c (97,0) c AnalysisTime_3 : 6.048858
757.34/103.81	c (97,0) c AnalysisTime_4 : 5.611008
757.34/103.81	c (97,0) c AnalysisTime_5 : 5.168072
757.34/103.81	c (97,0) c AnalysisTime_6 : 5.703430
757.34/103.81	c (97,0) c AnalysisTime_7 : 5.781170
757.34/103.81	c (97,0) c AnalysisTime_total : 44.667812
757.34/103.81	c (97,0) c AnalysisTime_winner : 5.340636
757.34/103.81	c (97,0) c ReductionTime_0 : 0.362476
757.34/103.81	c (97,0) c ReductionTime_1 : 0.271098
757.34/103.81	c (97,0) c ReductionTime_2 : 0.280371
757.34/103.81	c (97,0) c ReductionTime_3 : 0.264403
757.34/103.81	c (97,0) c ReductionTime_4 : 0.398441
757.34/103.81	c (97,0) c ReductionTime_5 : 0.316519
757.34/103.81	c (97,0) c ReductionTime_6 : 0.287334
757.34/103.81	c (97,0) c ReductionTime_7 : 0.278325
757.34/103.81	c (97,0) c ReductionTime_total : 2.458966
757.34/103.81	c (97,0) c ReductionTime_winner : 0.362476
757.34/103.81	c (97,0) c SimplifyTime_0 : 0.000053
757.34/103.81	c (97,0) c SimplifyTime_1 : 0.000003
757.34/103.81	c (97,0) c SimplifyTime_2 : 0.000041
757.34/103.81	c (97,0) c SimplifyTime_3 : 0.000024
757.34/103.81	c (97,0) c SimplifyTime_4 : 0.000044
757.34/103.81	c (97,0) c SimplifyTime_5 : 0.000082
757.34/103.81	c (97,0) c SimplifyTime_6 : 0.000021
757.34/103.81	c (97,0) c SimplifyTime_7 : 0.000019
757.34/103.81	c (97,0) c SimplifyTime_total : 0.000287
757.34/103.81	c (97,0) c SimplifyTime_winner : 0.000053
757.34/103.81	c (97,0) c UsedRateTime_0 : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_1 : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_2 : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_3 : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_4 : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_5 : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_6 : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_7 : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_total : 0.000000
757.34/103.81	c (97,0) c UsedRateTime_winner : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_0 : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_1 : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_2 : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_3 : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_4 : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_5 : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_6 : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_7 : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_total : 0.000000
757.34/103.81	c (97,0) c OverlapRateTime_winner : 0.000000
757.34/103.81	c (97,0) c
757.34/103.81	c (97,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
757.34/103.81	c (97,0) c
757.34/103.81	c (97,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
757.34/103.81	c (97,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
757.34/103.81	c (97,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
757.34/103.81	c (97,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
757.34/103.81	c (97,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
757.34/103.81	c (97,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
757.34/103.81	c (97,0) c | Initial random_seed   | 1716073598 |   87514932 |  720123169 |  564477795 |  234087772 |  478059667 | 2044729854 | 1899775954 |
757.34/103.81	c (97,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
757.34/103.81	c (97,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
757.34/103.81	c (97,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
757.34/103.81	c (97,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
757.34/103.81	c (97,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
757.34/103.81	c (97,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
757.34/103.81	c (97,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
757.34/103.81	c (97,0) c | var_decay             |     0.9300 |     0.9500 |     0.9500 |     0.9500 |     0.9300 |     0.9500 |     0.9200 |     0.9300 |
757.34/103.81	c (97,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
757.34/103.81	c (97,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
757.34/103.81	c (97,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
757.34/103.81	c (97,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
757.34/103.81	c (97,0) 
757.34/103.81	c (97,0) s SATISFIABLE
757.34/103.86	c (97,0) SatSolver.solve End
757.34/103.86	c (97,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
757.34/103.86	c (97,0) Show results Begin
757.62/103.98	c (97,0) x[0][0] = 75
757.62/103.98	c (97,0) x[0][1] = 81
757.62/103.98	c (97,0) x[0][2] = 58
757.62/103.98	c (97,0) x[0][3] = 3
757.62/103.98	c (97,0) x[0][4] = 38
757.62/103.98	c (97,0) x[0][5] = 82
757.62/103.98	c (97,0) x[0][6] = 85
757.62/103.98	c (97,0) x[0][7] = 5
757.62/103.98	c (97,0) x[0][8] = 80
757.62/103.98	c (97,0) x[0][9] = 54
757.62/103.98	c (97,0) x[0][10] = 0
757.62/103.98	c (97,0) x[0][11] = 4
757.62/103.98	c (97,0) x[0][12] = 6
757.62/103.98	c (97,0) x[0][13] = 73
757.62/103.98	c (97,0) x[0][14] = 21
757.62/103.98	c (97,0) x[0][15] = 18
757.62/103.98	c (97,0) x[0][16] = 11
757.62/103.98	c (97,0) x[0][17] = 48
757.62/103.98	c (97,0) x[0][18] = 2
757.62/103.98	c (97,0) x[0][19] = 57
757.62/103.98	c (97,0) x[0][20] = 19
757.62/103.98	c (97,0) x[0][21] = 10
757.62/103.98	c (97,0) x[0][22] = 7
757.62/103.98	c (97,0) x[0][23] = 1
757.62/103.98	c (97,0) x[0][24] = 46
757.62/103.98	c (97,0) x[0][25] = 43
757.62/103.98	c (97,0) x[0][26] = 36
757.62/103.98	c (97,0) x[0][27] = 16
757.62/103.98	c (97,0) x[0][28] = 9
757.62/103.98	c (97,0) x[0][29] = 40
757.62/103.98	c (97,0) x[0][30] = 27
757.62/103.98	c (97,0) x[0][31] = 28
757.62/103.98	c (97,0) x[0][32] = 15
757.62/103.98	c (97,0) x[0][33] = 25
757.62/103.98	c (97,0) x[0][34] = 32
757.62/103.98	c (97,0) x[1][0] = 77
757.62/103.98	c (97,0) x[1][1] = 84
757.62/103.98	c (97,0) x[1][2] = 62
757.62/103.98	c (97,0) x[1][3] = 8
757.62/103.98	c (97,0) x[1][4] = 44
757.62/103.98	c (97,0) x[1][5] = 89
757.62/103.98	c (97,0) x[1][6] = 93
757.62/103.98	c (97,0) x[1][7] = 14
757.62/103.98	c (97,0) x[1][8] = 90
757.62/103.98	c (97,0) x[1][9] = 65
757.62/103.98	c (97,0) x[1][10] = 12
757.62/103.98	c (97,0) x[1][11] = 17
757.62/103.98	c (97,0) x[1][12] = 20
757.62/103.98	c (97,0) x[1][13] = 88
757.62/103.98	c (97,0) x[1][14] = 37
757.62/103.98	c (97,0) x[1][15] = 35
757.62/103.98	c (97,0) x[1][16] = 29
757.62/103.98	c (97,0) x[1][17] = 67
757.62/103.98	c (97,0) x[1][18] = 22
757.62/103.98	c (97,0) x[1][19] = 78
757.62/103.98	c (97,0) x[1][20] = 41
757.62/103.98	c (97,0) x[1][21] = 33
757.62/103.98	c (97,0) x[1][22] = 31
757.62/103.98	c (97,0) x[1][23] = 26
757.62/103.98	c (97,0) x[1][24] = 72
757.62/103.98	c (97,0) x[1][25] = 70
757.62/103.98	c (97,0) x[1][26] = 64
757.62/103.98	c (97,0) x[1][27] = 45
757.62/103.98	c (97,0) x[1][28] = 39
757.62/103.98	c (97,0) x[1][29] = 71
757.62/103.98	c (97,0) x[1][30] = 59
757.62/103.98	c (97,0) x[1][31] = 61
757.62/103.98	c (97,0) x[1][32] = 49
757.62/103.98	c (97,0) x[1][33] = 60
757.62/103.98	c (97,0) x[1][34] = 68
757.62/103.98	c (97,0) x[2][0] = 79
757.62/103.98	c (97,0) x[2][1] = 87
757.62/103.98	c (97,0) x[2][2] = 66
757.62/103.98	c (97,0) x[2][3] = 13
757.62/103.98	c (97,0) x[2][4] = 50
757.62/103.98	c (97,0) x[2][5] = 96
757.62/103.98	c (97,0) x[2][6] = 101
757.62/103.98	c (97,0) x[2][7] = 23
757.62/103.98	c (97,0) x[2][8] = 100
757.62/103.98	c (97,0) x[2][9] = 76
757.62/103.98	c (97,0) x[2][10] = 24
757.62/103.98	c (97,0) x[2][11] = 30
757.62/103.98	c (97,0) x[2][12] = 34
757.62/103.98	c (97,0) x[2][13] = 103
757.62/103.98	c (97,0) x[2][14] = 53
757.62/103.98	c (97,0) x[2][15] = 52
757.62/103.98	c (97,0) x[2][16] = 47
757.62/103.98	c (97,0) x[2][17] = 86
757.62/103.98	c (97,0) x[2][18] = 42
757.62/103.98	c (97,0) x[2][19] = 99
757.62/103.98	c (97,0) x[2][20] = 63
757.62/103.98	c (97,0) x[2][21] = 56
757.62/103.98	c (97,0) x[2][22] = 55
757.62/103.98	c (97,0) x[2][23] = 51
757.62/103.98	c (97,0) x[2][24] = 98
757.62/103.98	c (97,0) x[2][25] = 97
757.62/103.98	c (97,0) x[2][26] = 92
757.62/103.98	c (97,0) x[2][27] = 74
757.62/103.98	c (97,0) x[2][28] = 69
757.62/103.98	c (97,0) x[2][29] = 102
757.62/103.98	c (97,0) x[2][30] = 91
757.62/103.98	c (97,0) x[2][31] = 94
757.62/103.98	c (97,0) x[2][32] = 83
757.62/103.98	c (97,0) x[2][33] = 95
757.62/103.98	c (97,0) x[2][34] = 104
757.62/103.98	s SATISFIABLE
757.62/103.98	v <instantiation>
757.62/103.98	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34]</list>
757.62/103.98	v     <values>75 81 58 3 38 82 85 5 80 54 0 4 6 73 21 18 11 48 2 57 19 10 7 1 46 43 36 16 9 40 27 28 15 25 32 77 84 62 8 44 89 93 14 90 65 12 17 20 88 37 35 29 67 22 78 41 33 31 26 72 70 64 45 39 71 59 61 49 60 68 79 87 66 13 50 96 101 23 100 76 24 30 34 103 53 52 47 86 42 99 63 56 55 51 98 97 92 74 69 102 91 94 83 95 104</values>
757.62/103.98	v </instantiation>
757.62/103.98	c (97,0) Show results End
757.62/103.98	c (97,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
757.62/103.98	c (97,0) 97,97,STOP-AFTER(ALL)
757.62/103.98	c END-Prog: Sat Sep 14 03:24:17 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 (15045 MiB free)
  memory of node 1: 16384 MiB (15575 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100124 s]*
/proc/loadavg: 7.39 8.14 8.25 4/212 2687
/proc/meminfo: memFree=31261148/32770624 swapFree=66996972/67108860
[pid=2665] ppid=2662 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2665/stat : 2665 (scop.sh) S 2662 2665 31983 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418674231 115843072 349 33554432000 4194304 5098028 140736801806688 140736801803944 140019479888508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27136000 140736801809189 140736801809516 140736801809516 140736801812429 0
/proc/2665/statm: 28282 349 296 221 0 87 0
[pid=2668] ppid=2665 vsize=27314120 memory=107624 CPUtime=0.1 cores=0-7
/proc/2668/stat : 2668 (java) S 2665 2665 31983 0 -1 1077944320 6443 0 0 0 7 3 0 0 20 0 20 0 418674231 27969658880 26906 33554432000 4194304 4196468 140734642413584 140734642396128 140481934352119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
/proc/2668/statm: 6828530 26906 2799 1 0 6790935 0
[pid=2668/tid=2669] ppid=2665 vsize=27314120 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/2668/task/2669/stat : 2669 (java) R 2665 2665 31983 0 -1 4202560 4572 0 0 0 6 2 0 0 20 0 20 0 418674231 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481906178448 140481934374045 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2670] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2670/stat : 2670 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481938594448 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2671] ppid=2665 vsize=27314120 memory=140719213074048 CPUtime=0 cores=0-7
/proc/2668/task/2671/stat : 2671 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481752750608 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2672] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2672/stat : 2672 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481751697808 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2673] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2673/stat : 2673 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481750645008 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2674] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2674/stat : 2674 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481749593232 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2675] ppid=2665 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2668/task/2675/stat : 2675 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481748540432 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2676] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2676/stat : 2676 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481747487632 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2677] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2677/stat : 2677 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 26906 33554432000 4194304 4196468 140734642413584 140481746434832 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2678] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2678/stat : 2678 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674235 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479985322352 140481934363266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2679] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2679/stat : 2679 (java) S 2665 2665 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418674236 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479857419296 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2680] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2680/stat : 2680 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674236 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479588983664 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2681] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2681/stat : 2681 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479214475088 140481934370715 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2682] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2682/stat : 2682 (java) S 2665 2665 31983 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479984270192 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2683] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2683/stat : 2683 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479983217392 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2684] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2684/stat : 2684 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479982164592 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2685] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2685/stat : 2685 (java) S 2665 2665 31983 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479981111792 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2686] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2686/stat : 2686 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674239 27969658880 26906 33554432000 4194304 4196468 140734642413584 140478716570208 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2687] ppid=2665 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2668/task/2687/stat : 2687 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674239 27969658880 26906 33554432000 4194304 4196468 140734642413584 140479980059184 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109020 KiB

[startup+0.21054 s]*
/proc/loadavg: 7.39 8.14 8.25 2/212 2687
/proc/meminfo: memFree=31237852/32770624 swapFree=66996972/67108860
[pid=2665] ppid=2662 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2665/stat : 2665 (scop.sh) S 2662 2665 31983 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418674231 115843072 349 33554432000 4194304 5098028 140736801806688 140736801803944 140019479888508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27136000 140736801809189 140736801809516 140736801809516 140736801812429 0
/proc/2665/statm: 28282 349 296 221 0 87 0
[pid=2668] ppid=2665 vsize=27314120 memory=127036 CPUtime=0.24 cores=0-7
/proc/2668/stat : 2668 (java) S 2665 2665 31983 0 -1 1077944320 12086 0 0 0 19 5 0 0 20 0 20 0 418674231 27969658880 31759 33554432000 4194304 4196468 140734642413584 140734642396128 140481934352119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
/proc/2668/statm: 6828530 31759 2964 1 0 6790935 0
[pid=2668/tid=2669] ppid=2665 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2668/task/2669/stat : 2669 (java) R 2665 2665 31983 0 -1 4202560 9817 0 0 0 15 4 0 0 20 0 20 0 418674231 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481906167184 140481914627422 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2670] ppid=2665 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/2668/task/2670/stat : 2670 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481938594448 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2671] ppid=2665 vsize=27314120 memory=4050625227589768864 CPUtime=0 cores=0-7
/proc/2668/task/2671/stat : 2671 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481752750608 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2672] ppid=2665 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2668/task/2672/stat : 2672 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481751697808 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2673] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2673/stat : 2673 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481750645008 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2674] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2674/stat : 2674 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481749593232 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2675] ppid=2665 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2668/task/2675/stat : 2675 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481748540432 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2676] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2676/stat : 2676 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481747487632 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2677] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2677/stat : 2677 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 31759 33554432000 4194304 4196468 140734642413584 140481746434832 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2678] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2678/stat : 2678 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674235 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479985322352 140481934363266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2679] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2679/stat : 2679 (java) S 2665 2665 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418674236 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479857419296 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2680] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2680/stat : 2680 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674236 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479588983664 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2681] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2681/stat : 2681 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479214475088 140481934370715 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2682] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2682/stat : 2682 (java) S 2665 2665 31983 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479984270192 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2683] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2683/stat : 2683 (java) S 2665 2665 31983 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479983217392 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2684] ppid=2665 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2668/task/2684/stat : 2684 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479982164592 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2685] ppid=2665 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/2668/task/2685/stat : 2685 (java) S 2665 2665 31983 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 20 0 418674238 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479981111792 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2686] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2686/stat : 2686 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674239 27969658880 31759 33554432000 4194304 4196468 140734642413584 140478716570208 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2687] ppid=2665 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2668/task/2687/stat : 2687 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674239 27969658880 31759 33554432000 4194304 4196468 140734642413584 140479980059184 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128432 KiB

[startup+0.310436 s]*
/proc/loadavg: 7.39 8.14 8.25 2/212 2687
/proc/meminfo: memFree=31236056/32770624 swapFree=66996972/67108860
[pid=2665] ppid=2662 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2665/stat : 2665 (scop.sh) S 2662 2665 31983 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418674231 115843072 349 33554432000 4194304 5098028 140736801806688 140736801803944 140019479888508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27136000 140736801809189 140736801809516 140736801809516 140736801812429 0
/proc/2665/statm: 28282 349 296 221 0 87 0
[pid=2668] ppid=2665 vsize=27314120 memory=130116 CPUtime=0.42 cores=0-7
/proc/2668/stat : 2668 (java) S 2665 2665 31983 0 -1 1077944320 12449 0 0 0 37 5 0 0 20 0 20 0 418674231 27969658880 32529 33554432000 4194304 4196468 140734642413584 140734642396128 140481934352119 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
/proc/2668/statm: 6828530 32529 3015 1 0 6790935 0
[pid=2668/tid=2669] ppid=2665 vsize=27314120 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/2668/task/2669/stat : 2669 (java) R 2665 2665 31983 0 -1 4202560 10005 0 0 0 25 4 0 0 20 0 20 0 418674231 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481906164464 140481915915648 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2670] ppid=2665 vsize=27314120 memory=22248 CPUtime=0 cores=0-7
/proc/2668/task/2670/stat : 2670 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481938594448 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2671] ppid=2665 vsize=27314120 memory=11960 CPUtime=0 cores=0-7
/proc/2668/task/2671/stat : 2671 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481752750608 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2672] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2672/stat : 2672 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481751697808 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2673] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2673/stat : 2673 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481750645008 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2674] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2674/stat : 2674 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481749593232 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2675] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2675/stat : 2675 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481748540432 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2676] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2676/stat : 2676 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481747487632 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2677] ppid=2665 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/2668/task/2677/stat : 2677 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674234 27969658880 32529 33554432000 4194304 4196468 140734642413584 140481746434832 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2678] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2678/stat : 2678 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674235 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479985322352 140481934363266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2679] ppid=2665 vsize=27314120 memory=140719100621775 CPUtime=0 cores=0-7
/proc/2668/task/2679/stat : 2679 (java) S 2665 2665 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418674236 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479857419296 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2680] ppid=2665 vsize=27314120 memory=281438201245840 CPUtime=0 cores=0-7
/proc/2668/task/2680/stat : 2680 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674236 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479588983664 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2681] ppid=2665 vsize=27314120 memory=281438201261968 CPUtime=0 cores=0-7
/proc/2668/task/2681/stat : 2681 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479214475088 140481934370715 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2682] ppid=2665 vsize=27314120 memory=281438201259664 CPUtime=0 cores=0-7
/proc/2668/task/2682/stat : 2682 (java) S 2665 2665 31983 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 20 0 418674238 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479984270192 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2683] ppid=2665 vsize=27314120 memory=281438201266576 CPUtime=0.02 cores=0-7
/proc/2668/task/2683/stat : 2683 (java) S 2665 2665 31983 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 20 0 418674238 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479983217392 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2684] ppid=2665 vsize=27314120 memory=281438201207856 CPUtime=0.01 cores=0-7
/proc/2668/task/2684/stat : 2684 (java) S 2665 2665 31983 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 418674238 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479982164592 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2685] ppid=2665 vsize=27314120 memory=281438201280400 CPUtime=0.07 cores=0-7
/proc/2668/task/2685/stat : 2685 (java) S 2665 2665 31983 0 -1 1077944384 448 0 0 0 7 0 0 0 20 0 20 0 418674238 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479981111792 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2686] ppid=2665 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2686/stat : 2686 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418674239 27969658880 32529 33554432000 4194304 4196468 140734642413584 140478716570208 140481934362325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2687] ppid=2665 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2668/task/2687/stat : 2687 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674239 27969658880 32529 33554432000 4194304 4196468 140734642413584 140479980059184 140481934363266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131512 KiB

[startup+0.701198 s]
/proc/loadavg: 7.39 8.14 8.25 3/212 2687
/proc/meminfo: memFree=31214424/32770624 swapFree=66996972/67108860
[pid=2665] ppid=2662 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2665/stat : 2665 (scop.sh) S 2662 2665 31983 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418674231 115843072 349 33554432000 4194304 5098028 140736801806688 140736801803944 140019479888508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27136000 140736801809189 140736801809516 140736801809516 140736801812429 0
/proc/2665/statm: 28282 349 296 221 0 87 0
[pid=2668] ppid=2665 vsize=27322516 memory=166140 CPUtime=1 cores=0-7
/proc/2668/stat : 2668 (java) S 2665 2665 31983 0 -1 1077944320 20088 0 0 0 92 8 0 0 20 0 20 0 418674231 27978256384 41535 33554432000 4194304 4196468 140734642413584 140734642396128 140481934352119 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
/proc/2668/statm: 6830629 41535 3217 1 0 6791959 0
[pid=2668/tid=2669] ppid=2665 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/2668/task/2669/stat : 2669 (java) R 2665 2665 31983 0 -1 4202560 17083 0 0 0 61 6 0 0 20 0 20 0 418674231 27978256384 41535 33554432000 4194304 4196468 140734642413584 140481906183856 140481915915679 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2670] ppid=2665 vsize=27322516 memory=140719100835184 CPUtime=0 cores=0-7
/proc/2668/task/2670/stat : 2670 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418674234 27978256384 41535 33554432000 4194304 4196468 140734642413584 140481938594448 140481934362325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2671] ppid=2665 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/2668/task/2671/stat : 2671 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27978256384 41535 33554432000 4194304 4196468 140734642413584 140481752750608 140481934362325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0
[pid=2668/tid=2672] ppid=2665 vsize=27322516 memory=676 CPUtime=0 cores=0-7
/proc/2668/task/2672/stat : 2672 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418674234 27978256384 41535 33554432000 4194304 4196468 140734642413584 140481751697808 140481934362325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140734642422508 140734642422934 140734642422934 140734642425807 0

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

/proc/2689/task/2693/stat : 2693 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933690899216 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2694] ppid=2665 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/2689/task/2694/stat : 2694 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933689846672 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2695] ppid=2665 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/2689/task/2695/stat : 2695 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933688793616 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2696] ppid=2665 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/2689/task/2696/stat : 2696 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933687741072 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2697] ppid=2665 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/2689/task/2697/stat : 2697 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933686688016 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2698] ppid=2665 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/2689/task/2698/stat : 2698 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933685635472 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2699] ppid=2665 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/2689/task/2699/stat : 2699 (java) S 2665 2665 31983 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418674854 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932980972272 139933887552130 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2700] ppid=2665 vsize=8414124 memory=22248 CPUtime=0 cores=0-7
/proc/2689/task/2700/stat : 2700 (java) S 2665 2665 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418674854 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932517525152 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2701] ppid=2665 vsize=8414124 memory=11960 CPUtime=0 cores=0-7
/proc/2689/task/2701/stat : 2701 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674854 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932249089264 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2702] ppid=2665 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/2689/task/2702/stat : 2702 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139931874580944 139933887559579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2703] ppid=2665 vsize=8414124 memory=1560 CPUtime=0.06 cores=0-7
/proc/2689/task/2703/stat : 2703 (java) S 2665 2665 31983 0 -1 1077944384 605 0 0 0 6 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932979919088 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2704] ppid=2665 vsize=8414124 memory=932 CPUtime=0.07 cores=0-7
/proc/2689/task/2704/stat : 2704 (java) S 2665 2665 31983 0 -1 1077944384 428 0 0 0 7 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932978866544 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2705] ppid=2665 vsize=8414124 memory=3624 CPUtime=0.03 cores=0-7
/proc/2689/task/2705/stat : 2705 (java) S 2665 2665 31983 0 -1 1077944384 72 0 0 0 3 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932977813488 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2706] ppid=2665 vsize=8414124 memory=1980 CPUtime=0.21 cores=0-7
/proc/2689/task/2706/stat : 2706 (java) S 2665 2665 31983 0 -1 1077944384 755 0 0 0 21 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932976760944 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2707] ppid=2665 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/2689/task/2707/stat : 2707 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139931376675808 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2708] ppid=2665 vsize=8414124 memory=1436 CPUtime=0.08 cores=0-7
/proc/2689/task/2708/stat : 2708 (java) S 2665 2665 31983 0 -1 1077944384 9 0 0 0 4 4 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932975709360 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2710] ppid=2665 vsize=8414124 memory=812 CPUtime=0 cores=0-7
/proc/2689/task/2710/stat : 2710 (java) S 2665 2665 31983 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418674923 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932967675328 139933887565593 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2712] ppid=2665 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/2689/task/2712/stat : 2712 (java) S 2665 2665 31983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418674923 8616062976 30169 33554432000 4194304 4196468 140726792419744 139930705575440 139933887562909 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2713] ppid=2665 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/2689/task/2713/stat : 2713 (java) S 2665 2665 31983 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418674924 8616062976 30169 33554432000 4194304 4196468 140726792419744 139930974011024 139933887562909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2714] ppid=2665 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/2689/task/2714/stat : 2714 (java) S 2665 2665 31983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418674926 8616062976 30169 33554432000 4194304 4196468 140726792419744 139930437147568 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
Current children cumulated CPU time: 755.96 s
Current children cumulated vsize: 9614756 KiB
Current children cumulated memory: 925256 KiB

[startup+103.802 s]
/proc/loadavg: 7.55 7.92 8.16 7/225 2727
/proc/meminfo: memFree=30435856/32770624 swapFree=66996972/67108860
[pid=2665] ppid=2662 vsize=113128 memory=1476 CPUtime=15.5 cores=0-7
/proc/2665/stat : 2665 (scop.sh) S 2662 2665 31983 0 -1 4202496 583 30270 0 0 0 0 1492 58 20 0 1 0 418674231 115843072 369 33554432000 4194304 5098028 140736801806688 140736801803432 140019479888508 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 27136000 140736801809189 140736801809516 140736801809516 140736801812429 0
/proc/2665/statm: 28282 369 311 221 0 87 0
[pid=2689] ppid=2665 vsize=8414124 memory=120676 CPUtime=1.24 cores=0-7
/proc/2689/stat : 2689 (java) S 2665 2665 31983 0 -1 1077944320 20643 0 0 0 116 8 0 0 20 0 24 0 418674851 8616062976 30169 33554432000 4194304 4196468 140726792419744 140726792402288 139933887540983 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
/proc/2689/statm: 2103531 30169 3200 1 0 2064875 0
[pid=2709] ppid=2689 vsize=1054720 memory=801264 CPUtime=740.6 cores=0-7
/proc/2709/stat : 2709 (manyglucose-4.1) R 2689 2665 31983 0 -1 4202496 896759 0 0 0 73907 153 0 0 20 0 1 0 418674923 1080033280 200316 33554432000 4194304 4454172 140722906718720 140722906717104 139734368922749 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 12042240 140722906723178 140722906723376 140722906723376 140722906726330 0
/proc/2709/statm: 263680 200316 422 64 0 259348 0
[pid=2689/tid=2690] ppid=2665 vsize=8414124 memory=6935054825532540783 CPUtime=0.75 cores=0-7
/proc/2689/task/2690/stat : 2690 (java) S 2665 2665 31983 0 -1 1077944384 17373 0 0 0 70 5 0 0 20 0 24 0 418674851 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933859381152 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2691] ppid=2665 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2689/task/2691/stat : 2691 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933891783696 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2692] ppid=2665 vsize=8414124 memory=120676 CPUtime=0 cores=0-7
/proc/2689/task/2692/stat : 2692 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933691952272 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2693] ppid=2665 vsize=8414124 memory=803100 CPUtime=0 cores=0-7
/proc/2689/task/2693/stat : 2693 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933690899216 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2694] ppid=2665 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/2689/task/2694/stat : 2694 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933689846672 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2695] ppid=2665 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/2689/task/2695/stat : 2695 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933688793616 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2696] ppid=2665 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/2689/task/2696/stat : 2696 (java) S 2665 2665 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933687741072 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2697] ppid=2665 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/2689/task/2697/stat : 2697 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933686688016 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2698] ppid=2665 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/2689/task/2698/stat : 2698 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418674852 8616062976 30169 33554432000 4194304 4196468 140726792419744 139933685635472 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2699] ppid=2665 vsize=8414124 memory=3972 CPUtime=0 cores=0-7
/proc/2689/task/2699/stat : 2699 (java) S 2665 2665 31983 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418674854 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932980972272 139933887552130 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2700] ppid=2665 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/2689/task/2700/stat : 2700 (java) S 2665 2665 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418674854 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932517525152 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2701] ppid=2665 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/2689/task/2701/stat : 2701 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674854 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932249089264 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2702] ppid=2665 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/2689/task/2702/stat : 2702 (java) S 2665 2665 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139931874580944 139933887559579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2703] ppid=2665 vsize=8414124 memory=1548 CPUtime=0.06 cores=0-7
/proc/2689/task/2703/stat : 2703 (java) S 2665 2665 31983 0 -1 1077944384 605 0 0 0 6 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932979919088 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2704] ppid=2665 vsize=8414124 memory=281438201791392 CPUtime=0.07 cores=0-7
/proc/2689/task/2704/stat : 2704 (java) S 2665 2665 31983 0 -1 1077944384 428 0 0 0 7 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932978866544 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2705] ppid=2665 vsize=8414124 memory=7233736994252652628 CPUtime=0.03 cores=0-7
/proc/2689/task/2705/stat : 2705 (java) S 2665 2665 31983 0 -1 1077944384 72 0 0 0 3 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932977813488 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2706] ppid=2665 vsize=8414124 memory=288284497924074488 CPUtime=0.21 cores=0-7
/proc/2689/task/2706/stat : 2706 (java) R 2665 2665 31983 0 -1 4202560 761 0 0 0 21 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932976760944 139933866033073 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2707] ppid=2665 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/2689/task/2707/stat : 2707 (java) S 2665 2665 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139931376675808 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2708] ppid=2665 vsize=8414124 memory=6944652177228980320 CPUtime=0.08 cores=0-7
/proc/2689/task/2708/stat : 2708 (java) S 2665 2665 31983 0 -1 1077944384 9 0 0 0 4 4 0 0 20 0 24 0 418674857 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932975709360 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2710] ppid=2665 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/2689/task/2710/stat : 2710 (java) S 2665 2665 31983 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418674923 8616062976 30169 33554432000 4194304 4196468 140726792419744 139932967675328 139933887565593 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2712] ppid=2665 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/2689/task/2712/stat : 2712 (java) R 2665 2665 31983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418674923 8616062976 30169 33554432000 4194304 4196468 140726792419744 139930705575440 139933887562813 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2713] ppid=2665 vsize=8414124 memory=7233736994252652628 CPUtime=0 cores=0-7
/proc/2689/task/2713/stat : 2713 (java) S 2665 2665 31983 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418674924 8616062976 30169 33554432000 4194304 4196468 140726792419744 139930974011024 139933887562909 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2714] ppid=2665 vsize=8414124 memory=288284497924074488 CPUtime=0 cores=0-7
/proc/2689/task/2714/stat : 2714 (java) S 2665 2665 31983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418674926 8616062976 30169 33554432000 4194304 4196468 140726792419744 139930437147568 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
Current children cumulated CPU time: 757.34 s
Current children cumulated vsize: 9581972 KiB
Current children cumulated memory: 923416 KiB

[startup+103.901 s]
/proc/loadavg: 7.55 7.92 8.16 7/225 2727
/proc/meminfo: memFree=30435856/32770624 swapFree=66996972/67108860
[pid=2665] ppid=2662 vsize=113128 memory=1476 CPUtime=15.5 cores=0-7
/proc/2665/stat : 2665 (scop.sh) S 2662 2665 31983 0 -1 4202496 583 30270 0 0 0 0 1492 58 20 0 1 0 418674231 115843072 369 33554432000 4194304 5098028 140736801806688 140736801803432 140019479888508 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 27136000 140736801809189 140736801809516 140736801809516 140736801812429 0
/proc/2665/statm: 28282 369 311 221 0 87 0
[pid=2689] ppid=2665 vsize=8283048 memory=129116 CPUtime=742.12 cores=0-7
/proc/2689/stat : 2689 (java) S 2665 2665 31983 0 -1 1077944320 22345 896765 0 0 141 9 73907 155 20 0 22 0 418674851 8481841152 32279 33554432000 4194304 4196468 140726792419744 140726792402288 139933887540983 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
/proc/2689/statm: 2070762 32279 3222 1 0 2032106 0
[pid=2689/tid=2690] ppid=2665 vsize=8283048 memory=1476 CPUtime=741.4 cores=0-7
/proc/2689/task/2690/stat : 2690 (java) R 2665 2665 31983 0 -1 4202560 17526 896765 0 0 73 5 73907 155 20 0 22 0 418674851 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933859378224 139933887552918 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2691] ppid=2665 vsize=8283048 memory=9162 CPUtime=740.62 cores=0-7
/proc/2689/task/2691/stat : 2691 (java) S 2665 2665 31983 0 -1 1077944384 1 896765 0 0 0 0 73907 155 20 0 22 0 418674852 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933891783696 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2692] ppid=2665 vsize=8283048 memory=9074 CPUtime=740.62 cores=0-7
/proc/2689/task/2692/stat : 2692 (java) S 2665 2665 31983 0 -1 1077944384 2 896765 0 0 0 0 73907 155 20 0 22 0 418674852 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933691952272 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2693] ppid=2665 vsize=8283048 memory=801056 CPUtime=740.62 cores=0-7
/proc/2689/task/2693/stat : 2693 (java) S 2665 2665 31983 0 -1 1077944384 2 896765 0 0 0 0 73907 155 20 0 22 0 418674852 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933690899216 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2694] ppid=2665 vsize=8283048 memory=1644 CPUtime=740.62 cores=0-7
/proc/2689/task/2694/stat : 2694 (java) S 2665 2665 31983 0 -1 1077944384 1 896765 0 0 0 0 73907 155 20 0 22 0 418674852 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933689846672 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2695] ppid=2665 vsize=8283048 memory=281438203363008 CPUtime=740.62 cores=0-7
/proc/2689/task/2695/stat : 2695 (java) S 2665 2665 31983 0 -1 1077944384 1 896765 0 0 0 0 73907 155 20 0 22 0 418674852 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933688793616 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2696] ppid=2665 vsize=8283048 memory=-7249806322133643294 CPUtime=740.62 cores=0-7
/proc/2689/task/2696/stat : 2696 (java) S 2665 2665 31983 0 -1 1077944384 2 896765 0 0 0 0 73907 155 20 0 22 0 418674852 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933687741072 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2697] ppid=2665 vsize=8283048 memory=161 CPUtime=740.62 cores=0-7
/proc/2689/task/2697/stat : 2697 (java) S 2665 2665 31983 0 -1 1077944384 1 896765 0 0 0 0 73907 155 20 0 22 0 418674852 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933686688016 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2698] ppid=2665 vsize=8283048 memory=5788366154356777813 CPUtime=740.62 cores=0-7
/proc/2689/task/2698/stat : 2698 (java) S 2665 2665 31983 0 -1 1077944384 3 896765 0 0 0 0 73907 155 20 0 22 0 418674852 8481841152 32279 33554432000 4194304 4196468 140726792419744 139933685635472 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2699] ppid=2665 vsize=8283048 memory=1476 CPUtime=740.62 cores=0-7
/proc/2689/task/2699/stat : 2699 (java) S 2665 2665 31983 0 -1 1077944384 7 896765 0 0 0 0 73907 155 20 0 22 0 418674854 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932980972272 139933887552130 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2700] ppid=2665 vsize=8283048 memory=120676 CPUtime=740.62 cores=0-7
/proc/2689/task/2700/stat : 2700 (java) S 2665 2665 31983 0 -1 1077944384 13 896765 0 0 0 0 73907 155 20 0 22 0 418674854 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932517525152 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2701] ppid=2665 vsize=8283048 memory=796728 CPUtime=740.62 cores=0-7
/proc/2689/task/2701/stat : 2701 (java) S 2665 2665 31983 0 -1 1077944384 1 896765 0 0 0 0 73907 155 20 0 22 0 418674854 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932249089264 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2702] ppid=2665 vsize=8283048 memory=55 CPUtime=740.62 cores=0-7
/proc/2689/task/2702/stat : 2702 (java) S 2665 2665 31983 0 -1 1077944384 1 896765 0 0 0 0 73907 155 20 0 22 0 418674857 8481841152 32279 33554432000 4194304 4196468 140726792419744 139931874580944 139933887559579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2703] ppid=2665 vsize=8283048 memory=-8819852740006533999 CPUtime=740.71 cores=0-7
/proc/2689/task/2703/stat : 2703 (java) R 2665 2665 31983 0 -1 1077944384 634 896765 0 0 9 0 73907 155 20 0 22 0 418674857 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932979919088 139933887552130 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2704] ppid=2665 vsize=8283048 memory=-7388952972880288709 CPUtime=740.73 cores=0-7
/proc/2689/task/2704/stat : 2704 (java) S 2665 2665 31983 0 -1 1077944384 709 896765 0 0 11 0 73907 155 20 0 22 0 418674857 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932978866544 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2705] ppid=2665 vsize=8283048 memory=4782 CPUtime=740.69 cores=0-7
/proc/2689/task/2705/stat : 2705 (java) S 2665 2665 31983 0 -1 1077944384 451 896765 0 0 7 0 73907 155 20 0 22 0 418674857 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932977813584 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2706] ppid=2665 vsize=8283048 memory=1964 CPUtime=740.88 cores=0-7
/proc/2689/task/2706/stat : 2706 (java) R 2665 2665 31983 0 -1 4202560 1055 896765 0 0 26 0 73907 155 20 0 22 0 418674857 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932976760944 139933887552918 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2707] ppid=2665 vsize=8283048 memory=0 CPUtime=740.62 cores=0-7
/proc/2689/task/2707/stat : 2707 (java) S 2665 2665 31983 0 -1 1077944384 3 896765 0 0 0 0 73907 155 20 0 22 0 418674857 8481841152 32279 33554432000 4194304 4196468 140726792419744 139931376675808 139933887551189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2708] ppid=2665 vsize=8283048 memory=7 CPUtime=740.7 cores=0-7
/proc/2689/task/2708/stat : 2708 (java) S 2665 2665 31983 0 -1 1077944384 9 896765 0 0 4 4 73907 155 20 0 22 0 418674857 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932975709360 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2710] ppid=2665 vsize=8283048 memory=3 CPUtime=740.62 cores=0-7
/proc/2689/task/2710/stat : 2710 (java) S 2665 2665 31983 0 -1 1077944384 23 896765 0 0 0 0 73907 155 20 0 22 0 418674923 8481841152 32279 33554432000 4194304 4196468 140726792419744 139932967674512 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
[pid=2689/tid=2714] ppid=2665 vsize=8283048 memory=774524 CPUtime=740.62 cores=0-7
/proc/2689/task/2714/stat : 2714 (java) S 2665 2665 31983 0 -1 1077944384 14 896765 0 0 0 0 73907 155 20 0 22 0 418674926 8481841152 32279 33554432000 4194304 4196468 140726792419744 139930437149360 139933887552130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30674944 140726792426488 140726792426646 140726792426646 140726792429519 0
Current children cumulated CPU time: 757.62 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130592 KiB

Child status: 0
Real time (s): 103.998
CPU time (s): 757.869
CPU user time (s): 755.618
CPU system time (s): 2.25085
CPU usage (%): 728.733
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2953068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 755.618
system time used= 2.25085
maximum resident set size= 2957188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 950399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22824
involuntary context switches= 7285


# summary of solver processes directly reported to runsolver:
#   pid: 2665
#   total CPU time (s): 757.869
#   total CPU user time (s): 755.618
#   total CPU system time (s): 2.25085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01048 second user time and 1.45718 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 03:22:33
IDJOB=4392496
IDBENCH=124271
IDSOLVER=2838
FILE ID=node103/4392496-1568424212
RUNJOBID= node103-1568416709-32010
PBS_JOBID= 21702263
Free space on /tmp= 61720 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-35.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392496-1568424212/watcher-4392496-1568424212 -o /tmp/evaluation-result-4392496-1568424212/solver-4392496-1568424212 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568416709-32010 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392496-1568424212.xml

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

MD5SUM BENCH= d39bc1ef1e07e502cfee7f2819d89a2a
RANDOM SEED=1665783746

node103.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.74
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.74
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.74
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.74
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:        31356072 kB
MemAvailable:   31889844 kB
Buffers:           87232 kB
Cached:           730212 kB
SwapCached:         9136 kB
Active:           598092 kB
Inactive:         232244 kB
Active(anon):       6512 kB
Inactive(anon):    47440 kB
Active(file):     591580 kB
Inactive(file):   184804 kB
Unevictable:      110744 kB
Mlocked:          110744 kB
SwapTotal:      67108860 kB
SwapFree:       66996972 kB
Dirty:             20648 kB
Writeback:             0 kB
AnonPages:        125332 kB
Mapped:            44640 kB
Shmem:             32672 kB
Slab:             175504 kB
SReclaimable:     146448 kB
SUnreclaim:        29056 kB
KernelStack:        3728 kB
PageTables:         6108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61700 MiB
End job on node103 at 2019-09-14 03:24:17