Trace number 4392571

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)SAT 19.1937 7.04565

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-08.xml
MD5SUMee1da6b537c1ecd46a877bd70c24ae39
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.402036
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints477
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree8
Maximum variable degree30
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":22,"count":5},{"degree":23,"count":2},{"degree":24,"count":5},{"degree":25,"count":1},{"degree":26,"count":1},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":477}]
Number of extensional constraints477
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":477}]
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-14299-serial-file.bin HOME/instance-4392571-1568426171.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.57	c BEGIN-Prog: Sat Sep 14 03:55:27 CEST 2019
0.65/0.57	c PID: 14302
0.65/0.57	c IP: 172.20.3.102
0.65/0.57	c HOST: node102.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.52/1.18	c (0,0) Parsing End
2.52/1.19	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 477 ctr, max domain size 20
2.52/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.52/1.19	c (0,0) Constraint Name Generate Begin
2.93/1.20	c (0,0) Ctr:HOME/instance-4392571-1568426171.xml,ExtensionConflict:Var
2.93/1.20	c (0,0) Constraint Name Generate End
2.93/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.93/1.20	c (0,0) CSP to CSPinCNF Begin
5.36/1.94	c (1,1) translated 48 (10%) constraints
6.21/2.19	c (1,1) translated 96 (20%) constraints
7.38/2.43	c (1,1) translated 144 (30%) constraints
8.18/2.67	c (2,2) translated 191 (40%) constraints
8.98/2.89	c (2,2) translated 239 (50%) constraints
9.80/3.09	c (2,2) translated 287 (60%) constraints
10.27/3.27	c (2,2) translated 334 (70%) constraints
10.70/3.46	c (2,2) translated 382 (80%) constraints
11.12/3.64	c (3,3) translated 430 (90%) constraints
11.53/3.82	c (3,3) translated 477 (100%) constraints
11.53/3.83	c (3,3) ===========================================
11.53/3.87	c (3,3) Hybrid: #OE=50, #LE=0
11.53/3.87	c (3,3) Hybrid
11.53/3.87	c (3,3) ===========================================
11.83/3.99	c (3,3) translated 3616 (10%) constraints
12.11/4.08	c (3,3) translated 7232 (20%) constraints
12.45/4.16	c (3,3) translated 10848 (30%) constraints
12.68/4.24	c (3,3) translated 14464 (40%) constraints
12.88/4.32	c (3,3) translated 18080 (50%) constraints
12.88/4.39	c (3,3) translated 21696 (60%) constraints
13.02/4.47	c (3,3) translated 25312 (70%) constraints
13.13/4.55	c (4,3) translated 28928 (80%) constraints
13.22/4.63	c (4,4) translated 32544 (90%) constraints
13.33/4.71	c (4,4) translated 36159 (100%) constraints
13.33/4.71	c (4,4) CSP to CSPinCNF End
13.33/4.71	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.33/4.71	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.33/4.71	c (4,4) CSPinCNF Propagation Begin
13.90/4.97	c (4,4) 0 values, 4172 unsatisfiable literals, and 0 valid clauses are removed
13.90/4.97	c (4,4) CSPinCNF Propagation End
13.90/4.98	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.90/4.98	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.08/5.01	c (4,4) Hybrid: #OE=50, #LE=0
14.08/5.01	c (4,4) Simplify CSPinCNF Begin
14.26/5.13	c (4,4) Simplify CSPinCNF End
14.26/5.13	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
14.26/5.13	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.26/5.13	c (4,4) Calculate Precise Domain Begin
14.26/5.14	c (4,4) 0 values are removed by re-calculation
14.26/5.14	c (4,4) Calculate Precise Domain End
14.26/5.14	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
14.26/5.14	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.26/5.14	c (4,4) CSPinCNF to SatSolver Begin
14.85/5.34	c (4,4) 3616 (10 %) CSP clauses are encoded (0 SAT variables, 4515 SAT clauses)
15.24/5.43	c (4,4) 7232 (20 %) CSP clauses are encoded (0 SAT variables, 8131 SAT clauses)
15.24/5.49	c (4,4) 10848 (30 %) CSP clauses are encoded (0 SAT variables, 11747 SAT clauses)
15.65/5.53	c (4,4) 14464 (40 %) CSP clauses are encoded (0 SAT variables, 15363 SAT clauses)
15.65/5.58	c (5,5) 18080 (50 %) CSP clauses are encoded (0 SAT variables, 18979 SAT clauses)
15.77/5.62	c (5,5) 21696 (60 %) CSP clauses are encoded (0 SAT variables, 22595 SAT clauses)
15.77/5.66	c (5,5) 25312 (70 %) CSP clauses are encoded (0 SAT variables, 26211 SAT clauses)
15.87/5.71	c (5,5) 28928 (80 %) CSP clauses are encoded (0 SAT variables, 29827 SAT clauses)
15.87/5.75	c (5,5) 32544 (90 %) CSP clauses are encoded (0 SAT variables, 33443 SAT clauses)
15.87/5.79	c (5,5) 36159 (100 %) CSP clauses are encoded (0 SAT variables, 37058 SAT clauses)
15.87/5.79	c (5,5) CSPinCNF to SatSolver End
15.87/5.79	c (5,5) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.87/5.79	c (5,5) 950 bool, 37059 clause
15.87/5.79	c (5,5) Export Begin
15.99/5.88	c (5,5) Export to HOME/scop-14299-serial-file.bin
15.99/5.88	c (5,5) Export End
15.99/5.89	c (5,5) Export File Size: 0.01 MB
15.99/5.89	c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
15.99/5.89	c END-Prog: Sat Sep 14 03:55:32 CEST 2019
0.00/5.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14299-serial-file.bin
16.74/6.36	c (0,0) Read Serial File Begin
16.74/6.36	c (0,0) HOME/scop-14299-serial-file.bin
17.01/6.57	c (0,0) Read Serial File End
17.01/6.59	
17.01/6.59	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
17.01/6.59	(Solving Process)
17.01/6.59	
17.17/6.61	c BEGIN-Prog: Sat Sep 14 03:55:33 CEST 2019
17.17/6.61	c PID: 14322
17.17/6.61	c IP: 172.20.3.102
17.17/6.61	c HOST: node102.alineos.net
17.17/6.61	c (0,0) SatSolver.solve Begin
17.17/6.61	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392571-1568426171.xml-scop-14302.cnf
17.17/6.64	c (0,0) c
17.17/6.64	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)
17.17/6.64	c (0,0) c
17.17/6.64	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.17/6.64	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.17/6.64	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.17/6.64	c (0,0) c |                                                                                                       |
17.17/6.65	c (0,0) c |  Number of variables:           950                                                                   |
17.17/6.65	c (0,0) c |  Number of clauses:           37059                                                                   |
17.17/6.65	c (0,0) c |  Parse time:                   0.01 s                                                                 |
17.17/6.65	c (0,0) c |                                                                                                       |
17.17/6.69	c (0,0) c |  Simplification time:          0.04 s                                                                 |
17.17/6.69	c (0,0) c |                                                                                                       |
17.17/6.69	c (0,0) c |  Generating clones                                                                                    |
17.39/6.70	c (0,0) c |  all clones generated. Memory =    41.87Mb.                                                           |
17.39/6.70	c (0,0) c ========================================================================================================|
17.39/6.70	c (0,0) c
17.39/6.70	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.39/6.70	c (0,0) c
17.39/6.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.70	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.39/6.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.70	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.39/6.70	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.39/6.70	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.39/6.70	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.39/6.70	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.39/6.70	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.39/6.70	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.39/6.70	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.39/6.70	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.39/6.70	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.39/6.70	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.39/6.70	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.39/6.70	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.39/6.70	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.39/6.70	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.39/6.70	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.92	c (0,0) c
17.39/6.92	c (0,0) c real time : 0.278302 s
17.39/6.92	c (0,0) c cpu time  : 1.46875 s
17.39/6.92	c (0,0) c
17.39/6.92	c (0,0) c
17.39/6.92	c (0,0) c
17.39/6.92	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.39/6.92	c (0,0) c
17.39/6.92	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.92	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.39/6.92	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.92	c (0,0) c | Conflicts     |           43644 |       5740 |       4897 |       6850 |       5150 |       6016 |       5090 |       4971 |       4930 |
17.39/6.92	c (0,0) c | Decisions     |           53525 |       6957 |       6002 |       8432 |       6248 |       7272 |       6350 |       6187 |       6077 |
17.39/6.92	c (0,0) c | Propagations  |         4063763 |     571812 |     454264 |     595582 |     451363 |     562835 |     497111 |     471891 |     458905 |
17.39/6.92	c (0,0) c | ReduceDBs     |               9 |          1 |          1 |          2 |          1 |          1 |          1 |          1 |          1 |
17.39/6.92	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.39/6.92	c (0,0) c | Restarts      |              29 |          2 |          6 |          3 |          5 |          2 |          3 |          3 |          5 |
17.39/6.92	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | PropBinClauses|         3942111 |     547558 |     445376 |     583566 |     441746 |     539784 |     483479 |     454383 |     446219 |
17.39/6.92	c (0,0) c | PropPreBlocker|       113008729 |   17095070 |   12794693 |   16611137 |   12523551 |   17351752 |   11954182 |   12155871 |   12522473 |
17.39/6.92	c (0,0) c | PropNotBlocker|        24021949 |    3350856 |    2679009 |    3410348 |    2662822 |    3240121 |    2990437 |    2876699 |    2811657 |
17.39/6.92	c (0,0) c | LitFullScans  |       162122311 |   24002106 |   18107717 |   24001826 |   18000885 |   24002780 |   18001933 |   18000526 |   18004538 |
17.39/6.92	c (0,0) c | LitScanFracts |            5560 |        617 |        303 |        875 |        712 |       1632 |        631 |        526 |        264 |
17.39/6.92	c (0,0) c | DecisionLevel0|              29 |          2 |          6 |          3 |          5 |          2 |          3 |          3 |          5 |
17.39/6.92	c (0,0) c | Periods       |              27 |          4 |          3 |          4 |          3 |          4 |          3 |          3 |          3 |
17.39/6.92	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
17.39/6.92	c (0,0) c | Avg_Trail     |                 |        389 |        355 |        367 |        370 |        358 |        408 |        418 |        359 |
17.39/6.92	c (0,0) c | Avg_DL        |                 |         33 |         15 |         20 |         24 |         22 |         22 |         21 |         13 |
17.39/6.92	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.92	c (0,0) c | Exported      |            1324 |        266 |         12 |        538 |         56 |        369 |         59 |         12 |         12 |
17.39/6.92	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.92	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.39/6.92	c (0,0) c | Glues         |                 |         10 |         12 |         17 |         10 |         11 |         22 |         12 |         12 |
17.39/6.92	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.92	c (0,0) c | Orig_Seen     |            25 % |       9737 |      10161 |       8976 |       8592 |       6468 |       9793 |      10741 |      10309 |
17.39/6.92	c (0,0) c | Diff Orig seen|                 | -      424 |      X     | -     1185 | -     1569 | -     3693 | -      368 |        580 |        148 |
17.39/6.92	c (0,0) c | Hamming       |            33 % |        308 |      X     |        294 |        328 |        352 |        322 |        341 |        293 |
17.39/6.92	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.92	c (0,0) c | RunningTime   |                 |    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|
17.39/6.92	c (0,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.39/6.92	c (0,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.39/6.92	c (0,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%|
17.39/6.92	c (0,0) c | SolvingTime   |                 |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |
17.39/6.92	c (0,0) c | PropagationTim|                 |    0.2  82%|    0.1  83%|    0.2  80%|    0.1  82%|    0.2  82%|    0.1  82%|    0.1  82%|    0.1  83%|
17.39/6.92	c (0,0) c | AnalysisTime  |                 |    0.0  14%|    0.0  13%|    0.0  15%|    0.0  14%|    0.0  15%|    0.0  14%|    0.0  14%|    0.0  13%|
17.39/6.92	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   2%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.39/6.92	c (0,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.39/6.92	c (0,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%|
17.39/6.92	c (0,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%|
17.39/6.92	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.92	c (0,0) c
17.39/6.92	c (0,0) c
17.39/6.92	c (0,0) c Threads : 8
17.39/6.92	c (0,0) c Winner : 1
17.39/6.92	c (0,0) c Conflicts_0 : 5740
17.39/6.92	c (0,0) c Conflicts_1 : 4897
17.39/6.92	c (0,0) c Conflicts_2 : 6850
17.39/6.92	c (0,0) c Conflicts_3 : 5150
17.39/6.92	c (0,0) c Conflicts_4 : 6016
17.39/6.92	c (0,0) c Conflicts_5 : 5090
17.39/6.92	c (0,0) c Conflicts_6 : 4971
17.39/6.92	c (0,0) c Conflicts_7 : 4930
17.39/6.92	c (0,0) c Conflicts_total : 43644
17.39/6.92	c (0,0) c Conflicts_winner : 4897
17.39/6.92	c (0,0) c Decisions_0 : 6957
17.39/6.92	c (0,0) c Decisions_1 : 6002
17.39/6.92	c (0,0) c Decisions_2 : 8432
17.39/6.92	c (0,0) c Decisions_3 : 6248
17.39/6.92	c (0,0) c Decisions_4 : 7272
17.39/6.92	c (0,0) c Decisions_5 : 6350
17.39/6.92	c (0,0) c Decisions_6 : 6187
17.39/6.92	c (0,0) c Decisions_7 : 6077
17.39/6.92	c (0,0) c Decisions_total : 53525
17.39/6.92	c (0,0) c Decisions_winner : 6002
17.39/6.92	c (0,0) c Propagations_0 : 571812
17.39/6.92	c (0,0) c Propagations_1 : 454264
17.39/6.92	c (0,0) c Propagations_2 : 595582
17.39/6.92	c (0,0) c Propagations_3 : 451363
17.39/6.92	c (0,0) c Propagations_4 : 562835
17.39/6.92	c (0,0) c Propagations_5 : 497111
17.39/6.92	c (0,0) c Propagations_6 : 471891
17.39/6.92	c (0,0) c Propagations_7 : 458905
17.39/6.92	c (0,0) c Propagations_total : 4063763
17.39/6.92	c (0,0) c Propagations_winner : 454264
17.39/6.92	c (0,0) c ReduceDBs_0 : 1
17.39/6.92	c (0,0) c ReduceDBs_1 : 1
17.39/6.92	c (0,0) c ReduceDBs_2 : 2
17.39/6.92	c (0,0) c ReduceDBs_3 : 1
17.39/6.92	c (0,0) c ReduceDBs_4 : 1
17.39/6.92	c (0,0) c ReduceDBs_5 : 1
17.39/6.92	c (0,0) c ReduceDBs_6 : 1
17.39/6.92	c (0,0) c ReduceDBs_7 : 1
17.39/6.92	c (0,0) c ReduceDBs_total : 9
17.39/6.92	c (0,0) c ReduceDBs_winner : 1
17.39/6.92	c (0,0) c SimpDBs_0 : 1
17.39/6.92	c (0,0) c SimpDBs_1 : 1
17.39/6.92	c (0,0) c SimpDBs_2 : 1
17.39/6.92	c (0,0) c SimpDBs_3 : 1
17.39/6.92	c (0,0) c SimpDBs_4 : 1
17.39/6.92	c (0,0) c SimpDBs_5 : 1
17.39/6.92	c (0,0) c SimpDBs_6 : 1
17.39/6.92	c (0,0) c SimpDBs_7 : 1
17.39/6.92	c (0,0) c SimpDBs_total : 8
17.39/6.92	c (0,0) c SimpDBs_winner : 1
17.39/6.92	c (0,0) c Restarts_0 : 2
17.39/6.92	c (0,0) c Restarts_1 : 6
17.39/6.92	c (0,0) c Restarts_2 : 3
17.39/6.92	c (0,0) c Restarts_3 : 5
17.39/6.92	c (0,0) c Restarts_4 : 2
17.39/6.92	c (0,0) c Restarts_5 : 3
17.39/6.92	c (0,0) c Restarts_6 : 3
17.39/6.92	c (0,0) c Restarts_7 : 5
17.39/6.92	c (0,0) c Restarts_total : 29
17.39/6.92	c (0,0) c Restarts_winner : 6
17.39/6.92	c (0,0) c ForcedImports_0 : 0
17.39/6.92	c (0,0) c ForcedImports_1 : 0
17.39/6.92	c (0,0) c ForcedImports_2 : 0
17.39/6.92	c (0,0) c ForcedImports_3 : 0
17.39/6.92	c (0,0) c ForcedImports_4 : 0
17.39/6.92	c (0,0) c ForcedImports_5 : 0
17.39/6.92	c (0,0) c ForcedImports_6 : 0
17.39/6.92	c (0,0) c ForcedImports_7 : 0
17.39/6.92	c (0,0) c ForcedImports_total : 0
17.39/6.92	c (0,0) c ForcedImports_winner : 0
17.39/6.92	c (0,0) c PropsBinClauses_0 : 547558
17.39/6.92	c (0,0) c PropsBinClauses_1 : 445376
17.39/6.92	c (0,0) c PropsBinClauses_2 : 583566
17.39/6.92	c (0,0) c PropsBinClauses_3 : 441746
17.39/6.92	c (0,0) c PropsBinClauses_4 : 539784
17.39/6.92	c (0,0) c PropsBinClauses_5 : 483479
17.39/6.92	c (0,0) c PropsBinClauses_6 : 454383
17.39/6.92	c (0,0) c PropsBinClauses_7 : 446219
17.39/6.92	c (0,0) c PropsBinClauses_total : 3942111
17.39/6.92	c (0,0) c PropsBinClauses_winner : 445376
17.39/6.92	c (0,0) c PropsPreBlocker_0 : 17095070
17.39/6.92	c (0,0) c PropsPreBlocker_1 : 12794693
17.39/6.92	c (0,0) c PropsPreBlocker_2 : 16611137
17.39/6.92	c (0,0) c PropsPreBlocker_3 : 12523551
17.39/6.92	c (0,0) c PropsPreBlocker_4 : 17351752
17.39/6.92	c (0,0) c PropsPreBlocker_5 : 11954182
17.39/6.92	c (0,0) c PropsPreBlocker_6 : 12155871
17.39/6.92	c (0,0) c PropsPreBlocker_7 : 12522473
17.39/6.92	c (0,0) c PropsPreBlocker_total : 113008729
17.39/6.92	c (0,0) c PropsPreBlocker_winner : 12794693
17.39/6.92	c (0,0) c PropsNotBlocker_0 : 3350856
17.39/6.92	c (0,0) c PropsNotBlocker_1 : 2679009
17.39/6.92	c (0,0) c PropsNotBlocker_2 : 3410348
17.39/6.92	c (0,0) c PropsNotBlocker_3 : 2662822
17.39/6.92	c (0,0) c PropsNotBlocker_4 : 3240121
17.39/6.92	c (0,0) c PropsNotBlocker_5 : 2990437
17.39/6.92	c (0,0) c PropsNotBlocker_6 : 2876699
17.39/6.92	c (0,0) c PropsNotBlocker_7 : 2811657
17.39/6.92	c (0,0) c PropsNotBlocker_total : 24021949
17.39/6.92	c (0,0) c PropsNotBlocker_winner : 2679009
17.39/6.92	c (0,0) c PropsLitFullScans_0 : 24002106
17.39/6.92	c (0,0) c PropsLitFullScans_1 : 18107717
17.39/6.92	c (0,0) c PropsLitFullScans_2 : 24001826
17.39/6.92	c (0,0) c PropsLitFullScans_3 : 18000885
17.39/6.92	c (0,0) c PropsLitFullScans_4 : 24002780
17.39/6.92	c (0,0) c PropsLitFullScans_5 : 18001933
17.39/6.92	c (0,0) c PropsLitFullScans_6 : 18000526
17.39/6.92	c (0,0) c PropsLitFullScans_7 : 18004538
17.39/6.92	c (0,0) c PropsLitFullScans_total : 162122311
17.39/6.92	c (0,0) c PropsLitFullScans_winner : 18107717
17.39/6.92	c (0,0) c LitScanFractions_0 : 617
17.39/6.92	c (0,0) c LitScanFractions_1 : 303
17.39/6.92	c (0,0) c LitScanFractions_2 : 875
17.39/6.92	c (0,0) c LitScanFractions_3 : 712
17.39/6.92	c (0,0) c LitScanFractions_4 : 1632
17.39/6.92	c (0,0) c LitScanFractions_5 : 631
17.39/6.92	c (0,0) c LitScanFractions_6 : 526
17.39/6.92	c (0,0) c LitScanFractions_7 : 264
17.39/6.92	c (0,0) c LitScanFractions_total : 5560
17.39/6.92	c (0,0) c LitScanFractions_winner : 303
17.39/6.92	c (0,0) c DecisionLevel0_0 : 2
17.39/6.92	c (0,0) c DecisionLevel0_1 : 6
17.39/6.92	c (0,0) c DecisionLevel0_2 : 3
17.39/6.92	c (0,0) c DecisionLevel0_3 : 5
17.39/6.92	c (0,0) c DecisionLevel0_4 : 2
17.39/6.92	c (0,0) c DecisionLevel0_5 : 3
17.39/6.92	c (0,0) c DecisionLevel0_6 : 3
17.39/6.92	c (0,0) c DecisionLevel0_7 : 5
17.39/6.92	c (0,0) c DecisionLevel0_total : 29
17.39/6.92	c (0,0) c DecisionLevel0_winner : 6
17.39/6.92	c (0,0) c Periods_0 : 4
17.39/6.92	c (0,0) c Periods_1 : 3
17.39/6.92	c (0,0) c Periods_2 : 4
17.39/6.92	c (0,0) c Periods_3 : 3
17.39/6.92	c (0,0) c Periods_4 : 4
17.39/6.92	c (0,0) c Periods_5 : 3
17.39/6.92	c (0,0) c Periods_6 : 3
17.39/6.92	c (0,0) c Periods_7 : 3
17.39/6.92	c (0,0) c Periods_total : 27
17.39/6.92	c (0,0) c Periods_winner : 3
17.39/6.92	c (0,0) c Margin_0 : 20
17.39/6.92	c (0,0) c Margin_1 : 20
17.39/6.93	c (0,0) c Margin_2 : 20
17.39/6.93	c (0,0) c Margin_3 : 20
17.39/6.93	c (0,0) c Margin_4 : 20
17.39/6.93	c (0,0) c Margin_5 : 20
17.39/6.93	c (0,0) c Margin_6 : 20
17.39/6.93	c (0,0) c Margin_7 : 20
17.39/6.93	c (0,0) c Margin_total : 160
17.39/6.93	c (0,0) c Margin_winner : 20
17.39/6.93	c (0,0) c Exported_0 : 266
17.39/6.93	c (0,0) c Exported_1 : 12
17.39/6.93	c (0,0) c Exported_2 : 538
17.39/6.93	c (0,0) c Exported_3 : 56
17.39/6.93	c (0,0) c Exported_4 : 369
17.39/6.93	c (0,0) c Exported_5 : 59
17.39/6.93	c (0,0) c Exported_6 : 12
17.39/6.93	c (0,0) c Exported_7 : 12
17.39/6.93	c (0,0) c Exported_total : 1324
17.39/6.93	c (0,0) c Exported_winner : 12
17.39/6.93	c (0,0) c Imported_0 : 0
17.39/6.93	c (0,0) c Imported_1 : 0
17.39/6.93	c (0,0) c Imported_2 : 0
17.39/6.93	c (0,0) c Imported_3 : 0
17.39/6.93	c (0,0) c Imported_4 : 0
17.39/6.93	c (0,0) c Imported_5 : 0
17.39/6.93	c (0,0) c Imported_6 : 0
17.39/6.93	c (0,0) c Imported_7 : 0
17.39/6.93	c (0,0) c Imported_total : 0
17.39/6.93	c (0,0) c Imported_winner : 0
17.39/6.93	c (0,0) c Good_0 : 0
17.39/6.93	c (0,0) c Good_1 : 0
17.39/6.93	c (0,0) c Good_2 : 0
17.39/6.93	c (0,0) c Good_3 : 0
17.39/6.93	c (0,0) c Good_4 : 0
17.39/6.93	c (0,0) c Good_5 : 0
17.39/6.93	c (0,0) c Good_6 : 0
17.39/6.93	c (0,0) c Good_7 : 0
17.39/6.93	c (0,0) c Good_total : 0
17.39/6.93	c (0,0) c Good_winner : 0
17.39/6.93	c (0,0) c Purge_0 : 0
17.39/6.93	c (0,0) c Purge_1 : 0
17.39/6.93	c (0,0) c Purge_2 : 0
17.39/6.93	c (0,0) c Purge_3 : 0
17.39/6.93	c (0,0) c Purge_4 : 0
17.39/6.93	c (0,0) c Purge_5 : 0
17.39/6.93	c (0,0) c Purge_6 : 0
17.39/6.93	c (0,0) c Purge_7 : 0
17.39/6.93	c (0,0) c Purge_total : 0
17.39/6.93	c (0,0) c Purge_winner : 0
17.39/6.93	c (0,0) c Promoted_0 : 0
17.39/6.93	c (0,0) c Promoted_1 : 0
17.39/6.93	c (0,0) c Promoted_2 : 0
17.39/6.93	c (0,0) c Promoted_3 : 0
17.39/6.93	c (0,0) c Promoted_4 : 0
17.39/6.93	c (0,0) c Promoted_5 : 0
17.39/6.93	c (0,0) c Promoted_6 : 0
17.39/6.93	c (0,0) c Promoted_7 : 0
17.39/6.93	c (0,0) c Promoted_total : 0
17.39/6.93	c (0,0) c Promoted_winner : 0
17.39/6.93	c (0,0) c Remove_Imp_0 : 0
17.39/6.93	c (0,0) c Remove_Imp_1 : 0
17.39/6.93	c (0,0) c Remove_Imp_2 : 0
17.39/6.93	c (0,0) c Remove_Imp_3 : 0
17.39/6.93	c (0,0) c Remove_Imp_4 : 0
17.39/6.93	c (0,0) c Remove_Imp_5 : 0
17.39/6.93	c (0,0) c Remove_Imp_6 : 0
17.39/6.93	c (0,0) c Remove_Imp_7 : 0
17.39/6.93	c (0,0) c Remove_Imp_total : 0
17.39/6.93	c (0,0) c Remove_Imp_winner : 0
17.39/6.93	c (0,0) c Blocked_Reuse_0 : 0
17.39/6.93	c (0,0) c Blocked_Reuse_1 : 0
17.39/6.93	c (0,0) c Blocked_Reuse_2 : 0
17.39/6.93	c (0,0) c Blocked_Reuse_3 : 0
17.39/6.93	c (0,0) c Blocked_Reuse_4 : 0
17.39/6.93	c (0,0) c Blocked_Reuse_5 : 0
17.39/6.93	c (0,0) c Blocked_Reuse_6 : 0
17.39/6.93	c (0,0) c Blocked_Reuse_7 : 0
17.39/6.93	c (0,0) c Blocked_Reuse_total : 0
17.39/6.93	c (0,0) c Blocked_Reuse_winner : 0
17.39/6.93	c (0,0) c Unaries_0 : 0
17.39/6.93	c (0,0) c Unaries_1 : 0
17.39/6.93	c (0,0) c Unaries_2 : 0
17.39/6.93	c (0,0) c Unaries_3 : 0
17.39/6.93	c (0,0) c Unaries_4 : 0
17.39/6.93	c (0,0) c Unaries_5 : 0
17.39/6.93	c (0,0) c Unaries_6 : 0
17.39/6.93	c (0,0) c Unaries_7 : 0
17.39/6.93	c (0,0) c Unaries_total : 0
17.39/6.93	c (0,0) c Unaries_winner : 0
17.39/6.93	c (0,0) c Binaries_0 : 0
17.39/6.93	c (0,0) c Binaries_1 : 0
17.39/6.93	c (0,0) c Binaries_2 : 0
17.39/6.93	c (0,0) c Binaries_3 : 0
17.39/6.93	c (0,0) c Binaries_4 : 0
17.39/6.93	c (0,0) c Binaries_5 : 0
17.39/6.93	c (0,0) c Binaries_6 : 0
17.39/6.93	c (0,0) c Binaries_7 : 0
17.39/6.93	c (0,0) c Binaries_total : 0
17.39/6.93	c (0,0) c Binaries_winner : 0
17.39/6.93	c (0,0) c Glues_0 : 10
17.39/6.93	c (0,0) c Glues_1 : 12
17.39/6.93	c (0,0) c Glues_2 : 17
17.39/6.93	c (0,0) c Glues_3 : 10
17.39/6.93	c (0,0) c Glues_4 : 11
17.39/6.93	c (0,0) c Glues_5 : 22
17.39/6.93	c (0,0) c Glues_6 : 12
17.39/6.93	c (0,0) c Glues_7 : 12
17.39/6.93	c (0,0) c Glues_total : 106
17.39/6.93	c (0,0) c Glues_winner : 12
17.39/6.93	c (0,0) c RunningTime_0 : 0.215528
17.39/6.93	c (0,0) c RunningTime_1 : 0.167730
17.39/6.93	c (0,0) c RunningTime_2 : 0.215293
17.39/6.93	c (0,0) c RunningTime_3 : 0.171876
17.39/6.93	c (0,0) c RunningTime_4 : 0.202240
17.39/6.93	c (0,0) c RunningTime_5 : 0.176491
17.39/6.93	c (0,0) c RunningTime_6 : 0.177848
17.39/6.93	c (0,0) c RunningTime_7 : 0.178191
17.39/6.93	c (0,0) c RunningTime_total : 1.505198
17.39/6.93	c (0,0) c RunningTime_winner : 0.167730
17.39/6.93	c (0,0) c WaitingTime_0 : 0.000000
17.39/6.93	c (0,0) c WaitingTime_1 : 0.000000
17.39/6.93	c (0,0) c WaitingTime_2 : 0.000000
17.39/6.93	c (0,0) c WaitingTime_3 : 0.000000
17.39/6.93	c (0,0) c WaitingTime_4 : 0.000000
17.39/6.93	c (0,0) c WaitingTime_5 : 0.000000
17.39/6.93	c (0,0) c WaitingTime_6 : 0.000000
17.39/6.93	c (0,0) c WaitingTime_7 : 0.000000
17.39/6.93	c (0,0) c WaitingTime_total : 0.000000
17.39/6.93	c (0,0) c WaitingTime_winner : 0.000000
17.39/6.93	c (0,0) c ExchangingTime_0 : 0.000252
17.39/6.93	c (0,0) c ExchangingTime_1 : 0.000226
17.39/6.93	c (0,0) c ExchangingTime_2 : 0.000334
17.39/6.93	c (0,0) c ExchangingTime_3 : 0.000219
17.39/6.93	c (0,0) c ExchangingTime_4 : 0.000286
17.39/6.93	c (0,0) c ExchangingTime_5 : 0.000255
17.39/6.93	c (0,0) c ExchangingTime_6 : 0.000205
17.39/6.93	c (0,0) c ExchangingTime_7 : 0.000242
17.39/6.93	c (0,0) c ExchangingTime_total : 0.002019
17.39/6.93	c (0,0) c ExchangingTime_winner : 0.000226
17.39/6.93	c (0,0) c PeriodProcTime_0 : 0.000021
17.39/6.93	c (0,0) c PeriodProcTime_1 : 0.000016
17.39/6.93	c (0,0) c PeriodProcTime_2 : 0.000019
17.39/6.93	c (0,0) c PeriodProcTime_3 : 0.000014
17.39/6.93	c (0,0) c PeriodProcTime_4 : 0.000044
17.39/6.93	c (0,0) c PeriodProcTime_5 : 0.000015
17.39/6.93	c (0,0) c PeriodProcTime_6 : 0.000013
17.39/6.93	c (0,0) c PeriodProcTime_7 : 0.000013
17.39/6.93	c (0,0) c PeriodProcTime_total : 0.000154
17.39/6.93	c (0,0) c PeriodProcTime_winner : 0.000016
17.39/6.93	c (0,0) c SolvingTime_0 : 0.215800
17.39/6.93	c (0,0) c SolvingTime_1 : 0.167971
17.39/6.93	c (0,0) c SolvingTime_2 : 0.215647
17.39/6.93	c (0,0) c SolvingTime_3 : 0.172109
17.39/6.93	c (0,0) c SolvingTime_4 : 0.202569
17.39/6.93	c (0,0) c SolvingTime_5 : 0.176762
17.39/6.93	c (0,0) c SolvingTime_6 : 0.178066
17.39/6.93	c (0,0) c SolvingTime_7 : 0.178447
17.39/6.93	c (0,0) c SolvingTime_total : 1.507371
17.39/6.93	c (0,0) c SolvingTime_winner : 0.167971
17.39/6.93	c (0,0) c PropagationTime_0 : 0.177753
17.39/6.93	c (0,0) c PropagationTime_1 : 0.139507
17.39/6.93	c (0,0) c PropagationTime_2 : 0.172046
17.39/6.93	c (0,0) c PropagationTime_3 : 0.141681
17.39/6.93	c (0,0) c PropagationTime_4 : 0.165449
17.39/6.93	c (0,0) c PropagationTime_5 : 0.145142
17.39/6.93	c (0,0) c PropagationTime_6 : 0.146352
17.39/6.93	c (0,0) c PropagationTime_7 : 0.148523
17.39/6.93	c (0,0) c PropagationTime_total : 1.236453
17.39/6.93	c (0,0) c PropagationTime_winner : 0.139507
17.39/6.93	c (0,0) c AnalysisTime_0 : 0.029625
17.39/6.93	c (0,0) c AnalysisTime_1 : 0.022109
17.39/6.93	c (0,0) c AnalysisTime_2 : 0.031715
17.39/6.93	c (0,0) c AnalysisTime_3 : 0.024087
17.39/6.93	c (0,0) c AnalysisTime_4 : 0.029782
17.39/6.93	c (0,0) c AnalysisTime_5 : 0.024439
17.39/6.93	c (0,0) c AnalysisTime_6 : 0.024697
17.39/6.93	c (0,0) c AnalysisTime_7 : 0.023325
17.39/6.93	c (0,0) c AnalysisTime_total : 0.209780
17.39/6.93	c (0,0) c AnalysisTime_winner : 0.022109
17.39/6.93	c (0,0) c ReductionTime_0 : 0.000298
17.39/6.93	c (0,0) c ReductionTime_1 : 0.000303
17.39/6.93	c (0,0) c ReductionTime_2 : 0.004120
17.39/6.93	c (0,0) c ReductionTime_3 : 0.000322
17.39/6.93	c (0,0) c ReductionTime_4 : 0.000323
17.39/6.93	c (0,0) c ReductionTime_5 : 0.000315
17.39/6.93	c (0,0) c ReductionTime_6 : 0.000308
17.39/6.93	c (0,0) c ReductionTime_7 : 0.000317
17.39/6.93	c (0,0) c ReductionTime_total : 0.006306
17.39/6.93	c (0,0) c ReductionTime_winner : 0.000303
17.39/6.93	c (0,0) c SimplifyTime_0 : 0.000000
17.39/6.93	c (0,0) c SimplifyTime_1 : 0.000002
17.39/6.93	c (0,0) c SimplifyTime_2 : 0.000000
17.39/6.93	c (0,0) c SimplifyTime_3 : 0.000000
17.39/6.93	c (0,0) c SimplifyTime_4 : 0.000001
17.39/6.93	c (0,0) c SimplifyTime_5 : 0.000000
17.39/6.93	c (0,0) c SimplifyTime_6 : 0.000001
17.39/6.93	c (0,0) c SimplifyTime_7 : 0.000002
17.39/6.93	c (0,0) c SimplifyTime_total : 0.000006
17.39/6.93	c (0,0) c SimplifyTime_winner : 0.000002
17.39/6.93	c (0,0) c UsedRateTime_0 : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_1 : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_2 : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_3 : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_4 : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_5 : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_6 : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_7 : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_total : 0.000000
17.39/6.93	c (0,0) c UsedRateTime_winner : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_0 : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_1 : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_2 : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_3 : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_4 : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_5 : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_6 : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_7 : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_total : 0.000000
17.39/6.93	c (0,0) c OverlapRateTime_winner : 0.000000
17.39/6.93	c (0,0) c
17.39/6.93	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.39/6.93	c (0,0) c
17.39/6.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.93	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.39/6.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.93	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.39/6.93	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.39/6.93	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.39/6.93	c (0,0) c | Initial random_seed   | 1423095042 |  321122546 |  661552271 |  106066119 | 1760814296 |  523201872 | 1937757103 |  893659072 |
17.39/6.93	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.39/6.93	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.39/6.93	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.39/6.93	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.39/6.93	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.39/6.93	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.39/6.93	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.39/6.93	c (0,0) c | var_decay             |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8000 |     0.8000 |
17.39/6.93	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.39/6.93	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.39/6.93	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.39/6.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.39/6.93	c (0,0) 
17.39/6.93	c (0,0) s SATISFIABLE
17.39/6.95	c (0,0) SatSolver.solve End
17.39/6.95	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.39/6.95	c (0,0) Show results Begin
19.09/7.03	c (0,0) x[0] = 19
19.09/7.03	c (0,0) x[1] = 11
19.09/7.03	c (0,0) x[2] = 5
19.09/7.03	c (0,0) x[3] = 20
19.09/7.03	c (0,0) x[4] = 8
19.09/7.03	c (0,0) x[5] = 8
19.09/7.03	c (0,0) x[6] = 10
19.09/7.03	c (0,0) x[7] = 8
19.09/7.03	c (0,0) x[8] = 1
19.09/7.03	c (0,0) x[9] = 7
19.09/7.03	c (0,0) x[10] = 2
19.09/7.03	c (0,0) x[11] = 1
19.09/7.03	c (0,0) x[12] = 4
19.09/7.03	c (0,0) x[13] = 15
19.09/7.03	c (0,0) x[14] = 10
19.09/7.03	c (0,0) x[15] = 15
19.09/7.03	c (0,0) x[16] = 20
19.09/7.03	c (0,0) x[17] = 15
19.09/7.03	c (0,0) x[18] = 1
19.09/7.03	c (0,0) x[19] = 15
19.09/7.03	c (0,0) x[20] = 9
19.09/7.03	c (0,0) x[21] = 3
19.09/7.03	c (0,0) x[22] = 15
19.09/7.03	c (0,0) x[23] = 13
19.09/7.03	c (0,0) x[24] = 7
19.09/7.03	c (0,0) x[25] = 4
19.09/7.03	c (0,0) x[26] = 20
19.09/7.03	c (0,0) x[27] = 4
19.09/7.03	c (0,0) x[28] = 8
19.09/7.03	c (0,0) x[29] = 5
19.09/7.03	c (0,0) x[30] = 9
19.09/7.03	c (0,0) x[31] = 6
19.09/7.03	c (0,0) x[32] = 2
19.09/7.03	c (0,0) x[33] = 5
19.09/7.03	c (0,0) x[34] = 8
19.09/7.03	c (0,0) x[35] = 17
19.09/7.03	c (0,0) x[36] = 17
19.09/7.03	c (0,0) x[37] = 11
19.09/7.03	c (0,0) x[38] = 17
19.09/7.03	c (0,0) x[39] = 15
19.09/7.03	c (0,0) x[40] = 11
19.09/7.03	c (0,0) x[41] = 11
19.09/7.03	c (0,0) x[42] = 16
19.09/7.03	c (0,0) x[43] = 1
19.09/7.03	c (0,0) x[44] = 15
19.09/7.03	c (0,0) x[45] = 4
19.09/7.03	c (0,0) x[46] = 3
19.09/7.03	c (0,0) x[47] = 20
19.09/7.03	c (0,0) x[48] = 18
19.09/7.03	c (0,0) x[49] = 15
19.09/7.03	s SATISFIABLE
19.09/7.03	v <instantiation>
19.09/7.03	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
19.09/7.03	v     <values>19 11 5 20 8 8 10 8 1 7 2 1 4 15 10 15 20 15 1 15 9 3 15 13 7 4 20 4 8 5 9 6 2 5 8 17 17 11 17 15 11 11 16 1 15 4 3 20 18 15</values>
19.09/7.03	v </instantiation>
19.09/7.03	c (0,0) Show results End
19.09/7.03	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
19.09/7.03	c (0,0) 0,0,STOP-AFTER(ALL)
19.09/7.03	c END-Prog: Sat Sep 14 03:55:33 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392571-1568426171/watcher-4392571-1568426171 -o /tmp/evaluation-result-4392571-1568426171/solver-4392571-1568426171 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --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-4392571-1568426171.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
Current StackSize limit: 8192 KiB

solver pid=14299, runsolver pid=14296

[startup+0.100158 s]*
/proc/loadavg: 6.75 7.90 8.05 2/211 14321
/proc/meminfo: memFree=31443808/32770624 swapFree=66995692/67108860
[pid=14299] ppid=14296 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14299/stat : 14299 (scop.sh) S 14296 14299 7170 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 418868598 115843072 349 33554432000 4194304 5098028 140728873022160 140728873019416 140524520100476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140728873026340 140728873026668 140728873026668 140728873029581 0
/proc/14299/statm: 28282 349 296 221 0 87 0
[pid=14302] ppid=14299 vsize=27314120 memory=106468 CPUtime=0.1 cores=0-7
/proc/14302/stat : 14302 (java) S 14299 14299 7170 0 -1 1077944320 6218 0 0 0 8 2 0 0 20 0 20 0 418868598 27969658880 26617 33554432000 4194304 4196468 140736127905312 140736127887856 139649693916919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
/proc/14302/statm: 6828530 26617 2776 1 0 6790935 0
[pid=14302/tid=14303] ppid=14299 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/14302/task/14303/stat : 14303 (java) R 14299 14299 7170 0 -1 4202560 4322 0 0 0 6 2 0 0 20 0 20 0 418868599 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649665743248 139649693938845 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14304] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14304/stat : 14304 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649698158992 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14305] ppid=14299 vsize=27314120 memory=140391440238469 CPUtime=0 cores=0-7
/proc/14302/task/14305/stat : 14305 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649520654608 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14306] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14306/stat : 14306 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649115437712 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14307] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14307/stat : 14307 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649114384912 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14308] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14308/stat : 14308 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649113332624 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14309] ppid=14299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14302/task/14309/stat : 14309 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649112279824 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14310] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14310/stat : 14310 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649111227536 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14311] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14311/stat : 14311 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 26617 33554432000 4194304 4196468 140736127905312 139649110174736 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14312] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14312/stat : 14312 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 26617 33554432000 4194304 4196468 140736127905312 139647812896880 139649693928066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14313] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14313/stat : 14313 (java) S 14299 14299 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 26617 33554432000 4194304 4196468 140736127905312 139647640396576 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14314] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14314/stat : 14314 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 26617 33554432000 4194304 4196468 140736127905312 139647371961456 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14315] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14315/stat : 14315 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 26617 33554432000 4194304 4196468 140736127905312 139646997452880 139649693935515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14316] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14316/stat : 14316 (java) S 14299 14299 7170 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 26617 33554432000 4194304 4196468 140736127905312 139647811844720 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14317] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14317/stat : 14317 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 26617 33554432000 4194304 4196468 140736127905312 139647810791920 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14318] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14318/stat : 14318 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 26617 33554432000 4194304 4196468 140736127905312 139647809739632 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14319] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14319/stat : 14319 (java) S 14299 14299 7170 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 26617 33554432000 4194304 4196468 140736127905312 139647808686832 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14320] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14320/stat : 14320 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 26617 33554432000 4194304 4196468 140736127905312 139646499547488 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14321] ppid=14299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14302/task/14321/stat : 14321 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868607 27969658880 26617 33554432000 4194304 4196468 140736127905312 139647807633712 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107864 KiB

