Trace number 4392624

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 299.781 44.0631

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-94.xml
MD5SUM6d6d0435d13d3ff0671cf8a5c787b057
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark48.6477
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints496
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree7
Maximum variable degree30
Distribution of variable degrees[{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":7},{"degree":23,"count":1},{"degree":24,"count":2},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":29,"count":4},{"degree":30,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":496}]
Number of extensional constraints496
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":496}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22909-serial-file.bin HOME/instance-4392624-1568426192.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 03:55:52 CEST 2019
0.65/0.56	c PID: 22912
0.65/0.56	c IP: 172.20.3.127
0.65/0.56	c HOST: node127.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.50/1.17	c (0,0) Parsing End
2.50/1.18	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 496 ctr, max domain size 20
2.50/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.50/1.18	c (0,0) Constraint Name Generate Begin
2.50/1.19	c (0,0) Ctr:HOME/instance-4392624-1568426192.xml,ExtensionConflict:Var
2.50/1.19	c (0,0) Constraint Name Generate End
2.50/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.50/1.19	c (0,0) CSP to CSPinCNF Begin
5.09/1.91	c (1,1) translated 50 (10%) constraints
5.95/2.19	c (1,1) translated 100 (20%) constraints
7.50/2.85	c (2,1) translated 149 (30%) constraints
8.33/3.07	c (2,2) translated 199 (40%) constraints
8.57/3.26	c (2,2) translated 248 (50%) constraints
8.83/3.45	c (2,2) translated 298 (60%) constraints
9.05/3.64	c (3,2) translated 348 (70%) constraints
9.26/3.83	c (3,2) translated 397 (80%) constraints
9.49/4.02	c (3,3) translated 447 (90%) constraints
9.71/4.22	c (3,3) translated 496 (100%) constraints
9.71/4.22	c (3,3) ===========================================
9.71/4.26	c (3,3) Hybrid: #OE=50, #LE=0
9.71/4.26	c (3,3) Hybrid
9.71/4.26	c (3,3) ===========================================
10.00/4.38	c (3,3) translated 3772 (10%) constraints
10.21/4.47	c (3,3) translated 7544 (20%) constraints
10.46/4.56	c (4,3) translated 11315 (30%) constraints
10.56/4.64	c (4,3) translated 15087 (40%) constraints
10.65/4.73	c (4,3) translated 18858 (50%) constraints
10.76/4.81	c (4,3) translated 22630 (60%) constraints
10.85/4.90	c (4,3) translated 26402 (70%) constraints
10.85/4.99	c (4,4) translated 30173 (80%) constraints
10.97/5.07	c (4,4) translated 33945 (90%) constraints
11.08/5.16	c (4,4) translated 37716 (100%) constraints
11.08/5.16	c (4,4) CSP to CSPinCNF End
11.08/5.16	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
11.08/5.16	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.08/5.16	c (4,4) CSPinCNF Propagation Begin
11.84/5.44	c (4,4) 0 values, 4251 unsatisfiable literals, and 0 valid clauses are removed
11.84/5.44	c (4,4) CSPinCNF Propagation End
11.84/5.44	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
11.84/5.44	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.84/5.47	c (4,4) Hybrid: #OE=50, #LE=0
11.84/5.47	c (4,4) Simplify CSPinCNF Begin
12.14/5.60	c (5,4) Simplify CSPinCNF End
12.14/5.60	c (5,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
12.14/5.60	c (5,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.14/5.60	c (5,4) Calculate Precise Domain Begin
12.14/5.60	c (5,4) 0 values are removed by re-calculation
12.14/5.60	c (5,4) Calculate Precise Domain End
12.14/5.60	c (5,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20
12.14/5.60	c (5,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.14/5.60	c (5,4) CSPinCNF to SatSolver Begin
12.86/5.81	c (5,4) 3772 (10 %) CSP clauses are encoded (0 SAT variables, 4671 SAT clauses)
12.86/5.89	c (5,4) 7544 (20 %) CSP clauses are encoded (0 SAT variables, 8443 SAT clauses)
13.26/5.95	c (5,4) 11315 (30 %) CSP clauses are encoded (0 SAT variables, 12214 SAT clauses)
13.26/6.00	c (5,5) 15087 (40 %) CSP clauses are encoded (0 SAT variables, 15986 SAT clauses)
13.59/6.04	c (5,5) 18858 (50 %) CSP clauses are encoded (0 SAT variables, 19757 SAT clauses)
13.59/6.09	c (5,5) 22630 (60 %) CSP clauses are encoded (0 SAT variables, 23529 SAT clauses)
13.69/6.13	c (5,5) 26402 (70 %) CSP clauses are encoded (0 SAT variables, 27301 SAT clauses)
13.69/6.18	c (5,5) 30173 (80 %) CSP clauses are encoded (0 SAT variables, 31072 SAT clauses)
13.79/6.22	c (5,5) 33945 (90 %) CSP clauses are encoded (0 SAT variables, 34844 SAT clauses)
13.79/6.27	c (5,5) 37716 (100 %) CSP clauses are encoded (0 SAT variables, 38615 SAT clauses)
13.79/6.27	c (5,5) CSPinCNF to SatSolver End
13.79/6.27	c (5,5) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.79/6.27	c (5,5) 950 bool, 38616 clause
13.79/6.27	c (5,5) Export Begin
13.92/6.36	c (5,5) Export to HOME/scop-22909-serial-file.bin
13.92/6.36	c (5,5) Export End
13.92/6.36	c (5,5) Export File Size: 0.01 MB
13.92/6.36	c (5,5) 0,0,4,4,5,5,5,STOP-AFTER(DIMACS)
13.92/6.36	c END-Prog: Sat Sep 14 03:55:58 CEST 2019
13.92/6.38	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22909-serial-file.bin
14.13/6.84	c (0,0) Read Serial File Begin
14.13/6.84	c (0,0) HOME/scop-22909-serial-file.bin
14.98/7.05	c (0,0) Read Serial File End
14.98/7.06	
14.98/7.06	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
14.98/7.06	(Solving Process)
14.98/7.06	
14.98/7.08	c BEGIN-Prog: Sat Sep 14 03:55:59 CEST 2019
14.98/7.08	c PID: 22932
14.98/7.08	c IP: 172.20.3.127
14.98/7.08	c HOST: node127.alineos.net
14.98/7.09	c (0,0) SatSolver.solve Begin
14.98/7.09	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392624-1568426192.xml-scop-22912.cnf
15.18/7.11	c (0,0) c
15.18/7.11	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
15.18/7.11	c (0,0) c
15.18/7.11	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.18/7.11	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
15.18/7.11	c (0,0) c ========================================[ Problem Statistics ]===========================================
15.18/7.11	c (0,0) c |                                                                                                       |
15.18/7.12	c (0,0) c |  Number of variables:           950                                                                   |
15.18/7.12	c (0,0) c |  Number of clauses:           38616                                                                   |
15.18/7.12	c (0,0) c |  Parse time:                   0.01 s                                                                 |
15.18/7.12	c (0,0) c |                                                                                                       |
15.18/7.16	c (0,0) c |  Simplification time:          0.04 s                                                                 |
15.18/7.16	c (0,0) c |                                                                                                       |
15.18/7.16	c (0,0) c |  Generating clones                                                                                    |
15.18/7.17	c (0,0) c |  all clones generated. Memory =    42.05Mb.                                                           |
15.18/7.17	c (0,0) c ========================================================================================================|
15.18/7.17	c (0,0) c
15.18/7.17	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
15.18/7.17	c (0,0) c
15.18/7.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
15.18/7.17	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
15.18/7.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
15.18/7.17	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
15.18/7.17	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
15.18/7.17	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
15.18/7.17	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
15.18/7.17	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
15.18/7.17	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
15.18/7.17	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
15.18/7.17	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
15.18/7.17	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
15.18/7.17	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
15.18/7.17	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
15.18/7.17	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
15.18/7.17	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
15.18/7.17	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
15.18/7.17	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
15.18/7.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
247.15/36.77	c (30,0) c
247.15/36.77	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
247.15/36.77	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
247.15/36.77	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
247.15/36.77	c (30,0) c |  0 |    140 |     540396 |     449060 |    50046 |     2859 |    54784 |   221216 |     4630 |      504 |  20 |  0.739 |
247.15/36.77	c (30,0) c |  1 |     49 |     406665 |     339224 |    28947 |    66893 |    35700 |   224017 |    14562 |      504 |  20 |  0.211 |
247.15/36.77	c (30,0) c |  2 |     87 |     405316 |     337023 |    27365 |    36534 |    33119 |   247448 |    14773 |      501 |  20 |  1.055 |
247.15/36.77	c (30,0) c |  3 |     95 |     407298 |     340421 |    27406 |    53717 |    36938 |   239202 |    15898 |      490 |  20 |  0.843 |
247.15/36.77	c (30,0) c |  4 |     70 |     424753 |     353945 |    26593 |    36007 |    33271 |   242697 |    14173 |      497 |  20 |  0.737 |
247.15/36.77	c (30,0) c |  5 |     60 |     397809 |     331173 |    27064 |    61335 |    29973 |   249201 |    15446 |      504 |  20 |  0.737 |
247.15/36.77	c (30,0) c |  6 |    233 |     405188 |     336297 |    26676 |    61924 |    31967 |   241386 |    14381 |      484 |  20 |  0.738 |
247.15/36.77	c (30,0) c |  7 |    106 |     400038 |     333236 |    26532 |    58740 |    31703 |   249771 |    15124 |      504 |  20 |  0.739 |
247.15/36.77	c (30,0) c 
247.15/36.77	c (30,0) c synthesis     2820379 conflicts   292089310 propagations    12162 conflicts/sec  1259508 propagations/sec
247.15/36.77	c (30,0) c real: 29.6589 s, cpu: 231.908 s, memory: 650.58 Mb
299.64/44.03	c (37,0) c
299.64/44.03	c (37,0) c real time : 36.9167 s
299.64/44.03	c (37,0) c cpu time  : 283.857 s
299.64/44.03	c (37,0) c
299.64/44.03	c (37,0) c
299.64/44.03	c (37,0) c
299.64/44.03	c (37,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
299.64/44.03	c (37,0) c
299.64/44.03	c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.03	c (37,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
299.64/44.03	c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.03	c (37,0) c | Conflicts     |         3340515 |     535925 |     403950 |     400686 |     411082 |     417158 |     382647 |     401489 |     387578 |
299.64/44.03	c (37,0) c | Decisions     |         4004179 |     643586 |     482985 |     480935 |     490940 |     499734 |     458950 |     482866 |     464183 |
299.64/44.03	c (37,0) c | Propagations  |       344303619 |   56485365 |   41861846 |   40679889 |   42304942 |   42312923 |   39226921 |   41402654 |   40029079 |
299.64/44.03	c (37,0) c | ReduceDBs     |             342 |        225 |         17 |         17 |         17 |         17 |         16 |         17 |         16 |
299.64/44.03	c (37,0) c | SimpDBs       |              78 |         15 |          9 |          8 |         10 |          9 |          7 |         11 |          9 |
299.64/44.03	c (37,0) c | Restarts      |             917 |        146 |         55 |        104 |        101 |         81 |         73 |        244 |        113 |
299.64/44.03	c (37,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
299.64/44.03	c (37,0) c | PropBinClauses|       334218570 |   54816923 |   40357795 |   39454098 |   40951928 |   41280463 |   38257639 |   40213694 |   38886030 |
299.64/44.03	c (37,0) c | PropPreBlocker|     22087268761 | 2760287662 | 2748689787 | 2770396223 | 2718648543 | 2744602283 | 2809890639 | 2740556861 | 2794196763 |
299.64/44.03	c (37,0) c | PropNotBlocker|      3323763059 |  470393050 |  415184051 |  413835246 |  432655256 |  410374863 |  384590739 |  409043273 |  387686581 |
299.64/44.03	c (37,0) c | LitFullScans  |     29239818122 | 3665711776 | 3653171793 | 3660306687 | 3644402589 | 3648354239 | 3666370436 | 3641145017 | 3660355585 |
299.64/44.03	c (37,0) c | LitScanFracts |         2922473 |     186378 |     461416 |     302338 |     378624 |     344954 |     362693 |     535829 |     350241 |
299.64/44.03	c (37,0) c | DecisionLevel0|            1002 |        166 |         76 |        106 |        119 |         83 |         74 |        264 |        114 |
299.64/44.03	c (37,0) c | Periods       |            4870 |        610 |        608 |        610 |        607 |        608 |        611 |        606 |        610 |
299.64/44.03	c (37,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
299.64/44.03	c (37,0) c | Avg_Trail     |                 |        354 |        358 |        350 |        352 |        352 |        352 |        351 |        352 |
299.64/44.03	c (37,0) c | Avg_DL        |                 |         12 |         12 |         12 |         12 |         12 |         12 |         11 |         12 |
299.64/44.03	c (37,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
299.64/44.03	c (37,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
299.64/44.03	c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.03	c (37,0) c | Exported      |          333257 |      66967 |      39759 |      37364 |      41465 |      37807 |      34881 |      38177 |      36837 |
299.64/44.03	c (37,0) c | Imported      |         2214302 |     257742 |     281984 |     285099 |     279801 |     273447 |     272250 |     283168 |     280811 |
299.64/44.03	c (37,0) c | Good          |            1961 |        264 |        277 |        294 |        221 |        193 |        179 |        279 |        254 |
299.64/44.03	c (37,0) c | Purge         |         2212341 |     257478 |     281707 |     284805 |     279580 |     273254 |     272071 |     282889 |     280557 |
299.64/44.03	c (37,0) c | Promoted      |          136754 |       5261 |      17687 |      18203 |      19603 |      18170 |      19293 |      19007 |      19530 |
299.64/44.03	c (37,0) c | Remove_Imp    |         1502088 |     235976 |     198846 |     183955 |     195607 |     176676 |     162802 |     176573 |     171653 |
299.64/44.03	c (37,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
299.64/44.03	c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.03	c (37,0) c | Unaries       |                 |         20 |         21 |          2 |         18 |          2 |          1 |         20 |          1 |
299.64/44.03	c (37,0) c | Binaries      |                 |        102 |         82 |         33 |        151 |         28 |         24 |        108 |         26 |
299.64/44.03	c (37,0) c | Glues         |                 |        732 |        515 |        467 |        613 |        452 |        459 |        567 |        470 |
299.64/44.03	c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.03	c (37,0) c | Orig_Seen     |           100 % |      58560 |      29155 |      27438 |      27517 |      26725 |      27115 |      26747 |      26642 |
299.64/44.03	c (37,0) c | Diff Orig seen|                 |      31813 |       2408 |        691 |        770 | -       22 |        368 |      X     | -      105 |
299.64/44.03	c (37,0) c | Hamming       |            19 % |        191 |        179 |        180 |        186 |        171 |        201 |      X     |        191 |
299.64/44.03	c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.03	c (37,0) c | RunningTime   |                 |   33.7  94%|   35.3  98%|   35.5  99%|   36.6 100%|   36.2 100%|   35.5  99%|   36.7 100%|   34.6  96%|
299.64/44.03	c (37,0) c | WaitingTime   |                 |    2.2   6%|    0.7   2%|    0.4   1%|    0.0   0%|    0.0   0%|    0.4   1%|    0.0   0%|    1.3   4%|
299.64/44.03	c (37,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%|
299.64/44.03	c (37,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%|
299.64/44.03	c (37,0) c | SolvingTime   |                 |   36.0     |   36.1     |   36.0     |   36.7     |   36.2     |   36.0     |   36.8     |   36.0     |
299.64/44.03	c (37,0) c | PropagationTim|                 |   31.0  86%|   32.7  91%|   32.5  90%|   32.7  89%|   32.5  90%|   31.9  89%|   32.7  89%|   32.5  90%|
299.64/44.03	c (37,0) c | AnalysisTime  |                 |    3.2   9%|    2.3   6%|    2.4   7%|    2.9   8%|    2.5   7%|    2.9   8%|    2.9   8%|    2.4   7%|
299.64/44.03	c (37,0) c | ReductionTime |                 |    0.8   2%|    0.4   1%|    0.4   1%|    0.4   1%|    0.5   1%|    0.4   1%|    0.5   1%|    0.4   1%|
299.64/44.03	c (37,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
299.64/44.03	c (37,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%|
299.64/44.03	c (37,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%|
299.64/44.03	c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.03	c (37,0) c
299.64/44.03	c (37,0) c
299.64/44.03	c (37,0) c Threads : 8
299.64/44.03	c (37,0) c Winner : 6
299.64/44.03	c (37,0) c Conflicts_0 : 535925
299.64/44.03	c (37,0) c Conflicts_1 : 403950
299.64/44.03	c (37,0) c Conflicts_2 : 400686
299.64/44.03	c (37,0) c Conflicts_3 : 411082
299.64/44.03	c (37,0) c Conflicts_4 : 417158
299.64/44.03	c (37,0) c Conflicts_5 : 382647
299.64/44.03	c (37,0) c Conflicts_6 : 401489
299.64/44.03	c (37,0) c Conflicts_7 : 387578
299.64/44.03	c (37,0) c Conflicts_total : 3340515
299.64/44.03	c (37,0) c Conflicts_winner : 401489
299.64/44.03	c (37,0) c Decisions_0 : 643586
299.64/44.03	c (37,0) c Decisions_1 : 482985
299.64/44.03	c (37,0) c Decisions_2 : 480935
299.64/44.03	c (37,0) c Decisions_3 : 490940
299.64/44.03	c (37,0) c Decisions_4 : 499734
299.64/44.03	c (37,0) c Decisions_5 : 458950
299.64/44.03	c (37,0) c Decisions_6 : 482866
299.64/44.03	c (37,0) c Decisions_7 : 464183
299.64/44.03	c (37,0) c Decisions_total : 4004179
299.64/44.03	c (37,0) c Decisions_winner : 482866
299.64/44.03	c (37,0) c Propagations_0 : 56485365
299.64/44.03	c (37,0) c Propagations_1 : 41861846
299.64/44.03	c (37,0) c Propagations_2 : 40679889
299.64/44.03	c (37,0) c Propagations_3 : 42304942
299.64/44.03	c (37,0) c Propagations_4 : 42312923
299.64/44.03	c (37,0) c Propagations_5 : 39226921
299.64/44.03	c (37,0) c Propagations_6 : 41402654
299.64/44.03	c (37,0) c Propagations_7 : 40029079
299.64/44.03	c (37,0) c Propagations_total : 344303619
299.64/44.03	c (37,0) c Propagations_winner : 41402654
299.64/44.03	c (37,0) c ReduceDBs_0 : 225
299.64/44.03	c (37,0) c ReduceDBs_1 : 17
299.64/44.03	c (37,0) c ReduceDBs_2 : 17
299.64/44.03	c (37,0) c ReduceDBs_3 : 17
299.64/44.03	c (37,0) c ReduceDBs_4 : 17
299.64/44.03	c (37,0) c ReduceDBs_5 : 16
299.64/44.03	c (37,0) c ReduceDBs_6 : 17
299.64/44.03	c (37,0) c ReduceDBs_7 : 16
299.64/44.03	c (37,0) c ReduceDBs_total : 342
299.64/44.03	c (37,0) c ReduceDBs_winner : 17
299.64/44.03	c (37,0) c SimpDBs_0 : 15
299.64/44.03	c (37,0) c SimpDBs_1 : 9
299.64/44.03	c (37,0) c SimpDBs_2 : 8
299.64/44.03	c (37,0) c SimpDBs_3 : 10
299.64/44.03	c (37,0) c SimpDBs_4 : 9
299.64/44.03	c (37,0) c SimpDBs_5 : 7
299.64/44.03	c (37,0) c SimpDBs_6 : 11
299.64/44.03	c (37,0) c SimpDBs_7 : 9
299.64/44.03	c (37,0) c SimpDBs_total : 78
299.64/44.03	c (37,0) c SimpDBs_winner : 11
299.64/44.03	c (37,0) c Restarts_0 : 146
299.64/44.03	c (37,0) c Restarts_1 : 55
299.64/44.03	c (37,0) c Restarts_2 : 104
299.64/44.03	c (37,0) c Restarts_3 : 101
299.64/44.03	c (37,0) c Restarts_4 : 81
299.64/44.03	c (37,0) c Restarts_5 : 73
299.64/44.03	c (37,0) c Restarts_6 : 244
299.64/44.03	c (37,0) c Restarts_7 : 113
299.64/44.03	c (37,0) c Restarts_total : 917
299.64/44.03	c (37,0) c Restarts_winner : 244
299.64/44.03	c (37,0) c ForcedImports_0 : 0
299.64/44.03	c (37,0) c ForcedImports_1 : 0
299.64/44.03	c (37,0) c ForcedImports_2 : 0
299.64/44.03	c (37,0) c ForcedImports_3 : 0
299.64/44.03	c (37,0) c ForcedImports_4 : 0
299.64/44.03	c (37,0) c ForcedImports_5 : 0
299.64/44.03	c (37,0) c ForcedImports_6 : 0
299.64/44.03	c (37,0) c ForcedImports_7 : 0
299.64/44.03	c (37,0) c ForcedImports_total : 0
299.64/44.03	c (37,0) c ForcedImports_winner : 0
299.64/44.03	c (37,0) c PropsBinClauses_0 : 54816923
299.64/44.03	c (37,0) c PropsBinClauses_1 : 40357795
299.64/44.03	c (37,0) c PropsBinClauses_2 : 39454098
299.64/44.03	c (37,0) c PropsBinClauses_3 : 40951928
299.64/44.03	c (37,0) c PropsBinClauses_4 : 41280463
299.64/44.03	c (37,0) c PropsBinClauses_5 : 38257639
299.64/44.03	c (37,0) c PropsBinClauses_6 : 40213694
299.64/44.03	c (37,0) c PropsBinClauses_7 : 38886030
299.64/44.03	c (37,0) c PropsBinClauses_total : 334218570
299.64/44.03	c (37,0) c PropsBinClauses_winner : 40213694
299.64/44.03	c (37,0) c PropsPreBlocker_0 : 2760287662
299.64/44.03	c (37,0) c PropsPreBlocker_1 : 2748689787
299.64/44.03	c (37,0) c PropsPreBlocker_2 : 2770396223
299.64/44.03	c (37,0) c PropsPreBlocker_3 : 2718648543
299.64/44.03	c (37,0) c PropsPreBlocker_4 : 2744602283
299.64/44.03	c (37,0) c PropsPreBlocker_5 : 2809890639
299.64/44.03	c (37,0) c PropsPreBlocker_6 : 2740556861
299.64/44.03	c (37,0) c PropsPreBlocker_7 : 2794196763
299.64/44.03	c (37,0) c PropsPreBlocker_total : 22087268761
299.64/44.03	c (37,0) c PropsPreBlocker_winner : 2740556861
299.64/44.03	c (37,0) c PropsNotBlocker_0 : 470393050
299.64/44.03	c (37,0) c PropsNotBlocker_1 : 415184051
299.64/44.03	c (37,0) c PropsNotBlocker_2 : 413835246
299.64/44.03	c (37,0) c PropsNotBlocker_3 : 432655256
299.64/44.03	c (37,0) c PropsNotBlocker_4 : 410374863
299.64/44.03	c (37,0) c PropsNotBlocker_5 : 384590739
299.64/44.03	c (37,0) c PropsNotBlocker_6 : 409043273
299.64/44.03	c (37,0) c PropsNotBlocker_7 : 387686581
299.64/44.03	c (37,0) c PropsNotBlocker_total : 3323763059
299.64/44.03	c (37,0) c PropsNotBlocker_winner : 409043273
299.64/44.03	c (37,0) c PropsLitFullScans_0 : 3665711776
299.64/44.03	c (37,0) c PropsLitFullScans_1 : 3653171793
299.64/44.03	c (37,0) c PropsLitFullScans_2 : 3660306687
299.64/44.03	c (37,0) c PropsLitFullScans_3 : 3644402589
299.64/44.03	c (37,0) c PropsLitFullScans_4 : 3648354239
299.64/44.03	c (37,0) c PropsLitFullScans_5 : 3666370436
299.64/44.03	c (37,0) c PropsLitFullScans_6 : 3641145017
299.64/44.03	c (37,0) c PropsLitFullScans_7 : 3660355585
299.64/44.03	c (37,0) c PropsLitFullScans_total : 29239818122
299.64/44.03	c (37,0) c PropsLitFullScans_winner : 3641145017
299.64/44.03	c (37,0) c LitScanFractions_0 : 186378
299.64/44.03	c (37,0) c LitScanFractions_1 : 461416
299.64/44.03	c (37,0) c LitScanFractions_2 : 302338
299.64/44.03	c (37,0) c LitScanFractions_3 : 378624
299.64/44.03	c (37,0) c LitScanFractions_4 : 344954
299.64/44.03	c (37,0) c LitScanFractions_5 : 362693
299.64/44.03	c (37,0) c LitScanFractions_6 : 535829
299.64/44.03	c (37,0) c LitScanFractions_7 : 350241
299.64/44.03	c (37,0) c LitScanFractions_total : 2922473
299.64/44.03	c (37,0) c LitScanFractions_winner : 535829
299.64/44.03	c (37,0) c DecisionLevel0_0 : 166
299.64/44.04	c (37,0) c DecisionLevel0_1 : 76
299.64/44.04	c (37,0) c DecisionLevel0_2 : 106
299.64/44.04	c (37,0) c DecisionLevel0_3 : 119
299.64/44.04	c (37,0) c DecisionLevel0_4 : 83
299.64/44.04	c (37,0) c DecisionLevel0_5 : 74
299.64/44.04	c (37,0) c DecisionLevel0_6 : 264
299.64/44.04	c (37,0) c DecisionLevel0_7 : 114
299.64/44.04	c (37,0) c DecisionLevel0_total : 1002
299.64/44.04	c (37,0) c DecisionLevel0_winner : 264
299.64/44.04	c (37,0) c Periods_0 : 610
299.64/44.04	c (37,0) c Periods_1 : 608
299.64/44.04	c (37,0) c Periods_2 : 610
299.64/44.04	c (37,0) c Periods_3 : 607
299.64/44.04	c (37,0) c Periods_4 : 608
299.64/44.04	c (37,0) c Periods_5 : 611
299.64/44.04	c (37,0) c Periods_6 : 606
299.64/44.04	c (37,0) c Periods_7 : 610
299.64/44.04	c (37,0) c Periods_total : 4870
299.64/44.04	c (37,0) c Periods_winner : 606
299.64/44.04	c (37,0) c Margin_0 : 20
299.64/44.04	c (37,0) c Margin_1 : 20
299.64/44.04	c (37,0) c Margin_2 : 20
299.64/44.04	c (37,0) c Margin_3 : 20
299.64/44.04	c (37,0) c Margin_4 : 20
299.64/44.04	c (37,0) c Margin_5 : 20
299.64/44.04	c (37,0) c Margin_6 : 20
299.64/44.04	c (37,0) c Margin_7 : 20
299.64/44.04	c (37,0) c Margin_total : 160
299.64/44.04	c (37,0) c Margin_winner : 20
299.64/44.04	c (37,0) c Exported_0 : 66967
299.64/44.04	c (37,0) c Exported_1 : 39759
299.64/44.04	c (37,0) c Exported_2 : 37364
299.64/44.04	c (37,0) c Exported_3 : 41465
299.64/44.04	c (37,0) c Exported_4 : 37807
299.64/44.04	c (37,0) c Exported_5 : 34881
299.64/44.04	c (37,0) c Exported_6 : 38177
299.64/44.04	c (37,0) c Exported_7 : 36837
299.64/44.04	c (37,0) c Exported_total : 333257
299.64/44.04	c (37,0) c Exported_winner : 38177
299.64/44.04	c (37,0) c Imported_0 : 257742
299.64/44.04	c (37,0) c Imported_1 : 281984
299.64/44.04	c (37,0) c Imported_2 : 285099
299.64/44.04	c (37,0) c Imported_3 : 279801
299.64/44.04	c (37,0) c Imported_4 : 273447
299.64/44.04	c (37,0) c Imported_5 : 272250
299.64/44.04	c (37,0) c Imported_6 : 283168
299.64/44.04	c (37,0) c Imported_7 : 280811
299.64/44.04	c (37,0) c Imported_total : 2214302
299.64/44.04	c (37,0) c Imported_winner : 283168
299.64/44.04	c (37,0) c Good_0 : 264
299.64/44.04	c (37,0) c Good_1 : 277
299.64/44.04	c (37,0) c Good_2 : 294
299.64/44.04	c (37,0) c Good_3 : 221
299.64/44.04	c (37,0) c Good_4 : 193
299.64/44.04	c (37,0) c Good_5 : 179
299.64/44.04	c (37,0) c Good_6 : 279
299.64/44.04	c (37,0) c Good_7 : 254
299.64/44.04	c (37,0) c Good_total : 1961
299.64/44.04	c (37,0) c Good_winner : 279
299.64/44.04	c (37,0) c Purge_0 : 257478
299.64/44.04	c (37,0) c Purge_1 : 281707
299.64/44.04	c (37,0) c Purge_2 : 284805
299.64/44.04	c (37,0) c Purge_3 : 279580
299.64/44.04	c (37,0) c Purge_4 : 273254
299.64/44.04	c (37,0) c Purge_5 : 272071
299.64/44.04	c (37,0) c Purge_6 : 282889
299.64/44.04	c (37,0) c Purge_7 : 280557
299.64/44.04	c (37,0) c Purge_total : 2212341
299.64/44.04	c (37,0) c Purge_winner : 282889
299.64/44.04	c (37,0) c Promoted_0 : 5261
299.64/44.04	c (37,0) c Promoted_1 : 17687
299.64/44.04	c (37,0) c Promoted_2 : 18203
299.64/44.04	c (37,0) c Promoted_3 : 19603
299.64/44.04	c (37,0) c Promoted_4 : 18170
299.64/44.04	c (37,0) c Promoted_5 : 19293
299.64/44.04	c (37,0) c Promoted_6 : 19007
299.64/44.04	c (37,0) c Promoted_7 : 19530
299.64/44.04	c (37,0) c Promoted_total : 136754
299.64/44.04	c (37,0) c Promoted_winner : 19007
299.64/44.04	c (37,0) c Remove_Imp_0 : 235976
299.64/44.04	c (37,0) c Remove_Imp_1 : 198846
299.64/44.04	c (37,0) c Remove_Imp_2 : 183955
299.64/44.04	c (37,0) c Remove_Imp_3 : 195607
299.64/44.04	c (37,0) c Remove_Imp_4 : 176676
299.64/44.04	c (37,0) c Remove_Imp_5 : 162802
299.64/44.04	c (37,0) c Remove_Imp_6 : 176573
299.64/44.04	c (37,0) c Remove_Imp_7 : 171653
299.64/44.04	c (37,0) c Remove_Imp_total : 1502088
299.64/44.04	c (37,0) c Remove_Imp_winner : 176573
299.64/44.04	c (37,0) c Blocked_Reuse_0 : 0
299.64/44.04	c (37,0) c Blocked_Reuse_1 : 0
299.64/44.04	c (37,0) c Blocked_Reuse_2 : 0
299.64/44.04	c (37,0) c Blocked_Reuse_3 : 0
299.64/44.04	c (37,0) c Blocked_Reuse_4 : 0
299.64/44.04	c (37,0) c Blocked_Reuse_5 : 0
299.64/44.04	c (37,0) c Blocked_Reuse_6 : 0
299.64/44.04	c (37,0) c Blocked_Reuse_7 : 0
299.64/44.04	c (37,0) c Blocked_Reuse_total : 0
299.64/44.04	c (37,0) c Blocked_Reuse_winner : 0
299.64/44.04	c (37,0) c Unaries_0 : 20
299.64/44.04	c (37,0) c Unaries_1 : 21
299.64/44.04	c (37,0) c Unaries_2 : 2
299.64/44.04	c (37,0) c Unaries_3 : 18
299.64/44.04	c (37,0) c Unaries_4 : 2
299.64/44.04	c (37,0) c Unaries_5 : 1
299.64/44.04	c (37,0) c Unaries_6 : 20
299.64/44.04	c (37,0) c Unaries_7 : 1
299.64/44.04	c (37,0) c Unaries_total : 85
299.64/44.04	c (37,0) c Unaries_winner : 20
299.64/44.04	c (37,0) c Binaries_0 : 102
299.64/44.04	c (37,0) c Binaries_1 : 82
299.64/44.04	c (37,0) c Binaries_2 : 33
299.64/44.04	c (37,0) c Binaries_3 : 151
299.64/44.04	c (37,0) c Binaries_4 : 28
299.64/44.04	c (37,0) c Binaries_5 : 24
299.64/44.04	c (37,0) c Binaries_6 : 108
299.64/44.04	c (37,0) c Binaries_7 : 26
299.64/44.04	c (37,0) c Binaries_total : 554
299.64/44.04	c (37,0) c Binaries_winner : 108
299.64/44.04	c (37,0) c Glues_0 : 732
299.64/44.04	c (37,0) c Glues_1 : 515
299.64/44.04	c (37,0) c Glues_2 : 467
299.64/44.04	c (37,0) c Glues_3 : 613
299.64/44.04	c (37,0) c Glues_4 : 452
299.64/44.04	c (37,0) c Glues_5 : 459
299.64/44.04	c (37,0) c Glues_6 : 567
299.64/44.04	c (37,0) c Glues_7 : 470
299.64/44.04	c (37,0) c Glues_total : 4275
299.64/44.04	c (37,0) c Glues_winner : 567
299.64/44.04	c (37,0) c RunningTime_0 : 33.673496
299.64/44.04	c (37,0) c RunningTime_1 : 35.271661
299.64/44.04	c (37,0) c RunningTime_2 : 35.503897
299.64/44.04	c (37,0) c RunningTime_3 : 36.599365
299.64/44.04	c (37,0) c RunningTime_4 : 36.153396
299.64/44.04	c (37,0) c RunningTime_5 : 35.507598
299.64/44.04	c (37,0) c RunningTime_6 : 36.726045
299.64/44.04	c (37,0) c RunningTime_7 : 34.646467
299.64/44.04	c (37,0) c RunningTime_total : 284.081925
299.64/44.04	c (37,0) c RunningTime_winner : 36.726045
299.64/44.04	c (37,0) c WaitingTime_0 : 2.175234
299.64/44.04	c (37,0) c WaitingTime_1 : 0.739891
299.64/44.04	c (37,0) c WaitingTime_2 : 0.437746
299.64/44.04	c (37,0) c WaitingTime_3 : 0.000831
299.64/44.04	c (37,0) c WaitingTime_4 : 0.000859
299.64/44.04	c (37,0) c WaitingTime_5 : 0.371046
299.64/44.04	c (37,0) c WaitingTime_6 : 0.000669
299.64/44.04	c (37,0) c WaitingTime_7 : 1.279461
299.64/44.04	c (37,0) c WaitingTime_total : 5.005736
299.64/44.04	c (37,0) c WaitingTime_winner : 0.000669
299.64/44.04	c (37,0) c ExchangingTime_0 : 0.099749
299.64/44.04	c (37,0) c ExchangingTime_1 : 0.081417
299.64/44.04	c (37,0) c ExchangingTime_2 : 0.084592
299.64/44.04	c (37,0) c ExchangingTime_3 : 0.082852
299.64/44.04	c (37,0) c ExchangingTime_4 : 0.084586
299.64/44.04	c (37,0) c ExchangingTime_5 : 0.089767
299.64/44.04	c (37,0) c ExchangingTime_6 : 0.083153
299.64/44.04	c (37,0) c ExchangingTime_7 : 0.083978
299.64/44.04	c (37,0) c ExchangingTime_total : 0.690093
299.64/44.04	c (37,0) c ExchangingTime_winner : 0.083153
299.64/44.04	c (37,0) c PeriodProcTime_0 : 0.004865
299.64/44.04	c (37,0) c PeriodProcTime_1 : 0.004762
299.64/44.04	c (37,0) c PeriodProcTime_2 : 0.004454
299.64/44.04	c (37,0) c PeriodProcTime_3 : 0.005140
299.64/44.04	c (37,0) c PeriodProcTime_4 : 0.004488
299.64/44.04	c (37,0) c PeriodProcTime_5 : 0.005111
299.64/44.04	c (37,0) c PeriodProcTime_6 : 0.005932
299.64/44.04	c (37,0) c PeriodProcTime_7 : 0.004429
299.64/44.04	c (37,0) c PeriodProcTime_total : 0.039180
299.64/44.04	c (37,0) c PeriodProcTime_winner : 0.005932
299.64/44.04	c (37,0) c SolvingTime_0 : 35.953344
299.64/44.04	c (37,0) c SolvingTime_1 : 36.097730
299.64/44.04	c (37,0) c SolvingTime_2 : 36.030689
299.64/44.04	c (37,0) c SolvingTime_3 : 36.688188
299.64/44.04	c (37,0) c SolvingTime_4 : 36.243329
299.64/44.04	c (37,0) c SolvingTime_5 : 35.973521
299.64/44.04	c (37,0) c SolvingTime_6 : 36.815797
299.64/44.04	c (37,0) c SolvingTime_7 : 36.014335
299.64/44.04	c (37,0) c SolvingTime_total : 289.816933
299.64/44.04	c (37,0) c SolvingTime_winner : 36.815797
299.64/44.04	c (37,0) c PropagationTime_0 : 30.992206
299.64/44.04	c (37,0) c PropagationTime_1 : 32.688589
299.64/44.04	c (37,0) c PropagationTime_2 : 32.467093
299.64/44.04	c (37,0) c PropagationTime_3 : 32.702730
299.64/44.04	c (37,0) c PropagationTime_4 : 32.498063
299.64/44.04	c (37,0) c PropagationTime_5 : 31.948547
299.64/44.04	c (37,0) c PropagationTime_6 : 32.707941
299.64/44.04	c (37,0) c PropagationTime_7 : 32.467168
299.64/44.04	c (37,0) c PropagationTime_total : 258.472337
299.64/44.04	c (37,0) c PropagationTime_winner : 32.707941
299.64/44.04	c (37,0) c AnalysisTime_0 : 3.165501
299.64/44.04	c (37,0) c AnalysisTime_1 : 2.260895
299.64/44.04	c (37,0) c AnalysisTime_2 : 2.431012
299.64/44.04	c (37,0) c AnalysisTime_3 : 2.867284
299.64/44.04	c (37,0) c AnalysisTime_4 : 2.534081
299.64/44.04	c (37,0) c AnalysisTime_5 : 2.940350
299.64/44.04	c (37,0) c AnalysisTime_6 : 2.919441
299.64/44.04	c (37,0) c AnalysisTime_7 : 2.436989
299.64/44.04	c (37,0) c AnalysisTime_total : 21.555552
299.64/44.04	c (37,0) c AnalysisTime_winner : 2.919441
299.64/44.04	c (37,0) c ReductionTime_0 : 0.825365
299.64/44.04	c (37,0) c ReductionTime_1 : 0.444115
299.64/44.04	c (37,0) c ReductionTime_2 : 0.445858
299.64/44.04	c (37,0) c ReductionTime_3 : 0.430093
299.64/44.04	c (37,0) c ReductionTime_4 : 0.492933
299.64/44.04	c (37,0) c ReductionTime_5 : 0.448396
299.64/44.04	c (37,0) c ReductionTime_6 : 0.476461
299.64/44.04	c (37,0) c ReductionTime_7 : 0.428265
299.64/44.04	c (37,0) c ReductionTime_total : 3.991486
299.64/44.04	c (37,0) c ReductionTime_winner : 0.476461
299.64/44.04	c (37,0) c SimplifyTime_0 : 0.080237
299.64/44.04	c (37,0) c SimplifyTime_1 : 0.092539
299.64/44.04	c (37,0) c SimplifyTime_2 : 0.085054
299.64/44.04	c (37,0) c SimplifyTime_3 : 0.098747
299.64/44.04	c (37,0) c SimplifyTime_4 : 0.103050
299.64/44.04	c (37,0) c SimplifyTime_5 : 0.062366
299.64/44.04	c (37,0) c SimplifyTime_6 : 0.115873
299.64/44.04	c (37,0) c SimplifyTime_7 : 0.098082
299.64/44.04	c (37,0) c SimplifyTime_total : 0.735948
299.64/44.04	c (37,0) c SimplifyTime_winner : 0.115873
299.64/44.04	c (37,0) c UsedRateTime_0 : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_1 : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_2 : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_3 : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_4 : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_5 : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_6 : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_7 : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_total : 0.000000
299.64/44.04	c (37,0) c UsedRateTime_winner : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_0 : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_1 : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_2 : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_3 : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_4 : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_5 : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_6 : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_7 : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_total : 0.000000
299.64/44.04	c (37,0) c OverlapRateTime_winner : 0.000000
299.64/44.04	c (37,0) c
299.64/44.04	c (37,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
299.64/44.04	c (37,0) c
299.64/44.04	c (37,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.04	c (37,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
299.64/44.04	c (37,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.04	c (37,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
299.64/44.04	c (37,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
299.64/44.04	c (37,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
299.64/44.04	c (37,0) c | Initial random_seed   |   17709487 |  192807017 |  948025079 |  874064610 |  106243521 | 1751292336 | 1366989969 |  534765519 |
299.64/44.04	c (37,0) c | chanseokStrategy      |       True |      False |      False |      False |      False |      False |      False |      False |
299.64/44.04	c (37,0) c | coLBDBound            |          4 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
299.64/44.04	c (37,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
299.64/44.04	c (37,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
299.64/44.04	c (37,0) c | incReduceDB           |          0 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
299.64/44.04	c (37,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
299.64/44.04	c (37,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
299.64/44.04	c (37,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
299.64/44.04	c (37,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
299.64/44.04	c (37,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
299.64/44.04	c (37,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
299.64/44.04	c (37,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
299.64/44.04	c (37,0) 
299.64/44.04	c (37,0) s UNSATISFIABLE
299.64/44.05	c (37,0) SatSolver.solve End
299.64/44.05	c (37,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
299.64/44.05	c (37,0) Show results Begin
299.64/44.05	s UNSATISFIABLE
299.64/44.05	c (37,0) Show results End
299.64/44.05	c (37,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
299.64/44.05	c (37,0) 37,37,STOP-AFTER(ALL)
299.64/44.05	c END-Prog: Sat Sep 14 03:56:36 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14087 MiB free)
  memory of node 1: 16384 MiB (14090 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392624-1568426192/watcher-4392624-1568426192 -o /tmp/evaluation-result-4392624-1568426192/solver-4392624-1568426192 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392624-1568426192.xml 

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

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


[startup+0.100148 s]*
/proc/loadavg: 8.06 8.17 8.22 2/211 22931
/proc/meminfo: memFree=28758620/32770624 swapFree=66998528/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 557 318 0 0 0 0 0 0 20 0 1 0 418888037 115843072 349 33554432000 4194304 5098028 140728292770400 140728292767656 140323215741564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15773696 140728292774692 140728292775020 140728292775020 140728292777933 0
/proc/22909/statm: 28282 349 296 221 0 87 0
[pid=22912] ppid=22909 vsize=27314120 memory=106772 CPUtime=0.1 cores=0-7
/proc/22912/stat : 22912 (java) S 22909 22909 22865 0 -1 1077944320 6761 0 0 0 8 2 0 0 20 0 20 0 418888038 27969658880 26693 33554432000 4194304 4196468 140728628620688 140728628603232 140290542071543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
/proc/22912/statm: 6828530 26693 2800 1 0 6790935 0
[pid=22912/tid=22913] ppid=22909 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/22912/task/22913/stat : 22913 (java) R 22909 22909 22865 0 -1 4202560 4881 0 0 0 7 2 0 0 20 0 20 0 418888038 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290513903960 140290526115173 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22914] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22914/stat : 22914 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290546314384 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22915] ppid=22909 vsize=27314120 memory=3619120297001248416 CPUtime=0 cores=0-7
/proc/22912/task/22915/stat : 22915 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290360470544 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22916] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22916/stat : 22916 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290359417744 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22917] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22917/stat : 22917 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290358364944 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22918] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22918/stat : 22918 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290357312144 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22919] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22919/stat : 22919 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290356259344 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22920] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22920/stat : 22920 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888041 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290355206544 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22921] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22921/stat : 22921 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888041 27969658880 26693 33554432000 4194304 4196468 140728628620688 140290354153744 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22922] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22922/stat : 22922 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418888042 27969658880 26693 33554432000 4194304 4196468 140728628620688 140288592948080 140290542082690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22923] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22923/stat : 22923 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418888042 27969658880 26693 33554432000 4194304 4196468 140728628620688 140288462939680 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22924] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22924/stat : 22924 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888043 27969658880 26693 33554432000 4194304 4196468 140728628620688 140288194504048 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22925] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22925/stat : 22925 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 26693 33554432000 4194304 4196468 140728628620688 140287819995472 140290542090139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22926] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22926/stat : 22926 (java) S 22909 22909 22865 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 27205 33554432000 4194304 4196468 140728628620688 140288591894896 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22927] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22927/stat : 22927 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 27205 33554432000 4194304 4196468 140728628620688 140288590842096 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22928] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22928/stat : 22928 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 27205 33554432000 4194304 4196468 140728628620688 140288589789296 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22929] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22929/stat : 22929 (java) S 22909 22909 22865 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 27205 33554432000 4194304 4196468 140728628620688 140288588736496 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22930] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22930/stat : 22930 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 27205 33554432000 4194304 4196468 140728628620688 140287322090592 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22931] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22931/stat : 22931 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888046 27969658880 27205 33554432000 4194304 4196468 140728628620688 140288587684912 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108168 KiB

[startup+0.21043 s]*
/proc/loadavg: 8.06 8.17 8.22 2/211 22931
/proc/meminfo: memFree=28740428/32770624 swapFree=66998528/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 557 318 0 0 0 0 0 0 20 0 1 0 418888037 115843072 349 33554432000 4194304 5098028 140728292770400 140728292767656 140323215741564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15773696 140728292774692 140728292775020 140728292775020 140728292777933 0
/proc/22909/statm: 28282 349 296 221 0 87 0
[pid=22912] ppid=22909 vsize=27314120 memory=123784 CPUtime=0.25 cores=0-7
/proc/22912/stat : 22912 (java) S 22909 22909 22865 0 -1 1077944320 11630 0 0 0 21 4 0 0 20 0 20 0 418888038 27969658880 30946 33554432000 4194304 4196468 140728628620688 140728628603232 140290542071543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
/proc/22912/statm: 6828530 30946 2954 1 0 6790935 0
[pid=22912/tid=22913] ppid=22909 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/22912/task/22913/stat : 22913 (java) R 22909 22909 22865 0 -1 4202560 9366 0 0 0 17 3 0 0 20 0 20 0 418888038 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290513891328 140290526152030 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22914] ppid=22909 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/22912/task/22914/stat : 22914 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290546314384 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22915] ppid=22909 vsize=27314120 memory=140235049915691 CPUtime=0 cores=0-7
/proc/22912/task/22915/stat : 22915 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290360470544 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22916] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22916/stat : 22916 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290359417744 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22917] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22917/stat : 22917 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290358364944 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22918] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22918/stat : 22918 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290357312144 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22919] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22919/stat : 22919 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290356259344 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22920] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22920/stat : 22920 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888041 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290355206544 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22921] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22921/stat : 22921 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888041 27969658880 30946 33554432000 4194304 4196468 140728628620688 140290354153744 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22922] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22922/stat : 22922 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418888042 27969658880 30946 33554432000 4194304 4196468 140728628620688 140288592948080 140290542082690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22923] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22923/stat : 22923 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418888042 27969658880 30946 33554432000 4194304 4196468 140728628620688 140288462939680 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22924] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22924/stat : 22924 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888043 27969658880 30946 33554432000 4194304 4196468 140728628620688 140288194504048 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22925] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22925/stat : 22925 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 30946 33554432000 4194304 4196468 140728628620688 140287819995472 140290542090139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22926] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22926/stat : 22926 (java) S 22909 22909 22865 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 30946 33554432000 4194304 4196468 140728628620688 140288591894896 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22927] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22927/stat : 22927 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 30946 33554432000 4194304 4196468 140728628620688 140288590842096 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22928] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22928/stat : 22928 (java) S 22909 22909 22865 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 30946 33554432000 4194304 4196468 140728628620688 140288589789296 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22929] ppid=22909 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22912/task/22929/stat : 22929 (java) S 22909 22909 22865 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 418888045 27969658880 30946 33554432000 4194304 4196468 140728628620688 140288588736496 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22930] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22930/stat : 22930 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 30946 33554432000 4194304 4196468 140728628620688 140287322090592 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22931] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22931/stat : 22931 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888046 27969658880 30946 33554432000 4194304 4196468 140728628620688 140288587684912 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125180 KiB

