Trace number 4392271

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-14171-serial-file.bin HOME/instance-4392271-1568426163.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 03:55:19 CEST 2019
0.65/0.56	c PID: 14174
0.65/0.56	c IP: 172.20.3.102
0.65/0.56	c HOST: node102.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.51/1.17	c (0,0) Parsing End
2.51/1.17	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 477 ctr, max domain size 20
2.51/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.51/1.18	c (0,0) Constraint Name Generate Begin
2.51/1.19	c (0,0) Ctr:HOME/instance-4392271-1568426163.xml,ExtensionConflict:Var
2.51/1.19	c (0,0) Constraint Name Generate End
2.51/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.51/1.19	c (0,0) CSP to CSPinCNF Begin
5.46/1.95	c (1,1) translated 48 (10%) constraints
6.67/2.21	c (1,1) translated 96 (20%) constraints
7.48/2.46	c (1,1) translated 144 (30%) constraints
8.69/2.72	c (2,2) translated 191 (40%) constraints
9.49/2.95	c (2,2) translated 239 (50%) constraints
10.33/3.17	c (2,2) translated 287 (60%) constraints
10.91/3.34	c (2,2) translated 334 (70%) constraints
11.35/3.52	c (2,2) translated 382 (80%) constraints
11.58/3.69	c (3,3) translated 430 (90%) constraints
11.97/3.86	c (3,3) translated 477 (100%) constraints
11.97/3.86	c (3,3) ===========================================
11.97/3.86	c (3,3) Order
11.97/3.86	c (3,3) ===========================================
12.22/3.96	c (3,3) translated 3616 (10%) constraints
12.46/4.05	c (3,3) translated 7232 (20%) constraints
12.82/4.13	c (3,3) translated 10848 (30%) constraints
13.00/4.20	c (3,3) translated 14464 (40%) constraints
13.00/4.28	c (3,3) translated 18080 (50%) constraints
13.20/4.35	c (3,3) translated 21696 (60%) constraints
13.40/4.43	c (3,3) translated 25312 (70%) constraints
13.52/4.50	c (3,3) translated 28928 (80%) constraints
13.52/4.58	c (4,4) translated 32544 (90%) constraints
13.62/4.66	c (4,4) translated 36159 (100%) constraints
13.62/4.66	c (4,4) CSP to CSPinCNF End
13.62/4.66	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.62/4.66	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.62/4.66	c (4,4) CSPinCNF Propagation Begin
14.39/4.94	c (4,4) 0 values, 4172 unsatisfiable literals, and 0 valid clauses are removed
14.39/4.94	c (4,4) CSPinCNF Propagation End
14.39/4.94	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
14.39/4.94	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.39/4.94	c (4,4) Simplify CSPinCNF Begin
14.59/5.06	c (4,4) Simplify CSPinCNF End
14.59/5.06	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
14.59/5.06	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.59/5.06	c (4,4) Calculate Precise Domain Begin
14.59/5.06	c (4,4) 0 values are removed by re-calculation
14.59/5.06	c (4,4) Calculate Precise Domain End
14.59/5.06	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
14.59/5.06	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.59/5.06	c (4,4) CSPinCNF to SatSolver Begin
15.13/5.28	c (4,4) 3616 (10 %) CSP clauses are encoded (0 SAT variables, 4515 SAT clauses)
15.52/5.37	c (4,4) 7232 (20 %) CSP clauses are encoded (0 SAT variables, 8131 SAT clauses)
15.91/5.43	c (4,4) 10848 (30 %) CSP clauses are encoded (0 SAT variables, 11747 SAT clauses)
15.91/5.47	c (4,4) 14464 (40 %) CSP clauses are encoded (0 SAT variables, 15363 SAT clauses)
16.11/5.52	c (4,4) 18080 (50 %) CSP clauses are encoded (0 SAT variables, 18979 SAT clauses)
16.11/5.56	c (5,5) 21696 (60 %) CSP clauses are encoded (0 SAT variables, 22595 SAT clauses)
16.22/5.61	c (5,5) 25312 (70 %) CSP clauses are encoded (0 SAT variables, 26211 SAT clauses)
16.22/5.65	c (5,5) 28928 (80 %) CSP clauses are encoded (0 SAT variables, 29827 SAT clauses)
16.32/5.70	c (5,5) 32544 (90 %) CSP clauses are encoded (0 SAT variables, 33443 SAT clauses)
16.32/5.74	c (5,5) 36159 (100 %) CSP clauses are encoded (0 SAT variables, 37058 SAT clauses)
16.32/5.74	c (5,5) CSPinCNF to SatSolver End
16.32/5.74	c (5,5) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.32/5.74	c (5,5) 950 bool, 37059 clause
16.32/5.74	c (5,5) Export Begin
16.48/5.83	c (5,5) Export to HOME/scop-14171-serial-file.bin
16.48/5.83	c (5,5) Export End
16.48/5.83	c (5,5) Export File Size: 0.01 MB
16.48/5.83	c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
16.48/5.84	c END-Prog: Sat Sep 14 03:55:24 CEST 2019
16.48/5.85	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14171-serial-file.bin
17.17/6.31	c (0,0) Read Serial File Begin
17.17/6.31	c (0,0) HOME/scop-14171-serial-file.bin
17.47/6.52	c (0,0) Read Serial File End
17.47/6.54	
17.47/6.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
17.47/6.54	(Solving Process)
17.47/6.54	
17.47/6.56	c BEGIN-Prog: Sat Sep 14 03:55:25 CEST 2019
17.47/6.56	c PID: 14194
17.47/6.56	c IP: 172.20.3.102
17.47/6.56	c HOST: node102.alineos.net
17.47/6.56	c (0,0) SatSolver.solve Begin
17.47/6.56	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392271-1568426163.xml-scop-14174.cnf
17.47/6.59	c (0,0) c
17.47/6.59	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.47/6.59	c (0,0) c
17.47/6.59	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.47/6.59	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.47/6.59	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.47/6.59	c (0,0) c |                                                                                                       |
17.69/6.60	c (0,0) c |  Number of variables:           950                                                                   |
17.69/6.60	c (0,0) c |  Number of clauses:           37059                                                                   |
17.69/6.60	c (0,0) c |  Parse time:                   0.01 s                                                                 |
17.69/6.60	c (0,0) c |                                                                                                       |
17.69/6.64	c (0,0) c |  Simplification time:          0.04 s                                                                 |
17.69/6.64	c (0,0) c |                                                                                                       |
17.69/6.64	c (0,0) c |  Generating clones                                                                                    |
17.69/6.64	c (0,0) c |  all clones generated. Memory =    41.86Mb.                                                           |
17.69/6.64	c (0,0) c ========================================================================================================|
17.69/6.64	c (0,0) c
17.69/6.64	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.69/6.64	c (0,0) c
17.69/6.64	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.69/6.64	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.69/6.64	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.69/6.64	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.69/6.64	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.69/6.64	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.69/6.65	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.69/6.65	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.69/6.65	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.69/6.65	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.69/6.65	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.69/6.65	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.69/6.65	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.69/6.65	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.69/6.65	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.69/6.65	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.69/6.65	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.69/6.65	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.69/6.65	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.87	c (0,0) c
17.76/6.87	c (0,0) c real time : 0.282207 s
17.76/6.87	c (0,0) c cpu time  : 1.56192 s
17.76/6.87	c (0,0) c
17.76/6.87	c (0,0) c
17.76/6.87	c (0,0) c
17.76/6.87	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.76/6.87	c (0,0) c
17.76/6.87	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.87	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.76/6.87	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.87	c (0,0) c | Conflicts     |           46731 |       5740 |       4897 |       6850 |       6676 |       6016 |       5090 |       4971 |       6491 |
17.76/6.87	c (0,0) c | Decisions     |           57230 |       6957 |       6002 |       8432 |       8107 |       7272 |       6350 |       6187 |       7923 |
17.76/6.87	c (0,0) c | Propagations  |         4338530 |     571812 |     454264 |     595582 |     586873 |     562835 |     497111 |     471891 |     598162 |
17.76/6.87	c (0,0) c | ReduceDBs     |              10 |          1 |          1 |          2 |          2 |          1 |          1 |          1 |          1 |
17.76/6.87	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.76/6.87	c (0,0) c | Restarts      |              29 |          2 |          6 |          3 |          5 |          2 |          3 |          3 |          5 |
17.76/6.87	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | PropBinClauses|         4209623 |     547558 |     445376 |     583566 |     571753 |     539784 |     483479 |     454383 |     583724 |
17.76/6.87	c (0,0) c | PropPreBlocker|       121577309 |   17095070 |   12794693 |   16611137 |   16766387 |   17351752 |   11954182 |   12155871 |   16848217 |
17.76/6.87	c (0,0) c | PropNotBlocker|        25625229 |    3350856 |    2679009 |    3410348 |    3475903 |    3240121 |    2990437 |    2876699 |    3601856 |
17.76/6.87	c (0,0) c | LitFullScans  |       174120810 |   24002106 |   18107717 |   24001826 |   24001541 |   24002780 |   18001933 |   18000526 |   24002381 |
17.76/6.87	c (0,0) c | LitScanFracts |            6006 |        617 |        303 |        875 |        987 |       1632 |        631 |        526 |        435 |
17.76/6.87	c (0,0) c | DecisionLevel0|              29 |          2 |          6 |          3 |          5 |          2 |          3 |          3 |          5 |
17.76/6.87	c (0,0) c | Periods       |              29 |          4 |          3 |          4 |          4 |          4 |          3 |          3 |          4 |
17.76/6.87	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
17.76/6.87	c (0,0) c | Avg_Trail     |                 |        389 |        355 |        367 |        355 |        358 |        408 |        418 |        351 |
17.76/6.87	c (0,0) c | Avg_DL        |                 |         33 |         15 |         20 |         22 |         22 |         22 |         21 |         13 |
17.76/6.87	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.87	c (0,0) c | Exported      |            1933 |        266 |         12 |        538 |        322 |        369 |         59 |         12 |        355 |
17.76/6.87	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.87	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.76/6.87	c (0,0) c | Glues         |                 |         10 |         12 |         17 |         13 |         11 |         22 |         12 |         15 |
17.76/6.87	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.87	c (0,0) c | Orig_Seen     |            25 % |       9737 |      10161 |       8976 |       9064 |       6468 |       9793 |      10741 |      10768 |
17.76/6.87	c (0,0) c | Diff Orig seen|                 | -      424 |      X     | -     1185 | -     1097 | -     3693 | -      368 |        580 |        607 |
17.76/6.87	c (0,0) c | Hamming       |            33 % |        308 |      X     |        294 |        304 |        352 |        322 |        341 |        279 |
17.76/6.87	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.87	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.76/6.87	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.76/6.87	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.76/6.87	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.76/6.87	c (0,0) c | SolvingTime   |                 |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |
17.76/6.87	c (0,0) c | PropagationTim|                 |    0.2  82%|    0.1  83%|    0.2  79%|    0.2  80%|    0.2  81%|    0.2  83%|    0.1  81%|    0.2  82%|
17.76/6.87	c (0,0) c | AnalysisTime  |                 |    0.0  14%|    0.0  13%|    0.0  15%|    0.0  14%|    0.0  15%|    0.0  13%|    0.0  15%|    0.0  14%|
17.76/6.87	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   2%|    0.0   2%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.76/6.87	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.76/6.87	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.76/6.87	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.76/6.87	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.87	c (0,0) c
17.76/6.87	c (0,0) c
17.76/6.87	c (0,0) c Threads : 8
17.76/6.87	c (0,0) c Winner : 1
17.76/6.87	c (0,0) c Conflicts_0 : 5740
17.76/6.87	c (0,0) c Conflicts_1 : 4897
17.76/6.87	c (0,0) c Conflicts_2 : 6850
17.76/6.87	c (0,0) c Conflicts_3 : 6676
17.76/6.87	c (0,0) c Conflicts_4 : 6016
17.76/6.87	c (0,0) c Conflicts_5 : 5090
17.76/6.87	c (0,0) c Conflicts_6 : 4971
17.76/6.87	c (0,0) c Conflicts_7 : 6491
17.76/6.87	c (0,0) c Conflicts_total : 46731
17.76/6.87	c (0,0) c Conflicts_winner : 4897
17.76/6.87	c (0,0) c Decisions_0 : 6957
17.76/6.87	c (0,0) c Decisions_1 : 6002
17.76/6.87	c (0,0) c Decisions_2 : 8432
17.76/6.87	c (0,0) c Decisions_3 : 8107
17.76/6.87	c (0,0) c Decisions_4 : 7272
17.76/6.87	c (0,0) c Decisions_5 : 6350
17.76/6.87	c (0,0) c Decisions_6 : 6187
17.76/6.87	c (0,0) c Decisions_7 : 7923
17.76/6.87	c (0,0) c Decisions_total : 57230
17.76/6.87	c (0,0) c Decisions_winner : 6002
17.76/6.87	c (0,0) c Propagations_0 : 571812
17.76/6.87	c (0,0) c Propagations_1 : 454264
17.76/6.87	c (0,0) c Propagations_2 : 595582
17.76/6.87	c (0,0) c Propagations_3 : 586873
17.76/6.87	c (0,0) c Propagations_4 : 562835
17.76/6.87	c (0,0) c Propagations_5 : 497111
17.76/6.87	c (0,0) c Propagations_6 : 471891
17.76/6.87	c (0,0) c Propagations_7 : 598162
17.76/6.87	c (0,0) c Propagations_total : 4338530
17.76/6.87	c (0,0) c Propagations_winner : 454264
17.76/6.87	c (0,0) c ReduceDBs_0 : 1
17.76/6.87	c (0,0) c ReduceDBs_1 : 1
17.76/6.87	c (0,0) c ReduceDBs_2 : 2
17.76/6.87	c (0,0) c ReduceDBs_3 : 2
17.76/6.87	c (0,0) c ReduceDBs_4 : 1
17.76/6.87	c (0,0) c ReduceDBs_5 : 1
17.76/6.87	c (0,0) c ReduceDBs_6 : 1
17.76/6.87	c (0,0) c ReduceDBs_7 : 1
17.76/6.87	c (0,0) c ReduceDBs_total : 10
17.76/6.87	c (0,0) c ReduceDBs_winner : 1
17.76/6.87	c (0,0) c SimpDBs_0 : 1
17.76/6.87	c (0,0) c SimpDBs_1 : 1
17.76/6.87	c (0,0) c SimpDBs_2 : 1
17.76/6.87	c (0,0) c SimpDBs_3 : 1
17.76/6.87	c (0,0) c SimpDBs_4 : 1
17.76/6.87	c (0,0) c SimpDBs_5 : 1
17.76/6.87	c (0,0) c SimpDBs_6 : 1
17.76/6.87	c (0,0) c SimpDBs_7 : 1
17.76/6.87	c (0,0) c SimpDBs_total : 8
17.76/6.87	c (0,0) c SimpDBs_winner : 1
17.76/6.87	c (0,0) c Restarts_0 : 2
17.76/6.87	c (0,0) c Restarts_1 : 6
17.76/6.87	c (0,0) c Restarts_2 : 3
17.76/6.87	c (0,0) c Restarts_3 : 5
17.76/6.87	c (0,0) c Restarts_4 : 2
17.76/6.87	c (0,0) c Restarts_5 : 3
17.76/6.87	c (0,0) c Restarts_6 : 3
17.76/6.87	c (0,0) c Restarts_7 : 5
17.76/6.87	c (0,0) c Restarts_total : 29
17.76/6.87	c (0,0) c Restarts_winner : 6
17.76/6.87	c (0,0) c ForcedImports_0 : 0
17.76/6.87	c (0,0) c ForcedImports_1 : 0
17.76/6.87	c (0,0) c ForcedImports_2 : 0
17.76/6.87	c (0,0) c ForcedImports_3 : 0
17.76/6.87	c (0,0) c ForcedImports_4 : 0
17.76/6.87	c (0,0) c ForcedImports_5 : 0
17.76/6.87	c (0,0) c ForcedImports_6 : 0
17.76/6.87	c (0,0) c ForcedImports_7 : 0
17.76/6.87	c (0,0) c ForcedImports_total : 0
17.76/6.87	c (0,0) c ForcedImports_winner : 0
17.76/6.87	c (0,0) c PropsBinClauses_0 : 547558
17.76/6.87	c (0,0) c PropsBinClauses_1 : 445376
17.76/6.87	c (0,0) c PropsBinClauses_2 : 583566
17.76/6.87	c (0,0) c PropsBinClauses_3 : 571753
17.76/6.87	c (0,0) c PropsBinClauses_4 : 539784
17.76/6.87	c (0,0) c PropsBinClauses_5 : 483479
17.76/6.87	c (0,0) c PropsBinClauses_6 : 454383
17.76/6.87	c (0,0) c PropsBinClauses_7 : 583724
17.76/6.87	c (0,0) c PropsBinClauses_total : 4209623
17.76/6.87	c (0,0) c PropsBinClauses_winner : 445376
17.76/6.87	c (0,0) c PropsPreBlocker_0 : 17095070
17.76/6.87	c (0,0) c PropsPreBlocker_1 : 12794693
17.76/6.87	c (0,0) c PropsPreBlocker_2 : 16611137
17.76/6.87	c (0,0) c PropsPreBlocker_3 : 16766387
17.76/6.87	c (0,0) c PropsPreBlocker_4 : 17351752
17.76/6.87	c (0,0) c PropsPreBlocker_5 : 11954182
17.76/6.87	c (0,0) c PropsPreBlocker_6 : 12155871
17.76/6.87	c (0,0) c PropsPreBlocker_7 : 16848217
17.76/6.87	c (0,0) c PropsPreBlocker_total : 121577309
17.76/6.87	c (0,0) c PropsPreBlocker_winner : 12794693
17.76/6.87	c (0,0) c PropsNotBlocker_0 : 3350856
17.76/6.87	c (0,0) c PropsNotBlocker_1 : 2679009
17.76/6.87	c (0,0) c PropsNotBlocker_2 : 3410348
17.76/6.87	c (0,0) c PropsNotBlocker_3 : 3475903
17.76/6.87	c (0,0) c PropsNotBlocker_4 : 3240121
17.76/6.87	c (0,0) c PropsNotBlocker_5 : 2990437
17.76/6.87	c (0,0) c PropsNotBlocker_6 : 2876699
17.76/6.87	c (0,0) c PropsNotBlocker_7 : 3601856
17.76/6.87	c (0,0) c PropsNotBlocker_total : 25625229
17.76/6.87	c (0,0) c PropsNotBlocker_winner : 2679009
17.76/6.87	c (0,0) c PropsLitFullScans_0 : 24002106
17.76/6.87	c (0,0) c PropsLitFullScans_1 : 18107717
17.76/6.87	c (0,0) c PropsLitFullScans_2 : 24001826
17.76/6.87	c (0,0) c PropsLitFullScans_3 : 24001541
17.76/6.87	c (0,0) c PropsLitFullScans_4 : 24002780
17.76/6.87	c (0,0) c PropsLitFullScans_5 : 18001933
17.76/6.87	c (0,0) c PropsLitFullScans_6 : 18000526
17.76/6.87	c (0,0) c PropsLitFullScans_7 : 24002381
17.76/6.87	c (0,0) c PropsLitFullScans_total : 174120810
17.76/6.87	c (0,0) c PropsLitFullScans_winner : 18107717
17.76/6.87	c (0,0) c LitScanFractions_0 : 617
17.76/6.87	c (0,0) c LitScanFractions_1 : 303
17.76/6.87	c (0,0) c LitScanFractions_2 : 875
17.76/6.87	c (0,0) c LitScanFractions_3 : 987
17.76/6.88	c (0,0) c LitScanFractions_4 : 1632
17.76/6.88	c (0,0) c LitScanFractions_5 : 631
17.76/6.88	c (0,0) c LitScanFractions_6 : 526
17.76/6.88	c (0,0) c LitScanFractions_7 : 435
17.76/6.88	c (0,0) c LitScanFractions_total : 6006
17.76/6.88	c (0,0) c LitScanFractions_winner : 303
17.76/6.88	c (0,0) c DecisionLevel0_0 : 2
17.76/6.88	c (0,0) c DecisionLevel0_1 : 6
17.76/6.88	c (0,0) c DecisionLevel0_2 : 3
17.76/6.88	c (0,0) c DecisionLevel0_3 : 5
17.76/6.88	c (0,0) c DecisionLevel0_4 : 2
17.76/6.88	c (0,0) c DecisionLevel0_5 : 3
17.76/6.88	c (0,0) c DecisionLevel0_6 : 3
17.76/6.88	c (0,0) c DecisionLevel0_7 : 5
17.76/6.88	c (0,0) c DecisionLevel0_total : 29
17.76/6.88	c (0,0) c DecisionLevel0_winner : 6
17.76/6.88	c (0,0) c Periods_0 : 4
17.76/6.88	c (0,0) c Periods_1 : 3
17.76/6.88	c (0,0) c Periods_2 : 4
17.76/6.88	c (0,0) c Periods_3 : 4
17.76/6.88	c (0,0) c Periods_4 : 4
17.76/6.88	c (0,0) c Periods_5 : 3
17.76/6.88	c (0,0) c Periods_6 : 3
17.76/6.88	c (0,0) c Periods_7 : 4
17.76/6.88	c (0,0) c Periods_total : 29
17.76/6.88	c (0,0) c Periods_winner : 3
17.76/6.88	c (0,0) c Margin_0 : 20
17.76/6.88	c (0,0) c Margin_1 : 20
17.76/6.88	c (0,0) c Margin_2 : 20
17.76/6.88	c (0,0) c Margin_3 : 20
17.76/6.88	c (0,0) c Margin_4 : 20
17.76/6.88	c (0,0) c Margin_5 : 20
17.76/6.88	c (0,0) c Margin_6 : 20
17.76/6.88	c (0,0) c Margin_7 : 20
17.76/6.88	c (0,0) c Margin_total : 160
17.76/6.88	c (0,0) c Margin_winner : 20
17.76/6.88	c (0,0) c Exported_0 : 266
17.76/6.88	c (0,0) c Exported_1 : 12
17.76/6.88	c (0,0) c Exported_2 : 538
17.76/6.88	c (0,0) c Exported_3 : 322
17.76/6.88	c (0,0) c Exported_4 : 369
17.76/6.88	c (0,0) c Exported_5 : 59
17.76/6.88	c (0,0) c Exported_6 : 12
17.76/6.88	c (0,0) c Exported_7 : 355
17.76/6.88	c (0,0) c Exported_total : 1933
17.76/6.88	c (0,0) c Exported_winner : 12
17.76/6.88	c (0,0) c Imported_0 : 0
17.76/6.88	c (0,0) c Imported_1 : 0
17.76/6.88	c (0,0) c Imported_2 : 0
17.76/6.88	c (0,0) c Imported_3 : 0
17.76/6.88	c (0,0) c Imported_4 : 0
17.76/6.88	c (0,0) c Imported_5 : 0
17.76/6.88	c (0,0) c Imported_6 : 0
17.76/6.88	c (0,0) c Imported_7 : 0
17.76/6.88	c (0,0) c Imported_total : 0
17.76/6.88	c (0,0) c Imported_winner : 0
17.76/6.88	c (0,0) c Good_0 : 0
17.76/6.88	c (0,0) c Good_1 : 0
17.76/6.88	c (0,0) c Good_2 : 0
17.76/6.88	c (0,0) c Good_3 : 0
17.76/6.88	c (0,0) c Good_4 : 0
17.76/6.88	c (0,0) c Good_5 : 0
17.76/6.88	c (0,0) c Good_6 : 0
17.76/6.88	c (0,0) c Good_7 : 0
17.76/6.88	c (0,0) c Good_total : 0
17.76/6.88	c (0,0) c Good_winner : 0
17.76/6.88	c (0,0) c Purge_0 : 0
17.76/6.88	c (0,0) c Purge_1 : 0
17.76/6.88	c (0,0) c Purge_2 : 0
17.76/6.88	c (0,0) c Purge_3 : 0
17.76/6.88	c (0,0) c Purge_4 : 0
17.76/6.88	c (0,0) c Purge_5 : 0
17.76/6.88	c (0,0) c Purge_6 : 0
17.76/6.88	c (0,0) c Purge_7 : 0
17.76/6.88	c (0,0) c Purge_total : 0
17.76/6.88	c (0,0) c Purge_winner : 0
17.76/6.88	c (0,0) c Promoted_0 : 0
17.76/6.88	c (0,0) c Promoted_1 : 0
17.76/6.88	c (0,0) c Promoted_2 : 0
17.76/6.88	c (0,0) c Promoted_3 : 0
17.76/6.88	c (0,0) c Promoted_4 : 0
17.76/6.88	c (0,0) c Promoted_5 : 0
17.76/6.88	c (0,0) c Promoted_6 : 0
17.76/6.88	c (0,0) c Promoted_7 : 0
17.76/6.88	c (0,0) c Promoted_total : 0
17.76/6.88	c (0,0) c Promoted_winner : 0
17.76/6.88	c (0,0) c Remove_Imp_0 : 0
17.76/6.88	c (0,0) c Remove_Imp_1 : 0
17.76/6.88	c (0,0) c Remove_Imp_2 : 0
17.76/6.88	c (0,0) c Remove_Imp_3 : 0
17.76/6.88	c (0,0) c Remove_Imp_4 : 0
17.76/6.88	c (0,0) c Remove_Imp_5 : 0
17.76/6.88	c (0,0) c Remove_Imp_6 : 0
17.76/6.88	c (0,0) c Remove_Imp_7 : 0
17.76/6.88	c (0,0) c Remove_Imp_total : 0
17.76/6.88	c (0,0) c Remove_Imp_winner : 0
17.76/6.88	c (0,0) c Blocked_Reuse_0 : 0
17.76/6.88	c (0,0) c Blocked_Reuse_1 : 0
17.76/6.88	c (0,0) c Blocked_Reuse_2 : 0
17.76/6.88	c (0,0) c Blocked_Reuse_3 : 0
17.76/6.88	c (0,0) c Blocked_Reuse_4 : 0
17.76/6.88	c (0,0) c Blocked_Reuse_5 : 0
17.76/6.88	c (0,0) c Blocked_Reuse_6 : 0
17.76/6.88	c (0,0) c Blocked_Reuse_7 : 0
17.76/6.88	c (0,0) c Blocked_Reuse_total : 0
17.76/6.88	c (0,0) c Blocked_Reuse_winner : 0
17.76/6.88	c (0,0) c Unaries_0 : 0
17.76/6.88	c (0,0) c Unaries_1 : 0
17.76/6.88	c (0,0) c Unaries_2 : 0
17.76/6.88	c (0,0) c Unaries_3 : 0
17.76/6.88	c (0,0) c Unaries_4 : 0
17.76/6.88	c (0,0) c Unaries_5 : 0
17.76/6.88	c (0,0) c Unaries_6 : 0
17.76/6.88	c (0,0) c Unaries_7 : 0
17.76/6.88	c (0,0) c Unaries_total : 0
17.76/6.88	c (0,0) c Unaries_winner : 0
17.76/6.88	c (0,0) c Binaries_0 : 0
17.76/6.88	c (0,0) c Binaries_1 : 0
17.76/6.88	c (0,0) c Binaries_2 : 0
17.76/6.88	c (0,0) c Binaries_3 : 0
17.76/6.88	c (0,0) c Binaries_4 : 0
17.76/6.88	c (0,0) c Binaries_5 : 0
17.76/6.88	c (0,0) c Binaries_6 : 0
17.76/6.88	c (0,0) c Binaries_7 : 0
17.76/6.88	c (0,0) c Binaries_total : 0
17.76/6.88	c (0,0) c Binaries_winner : 0
17.76/6.88	c (0,0) c Glues_0 : 10
17.76/6.88	c (0,0) c Glues_1 : 12
17.76/6.88	c (0,0) c Glues_2 : 17
17.76/6.88	c (0,0) c Glues_3 : 13
17.76/6.88	c (0,0) c Glues_4 : 11
17.76/6.88	c (0,0) c Glues_5 : 22
17.76/6.88	c (0,0) c Glues_6 : 12
17.76/6.88	c (0,0) c Glues_7 : 15
17.76/6.88	c (0,0) c Glues_total : 112
17.76/6.88	c (0,0) c Glues_winner : 12
17.76/6.88	c (0,0) c RunningTime_0 : 0.218583
17.76/6.88	c (0,0) c RunningTime_1 : 0.170566
17.76/6.88	c (0,0) c RunningTime_2 : 0.212347
17.76/6.88	c (0,0) c RunningTime_3 : 0.220224
17.76/6.88	c (0,0) c RunningTime_4 : 0.199913
17.76/6.88	c (0,0) c RunningTime_5 : 0.185772
17.76/6.88	c (0,0) c RunningTime_6 : 0.171324
17.76/6.88	c (0,0) c RunningTime_7 : 0.217083
17.76/6.88	c (0,0) c RunningTime_total : 1.595812
17.76/6.88	c (0,0) c RunningTime_winner : 0.170566
17.76/6.88	c (0,0) c WaitingTime_0 : 0.000000
17.76/6.88	c (0,0) c WaitingTime_1 : 0.000000
17.76/6.88	c (0,0) c WaitingTime_2 : 0.000000
17.76/6.88	c (0,0) c WaitingTime_3 : 0.000000
17.76/6.88	c (0,0) c WaitingTime_4 : 0.000000
17.76/6.88	c (0,0) c WaitingTime_5 : 0.000000
17.76/6.88	c (0,0) c WaitingTime_6 : 0.000000
17.76/6.88	c (0,0) c WaitingTime_7 : 0.000000
17.76/6.88	c (0,0) c WaitingTime_total : 0.000000
17.76/6.88	c (0,0) c WaitingTime_winner : 0.000000
17.76/6.88	c (0,0) c ExchangingTime_0 : 0.000349
17.76/6.88	c (0,0) c ExchangingTime_1 : 0.000378
17.76/6.88	c (0,0) c ExchangingTime_2 : 0.000475
17.76/6.88	c (0,0) c ExchangingTime_3 : 0.000461
17.76/6.88	c (0,0) c ExchangingTime_4 : 0.000373
17.76/6.88	c (0,0) c ExchangingTime_5 : 0.000257
17.76/6.88	c (0,0) c ExchangingTime_6 : 0.000201
17.76/6.88	c (0,0) c ExchangingTime_7 : 0.000303
17.76/6.88	c (0,0) c ExchangingTime_total : 0.002797
17.76/6.88	c (0,0) c ExchangingTime_winner : 0.000378
17.76/6.88	c (0,0) c PeriodProcTime_0 : 0.000036
17.76/6.88	c (0,0) c PeriodProcTime_1 : 0.000013
17.76/6.88	c (0,0) c PeriodProcTime_2 : 0.000016
17.76/6.88	c (0,0) c PeriodProcTime_3 : 0.000018
17.76/6.88	c (0,0) c PeriodProcTime_4 : 0.000044
17.76/6.88	c (0,0) c PeriodProcTime_5 : 0.000016
17.76/6.88	c (0,0) c PeriodProcTime_6 : 0.000010
17.76/6.88	c (0,0) c PeriodProcTime_7 : 0.000021
17.76/6.88	c (0,0) c PeriodProcTime_total : 0.000174
17.76/6.88	c (0,0) c PeriodProcTime_winner : 0.000013
17.76/6.88	c (0,0) c SolvingTime_0 : 0.218968
17.76/6.88	c (0,0) c SolvingTime_1 : 0.170957
17.76/6.88	c (0,0) c SolvingTime_2 : 0.212838
17.76/6.88	c (0,0) c SolvingTime_3 : 0.220703
17.76/6.88	c (0,0) c SolvingTime_4 : 0.200330
17.76/6.88	c (0,0) c SolvingTime_5 : 0.186044
17.76/6.88	c (0,0) c SolvingTime_6 : 0.171535
17.76/6.88	c (0,0) c SolvingTime_7 : 0.217407
17.76/6.88	c (0,0) c SolvingTime_total : 1.598783
17.76/6.88	c (0,0) c SolvingTime_winner : 0.170957
17.76/6.88	c (0,0) c PropagationTime_0 : 0.180638
17.76/6.88	c (0,0) c PropagationTime_1 : 0.142237
17.76/6.88	c (0,0) c PropagationTime_2 : 0.169115
17.76/6.88	c (0,0) c PropagationTime_3 : 0.177132
17.76/6.88	c (0,0) c PropagationTime_4 : 0.163262
17.76/6.88	c (0,0) c PropagationTime_5 : 0.154198
17.76/6.88	c (0,0) c PropagationTime_6 : 0.139604
17.76/6.88	c (0,0) c PropagationTime_7 : 0.178841
17.76/6.88	c (0,0) c PropagationTime_total : 1.305026
17.76/6.88	c (0,0) c PropagationTime_winner : 0.142237
17.76/6.88	c (0,0) c AnalysisTime_0 : 0.029727
17.76/6.88	c (0,0) c AnalysisTime_1 : 0.022162
17.76/6.88	c (0,0) c AnalysisTime_2 : 0.031525
17.76/6.88	c (0,0) c AnalysisTime_3 : 0.031184
17.76/6.88	c (0,0) c AnalysisTime_4 : 0.029567
17.76/6.88	c (0,0) c AnalysisTime_5 : 0.024444
17.76/6.88	c (0,0) c AnalysisTime_6 : 0.024884
17.76/6.88	c (0,0) c AnalysisTime_7 : 0.030261
17.76/6.88	c (0,0) c AnalysisTime_total : 0.223755
17.76/6.88	c (0,0) c AnalysisTime_winner : 0.022162
17.76/6.88	c (0,0) c ReductionTime_0 : 0.000298
17.76/6.88	c (0,0) c ReductionTime_1 : 0.000302
17.76/6.88	c (0,0) c ReductionTime_2 : 0.004179
17.76/6.88	c (0,0) c ReductionTime_3 : 0.004394
17.76/6.88	c (0,0) c ReductionTime_4 : 0.000320
17.76/6.88	c (0,0) c ReductionTime_5 : 0.000329
17.76/6.88	c (0,0) c ReductionTime_6 : 0.000311
17.76/6.88	c (0,0) c ReductionTime_7 : 0.000300
17.76/6.88	c (0,0) c ReductionTime_total : 0.010433
17.76/6.88	c (0,0) c ReductionTime_winner : 0.000302
17.76/6.88	c (0,0) c SimplifyTime_0 : 0.000000
17.76/6.88	c (0,0) c SimplifyTime_1 : 0.000000
17.76/6.88	c (0,0) c SimplifyTime_2 : 0.000001
17.76/6.88	c (0,0) c SimplifyTime_3 : 0.000000
17.76/6.88	c (0,0) c SimplifyTime_4 : 0.000000
17.76/6.88	c (0,0) c SimplifyTime_5 : 0.000002
17.76/6.88	c (0,0) c SimplifyTime_6 : 0.000000
17.76/6.88	c (0,0) c SimplifyTime_7 : 0.000000
17.76/6.88	c (0,0) c SimplifyTime_total : 0.000003
17.76/6.88	c (0,0) c SimplifyTime_winner : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_0 : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_1 : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_2 : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_3 : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_4 : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_5 : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_6 : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_7 : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_total : 0.000000
17.76/6.88	c (0,0) c UsedRateTime_winner : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_0 : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_1 : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_2 : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_3 : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_4 : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_5 : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_6 : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_7 : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_total : 0.000000
17.76/6.88	c (0,0) c OverlapRateTime_winner : 0.000000
17.76/6.88	c (0,0) c
17.76/6.88	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.76/6.88	c (0,0) c
17.76/6.88	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.88	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.76/6.88	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.88	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.76/6.88	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.76/6.88	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.76/6.88	c (0,0) c | Initial random_seed   | 1423095042 |  321122546 |  661552271 | 1853612227 | 1760814296 |  523201872 | 1937757103 | 1912474114 |
17.76/6.88	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.76/6.88	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.76/6.88	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.76/6.88	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.76/6.88	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.76/6.88	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.76/6.88	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.76/6.88	c (0,0) c | var_decay             |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |
17.76/6.88	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.76/6.88	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.76/6.88	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.76/6.88	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.76/6.88	c (0,0) 
17.76/6.88	c (0,0) s SATISFIABLE
17.76/6.90	c (0,0) SatSolver.solve End
17.76/6.90	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.76/6.90	c (0,0) Show results Begin
19.46/6.98	c (0,0) x[0] = 19
19.46/6.98	c (0,0) x[1] = 11
19.46/6.98	c (0,0) x[2] = 5
19.46/6.98	c (0,0) x[3] = 20
19.46/6.98	c (0,0) x[4] = 8
19.46/6.98	c (0,0) x[5] = 8
19.46/6.98	c (0,0) x[6] = 10
19.46/6.98	c (0,0) x[7] = 8
19.46/6.98	c (0,0) x[8] = 1
19.46/6.98	c (0,0) x[9] = 7
19.46/6.98	c (0,0) x[10] = 2
19.46/6.98	c (0,0) x[11] = 1
19.46/6.98	c (0,0) x[12] = 4
19.46/6.98	c (0,0) x[13] = 15
19.46/6.98	c (0,0) x[14] = 10
19.46/6.98	c (0,0) x[15] = 15
19.46/6.98	c (0,0) x[16] = 20
19.46/6.98	c (0,0) x[17] = 15
19.46/6.98	c (0,0) x[18] = 1
19.46/6.98	c (0,0) x[19] = 15
19.46/6.98	c (0,0) x[20] = 9
19.46/6.98	c (0,0) x[21] = 3
19.46/6.98	c (0,0) x[22] = 15
19.46/6.98	c (0,0) x[23] = 13
19.46/6.98	c (0,0) x[24] = 7
19.46/6.98	c (0,0) x[25] = 4
19.46/6.98	c (0,0) x[26] = 20
19.46/6.98	c (0,0) x[27] = 4
19.46/6.98	c (0,0) x[28] = 8
19.46/6.98	c (0,0) x[29] = 5
19.46/6.98	c (0,0) x[30] = 9
19.46/6.98	c (0,0) x[31] = 6
19.46/6.98	c (0,0) x[32] = 2
19.46/6.98	c (0,0) x[33] = 5
19.46/6.98	c (0,0) x[34] = 8
19.46/6.98	c (0,0) x[35] = 17
19.46/6.98	c (0,0) x[36] = 17
19.46/6.98	c (0,0) x[37] = 11
19.46/6.98	c (0,0) x[38] = 17
19.46/6.98	c (0,0) x[39] = 15
19.46/6.98	c (0,0) x[40] = 11
19.46/6.98	c (0,0) x[41] = 11
19.46/6.98	c (0,0) x[42] = 16
19.46/6.98	c (0,0) x[43] = 1
19.46/6.98	c (0,0) x[44] = 15
19.46/6.98	c (0,0) x[45] = 4
19.46/6.98	c (0,0) x[46] = 3
19.46/6.98	c (0,0) x[47] = 20
19.46/6.98	c (0,0) x[48] = 18
19.46/6.98	c (0,0) x[49] = 15
19.46/6.98	s SATISFIABLE
19.46/6.98	v <instantiation>
19.46/6.98	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.46/6.98	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.46/6.98	v </instantiation>
19.46/6.98	c (0,0) Show results End
19.46/6.98	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
19.46/6.98	c (0,0) 0,0,STOP-AFTER(ALL)
19.46/6.98	c END-Prog: Sat Sep 14 03:55:25 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-4392271-1568426163/watcher-4392271-1568426163 -o /tmp/evaluation-result-4392271-1568426163/solver-4392271-1568426163 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392271-1568426163.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=14171, runsolver pid=14168