[startup+0.210259 s]*
/proc/loadavg: 6.75 7.90 8.05 3/211 14321
/proc/meminfo: memFree=31423224/32770624 swapFree=66995692/67108860
[pid=14299] ppid=14296 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14299/stat : 14299 (scop.sh) S 14296 14299 7170 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 418868598 115843072 349 33554432000 4194304 5098028 140728873022160 140728873019416 140524520100476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140728873026340 140728873026668 140728873026668 140728873029581 0
/proc/14299/statm: 28282 349 296 221 0 87 0
[pid=14302] ppid=14299 vsize=27314120 memory=123580 CPUtime=0.24 cores=0-7
/proc/14302/stat : 14302 (java) S 14299 14299 7170 0 -1 1077944320 11265 0 0 0 20 4 0 0 20 0 20 0 418868598 27969658880 30895 33554432000 4194304 4196468 140736127905312 140736127887856 139649693916919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
/proc/14302/statm: 6828530 30895 2896 1 0 6790935 0
[pid=14302/tid=14303] ppid=14299 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14302/task/14303/stat : 14303 (java) R 14299 14299 7170 0 -1 4202560 8958 0 0 0 16 3 0 0 20 0 20 0 418868599 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649665716304 139649679082487 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14304] ppid=14299 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/14302/task/14304/stat : 14304 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649698158992 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14305] ppid=14299 vsize=27314120 memory=3760987148761798304 CPUtime=0 cores=0-7
/proc/14302/task/14305/stat : 14305 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649520654608 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14306] ppid=14299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14302/task/14306/stat : 14306 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649115437712 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14307] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14307/stat : 14307 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649114384912 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14308] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14308/stat : 14308 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649113332624 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14309] ppid=14299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14302/task/14309/stat : 14309 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649112279824 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14310] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14310/stat : 14310 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649111227536 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14311] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14311/stat : 14311 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 30895 33554432000 4194304 4196468 140736127905312 139649110174736 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14312] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14312/stat : 14312 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 30895 33554432000 4194304 4196468 140736127905312 139647812896880 139649693928066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14313] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14313/stat : 14313 (java) S 14299 14299 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 30895 33554432000 4194304 4196468 140736127905312 139647640396576 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14314] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14314/stat : 14314 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 30895 33554432000 4194304 4196468 140736127905312 139647371961456 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14315] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14315/stat : 14315 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 30895 33554432000 4194304 4196468 140736127905312 139646997452880 139649693935515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14316] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14316/stat : 14316 (java) S 14299 14299 7170 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 30895 33554432000 4194304 4196468 140736127905312 139647811844720 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14317] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14317/stat : 14317 (java) S 14299 14299 7170 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 30895 33554432000 4194304 4196468 140736127905312 139647810791920 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14318] ppid=14299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14302/task/14318/stat : 14318 (java) S 14299 14299 7170 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 30895 33554432000 4194304 4196468 140736127905312 139647809739632 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14319] ppid=14299 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/14302/task/14319/stat : 14319 (java) S 14299 14299 7170 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 418868606 27969658880 30895 33554432000 4194304 4196468 140736127905312 139647808686832 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14320] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14320/stat : 14320 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 30895 33554432000 4194304 4196468 140736127905312 139646499547488 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14321] ppid=14299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14302/task/14321/stat : 14321 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868607 27969658880 30895 33554432000 4194304 4196468 140736127905312 139647807633712 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124976 KiB