[startup+0.311066 s]*
/proc/loadavg: 8.06 8.17 8.22 2/211 22931
/proc/meminfo: memFree=28737264/32770624 swapFree=66998528/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 557 318 0 0 0 0 0 0 20 0 1 0 418888037 115843072 349 33554432000 4194304 5098028 140728292770400 140728292767656 140323215741564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15773696 140728292774692 140728292775020 140728292775020 140728292777933 0
/proc/22909/statm: 28282 349 296 221 0 87 0
[pid=22912] ppid=22909 vsize=27314120 memory=127528 CPUtime=0.43 cores=0-7
/proc/22912/stat : 22912 (java) S 22909 22909 22865 0 -1 1077944320 12772 0 0 0 38 5 0 0 20 0 20 0 418888038 27969658880 31882 33554432000 4194304 4196468 140728628620688 140728628603232 140290542071543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
/proc/22912/statm: 6828530 31882 3018 1 0 6790935 0
[pid=22912/tid=22913] ppid=22909 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/22912/task/22913/stat : 22913 (java) R 22909 22909 22865 0 -1 4202560 10307 0 0 0 26 4 0 0 20 0 20 0 418888038 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290513869608 140290526152030 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22914] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22914/stat : 22914 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290546314384 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22915] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22915/stat : 22915 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290360470544 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22916] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22916/stat : 22916 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290359417744 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22917] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22917/stat : 22917 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290358364944 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22918] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22918/stat : 22918 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290357312144 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22919] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22919/stat : 22919 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290356259344 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22920] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22920/stat : 22920 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888041 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290355206544 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22921] ppid=22909 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/22912/task/22921/stat : 22921 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888041 27969658880 31882 33554432000 4194304 4196468 140728628620688 140290354153744 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22922] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22922/stat : 22922 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418888042 27969658880 31882 33554432000 4194304 4196468 140728628620688 140288592948080 140290542082690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22923] ppid=22909 vsize=27314120 memory=280469820349824 CPUtime=0 cores=0-7
/proc/22912/task/22923/stat : 22923 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418888042 27969658880 31882 33554432000 4194304 4196468 140728628620688 140288462939680 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22924] ppid=22909 vsize=27314120 memory=280469820354432 CPUtime=0 cores=0-7
/proc/22912/task/22924/stat : 22924 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888043 27969658880 31882 33554432000 4194304 4196468 140728628620688 140288194504048 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22925] ppid=22909 vsize=27314120 memory=280469820359040 CPUtime=0 cores=0-7
/proc/22912/task/22925/stat : 22925 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 31882 33554432000 4194304 4196468 140728628620688 140287819995472 140290542090139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22926] ppid=22909 vsize=27314120 memory=280469820363648 CPUtime=0.01 cores=0-7
/proc/22912/task/22926/stat : 22926 (java) S 22909 22909 22865 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 418888045 27969658880 31882 33554432000 4194304 4196468 140728628620688 140288591894896 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22927] ppid=22909 vsize=27314120 memory=280469820368256 CPUtime=0.01 cores=0-7
/proc/22912/task/22927/stat : 22927 (java) R 22909 22909 22865 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 20 0 418888045 27969658880 31882 33554432000 4194304 4196468 140728628620688 140288590842096 140290519706192 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22928] ppid=22909 vsize=27314120 memory=280469820372864 CPUtime=0.01 cores=0-7
/proc/22912/task/22928/stat : 22928 (java) S 22909 22909 22865 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 418888045 27969658880 31882 33554432000 4194304 4196468 140728628620688 140288589789296 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22929] ppid=22909 vsize=27314120 memory=280469820377472 CPUtime=0.07 cores=0-7
/proc/22912/task/22929/stat : 22929 (java) S 22909 22909 22865 0 -1 1077944384 511 0 0 0 7 0 0 0 20 0 20 0 418888045 27969658880 31882 33554432000 4194304 4196468 140728628620688 140288588736496 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22930] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22930/stat : 22930 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888045 27969658880 31882 33554432000 4194304 4196468 140728628620688 140287322090592 140290542081749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22931] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22931/stat : 22931 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888046 27969658880 31882 33554432000 4194304 4196468 140728628620688 140288587684912 140290542082690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128924 KiB