[startup+0.100136 s]*
/proc/loadavg: 6.99 7.97 8.07 2/211 14193
/proc/meminfo: memFree=31442380/32770624 swapFree=66995692/67108860
[pid=14171] ppid=14168 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14171/stat : 14171 (scop.sh) S 14168 14171 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418867789 115843072 349 33554432000 4194304 5098028 140730403891696 140730403888952 139774884754044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29040640 140730403894053 140730403894380 140730403894380 140730403897293 0
/proc/14171/statm: 28282 349 296 221 0 87 0
[pid=14174] ppid=14171 vsize=27314120 memory=105392 CPUtime=0.11 cores=0-7
/proc/14174/stat : 14174 (java) S 14171 14171 7170 0 -1 1077944320 6450 0 0 0 9 2 0 0 20 0 20 0 418867789 27969658880 26348 33554432000 4194304 4196468 140722321416768 140722321399312 139927396556535 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
/proc/14174/statm: 6828530 26348 2794 1 0 6790935 0
[pid=14174/tid=14175] ppid=14171 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/14174/task/14175/stat : 14175 (java) R 14171 14171 7170 0 -1 4202560 4531 0 0 0 7 2 0 0 20 0 20 0 418867790 27969658880 26860 33554432000 4194304 4196468 140722321416768 139927368360736 139927382624654 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14176] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14176/stat : 14176 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 26860 33554432000 4194304 4196468 140722321416768 139927400798608 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14177] ppid=14171 vsize=27314120 memory=140664392320901 CPUtime=0 cores=0-7
/proc/14174/task/14177/stat : 14177 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 26860 33554432000 4194304 4196468 140722321416768 139927218886928 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14178] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14178/stat : 14178 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 26860 33554432000 4194304 4196468 140722321416768 139927217834640 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14179] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14179/stat : 14179 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 26860 33554432000 4194304 4196468 140722321416768 139926816324112 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14180] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14180/stat : 14180 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 26860 33554432000 4194304 4196468 140722321416768 139926815271824 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14181] ppid=14171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14174/task/14181/stat : 14181 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 26860 33554432000 4194304 4196468 140722321416768 139926814219024 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14182] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14182/stat : 14182 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 26860 33554432000 4194304 4196468 140722321416768 139926813166736 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14183] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14183/stat : 14183 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 26860 33554432000 4194304 4196468 140722321416768 139926812113936 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14184] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14184/stat : 14184 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867793 27969658880 26860 33554432000 4194304 4196468 140722321416768 139925918074992 139927396567682 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14185] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14185/stat : 14185 (java) S 14171 14171 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418867794 27969658880 26860 33554432000 4194304 4196468 140722321416768 139925001331488 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14186] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14186/stat : 14186 (java) S 14171 14171 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418867794 27969658880 26860 33554432000 4194304 4196468 140722321416768 139924867110000 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14187] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14187/stat : 14187 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 26860 33554432000 4194304 4196468 140722321416768 139924492605520 139927396575131 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14188] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14188/stat : 14188 (java) S 14171 14171 7170 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 26860 33554432000 4194304 4196468 140722321416768 139925917022832 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14189] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14189/stat : 14189 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 26860 33554432000 4194304 4196468 140722321416768 139925915970032 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14190] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14190/stat : 14190 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 26860 33554432000 4194304 4196468 140722321416768 139925914917744 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14191] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14191/stat : 14191 (java) S 14171 14171 7170 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 26860 33554432000 4194304 4196468 140722321416768 139925913864944 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14192] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14192/stat : 14192 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 26860 33554432000 4194304 4196468 140722321416768 139923994700128 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14193] ppid=14171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14174/task/14193/stat : 14193 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 26860 33554432000 4194304 4196468 140722321416768 139925912811824 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106788 KiB

