Trace number 4405198

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 943.165 126.572

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-203.xml
MD5SUMce251f4c9ae0df3aa97e9296eb89cd68
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 benchmark141.487
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size634
Maximum domain size634
Distribution of domain sizes[{"size":634,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","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-10940-serial-file.bin HOME/instance-4405198-1569337912.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 17:11:11 CEST 2019
0.66/0.57	c PID: 10943
0.66/0.57	c IP: 172.20.3.140
0.66/0.57	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.91	c (0,0) Parsing End
1.40/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 634
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) Constraint Name Generate Begin
1.40/0.92	c (0,0) Ctr:HOME/instance-4405198-1569337912.xml,Le:NoOverlap:Num:Var
1.40/0.92	c (0,0) Constraint Name Generate End
1.40/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92	c (0,0) CSP to CSPinCNF Begin
1.40/1.00	c (0,0) translated 6 (10%) constraints
1.40/1.00	c (0,0) translated 11 (20%) constraints
1.40/1.01	c (0,0) translated 16 (30%) constraints
1.56/1.01	c (0,0) translated 22 (40%) constraints
1.56/1.01	c (0,0) translated 27 (50%) constraints
1.56/1.01	c (0,0) translated 32 (60%) constraints
1.56/1.02	c (0,0) translated 38 (70%) constraints
1.56/1.02	c (0,0) translated 43 (80%) constraints
1.56/1.02	c (0,0) translated 48 (90%) constraints
2.17/1.28	c (0,0) translated 53 (100%) constraints
2.17/1.28	c (0,0) ===========================================
2.17/1.28	c (0,0) Order
2.17/1.28	c (0,0) ===========================================
2.17/1.28	c (0,0) translated 36 (10%) constraints
2.17/1.29	c (0,0) translated 71 (20%) constraints
2.17/1.30	c (0,0) translated 106 (30%) constraints
2.17/1.30	c (0,0) translated 141 (40%) constraints
2.56/1.31	c (0,0) translated 176 (50%) constraints
2.56/1.31	c (0,0) translated 212 (60%) constraints
2.56/1.32	c (0,0) translated 247 (70%) constraints
2.56/1.32	c (0,0) translated 282 (80%) constraints
2.56/1.32	c (0,0) translated 317 (90%) constraints
2.56/1.33	c (0,0) translated 352 (100%) constraints
2.56/1.33	c (0,0) CSP to CSPinCNF End
2.56/1.33	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 620
2.56/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.56/1.33	c (0,0) CSPinCNF Propagation Begin
2.56/1.36	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.56/1.36	c (0,0) CSPinCNF Propagation End
2.56/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 620
2.56/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.56/1.36	c (0,0) Simplify CSPinCNF Begin
2.88/1.45	c (0,0) Simplify CSPinCNF End
2.88/1.46	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 620
2.88/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.88/1.46	c (0,0) Calculate Precise Domain Begin
2.88/1.46	c (0,0) 0 values are removed by re-calculation
2.88/1.46	c (0,0) Calculate Precise Domain End
2.88/1.46	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 620
2.88/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.88/1.46	c (0,0) CSPinCNF to SatSolver Begin
4.79/2.01	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 88075 SAT clauses)
5.00/2.25	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 148260 SAT clauses)
5.22/2.46	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 203813 SAT clauses)
5.45/2.68	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 261278 SAT clauses)
5.65/2.88	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 313609 SAT clauses)
5.88/3.07	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 365106 SAT clauses)
6.08/3.25	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 413670 SAT clauses)
6.28/3.43	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 460679 SAT clauses)
6.38/3.58	c (3,3) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 500547 SAT clauses)
6.49/3.68	c (3,3) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 526964 SAT clauses)
6.49/3.68	c (3,3) CSPinCNF to SatSolver End
6.49/3.68	c (3,3) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.49/3.68	c (3,3) 27326 bool, 527161 clause
6.49/3.68	c (3,3) Export Begin
6.60/3.76	c (3,3) Export to HOME/scop-10940-serial-file.bin
6.60/3.76	c (3,3) Export End
6.60/3.76	c (3,3) Export File Size: 0.01 MB
6.60/3.76	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.60/3.77	c END-Prog: Tue Sep 24 17:11:15 CEST 2019
6.60/3.78	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10940-serial-file.bin
7.29/4.24	c (0,0) Read Serial File Begin
7.29/4.24	c (0,0) HOME/scop-10940-serial-file.bin
7.55/4.44	c (0,0) Read Serial File End
7.55/4.45	
7.55/4.45	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.55/4.45	(Solving Process)
7.55/4.45	
7.55/4.47	c BEGIN-Prog: Tue Sep 24 17:11:15 CEST 2019
7.55/4.47	c PID: 10963
7.55/4.47	c IP: 172.20.3.140
7.55/4.47	c HOST: node140.alineos.net
7.55/4.48	c (0,0) SatSolver.solve Begin
7.55/4.48	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405198-1569337912.xml-scop-10943.cnf
7.74/4.50	c (0,0) c
7.74/4.50	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)
7.74/4.50	c (0,0) c
7.74/4.50	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.74/4.50	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.74/4.50	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.74/4.50	c (0,0) c |                                                                                                       |
7.87/4.69	c (0,0) c |  Number of variables:         27326                                                                   |
7.87/4.69	c (0,0) c |  Number of clauses:          527161                                                                   |
7.87/4.69	c (0,0) c |  Parse time:                   0.17 s                                                                 |
7.87/4.69	c (0,0) c |                                                                                                       |
8.86/5.56	c (1,0) c |  Simplification time:          0.86 s                                                                 |
8.86/5.56	c (1,0) c |                                                                                                       |
8.86/5.56	c (1,0) c |  Generating clones                                                                                    |
9.06/5.72	c (1,0) c |  all clones generated. Memory =   350.76Mb.                                                           |
9.06/5.72	c (1,0) c ========================================================================================================|
9.06/5.72	c (1,0) c
9.06/5.72	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.06/5.72	c (1,0) c
9.06/5.72	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.06/5.72	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.06/5.72	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.06/5.72	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.06/5.72	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.06/5.72	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.06/5.72	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.06/5.72	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.06/5.72	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.06/5.72	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.06/5.72	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.06/5.72	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.06/5.72	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.06/5.72	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.06/5.72	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.06/5.72	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.06/5.72	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.06/5.72	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.06/5.72	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.87/34.75	c (30,0) c
239.87/34.75	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
239.87/34.75	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
239.87/34.75	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
239.87/34.75	c (30,0) c |  0 |    114 |     113459 |      47555 |    77489 |    21431 |     8665 |    52448 |     5420 |      188 |  20 |  0.516 |
239.87/34.75	c (30,0) c |  1 |    148 |     113222 |      47945 |    70824 |    21821 |     8190 |    53533 |     5193 |      191 |  20 |  0.516 |
239.87/34.75	c (30,0) c |  2 |    120 |     111119 |      48940 |    74857 |    22793 |     8439 |    55269 |     5346 |      200 |  20 |  0.516 |
239.87/34.75	c (30,0) c |  3 |    135 |     120964 |      52267 |    79774 |    13725 |     8697 |    56394 |     5662 |      206 |  20 |  0.516 |
239.87/34.75	c (30,0) c |  4 |    183 |     126820 |      52057 |    77860 |    13241 |     8410 |    56554 |     5738 |      206 |  20 |  0.516 |
239.87/34.75	c (30,0) c |  5 |    153 |     128847 |      53780 |    82563 |    15193 |     9105 |    56196 |     5827 |      207 |  20 |  0.516 |
239.87/34.75	c (30,0) c |  6 |    138 |     117055 |      51072 |    74670 |    12488 |     8746 |    55927 |     6099 |      204 |  20 |  0.516 |
239.87/34.75	c (30,0) c |  7 |    168 |     119014 |      48598 |    78204 |    22492 |     7732 |    55551 |     5701 |      200 |  20 |  0.516 |
239.87/34.75	c (30,0) c 
239.87/34.75	c (30,0) c synthesis      402214 conflicts   388486830 propagations     1738 conflicts/sec  1678654 propagations/sec
239.87/34.75	c (30,0) c real: 30.2502 s, cpu: 231.428 s, memory: 925.50 Mb
465.80/63.75	c (59,0) c
465.80/63.75	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
465.80/63.75	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
465.80/63.75	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
465.80/63.75	c (59,0) c |  0 |    254 |     190574 |      84293 |    96587 |    30721 |    13009 |    86878 |    10687 |      366 |  20 |  0.516 |
465.80/63.75	c (59,0) c |  1 |    274 |     186579 |      83084 |    90121 |    29514 |    13303 |    85706 |    10077 |      362 |  20 |  0.516 |
465.80/63.75	c (59,0) c |  2 |    274 |     189942 |      85437 |    95923 |    31861 |    12819 |    89812 |    10467 |      380 |  20 |  0.516 |
465.80/63.75	c (59,0) c |  3 |    301 |     198813 |      88795 |    97419 |    35230 |    13825 |    87998 |    11146 |      381 |  20 |  0.516 |
465.80/63.75	c (59,0) c |  4 |    319 |     203682 |      88377 |    96949 |    34685 |    12971 |    89838 |    10935 |      380 |  20 |  0.516 |
465.80/63.75	c (59,0) c |  5 |    279 |     203895 |      88726 |   101361 |    35144 |    13517 |    89399 |    11057 |      380 |  20 |  0.516 |
465.80/63.75	c (59,0) c |  6 |    281 |     194899 |      87711 |    96518 |    34128 |    13766 |    89491 |    10890 |      382 |  20 |  0.516 |
465.80/63.75	c (59,0) c |  7 |    372 |     206756 |      87024 |   100033 |    33458 |    12259 |    90875 |    11253 |      382 |  20 |  0.516 |
465.80/63.75	c (59,0) c 
465.80/63.75	c (59,0) c synthesis      693447 conflicts   709059466 propagations     1517 conflicts/sec  1551244 propagations/sec
465.80/63.75	c (59,0) c real: 59.2502 s, cpu: 457.091 s, memory: 925.50 Mb
701.52/93.75	c (89,0) c
701.52/93.75	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
701.52/93.75	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
701.52/93.75	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
701.52/93.75	c (89,0) c |  0 |    434 |     259556 |     117410 |   110284 |    25554 |    16711 |   112676 |    15030 |      546 |  20 |  1.332 |
701.52/93.75	c (89,0) c |  1 |    449 |     262491 |     118371 |   105532 |    26550 |    16971 |   112609 |    14619 |      547 |  20 |  1.332 |
701.52/93.75	c (89,0) c |  2 |    422 |     259572 |     119001 |   108987 |    27013 |    16287 |   113919 |    14892 |      551 |  20 |  1.332 |
701.52/93.75	c (89,0) c |  3 |    445 |     267138 |     121692 |   110429 |    29981 |    17532 |   113981 |    15210 |      558 |  20 |  1.332 |
701.52/93.75	c (89,0) c |  4 |    503 |     277201 |     123171 |   110992 |    31405 |    16599 |   116254 |    15390 |      566 |  20 |  1.332 |
701.52/93.75	c (89,0) c |  5 |    469 |     280247 |     123720 |   115616 |    31832 |    17131 |   115589 |    15604 |      565 |  20 |  1.332 |
701.52/93.75	c (89,0) c |  6 |    426 |     262494 |     121458 |   110606 |    29722 |    17622 |   114760 |    15091 |      561 |  20 |  1.332 |
701.52/93.75	c (89,0) c |  7 |    518 |     275334 |     120596 |   112329 |    28404 |    15676 |   117190 |    15314 |      566 |  20 |  2.144 |
701.52/93.75	c (89,0) c 
701.52/93.75	c (89,0) c synthesis      965419 conflicts  1023023152 propagations     1394 conflicts/sec  1477350 propagations/sec
701.52/93.75	c (89,0) c real: 89.2502 s, cpu: 692.472 s, memory: 1403.14 Mb
924.90/122.75	c (118,0) c
924.90/122.75	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
924.90/122.75	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
924.90/122.75	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
924.90/122.75	c (118,0) c |  0 |    561 |     321442 |     149774 |   120028 |    35222 |    20147 |   137241 |    18887 |      727 |  20 |  2.145 |
924.90/122.75	c (118,0) c |  1 |    550 |     329183 |     152413 |   117715 |    37916 |    20646 |   137330 |    18589 |      738 |  20 |  2.145 |
924.90/122.75	c (118,0) c |  2 |    549 |     319164 |     148935 |   117900 |    34389 |    19370 |   136541 |    18235 |      718 |  20 |  2.145 |
924.90/122.75	c (118,0) c |  3 |    585 |     330002 |     152886 |   119576 |    38467 |    20668 |   138168 |    19000 |      738 |  20 |  2.145 |
924.90/122.75	c (118,0) c |  4 |    688 |     340042 |     153602 |   120009 |    39162 |    19603 |   139166 |    19142 |      738 |  20 |  2.144 |
924.90/122.75	c (118,0) c |  5 |    629 |     341362 |     154179 |   125415 |    39697 |    20209 |   138516 |    18985 |      736 |  20 |  2.144 |
924.90/122.75	c (118,0) c |  6 |    559 |     325605 |     152783 |   120038 |    38358 |    21477 |   137430 |    18704 |      738 |  20 |  2.144 |
924.90/122.75	c (118,0) c |  7 |    652 |     333113 |     150190 |   120829 |    35600 |    18534 |   140057 |    18945 |      737 |  20 |  2.145 |
924.90/122.75	c (118,0) c 
924.90/122.75	c (118,0) c synthesis     1214762 conflicts  1320765480 propagations     1327 conflicts/sec  1442339 propagations/sec
924.90/122.75	c (118,0) c real: 118.25 s, cpu: 915.711 s, memory: 984.78 Mb
942.52/126.37	c (122,0) c
942.52/126.37	c (122,0) c real time : 121.874 s
942.52/126.37	c (122,0) c cpu time  : 933.066 s
942.52/126.37	c (122,0) c
942.52/126.37	c (122,0) c
942.52/126.37	c (122,0) c
942.52/126.37	c (122,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
942.52/126.37	c (122,0) c
942.52/126.37	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.37	c (122,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
942.52/126.37	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.37	c (122,0) c | Conflicts     |         1235412 |     153148 |     154517 |     154228 |     154762 |     155482 |     156251 |     154906 |     152118 |
942.52/126.37	c (122,0) c | Decisions     |         2682764 |     328239 |     334507 |     329599 |     334150 |     343929 |     345655 |     329997 |     336688 |
942.52/126.37	c (122,0) c | Propagations  |      1346299975 |  167545540 |  167520870 |  168669547 |  169151194 |  167843209 |  167756947 |  168417417 |  169395251 |
942.52/126.37	c (122,0) c | ReduceDBs     |              80 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |
942.52/126.37	c (122,0) c | SimpDBs       |              58 |          7 |          8 |          7 |          7 |          8 |          8 |          6 |          7 |
942.52/126.37	c (122,0) c | Restarts      |            4876 |        581 |        554 |        578 |        600 |        697 |        640 |        572 |        654 |
942.52/126.37	c (122,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
942.52/126.37	c (122,0) c | PropBinClauses|      1592907051 |  199253761 |  198232963 |  200484945 |  200031498 |  198470131 |  197456865 |  199111121 |  199865767 |
942.52/126.37	c (122,0) c | PropPreBlocker|     19993173984 | 2492918691 | 2499531184 | 2498696885 | 2506904916 | 2487840479 | 2498564293 | 2511361904 | 2497355632 |
942.52/126.37	c (122,0) c | PropNotBlocker|      6190604064 |  780564784 |  774069236 |  766274045 |  774689777 |  775994216 |  770558103 |  769792629 |  778661274 |
942.52/126.37	c (122,0) c | LitFullScans  |     35979948038 | 4494498523 | 4496696916 | 4494549670 | 4500497472 | 4500459666 | 4494495587 | 4500571017 | 4498179187 |
942.52/126.37	c (122,0) c | LitScanFracts |         3984244 |     455511 |     516538 |     532945 |     495241 |     456662 |     486948 |     560928 |     479471 |
942.52/126.37	c (122,0) c | DecisionLevel0|            4893 |        583 |        557 |        579 |        601 |        700 |        642 |        572 |        659 |
942.52/126.37	c (122,0) c | Periods       |            5995 |        749 |        749 |        749 |        750 |        750 |        749 |        750 |        749 |
942.52/126.37	c (122,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
942.52/126.37	c (122,0) c | Avg_Trail     |                 |      11614 |      11643 |      11603 |      11633 |      11590 |      11739 |      11679 |      11638 |
942.52/126.37	c (122,0) c | Avg_DL        |                 |         24 |         24 |         24 |         25 |         24 |         25 |         25 |         25 |
942.52/126.37	c (122,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
942.52/126.37	c (122,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
942.52/126.37	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.37	c (122,0) c | Exported      |          162601 |      20465 |      20827 |      19832 |      20862 |      19795 |      20387 |      21675 |      18758 |
942.52/126.37	c (122,0) c | Imported      |         1117304 |     139347 |     138890 |     140095 |     139312 |     140403 |     139860 |     138614 |     140783 |
942.52/126.37	c (122,0) c | Good          |            1292 |        160 |        158 |        163 |        165 |        167 |        154 |        167 |        158 |
942.52/126.37	c (122,0) c | Purge         |         1116012 |     139187 |     138732 |     139932 |     139147 |     140236 |     139706 |     138447 |     140625 |
942.52/126.37	c (122,0) c | Promoted      |          153239 |      19402 |      18790 |      18899 |      19232 |      19374 |      19361 |      18973 |      19208 |
942.52/126.37	c (122,0) c | Remove_Imp    |          648773 |      81251 |      80863 |      82045 |      80466 |      80872 |      79632 |      79485 |      84159 |
942.52/126.37	c (122,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
942.52/126.37	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.37	c (122,0) c | Unaries       |                 |          2 |          3 |          1 |          1 |          3 |          2 |          0 |          5 |
942.52/126.37	c (122,0) c | Binaries      |                 |         25 |         28 |         22 |         20 |         18 |         31 |         18 |         26 |
942.52/126.37	c (122,0) c | Glues         |                 |        337 |        351 |        353 |        353 |        345 |        305 |        326 |        330 |
942.52/126.37	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.37	c (122,0) c | Orig_Seen     |            23 % |     121103 |     119783 |     118998 |     120017 |     120377 |     125944 |     120992 |     121206 |
942.52/126.37	c (122,0) c | Diff Orig seen|                 |       1320 |      X     | -      785 |        234 |        594 |       6161 |       1209 |       1423 |
942.52/126.37	c (122,0) c | Hamming       |            25 % |       7494 |      X     |       5043 |       8124 |       7561 |       6074 |       7658 |       6022 |
942.52/126.37	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.37	c (122,0) c | RunningTime   |                 |  119.9 100%|  118.5 100%|  119.7  99%|  117.1  98%|  112.6  95%|  116.1  98%|  116.9  98%|  115.4  97%|
942.52/126.37	c (122,0) c | WaitingTime   |                 |    0.0   0%|    0.3   0%|    0.8   1%|    1.8   2%|    6.3   5%|    2.7   2%|    2.0   2%|    3.4   3%|
942.52/126.37	c (122,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
942.52/126.37	c (122,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%|
942.52/126.37	c (122,0) c | SolvingTime   |                 |  120.0     |  118.8     |  120.6     |  119.0     |  119.0     |  118.9     |  119.0     |  118.9     |
942.52/126.37	c (122,0) c | PropagationTim|                 |  100.6  84%|   99.4  84%|  100.2  83%|   98.8  83%|   98.5  83%|   98.6  83%|   98.9  83%|   97.9  82%|
942.52/126.37	c (122,0) c | AnalysisTime  |                 |   16.1  13%|   16.1  14%|   16.9  14%|   16.8  14%|   17.2  14%|   16.9  14%|   16.7  14%|   17.5  15%|
942.52/126.37	c (122,0) c | ReductionTime |                 |    0.4   0%|    0.5   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.5   0%|    0.5   0%|    0.5   0%|
942.52/126.37	c (122,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|
942.52/126.37	c (122,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%|
942.52/126.37	c (122,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%|
942.52/126.37	c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.37	c (122,0) c
942.52/126.37	c (122,0) c
942.52/126.37	c (122,0) c Threads : 8
942.52/126.37	c (122,0) c Winner : 1
942.52/126.37	c (122,0) c Conflicts_0 : 153148
942.52/126.37	c (122,0) c Conflicts_1 : 154517
942.52/126.37	c (122,0) c Conflicts_2 : 154228
942.52/126.37	c (122,0) c Conflicts_3 : 154762
942.52/126.37	c (122,0) c Conflicts_4 : 155482
942.52/126.37	c (122,0) c Conflicts_5 : 156251
942.52/126.37	c (122,0) c Conflicts_6 : 154906
942.52/126.37	c (122,0) c Conflicts_7 : 152118
942.52/126.37	c (122,0) c Conflicts_total : 1235412
942.52/126.37	c (122,0) c Conflicts_winner : 154517
942.52/126.37	c (122,0) c Decisions_0 : 328239
942.52/126.37	c (122,0) c Decisions_1 : 334507
942.52/126.37	c (122,0) c Decisions_2 : 329599
942.52/126.37	c (122,0) c Decisions_3 : 334150
942.52/126.37	c (122,0) c Decisions_4 : 343929
942.52/126.37	c (122,0) c Decisions_5 : 345655
942.52/126.37	c (122,0) c Decisions_6 : 329997
942.52/126.37	c (122,0) c Decisions_7 : 336688
942.52/126.37	c (122,0) c Decisions_total : 2682764
942.52/126.37	c (122,0) c Decisions_winner : 334507
942.52/126.37	c (122,0) c Propagations_0 : 167545540
942.52/126.37	c (122,0) c Propagations_1 : 167520870
942.52/126.37	c (122,0) c Propagations_2 : 168669547
942.52/126.38	c (122,0) c Propagations_3 : 169151194
942.52/126.38	c (122,0) c Propagations_4 : 167843209
942.52/126.38	c (122,0) c Propagations_5 : 167756947
942.52/126.38	c (122,0) c Propagations_6 : 168417417
942.52/126.38	c (122,0) c Propagations_7 : 169395251
942.52/126.38	c (122,0) c Propagations_total : 1346299975
942.52/126.38	c (122,0) c Propagations_winner : 167520870
942.52/126.38	c (122,0) c ReduceDBs_0 : 10
942.52/126.38	c (122,0) c ReduceDBs_1 : 10
942.52/126.39	c (122,0) c ReduceDBs_2 : 10
942.52/126.39	c (122,0) c ReduceDBs_3 : 10
942.52/126.39	c (122,0) c ReduceDBs_4 : 10
942.52/126.39	c (122,0) c ReduceDBs_5 : 10
942.52/126.39	c (122,0) c ReduceDBs_6 : 10
942.52/126.39	c (122,0) c ReduceDBs_7 : 10
942.52/126.39	c (122,0) c ReduceDBs_total : 80
942.52/126.39	c (122,0) c ReduceDBs_winner : 10
942.52/126.39	c (122,0) c SimpDBs_0 : 7
942.52/126.39	c (122,0) c SimpDBs_1 : 8
942.52/126.39	c (122,0) c SimpDBs_2 : 7
942.52/126.39	c (122,0) c SimpDBs_3 : 7
942.52/126.39	c (122,0) c SimpDBs_4 : 8
942.52/126.39	c (122,0) c SimpDBs_5 : 8
942.52/126.39	c (122,0) c SimpDBs_6 : 6
942.52/126.39	c (122,0) c SimpDBs_7 : 7
942.52/126.39	c (122,0) c SimpDBs_total : 58
942.52/126.39	c (122,0) c SimpDBs_winner : 8
942.52/126.39	c (122,0) c Restarts_0 : 581
942.52/126.39	c (122,0) c Restarts_1 : 554
942.52/126.39	c (122,0) c Restarts_2 : 578
942.52/126.39	c (122,0) c Restarts_3 : 600
942.52/126.39	c (122,0) c Restarts_4 : 697
942.52/126.39	c (122,0) c Restarts_5 : 640
942.52/126.39	c (122,0) c Restarts_6 : 572
942.52/126.39	c (122,0) c Restarts_7 : 654
942.52/126.39	c (122,0) c Restarts_total : 4876
942.52/126.39	c (122,0) c Restarts_winner : 554
942.52/126.39	c (122,0) c ForcedImports_0 : 0
942.52/126.39	c (122,0) c ForcedImports_1 : 0
942.52/126.39	c (122,0) c ForcedImports_2 : 0
942.52/126.39	c (122,0) c ForcedImports_3 : 0
942.52/126.39	c (122,0) c ForcedImports_4 : 0
942.52/126.39	c (122,0) c ForcedImports_5 : 0
942.52/126.39	c (122,0) c ForcedImports_6 : 0
942.52/126.39	c (122,0) c ForcedImports_7 : 0
942.52/126.39	c (122,0) c ForcedImports_total : 0
942.52/126.39	c (122,0) c ForcedImports_winner : 0
942.52/126.39	c (122,0) c PropsBinClauses_0 : 199253761
942.52/126.39	c (122,0) c PropsBinClauses_1 : 198232963
942.52/126.39	c (122,0) c PropsBinClauses_2 : 200484945
942.52/126.39	c (122,0) c PropsBinClauses_3 : 200031498
942.52/126.39	c (122,0) c PropsBinClauses_4 : 198470131
942.52/126.39	c (122,0) c PropsBinClauses_5 : 197456865
942.52/126.39	c (122,0) c PropsBinClauses_6 : 199111121
942.52/126.39	c (122,0) c PropsBinClauses_7 : 199865767
942.52/126.39	c (122,0) c PropsBinClauses_total : 1592907051
942.52/126.39	c (122,0) c PropsBinClauses_winner : 198232963
942.52/126.39	c (122,0) c PropsPreBlocker_0 : 2492918691
942.52/126.39	c (122,0) c PropsPreBlocker_1 : 2499531184
942.52/126.39	c (122,0) c PropsPreBlocker_2 : 2498696885
942.52/126.39	c (122,0) c PropsPreBlocker_3 : 2506904916
942.52/126.39	c (122,0) c PropsPreBlocker_4 : 2487840479
942.52/126.39	c (122,0) c PropsPreBlocker_5 : 2498564293
942.52/126.39	c (122,0) c PropsPreBlocker_6 : 2511361904
942.52/126.39	c (122,0) c PropsPreBlocker_7 : 2497355632
942.52/126.39	c (122,0) c PropsPreBlocker_total : 19993173984
942.52/126.39	c (122,0) c PropsPreBlocker_winner : 2499531184
942.52/126.39	c (122,0) c PropsNotBlocker_0 : 780564784
942.52/126.39	c (122,0) c PropsNotBlocker_1 : 774069236
942.52/126.39	c (122,0) c PropsNotBlocker_2 : 766274045
942.52/126.39	c (122,0) c PropsNotBlocker_3 : 774689777
942.52/126.39	c (122,0) c PropsNotBlocker_4 : 775994216
942.52/126.39	c (122,0) c PropsNotBlocker_5 : 770558103
942.52/126.39	c (122,0) c PropsNotBlocker_6 : 769792629
942.52/126.39	c (122,0) c PropsNotBlocker_7 : 778661274
942.52/126.39	c (122,0) c PropsNotBlocker_total : 6190604064
942.52/126.39	c (122,0) c PropsNotBlocker_winner : 774069236
942.52/126.39	c (122,0) c PropsLitFullScans_0 : 4494498523
942.52/126.39	c (122,0) c PropsLitFullScans_1 : 4496696916
942.52/126.39	c (122,0) c PropsLitFullScans_2 : 4494549670
942.52/126.39	c (122,0) c PropsLitFullScans_3 : 4500497472
942.52/126.39	c (122,0) c PropsLitFullScans_4 : 4500459666
942.52/126.39	c (122,0) c PropsLitFullScans_5 : 4494495587
942.52/126.39	c (122,0) c PropsLitFullScans_6 : 4500571017
942.52/126.39	c (122,0) c PropsLitFullScans_7 : 4498179187
942.52/126.39	c (122,0) c PropsLitFullScans_total : 35979948038
942.52/126.39	c (122,0) c PropsLitFullScans_winner : 4496696916
942.52/126.39	c (122,0) c LitScanFractions_0 : 455511
942.52/126.39	c (122,0) c LitScanFractions_1 : 516538
942.52/126.39	c (122,0) c LitScanFractions_2 : 532945
942.52/126.39	c (122,0) c LitScanFractions_3 : 495241
942.52/126.39	c (122,0) c LitScanFractions_4 : 456662
942.52/126.39	c (122,0) c LitScanFractions_5 : 486948
942.52/126.39	c (122,0) c LitScanFractions_6 : 560928
942.52/126.39	c (122,0) c LitScanFractions_7 : 479471
942.52/126.39	c (122,0) c LitScanFractions_total : 3984244
942.52/126.39	c (122,0) c LitScanFractions_winner : 516538
942.52/126.39	c (122,0) c DecisionLevel0_0 : 583
942.52/126.39	c (122,0) c DecisionLevel0_1 : 557
942.52/126.39	c (122,0) c DecisionLevel0_2 : 579
942.52/126.39	c (122,0) c DecisionLevel0_3 : 601
942.52/126.39	c (122,0) c DecisionLevel0_4 : 700
942.52/126.39	c (122,0) c DecisionLevel0_5 : 642
942.52/126.39	c (122,0) c DecisionLevel0_6 : 572
942.52/126.39	c (122,0) c DecisionLevel0_7 : 659
942.52/126.39	c (122,0) c DecisionLevel0_total : 4893
942.52/126.39	c (122,0) c DecisionLevel0_winner : 557
942.52/126.39	c (122,0) c Periods_0 : 749
942.52/126.39	c (122,0) c Periods_1 : 749
942.52/126.39	c (122,0) c Periods_2 : 749
942.52/126.39	c (122,0) c Periods_3 : 750
942.52/126.39	c (122,0) c Periods_4 : 750
942.52/126.39	c (122,0) c Periods_5 : 749
942.52/126.39	c (122,0) c Periods_6 : 750
942.52/126.39	c (122,0) c Periods_7 : 749
942.52/126.39	c (122,0) c Periods_total : 5995
942.52/126.39	c (122,0) c Periods_winner : 749
942.52/126.39	c (122,0) c Margin_0 : 20
942.52/126.39	c (122,0) c Margin_1 : 20
942.52/126.39	c (122,0) c Margin_2 : 20
942.52/126.39	c (122,0) c Margin_3 : 20
942.52/126.39	c (122,0) c Margin_4 : 20
942.52/126.39	c (122,0) c Margin_5 : 20
942.52/126.39	c (122,0) c Margin_6 : 20
942.52/126.39	c (122,0) c Margin_7 : 20
942.52/126.39	c (122,0) c Margin_total : 160
942.52/126.39	c (122,0) c Margin_winner : 20
942.52/126.39	c (122,0) c Exported_0 : 20465
942.52/126.39	c (122,0) c Exported_1 : 20827
942.52/126.39	c (122,0) c Exported_2 : 19832
942.52/126.39	c (122,0) c Exported_3 : 20862
942.52/126.39	c (122,0) c Exported_4 : 19795
942.52/126.39	c (122,0) c Exported_5 : 20387
942.52/126.39	c (122,0) c Exported_6 : 21675
942.52/126.39	c (122,0) c Exported_7 : 18758
942.52/126.39	c (122,0) c Exported_total : 162601
942.52/126.39	c (122,0) c Exported_winner : 20827
942.52/126.39	c (122,0) c Imported_0 : 139347
942.52/126.39	c (122,0) c Imported_1 : 138890
942.52/126.39	c (122,0) c Imported_2 : 140095
942.52/126.39	c (122,0) c Imported_3 : 139312
942.52/126.39	c (122,0) c Imported_4 : 140403
942.52/126.39	c (122,0) c Imported_5 : 139860
942.52/126.39	c (122,0) c Imported_6 : 138614
942.52/126.39	c (122,0) c Imported_7 : 140783
942.52/126.39	c (122,0) c Imported_total : 1117304
942.52/126.39	c (122,0) c Imported_winner : 138890
942.52/126.39	c (122,0) c Good_0 : 160
942.52/126.39	c (122,0) c Good_1 : 158
942.52/126.39	c (122,0) c Good_2 : 163
942.52/126.39	c (122,0) c Good_3 : 165
942.52/126.39	c (122,0) c Good_4 : 167
942.52/126.39	c (122,0) c Good_5 : 154
942.52/126.39	c (122,0) c Good_6 : 167
942.52/126.39	c (122,0) c Good_7 : 158
942.52/126.39	c (122,0) c Good_total : 1292
942.52/126.39	c (122,0) c Good_winner : 158
942.52/126.39	c (122,0) c Purge_0 : 139187
942.52/126.39	c (122,0) c Purge_1 : 138732
942.52/126.39	c (122,0) c Purge_2 : 139932
942.52/126.39	c (122,0) c Purge_3 : 139147
942.52/126.39	c (122,0) c Purge_4 : 140236
942.52/126.39	c (122,0) c Purge_5 : 139706
942.52/126.39	c (122,0) c Purge_6 : 138447
942.52/126.39	c (122,0) c Purge_7 : 140625
942.52/126.39	c (122,0) c Purge_total : 1116012
942.52/126.39	c (122,0) c Purge_winner : 138732
942.52/126.39	c (122,0) c Promoted_0 : 19402
942.52/126.39	c (122,0) c Promoted_1 : 18790
942.52/126.39	c (122,0) c Promoted_2 : 18899
942.52/126.39	c (122,0) c Promoted_3 : 19232
942.52/126.39	c (122,0) c Promoted_4 : 19374
942.52/126.39	c (122,0) c Promoted_5 : 19361
942.52/126.39	c (122,0) c Promoted_6 : 18973
942.52/126.39	c (122,0) c Promoted_7 : 19208
942.52/126.39	c (122,0) c Promoted_total : 153239
942.52/126.39	c (122,0) c Promoted_winner : 18790
942.52/126.39	c (122,0) c Remove_Imp_0 : 81251
942.52/126.39	c (122,0) c Remove_Imp_1 : 80863
942.52/126.39	c (122,0) c Remove_Imp_2 : 82045
942.52/126.39	c (122,0) c Remove_Imp_3 : 80466
942.52/126.39	c (122,0) c Remove_Imp_4 : 80872
942.52/126.39	c (122,0) c Remove_Imp_5 : 79632
942.52/126.39	c (122,0) c Remove_Imp_6 : 79485
942.52/126.39	c (122,0) c Remove_Imp_7 : 84159
942.52/126.39	c (122,0) c Remove_Imp_total : 648773
942.52/126.39	c (122,0) c Remove_Imp_winner : 80863
942.52/126.39	c (122,0) c Blocked_Reuse_0 : 0
942.52/126.39	c (122,0) c Blocked_Reuse_1 : 0
942.52/126.39	c (122,0) c Blocked_Reuse_2 : 0
942.52/126.39	c (122,0) c Blocked_Reuse_3 : 0
942.52/126.39	c (122,0) c Blocked_Reuse_4 : 0
942.52/126.39	c (122,0) c Blocked_Reuse_5 : 0
942.52/126.39	c (122,0) c Blocked_Reuse_6 : 0
942.52/126.39	c (122,0) c Blocked_Reuse_7 : 0
942.52/126.39	c (122,0) c Blocked_Reuse_total : 0
942.52/126.39	c (122,0) c Blocked_Reuse_winner : 0
942.52/126.39	c (122,0) c Unaries_0 : 2
942.52/126.39	c (122,0) c Unaries_1 : 3
942.52/126.39	c (122,0) c Unaries_2 : 1
942.52/126.39	c (122,0) c Unaries_3 : 1
942.52/126.39	c (122,0) c Unaries_4 : 3
942.52/126.39	c (122,0) c Unaries_5 : 2
942.52/126.39	c (122,0) c Unaries_6 : 0
942.52/126.39	c (122,0) c Unaries_7 : 5
942.52/126.39	c (122,0) c Unaries_total : 17
942.52/126.39	c (122,0) c Unaries_winner : 3
942.52/126.39	c (122,0) c Binaries_0 : 25
942.52/126.39	c (122,0) c Binaries_1 : 28
942.52/126.39	c (122,0) c Binaries_2 : 22
942.52/126.39	c (122,0) c Binaries_3 : 20
942.52/126.39	c (122,0) c Binaries_4 : 18
942.52/126.39	c (122,0) c Binaries_5 : 31
942.52/126.39	c (122,0) c Binaries_6 : 18
942.52/126.39	c (122,0) c Binaries_7 : 26
942.52/126.39	c (122,0) c Binaries_total : 188
942.52/126.39	c (122,0) c Binaries_winner : 28
942.52/126.39	c (122,0) c Glues_0 : 337
942.52/126.39	c (122,0) c Glues_1 : 351
942.52/126.39	c (122,0) c Glues_2 : 353
942.52/126.39	c (122,0) c Glues_3 : 353
942.52/126.39	c (122,0) c Glues_4 : 345
942.52/126.39	c (122,0) c Glues_5 : 305
942.52/126.39	c (122,0) c Glues_6 : 326
942.52/126.39	c (122,0) c Glues_7 : 330
942.52/126.39	c (122,0) c Glues_total : 2700
942.52/126.39	c (122,0) c Glues_winner : 351
942.52/126.39	c (122,0) c RunningTime_0 : 119.858627
942.52/126.39	c (122,0) c RunningTime_1 : 118.461489
942.52/126.39	c (122,0) c RunningTime_2 : 119.704309
942.52/126.39	c (122,0) c RunningTime_3 : 117.062032
942.52/126.39	c (122,0) c RunningTime_4 : 112.603225
942.52/126.39	c (122,0) c RunningTime_5 : 116.144727
942.52/126.39	c (122,0) c RunningTime_6 : 116.875272
942.52/126.39	c (122,0) c RunningTime_7 : 115.365169
942.52/126.39	c (122,0) c RunningTime_total : 936.074850
942.52/126.39	c (122,0) c RunningTime_winner : 118.461489
942.52/126.39	c (122,0) c WaitingTime_0 : 0.000994
942.52/126.39	c (122,0) c WaitingTime_1 : 0.294192
942.52/126.39	c (122,0) c WaitingTime_2 : 0.829254
942.52/126.39	c (122,0) c WaitingTime_3 : 1.833210
942.52/126.39	c (122,0) c WaitingTime_4 : 6.275370
942.52/126.39	c (122,0) c WaitingTime_5 : 2.687015
942.52/126.39	c (122,0) c WaitingTime_6 : 2.024852
942.52/126.39	c (122,0) c WaitingTime_7 : 3.408771
942.52/126.39	c (122,0) c WaitingTime_total : 17.353657
942.52/126.39	c (122,0) c WaitingTime_winner : 0.294192
942.52/126.40	c (122,0) c ExchangingTime_0 : 0.096196
942.52/126.40	c (122,0) c ExchangingTime_1 : 0.076365
942.52/126.40	c (122,0) c ExchangingTime_2 : 0.088944
942.52/126.40	c (122,0) c ExchangingTime_3 : 0.077261
942.52/126.40	c (122,0) c ExchangingTime_4 : 0.090471
942.52/126.40	c (122,0) c ExchangingTime_5 : 0.085469
942.52/126.40	c (122,0) c ExchangingTime_6 : 0.077332
942.52/126.40	c (122,0) c ExchangingTime_7 : 0.095329
942.52/126.40	c (122,0) c ExchangingTime_total : 0.687366
942.52/126.40	c (122,0) c ExchangingTime_winner : 0.076365
942.52/126.40	c (122,0) c PeriodProcTime_0 : 0.008173
942.52/126.40	c (122,0) c PeriodProcTime_1 : 0.009886
942.52/126.40	c (122,0) c PeriodProcTime_2 : 0.008876
942.52/126.40	c (122,0) c PeriodProcTime_3 : 0.007465
942.52/126.40	c (122,0) c PeriodProcTime_4 : 0.007842
942.52/126.40	c (122,0) c PeriodProcTime_5 : 0.007256
942.52/126.40	c (122,0) c PeriodProcTime_6 : 0.007247
942.52/126.40	c (122,0) c PeriodProcTime_7 : 0.007875
942.52/126.40	c (122,0) c PeriodProcTime_total : 0.064619
942.52/126.40	c (122,0) c PeriodProcTime_winner : 0.009886
942.52/126.40	c (122,0) c SolvingTime_0 : 119.963990
942.52/126.40	c (122,0) c SolvingTime_1 : 118.841931
942.52/126.40	c (122,0) c SolvingTime_2 : 120.631382
942.52/126.40	c (122,0) c SolvingTime_3 : 118.979968
942.52/126.40	c (122,0) c SolvingTime_4 : 118.976908
942.52/126.40	c (122,0) c SolvingTime_5 : 118.924468
942.52/126.40	c (122,0) c SolvingTime_6 : 118.984702
942.52/126.40	c (122,0) c SolvingTime_7 : 118.877144
942.52/126.40	c (122,0) c SolvingTime_total : 954.180492
942.52/126.40	c (122,0) c SolvingTime_winner : 118.841931
942.52/126.40	c (122,0) c PropagationTime_0 : 100.559370
942.52/126.40	c (122,0) c PropagationTime_1 : 99.405246
942.52/126.40	c (122,0) c PropagationTime_2 : 100.163002
942.52/126.40	c (122,0) c PropagationTime_3 : 98.819623
942.52/126.40	c (122,0) c PropagationTime_4 : 98.464672
942.52/126.40	c (122,0) c PropagationTime_5 : 98.574417
942.52/126.40	c (122,0) c PropagationTime_6 : 98.937618
942.52/126.40	c (122,0) c PropagationTime_7 : 97.944008
942.52/126.40	c (122,0) c PropagationTime_total : 792.867955
942.52/126.40	c (122,0) c PropagationTime_winner : 99.405246
942.52/126.40	c (122,0) c AnalysisTime_0 : 16.068752
942.52/126.40	c (122,0) c AnalysisTime_1 : 16.109860
942.52/126.40	c (122,0) c AnalysisTime_2 : 16.936655
942.52/126.40	c (122,0) c AnalysisTime_3 : 16.781471
942.52/126.40	c (122,0) c AnalysisTime_4 : 17.166558
942.52/126.40	c (122,0) c AnalysisTime_5 : 16.912117
942.52/126.40	c (122,0) c AnalysisTime_6 : 16.741429
942.52/126.40	c (122,0) c AnalysisTime_7 : 17.538082
942.52/126.40	c (122,0) c AnalysisTime_total : 134.254923
942.52/126.40	c (122,0) c AnalysisTime_winner : 16.109860
942.52/126.40	c (122,0) c ReductionTime_0 : 0.443291
942.52/126.40	c (122,0) c ReductionTime_1 : 0.454649
942.52/126.40	c (122,0) c ReductionTime_2 : 0.436275
942.52/126.40	c (122,0) c ReductionTime_3 : 0.446694
942.52/126.40	c (122,0) c ReductionTime_4 : 0.423379
942.52/126.40	c (122,0) c ReductionTime_5 : 0.450837
942.52/126.40	c (122,0) c ReductionTime_6 : 0.453557
942.52/126.40	c (122,0) c ReductionTime_7 : 0.472799
942.52/126.40	c (122,0) c ReductionTime_total : 3.581482
942.52/126.40	c (122,0) c ReductionTime_winner : 0.454649
942.52/126.40	c (122,0) c SimplifyTime_0 : 0.136202
942.52/126.40	c (122,0) c SimplifyTime_1 : 0.147263
942.52/126.40	c (122,0) c SimplifyTime_2 : 0.130621
942.52/126.40	c (122,0) c SimplifyTime_3 : 0.136101
942.52/126.40	c (122,0) c SimplifyTime_4 : 0.137620
942.52/126.40	c (122,0) c SimplifyTime_5 : 0.151767
942.52/126.40	c (122,0) c SimplifyTime_6 : 0.120473
942.52/126.40	c (122,0) c SimplifyTime_7 : 0.128135
942.52/126.40	c (122,0) c SimplifyTime_total : 1.088182
942.52/126.40	c (122,0) c SimplifyTime_winner : 0.147263
942.52/126.40	c (122,0) c UsedRateTime_0 : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_1 : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_2 : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_3 : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_4 : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_5 : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_6 : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_7 : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_total : 0.000000
942.52/126.40	c (122,0) c UsedRateTime_winner : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_0 : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_1 : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_2 : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_3 : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_4 : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_5 : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_6 : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_7 : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_total : 0.000000
942.52/126.40	c (122,0) c OverlapRateTime_winner : 0.000000
942.52/126.40	c (122,0) c
942.52/126.40	c (122,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
942.52/126.40	c (122,0) c
942.52/126.40	c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.40	c (122,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
942.52/126.40	c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.40	c (122,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
942.52/126.40	c (122,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
942.52/126.40	c (122,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
942.52/126.40	c (122,0) c | Initial random_seed   | 2016904820 | 1730990928 |  329761305 | 1257877625 | 1107221410 |   74897137 | 1818860985 | 2024936145 |
942.52/126.40	c (122,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
942.52/126.40	c (122,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
942.52/126.40	c (122,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
942.52/126.40	c (122,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
942.52/126.40	c (122,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
942.52/126.40	c (122,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
942.52/126.40	c (122,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
942.52/126.40	c (122,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
942.52/126.40	c (122,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
942.52/126.40	c (122,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
942.52/126.40	c (122,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
942.52/126.40	c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.52/126.40	c (122,0) 
942.52/126.40	c (122,0) s SATISFIABLE
8.04/126.45	c (122,0) SatSolver.solve End
8.04/126.45	c (122,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.04/126.45	c (122,0) Show results Begin
942.92/126.55	c (122,0) x[0] = 327
942.92/126.55	c (122,0) x[1] = 265
942.92/126.55	c (122,0) x[2] = 241
942.92/126.55	c (122,0) x[3] = 239
942.92/126.55	c (122,0) x[4] = 265
942.92/126.55	c (122,0) x[5] = 239
942.92/126.55	c (122,0) x[6] = 298
942.92/126.55	c (122,0) x[7] = 407
942.92/126.55	c (122,0) x[8] = 241
942.92/126.55	c (122,0) x[9] = 282
942.92/126.55	c (122,0) x[10] = 235
942.92/126.55	c (122,0) x[11] = 327
942.92/126.55	c (122,0) x[12] = 160
942.92/126.55	c (122,0) x[13] = 160
942.92/126.55	c (122,0) x[14] = 239
942.92/126.55	c (122,0) x[15] = 298
942.92/126.55	c (122,0) x[16] = 342
942.92/126.55	c (122,0) x[17] = 0
942.92/126.55	c (122,0) x[18] = 239
942.92/126.55	c (122,0) x[19] = 235
942.92/126.55	c (122,0) x[20] = 461
942.92/126.55	c (122,0) x[21] = 407
942.92/126.55	c (122,0) x[22] = 400
942.92/126.55	c (122,0) x[23] = 0
942.92/126.55	c (122,0) x[24] = 0
942.92/126.55	c (122,0) y[0] = 234
942.92/126.55	c (122,0) y[1] = 292
942.92/126.55	c (122,0) y[2] = 318
942.92/126.55	c (122,0) y[3] = 292
942.92/126.55	c (122,0) y[4] = 309
942.92/126.55	c (122,0) y[5] = 249
942.92/126.55	c (122,0) y[6] = 309
942.92/126.55	c (122,0) y[7] = 353
942.92/126.55	c (122,0) y[8] = 342
942.92/126.55	c (122,0) y[9] = 249
942.92/126.55	c (122,0) y[10] = 399
942.92/126.55	c (122,0) y[11] = 161
942.92/126.55	c (122,0) y[12] = 239
942.92/126.55	c (122,0) y[13] = 318
942.92/126.55	c (122,0) y[14] = 161
942.92/126.55	c (122,0) y[15] = 353
942.92/126.55	c (122,0) y[16] = 234
942.92/126.55	c (122,0) y[17] = 239
942.92/126.55	c (122,0) y[18] = 0
942.92/126.55	c (122,0) y[19] = 462
942.92/126.55	c (122,0) y[20] = 234
942.92/126.55	c (122,0) y[21] = 407
942.92/126.55	c (122,0) y[22] = 0
942.92/126.55	c (122,0) y[23] = 399
942.92/126.55	c (122,0) y[24] = 0
942.92/126.55	s SATISFIABLE
942.92/126.56	v <instantiation>
942.92/126.56	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
942.92/126.56	v     <values>327 265 241 239 265 239 298 407 241 282 235 327 160 160 239 298 342 0 239 235 461 407 400 0 0 234 292 318 292 309 249 309 353 342 249 399 161 239 318 161 353 234 239 0 462 234 407 0 399 0</values>
942.92/126.56	v </instantiation>
942.92/126.56	c (122,0) Show results End
942.92/126.56	c (122,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
942.92/126.56	c (122,0) 122,122,STOP-AFTER(ALL)
942.92/126.56	c END-Prog: Tue Sep 24 17:13: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 (14070 MiB free)
  memory of node 1: 16384 MiB (10976 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405198-1569337912/watcher-4405198-1569337912 -o /var/tmp/evaluation-result-4405198-1569337912/solver-4405198-1569337912 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405198-1569337912.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
solver pid=10940, runsolver pid=10937
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.105279 s]*
/proc/loadavg: 6.80 6.51 4.79 2/212 10962
/proc/meminfo: memFree=25555240/32770624 swapFree=66997508/67108860
[pid=10940] ppid=10937 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10940/stat : 10940 (scop.sh) S 10937 10940 9260 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 509729539 115843072 349 33554432000 4194304 5098028 140734084166640 140734084163896 140154205196924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12873728 140734084170493 140734084170840 140734084170840 140734084173769 0
/proc/10940/statm: 28282 349 296 221 0 87 0
[pid=10943] ppid=10940 vsize=27314120 memory=107748 CPUtime=0.11 cores=0-7
/proc/10943/stat : 10943 (java) S 10940 10940 9260 0 -1 1077944320 6987 0 0 0 8 3 0 0 20 0 20 0 509729540 27969658880 26937 33554432000 4194304 4196468 140731242952032 140731242934576 140528297971447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
/proc/10943/statm: 6828530 26937 2823 1 0 6790935 0
[pid=10943/tid=10944] ppid=10940 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10943/task/10944/stat : 10944 (java) R 10940 10940 9260 0 -1 4202560 4932 0 0 0 7 2 0 0 20 0 20 0 509729540 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528269783432 140528297983382 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10945] ppid=10940 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10943/task/10945/stat : 10945 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528302213392 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10946] ppid=10940 vsize=27314120 memory=140007373334144 CPUtime=0 cores=0-7
/proc/10943/task/10946/stat : 10946 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528116369808 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10947] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10947/stat : 10947 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528115317264 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10948] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10948/stat : 10948 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528114264720 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10949] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10949/stat : 10949 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528113212176 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10950] ppid=10940 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10943/task/10950/stat : 10950 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528112159632 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10951] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10951/stat : 10951 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528111107088 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10952] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10952/stat : 10952 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 26937 33554432000 4194304 4196468 140731242952032 140528110054544 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10953] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10953/stat : 10953 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729544 27969658880 26937 33554432000 4194304 4196468 140731242952032 140526819534832 140528297982594 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10954] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10954/stat : 10954 (java) S 10940 10940 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509729544 27969658880 26937 33554432000 4194304 4196468 140731242952032 140525894099872 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10955] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10955/stat : 10955 (java) S 10940 10940 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509729545 27969658880 26937 33554432000 4194304 4196468 140731242952032 140525759878128 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10956] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10956/stat : 10956 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 26937 33554432000 4194304 4196468 140731242952032 140525385373904 140528297990043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10957] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10957/stat : 10957 (java) S 10940 10940 9260 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 26937 33554432000 4194304 4196468 140731242952032 140526818482672 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10958] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10958/stat : 10958 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 26937 33554432000 4194304 4196468 140731242952032 140526817430128 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10959] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10959/stat : 10959 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 26937 33554432000 4194304 4196468 140731242952032 140526816377584 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10960] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10960/stat : 10960 (java) R 10940 10940 9260 0 -1 4202560 462 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 27003 33554432000 4194304 4196468 140731242952032 140526815321800 140528278313989 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10961] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10961/stat : 10961 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 27003 33554432000 4194304 4196468 140731242952032 140524887468256 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10962] ppid=10940 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10943/task/10962/stat : 10962 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729548 27969658880 27003 33554432000 4194304 4196468 140731242952032 140526814271920 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109144 KiB

[startup+0.210369 s]*
/proc/loadavg: 6.80 6.51 4.79 2/212 10962
/proc/meminfo: memFree=25536668/32770624 swapFree=66997508/67108860
[pid=10940] ppid=10937 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10940/stat : 10940 (scop.sh) S 10937 10940 9260 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 509729539 115843072 349 33554432000 4194304 5098028 140734084166640 140734084163896 140154205196924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12873728 140734084170493 140734084170840 140734084170840 140734084173769 0
/proc/10940/statm: 28282 349 296 221 0 87 0
[pid=10943] ppid=10940 vsize=27314120 memory=121432 CPUtime=0.25 cores=0-7
/proc/10943/stat : 10943 (java) S 10940 10940 9260 0 -1 1077944320 11761 0 0 0 20 5 0 0 20 0 20 0 509729540 27969658880 30358 33554432000 4194304 4196468 140731242952032 140731242934576 140528297971447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
/proc/10943/statm: 6828530 30358 2919 1 0 6790935 0
[pid=10943/tid=10944] ppid=10940 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10943/task/10944/stat : 10944 (java) R 10940 10940 9260 0 -1 4202560 9443 0 0 0 16 4 0 0 20 0 20 0 509729540 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528269770832 140528279535003 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10945] ppid=10940 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10943/task/10945/stat : 10945 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528302213392 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10946] ppid=10940 vsize=27314120 memory=288370383525045888 CPUtime=0 cores=0-7
/proc/10943/task/10946/stat : 10946 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528116369808 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10947] ppid=10940 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10943/task/10947/stat : 10947 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528115317264 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10948] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10948/stat : 10948 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528114264720 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10949] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10949/stat : 10949 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528113212176 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10950] ppid=10940 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10943/task/10950/stat : 10950 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528112159632 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10951] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10951/stat : 10951 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528111107088 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10952] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10952/stat : 10952 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 30358 33554432000 4194304 4196468 140731242952032 140528110054544 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10953] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10953/stat : 10953 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729544 27969658880 30358 33554432000 4194304 4196468 140731242952032 140526819534832 140528297982594 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10954] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10954/stat : 10954 (java) S 10940 10940 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509729544 27969658880 30358 33554432000 4194304 4196468 140731242952032 140525894099872 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10955] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10955/stat : 10955 (java) S 10940 10940 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509729545 27969658880 30358 33554432000 4194304 4196468 140731242952032 140525759878128 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10956] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10956/stat : 10956 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 30358 33554432000 4194304 4196468 140731242952032 140525385373904 140528297990043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10957] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10957/stat : 10957 (java) S 10940 10940 9260 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 30358 33554432000 4194304 4196468 140731242952032 140526818482672 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10958] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10958/stat : 10958 (java) S 10940 10940 9260 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 30358 33554432000 4194304 4196468 140731242952032 140526817430128 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10959] ppid=10940 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10943/task/10959/stat : 10959 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 30358 33554432000 4194304 4196468 140731242952032 140526816377584 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10960] ppid=10940 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10943/task/10960/stat : 10960 (java) S 10940 10940 9260 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 509729547 27969658880 30358 33554432000 4194304 4196468 140731242952032 140526815325040 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10961] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10961/stat : 10961 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 30358 33554432000 4194304 4196468 140731242952032 140524887468256 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10962] ppid=10940 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10943/task/10962/stat : 10962 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729548 27969658880 30358 33554432000 4194304 4196468 140731242952032 140526814271920 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122828 KiB