[startup+0.700944 s]
/proc/loadavg: 8.06 8.17 8.22 2/211 22931
/proc/meminfo: memFree=28713912/32770624 swapFree=66998528/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 557 318 0 0 0 0 0 0 20 0 1 0 418888037 115843072 349 33554432000 4194304 5098028 140728292770400 140728292767656 140323215741564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15773696 140728292774692 140728292775020 140728292775020 140728292777933 0
/proc/22909/statm: 28282 349 296 221 0 87 0
[pid=22912] ppid=22909 vsize=27320392 memory=165388 CPUtime=1.02 cores=0-7
/proc/22912/stat : 22912 (java) S 22909 22909 22865 0 -1 1077944320 20442 0 0 0 95 7 0 0 20 0 20 0 418888038 27976081408 41347 33554432000 4194304 4196468 140728628620688 140728628603232 140290542071543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
/proc/22912/statm: 6830098 41347 3183 1 0 6791447 0
[pid=22912/tid=22913] ppid=22909 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/22912/task/22913/stat : 22913 (java) R 22909 22909 22865 0 -1 4202560 17394 0 0 0 62 5 0 0 20 0 20 0 418888038 27976081408 41347 33554432000 4194304 4196468 140728628620688 140290513909024 140290023259396 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22914] ppid=22909 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22914/stat : 22914 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27976081408 41347 33554432000 4194304 4196468 140728628620688 140290546314384 140290542081749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22915] ppid=22909 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22915/stat : 22915 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418888040 27976081408 41347 33554432000 4194304 4196468 140728628620688 140290360470544 140290542081749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0
[pid=22912/tid=22916] ppid=22909 vsize=27320392 memory=1204 CPUtime=0 cores=0-7
/proc/22912/task/22916/stat : 22916 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418888040 27976081408 41347 33554432000 4194304 4196468 140728628620688 140290359417744 140290542081749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728628626154 140728628626582 140728628626582 140728628629455 0

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