[startup+0.210188 s]*
/proc/loadavg: 6.99 7.97 8.07 2/211 14193
/proc/meminfo: memFree=31420508/32770624 swapFree=66995692/67108860
[pid=14171] ppid=14168 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14171/stat : 14171 (scop.sh) S 14168 14171 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418867789 115843072 349 33554432000 4194304 5098028 140730403891696 140730403888952 139774884754044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29040640 140730403894053 140730403894380 140730403894380 140730403897293 0
/proc/14171/statm: 28282 349 296 221 0 87 0
[pid=14174] ppid=14171 vsize=27314120 memory=124500 CPUtime=0.25 cores=0-7
/proc/14174/stat : 14174 (java) S 14171 14171 7170 0 -1 1077944320 12056 0 0 0 21 4 0 0 20 0 20 0 418867789 27969658880 31125 33554432000 4194304 4196468 140722321416768 140722321399312 139927396556535 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
/proc/14174/statm: 6828530 31125 2937 1 0 6790935 0
[pid=14174/tid=14175] ppid=14171 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14174/task/14175/stat : 14175 (java) R 14171 14171 7170 0 -1 4202560 9757 0 0 0 17 3 0 0 20 0 20 0 418867790 27969658880 31125 33554432000 4194304 4196468 140722321416768 139927368380496 139927378109840 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14176] ppid=14171 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/14174/task/14176/stat : 14176 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 31125 33554432000 4194304 4196468 140722321416768 139927400798608 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14177] ppid=14171 vsize=27314120 memory=3760987421713880736 CPUtime=0 cores=0-7
/proc/14174/task/14177/stat : 14177 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 31125 33554432000 4194304 4196468 140722321416768 139927218886928 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14178] ppid=14171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14174/task/14178/stat : 14178 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 31125 33554432000 4194304 4196468 140722321416768 139927217834640 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14179] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14179/stat : 14179 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 31125 33554432000 4194304 4196468 140722321416768 139926816324112 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14180] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14180/stat : 14180 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 31125 33554432000 4194304 4196468 140722321416768 139926815271824 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14181] ppid=14171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14174/task/14181/stat : 14181 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 31125 33554432000 4194304 4196468 140722321416768 139926814219024 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14182] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14182/stat : 14182 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 31125 33554432000 4194304 4196468 140722321416768 139926813166736 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14183] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14183/stat : 14183 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 31125 33554432000 4194304 4196468 140722321416768 139926812113936 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14184] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14184/stat : 14184 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867793 27969658880 31125 33554432000 4194304 4196468 140722321416768 139925918074992 139927396567682 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14185] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14185/stat : 14185 (java) S 14171 14171 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418867794 27969658880 31125 33554432000 4194304 4196468 140722321416768 139925001331488 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14186] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14186/stat : 14186 (java) S 14171 14171 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418867794 27969658880 31125 33554432000 4194304 4196468 140722321416768 139924867110000 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14187] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14187/stat : 14187 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 31125 33554432000 4194304 4196468 140722321416768 139924492605520 139927396575131 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14188] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14188/stat : 14188 (java) S 14171 14171 7170 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 31125 33554432000 4194304 4196468 140722321416768 139925917022832 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14189] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14189/stat : 14189 (java) S 14171 14171 7170 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 31125 33554432000 4194304 4196468 140722321416768 139925915970032 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14190] ppid=14171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14174/task/14190/stat : 14190 (java) S 14171 14171 7170 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 31125 33554432000 4194304 4196468 140722321416768 139925914917744 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14191] ppid=14171 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/14174/task/14191/stat : 14191 (java) S 14171 14171 7170 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 20 0 418867797 27969658880 31125 33554432000 4194304 4196468 140722321416768 139925913864944 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14192] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14192/stat : 14192 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 31125 33554432000 4194304 4196468 140722321416768 139923994700128 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14193] ppid=14171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14174/task/14193/stat : 14193 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 31125 33554432000 4194304 4196468 140722321416768 139925912811824 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125896 KiB