[startup+0.310208 s]*
/proc/loadavg: 6.80 6.51 4.79 2/212 10962
/proc/meminfo: memFree=25534020/32770624 swapFree=66997508/67108860
[pid=10940] ppid=10937 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10940/stat : 10940 (scop.sh) S 10937 10940 9260 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 509729539 115843072 349 33554432000 4194304 5098028 140734084166640 140734084163896 140154205196924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12873728 140734084170493 140734084170840 140734084170840 140734084173769 0
/proc/10940/statm: 28282 349 296 221 0 87 0
[pid=10943] ppid=10940 vsize=27314120 memory=125340 CPUtime=0.42 cores=0-7
/proc/10943/stat : 10943 (java) S 10940 10940 9260 0 -1 1077944320 12756 0 0 0 37 5 0 0 20 0 20 0 509729540 27969658880 31335 33554432000 4194304 4196468 140731242952032 140731242934576 140528297971447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
/proc/10943/statm: 6828530 31335 3031 1 0 6790935 0
[pid=10943/tid=10944] ppid=10940 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10943/task/10944/stat : 10944 (java) R 10940 10940 9260 0 -1 4202560 10257 0 0 0 25 4 0 0 20 0 20 0 509729540 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528269801520 140528297993373 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10945] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10945/stat : 10945 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528302213392 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10946] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10946/stat : 10946 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528116369808 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10947] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10947/stat : 10947 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528115317264 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10948] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10948/stat : 10948 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528114264720 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10949] ppid=10940 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10943/task/10949/stat : 10949 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528113212176 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10950] ppid=10940 vsize=27314120 memory=140007276901295 CPUtime=0 cores=0-7
/proc/10943/task/10950/stat : 10950 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528112159632 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10951] ppid=10940 vsize=27314120 memory=140007276903600 CPUtime=0 cores=0-7
/proc/10943/task/10951/stat : 10951 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528111107088 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10952] ppid=10940 vsize=27314120 memory=140007276905904 CPUtime=0 cores=0-7
/proc/10943/task/10952/stat : 10952 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729542 27969658880 31335 33554432000 4194304 4196468 140731242952032 140528110054544 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10953] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10953/stat : 10953 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729544 27969658880 31335 33554432000 4194304 4196468 140731242952032 140526819534832 140528297982594 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10954] ppid=10940 vsize=27314120 memory=280014553818768 CPUtime=0 cores=0-7
/proc/10943/task/10954/stat : 10954 (java) S 10940 10940 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509729544 27969658880 31335 33554432000 4194304 4196468 140731242952032 140525894099872 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10955] ppid=10940 vsize=27314120 memory=280014553825680 CPUtime=0 cores=0-7
/proc/10943/task/10955/stat : 10955 (java) S 10940 10940 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509729545 27969658880 31335 33554432000 4194304 4196468 140731242952032 140525759878128 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10956] ppid=10940 vsize=27314120 memory=280014553766832 CPUtime=0 cores=0-7
/proc/10943/task/10956/stat : 10956 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 31335 33554432000 4194304 4196468 140731242952032 140525385373904 140528297990043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10957] ppid=10940 vsize=27314120 memory=280014553839504 CPUtime=0.02 cores=0-7
/proc/10943/task/10957/stat : 10957 (java) R 10940 10940 9260 0 -1 1077944384 566 0 0 0 2 0 0 0 20 0 20 0 509729547 27969658880 31335 33554432000 4194304 4196468 140731242952032 140526818482672 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10958] ppid=10940 vsize=27314120 memory=280014553846416 CPUtime=0.01 cores=0-7
/proc/10943/task/10958/stat : 10958 (java) S 10940 10940 9260 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 509729547 27969658880 31335 33554432000 4194304 4196468 140731242952032 140526817430128 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10959] ppid=10940 vsize=27314120 memory=280014553844112 CPUtime=0 cores=0-7
/proc/10943/task/10959/stat : 10959 (java) R 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 31335 33554432000 4194304 4196468 140731242952032 140526816377584 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10960] ppid=10940 vsize=27314120 memory=280014553860272 CPUtime=0.07 cores=0-7
/proc/10943/task/10960/stat : 10960 (java) S 10940 10940 9260 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 20 0 509729547 27969658880 31335 33554432000 4194304 4196468 140731242952032 140526815325040 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10961] ppid=10940 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10961/stat : 10961 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729547 27969658880 31335 33554432000 4194304 4196468 140731242952032 140524887468256 140528297981653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10962] ppid=10940 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10943/task/10962/stat : 10962 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729548 27969658880 31335 33554432000 4194304 4196468 140731242952032 140526814271920 140528297982594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126736 KiB