[pid=22932/tid=22943] ppid=22909 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22932/task/22943/stat : 22943 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418888679 8616062976 30571 33554432000 4194304 4196468 140727025816048 140122569827360 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22944] ppid=22909 vsize=8414124 memory=122284 CPUtime=0 cores=0-7
/proc/22932/task/22944/stat : 22944 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888679 8616062976 30571 33554432000 4194304 4196468 140727025816048 140122301391728 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22945] ppid=22909 vsize=8414124 memory=281300 CPUtime=0 cores=0-7
/proc/22932/task/22945/stat : 22945 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121926883152 140123927705499 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22946] ppid=22909 vsize=8414124 memory=1448 CPUtime=0.05 cores=0-7
/proc/22932/task/22946/stat : 22946 (java) S 22909 22909 22865 0 -1 1077944384 673 0 0 0 5 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123019590512 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22947] ppid=22909 vsize=8414124 memory=1764 CPUtime=0.06 cores=0-7
/proc/22932/task/22947/stat : 22947 (java) S 22909 22909 22865 0 -1 1077944384 153 0 0 0 6 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123018537712 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22948] ppid=22909 vsize=8414124 memory=111632 CPUtime=0.07 cores=0-7
/proc/22932/task/22948/stat : 22948 (java) S 22909 22909 22865 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123017484912 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22949] ppid=22909 vsize=8414124 memory=800 CPUtime=0.2 cores=0-7
/proc/22932/task/22949/stat : 22949 (java) S 22909 22909 22865 0 -1 1077944384 551 0 0 0 20 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123016432112 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22950] ppid=22909 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/22932/task/22950/stat : 22950 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121428978272 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22951] ppid=22909 vsize=8414124 memory=1808 CPUtime=0.01 cores=0-7
/proc/22932/task/22951/stat : 22951 (java) S 22909 22909 22865 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123015379504 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22955] ppid=22909 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/22932/task/22955/stat : 22955 (java) S 22909 22909 22865 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123007902784 140123927711513 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22957] ppid=22909 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22932/task/22957/stat : 22957 (java) S 22909 22909 22865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140120757878928 140123927708829 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22958] ppid=22909 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/22932/task/22958/stat : 22958 (java) S 22909 22909 22865 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121026314256 140123927708829 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22959] ppid=22909 vsize=8414124 memory=41112 CPUtime=0 cores=0-7
/proc/22932/task/22959/stat : 22959 (java) S 22909 22909 22865 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418888751 8616062976 30571 33554432000 4194304 4196468 140727025816048 140120489451056 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
Current children cumulated CPU time: 297.69 s
Current children cumulated vsize: 9197784 KiB
Current children cumulated memory: 405764 KiB