[startup+0.309441 s]*
/proc/loadavg: 6.99 7.97 8.07 2/211 14193
/proc/meminfo: memFree=31417716/32770624 swapFree=66995692/67108860
[pid=14171] ppid=14168 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14171/stat : 14171 (scop.sh) S 14168 14171 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418867789 115843072 349 33554432000 4194304 5098028 140730403891696 140730403888952 139774884754044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29040640 140730403894053 140730403894380 140730403894380 140730403897293 0
/proc/14171/statm: 28282 349 296 221 0 87 0
[pid=14174] ppid=14171 vsize=27314120 memory=128368 CPUtime=0.43 cores=0-7
/proc/14174/stat : 14174 (java) S 14171 14171 7170 0 -1 1077944320 12434 0 0 0 39 4 0 0 20 0 20 0 418867789 27969658880 32092 33554432000 4194304 4196468 140722321416768 140722321399312 139927396556535 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
/proc/14174/statm: 6828530 32092 3056 1 0 6790935 0
[pid=14174/tid=14175] ppid=14171 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/14174/task/14175/stat : 14175 (java) R 14171 14171 7170 0 -1 4202560 9944 0 0 0 26 3 0 0 20 0 20 0 418867790 27969658880 32092 33554432000 4194304 4196468 140722321416768 139927368386608 139927378120091 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14176] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14176/stat : 14176 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 32092 33554432000 4194304 4196468 140722321416768 139927400798608 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14177] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14177/stat : 14177 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 32092 33554432000 4194304 4196468 140722321416768 139927218886928 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14178] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14178/stat : 14178 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 32092 33554432000 4194304 4196468 140722321416768 139927217834640 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14179] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14179/stat : 14179 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 32092 33554432000 4194304 4196468 140722321416768 139926816324112 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14180] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14180/stat : 14180 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 32092 33554432000 4194304 4196468 140722321416768 139926815271824 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14181] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14181/stat : 14181 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 32092 33554432000 4194304 4196468 140722321416768 139926814219024 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14182] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14182/stat : 14182 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 32092 33554432000 4194304 4196468 140722321416768 139926813166736 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14183] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14183/stat : 14183 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27969658880 32092 33554432000 4194304 4196468 140722321416768 139926812113936 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14184] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14184/stat : 14184 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867793 27969658880 32092 33554432000 4194304 4196468 140722321416768 139925918074992 139927396567682 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14185] ppid=14171 vsize=27314120 memory=281328545373568 CPUtime=0 cores=0-7
/proc/14174/task/14185/stat : 14185 (java) S 14171 14171 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418867794 27969658880 32092 33554432000 4194304 4196468 140722321416768 139925001331488 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14186] ppid=14171 vsize=27314120 memory=281328545378176 CPUtime=0 cores=0-7
/proc/14174/task/14186/stat : 14186 (java) S 14171 14171 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418867794 27969658880 32092 33554432000 4194304 4196468 140722321416768 139924867110000 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14187] ppid=14171 vsize=27314120 memory=281328545382784 CPUtime=0 cores=0-7
/proc/14174/task/14187/stat : 14187 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 32092 33554432000 4194304 4196468 140722321416768 139924492605520 139927396575131 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14188] ppid=14171 vsize=27314120 memory=281328545387392 CPUtime=0.01 cores=0-7
/proc/14174/task/14188/stat : 14188 (java) S 14171 14171 7170 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 418867797 27969658880 32092 33554432000 4194304 4196468 140722321416768 139925917022832 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14189] ppid=14171 vsize=27314120 memory=281328545392000 CPUtime=0.01 cores=0-7
/proc/14174/task/14189/stat : 14189 (java) R 14171 14171 7170 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 20 0 418867797 27969658880 32092 33554432000 4194304 4196468 140722321416768 139925915970032 139927378104109 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14190] ppid=14171 vsize=27314120 memory=281328545396608 CPUtime=0.02 cores=0-7
/proc/14174/task/14190/stat : 14190 (java) S 14171 14171 7170 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 20 0 418867797 27969658880 32092 33554432000 4194304 4196468 140722321416768 139925914917744 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14191] ppid=14171 vsize=27314120 memory=281328545401216 CPUtime=0.07 cores=0-7
/proc/14174/task/14191/stat : 14191 (java) S 14171 14171 7170 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 20 0 418867797 27969658880 32092 33554432000 4194304 4196468 140722321416768 139925913864944 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14192] ppid=14171 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14192/stat : 14192 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 32092 33554432000 4194304 4196468 140722321416768 139923994700128 139927396566741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14193] ppid=14171 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14174/task/14193/stat : 14193 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867797 27969658880 32092 33554432000 4194304 4196468 140722321416768 139925912811824 139927396567682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129764 KiB