[startup+0.309675 s]*
/proc/loadavg: 6.75 7.90 8.05 3/211 14321
/proc/meminfo: memFree=31418928/32770624 swapFree=66995692/67108860
[pid=14299] ppid=14296 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14299/stat : 14299 (scop.sh) S 14296 14299 7170 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 418868598 115843072 349 33554432000 4194304 5098028 140728873022160 140728873019416 140524520100476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140728873026340 140728873026668 140728873026668 140728873029581 0
/proc/14299/statm: 28282 349 296 221 0 87 0
[pid=14302] ppid=14299 vsize=27314120 memory=127508 CPUtime=0.42 cores=0-7
/proc/14302/stat : 14302 (java) S 14299 14299 7170 0 -1 1077944320 12266 0 0 0 37 5 0 0 20 0 20 0 418868598 27969658880 31877 33554432000 4194304 4196468 140736127905312 140736127887856 139649693916919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
/proc/14302/statm: 6828530 31877 2995 1 0 6790935 0
[pid=14302/tid=14303] ppid=14299 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/14302/task/14303/stat : 14303 (java) R 14299 14299 7170 0 -1 4202560 9774 0 0 0 25 4 0 0 20 0 20 0 418868599 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649665699936 139649679895765 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14304] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14304/stat : 14304 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649698158992 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14305] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14305/stat : 14305 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649520654608 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14306] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14306/stat : 14306 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649115437712 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14307] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14307/stat : 14307 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649114384912 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14308] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14308/stat : 14308 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649113332624 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14309] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14309/stat : 14309 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649112279824 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14310] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14310/stat : 14310 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649111227536 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14311] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14311/stat : 14311 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27969658880 31877 33554432000 4194304 4196468 140736127905312 139649110174736 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14312] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14312/stat : 14312 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 31877 33554432000 4194304 4196468 140736127905312 139647812896880 139649693928066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14313] ppid=14299 vsize=27314120 memory=280782681873792 CPUtime=0 cores=0-7
/proc/14302/task/14313/stat : 14313 (java) S 14299 14299 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 31877 33554432000 4194304 4196468 140736127905312 139647640396576 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14314] ppid=14299 vsize=27314120 memory=280782681878400 CPUtime=0 cores=0-7
/proc/14302/task/14314/stat : 14314 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868603 27969658880 31877 33554432000 4194304 4196468 140736127905312 139647371961456 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14315] ppid=14299 vsize=27314120 memory=280782681883008 CPUtime=0 cores=0-7
/proc/14302/task/14315/stat : 14315 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 31877 33554432000 4194304 4196468 140736127905312 139646997452880 139649693935515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14316] ppid=14299 vsize=27314120 memory=280782681887616 CPUtime=0.01 cores=0-7
/proc/14302/task/14316/stat : 14316 (java) S 14299 14299 7170 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 20 0 418868606 27969658880 31877 33554432000 4194304 4196468 140736127905312 139647811844720 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14317] ppid=14299 vsize=27314120 memory=280782681892224 CPUtime=0 cores=0-7
/proc/14302/task/14317/stat : 14317 (java) S 14299 14299 7170 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 31877 33554432000 4194304 4196468 140736127905312 139647810791920 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14318] ppid=14299 vsize=27314120 memory=280782681896832 CPUtime=0.01 cores=0-7
/proc/14302/task/14318/stat : 14318 (java) S 14299 14299 7170 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 418868606 27969658880 31877 33554432000 4194304 4196468 140736127905312 139647809739632 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14319] ppid=14299 vsize=27314120 memory=280782681901440 CPUtime=0.07 cores=0-7
/proc/14302/task/14319/stat : 14319 (java) S 14299 14299 7170 0 -1 1077944384 505 0 0 0 7 0 0 0 20 0 20 0 418868606 27969658880 31877 33554432000 4194304 4196468 140736127905312 139647808686832 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14320] ppid=14299 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14320/stat : 14320 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868606 27969658880 31877 33554432000 4194304 4196468 140736127905312 139646499547488 139649693927125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14321] ppid=14299 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14302/task/14321/stat : 14321 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868607 27969658880 31877 33554432000 4194304 4196468 140736127905312 139647807633712 139649693928066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128904 KiB