[startup+0.700914 s]
/proc/loadavg: 6.80 6.51 4.79 3/212 10962
/proc/meminfo: memFree=25510828/32770624 swapFree=66997508/67108860
[pid=10940] ppid=10937 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10940/stat : 10940 (scop.sh) S 10937 10940 9260 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 509729539 115843072 349 33554432000 4194304 5098028 140734084166640 140734084163896 140154205196924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12873728 140734084170493 140734084170840 140734084170840 140734084173769 0
/proc/10940/statm: 28282 349 296 221 0 87 0
[pid=10943] ppid=10940 vsize=27322516 memory=163808 CPUtime=1 cores=0-7
/proc/10943/stat : 10943 (java) S 10940 10940 9260 0 -1 1077944320 20559 0 0 0 93 7 0 0 20 0 20 0 509729540 27978256384 40952 33554432000 4194304 4196468 140731242952032 140731242934576 140528297971447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
/proc/10943/statm: 6830629 40952 3186 1 0 6791959 0
[pid=10943/tid=10944] ppid=10940 vsize=27322516 memory=280014554218160 CPUtime=0.67 cores=0-7
/proc/10943/task/10944/stat : 10944 (java) R 10940 10940 9260 0 -1 4202560 17498 0 0 0 61 6 0 0 20 0 20 0 509729540 27978256384 40952 33554432000 4194304 4196468 140731242952032 140528269803216 140528282051934 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10945] ppid=10940 vsize=27322516 memory=140007277110128 CPUtime=0 cores=0-7
/proc/10943/task/10945/stat : 10945 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509729542 27978256384 40952 33554432000 4194304 4196468 140731242952032 140528302213392 140528297981653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10946] ppid=10940 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10943/task/10946/stat : 10946 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509729542 27978256384 40952 33554432000 4194304 4196468 140731242952032 140528116369808 140528297981653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0
[pid=10943/tid=10947] ppid=10940 vsize=27322516 memory=6124 CPUtime=0 cores=0-7
/proc/10943/task/10947/stat : 10947 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509729542 27978256384 40952 33554432000 4194304 4196468 140731242952032 140528115317264 140528297981653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24399872 140731242955463 140731242955910 140731242955910 140731242958799 0

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