[startup+0.700878 s]
/proc/loadavg: 6.99 7.97 8.07 2/211 14193
/proc/meminfo: memFree=31396248/32770624 swapFree=66995692/67108860
[pid=14171] ppid=14168 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14171/stat : 14171 (scop.sh) S 14168 14171 7170 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418867789 115843072 349 33554432000 4194304 5098028 140730403891696 140730403888952 139774884754044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29040640 140730403894053 140730403894380 140730403894380 140730403897293 0
/proc/14171/statm: 28282 349 296 221 0 87 0
[pid=14174] ppid=14171 vsize=27320392 memory=165044 CPUtime=1.01 cores=0-7
/proc/14174/stat : 14174 (java) S 14171 14171 7170 0 -1 1077944320 19905 0 0 0 94 7 0 0 20 0 20 0 418867789 27976081408 41261 33554432000 4194304 4196468 140722321416768 140722321399312 139927396556535 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
/proc/14174/statm: 6830098 41261 3176 1 0 6791447 0
[pid=14174/tid=14175] ppid=14171 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/14174/task/14175/stat : 14175 (java) R 14171 14171 7170 0 -1 4202560 16861 0 0 0 62 6 0 0 20 0 20 0 418867790 27976081408 41261 33554432000 4194304 4196468 140722321416768 139927368393968 139927396578461 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14176] ppid=14171 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14176/stat : 14176 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867792 27976081408 41261 33554432000 4194304 4196468 140722321416768 139927400798608 139927396566741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14177] ppid=14171 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14174/task/14177/stat : 14177 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867792 27976081408 41261 33554432000 4194304 4196468 140722321416768 139927218886928 139927396566741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0
[pid=14174/tid=14178] ppid=14171 vsize=27320392 memory=8556 CPUtime=0 cores=0-7
/proc/14174/task/14178/stat : 14178 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867792 27976081408 41261 33554432000 4194304 4196468 140722321416768 139927217834640 139927396566741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140722321421035 140722321421462 140722321421462 140722321424335 0

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