[startup+0.700858 s]
/proc/loadavg: 6.75 7.90 8.05 2/211 14321
/proc/meminfo: memFree=31396532/32770624 swapFree=66995692/67108860
[pid=14299] ppid=14296 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14299/stat : 14299 (scop.sh) S 14296 14299 7170 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 418868598 115843072 349 33554432000 4194304 5098028 140728873022160 140728873019416 140524520100476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140728873026340 140728873026668 140728873026668 140728873029581 0
/proc/14299/statm: 28282 349 296 221 0 87 0
[pid=14302] ppid=14299 vsize=27320392 memory=165376 CPUtime=1.01 cores=0-7
/proc/14302/stat : 14302 (java) S 14299 14299 7170 0 -1 1077944320 19902 0 0 0 94 7 0 0 20 0 20 0 418868598 27976081408 41344 33554432000 4194304 4196468 140736127905312 140736127887856 139649693916919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
/proc/14302/statm: 6830098 41344 3181 1 0 6791447 0
[pid=14302/tid=14303] ppid=14299 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/14302/task/14303/stat : 14303 (java) R 14299 14299 7170 0 -1 4202560 16874 0 0 0 62 6 0 0 20 0 20 0 418868599 27976081408 41344 33554432000 4194304 4196468 140736127905312 139649665748496 139649693928854 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14304] ppid=14299 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14304/stat : 14304 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27976081408 41344 33554432000 4194304 4196468 140736127905312 139649698158992 139649693927125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14305] ppid=14299 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14302/task/14305/stat : 14305 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868601 27976081408 41344 33554432000 4194304 4196468 140736127905312 139649520654608 139649693927125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0
[pid=14302/tid=14306] ppid=14299 vsize=27320392 memory=8556 CPUtime=0 cores=0-7
/proc/14302/task/14306/stat : 14306 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868601 27976081408 41344 33554432000 4194304 4196468 140736127905312 139649115437712 139649693927125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140736127910634 140736127911062 140736127911062 140736127913935 0

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