[startup+43.6011 s]
/proc/loadavg: 7.79 8.06 8.18 9/224 22968
/proc/meminfo: memFree=28466540/32770624 swapFree=66998528/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1476 CPUtime=14.13 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 583 33567 0 0 0 0 1367 46 20 0 1 0 418888037 115843072 369 33554432000 4194304 5098028 140728292770400 140728292767144 140323215741564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140728292774692 140728292775020 140728292775020 140728292777933 0
/proc/22909/statm: 28282 369 311 221 0 87 0
[pid=22932] ppid=22909 vsize=8414124 memory=122284 CPUtime=1.2 cores=0-7
/proc/22932/stat : 22932 (java) S 22909 22909 22865 0 -1 1077944320 20549 0 0 0 113 7 0 0 20 0 24 0 418888676 8616062976 30571 33554432000 4194304 4196468 140727025816048 140727025798592 140123927686903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
/proc/22932/statm: 2103531 30571 3197 1 0 2064875 0
[pid=22954] ppid=22932 vsize=670684 memory=280356 CPUtime=283.6 cores=0-7
/proc/22954/stat : 22954 (manyglucose-4.1) S 22932 22909 22865 0 -1 1077944320 210070 0 0 0 28312 48 0 0 20 0 3 0 418888749 686780416 70089 33554432000 4194304 4454172 140725164136816 140725164135200 139885824872183 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 34070528 140725164139369 140725164139568 140725164139568 140725164142522 0
/proc/22954/statm: 167671 70089 419 64 0 163339 0
[pid=22954/tid=22963] ppid=22932 vsize=670684 memory=1448 CPUtime=36.4 cores=0-7
/proc/22954/task/22963/stat : 22963 (manyglucose-4.1) R 22932 22909 22865 0 -1 4202560 24755 0 0 0 3636 4 0 0 20 0 3 0 418888755 686780416 70089 33554432000 4194304 4454172 140725164136816 139885778324216 4351356 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 34070528 140725164139369 140725164139568 140725164139568 140725164142522 0
[pid=22954/tid=22966] ppid=22932 vsize=670684 memory=1764 CPUtime=36.4 cores=0-7
/proc/22954/task/22966/stat : 22966 (manyglucose-4.1) R 22932 22909 22865 0 -1 4202560 26909 0 0 0 3633 7 0 0 20 0 3 0 418888755 686780416 70089 33554432000 4194304 4454172 140725164136816 139885753146504 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 34070528 140725164139369 140725164139568 140725164139568 140725164142522 0
[pid=22932/tid=22933] ppid=22909 vsize=8414124 memory=111632 CPUtime=0.75 cores=0-7
/proc/22932/task/22933/stat : 22933 (java) S 22909 22909 22865 0 -1 1077944384 17437 0 0 0 70 5 0 0 20 0 24 0 418888676 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123899527072 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22934] ppid=22909 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/22932/task/22934/stat : 22934 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123931929232 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22935] ppid=22909 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/22932/task/22935/stat : 22935 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123732097552 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22936] ppid=22909 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/22932/task/22936/stat : 22936 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123731044752 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22937] ppid=22909 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/22932/task/22937/stat : 22937 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123729991952 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22938] ppid=22909 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/22932/task/22938/stat : 22938 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123728940176 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22939] ppid=22909 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/22932/task/22939/stat : 22939 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123727887376 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22940] ppid=22909 vsize=8414124 memory=3392 CPUtime=0 cores=0-7
/proc/22932/task/22940/stat : 22940 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123726834576 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22941] ppid=22909 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22932/task/22941/stat : 22941 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123725781776 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22942] ppid=22909 vsize=8414124 memory=122284 CPUtime=0 cores=0-7
/proc/22932/task/22942/stat : 22942 (java) S 22909 22909 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418888679 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123020642672 140123927698050 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22943] ppid=22909 vsize=8414124 memory=275500 CPUtime=0 cores=0-7
/proc/22932/task/22943/stat : 22943 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418888679 8616062976 30571 33554432000 4194304 4196468 140727025816048 140122569827360 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22944] ppid=22909 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/22932/task/22944/stat : 22944 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888679 8616062976 30571 33554432000 4194304 4196468 140727025816048 140122301391728 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22945] ppid=22909 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/22932/task/22945/stat : 22945 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121926883152 140123927705499 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22946] ppid=22909 vsize=8414124 memory=122284 CPUtime=0.05 cores=0-7
/proc/22932/task/22946/stat : 22946 (java) S 22909 22909 22865 0 -1 1077944384 673 0 0 0 5 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123019590512 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22947] ppid=22909 vsize=8414124 memory=264608 CPUtime=0.06 cores=0-7
/proc/22932/task/22947/stat : 22947 (java) S 22909 22909 22865 0 -1 1077944384 153 0 0 0 6 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123018537712 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22948] ppid=22909 vsize=8414124 memory=14012 CPUtime=0.07 cores=0-7
/proc/22932/task/22948/stat : 22948 (java) S 22909 22909 22865 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123017484912 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22949] ppid=22909 vsize=8414124 memory=2116 CPUtime=0.2 cores=0-7
/proc/22932/task/22949/stat : 22949 (java) S 22909 22909 22865 0 -1 1077944384 551 0 0 0 20 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123016432112 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22950] ppid=22909 vsize=8414124 memory=22464 CPUtime=0 cores=0-7
/proc/22932/task/22950/stat : 22950 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121428978272 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22951] ppid=22909 vsize=8414124 memory=14068 CPUtime=0.01 cores=0-7
/proc/22932/task/22951/stat : 22951 (java) S 22909 22909 22865 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123015379504 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22955] ppid=22909 vsize=8414124 memory=524 CPUtime=0 cores=0-7
/proc/22932/task/22955/stat : 22955 (java) S 22909 22909 22865 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123007902784 140123927711513 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22957] ppid=22909 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/22932/task/22957/stat : 22957 (java) S 22909 22909 22865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140120757878928 140123927708829 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22958] ppid=22909 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/22932/task/22958/stat : 22958 (java) S 22909 22909 22865 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121026314256 140123927708829 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22959] ppid=22909 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/22932/task/22959/stat : 22959 (java) S 22909 22909 22865 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418888751 8616062976 30571 33554432000 4194304 4196468 140727025816048 140120489451056 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
Current children cumulated CPU time: 298.93 s
Current children cumulated vsize: 9197936 KiB
Current children cumulated memory: 404116 KiB