[pid=10963/tid=10966] ppid=10940 vsize=8414124 memory=828816 CPUtime=0 cores=0-7
/proc/10963/task/10966/stat : 10966 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 30152 33554432000 4194304 4196468 140731033760880 140111163661200 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10967] ppid=10940 vsize=8414124 memory=-8959737101998649746 CPUtime=0 cores=0-7
/proc/10963/task/10967/stat : 10967 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 30152 33554432000 4194304 4196468 140731033760880 140111162608656 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10968] ppid=10940 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10963/task/10968/stat : 10968 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110836960400 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10969] ppid=10940 vsize=8414124 memory=32956 CPUtime=0 cores=0-7
/proc/10963/task/10969/stat : 10969 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110835906832 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10970] ppid=10940 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/10963/task/10970/stat : 10970 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110834854288 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10971] ppid=10940 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10963/task/10971/stat : 10971 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110833801744 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10972] ppid=10940 vsize=8414124 memory=120608 CPUtime=0 cores=0-7
/proc/10963/task/10972/stat : 10972 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110832749200 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10973] ppid=10940 vsize=8414124 memory=828896 CPUtime=0 cores=0-7
/proc/10963/task/10973/stat : 10973 (java) S 10940 10940 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509729921 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110312892912 140111353666178 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10974] ppid=10940 vsize=8414124 memory=2540 CPUtime=0 cores=0-7
/proc/10963/task/10974/stat : 10974 (java) S 10940 10940 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509729922 8616062976 30152 33554432000 4194304 4196468 140731033760880 140109953361312 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10975] ppid=10940 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/10963/task/10975/stat : 10975 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509729922 8616062976 30152 33554432000 4194304 4196468 140731033760880 140109684925936 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10976] ppid=10940 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/10963/task/10976/stat : 10976 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509729924 8616062976 30152 33554432000 4194304 4196468 140731033760880 140109310417616 140111353673627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10977] ppid=10940 vsize=8414124 memory=-8959737101998649746 CPUtime=0.06 cores=0-7
/proc/10963/task/10977/stat : 10977 (java) S 10940 10940 9260 0 -1 1077944384 612 0 0 0 6 0 0 0 20 0 24 0 509729924 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110311839728 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10978] ppid=10940 vsize=8414124 memory=3628 CPUtime=0.04 cores=0-7
/proc/10963/task/10978/stat : 10978 (java) S 10940 10940 9260 0 -1 1077944384 258 0 0 0 4 0 0 0 20 0 24 0 509729924 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110310787184 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10979] ppid=10940 vsize=8414124 memory=2828 CPUtime=0.06 cores=0-7
/proc/10963/task/10979/stat : 10979 (java) S 10940 10940 9260 0 -1 1077944384 298 0 0 0 6 0 0 0 20 0 24 0 509729924 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110309734640 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10980] ppid=10940 vsize=8414124 memory=1048 CPUtime=0.19 cores=0-7
/proc/10963/task/10980/stat : 10980 (java) S 10940 10940 9260 0 -1 1077944384 691 0 0 0 19 0 0 0 20 0 24 0 509729924 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110308682096 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10981] ppid=10940 vsize=8414124 memory=6124 CPUtime=0 cores=0-7
/proc/10963/task/10981/stat : 10981 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509729924 8616062976 30152 33554432000 4194304 4196468 140731033760880 140108812511968 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10982] ppid=10940 vsize=8414124 memory=612 CPUtime=0.09 cores=0-7
/proc/10963/task/10982/stat : 10982 (java) S 10940 10940 9260 0 -1 1077944384 9 0 0 0 3 6 0 0 20 0 24 0 509729925 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110307630000 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10984] ppid=10940 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/10963/task/10984/stat : 10984 (java) S 10940 10940 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509729989 8616062976 30152 33554432000 4194304 4196468 140731033760880 140110299596480 140111353679641 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10986] ppid=10940 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/10963/task/10986/stat : 10986 (java) S 10940 10940 9260 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 24 0 509729990 8616062976 30152 33554432000 4194304 4196468 140731033760880 140108409847056 140111353676957 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10987] ppid=10940 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/10963/task/10987/stat : 10987 (java) S 10940 10940 9260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 509729990 8616062976 30152 33554432000 4194304 4196468 140731033760880 140108141411728 140111353676957 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10988] ppid=10940 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/10963/task/10988/stat : 10988 (java) S 10940 10940 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509729992 8616062976 30152 33554432000 4194304 4196468 140731033760880 140107872984240 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
Current children cumulated CPU time: 942.23 s
Current children cumulated vsize: 9535660 KiB
Current children cumulated memory: 950980 KiB