??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40109 s]
/proc/loadavg: 6.29 7.79 8.01 3/211 14341
/proc/meminfo: memFree=31501296/32770624 swapFree=66995692/67108860
[pid=14299] ppid=14296 vsize=113128 memory=1476 CPUtime=16.22 cores=0-7
/proc/14299/stat : 14299 (scop.sh) S 14296 14299 7170 0 -1 4202496 584 37244 0 0 0 0 1580 42 20 0 1 0 418868598 115843072 369 33554432000 4194304 5098028 140728873022160 140728873018904 140524520100476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140728873026340 140728873026668 140728873026668 140728873029581 0
/proc/14299/statm: 28282 369 311 221 0 87 0
[pid=14322] ppid=14299 vsize=7752288 memory=78072 CPUtime=0.65 cores=0-7
/proc/14322/stat : 14322 (java) S 14299 14299 7170 0 -1 1077944320 13829 0 0 0 60 5 0 0 20 0 20 0 418869189 7938342912 19518 33554432000 4194304 4196468 140725841111632 140725841094176 140234239938295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
/proc/14322/statm: 1938072 19518 3068 1 0 1899951 0
[pid=14322/tid=14323] ppid=14299 vsize=7752288 memory=0 CPUtime=0.47 cores=0-7
/proc/14322/task/14323/stat : 14323 (java) R 14299 14299 7170 0 -1 4202560 11499 0 0 0 43 4 0 0 20 0 20 0 418869190 7938342912 19518 33554432000 4194304 4196468 140725841111632 140234211764768 140234224018782 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14324] ppid=14299 vsize=7752288 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14322/task/14324/stat : 14324 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869191 7938342912 19518 33554432000 4194304 4196468 140725841111632 140234244180880 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14325] ppid=14299 vsize=7752288 memory=7157735280163377512 CPUtime=0 cores=0-7
/proc/14322/task/14325/stat : 14325 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869191 7938342912 19518 33554432000 4194304 4196468 140725841111632 140234044349200 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14326] ppid=14299 vsize=7752288 memory=4232 CPUtime=0 cores=0-7
/proc/14322/task/14326/stat : 14326 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869191 7938342912 19518 33554432000 4194304 4196468 140725841111632 140234043296912 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14327] ppid=14299 vsize=7752288 memory=2241 CPUtime=0 cores=0-7
/proc/14322/task/14327/stat : 14327 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869191 7938342912 19518 33554432000 4194304 4196468 140725841111632 140234042244112 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14328] ppid=14299 vsize=7752288 memory=2244 CPUtime=0 cores=0-7
/proc/14322/task/14328/stat : 14328 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869191 7938342912 19518 33554432000 4194304 4196468 140725841111632 140234041190800 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14329] ppid=14299 vsize=7752288 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/14322/task/14329/stat : 14329 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869191 7938342912 19518 33554432000 4194304 4196468 140725841111632 140234040138000 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14330] ppid=14299 vsize=7752288 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14330/stat : 14330 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869191 7938342912 19518 33554432000 4194304 4196468 140725841111632 140234039085712 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14331] ppid=14299 vsize=7752288 memory=2321 CPUtime=0 cores=0-7
/proc/14322/task/14331/stat : 14331 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869191 7938342912 19518 33554432000 4194304 4196468 140725841111632 140233718884880 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14332] ppid=14299 vsize=7752288 memory=988 CPUtime=0 cores=0-7
/proc/14322/task/14332/stat : 14332 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418869192 7938342912 19518 33554432000 4194304 4196468 140725841111632 140233333422704 140234239949442 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14333] ppid=14299 vsize=7752288 memory=2016 CPUtime=0 cores=0-7
/proc/14322/task/14333/stat : 14333 (java) S 14299 14299 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418869193 7938342912 19518 33554432000 4194304 4196468 140725841111632 140232896800032 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14334] ppid=14299 vsize=7752288 memory=1384 CPUtime=0 cores=0-7
/proc/14322/task/14334/stat : 14334 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869193 7938342912 19518 33554432000 4194304 4196468 140725841111632 140232628364912 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14335] ppid=14299 vsize=7752288 memory=776 CPUtime=0 cores=0-7
/proc/14322/task/14335/stat : 14335 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869195 7938342912 19518 33554432000 4194304 4196468 140725841111632 140232253856336 140234239956891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14336] ppid=14299 vsize=7752288 memory=1564 CPUtime=0.01 cores=0-7
/proc/14322/task/14336/stat : 14336 (java) S 14299 14299 7170 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 20 0 418869195 7938342912 19518 33554432000 4194304 4196468 140725841111632 140233332369520 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14337] ppid=14299 vsize=7752288 memory=8556 CPUtime=0.02 cores=0-7
/proc/14322/task/14337/stat : 14337 (java) S 14299 14299 7170 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 20 0 418869195 7938342912 19518 33554432000 4194304 4196468 140725841111632 140233331316720 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14338] ppid=14299 vsize=7752288 memory=1052 CPUtime=0.01 cores=0-7
/proc/14322/task/14338/stat : 14338 (java) S 14299 14299 7170 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 418869195 7938342912 19518 33554432000 4194304 4196468 140725841111632 140233330264432 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14339] ppid=14299 vsize=7752288 memory=1708 CPUtime=0.11 cores=0-7
/proc/14322/task/14339/stat : 14339 (java) S 14299 14299 7170 0 -1 1077944384 338 0 0 0 11 0 0 0 20 0 20 0 418869195 7938342912 19518 33554432000 4194304 4196468 140725841111632 140233329211632 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14340] ppid=14299 vsize=7752288 memory=4294967712 CPUtime=0 cores=0-7
/proc/14322/task/14340/stat : 14340 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418869196 7938342912 19518 33554432000 4194304 4196468 140725841111632 140231755950944 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14341] ppid=14299 vsize=7752288 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/14322/task/14341/stat : 14341 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418869196 7938342912 19518 33554432000 4194304 4196468 140725841111632 140233328159536 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
Current children cumulated CPU time: 16.87 s
Current children cumulated vsize: 7865416 KiB
Current children cumulated memory: 79548 KiB