[startup+44.0011 s]*
/proc/loadavg: 7.79 8.06 8.18 2/217 22968
/proc/meminfo: memFree=28468236/32770624 swapFree=66998528/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1476 CPUtime=14.13 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 583 33567 0 0 0 0 1367 46 20 0 1 0 418888037 115843072 369 33554432000 4194304 5098028 140728292770400 140728292767144 140323215741564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140728292774692 140728292775020 140728292775020 140728292777933 0
/proc/22909/statm: 28282 369 311 221 0 87 0
[pid=22932] ppid=22909 vsize=8414124 memory=122284 CPUtime=1.2 cores=0-7
/proc/22932/stat : 22932 (java) S 22909 22909 22865 0 -1 1077944320 20549 0 0 0 113 7 0 0 20 0 24 0 418888676 8616062976 30571 33554432000 4194304 4196468 140727025816048 140727025798592 140123927686903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
/proc/22932/statm: 2103531 30571 3197 1 0 2064875 0
[pid=22954] ppid=22932 vsize=654292 memory=280364 CPUtime=284.31 cores=0-7
/proc/22954/stat : 22954 (manyglucose-4.1) S 22932 22909 22865 0 -1 1077944320 210078 0 0 0 28383 48 0 0 20 0 2 0 418888749 669995008 70091 33554432000 4194304 4454172 140725164136816 140725164135200 139885824872183 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 34070528 140725164139369 140725164139568 140725164139568 140725164142522 0
/proc/22954/statm: 163573 70091 419 64 0 159241 0
[pid=22954/tid=22966] ppid=22932 vsize=654292 memory=7884229981862318676 CPUtime=36.81 cores=0-7
/proc/22954/task/22966/stat : 22966 (manyglucose-4.1) R 22932 22909 22865 0 -1 4202560 26916 0 0 0 3674 7 0 0 20 0 2 0 418888755 669995008 70091 33554432000 4194304 4454172 140725164136816 139885753146504 4323040 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 34070528 140725164139369 140725164139568 140725164139568 140725164142522 0
[pid=22932/tid=22933] ppid=22909 vsize=8414124 memory=8317482817917895235 CPUtime=0.75 cores=0-7
/proc/22932/task/22933/stat : 22933 (java) S 22909 22909 22865 0 -1 1077944384 17437 0 0 0 70 5 0 0 20 0 24 0 418888676 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123899527072 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22934] ppid=22909 vsize=8414124 memory=288289991189181808 CPUtime=0 cores=0-7
/proc/22932/task/22934/stat : 22934 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123931929232 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22935] ppid=22909 vsize=8414124 memory=4297748620537233440 CPUtime=0 cores=0-7
/proc/22932/task/22935/stat : 22935 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123732097552 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22936] ppid=22909 vsize=8414124 memory=288293255297217872 CPUtime=0 cores=0-7
/proc/22932/task/22936/stat : 22936 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123731044752 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22937] ppid=22909 vsize=8414124 memory=3130390 CPUtime=0 cores=0-7
/proc/22932/task/22937/stat : 22937 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123729991952 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22938] ppid=22909 vsize=8414124 memory=7686721470267235989 CPUtime=0 cores=0-7
/proc/22932/task/22938/stat : 22938 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123728940176 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22939] ppid=22909 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/22932/task/22939/stat : 22939 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123727887376 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22940] ppid=22909 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/22932/task/22940/stat : 22940 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123726834576 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22941] ppid=22909 vsize=8414124 memory=820 CPUtime=0 cores=0-7
/proc/22932/task/22941/stat : 22941 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888677 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123725781776 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22942] ppid=22909 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/22932/task/22942/stat : 22942 (java) S 22909 22909 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418888679 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123020642672 140123927698050 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22943] ppid=22909 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/22932/task/22943/stat : 22943 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418888679 8616062976 30571 33554432000 4194304 4196468 140727025816048 140122569827360 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22944] ppid=22909 vsize=8414124 memory=274828 CPUtime=0 cores=0-7
/proc/22932/task/22944/stat : 22944 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888679 8616062976 30571 33554432000 4194304 4196468 140727025816048 140122301391728 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22945] ppid=22909 vsize=8414124 memory=122284 CPUtime=0 cores=0-7
/proc/22932/task/22945/stat : 22945 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121926883152 140123927705499 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22946] ppid=22909 vsize=8414124 memory=272540 CPUtime=0.05 cores=0-7
/proc/22932/task/22946/stat : 22946 (java) S 22909 22909 22865 0 -1 1077944384 673 0 0 0 5 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123019590512 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22947] ppid=22909 vsize=8414124 memory=1808 CPUtime=0.06 cores=0-7
/proc/22932/task/22947/stat : 22947 (java) S 22909 22909 22865 0 -1 1077944384 153 0 0 0 6 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123018537712 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22948] ppid=22909 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/22932/task/22948/stat : 22948 (java) S 22909 22909 22865 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123017484912 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22949] ppid=22909 vsize=8414124 memory=122284 CPUtime=0.2 cores=0-7
/proc/22932/task/22949/stat : 22949 (java) S 22909 22909 22865 0 -1 1077944384 551 0 0 0 20 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123016432112 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22950] ppid=22909 vsize=8414124 memory=268636 CPUtime=0 cores=0-7
/proc/22932/task/22950/stat : 22950 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121428978272 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22951] ppid=22909 vsize=8414124 memory=3344 CPUtime=0.01 cores=0-7
/proc/22932/task/22951/stat : 22951 (java) S 22909 22909 22865 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 418888682 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123015379504 140123927698050 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22955] ppid=22909 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/22932/task/22955/stat : 22955 (java) S 22909 22909 22865 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140123007902784 140123927711513 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22957] ppid=22909 vsize=8414124 memory=7594586724376012398 CPUtime=0 cores=0-7
/proc/22932/task/22957/stat : 22957 (java) S 22909 22909 22865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140120757878928 140123927708829 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22958] ppid=22909 vsize=8414124 memory=7594586724376012398 CPUtime=0 cores=0-7
/proc/22932/task/22958/stat : 22958 (java) S 22909 22909 22865 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418888749 8616062976 30571 33554432000 4194304 4196468 140727025816048 140121026314256 140123927708829 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
[pid=22932/tid=22959] ppid=22909 vsize=8414124 memory=7306073700756254308 CPUtime=0 cores=0-7
/proc/22932/task/22959/stat : 22959 (java) S 22909 22909 22865 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418888751 8616062976 30571 33554432000 4194304 4196468 140727025816048 140120489451056 140123927697109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22052864 140727025820663 140727025820822 140727025820822 140727025823695 0
Current children cumulated CPU time: 299.64 s
Current children cumulated vsize: 9181544 KiB
Current children cumulated memory: 404124 KiB