[startup+126.408 s]
/proc/loadavg: 7.70 6.89 5.14 2/219 11004
/proc/meminfo: memFree=24702820/32770624 swapFree=66997508/67108860
[pid=10940] ppid=10937 vsize=113128 memory=1476 CPUtime=6.75 cores=0-7
/proc/10940/stat : 10940 (scop.sh) S 10937 10940 9260 0 -1 4202496 584 27905 0 0 0 0 633 42 20 0 1 0 509729539 115843072 369 33554432000 4194304 5098028 140734084166640 140734084163384 140154205196924 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12873728 140734084170493 140734084170840 140734084170840 140734084173769 0
/proc/10940/statm: 28282 369 311 221 0 87 0
[pid=10963] ppid=10940 vsize=8414124 memory=124192 CPUtime=1.29 cores=0-7
/proc/10963/stat : 10963 (java) S 10940 10940 9260 0 -1 1077944320 21559 0 0 0 120 9 0 0 20 0 24 0 509729918 8616062976 31048 33554432000 4194304 4196468 140731033760880 140731033743424 140111353655031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
/proc/10963/statm: 2103531 31048 3201 1 0 2064875 0
[pid=10963/tid=10964] ppid=10940 vsize=8414124 memory=828896 CPUtime=0.73 cores=0-7
/proc/10963/task/10964/stat : 10964 (java) S 10940 10940 9260 0 -1 1077944384 16385 0 0 0 68 5 0 0 20 0 24 0 509729918 8616062976 31048 33554432000 4194304 4196468 140731033760880 140111325495200 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10965] ppid=10940 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/10963/task/10965/stat : 10965 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 31048 33554432000 4194304 4196468 140731033760880 140111357897488 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10966] ppid=10940 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10963/task/10966/stat : 10966 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 31048 33554432000 4194304 4196468 140731033760880 140111163661200 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10967] ppid=10940 vsize=8414124 memory=120608 CPUtime=0 cores=0-7
/proc/10963/task/10967/stat : 10967 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 31048 33554432000 4194304 4196468 140731033760880 140111162608656 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10968] ppid=10940 vsize=8414124 memory=830864 CPUtime=0 cores=0-7
/proc/10963/task/10968/stat : 10968 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110836960400 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10969] ppid=10940 vsize=8414124 memory=320318721837236250 CPUtime=0 cores=0-7
/proc/10963/task/10969/stat : 10969 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110835906832 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10970] ppid=10940 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/10963/task/10970/stat : 10970 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110834854288 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10971] ppid=10940 vsize=8414124 memory=15262532197681710 CPUtime=0 cores=0-7
/proc/10963/task/10971/stat : 10971 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110833801744 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10972] ppid=10940 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10963/task/10972/stat : 10972 (java) S 10940 10940 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509729920 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110832749200 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10973] ppid=10940 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/10963/task/10973/stat : 10973 (java) S 10940 10940 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509729921 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110312892912 140111353666178 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10974] ppid=10940 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/10963/task/10974/stat : 10974 (java) S 10940 10940 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509729922 8616062976 31048 33554432000 4194304 4196468 140731033760880 140109953361312 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10975] ppid=10940 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/10963/task/10975/stat : 10975 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509729922 8616062976 31048 33554432000 4194304 4196468 140731033760880 140109684925936 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10976] ppid=10940 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/10963/task/10976/stat : 10976 (java) S 10940 10940 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509729924 8616062976 31048 33554432000 4194304 4196468 140731033760880 140109310417616 140111353673627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10977] ppid=10940 vsize=8414124 memory=772 CPUtime=0.07 cores=0-7
/proc/10963/task/10977/stat : 10977 (java) R 10940 10940 9260 0 -1 4202560 631 0 0 0 7 0 0 0 20 0 24 0 509729924 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110311839728 140111345944480 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10978] ppid=10940 vsize=8414124 memory=10596 CPUtime=0.05 cores=0-7
/proc/10963/task/10978/stat : 10978 (java) R 10940 10940 9260 0 -1 4202560 400 0 0 0 5 0 0 0 20 0 24 0 509729924 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110310776448 140111331402526 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10979] ppid=10940 vsize=8414124 memory=1708 CPUtime=0.07 cores=0-7
/proc/10963/task/10979/stat : 10979 (java) S 10940 10940 9260 0 -1 1077944384 340 0 0 0 7 0 0 0 20 0 24 0 509729924 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110309734640 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10980] ppid=10940 vsize=8414124 memory=988 CPUtime=0.2 cores=0-7
/proc/10963/task/10980/stat : 10980 (java) R 10940 10940 9260 0 -1 4202560 714 0 0 0 20 0 0 0 20 0 24 0 509729924 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110308682096 140111353676378 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10981] ppid=10940 vsize=8414124 memory=3628 CPUtime=0 cores=0-7
/proc/10963/task/10981/stat : 10981 (java) S 10940 10940 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509729924 8616062976 31048 33554432000 4194304 4196468 140731033760880 140108812511968 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10982] ppid=10940 vsize=8414124 memory=2828 CPUtime=0.09 cores=0-7
/proc/10963/task/10982/stat : 10982 (java) R 10940 10940 9260 0 -1 1077944384 9 0 0 0 3 6 0 0 20 0 24 0 509729925 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110307630000 140111353666178 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10984] ppid=10940 vsize=8414124 memory=1048 CPUtime=0 cores=0-7
/proc/10963/task/10984/stat : 10984 (java) S 10940 10940 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509729989 8616062976 31048 33554432000 4194304 4196468 140731033760880 140110299596480 140111353679641 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10986] ppid=10940 vsize=8414124 memory=6124 CPUtime=0.02 cores=0-7
/proc/10963/task/10986/stat : 10986 (java) R 10940 10940 9260 0 -1 4202560 1715 0 0 0 2 0 0 0 20 0 24 0 509729990 8616062976 31048 33554432000 4194304 4196468 140731033760880 140108409847088 140111353676957 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10987] ppid=10940 vsize=8414124 memory=612 CPUtime=0 cores=0-7
/proc/10963/task/10987/stat : 10987 (java) S 10940 10940 9260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 509729990 8616062976 31048 33554432000 4194304 4196468 140731033760880 140108141411728 140111353676957 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10988] ppid=10940 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/10963/task/10988/stat : 10988 (java) S 10940 10940 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509729992 8616062976 31048 33554432000 4194304 4196468 140731033760880 140107872984240 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125668 KiB