[startup+6.81038 s]
/proc/loadavg: 6.29 7.79 8.01 3/211 14341
/proc/meminfo: memFree=31501296/32770624 swapFree=66995692/67108860
[pid=14299] ppid=14296 vsize=113128 memory=1476 CPUtime=16.22 cores=0-7
/proc/14299/stat : 14299 (scop.sh) S 14296 14299 7170 0 -1 4202496 584 37244 0 0 0 0 1580 42 20 0 1 0 418868598 115843072 369 33554432000 4194304 5098028 140728873022160 140728873018904 140524520100476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140728873026340 140728873026668 140728873026668 140728873029581 0
/proc/14299/statm: 28282 369 311 221 0 87 0
[pid=14322] ppid=14299 vsize=8414124 memory=122356 CPUtime=1.17 cores=0-7
/proc/14322/stat : 14322 (java) S 14299 14299 7170 0 -1 1077944320 20526 0 0 0 110 7 0 0 20 0 24 0 418869189 8616062976 30589 33554432000 4194304 4196468 140725841111632 140725841094176 140234239938295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
/proc/14322/statm: 2103531 30589 3205 1 0 2064875 0
[pid=14322/tid=14323] ppid=14299 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7
/proc/14322/task/14323/stat : 14323 (java) S 14299 14299 7170 0 -1 1077944384 17416 0 0 0 70 5 0 0 20 0 24 0 418869190 8616062976 30589 33554432000 4194304 4196468 140725841111632 140234211778464 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14324] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14324/stat : 14324 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418869191 8616062976 30589 33554432000 4194304 4196468 140725841111632 140234244180880 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14325] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14325/stat : 14325 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418869191 8616062976 30589 33554432000 4194304 4196468 140725841111632 140234044349200 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14326] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14326/stat : 14326 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418869191 8616062976 30589 33554432000 4194304 4196468 140725841111632 140234043296912 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14327] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14327/stat : 14327 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418869191 8616062976 30589 33554432000 4194304 4196468 140725841111632 140234042244112 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14328] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14328/stat : 14328 (java) S 14299 14299 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418869191 8616062976 30589 33554432000 4194304 4196468 140725841111632 140234041190800 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14329] ppid=14299 vsize=8414124 memory=6077699327400362048 CPUtime=0 cores=0-7
/proc/14322/task/14329/stat : 14329 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418869191 8616062976 30589 33554432000 4194304 4196468 140725841111632 140234040138000 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14330] ppid=14299 vsize=8414124 memory=8514701219931451533 CPUtime=0 cores=0-7
/proc/14322/task/14330/stat : 14330 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418869191 8616062976 30589 33554432000 4194304 4196468 140725841111632 140234039085712 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14331] ppid=14299 vsize=8414124 memory=280782682629632 CPUtime=0 cores=0-7
/proc/14322/task/14331/stat : 14331 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418869191 8616062976 30589 33554432000 4194304 4196468 140725841111632 140233718884880 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14332] ppid=14299 vsize=8414124 memory=3093327 CPUtime=0 cores=0-7
/proc/14322/task/14332/stat : 14332 (java) S 14299 14299 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418869192 8616062976 30589 33554432000 4194304 4196468 140725841111632 140233333422704 140234239949442 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14333] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14333/stat : 14333 (java) S 14299 14299 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418869193 8616062976 30589 33554432000 4194304 4196468 140725841111632 140232896800032 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14334] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14334/stat : 14334 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418869193 8616062976 30589 33554432000 4194304 4196468 140725841111632 140232628364912 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14335] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14335/stat : 14335 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418869195 8616062976 30589 33554432000 4194304 4196468 140725841111632 140232253856336 140234239956891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14336] ppid=14299 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/14322/task/14336/stat : 14336 (java) S 14299 14299 7170 0 -1 1077944384 548 0 0 0 4 0 0 0 20 0 24 0 418869195 8616062976 30589 33554432000 4194304 4196468 140725841111632 140233332369520 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14337] ppid=14299 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/14322/task/14337/stat : 14337 (java) S 14299 14299 7170 0 -1 1077944384 159 0 0 0 6 0 0 0 20 0 24 0 418869195 8616062976 30589 33554432000 4194304 4196468 140725841111632 140233331316720 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14338] ppid=14299 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/14322/task/14338/stat : 14338 (java) S 14299 14299 7170 0 -1 1077944384 442 0 0 0 7 0 0 0 20 0 24 0 418869195 8616062976 30589 33554432000 4194304 4196468 140725841111632 140233330264432 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14339] ppid=14299 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/14322/task/14339/stat : 14339 (java) S 14299 14299 7170 0 -1 1077944384 563 0 0 0 20 0 0 0 20 0 24 0 418869195 8616062976 30589 33554432000 4194304 4196468 140725841111632 140233329211632 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14340] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14340/stat : 14340 (java) S 14299 14299 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418869196 8616062976 30589 33554432000 4194304 4196468 140725841111632 140231755950944 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14341] ppid=14299 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14322/task/14341/stat : 14341 (java) S 14299 14299 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418869196 8616062976 30589 33554432000 4194304 4196468 140725841111632 140233328159536 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
Current children cumulated CPU time: 17.39 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123832 KiB