# the end of solver process 14171 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19.0522 s, system=0.593765 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40106 s]
/proc/loadavg: 6.75 7.90 8.05 2/211 14213
/proc/meminfo: memFree=31491816/32770624 swapFree=66995692/67108860
[pid=14171] ppid=14168 vsize=113128 memory=1476 CPUtime=16.6 cores=0-7
/proc/14171/stat : 14171 (scop.sh) S 14168 14171 7170 0 -1 4202496 582 39801 0 0 0 0 1618 42 20 0 1 0 418867789 115843072 369 33554432000 4194304 5098028 140730403891696 140730403888440 139774884754044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29040640 140730403894053 140730403894380 140730403894380 140730403897293 0
/proc/14171/statm: 28282 369 311 221 0 87 0
[pid=14194] ppid=14171 vsize=7752288 memory=76684 CPUtime=0.73 cores=0-7
/proc/14194/stat : 14194 (java) S 14171 14171 7170 0 -1 1077944320 13678 0 0 0 68 5 0 0 20 0 20 0 418868375 7938342912 19171 33554432000 4194304 4196468 140732754920720 140732754903264 139704201866999 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
/proc/14194/statm: 1938072 19171 3054 1 0 1899951 0
[pid=14194/tid=14195] ppid=14171 vsize=7752288 memory=0 CPUtime=0.53 cores=0-7
/proc/14194/task/14195/stat : 14195 (java) R 14171 14171 7170 0 -1 4202560 11331 0 0 0 49 4 0 0 20 0 20 0 418868375 7938342912 19171 33554432000 4194304 4196468 140732754920720 139704173696560 139704182142786 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14196] ppid=14171 vsize=7752288 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14194/task/14196/stat : 14196 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868376 7938342912 19171 33554432000 4194304 4196468 140732754920720 139704206109584 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14197] ppid=14171 vsize=7752288 memory=7157735280163377512 CPUtime=0 cores=0-7
/proc/14194/task/14197/stat : 14197 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868376 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703687482128 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14198] ppid=14171 vsize=7752288 memory=4232 CPUtime=0 cores=0-7
/proc/14194/task/14198/stat : 14198 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868376 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703686429840 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14199] ppid=14171 vsize=7752288 memory=2241 CPUtime=0 cores=0-7
/proc/14194/task/14199/stat : 14199 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868376 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703685377040 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14200] ppid=14171 vsize=7752288 memory=2244 CPUtime=0 cores=0-7
/proc/14194/task/14200/stat : 14200 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868376 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703684323728 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14201] ppid=14171 vsize=7752288 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/14194/task/14201/stat : 14201 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868376 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703683270928 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14202] ppid=14171 vsize=7752288 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14202/stat : 14202 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868376 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703682218640 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14203] ppid=14171 vsize=7752288 memory=2321 CPUtime=0 cores=0-7
/proc/14194/task/14203/stat : 14203 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868376 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703681165840 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14204] ppid=14171 vsize=7752288 memory=988 CPUtime=0 cores=0-7
/proc/14194/task/14204/stat : 14204 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868378 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703437998704 139704201878146 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14205] ppid=14171 vsize=7752288 memory=2016 CPUtime=0 cores=0-7
/proc/14194/task/14205/stat : 14205 (java) S 14171 14171 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418868378 7938342912 19171 33554432000 4194304 4196468 140732754920720 139702602556704 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14206] ppid=14171 vsize=7752288 memory=1384 CPUtime=0 cores=0-7
/proc/14194/task/14206/stat : 14206 (java) S 14171 14171 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418868378 7938342912 19171 33554432000 4194304 4196468 140732754920720 139702468335216 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14207] ppid=14171 vsize=7752288 memory=776 CPUtime=0 cores=0-7
/proc/14194/task/14207/stat : 14207 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868381 7938342912 19171 33554432000 4194304 4196468 140732754920720 139702093830736 139704201885595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14208] ppid=14171 vsize=7752288 memory=1564 CPUtime=0.02 cores=0-7
/proc/14194/task/14208/stat : 14208 (java) S 14171 14171 7170 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 20 0 418868381 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703436945520 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14209] ppid=14171 vsize=7752288 memory=8556 CPUtime=0.03 cores=0-7
/proc/14194/task/14209/stat : 14209 (java) S 14171 14171 7170 0 -1 1077944384 257 0 0 0 3 0 0 0 20 0 20 0 418868381 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703435892720 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14210] ppid=14171 vsize=7752288 memory=1052 CPUtime=0.01 cores=0-7
/proc/14194/task/14210/stat : 14210 (java) S 14171 14171 7170 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 20 0 418868381 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703434840432 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14211] ppid=14171 vsize=7752288 memory=1708 CPUtime=0.12 cores=0-7
/proc/14194/task/14211/stat : 14211 (java) S 14171 14171 7170 0 -1 1077944384 329 0 0 0 12 0 0 0 20 0 20 0 418868381 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703433787632 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14212] ppid=14171 vsize=7752288 memory=4294967712 CPUtime=0 cores=0-7
/proc/14194/task/14212/stat : 14212 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868381 7938342912 19171 33554432000 4194304 4196468 140732754920720 139701595925344 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14213] ppid=14171 vsize=7752288 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/14194/task/14213/stat : 14213 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868381 7938342912 19171 33554432000 4194304 4196468 140732754920720 139703432735536 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
Current children cumulated CPU time: 17.33 s
Current children cumulated vsize: 7865416 KiB
Current children cumulated memory: 78160 KiB