[startup+126.501 s]
/proc/loadavg: 7.70 6.89 5.14 2/219 11004
/proc/meminfo: memFree=24702820/32770624 swapFree=66997508/67108860
[pid=10940] ppid=10937 vsize=113128 memory=1476 CPUtime=6.75 cores=0-7
/proc/10940/stat : 10940 (scop.sh) S 10937 10940 9260 0 -1 4202496 584 27905 0 0 0 0 633 42 20 0 1 0 509729539 115843072 369 33554432000 4194304 5098028 140734084166640 140734084163384 140154205196924 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12873728 140734084170493 140734084170840 140734084170840 140734084173769 0
/proc/10940/statm: 28282 369 311 221 0 87 0
[pid=10963] ppid=10940 vsize=8283048 memory=131364 CPUtime=936.17 cores=0-7
/proc/10963/stat : 10963 (java) S 10940 10940 9260 0 -1 1077944320 22669 770550 0 0 141 9 93307 160 20 0 22 0 509729918 8481841152 32841 33554432000 4194304 4196468 140731033760880 140731033743424 140111353655031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
/proc/10963/statm: 2070762 32841 3222 1 0 2032106 0
[pid=10963/tid=10964] ppid=10940 vsize=8283048 memory=828896 CPUtime=935.45 cores=0-7
/proc/10963/task/10964/stat : 10964 (java) R 10940 10940 9260 0 -1 4202560 16541 770550 0 0 73 5 93307 160 20 0 22 0 509729918 8481841152 32841 33554432000 4194304 4196468 140731033760880 140111325490512 140111353666966 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10965] ppid=10940 vsize=8283048 memory=1476 CPUtime=934.67 cores=0-7
/proc/10963/task/10965/stat : 10965 (java) S 10940 10940 9260 0 -1 1077944384 2 770550 0 0 0 0 93307 160 20 0 22 0 509729920 8481841152 32841 33554432000 4194304 4196468 140731033760880 140111357897488 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10966] ppid=10940 vsize=8283048 memory=120608 CPUtime=934.67 cores=0-7
/proc/10963/task/10966/stat : 10966 (java) S 10940 10940 9260 0 -1 1077944384 2 770550 0 0 0 0 93307 160 20 0 22 0 509729920 8481841152 32841 33554432000 4194304 4196468 140731033760880 140111163661200 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10967] ppid=10940 vsize=8283048 memory=1476 CPUtime=934.67 cores=0-7
/proc/10963/task/10967/stat : 10967 (java) S 10940 10940 9260 0 -1 1077944384 1 770550 0 0 0 0 93307 160 20 0 22 0 509729920 8481841152 32841 33554432000 4194304 4196468 140731033760880 140111162608656 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10968] ppid=10940 vsize=8283048 memory=830920 CPUtime=934.67 cores=0-7
/proc/10963/task/10968/stat : 10968 (java) S 10940 10940 9260 0 -1 1077944384 3 770550 0 0 0 0 93307 160 20 0 22 0 509729920 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110836960400 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10969] ppid=10940 vsize=8283048 memory=94377611384275 CPUtime=934.67 cores=0-7
/proc/10963/task/10969/stat : 10969 (java) S 10940 10940 9260 0 -1 1077944384 2 770550 0 0 0 0 93307 160 20 0 22 0 509729920 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110835906832 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10970] ppid=10940 vsize=8283048 memory=828896 CPUtime=934.67 cores=0-7
/proc/10963/task/10970/stat : 10970 (java) S 10940 10940 9260 0 -1 1077944384 2 770550 0 0 0 0 93307 160 20 0 22 0 509729920 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110834854288 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10971] ppid=10940 vsize=8283048 memory=-7595718148000617580 CPUtime=934.67 cores=0-7
/proc/10963/task/10971/stat : 10971 (java) S 10940 10940 9260 0 -1 1077944384 2 770550 0 0 0 0 93307 160 20 0 22 0 509729920 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110833801744 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10972] ppid=10940 vsize=8283048 memory=-7028383565733675155 CPUtime=934.67 cores=0-7
/proc/10963/task/10972/stat : 10972 (java) S 10940 10940 9260 0 -1 1077944384 2 770550 0 0 0 0 93307 160 20 0 22 0 509729920 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110832749200 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10973] ppid=10940 vsize=8283048 memory=280014556167728 CPUtime=934.67 cores=0-7
/proc/10963/task/10973/stat : 10973 (java) S 10940 10940 9260 0 -1 1077944384 7 770550 0 0 0 0 93307 160 20 0 22 0 509729921 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110312892912 140111353666178 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10974] ppid=10940 vsize=8283048 memory=8948 CPUtime=934.67 cores=0-7
/proc/10963/task/10974/stat : 10974 (java) S 10940 10940 9260 0 -1 1077944384 13 770550 0 0 0 0 93307 160 20 0 22 0 509729922 8481841152 32841 33554432000 4194304 4196468 140731033760880 140109953361312 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10975] ppid=10940 vsize=8283048 memory=3624 CPUtime=934.67 cores=0-7
/proc/10963/task/10975/stat : 10975 (java) S 10940 10940 9260 0 -1 1077944384 1 770550 0 0 0 0 93307 160 20 0 22 0 509729922 8481841152 32841 33554432000 4194304 4196468 140731033760880 140109684925936 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10976] ppid=10940 vsize=8283048 memory=63712 CPUtime=934.67 cores=0-7
/proc/10963/task/10976/stat : 10976 (java) S 10940 10940 9260 0 -1 1077944384 1 770550 0 0 0 0 93307 160 20 0 22 0 509729924 8481841152 32841 33554432000 4194304 4196468 140731033760880 140109310417616 140111353673627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10977] ppid=10940 vsize=8283048 memory=1540 CPUtime=934.77 cores=0-7
/proc/10963/task/10977/stat : 10977 (java) R 10940 10940 9260 0 -1 4202560 843 770550 0 0 10 0 93307 160 20 0 22 0 509729924 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110311839728 140111346640073 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10978] ppid=10940 vsize=8283048 memory=772 CPUtime=934.75 cores=0-7
/proc/10963/task/10978/stat : 10978 (java) R 10940 10940 9260 0 -1 4202560 538 770550 0 0 8 0 93307 160 20 0 22 0 509729924 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110310787184 140111335218587 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10979] ppid=10940 vsize=8283048 memory=828816 CPUtime=934.76 cores=0-7
/proc/10963/task/10979/stat : 10979 (java) R 10940 10940 9260 0 -1 4202560 402 770550 0 0 9 0 93307 160 20 0 22 0 509729924 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110309734640 140111346640073 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10980] ppid=10940 vsize=8283048 memory=3624 CPUtime=934.92 cores=0-7
/proc/10963/task/10980/stat : 10980 (java) S 10940 10940 9260 0 -1 1077944384 835 770550 0 0 25 0 93307 160 20 0 22 0 509729924 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110308682096 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10981] ppid=10940 vsize=8283048 memory=0 CPUtime=934.67 cores=0-7
/proc/10963/task/10981/stat : 10981 (java) S 10940 10940 9260 0 -1 1077944384 3 770550 0 0 0 0 93307 160 20 0 22 0 509729924 8481841152 32841 33554432000 4194304 4196468 140731033760880 140108812511968 140111353665237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10982] ppid=10940 vsize=8283048 memory=7233713801435298362 CPUtime=934.76 cores=0-7
/proc/10963/task/10982/stat : 10982 (java) S 10940 10940 9260 0 -1 1077944384 9 770550 0 0 3 6 93307 160 20 0 22 0 509729925 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110307630000 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10984] ppid=10940 vsize=8283048 memory=49263207778794 CPUtime=934.67 cores=0-7
/proc/10963/task/10984/stat : 10984 (java) S 10940 10940 9260 0 -1 1077944384 23 770550 0 0 0 0 93307 160 20 0 22 0 509729989 8481841152 32841 33554432000 4194304 4196468 140731033760880 140110299595664 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
[pid=10963/tid=10988] ppid=10940 vsize=8283048 memory=6124 CPUtime=934.67 cores=0-7
/proc/10963/task/10988/stat : 10988 (java) S 10940 10940 9260 0 -1 1077944384 14 770550 0 0 0 0 93307 160 20 0 22 0 509729992 8481841152 32841 33554432000 4194304 4196468 140731033760880 140107872986032 140111353666178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37466112 140731033764831 140731033764998 140731033764998 140731033767887 0
Current children cumulated CPU time: 942.92 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 132840 KiB