[startup+7.00094 s]*
/proc/loadavg: 5.79 7.66 7.97 2/213 14355
/proc/meminfo: memFree=31420564/32770624 swapFree=66995692/67108860
[pid=14299] ppid=14296 vsize=113128 memory=1476 CPUtime=16.22 cores=0-7
/proc/14299/stat : 14299 (scop.sh) S 14296 14299 7170 0 -1 4202496 584 37244 0 0 0 0 1580 42 20 0 1 0 418868598 115843072 369 33554432000 4194304 5098028 140728873022160 140728873018904 140524520100476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15847424 140728873026340 140728873026668 140728873026668 140728873029581 0
/proc/14299/statm: 28282 369 311 221 0 87 0
[pid=14322] ppid=14299 vsize=8283048 memory=128176 CPUtime=2.87 cores=0-7
/proc/14322/stat : 14322 (java) S 14299 14299 7170 0 -1 1077944320 20991 6754 0 0 127 8 146 6 20 0 22 0 418869189 8481841152 32044 33554432000 4194304 4196468 140725841111632 140725841094176 140234239938295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
/proc/14322/statm: 2070762 32044 3209 1 0 2032106 0
[pid=14322/tid=14323] ppid=14299 vsize=8283048 memory=8317482817917895235 CPUtime=2.33 cores=0-7
/proc/14322/task/14323/stat : 14323 (java) R 14299 14299 7170 0 -1 4202560 17689 6754 0 0 76 5 146 6 20 0 22 0 418869190 8481841152 32058 33554432000 4194304 4196468 140725841111632 140234211776080 140234224018782 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14324] ppid=14299 vsize=8283048 memory=-5345911718594120662 CPUtime=1.52 cores=0-7
/proc/14322/task/14324/stat : 14324 (java) S 14299 14299 7170 0 -1 1077944384 2 6754 0 0 0 0 146 6 20 0 22 0 418869191 8481841152 32058 33554432000 4194304 4196468 140725841111632 140234244180880 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14325] ppid=14299 vsize=8283048 memory=8514726395714820749 CPUtime=1.52 cores=0-7
/proc/14322/task/14325/stat : 14325 (java) S 14299 14299 7170 0 -1 1077944384 2 6754 0 0 0 0 146 6 20 0 22 0 418869191 8481841152 32058 33554432000 4194304 4196468 140725841111632 140234044349200 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14326] ppid=14299 vsize=8283048 memory=-6526411401870300574 CPUtime=1.52 cores=0-7
/proc/14322/task/14326/stat : 14326 (java) S 14299 14299 7170 0 -1 1077944384 2 6754 0 0 0 0 146 6 20 0 22 0 418869191 8481841152 32058 33554432000 4194304 4196468 140725841111632 140234043296912 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14327] ppid=14299 vsize=8283048 memory=8325318942799926698 CPUtime=1.52 cores=0-7
/proc/14322/task/14327/stat : 14327 (java) S 14299 14299 7170 0 -1 1077944384 2 6754 0 0 0 0 146 6 20 0 22 0 418869191 8481841152 32058 33554432000 4194304 4196468 140725841111632 140234042244112 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14328] ppid=14299 vsize=8283048 memory=-7318199385754530756 CPUtime=1.52 cores=0-7
/proc/14322/task/14328/stat : 14328 (java) S 14299 14299 7170 0 -1 1077944384 2 6754 0 0 0 0 146 6 20 0 22 0 418869191 8481841152 32058 33554432000 4194304 4196468 140725841111632 140234041190800 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14329] ppid=14299 vsize=8283048 memory=6154566271634598761 CPUtime=1.52 cores=0-7
/proc/14322/task/14329/stat : 14329 (java) S 14299 14299 7170 0 -1 1077944384 1 6754 0 0 0 0 146 6 20 0 22 0 418869191 8481841152 32058 33554432000 4194304 4196468 140725841111632 140234040138000 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14330] ppid=14299 vsize=8283048 memory=7164210407201925202 CPUtime=1.52 cores=0-7
/proc/14322/task/14330/stat : 14330 (java) S 14299 14299 7170 0 -1 1077944384 1 6754 0 0 0 0 146 6 20 0 22 0 418869191 8481841152 32058 33554432000 4194304 4196468 140725841111632 140234039085712 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14331] ppid=14299 vsize=8283048 memory=8046186993342713441 CPUtime=1.52 cores=0-7
/proc/14322/task/14331/stat : 14331 (java) S 14299 14299 7170 0 -1 1077944384 3 6754 0 0 0 0 146 6 20 0 22 0 418869191 8481841152 32058 33554432000 4194304 4196468 140725841111632 140233718884880 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14332] ppid=14299 vsize=8283048 memory=7971542655782669194 CPUtime=1.52 cores=0-7
/proc/14322/task/14332/stat : 14332 (java) S 14299 14299 7170 0 -1 1077944384 5 6754 0 0 0 0 146 6 20 0 22 0 418869192 8481841152 32058 33554432000 4194304 4196468 140725841111632 140233333422704 140234239949442 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14333] ppid=14299 vsize=8283048 memory=280782682015296 CPUtime=1.52 cores=0-7
/proc/14322/task/14333/stat : 14333 (java) S 14299 14299 7170 0 -1 1077944384 13 6754 0 0 0 0 146 6 20 0 22 0 418869193 8481841152 32058 33554432000 4194304 4196468 140725841111632 140232896800032 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14334] ppid=14299 vsize=8283048 memory=0 CPUtime=1.52 cores=0-7
/proc/14322/task/14334/stat : 14334 (java) S 14299 14299 7170 0 -1 1077944384 1 6754 0 0 0 0 146 6 20 0 22 0 418869193 8481841152 32058 33554432000 4194304 4196468 140725841111632 140232628364912 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14335] ppid=14299 vsize=8283048 memory=0 CPUtime=1.52 cores=0-7
/proc/14322/task/14335/stat : 14335 (java) S 14299 14299 7170 0 -1 1077944384 1 6754 0 0 0 0 146 6 20 0 22 0 418869195 8481841152 32058 33554432000 4194304 4196468 140725841111632 140232253856336 140234239956891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14336] ppid=14299 vsize=8283048 memory=-7025452035942946156 CPUtime=1.57 cores=0-7
/proc/14322/task/14336/stat : 14336 (java) S 14299 14299 7170 0 -1 1077944384 555 6754 0 0 5 0 146 6 20 0 22 0 418869195 8481841152 32058 33554432000 4194304 4196468 140725841111632 140233332369520 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14337] ppid=14299 vsize=8283048 memory=6944656591801717918 CPUtime=1.59 cores=0-7
/proc/14322/task/14337/stat : 14337 (java) R 14299 14299 7170 0 -1 4202560 163 6754 0 0 7 0 146 6 20 0 22 0 418869195 8481841152 32058 33554432000 4194304 4196468 140725841111632 140233331316720 140234224227166 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14338] ppid=14299 vsize=8283048 memory=0 CPUtime=1.61 cores=0-7
/proc/14322/task/14338/stat : 14338 (java) S 14299 14299 7170 0 -1 1077944384 452 6754 0 0 9 0 146 6 20 0 22 0 418869195 8481841152 32058 33554432000 4194304 4196468 140725841111632 140233330264432 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14339] ppid=14299 vsize=8283048 memory=0 CPUtime=1.77 cores=0-7
/proc/14322/task/14339/stat : 14339 (java) S 14299 14299 7170 0 -1 1077944384 684 6754 0 0 25 0 146 6 20 0 22 0 418869195 8481841152 32058 33554432000 4194304 4196468 140725841111632 140233329211632 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14340] ppid=14299 vsize=8283048 memory=0 CPUtime=1.52 cores=0-7
/proc/14322/task/14340/stat : 14340 (java) S 14299 14299 7170 0 -1 1077944384 3 6754 0 0 0 0 146 6 20 0 22 0 418869196 8481841152 32058 33554432000 4194304 4196468 140725841111632 140231755950944 140234239948501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14341] ppid=14299 vsize=8283048 memory=0 CPUtime=1.52 cores=0-7
/proc/14322/task/14341/stat : 14341 (java) S 14299 14299 7170 0 -1 1077944384 1 6754 0 0 0 0 146 6 20 0 22 0 418869196 8481841152 32058 33554432000 4194304 4196468 140725841111632 140233328159536 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14343] ppid=14299 vsize=8283048 memory=0 CPUtime=1.52 cores=0-7
/proc/14322/task/14343/stat : 14343 (java) S 14299 14299 7170 0 -1 1077944384 26 6754 0 0 0 0 146 6 20 0 22 0 418869262 8481841152 32058 33554432000 4194304 4196468 140725841111632 140233320125456 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
[pid=14322/tid=14347] ppid=14299 vsize=8283048 memory=0 CPUtime=1.52 cores=0-7
/proc/14322/task/14347/stat : 14347 (java) S 14299 14299 7170 0 -1 1077944384 12 6754 0 0 0 0 146 6 20 0 22 0 418869265 8481841152 32058 33554432000 4194304 4196468 140725841111632 140230816425008 140234239949442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19288064 140725841114103 140725841114262 140725841114262 140725841117135 0
Current children cumulated CPU time: 19.09 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129652 KiB