Child status: 0
Real time (s): 44.0631
CPU time (s): 299.781
CPU user time (s): 298.726
CPU system time (s): 1.05565
CPU usage (%): 680.346
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2091092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.726
system time used= 1.05565
maximum resident set size= 2095488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14501
involuntary context switches= 3117


# summary of solver processes directly reported to runsolver:
#   pid: 22909
#   total CPU time (s): 299.781
#   total CPU user time (s): 298.726
#   total CPU system time (s): 1.05565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.431511 second user time and 0.618536 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 03:55:52
IDJOB=4392624
IDBENCH=126185
IDSOLVER=2839
FILE ID=node127/4392624-1568426192
RUNJOBID= node127-1568426152-22892
PBS_JOBID= 21702286
Free space on /tmp= 61308 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-94.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392624-1568426192/watcher-4392624-1568426192 -o /tmp/evaluation-result-4392624-1568426192/solver-4392624-1568426192 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392624-1568426192.xml

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

MD5SUM BENCH= 6d6d0435d13d3ff0671cf8a5c787b057
RANDOM SEED=1673125623

node127.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.55
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.55
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.55
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.55
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:        28854452 kB
MemAvailable:   31872004 kB
Buffers:          182392 kB
Cached:          3101888 kB
SwapCached:         6772 kB
Active:          1896688 kB
Inactive:        1398308 kB
Active(anon):       3848 kB
Inactive(anon):    48564 kB
Active(file):    1892840 kB
Inactive(file):  1349744 kB
Unevictable:      109560 kB
Mlocked:          109560 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             20884 kB
Writeback:             0 kB
AnonPages:        114684 kB
Mapped:            44724 kB
Shmem:             32700 kB
Slab:             211232 kB
SReclaimable:     181604 kB
SUnreclaim:        29628 kB
KernelStack:        3280 kB
PageTables:         5920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497948 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:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61288 MiB
End job on node127 at 2019-09-14 03:56:36