Child status: 0
Real time (s): 126.572
CPU time (s): 943.165
CPU user time (s): 941.028
CPU system time (s): 2.13716
CPU usage (%): 745.161
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2065592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 941.028
system time used= 2.13716
maximum resident set size= 2070240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 822014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22397
involuntary context switches= 9779


# summary of solver processes directly reported to runsolver:
#   pid: 10940
#   total CPU time (s): 943.165
#   total CPU user time (s): 941.028
#   total CPU system time (s): 2.13716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19441 second user time and 1.82687 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 17:11:11
IDJOB=4405198
IDBENCH=127846
IDSOLVER=2867
FILE ID=node140/4405198-1569337912
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-203.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 /var/tmp/evaluation-result-4405198-1569337912/watcher-4405198-1569337912 -o /var/tmp/evaluation-result-4405198-1569337912/solver-4405198-1569337912 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405198-1569337912.xml

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

MD5SUM BENCH= ce251f4c9ae0df3aa97e9296eb89cd68
RANDOM SEED=377153510

node140.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.43
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.43
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.43
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.43
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:        25650024 kB
MemAvailable:   31844660 kB
Buffers:          119340 kB
Cached:          6173280 kB
SwapCached:         2800 kB
Active:          3125132 kB
Inactive:        3174924 kB
Active(anon):       4264 kB
Inactive(anon):    58400 kB
Active(file):    3120868 kB
Inactive(file):  3116524 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997508 kB
Dirty:             20516 kB
Writeback:             0 kB
AnonPages:        112748 kB
Mapped:            56612 kB
Shmem:             46804 kB
Slab:             414528 kB
SReclaimable:     385704 kB
SUnreclaim:        28824 kB
KernelStack:        3408 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 17:13:17