[startup+6.80253 s]
/proc/loadavg: 6.75 7.90 8.05 2/211 14213
/proc/meminfo: memFree=31491816/32770624 swapFree=66995692/67108860
[pid=14171] ppid=14168 vsize=113128 memory=1476 CPUtime=16.6 cores=0-7
/proc/14171/stat : 14171 (scop.sh) S 14168 14171 7170 0 -1 4202496 582 39801 0 0 0 0 1618 42 20 0 1 0 418867789 115843072 369 33554432000 4194304 5098028 140730403891696 140730403888440 139774884754044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29040640 140730403894053 140730403894380 140730403894380 140730403897293 0
/proc/14171/statm: 28282 369 311 221 0 87 0
[pid=14194] ppid=14171 vsize=8414124 memory=118100 CPUtime=1.16 cores=0-7
/proc/14194/stat : 14194 (java) S 14171 14171 7170 0 -1 1077944320 20051 0 0 0 108 8 0 0 20 0 24 0 418868375 8616062976 29525 33554432000 4194304 4196468 140732754920720 140732754903264 139704201866999 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
/proc/14194/statm: 2103531 29525 3201 1 0 2064875 0
[pid=14194/tid=14195] ppid=14171 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7
/proc/14194/task/14195/stat : 14195 (java) S 14171 14171 7170 0 -1 1077944384 16942 0 0 0 70 6 0 0 20 0 24 0 418868375 8616062976 29525 33554432000 4194304 4196468 140732754920720 139704173707168 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14196] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14196/stat : 14196 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418868376 8616062976 29525 33554432000 4194304 4196468 140732754920720 139704206109584 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14197] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14197/stat : 14197 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868376 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703687482128 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14198] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14198/stat : 14198 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418868376 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703686429840 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14199] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14199/stat : 14199 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418868376 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703685377040 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14200] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14200/stat : 14200 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418868376 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703684323728 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14201] ppid=14171 vsize=8414124 memory=5933865614301216832 CPUtime=0 cores=0-7
/proc/14194/task/14201/stat : 14201 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868376 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703683270928 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14202] ppid=14171 vsize=8414124 memory=8514701219931451533 CPUtime=0 cores=0-7
/proc/14194/task/14202/stat : 14202 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868376 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703682218640 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14203] ppid=14171 vsize=8414124 memory=281328546129408 CPUtime=0 cores=0-7
/proc/14194/task/14203/stat : 14203 (java) S 14171 14171 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418868376 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703681165840 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14204] ppid=14171 vsize=8414124 memory=3093327 CPUtime=0 cores=0-7
/proc/14194/task/14204/stat : 14204 (java) S 14171 14171 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418868378 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703437998704 139704201878146 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14205] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14205/stat : 14205 (java) S 14171 14171 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418868378 8616062976 29525 33554432000 4194304 4196468 140732754920720 139702602556704 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14206] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14206/stat : 14206 (java) S 14171 14171 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418868378 8616062976 29525 33554432000 4194304 4196468 140732754920720 139702468335216 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14207] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14207/stat : 14207 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868381 8616062976 29525 33554432000 4194304 4196468 140732754920720 139702093830736 139704201885595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14208] ppid=14171 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/14194/task/14208/stat : 14208 (java) S 14171 14171 7170 0 -1 1077944384 591 0 0 0 6 0 0 0 20 0 24 0 418868381 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703436945520 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14209] ppid=14171 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/14194/task/14209/stat : 14209 (java) S 14171 14171 7170 0 -1 1077944384 342 0 0 0 7 0 0 0 20 0 24 0 418868381 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703435892720 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14210] ppid=14171 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/14194/task/14210/stat : 14210 (java) S 14171 14171 7170 0 -1 1077944384 237 0 0 0 4 0 0 0 20 0 24 0 418868381 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703434840432 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14211] ppid=14171 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/14194/task/14211/stat : 14211 (java) S 14171 14171 7170 0 -1 1077944384 522 0 0 0 19 0 0 0 20 0 24 0 418868381 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703433787632 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14212] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14212/stat : 14212 (java) S 14171 14171 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418868381 8616062976 29525 33554432000 4194304 4196468 140732754920720 139701595925344 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14213] ppid=14171 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/14194/task/14213/stat : 14213 (java) S 14171 14171 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868381 8616062976 29525 33554432000 4194304 4196468 140732754920720 139703432735536 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
Current children cumulated CPU time: 17.76 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 119576 KiB