Child status: 0
Real time (s): 7.04565
CPU time (s): 19.1937
CPU user time (s): 18.6031
CPU system time (s): 0.590659
CPU usage (%): 272.419
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 2022336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6031
system time used= 0.590659
maximum resident set size= 2027456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65736
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13027
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 14299
#   total CPU time (s): 19.1937
#   total CPU user time (s): 18.6031
#   total CPU system time (s): 0.590659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088884 second user time and 0.109623 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 03:55:26
IDJOB=4392571
IDBENCH=126157
IDSOLVER=2839
FILE ID=node102/4392571-1568426171
RUNJOBID= node102-1568416723-7197
PBS_JOBID= 21702264
Free space on /tmp= 59328 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-08.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-4392571-1568426171/watcher-4392571-1568426171 -o /tmp/evaluation-result-4392571-1568426171/solver-4392571-1568426171 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --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-4392571-1568426171.xml

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

MD5SUM BENCH= ee1da6b537c1ecd46a877bd70c24ae39
RANDOM SEED=1656313222

node102.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.13
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.54
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.13
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.54
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.13
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.54
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.13
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31536160 kB
MemAvailable:   31919540 kB
Buffers:          170544 kB
Cached:           506428 kB
SwapCached:         9500 kB
Active:           335844 kB
Inactive:         351356 kB
Active(anon):       8092 kB
Inactive(anon):    33848 kB
Active(file):     327752 kB
Inactive(file):   317508 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995692 kB
Dirty:             21328 kB
Writeback:            12 kB
AnonPages:        111652 kB
Mapped:            35176 kB
Shmem:             22708 kB
Slab:             137020 kB
SReclaimable:     107912 kB
SUnreclaim:        29108 kB
KernelStack:        3424 kB
PageTables:         5492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59308 MiB
End job on node102 at 2019-09-14 03:55:33