[startup+6.90091 s]
/proc/loadavg: 6.75 7.90 8.05 2/211 14213
/proc/meminfo: memFree=31491816/32770624 swapFree=66995692/67108860
[pid=14171] ppid=14168 vsize=113128 memory=1476 CPUtime=16.6 cores=0-7
/proc/14171/stat : 14171 (scop.sh) S 14168 14171 7170 0 -1 4202496 582 39801 0 0 0 0 1618 42 20 0 1 0 418867789 115843072 369 33554432000 4194304 5098028 140730403891696 140730403888440 139774884754044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29040640 140730403894053 140730403894380 140730403894380 140730403897293 0
/proc/14171/statm: 28282 369 311 221 0 87 0
[pid=14194] ppid=14171 vsize=8283048 memory=119016 CPUtime=2.86 cores=0-7
/proc/14194/stat : 14194 (java) S 14171 14171 7170 0 -1 1077944320 20186 7191 0 0 115 9 156 6 20 0 22 0 418868375 8481841152 29754 33554432000 4194304 4196468 140732754920720 140732754903264 139704201866999 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
/proc/14194/statm: 2070762 29754 3210 1 0 2032106 0
[pid=14194/tid=14195] ppid=14171 vsize=8283048 memory=1476 CPUtime=2.38 cores=0-7
/proc/14194/task/14195/stat : 14195 (java) R 14171 14171 7170 0 -1 4202560 16950 7191 0 0 70 6 156 6 20 0 22 0 418868375 8481841152 29754 33554432000 4194304 4196468 140732754920720 139704173707168 139704185947486 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14196] ppid=14171 vsize=8283048 memory=70704 CPUtime=1.62 cores=0-7
/proc/14194/task/14196/stat : 14196 (java) S 14171 14171 7170 0 -1 1077944384 2 7191 0 0 0 0 156 6 20 0 22 0 418868376 8481841152 29754 33554432000 4194304 4196468 140732754920720 139704206109584 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14197] ppid=14171 vsize=8283048 memory=22012 CPUtime=1.62 cores=0-7
/proc/14194/task/14197/stat : 14197 (java) S 14171 14171 7170 0 -1 1077944384 1 7191 0 0 0 0 156 6 20 0 22 0 418868376 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703687482128 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14198] ppid=14171 vsize=8283048 memory=0 CPUtime=1.62 cores=0-7
/proc/14194/task/14198/stat : 14198 (java) S 14171 14171 7170 0 -1 1077944384 2 7191 0 0 0 0 156 6 20 0 22 0 418868376 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703686429840 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14199] ppid=14171 vsize=8283048 memory=0 CPUtime=1.62 cores=0-7
/proc/14194/task/14199/stat : 14199 (java) S 14171 14171 7170 0 -1 1077944384 3 7191 0 0 0 0 156 6 20 0 22 0 418868376 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703685377040 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14200] ppid=14171 vsize=8283048 memory=0 CPUtime=1.62 cores=0-7
/proc/14194/task/14200/stat : 14200 (java) S 14171 14171 7170 0 -1 1077944384 2 7191 0 0 0 0 156 6 20 0 22 0 418868376 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703684323728 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14201] ppid=14171 vsize=8283048 memory=0 CPUtime=1.62 cores=0-7
/proc/14194/task/14201/stat : 14201 (java) S 14171 14171 7170 0 -1 1077944384 1 7191 0 0 0 0 156 6 20 0 22 0 418868376 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703683270928 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14202] ppid=14171 vsize=8283048 memory=0 CPUtime=1.62 cores=0-7
/proc/14194/task/14202/stat : 14202 (java) S 14171 14171 7170 0 -1 1077944384 1 7191 0 0 0 0 156 6 20 0 22 0 418868376 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703682218640 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14203] ppid=14171 vsize=8283048 memory=6791534058613427641 CPUtime=1.62 cores=0-7
/proc/14194/task/14203/stat : 14203 (java) S 14171 14171 7170 0 -1 1077944384 2 7191 0 0 0 0 156 6 20 0 22 0 418868376 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703681165840 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14204] ppid=14171 vsize=8283048 memory=7522820527009120364 CPUtime=1.62 cores=0-7
/proc/14194/task/14204/stat : 14204 (java) S 14171 14171 7170 0 -1 1077944384 5 7191 0 0 0 0 156 6 20 0 22 0 418868378 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703437998704 139704201878146 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14205] ppid=14171 vsize=8283048 memory=7809914033974568512 CPUtime=1.62 cores=0-7
/proc/14194/task/14205/stat : 14205 (java) S 14171 14171 7170 0 -1 1077944384 13 7191 0 0 0 0 156 6 20 0 22 0 418868378 8481841152 29754 33554432000 4194304 4196468 140732754920720 139702602556704 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14206] ppid=14171 vsize=8283048 memory=7811044310603950144 CPUtime=1.62 cores=0-7
/proc/14194/task/14206/stat : 14206 (java) S 14171 14171 7170 0 -1 1077944384 21 7191 0 0 0 0 156 6 20 0 22 0 418868378 8481841152 29754 33554432000 4194304 4196468 140732754920720 139702468335216 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14207] ppid=14171 vsize=8283048 memory=1396 CPUtime=1.62 cores=0-7
/proc/14194/task/14207/stat : 14207 (java) S 14171 14171 7170 0 -1 1077944384 1 7191 0 0 0 0 156 6 20 0 22 0 418868381 8481841152 29754 33554432000 4194304 4196468 140732754920720 139702093830736 139704201885595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14208] ppid=14171 vsize=8283048 memory=1987544 CPUtime=1.68 cores=0-7
/proc/14194/task/14208/stat : 14208 (java) S 14171 14171 7170 0 -1 1077944384 595 7191 0 0 6 0 156 6 20 0 22 0 418868381 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703436945520 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14209] ppid=14171 vsize=8283048 memory=281328546363584 CPUtime=1.69 cores=0-7
/proc/14194/task/14209/stat : 14209 (java) S 14171 14171 7170 0 -1 1077944384 347 7191 0 0 7 0 156 6 20 0 22 0 418868381 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703435892720 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14210] ppid=14171 vsize=8283048 memory=0 CPUtime=1.68 cores=0-7
/proc/14194/task/14210/stat : 14210 (java) S 14171 14171 7170 0 -1 1077944384 245 7191 0 0 5 1 156 6 20 0 22 0 418868381 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703434840432 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14211] ppid=14171 vsize=8283048 memory=56 CPUtime=1.84 cores=0-7
/proc/14194/task/14211/stat : 14211 (java) R 14171 14171 7170 0 -1 4202560 583 7191 0 0 22 0 156 6 20 0 22 0 418868381 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703433787632 139704194104126 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14212] ppid=14171 vsize=8283048 memory=2809127 CPUtime=1.62 cores=0-7
/proc/14194/task/14212/stat : 14212 (java) S 14171 14171 7170 0 -1 1077944384 3 7191 0 0 0 0 156 6 20 0 22 0 418868381 8481841152 29754 33554432000 4194304 4196468 140732754920720 139701595925344 139704201877205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
[pid=14194/tid=14213] ppid=14171 vsize=8283048 memory=2810454 CPUtime=1.62 cores=0-7
/proc/14194/task/14213/stat : 14213 (java) S 14171 14171 7170 0 -1 1077944384 1 7191 0 0 0 0 156 6 20 0 22 0 418868381 8481841152 29754 33554432000 4194304 4196468 140732754920720 139703432735536 139704201878146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140732754928631 140732754928790 140732754928790 140732754931663 0
Current children cumulated CPU time: 19.46 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 120492 KiB

Child status: 0
Real time (s): 6.9959
CPU time (s): 19.646
CPU user time (s): 19.0522
CPU system time (s): 0.593765
CPU usage (%): 280.821
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1988940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.0522
system time used= 0.593765
maximum resident set size= 1992776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68213
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= 12731
involuntary context switches= 56


# summary of solver processes directly reported to runsolver:
#   pid: 14171
#   total CPU time (s): 19.646
#   total CPU user time (s): 19.0522
#   total CPU system time (s): 0.593765

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077536 second user time and 0.109177 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 03:55:18
IDJOB=4392271
IDBENCH=126157
IDSOLVER=2838
FILE ID=node102/4392271-1568426163
RUNJOBID= node102-1568416723-7197
PBS_JOBID= 21702264
Free space on /tmp= 59328 MiB

SOLVER NAME= Fun-sCOP order+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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392271-1568426163/watcher-4392271-1568426163 -o /tmp/evaluation-result-4392271-1568426163/solver-4392271-1568426163 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392271-1568426163.xml

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

MD5SUM BENCH= ee1da6b537c1ecd46a877bd70c24ae39
RANDOM SEED=537703159

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:        31537128 kB
MemAvailable:   31919928 kB
Buffers:          170504 kB
Cached:           506212 kB
SwapCached:         9500 kB
Active:           336076 kB
Inactive:         351428 kB
Active(anon):       8940 kB
Inactive(anon):    33848 kB
Active(file):     327136 kB
Inactive(file):   317580 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995692 kB
Dirty:             21224 kB
Writeback:             0 kB
AnonPages:        112888 kB
Mapped:            35336 kB
Shmem:             22708 kB
Slab:             136652 kB
SReclaimable:     107836 kB
SUnreclaim:        28816 kB
KernelStack:        3408 kB
PageTables:         5708 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:25